Rational points of universal curves
HTML articles powered by AMS MathViewer
- by Richard Hain
- J. Amer. Math. Soc. 24 (2011), 709-769
- DOI: https://doi.org/10.1090/S0894-0347-2011-00693-0
- Published electronically: January 25, 2011
- PDF | Request permission
Abstract:
Suppose that $k$ is a field of characteristic zero and that $g+n>2$. The universal curve $C$ of type $(g,n)$ is the restriction of the universal curve to the generic point $\operatorname {Spec} k(\mathcal {M}_{g,n})$ of the moduli stack $\mathcal {M}_{g,n}$ of $n$-pointed smooth projective curves of genus $g$. In this paper we prove that if $g \ge 3$, then its set of rational points $C(k(\mathcal {M}_{g,n}))$ consists only of the $n$ tautological points. We then prove that if $g\ge 5$ and $n=0$, then Grothendieck’s Section Conjecture holds for $C$ when, for example, $k$ is a number field or a non-archimedean local field. When $n>0$, we consider a modified version of Grothendieck’s conjecture in which the geometric fundamental group of $C$ is replaced by its $\ell$-adic unipotent completion. We prove that if $k$ is a number field or a non-archimedean local field, then this modified version of the Section Conjecture holds for all $g \ge 5$ and $n \ge 1$.References
- Michael P. Anderson, Exactness properties of profinite completion functors, Topology 13 (1974), 229–239. MR 354882, DOI 10.1016/0040-9383(74)90016-0
- Joan S. Birman, Braids, links, and mapping class groups, Annals of Mathematics Studies, No. 82, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1974. MR 0375281
- Fedor Alekseivich Bogomolov, Sur l’algébricité des représentations $l$-adiques, C. R. Acad. Sci. Paris Sér. A-B 290 (1980), no. 15, A701–A703 (French, with English summary). MR 574307
- P. Deligne, Cohomologie étale, Lecture Notes in Mathematics, vol. 569, Springer-Verlag, Berlin, 1977 (French). Séminaire de géométrie algébrique du Bois-Marie SGA $4\frac {1}{2}$. MR 463174, DOI 10.1007/BFb0091526
- Pierre Deligne, Phillip Griffiths, John Morgan, and Dennis Sullivan, Real homotopy theory of Kähler manifolds, Invent. Math. 29 (1975), no. 3, 245–274. MR 382702, DOI 10.1007/BF01389853
- Clifford J. Earle and Irwin Kra, On sections of some holomorphic families of closed Riemann surfaces, Acta Math. 137 (1976), no. 1-2, 49–79. MR 425183, DOI 10.1007/BF02392412
- J. Ellenberg: $2$-nilpotent quotients of fundamental groups of curves, unpublished manuscript.
- William Fulton and Joe Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer-Verlag, New York, 1991. A first course; Readings in Mathematics. MR 1153249, DOI 10.1007/978-1-4612-0979-9
- Bert van Geemen and Frans Oort, A compactification of a fine moduli space of curves, Resolution of singularities (Obergurgl, 1997) Progr. Math., vol. 181, Birkhäuser, Basel, 2000, pp. 285–298. MR 1748624
- Mark Goresky and Robert MacPherson, Stratified Morse theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 14, Springer-Verlag, Berlin, 1988. MR 932724, DOI 10.1007/978-3-642-71714-7
- A. Grothendieck, Éléments de géométrie algébrique. II. Étude globale élémentaire de quelques classes de morphismes, Inst. Hautes Études Sci. Publ. Math. 8 (1961), 222 (French). MR 217084
- A. Grothendieck: Letter to Faltings dated June 27, 1983. Available at http:// people.math.jussieu.fr/$\sim$leila/grothendieckcircle/letters.php.
- Richard M. Hain, Completions of mapping class groups and the cycle $C-C^-$, Mapping class groups and moduli spaces of Riemann surfaces (Göttingen, 1991/Seattle, WA, 1991) Contemp. Math., vol. 150, Amer. Math. Soc., Providence, RI, 1993, pp. 75–105. MR 1234261, DOI 10.1090/conm/150/01287
- Richard M. Hain, Torelli groups and geometry of moduli spaces of curves, Current topics in complex algebraic geometry (Berkeley, CA, 1992/93) Math. Sci. Res. Inst. Publ., vol. 28, Cambridge Univ. Press, Cambridge, 1995, pp. 97–143. MR 1397061
- Richard Hain, Infinitesimal presentations of the Torelli groups, J. Amer. Math. Soc. 10 (1997), no. 3, 597–651. MR 1431828, DOI 10.1090/S0894-0347-97-00235-X
- Richard Hain, Relative weight filtrations on completions of mapping class groups, Groups of diffeomorphisms, Adv. Stud. Pure Math., vol. 52, Math. Soc. Japan, Tokyo, 2008, pp. 309–368. MR 2509715, DOI 10.2969/aspm/05210309
- R. Hain: Lectures on Moduli Spaces of Elliptic Curves, in Transformation Groups and Moduli Spaces of Curves, Advanced Lectures in Mathematics, edited by Lizhen Ji, Shing-Tung Yau, no. 16 (2010), pp. 95–166, Higher Education Press, Beijing. arXiv:0812.1803.
- R. Hain: Monodromy of codimension-one sub-families of universal curves, arXiv:1006.3785.
- R. Hain: Remarks on non-abelian cohomology of proalgebraic groups, preprint, 2010.
- Richard Hain and Makoto Matsumoto, Weighted completion of Galois groups and Galois actions on the fundamental group of $\Bbb P^1-\{0,1,\infty \}$, Compositio Math. 139 (2003), no. 2, 119–167. MR 2025807, DOI 10.1023/B:COMP.0000005077.42732.93
- Richard Hain and Makoto Matsumoto, Tannakian fundamental groups associated to Galois groups, Galois groups and fundamental groups, Math. Sci. Res. Inst. Publ., vol. 41, Cambridge Univ. Press, Cambridge, 2003, pp. 183–216. MR 2012217
- Richard Hain and Makoto Matsumoto, Galois actions on fundamental groups of curves and the cycle $C-C^-$, J. Inst. Math. Jussieu 4 (2005), no. 3, 363–403. MR 2197063, DOI 10.1017/S1474748005000095
- R. Hain, M. Matsumoto: Weighted completion of arithmetic mapping class groups, in preparation.
- R. Hain, M. Matsumoto, G. Pearlstein, T. Terasoma: Tannakian fundamental groups of categories of variations of mixed Hodge structure, in preparation.
- John Hubbard, Sur la non-existence de sections analytiques à la courbe universelle de Teichmüller, C. R. Acad. Sci. Paris Sér. A-B 274 (1972), A978–A979 (French). MR 294719
- Dennis Johnson, The structure of the Torelli group. III. The abelianization of $\scr T$, Topology 24 (1985), no. 2, 127–144. MR 793179, DOI 10.1016/0040-9383(85)90050-3
- Alexandre I. Kabanov, Stability of Schur functors, J. Algebra 195 (1997), no. 1, 233–240. MR 1468891, DOI 10.1006/jabr.1997.7049
- Minhyong Kim, The motivic fundamental group of $\mathbf P^1\sbs \{0,1,\infty \}$ and the theorem of Siegel, Invent. Math. 161 (2005), no. 3, 629–656. MR 2181717, DOI 10.1007/s00222-004-0433-9
- Minhyong Kim, The unipotent Albanese map and Selmer varieties for curves, Publ. Res. Inst. Math. Sci. 45 (2009), no. 1, 89–133. MR 2512779, DOI 10.2977/prims/1234361156
- Toshitake Kohno and Takayuki Oda, The lower central series of the pure braid group of an algebraic curve, Galois representations and arithmetic algebraic geometry (Kyoto, 1985/Tokyo, 1986) Adv. Stud. Pure Math., vol. 12, North-Holland, Amsterdam, 1987, pp. 201–219. MR 948244, DOI 10.2969/aspm/01210201
- Finn F. Knudsen, The projectivity of the moduli space of stable curves. III. The line bundles on $M_{g,n}$, and a proof of the projectivity of $\overline M_{g,n}$ in characteristic $0$, Math. Scand. 52 (1983), no. 2, 200–212. MR 702954, DOI 10.7146/math.scand.a-12002
- John P. Labute, On the descending central series of groups with a single defining relation, J. Algebra 14 (1970), 16–23. MR 251111, DOI 10.1016/0021-8693(70)90130-4
- D. Mumford, J. Fogarty, and F. Kirwan, Geometric invariant theory, 3rd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], vol. 34, Springer-Verlag, Berlin, 1994. MR 1304906, DOI 10.1007/978-3-642-57916-5
- Hiroaki Nakamura, Naotake Takao, and Ryoichi Ueno, Some stability properties of Teichmüller modular function fields with pro-$l$ weight structures, Math. Ann. 302 (1995), no. 2, 197–213. MR 1336334, DOI 10.1007/BF01444493
- Jürgen Neukirch, Alexander Schmidt, and Kay Wingberg, Cohomology of number fields, 2nd ed., Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 323, Springer-Verlag, Berlin, 2008. MR 2392026, DOI 10.1007/978-3-540-37889-1
- B. Noohi, Fundamental groups of algebraic stacks, J. Inst. Math. Jussieu 3 (2004), no. 1, 69–103. MR 2036598, DOI 10.1017/S1474748004000039
- Takayuki Oda, Etale homotopy type of the moduli spaces of algebraic curves, Geometric Galois actions, 1, London Math. Soc. Lecture Note Ser., vol. 242, Cambridge Univ. Press, Cambridge, 1997, pp. 85–95. MR 1483111
- A. Putman: The second rational homology group of the moduli space of curves with level structures, preprint 2008, arXiv:0809.4477.
- Wilfried Schmid, Variation of Hodge structure: the singularities of the period mapping, Invent. Math. 22 (1973), 211–319. MR 382272, DOI 10.1007/BF01389674
- John Stallings, Homology and central series of groups, J. Algebra 2 (1965), 170–181. MR 175956, DOI 10.1016/0021-8693(65)90017-7
- Steven Zucker, Variation of mixed Hodge structure. II, Invent. Math. 80 (1985), no. 3, 543–565. MR 791674, DOI 10.1007/BF01388730
- Jakob Stix, A monodromy criterion for extending curves, Int. Math. Res. Not. 29 (2005), 1787–1802. MR 2172341, DOI 10.1155/IMRN.2005.1787
- Dennis Sullivan, On the intersection ring of compact three manifolds, Topology 14 (1975), no. 3, 275–277. MR 383415, DOI 10.1016/0040-9383(75)90009-9
- André Weil, L’arithmétique sur les courbes algébriques, Acta Math. 52 (1929), no. 1, 281–315 (French). MR 1555278, DOI 10.1007/BF02547409
- Kirsten Wickelgren, Lower central series obstructions to homotopy sections of curves over number fields, ProQuest LLC, Ann Arbor, MI, 2009. Thesis (Ph.D.)–Stanford University. MR 2713908
Bibliographic Information
- Richard Hain
- Affiliation: Department of Mathematics, Duke University, Durham, North Carolina 27708-0320
- MR Author ID: 79695
- ORCID: 0000-0002-7009-6971
- Email: hain@math.duke.edu
- Received by editor(s): January 27, 2010
- Received by editor(s) in revised form: September 19, 2010, and December 29, 2010
- Published electronically: January 25, 2011
- Additional Notes: The author was supported in part by grant DMS-0706955 from the National Science Foundation and by MSRI
- © Copyright 2011
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: J. Amer. Math. Soc. 24 (2011), 709-769
- MSC (2010): Primary 14G05, 14G27, 14H10, 14H25; Secondary 11G30, 14G32
- DOI: https://doi.org/10.1090/S0894-0347-2011-00693-0
- MathSciNet review: 2784328