Cape Verdean escudo

V_{i} = Spec B_{i}

such that for each $i$ ,

f^{- 1} (V_{i}) = U_{i}

is an open affine subscheme $Spec A_{i}$ , and the restriction of f to $U_{i}$ , which induces a map of rings

B_{i} \to A_{i},

Properties of finite morphisms

In the following, f : X → Y denotes a finite morphism.

The composition of two finite maps is finite.
Any base change of a finite morphism is finite, i.e. if $g : Z \to Y$ is another (arbitrary) morphism, then the canonical morphism $X \times_{Y} Z \to Z$ is finite. This corresponds to the following algebraic statement: if A is a finitely generated B-module, then the tensor product $A \otimes_{B} C$ is a finitely generated C-module, where $C \to B$ is any map. The generators are $a_{i} \otimes 1$ , where $a_{i}$ are the generators of A as a B-module.
Closed immersions are finite, as they are locally given by $A \to A / I$ , where I is the ideal corresponding to the closed subscheme.
Finite morphisms are closed, hence (because of their stability under base change) proper. Indeed, replacing Y by the closure of f(X), one can assume that f is dominant. Further, one can assume that Y=Spec B is affine, hence so is X=Spec A. Then the morphism corresponds to an integral extension of rings B ⊂ A. Then the statement is a reformulation of the going up theorem of Cohen-Seidenberg.
Finite morphisms have finite fibres (i.e. they are quasi-finite). This follows from the fact that any finite k-algebra, for any field k is an Artinian ring. Slightly more generally, for a finite surjective morphism f, one has dim X=dim Y.
Conversely, proper, quasi-finite locally finite-presentation maps are finite. (EGA IV, 8.11.1.)
Finite morphisms are both projective and affine.

There is another 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 $Spec ℤ [x, y, z] / ⟨ y^{3} - x^{4} + z ⟩ \to Spec ℤ$ or equivalently to the inclusion of rings $ℤ \to ℤ [x, y, z] / ⟨ y^{3} - x^{4} + z ⟩$ . This is an example of a morphism of finite type.

The technical definition is as follows: let ${V_{i} = Spec B_{i}}$ be an open cover of $Y$ by affine schemes, and for each $i$ let ${U_{i j} = Spec 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} \to A_{i j}$ . 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}) = ⋃_{j} U_{i j}$ can be chosen to be finite, then f is called of finite type.

For example, if $k$ is a field, the scheme $𝔸^{n} (k)$ has a natural morphism to $Spec k$ induced by the inclusion of rings $k \to k [X_{1}, \dots, X_{n}] .$ This is a morphism of finite type, but if $n \geq 1$ then it is not a finite morphism.

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