TheoremComplete

Chow's Lemma for Algebraic Spaces

Chow's lemma is a fundamental tool that relates proper algebraic spaces to projective schemes. In its classical form, it states that every proper variety is "close to" being projective β€” more precisely, it can be dominated by a projective variety via a birational morphism. The extension to algebraic spaces is essential because proper algebraic spaces need not be schemes, yet Chow's lemma shows they can still be understood through projective schemes.


1. Classical Chow's Lemma for Schemes

We begin by recalling the classical statement:

TheoremChow's lemma for schemes

Let f:X→Sf: X \to S be a proper morphism of noetherian schemes. Then there exists a projective scheme X′X' over SS and a surjective birational morphism g:X′→Xg: X' \to X over SS.

If XX is irreducible, we can choose Xβ€²X' irreducible and gg to be an isomorphism over a dense open subset of XX.

The key idea: find a dense open UβŠ‚XU \subset X that is quasi-projective over SS, embed UU into a projective SS-scheme P\mathbb{P}, and take Xβ€²X' to be the closure of the graph of Uβ†ͺXΓ—SPU \hookrightarrow X \times_S \mathbb{P}.


2. Statement for Algebraic Spaces

TheoremChow's lemma for algebraic spaces

Let SS be a noetherian scheme and f:X→Sf: X \to S a proper morphism where XX is an algebraic space of finite type over SS. Then there exists:

  1. A projective scheme Xβ€²X' over SS, and
  2. A proper surjective morphism g:Xβ€²β†’Xg: X' \to X that is a modification (i.e., there exists a dense open UβŠ†XU \subseteq X such that gβˆ’1(U)β†’Ug^{-1}(U) \to U is an isomorphism).

If XX is irreducible and reduced, we can take Xβ€²X' to be irreducible and reduced, and gg to be birational.

Remark

The morphism g:Xβ€²β†’Xg: X' \to X is sometimes called a Chow cover or Chow envelope. It says that every proper algebraic space is "birationally projective." The existence of such gg is a powerful tool: it allows one to reduce many questions about proper algebraic spaces to the case of projective schemes.


3. The Stronger Version

TheoremChow's lemma β€” strong form

Let XX be a proper algebraic space over a noetherian scheme SS. Then there exists a commutative diagram

Xβ€²β†’gXX' \xrightarrow{g} X↓h↓f\downarrow^{h} \quad\quad \downarrow^{f}Pβ†’S\mathbb{P} \to S

