Tropical curves, graph complexes, and top weight cohomology of
Authors:
Melody Chan, Søren Galatius and Sam Payne
Journal:
J. Amer. Math. Soc.
MSC (2020):
Primary 14H10, 14T20
DOI:
https://doi.org/10.1090/jams/965
Published electronically:
February 2, 2021
Full-text PDF
Abstract | References | Similar Articles | Additional Information
Abstract: We study the topology of a space parametrizing stable tropical curves of genus
with volume
, showing that its reduced rational homology is canonically identified with both the top weight cohomology of
and also with the genus
part of the homology of Kontsevich's graph complex. Using a theorem of Willwacher relating this graph complex to the Grothendieck-Teichmüller Lie algebra, we deduce that
is nonzero for
,
, and
, and in fact its dimension grows at least exponentially in
. This disproves a recent conjecture of Church, Farb, and Putman as well as an older, more general conjecture of Kontsevich. We also give an independent proof of another theorem of Willwacher, that homology of the graph complex vanishes in negative degrees.
- [ABW13] Donu Arapura, Parsa Bakhtary, and Jarosław Włodarczyk, Weights on cohomology, invariants of singularities, and dual complexes, Math. Ann. 357 (2013), no. 2, 513–550. MR 3096516, https://doi.org/10.1007/s00208-013-0912-7
- [ACG11] Enrico Arbarello, Maurizio Cornalba, and Phillip A. Griffiths, Geometry of algebraic curves. Volume II, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 268, Springer, Heidelberg, 2011. With a contribution by Joseph Daniel Harris. MR 2807457
- [ACP15] Dan Abramovich, Lucia Caporaso, and Sam Payne, The tropicalization of the moduli space of curves, Ann. Sci. Éc. Norm. Supér. (4) 48 (2015), no. 4, 765–809 (English, with English and French summaries). MR 3377065, https://doi.org/10.24033/asens.2258
- [AWŽ20]
Assar Andersson, Thomas Willwacher, and Marko Živković,
Oriented hairy graphs and moduli spaces of curves,
preprint 2005.00439v1, 2020. - [Beh04] K. Behrend, Cohomology of stacks, Intersection theory and moduli, ICTP Lect. Notes, XIX, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2004, pp. 249–294. MR 2172499
- [Ber99] Vladimir G. Berkovich, Smooth 𝑝-adic analytic spaces are locally contractible, Invent. Math. 137 (1999), no. 1, 1–84. MR 1702143, https://doi.org/10.1007/s002220050323
- [BMV11] Silvia Brannetti, Margarida Melo, and Filippo Viviani, On the tropical Torelli map, Adv. Math. 226 (2011), no. 3, 2546–2586. MR 2739784, https://doi.org/10.1016/j.aim.2010.09.011
- [BNM]
Dror Bar-Natan and Brendan D. McKay,
Graph cohomology - an overview and some computations, (2001),
http://www.math.toronto.edu/~drorbn/papers/GCOC/GCOC.ps. - [Bre93] Glen E. Bredon, Topology and geometry, Graduate Texts in Mathematics, vol. 139, Springer-Verlag, New York, 1993. MR 1224675
- [Bro12] Francis Brown, Mixed Tate motives over ℤ, Ann. of Math. (2) 175 (2012), no. 2, 949–976. MR 2993755, https://doi.org/10.4007/annals.2012.175.2.10
- [Cap13] Lucia Caporaso, Algebraic and tropical curves: comparing their moduli spaces, Handbook of moduli. Vol. I, Adv. Lect. Math. (ALM), vol. 24, Int. Press, Somerville, MA, 2013, pp. 119–160. MR 3184163
- [CFP12] Thomas Church, Benson Farb, and Andrew Putman, The rational cohomology of the mapping class group vanishes in its virtual cohomological dimension, Int. Math. Res. Not. IMRN 21 (2012), 5025–5030. MR 2993444, https://doi.org/10.1093/imrn/rnr208
- [CFP14] Thomas Church, Benson Farb, and Andrew Putman, A stability conjecture for the unstable cohomology of 𝑆𝐿_{𝑛}ℤ, mapping class groups, and 𝔸𝕦𝕥(𝔽_{𝕟}), Algebraic topology: applications and new directions, Contemp. Math., vol. 620, Amer. Math. Soc., Providence, RI, 2014, pp. 55–70. MR 3290086, https://doi.org/10.1090/conm/620/12366
- [CGP18]
Melody Chan, Søren Galatius, and Sam Payne,
Tropical curves, graph complexes, and top weight cohomology of,
preprint 1805.10186v1, 2018. - [CGP19]
Melody Chan, Søren Galatius, and Sam Payne,
Topology of moduli spaces of tropical curves with marked points,
To appear in Facets of Algebraic Geometry: A Volume in Honour of William Fulton's 80th Birthday, 2019. preprint 1903.07187 - [CGV05] James Conant, Ferenc Gerlits, and Karen Vogtmann, Cut vertices in commutative graphs, Q. J. Math. 56 (2005), no. 3, 321–336. MR 2161246, https://doi.org/10.1093/qmath/hah040
- [CV03] James Conant and Karen Vogtmann, On a theorem of Kontsevich, Algebr. Geom. Topol. 3 (2003), 1167–1224. MR 2026331, https://doi.org/10.2140/agt.2003.3.1167
- [Dan75] V. I. Danilov, Polyhedra of schemes and algebraic varieties, Mat. Sb. (N.S.) 139 (1975), no. 1, 146–158, 160 (Russian); Russian transl., Math. USSR-Sb. 26 (1975), no. 1, 137–149 (1976). MR 0441970
- [Del71] Pierre Deligne, Théorie de Hodge. II, Inst. Hautes Études Sci. Publ. Math. 40 (1971), 5–57 (French). MR 498551
- [Del74]
P. Deligne,
Théorie de Hodge. III,
Inst. Hautes Études Sci. Publ. Math. (1974), no. 44, 5-77. - [dFKX17] Tommaso de Fernex, János Kollár, and Chenyang Xu, The dual complex of singularities, Higher dimensional algebraic geometry—in honour of Professor Yujiro Kawamata’s sixtieth birthday, Adv. Stud. Pure Math., vol. 74, Math. Soc. Japan, Tokyo, 2017, pp. 103–129. MR 3791210, https://doi.org/10.2969/aspm/07410103
- [DRW15] V. A. Dolgushev, C. L. Rogers, and T. H. Willwacher, Kontsevich’s graph complex, GRT, and the deformation complex of the sheaf of polyvector fields, Ann. of Math. (2) 182 (2015), no. 3, 855-943. MR 3418532, https://doi.org/10.4007/annals.2015.182.3.2
- [Edi13] Dan Edidin, Equivariant geometry and the cohomology of the moduli space of curves, Handbook of moduli. Vol. I, Adv. Lect. Math. (ALM), vol. 24, Int. Press, Somerville, MA, 2013, pp. 259–292. MR 3184166
- [GK98] E. Getzler and M. M. Kapranov, Modular operads, Compositio Math. 110 (1998), no. 1, 65–126. MR 1601666, https://doi.org/10.1023/A:1000245600345
- [Gra01] Marco Grandis, Finite sets and symmetric simplicial sets, Theory Appl. Categ. 8 (2001), 244–252. MR 1825431
- [Har81] W. J. Harvey, Boundary structure of the modular group, Riemann surfaces and related topics: Proceedings of the 1978 Stony Brook Conference (State Univ. New York, Stony Brook, N.Y., 1978) Ann. of Math. Stud., vol. 97, Princeton Univ. Press, Princeton, N.J., 1981, pp. 245–251. MR 624817
- [Har86] John L. Harer, The virtual cohomological dimension of the mapping class group of an orientable surface, Invent. Math. 84 (1986), no. 1, 157–176. MR 830043, https://doi.org/10.1007/BF01388737
- [Har88] John L. Harer, The cohomology of the moduli space of curves, Theory of moduli (Montecatini Terme, 1985) Lecture Notes in Math., vol. 1337, Springer, Berlin, 1988, pp. 138–221. MR 963064, https://doi.org/10.1007/BFb0082808
- [Har17]
Alicia Harper,
Factorization for stacks and boundary complexes,
preprint 1706.07999, 2017. - [Hat95] Allen Hatcher, Homological stability for automorphism groups of free groups, Comment. Math. Helv. 70 (1995), no. 1, 39–62. MR 1314940, https://doi.org/10.1007/BF02565999
- [Hat02] Allen Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. MR 1867354
- [HR17]
G. H. Hardy and S. Ramanujan,
Asymptotic formulæ for the distribution of integers of various types,
Proc. Lond. Math. Soc. (3) s2-16 (1917), no. 1, 112-132. - [HV98] Allen Hatcher and Karen Vogtmann, Cerf theory for graphs, J. London Math. Soc. (2) 58 (1998), no. 3, 633–655. MR 1678155, https://doi.org/10.1112/S0024610798006644
- [HZ86] J. Harer and D. Zagier, The Euler characteristic of the moduli space of curves, Invent. Math. 85 (1986), no. 3, 457–485. MR 848681, https://doi.org/10.1007/BF01390325
- [KK98] Vik. S. Kulikov and P. F. Kurchanov, Complex algebraic varieties: periods of integrals and Hodge structures [ MR1060327 (91k:14010)], Algebraic geometry, III, Encyclopaedia Math. Sci., vol. 36, Springer, Berlin, 1998, pp. 1–217, 263–270. MR 1602375, https://doi.org/10.1007/978-3-662-03662-4_1
- [KM94] M. Kontsevich and Yu. Manin, Gromov-Witten classes, quantum cohomology, and enumerative geometry, Comm. Math. Phys. 164 (1994), no. 3, 525–562. MR 1291244
- [Kon93] Maxim Kontsevich, Formal (non)commutative symplectic geometry, The Gel′fand Mathematical Seminars, 1990–1992, Birkhäuser Boston, Boston, MA, 1993, pp. 173–187. MR 1247289
- [Kon94] Maxim Kontsevich, Feynman diagrams and low-dimensional topology, First European Congress of Mathematics, Vol. II (Paris, 1992) Progr. Math., vol. 120, Birkhäuser, Basel, 1994, pp. 97–121. MR 1341841
- [KWŽ17] Anton Khoroshkin, Thomas Willwacher, and Marko Živković, Differentials on graph complexes, Adv. Math. 307 (2017), 1184–1214. MR 3590540, https://doi.org/10.1016/j.aim.2016.05.029
- [KX16] János Kollár and Chenyang Xu, The dual complex of Calabi-Yau pairs, Invent. Math. 205 (2016), no. 3, 527–557. MR 3539921, https://doi.org/10.1007/s00222-015-0640-6
- [Loo93] Eduard Looijenga, Cohomology of ℳ₃ and ℳ¹₃, 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. 205–228. MR 1234266, https://doi.org/10.1090/conm/150/01292
- [ML98] Saunders Mac Lane, Categories for the working mathematician, 2nd ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872
- [MSS13] Shigeyuki Morita, Takuya Sakasai, and Masaaki Suzuki, Abelianizations of derivation Lie algebras of the free associative algebra and the free Lie algebra, Duke Math. J. 162 (2013), no. 5, 965–1002. MR 3047471, https://doi.org/10.1215/00127094-2140560
- [MSS15] Shigeyuki Morita, Takuya Sakasai, and Masaaki Suzuki, Computations in formal symplectic geometry and characteristic classes of moduli spaces, Quantum Topol. 6 (2015), no. 1, 139–182. MR 3335007, https://doi.org/10.4171/QT/61
- [Pay13] Sam Payne, Boundary complexes and weight filtrations, Michigan Math. J. 62 (2013), no. 2, 293–322. MR 3079265, https://doi.org/10.1307/mmj/1370870374
- [PS08] Chris A. M. Peters and Joseph H. M. Steenbrink, Mixed Hodge structures, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 52, Springer-Verlag, Berlin, 2008. MR 2393625
- [RW14]
Carlo A. Rossi and Thomas Willwacher,
P. Etingof's conjecture about Drinfeld associators,
preprint 1404.2047, 2014. - [Sim16] Carlos Simpson, The dual boundary complex of the 𝑆𝐿₂ character variety of a punctured sphere, Ann. Fac. Sci. Toulouse Math. (6) 25 (2016), no. 2-3, 317–361 (English, with English and French summaries). MR 3530160, https://doi.org/10.5802/afst.1496
- [Sta17]
The Stacks Project Authors,
Stacks Project,
http://stacks.math.columbia.edu, 2017. - [Ste08] D. A. Stepanov, A note on resolution of rational and hypersurface singularities, Proc. Amer. Math. Soc. 136 (2008), no. 8, 2647–2654. MR 2399025, https://doi.org/10.1090/S0002-9939-08-09289-7
- [Tom05] Orsola Tommasi, Rational cohomology of the moduli space of genus 4 curves, Compos. Math. 141 (2005), no. 2, 359–384. MR 2134272, https://doi.org/10.1112/S0010437X0400123X
- [Vog15] Karen Vogtmann, On the geometry of outer space, Bull. Amer. Math. Soc. (N.S.) 52 (2015), no. 1, 27–46. MR 3286480, https://doi.org/10.1090/S0273-0979-2014-01466-1
- [Wil15] Thomas Willwacher, M. Kontsevich’s graph complex and the Grothendieck-Teichmüller Lie algebra, Invent. Math. 200 (2015), no. 3, 671–760. MR 3348138, https://doi.org/10.1007/s00222-014-0528-x
Retrieve articles in Journal of the American Mathematical Society with MSC (2020): 14H10, 14T20
Retrieve articles in all journals with MSC (2020): 14H10, 14T20
Additional Information
Melody Chan
Affiliation:
Department of Mathematics, Brown University, 151 Thayer Street, Box 1917, Providence, RI 02912
Email:
melody_chan@brown.edu
Søren Galatius
Affiliation:
Department of Mathematical Sciences, University of Copenhagen, Universitetsparken 5, 2100 Copenhagen OE, Denmark
Email:
galatius@math.ku.dk
Sam Payne
Affiliation:
Department of Mathematics, The University of Texas at Austin, 2515 Speedway, PMA 8.100, Austin, TX 78712
Email:
sampayne@utexas.edu
DOI:
https://doi.org/10.1090/jams/965
Received by editor(s):
July 4, 2018
Received by editor(s) in revised form:
July 23, 2020
Published electronically:
February 2, 2021
Additional Notes:
The first author was supported by NSF DMS-1204278, DMS-1701924, CAREER DMS-1844768, a Sloan Fellowship and a Henry Merritt Wriston Fellowship.
The second author was supported by NSF DMS-1405001 and the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 682922), by the EliteForsk Prize, and by the Danish National Research Foundation (DNRF92 and DNRF151).
The third author was supported by NSF DMS-1702428 and a Simons Fellowship.
Article copyright:
© Copyright 2021
American Mathematical Society