Proper morphism explained

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: XY of schemes is called universally closed if for every scheme Z with a morphism ZY, the projection from the fiber product

X x YZ\toZ

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 https://web.archive.org/web/20051108184937/http://modular.fas.harvard.edu/scans/papers/grothendieck/PMIHES_1961__8__5_0.pdf). 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 Pn 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 A1 over a field k is not proper over k, because the morphism A1 → Spec(k) is not universally closed. Indeed, the pulled-back morphism

A1 x kA1\toA1

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

Properties and characterizations of proper morphisms

In the following, let f: XY be a morphism of schemes.

f\colonX\toS

be a morphism of finite type, S locally noetherian and

F

a

l{O}X

-module. If the support of F is proper over S, then for each

i\ge0

the higher direct image

Rif*F

is coherent.

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: XY 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 xX(K) that maps to a point f(x) that is defined over R, there is a unique lift of x to

\overline{x}\inX(R)

. (EGA II, 7.3.8). More generally, a quasi-separated morphism f: XY of finite type (note: finite type includes quasi-compact) of 'any' schemes X, Y is proper if and only if for all valuation rings R with fraction field K and for any K-valued point xX(K) that maps to a point f(x) that is defined over R, there is a unique lift of x to

\overline{x}\inX(R)

. (Stacks project Tags 01KF and 01KY). 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 RY) 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}\inX(R)

.

For example, given the valuative criterion, it becomes easy to check that projective space Pn 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''<sub>0</sub>,...,''x''<sub>''n''</sub>] 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.

Geometric interpretation with disks

One of the motivating examples for the valuative criterion of properness is the interpretation of

Spec(C[[t]])

as an infinitesimal disk, or complex-analytically, as the disk

\Delta=\{x\inC:|x|<1\}

. This comes from the fact that every power series

f(t)=

infty
\sum
n=0
n
a
nt
converges in some disk of radius

r

around the origin. Then, using a change of coordinates, this can be expressed as a power series on the unit disk. Then, if we invert

t

, this is the ring

C[[t]][t-1]=C((t))

which are the power series which may have a pole at the origin. This is represented topologically as the open disk

\Delta*=\{x\inC:0<|x|<1\}

with the origin removed. For a morphism of schemes over

Spec(C)

, this is given by the commutative diagram

\begin{matrix} \Delta*&\to&X\\ \downarrow&&\downarrow\\ \Delta&\to&Y \end{matrix}

Then, the valuative criterion for properness would be a filling in of the point

0\in\Delta

in the image of

\Delta*

.

Example

It's instructive to look at a counter-example to see why the valuative criterion of properness should hold on spaces analogous to closed compact manifolds. If we take

X=P1-\{x\}

and

Y=Spec(C)

, then a morphism

Spec(C((t)))\toX

factors through an affine chart of

X

, reducing the diagram to

\begin{matrix} Spec(C((t)))&\to&Spec(C[t,t-1])\\ \downarrow&&\downarrow\\ Spec(C[[t]])&\to&Spec(C) \end{matrix}

where

Spec(C[t,t-1])=A1-\{0\}

is the chart centered around

\{x\}

on

X

. This gives the commutative diagram of commutative algebras

\begin{matrix} C((t))&\leftarrow&C[t,t-1]\\ \uparrow&&\uparrow\\ C[[t]]&\leftarrow&C \end{matrix}

Then, a lifting of the diagram of schemes,

Spec(C[[t]])\toSpec(C[t,t-1])

, would imply there is a morphism

C[t,t-1]\toC[[t]]

sending

t\mapstot

from the commutative diagram of algebras. This, of course, cannot happen. Therefore

X

is not proper over

Y

.

Geometric interpretation with curves

There is another similar example of the valuative criterion of properness which captures some of the intuition for why this theorem should hold. Consider a curve

C

and the complement of a point

C-\{p\}

. Then the valuative criterion for properness would read as a diagram

\begin{matrix} C-\{p\}&&X\\ \downarrow&&\downarrow\\ C&&Y \end{matrix}

with a lifting of

C\toX

. Geometrically this means every curve in the scheme

X

can be completed to a compact curve. This bit of intuition aligns with what the scheme-theoretic interpretation of a morphism of topological spaces with compact fibers, that a sequence in one of the fibers must converge. Because this geometric situation is a problem locally, the diagram is replaced by looking at the local ring

l{O}C,ak{p

}, which is a DVR, and its fraction field

Frac(l{O}C,ak{p

}). Then, the lifting problem then gives the commutative diagram

\begin{matrix} Spec(Frac(l{O}C,ak{p

})) & \rightarrow & X \\\downarrow & & \downarrow \\\text(\mathcal_) & \rightarrow & Y\end
where the scheme

Spec(Frac(l{O}C,ak{p

})) represents a local disk around

ak{p}

with the closed point

ak{p}

removed.

Proper morphism of formal schemes

Let

f\colonak{X}\toak{S}

be a morphism between locally noetherian formal schemes. We say f is proper or

ak{X}

is proper over

ak{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

f0\colonX0\toS0

is proper, where

X0=(ak{X},l{O}ak{X}/I),S0=(ak{S},l{O}ak{S}/K),I=f*(K)l{O}ak{X}

and K is the ideal of definition of

ak{S}

. The definition is independent of the choice of K.

For example, if g: YZ is a proper morphism of locally noetherian schemes, Z0 is a closed subset of Z, and Y0 is a closed subset of Y such that g(Y0) ⊂ Z0, then the morphism

\widehat{g}\colon

Y
/Y0

\to

Z
/Z0
on formal completions is a proper morphism of formal schemes.

Grothendieck proved the coherence theorem in this setting. Namely, let

f\colonak{X}\toak{S}

be a proper morphism of locally noetherian formal schemes. If F is a coherent sheaf on

ak{X}

, then the higher direct images

Rif*F

are coherent.[10]

See also

References

Notes and References

  1. Hartshorne (1977), Appendix B, Example 3.4.1.
  2. Liu (2002), Lemma 3.3.17.
  3. .
  4. Grothendieck, EGA IV, Part 4, Corollaire 18.12.4; .
  5. Grothendieck, EGA IV, Part 3, Théorème 8.11.1.
  6. .
  7. .
  8. Grothendieck, EGA II, Corollaire 5.6.2.
  9. Conrad (2007), Theorem 4.1.
  10. Grothendieck, EGA III, Part 1, Théorème 3.4.2.