where:

  • Xβ€²X' is a scheme,
  • P=PSn\mathbb{P} = \mathbb{P}^n_S for some nn,
  • gg is proper, surjective, and birational (a modification),
  • hh is a closed immersion (so Xβ€²X' is projective over SS),
  • The morphism Xβ€²β†’XΓ—SPX' \to X \times_S \mathbb{P} is a closed immersion.

4. Idea of the Proof

The proof proceeds in several steps:

Step 1: Find a quasi-projective dense open. Since XX is of finite type over SS, there exists an Γ©tale atlas Uβ†’XU \to X with UU a scheme of finite type over SS. Using Noetherian induction, one finds a dense open subspace VβŠ†XV \subseteq X that is a scheme (by the theorem that separated algebraic spaces contain dense open schematic subspaces).

Step 2: Embed in projective space. The quasi-projective scheme VV admits a locally closed immersion Vβ†ͺPSnV \hookrightarrow \mathbb{P}^n_S.

Step 3: Form the graph. Consider the rational map X⇒PSnX \dashrightarrow \mathbb{P}^n_S defined on VV. The graph of this rational map is a locally closed subspace of X×SPSnX \times_S \mathbb{P}^n_S.

Step 4: Take the closure. Let Xβ€²X' be the scheme-theoretic closure of the graph in XΓ—SPSnX \times_S \mathbb{P}^n_S. Since XX is proper and PSn\mathbb{P}^n_S is proper, XΓ—SPSnX \times_S \mathbb{P}^n_S is proper over SS, and Xβ€²X' is a closed subscheme, hence projective over SS.

Step 5: Verify properties. The projection g:Xβ€²β†’Xg: X' \to X is proper (as a morphism between proper SS-spaces) and birational (it is an isomorphism over VV).

Remark

A subtlety for algebraic spaces: in Step 1, one needs to know that every proper algebraic space over a noetherian base contains a dense open subspace that is a scheme. This is a nontrivial result, essentially due to the fact that algebraic spaces of dimension ≀1\leq 1 are schemes, combined with Noetherian induction.


5. Examples

ExampleChow's lemma for a proper scheme

If XX is already a projective scheme, take Xβ€²=XX' = X and g=idg = \mathrm{id}. More generally, if XX is a proper scheme that is not projective (e.g., a complete non-projective toric variety), Chow's lemma produces a projective Xβ€²X' with a birational map Xβ€²β†’XX' \to X.

ExampleBlowup as Chow cover

Let XX be a proper scheme over kk and ZβŠ‚XZ \subset X a closed subscheme. The blowup BlZ(X)β†’X\mathrm{Bl}_Z(X) \to X is a proper birational morphism. If BlZ(X)\mathrm{Bl}_Z(X) is projective (which happens when XX is projective or when ZZ is suitably chosen), this gives an explicit Chow cover. Hironaka's resolution of singularities provides Chow covers in characteristic zero.

ExampleProper non-projective threefold

Consider a proper smooth non-projective threefold XX over C\mathbb{C} (as in Hironaka's example). Chow's lemma guarantees a projective threefold Xβ€²X' with a birational morphism Xβ€²β†’XX' \to X. Concretely, Xβ€²X' can be obtained by blowing up appropriate subvarieties in a projective model.

ExampleChow's lemma for proper algebraic space from Keel-Mori

Let X\mathcal{X} be a proper DM stack and XX its coarse moduli space (a proper algebraic space by Keel-Mori). Chow's lemma produces a projective Xβ€²β†’XX' \to X. Composing with Ο€:Xβ†’X\pi: \mathcal{X} \to X gives a diagram Xβ€²β†’X←XX' \to X \leftarrow \mathcal{X}, relating the stack to a projective scheme.

ExampleAbelian varieties

An abelian variety AA over kk is proper. By the theory of ample line bundles on abelian varieties, AA is in fact projective, so Chow's lemma is trivially satisfied with Xβ€²=AX' = A. However, for quotients A/GA/G that are algebraic spaces (not schemes), Chow's lemma provides a nontrivial projective cover.

ExampleSurface case: resolution

For a proper algebraic surface XX over a perfect field kk, Chow's lemma combined with resolution of singularities for surfaces gives: there exists a smooth projective surface Xβ€²X' and a birational morphism Xβ€²β†’XX' \to X. Moreover, Xβ€²X' can be chosen to be obtained from XX by a sequence of blowups at closed points.

ExampleModuli of stable curves

The coarse moduli space Mβ€Ύg\overline{M}_g is a proper algebraic space. Chow's lemma guarantees a projective Xβ€²β†’Mβ€ΎgX' \to \overline{M}_g. In fact, Mβ€Ύg\overline{M}_g is itself projective (by work of Knudsen, Mumford, and Cornalba-Harris), so Chow's lemma is superseded by this stronger result.

ExampleNon-effective application: base change

Chow's lemma is often used in proofs by reducing to the projective case. For instance, to prove the proper base change theorem for algebraic spaces, one uses Chow's lemma to reduce to the projective case (where the theorem is known for schemes) and then descends the result.

ExampleK3 surfaces

A K3 surface XX over C\mathbb{C} is proper and smooth. By a theorem of Kodaira, every K3 surface is KΓ€hler, and the algebraic ones are projective. For an algebraic K3 surface (which is a scheme), Chow's lemma is automatic. Non-algebraic K3 surfaces exist in the analytic category but not in the algebraic one.

ExampleChow's lemma and GAGA

Over C\mathbb{C}, for a proper algebraic space XX, Chow's lemma combined with Serre's GAGA theorem gives: the categories of coherent sheaves on XX and on XanX^{\mathrm{an}} are equivalent. The proof uses Xβ€²β†’XX' \to X with Xβ€²X' projective (where classical GAGA applies) and then descends.

ExampleRelative Chow's lemma

For a proper morphism f:X→Yf: X \to Y of noetherian algebraic spaces, there exists a projective YY-scheme X′X' with a modification X′→XX' \to X over YY. This relative version is essential for inductive arguments in the theory of algebraic spaces.

ExampleEquivariant Chow's lemma

Let GG be a finite group acting on a proper algebraic space XX. Then one can find an equivariant Chow cover: a projective scheme Xβ€²X' with GG-action and an equivariant modification Xβ€²β†’XX' \to X. This is proven by applying Chow's lemma to the stack [X/G][X/G] and using the Keel-Mori correspondence.


6. Applications

Coherent Sheaf Cohomology

TheoremFiniteness of cohomology

Let XX be a proper algebraic space over a noetherian ring AA. Then for any coherent sheaf F\mathcal{F} on XX, the cohomology groups Hi(X,F)H^i(X, \mathcal{F}) are finitely generated AA-modules.

The proof uses Chow's lemma: choose g:Xβ€²β†’Xg: X' \to X with Xβ€²X' projective. The Leray spectral sequence gives Hp(X,Rqgβˆ—gβˆ—F)β‡’Hp+q(Xβ€²,gβˆ—F)H^p(X, R^q g_* g^*\mathcal{F}) \Rightarrow H^{p+q}(X', g^*\mathcal{F}). Since Xβ€²X' is projective, the right side is finitely generated. The finiteness of Rqgβˆ—R^q g_* and induction on the number of components where gg is not an isomorphism give the result.

GAGA for Algebraic Spaces

Chow's lemma is a key ingredient in extending Serre's GAGA theorem from projective varieties to proper algebraic spaces:

TheoremGAGA for proper algebraic spaces

Let XX be a proper algebraic space over C\mathbb{C}. Then the analytification functor Coh(X)β†’Coh(Xan)\mathrm{Coh}(X) \to \mathrm{Coh}(X^{\mathrm{an}}) is an equivalence of categories.


7. Limitations and Generalizations

Chow's lemma does not generalize directly to algebraic stacks:

Remark

For an algebraic stack X\mathcal{X}, one cannot generally find a projective scheme Xβ€²X' with a representable birational morphism Xβ€²β†’XX' \to \mathcal{X}. However, one can find such a morphism to the coarse moduli space XX (when it exists). For stacks without coarse moduli spaces, alternative techniques (such as destackification) are needed.

The Chow lemma has been extended to non-noetherian settings by Rydh and others, using approximation techniques.


References

  • The Stacks Project, Tag 089J: Chow's Lemma for Algebraic Spaces.
  • D. Knutson, Algebraic Spaces, LNM 203, Theorem 4.2.
  • B. Conrad, "Deligne's notes on Nagata compactification," J. Ramanujan Math. Soc. 22 (2007), 205-257.
  • R. Hartshorne, Algebraic Geometry, Exercise II.4.10 (scheme case).