pith. sign in

arxiv: 2605.20453 · v1 · pith:KOOUC6CKnew · submitted 2026-05-19 · 🧮 math.AG

On the Hodge and Tate conjectures for moduli spaces of curves

Sam Payne This is my paper

Pith reviewed 2026-05-21 06:42 UTC · model grok-4.3

classification 🧮 math.AG
keywords Hodge conjectureTate conjecturemoduli spaces of curvesstable curvescohomologyboundary stratificationconiveaualgebraic cycles
0
0 comments X

The pith

The boundary stratification of moduli spaces of stable curves verifies the generalized coniveau forms of the Hodge and Tate conjectures in many cases.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper surveys recent advances in understanding the cohomology of moduli spaces of stable curves by examining them through the Hodge and Tate conjectures and their generalized coniveau versions. These conjectures connect algebraic cycles to Hodge structures and Galois representations in the cohomology groups. The key insight is that the way these moduli spaces break down into boundary strata supports an inductive proof strategy that confirms the conjectures across a broad set of instances. A sympathetic reader would care because confirming these links strengthens the bridge between algebraic geometry, topology, and arithmetic, potentially unlocking properties of families of curves that were previously inaccessible.

Core claim

The inductive structure of the boundary stratification verifies these conjectures in a surprisingly wide range of cases by relating Hodge structures and l-adic Galois representations on the cohomology to algebraic cycles in a manner compatible with the stratification.

What carries the argument

The boundary stratification of the moduli space of stable curves, which provides an inductive structure for verifying the conjectures.

If this is right

  • The conjectures hold for the cohomology of these moduli spaces in low-dimensional or low-genus cases where the induction applies.
  • The approach draws inspiration from arithmetic geometry to guide the verification.
  • Several open problems remain, particularly in cases where the boundary structure does not fully cover the induction.
  • Future research can extend this method to other moduli problems or higher-dimensional analogs.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the inductive verification holds, similar boundary stratifications in other geometric moduli spaces might allow parallel confirmations of the conjectures.
  • Computations of specific cycle classes in low-genus moduli spaces could provide concrete tests of the claimed verifications.
  • This suggests potential applications to understanding the motive or Galois representations associated with curve families.

Load-bearing premise

The generalized coniveau forms of the Hodge and Tate conjectures relate the cohomology's Hodge structures and Galois representations to algebraic cycles compatibly with the boundary stratification.

What would settle it

Finding a specific moduli space of stable curves where the predicted algebraic cycle corresponding to a cohomology class does not exist, or where the Hodge structure does not match the cycle class map in a case covered by the inductive argument.

read the original abstract

We survey recent progress on the cohomology of moduli spaces of stable curves through the lens of the Hodge and Tate conjectures, especially their generalized coniveau forms, which relate Hodge structures and l-adic Galois representations on cohomology to algebraic cycles. We explain how the inductive structure of the boundary stratification verifies these conjectures in a surprisingly wide range of cases, describe the guiding inspiration from arithmetic, and discuss open problems and directions for future research.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper surveys recent progress on the cohomology of moduli spaces of stable curves, viewed through the generalized coniveau forms of the Hodge and Tate conjectures. These forms relate Hodge structures and l-adic Galois representations on the cohomology to algebraic cycles. The central claim is that the boundary stratification of the moduli space of stable curves permits an inductive verification of these conjectures in a wide range of cases, building on known low-genus results and arithmetic analogies, while also outlining open problems.

Significance. If the compatibility of the conjectures with the boundary stratification holds as described, the survey provides a coherent inductive framework that extends verification of Hodge and Tate classes to many higher-genus cases without introducing new free parameters or ad-hoc constructions. This is a useful organizational contribution that highlights how stratification reduces the problem to lower-dimensional strata (products of lower-genus moduli spaces) and connects to arithmetic motivations.

minor comments (3)
  1. The abstract and introduction would benefit from a brief explicit statement of the precise form of the generalized coniveau Hodge/Tate conjectures being used, to make the inductive step self-contained for readers unfamiliar with the cited literature.
  2. Section on boundary stratification: clarify whether the generation of cycle classes on the total space is claimed to be surjective or only that it spans the relevant invariant subspace; a short diagram or commutative square would help illustrate the reduction.
  3. The discussion of open problems could include a short table or list distinguishing cases where the induction is complete from those that remain conditional on lower-genus verifications.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our survey and for recommending acceptance. The report correctly identifies the paper's focus on the inductive framework provided by the boundary stratification of the moduli space of stable curves for verifying generalized forms of the Hodge and Tate conjectures.

Circularity Check

0 steps flagged

No significant circularity: survey relies on external literature and standard inductive structure

full rationale

