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:
Let be a proper morphism of noetherian schemes. Then there exists a projective scheme over and a surjective birational morphism over .
If is irreducible, we can choose irreducible and to be an isomorphism over a dense open subset of .
The key idea: find a dense open that is quasi-projective over , embed into a projective -scheme , and take to be the closure of the graph of .
2. Statement for Algebraic Spaces
Let be a noetherian scheme and a proper morphism where is an algebraic space of finite type over . Then there exists:
- A projective scheme over , and
- A proper surjective morphism that is a modification (i.e., there exists a dense open such that is an isomorphism).
If is irreducible and reduced, we can take to be irreducible and reduced, and to be birational.
The morphism is sometimes called a Chow cover or Chow envelope. It says that every proper algebraic space is "birationally projective." The existence of such 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
Let be a proper algebraic space over a noetherian scheme . Then there exists a commutative diagram
where:
- is a scheme,
- for some ,
- is proper, surjective, and birational (a modification),
- is a closed immersion (so is projective over ),
- The morphism is a closed immersion.
4. Idea of the Proof
The proof proceeds in several steps:
Step 1: Find a quasi-projective dense open. Since is of finite type over , there exists an Γ©tale atlas with a scheme of finite type over . Using Noetherian induction, one finds a dense open subspace 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 admits a locally closed immersion .
Step 3: Form the graph. Consider the rational map defined on . The graph of this rational map is a locally closed subspace of .
Step 4: Take the closure. Let be the scheme-theoretic closure of the graph in . Since is proper and is proper, is proper over , and is a closed subscheme, hence projective over .
Step 5: Verify properties. The projection is proper (as a morphism between proper -spaces) and birational (it is an isomorphism over ).
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 are schemes, combined with Noetherian induction.
5. Examples
If is already a projective scheme, take and . More generally, if is a proper scheme that is not projective (e.g., a complete non-projective toric variety), Chow's lemma produces a projective with a birational map .
Let be a proper scheme over and a closed subscheme. The blowup is a proper birational morphism. If is projective (which happens when is projective or when is suitably chosen), this gives an explicit Chow cover. Hironaka's resolution of singularities provides Chow covers in characteristic zero.
Consider a proper smooth non-projective threefold over (as in Hironaka's example). Chow's lemma guarantees a projective threefold with a birational morphism . Concretely, can be obtained by blowing up appropriate subvarieties in a projective model.
Let be a proper DM stack and its coarse moduli space (a proper algebraic space by Keel-Mori). Chow's lemma produces a projective . Composing with gives a diagram , relating the stack to a projective scheme.
An abelian variety over is proper. By the theory of ample line bundles on abelian varieties, is in fact projective, so Chow's lemma is trivially satisfied with . However, for quotients that are algebraic spaces (not schemes), Chow's lemma provides a nontrivial projective cover.
For a proper algebraic surface over a perfect field , Chow's lemma combined with resolution of singularities for surfaces gives: there exists a smooth projective surface and a birational morphism . Moreover, can be chosen to be obtained from by a sequence of blowups at closed points.
The coarse moduli space is a proper algebraic space. Chow's lemma guarantees a projective . In fact, is itself projective (by work of Knudsen, Mumford, and Cornalba-Harris), so Chow's lemma is superseded by this stronger result.
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.
A K3 surface over 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.
Over , for a proper algebraic space , Chow's lemma combined with Serre's GAGA theorem gives: the categories of coherent sheaves on and on are equivalent. The proof uses with projective (where classical GAGA applies) and then descends.
For a proper morphism of noetherian algebraic spaces, there exists a projective -scheme with a modification over . This relative version is essential for inductive arguments in the theory of algebraic spaces.
Let be a finite group acting on a proper algebraic space . Then one can find an equivariant Chow cover: a projective scheme with -action and an equivariant modification . This is proven by applying Chow's lemma to the stack and using the Keel-Mori correspondence.
6. Applications
Coherent Sheaf Cohomology
Let be a proper algebraic space over a noetherian ring . Then for any coherent sheaf on , the cohomology groups are finitely generated -modules.
The proof uses Chow's lemma: choose with projective. The Leray spectral sequence gives . Since is projective, the right side is finitely generated. The finiteness of and induction on the number of components where 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:
Let be a proper algebraic space over . Then the analytification functor is an equivalence of categories.
7. Limitations and Generalizations
Chow's lemma does not generalize directly to algebraic stacks:
For an algebraic stack , one cannot generally find a projective scheme with a representable birational morphism . However, one can find such a morphism to the coarse moduli space (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).