Finite morphism

From Wikipedia, the free encyclopedia

In mathematics, in algebraic geometry, a morphism $f: X \rightarrow Y$ of schemes is a finite morphism, if $Y$ has an open cover by affine schemes

V i = S p e c B i

such that for each $i$ ,

f - 1 (V i) = U i

is an open affine subscheme $S p e c A i$ , and the restriction of f to $U i$ , which induces a map of rings

$B_i \rightarrow A_i,$

makes $A i$ a finitely generated module over $B i$ .

[edit] Morphisms of finite type

There is another (mostly technical) finiteness condition on morphisms of schemes, morphisms of finite type, which is much weaker than being finite.

Morally, a morphism of finite type corresponds to a set of polynomial equations with finitely many variables. For example, the algebraic equation

y 3 = x 4 - z

corresponds to the map of (affine) schemes $\mbox{Spec} \; \mathbb Z [x, y, z] / \langle y^3-x^4+z \rangle \rightarrow \mbox{Spec} \; \mathbb Z$ or equivalently to the inclusion of rings $\mathbb Z \rightarrow \mathbb Z [x, y, z] / \langle y^3-x^4+z \rangle$ . This is an example of a morphism of finite type.

The technical definition is as follows: let ${V i = S p e c B i}$ be an open cover of $Y$ by affine schemes, and for each $i$ let ${U i j = S p e c A i j}$ be an open cover of $f - 1 (V i)$ by affine schemes. The restriction of f to ${U i j}$ induces a morphism of rings $B_i \rightarrow A_{ij}$ . The morphism f is called locally of finite type, if $A i j$ is a finitely generated algebra over $B i$ (via the above map of rings). If in addition the open cover $f^{-1}(V_i) = \bigcup_j U_{ij}$ can be chose to be finite, then f is called of finite type.

For example, if $k$ is a field, the scheme $\mathbb{A}^n(k)$ has a natural morphism to $Spec k$ induced by the inclusion of rings $k \to k[X_1,\ldots,X_n].$ This is a morphism of finite type, but if $n > 0$ then it is not a finite morphism.

On the other hand, if we take the affine scheme ${\mbox{Spec}} \; k[X,Y]/ \langle Y^2-X^3-X \rangle$ , it has a natural morphism to $\mathbb{A}^1$ given by the ring homomorphism $k[X]\to k[X,Y]/ \langle Y^2-X^3-X \rangle.$ Then this morphism is a finite morphism.

[edit] Properties of finite morphisms

Finite morphisms have finite fibres (i.e. they are quasi-finite).
Finite morphisms are proper, in particular closed.
Proper, quasi-finite maps are finite. This is a deep theorem.
Closed immersions are finite, as they are locally given by $A \rightarrow A / I$ , where I is the ideal corresponding to the closed subset.
Any base-change of a finite morphism is finite, i.e. if $f: X \rightarrow Y$ is finite and $g: Z \rightarrow Y$ is any morphism, then the canonical morphism $X \times_Y Z \rightarrow Z$ is finite. This corresponds to the following algebraic statement: if A is a finitely generated B-module, then $A \otimes_B C$ is a finitely generated C-module, where $C \rightarrow B$ is any map. The generators are $a_i \otimes 1$ , where $a i$ are the generators of A as a B-module.
The composition of two finite maps is finite.