This is a survey paper explaining recent progress on cohomology of moduli spaces of stable curves via generalized coniveau forms of the Hodge and Tate conjectures. The central argument uses the inductive structure of the boundary stratification to verify the conjectures in wide cases, building explicitly on known low-genus results and arithmetic analogies from prior independent literature. No new derivations, fitted parameters, self-definitional relations, or load-bearing self-citations that reduce the claims to inputs by construction are present. The compatibility with stratification is treated as a compatibility assumption drawn from external sources rather than an internal tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This is a survey paper. No new free parameters, axioms, or invented entities are introduced based on the abstract; the content relies on established conjectures from algebraic geometry and prior results on moduli spaces.

pith-pipeline@v0.9.0 · 5581 in / 1176 out tokens · 44926 ms · 2026-05-21T06:42:43.041985+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 1 internal anchor

  1. [1]

    Arbarello and M

    [AC98] E. Arbarello and M. Cornalba,Calculating cohomology groups of moduli spaces of curves via algebraic geometry, Inst. Hautes ´Etudes Sci. Publ. Math. (1998), no. 88, 97–127. [ACC+25] V. Arena, S. Canning, E. Clader, R. Haburcak, A. Q. Li, S. C. Mok, and C. Tam- borini,Holomorphic forms and non-tautological cycles on moduli spaces of curves, Se- lecta...

    work page 1998

  2. [2]

    Abramovich, L

    [ACP15] D. Abramovich, L. Caporaso, and S. Payne,The tropicalization of the moduli space of curves, Ann. Sci. ´Ec. Norm. Sup´ er. (4)48(2015), no. 4, 765–809. [And04] Y. Andr´ e,Une introduction aux motifs (motifs purs, motifs mixtes, p´ eriodes), Panora- mas et Synth` eses, vol. 17, Soci´ et´ e Math´ ematique de France, Paris,

    work page 2015

  3. [3]

    Behrend,The Lefschetz trace formula for algebraic stacks, Invent

    [Beh93] K. Behrend,The Lefschetz trace formula for algebraic stacks, Invent. Math.112(1993), no. 1, 127–149. [Beh04] ,Cohomology of stacks, Intersection theory and moduli, ICTP Lect. Notes, XIX, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2004, pp. 249–294. [Ber] J. Bergstr¨ om,Cohomology of moduli spaces of curves,https://github.com/ jonasbergstroem/...

    work page 1993

  4. [4]

    Bergstr¨ om, C

    ON THE HODGE AND TATE CONJECTURES FOR MODULI SPACES OF CUR VES 23 [BFP24] J. Bergstr¨ om, C. Faber, and S. Payne,Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves, Ann. of Math. (2)199(2024), no. 3, 1323–1365. [BFvdG14] J. Bergstr¨ om, C. Faber, and G. van der Geer,Siegel modular forms of degree three and the cohomolog...

    work page arXiv 2024

  5. [5]

    Bergstr¨ om and G

    [BvdG08] J. Bergstr¨ om and G. van der Geer,The Euler characteristic of local systems on the moduli of curves and abelian varieties of genus three, J. Topol.1(2008), no. 3, 651–

    work page 2008

  6. [6]

    Canning,The tautological ring of Mg,n is rarely Gorenstein, Geom

    [Can25] S. Canning,The tautological ring of Mg,n is rarely Gorenstein, Geom. Topol.29(2025), no. 7, 3905–3919. [CGP21] M. Chan, S. Galatius, and S. Payne,Tropical curves, graph complexes, and top weight cohomology ofM g, J. Amer. Math. Soc.34(2021), no. 2, 565–594. [CGP22] ,Topology of moduli spaces of tropical curves with marked points, Facets of algebra...

    work page 2025

  7. [7]

    Moduli spaces of curves with polynomial point counts

    [CL24] S. Canning and H. Larson,On the Chow and cohomology rings of moduli spaces of stable curves, J. Eur. Math. Soc. (2024), Published online first, DOI 10.4171/JEMS/1543. [CLP23] S. Canning, H. Larson, and S. Payne,The eleventh cohomology group of Mg,n, Forum Math. Sigma11(2023), Paper No. e62, 18 pages. [CLP24] ,Extensions of tautological rings and mo...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/jems/1543 2024

  8. [8]

    [CLPW25a] ,FA-modules of holomorphic forms on Mg,n, arXiv:2509.08774,

    work page arXiv

  9. [9]

    Moduli Spaces and Modular Forms

    [CLPW25b] ,The motivic structuresLS 12 andS 16 in the cohomology of moduli spaces of curves, arXiv:2411.12652. To appear in the Schiermonnikoog volume on “Moduli Spaces and Modular Forms”,

    work page arXiv

  10. [10]

    Chenevier and O

    [CT20] G. Chenevier and O. Ta¨ ıbi,Discrete series multiplicities for classical groups overZand level 1 algebraic cusp forms, Publ. Math. Inst. Hautes ´Etudes Sci.131(2020), 261–323. [Del85] P. Deligne,Repr´ esentationsl-adiques, Ast´ erisque (1985), no. 127, 249–255, Seminar on arithmetic bundles: the Mordell conjecture (Paris, 1983/84). [Del89] ,Le grou...

    work page 2020

  11. [11]

    Faber and G

    [FvdG04a] C. Faber and G. van der Geer,Sur la cohomologie des syst` emes locaux sur les espaces de modules des courbes de genre 2 et des surfaces ab´ eliennes. I, C. R. Math. Acad. Sci. Paris338(2004), no. 5, 381–384. [FvdG04b] ,Sur la cohomologie des syst` emes locaux sur les espaces de modules des courbes de genre 2 et des surfaces ab´ eliennes. II, C. ...

    work page 2004

  12. [12]

    Graber and R

    [GP03] T. Graber and R. Pandharipande,Constructions of nontautological classes on moduli spaces of curves, Michigan Math. J.51(2003), no. 1, 93–109. [Har85] J. Harer,Stability of the homology of the mapping class groups of orientable surfaces, Ann. of Math. (2)121(1985), no. 2, 215–249. [Har86] ,The virtual cohomological dimension of the mapping class gro...

    work page 2003

  13. [13]

    Looijenga,Stable cohomology of the mapping class group with symplectic coefficients and of the universal Abel-Jacobi map, J

    [Loo96] E. Looijenga,Stable cohomology of the mapping class group with symplectic coefficients and of the universal Abel-Jacobi map, J. Algebraic Geom.5(1996), no. 1, 135–150. ON THE HODGE AND TATE CONJECTURES FOR MODULI SPACES OF CUR VES 25 [Lu25] Y. Lu,On O’Grady’s generalized Franchetta conjecture for genus 11K3surfaces, preprint arXiv:2511.16875,

    work page arXiv 1996

  14. [14]

    Markman,Secant sheaves and Weil classes on abelian varieties, preprint arXiv:2509.23403,

    [Mar25] E. Markman,Secant sheaves and Weil classes on abelian varieties, preprint arXiv:2509.23403,

    work page arXiv

  15. [15]

    Mattuck,Cycles on abelian varieties, Proc

    [Mat58] A. Mattuck,Cycles on abelian varieties, Proc. Amer. Math. Soc.9(1958), 88–98. [Mes86] J.-F. Mestre,Formules explicites et minorations de conducteurs de vari´ et´ es alg´ ebriques, Compositio Math.58(1986), no. 2, 209–232. [Mil80] J. S. Milne, ´Etale cohomology, Princeton Mathematical Series, vol. No. 33, Princeton University Press, Princeton, NJ,

    work page 1958

  16. [16]

    1, 45–76

    [Mil99] ,Lefschetz motives and the Tate conjecture, Compositio Math.117(1999), no. 1, 45–76. [Mil02] ,Polarizations and Grothendieck’s standard conjectures, Ann. of Math. (2)155 (2002), no. 2, 599–610. [MNP13] J. Murre, J. Nagel, and C. Peters,Lectures on the theory of pure motives, University Lecture Series, vol. 61, American Mathematical Society, Provid...

    work page 1999

  17. [17]

    Moonen,A remark on the Tate conjecture, J

    [Moo19] B. Moonen,A remark on the Tate conjecture, J. Algebraic Geom.28(2019), no. 3, 599–603. [MP15] K. Madapusi Pera,The Tate conjecture for K3 surfaces in odd characteristic, Invent. Math.201(2015), no. 2, 625–668. [MP20] ,Erratum to appendix to ‘2-adic integral canonical models’, Forum Math. Sigma 8(2020), Paper No. e14, 11 pp. [Mum68] D. Mumford,Rati...

    work page 2019

  18. [18]

    [Tot17] ,Recent progress on the Tate conjecture, Bull. Amer. Math. Soc. (N.S.)54 (2017), no. 4, 575–590. [Voi03] C. Voisin,Hodge theory and complex algebraic geometry. II, Cambridge Studies in Ad- vanced Mathematics, vol. 77, Cambridge University Press, Cambridge, 2003, Translated from the French by Leila Schneps. [vZ18] J. van Zelm,Nontautological bielli...

    work page 2017

  19. [19]

    Zarhin,Abelian varieties over fields of finite characteristic, Cent

    [Zar14] Y. Zarhin,Abelian varieties over fields of finite characteristic, Cent. Eur. J. Math.12 (2014), no. 5, 659–674

    work page 2014