Proper morphism

In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.

Some authors call a proper variety over a field k a complete variety. For example, every projective variety over a field k is proper over k. A scheme X of finite type over the complex numbers (for example, a variety) is proper over C if and only if the space X(C) of complex points with the classical (Euclidean) topology is compact and Hausdorff.

A closed immersion is proper. A morphism is finite if and only if it is proper and quasi-finite.

Definition

A morphism f: X → Y of schemes is called universally closed if for every scheme Z with a morphism Z → Y, the projection from the fiber product

X\times _{Y}Z\to Z

is a closed map of the underlying topological spaces. A morphism of schemes is called proper if it is separated, of finite type, and universally closed ([EGA] II, 5.4.1 ). One also says that X is proper over Y. In particular, a variety X over a field k is said to be proper over k if the morphism X → Spec(k) is proper.

Examples

For any natural number n, projective space Pⁿ over a commutative ring R is proper over R. Projective morphisms are proper, but not all proper morphisms are projective. For example, there is a smooth proper complex variety of dimension 3 which is not projective over C.^[1] Affine varieties of positive dimension over a field k are never proper over k. More generally, a proper affine morphism of schemes must be finite.^[2] For example, it is not hard to see that the affine line A¹ over a field k is not proper over k, because the morphism A¹ → Spec(k) is not universally closed. Indeed, the pulled-back morphism

\mathbb {A} ^{1}\times _{k}\mathbb {A} ^{1}\to \mathbb {A} ^{1}

(given by (x,y) ↦ y) is not closed, because the image of the closed subset xy = 1 in A¹ × A¹ = A² is A¹ − 0, which is not closed in A¹.

Properties and characterizations of proper morphisms

In the following, let f: X → Y be a morphism of schemes.

The composition of two proper morphisms is proper.
Any base change of a proper morphism f: X → Y is proper. That is, if g: Z → Y is any morphism of schemes, then the resulting morphism X ×_Y Z → Z is proper.
Properness is a local property on the base (in the Zariski topology). That is, if Y is covered by some open subschemes Y_i and the restriction of f to all f⁻¹(Y_i) is proper, then so is f.
More strongly, properness is local on the base in the fpqc topology. For example, if X is a scheme over a field k and E is a field extension of k, then X is proper over k if and only if the base change X_E is proper over E.^[3]
Closed immersions are proper.
More generally, finite morphisms are proper. This is a consequence of the going up theorem.
By Deligne, a morphism of schemes is finite if and only if it is proper and quasi-finite.^[4] This had been shown by Grothendieck if the morphism f: X → Y is locally of finite presentation, which follows from the other assumptions if Y is noetherian.^[5]
For X proper over a scheme S, and Y separated over S, the image of any morphism X → Y over S is a closed subset of Y.^[6] This is analogous to the theorem in topology that the image of a continuous map from a compact space to a Hausdorff space is a closed subset.
The Stein factorization theorem states that any proper morphism to a locally noetherian scheme can be factored as X → Z → Y, where X → Z is proper, surjective, and has geometrically connected fibers, and Z → Y is finite.^[7]
Chow's lemma says that proper morphisms are closely related to projective morphisms. One version is: if X is proper over a quasi-compact scheme Y and X has only finitely many irreducible components (which is automatic for Y noetherian), then there is a projective surjective morphism g: W → X such that W is projective over Y. Moreover, one can arrange that g is an isomorphism over a dense open subset U of X, and that g⁻¹(U) is dense in W. One can also arrange that W is integral if X is integral.^[8]
Nagata's compactification theorem, as generalized by Deligne, says that a separated morphism of finite type between quasi-compact and quasi-separated schemes factors as an open immersion followed by a proper morphism.^[9]
Proper morphisms between locally noetherian schemes preserve coherent sheaves, in the sense that the higher direct images Rⁱf_∗(F) (in particular the direct image f_∗(F)) of a coherent sheaf F are coherent (EGA III, 3.2.1). (Analogously, for a proper map between complex analytic spaces, Grauert and Remmert showed that the higher direct images preserve coherent analytic sheaves.) As a very special case: the ring of regular functions on a proper scheme X over a field k has finite dimension as a k-vector space. By contrast, the ring of regular functions on the affine line over k is the polynomial ring k[x], which does not have finite dimension as a k-vector space.
There is also a slightly stronger statement of this:(EGA III, 3.2.4) let $f\colon X\to S$ be a morphism of finite type, S locally noetherian and $F$ a ${\mathcal {O}}_{X}$ -module. If the support of F is proper over S, then for each $i \ge 0$ the higher direct image $R^{i}f_{*}F$ is coherent.
For a scheme X of finite type over the complex numbers, the set X(C) of complex points is a complex analytic space, using the classical (Euclidean) topology. For X and Y separated and of finite type over C, a morphism f: X → Y over C is proper if and only if the continuous map f: X(C) → Y(C) is proper in the sense that the inverse image of every compact set is compact.^[10]
If f: X→Y and g: Y→Z are such that gf is proper and g is separated, then f is proper. This can for example be easily proven using the following criterion.

Valuative criterion of properness

Valuative criterion of properness

