2
$\begingroup$

Let $X,Y$ be noetherian schemes and $f: X \rightarrow Y$ a morphism. What does (besides of the definition) the property finite imply. Can one make any conclusions like: dominant, birational, isomorphic on open subsets,...?

Thanks and greetings from Torrance

  • 0
    Finite is equivalent to "proper and affine". For example, a variety is at the same time proper and affine if and only if it has dimension zero.2012-11-13

2 Answers 2

2

Given a field $k$ , consider the closed immersion $j:Spec(k)\to \mathbb A^1_k$ of a point into the affine line, dual to the ring morphism $k[T]\to k: f(t)\mapsto f(0)$.
This morphism $j$ between noetherian schemes is finite and gives a negative answer to all your questions: it is not dominant, not birational and not isomorphic on open sets.

  • 0
    The example puts the light on the use$f$ulness of considerin$g$ even trivial examples when looking $f$or in$f$ormation, as in the OP!2012-11-13
1

$f$ is affine, i.e. $f^{-1}(V)$ is an affine open subset of $X$ for every affine open subet $V$ of $Y$(Hartshorne, Ex. 3.4, Ch. II).

$f$ is closed, i.e. $f(F)$ is closed for every closed subset $F$ of $X$(Hartshorne, Ex. 3.5, Ch. II).

$f^{-1}(y)$ is finite for every $y \in Y$(Hartshorne, Ex. 3.5, Ch. II).