Stacks Project Expository Collection 2022
DOI: 10.1017/9781009051897.003
|View full text |Cite
|
Sign up to set email alerts
|

Projectivity of the moduli of curves

Abstract: In this expository paper, we show that the Deligne-Mumford moduli space of stable curves is projective over Spec(Z). The proof we present is due to Kollár. Ampleness of a line bundle is deduced from nefness of a related vector bundle via the ampleness lemma, a classifying map construction. The main positivity result concerns the pushforward of relative dualizing sheaves on families of stable curves over a smooth projective curve.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2022
2022
2023
2023

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(3 citation statements)
references
References 18 publications
0
3
0
Order By: Relevance
“…(3) Find an ample line bundle on M to show it is projective. This approach has been implemented for moduli of smooth projective curves in [24], where the second step uses the Keel-Mori Theorem and the third step follows Kollar's proof of projectivity using the determinant of a relative pluricanonical sheaf for the universal family; and for moduli of vector bundles on a smooth projective curve in characteristic zero in [4], where the second step uses Theorem 4.9 and the third step follows Faltings' proof of projectivity using a determinantal line bundle constructed from the universal family. For moduli of representations of an acyclic quiver (in arbitrary characteristic), a new moduli-theoretic proof of projectivity was given in [13], where again a determinantal line bundle is used.…”
Section: 2mentioning
confidence: 99%
“…(3) Find an ample line bundle on M to show it is projective. This approach has been implemented for moduli of smooth projective curves in [24], where the second step uses the Keel-Mori Theorem and the third step follows Kollar's proof of projectivity using the determinant of a relative pluricanonical sheaf for the universal family; and for moduli of vector bundles on a smooth projective curve in characteristic zero in [4], where the second step uses Theorem 4.9 and the third step follows Faltings' proof of projectivity using a determinantal line bundle constructed from the universal family. For moduli of representations of an acyclic quiver (in arbitrary characteristic), a new moduli-theoretic proof of projectivity was given in [13], where again a determinantal line bundle is used.…”
Section: 2mentioning
confidence: 99%
“…In [5] the projectivity of M g was established by giving a stack-theoretic treatment of Kollár's paper.…”
Section: Dedicated To the Memory Of Conjeevaram Srirangachari Seshadrimentioning
confidence: 99%
“…To show that this map is surjective, we must show that every semistable bundle E arises as an extension as in (5). By the first paragraph of the proof, E is globally generated.…”
Section: Boundedness Of This Family Now Follows From Example 214 Withmentioning
confidence: 99%