There is a very intuitive criterion for properness which goes back to Chevalley. It is commonly called the valuative criterion of properness. Let f: X → Y be a morphism of finite type of noetherian schemes. Then f is proper if and only if for all discrete valuation rings R with fraction field K and for any K-valued point x ∈ X(K) that maps to a point f(x) that is defined over R, there is a unique lift of x to $\overline {x}\in X(R)$ . (EGA II, 7.3.8). Noting that Spec K is the generic point of Spec R and discrete valuation rings are precisely the regular local one-dimensional rings, one may rephrase the criterion: given a regular curve on Y (corresponding to the morphism s: Spec R → Y) and given a lift of the generic point of this curve to X, f is proper if and only if there is exactly one way to complete the curve.

Similarly, f is separated if and only if in every such diagram, there is at most one lift $\overline {x}\in X(R)$ .

For example, given the valuative criterion, it becomes easy to check that projective space Pⁿ is proper over a field (or even over Z). One simply observes that for a discrete valuation ring R with fraction field K, every K-point [x₀,...,x_n] of projective space comes from an R-point, by scaling the coordinates so that all lie in R and at least one is a unit in R.

Proper morphism of formal schemes

Let $f\colon {\mathfrak {X}}\to {\mathfrak {S}}$ be a morphism between locally noetherian formal schemes. We say f is proper or ${\mathfrak {X}}$ is proper over ${\mathfrak {S}}$ if (i) f is an adic morphism (i.e., maps the ideal of definition to the ideal of definition) and (ii) the induced map $f_{0}\colon X_{0}\to S_{0}$ is proper, where $X_{0}=({\mathfrak {X}},{\mathcal {O}}_{\mathfrak {X}}/I),S_{0}=({\mathfrak {S}},{\mathcal {O}}_{\mathfrak {S}}/K),I=f^{*}(K){\mathcal {O}}_{\mathfrak {X}}$ and K is the ideal of definition of ${\mathfrak {S}}$ .(EGA III, 3.4.1) The definition is independent of the choice of K.

For example, if g: Y → Z is a proper morphism of locally noetherian schemes, Z₀ is a closed subset of Z, and Y₀ is a closed subset of Y such that g(Y₀) ⊂ Z₀, then the morphism ${\widehat {g}}\colon Y_{/Y_{0}}\to Z_{/Z_{0}}$ on formal completions is a proper morphism of formal schemes.

Grothendieck proved the coherence theorem in this setting. Namely, let $f\colon {\mathfrak {X}}\to {\mathfrak {S}}$ be a proper morphism of locally noetherian formal schemes. If F is a coherent sheaf on ${\mathfrak {X}}$ , then the higher direct images $R^{i}f_{*}F$ are coherent.^[11]

References

↑ Hartshorne (1977), Appendix B, Example 3.4.1.
↑ Liu (2002), Lemma 3.3.17.
↑ Stacks Project, Tag 02YJ .
↑ Grothendieck, EGA IV, Part 4, Corollaire 18.12.4; Stacks Project, Tag 02LQ .
↑ Grothendieck, EGA IV, Part 3, Théorème 8.11.1.
↑ Stacks Project, Tag 01W0 .
↑ Stacks Project, Tag 03GX .
↑ Grothendieck, EGA II, Corollaire 5.6.2.
↑ Conrad (2007), Theorem 4.1.
↑ SGA 1, XII Proposition 3.2.
↑ Grothendieck, EGA III, Part 1, Théorème 3.4.2.

Conrad, Brian (2007), "Deligne's notes on Nagata compactifications" (PDF), Journal of the Ramanujan Mathematical Society, 22: 205–257, MR 2356346
Grothendieck, Alexandre; Dieudonné, Jean (1961). "Éléments de géométrie algébrique: II. Étude globale élémentaire de quelques classes de morphismes". Publications Mathématiques de l'IHÉS. 8: 5–222. doi:10.1007/bf02699291. MR 0217084. , section 5.3. (definition of properness), section 7.3. (valuative criterion of properness)
Grothendieck, Alexandre; Dieudonné, Jean (1961). "Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie". Publications Mathématiques de l'IHÉS. 11: 5–167. doi:10.1007/bf02684274. MR 0217085.
Grothendieck, Alexandre; Dieudonné, Jean (1966). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Troisième partie". Publications Mathématiques de l'IHÉS. 28: 5–255. doi:10.1007/bf02684343. MR 0217086. , section 15.7. (generalizations of valuative criteria to not necessarily noetherian schemes)
Grothendieck, Alexandre; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Publications Mathématiques de l'IHÉS. 32: 5–361. doi:10.1007/bf02732123. MR 0238860.
Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
Liu, Qing (2002), Algebraic geometry and arithmetic curves, Oxford: Oxford University Press, ISBN 9780191547805, MR 1917232

External links

V.I. Danilov (2001), "Proper morphism", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
The Stacks Project Authors, The Stacks Project

This article is issued from Wikipedia - version of the 3/1/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Proper morphism

Definition

Examples

Properties and characterizations of proper morphisms

Valuative criterion of properness

Proper morphism of formal schemes

See also

References

External links