pith. sign in

arxiv: 2207.05130 · v4 · pith:BUJYTIQUnew · submitted 2022-07-11 · 🧮 math.AG

Cohomology of moduli spaces via a result of Chenevier and Lannes

Jonas Bergstr\"om , Carel Faber This is my paper

Pith reviewed 2026-05-24 11:54 UTC · model grok-4.3

classification 🧮 math.AG
keywords moduli spacesEuler characteristicsGalois representationsautomorphic representationscohomologygenus 3 curvesabelian surfaceslocal systems
0
0 comments X

The pith

The Euler characteristics of the moduli spaces of genus-3 curves with up to 14 marked points and of local systems on the moduli space of abelian surfaces are computed in the Grothendieck group of Galois representations.

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

The paper applies a classification of algebraic automorphic representations due to Chenevier and Lannes, together with a conjectural correspondence to ℓ-adic Galois representations, to compute the Euler characteristics of the compactified and non-compact moduli spaces of genus-three curves with n marked points for all n up to 14. It performs the same computation for the local systems V_λ on the moduli space A_3 of principally polarized abelian surfaces of dimension three, for all weights |λ| up to 16. These Euler characteristics take values in the Grothendieck group of ℓ-adic Galois representations. A reader would care because the results give explicit information on the cohomology of these central objects in algebraic geometry without requiring direct geometric or point-counting calculations for the stated ranges.

Core claim

Using the Chenevier-Lannes classification of algebraic automorphic representations together with the conjectural correspondence to ℓ-adic absolute Galois representations, the Euler characteristics (valued in the Grothendieck group of such representations) of overline M_{3,n} and M_{3,n} for n≤14 and of the local systems V_λ on A_3 for |λ|≤16 are determined.

What carries the argument

The Chenevier-Lannes classification of algebraic automorphic representations combined with the conjectural correspondence to ℓ-adic Galois representations.

If this is right

  • Explicit values for the Euler characteristics become available for each n≤14 and each |λ|≤16.
  • The cohomology groups of these moduli spaces receive concrete descriptions in terms of Galois representations.
  • The method extends earlier computations that were limited to smaller numbers of marked points or smaller weights.
  • The results supply new data points that can be checked against the conjectural correspondence.

Where Pith is reading between the lines

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

  • The same technique could be tested on moduli spaces of higher genus once comparable classifications of automorphic representations become available.
  • Discrepancies found for larger n or |λ| would indicate the range where the conjectural correspondence begins to fail.
  • The computed Euler characteristics could be used to constrain the possible motives or Galois representations attached to these moduli spaces.
  • The approach links questions in algebraic geometry directly to the Langlands correspondence for the groups involved.

Load-bearing premise

The conjectural correspondence between the algebraic automorphic representations classified by Chenevier and Lannes and the ℓ-adic absolute Galois representations holds for the representations that appear in the cohomology of these moduli spaces and local systems.

What would settle it

An independent geometric or point-counting computation of the Euler characteristic for some specific n≤14 or |λ|≤16 that differs from the value obtained via the Chenevier-Lannes method would falsify the determination.

read the original abstract

We use a classification result of Chenevier and Lannes for algebraic automorphic representations together with a conjectural correspondence with $\ell$-adic absolute Galois representations to determine the Euler characteristics (with values in the Grothendieck group of such representations) of $\overline{\mathcal M}_{3,n}$ and $\mathcal M_{3,n}$ for $n \leq 14$ and of local systems $\mathbb{V}_{\lambda}$ on $\mathcal{A}_3$ for $|\lambda| \leq 16$.

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

1 major / 1 minor

Summary. The manuscript claims to determine the Euler characteristics (valued in the Grothendieck group of ℓ-adic Galois representations) of the moduli spaces overline M_{3,n} and M_{3,n} for n≤14 and of the local systems V_λ on A_3 for |λ|≤16, by combining the Chenevier-Lannes classification of algebraic automorphic representations with a conjectural correspondence to Galois representations.

Significance. If the conjectural correspondence holds with correct multiplicities for the representations appearing in these cohomology groups, the work yields explicit computations of these Euler characteristics. This is a strength in that it applies an external classification result to obtain concrete values in the Grothendieck group for a range of specific cases of interest in the cohomology of moduli spaces of curves and abelian surfaces.

major comments (1)
  1. [Abstract] Abstract: the determination of the Euler characteristics is presented as achieved via the Chenevier-Lannes classification together with the conjectural correspondence, but the manuscript provides no independent verification, reduction to known cases, or multiplicity analysis for the specific weights and levels arising in the cohomology of overline M_{3,n}, M_{3,n} (n≤14) and V_λ on A_3 (|λ|≤16). Any mismatch in the correspondence would alter the computed classes in the Grothendieck group.
minor comments (1)
  1. The precise statement of the conjectural correspondence (including any normalization or multiplicity conventions) should be recalled explicitly in the introduction or a dedicated section for the reader's convenience.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. The major comment concerns the presentation of the results in the abstract and the lack of independent verification or multiplicity analysis. We respond point by point below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the determination of the Euler characteristics is presented as achieved via the Chenevier-Lannes classification together with the conjectural correspondence, but the manuscript provides no independent verification, reduction to known cases, or multiplicity analysis for the specific weights and levels arising in the cohomology of overline M_{3,n}, M_{3,n} (n≤14) and V_λ on A_3 (|λ|≤16). Any mismatch in the correspondence would alter the computed classes in the Grothendieck group.

    Authors: The abstract already states that the Euler characteristics are determined using the Chenevier-Lannes classification together with a conjectural correspondence, making clear that the results are conditional. The manuscript applies the classification to identify the relevant automorphic representations and invokes the conjecture to translate them into classes in the Grothendieck group of Galois representations; no independent verification of the correspondence for these specific weights and levels is provided because the correspondence itself remains conjectural. The multiplicities follow directly from the classification result under the assumed correspondence. We acknowledge that any mismatch in multiplicities would change the computed classes. We will revise the introduction to include an explicit statement that all results are conditional on the conjecture and to reference known cases where the correspondence has been verified in lower genus or weight, constituting a partial revision. revision: partial

Circularity Check

0 steps flagged

No significant circularity; relies on external classification and stated conjecture

full rationale

The paper's derivation chain consists of applying an external classification theorem (Chenevier-Lannes) and an explicitly labeled conjectural correspondence to compute Euler characteristics in the Grothendieck group. No equation or step defines a quantity in terms of itself, renames a fitted input as a prediction, or reduces the central result to a self-citation whose authors overlap with the present work. The cited classification is independent of the current authors, and the conjecture is not asserted as proven within the paper. This satisfies the criteria for a self-contained application of external results without internal reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The computation depends on one domain assumption: the conjectural automorphic-Galois correspondence. No free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Conjectural correspondence between algebraic automorphic representations classified by Chenevier-Lannes and ℓ-adic absolute Galois representations
    Invoked to translate the classification into Galois representations whose Grothendieck-group Euler characteristics can be assembled.

pith-pipeline@v0.9.0 · 5608 in / 1487 out tokens · 23201 ms · 2026-05-24T11:54:10.693151+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

33 extracted references · 33 canonical work pages

  1. [1]

    Arbarello and M

    E. Arbarello and M. Cornalba, Calculating cohomology groups of moduli spaces of curves via algebraic geometry , Publ.\ Math.\ Inst.\ Hautes \'Etudes Sci.\ 88 (1998), 97--127

    work page 1998

  2. [2]

    Arbarello, M

    E. Arbarello, M. Cornalba, and P. Griffiths, Geometry of algebraic curves. Volume II , Grundlehren math.\ Wiss., vol 268, Springer, Heidelberg, 2011

    work page 2011

  3. [3]

    Bergstr\"om Cohomology of moduli spaces of curves of genus three via point counts , J

    J. Bergstr\"om Cohomology of moduli spaces of curves of genus three via point counts , J. reine angew.\ Math.\ 622 (2008), 155--187

    work page 2008

  4. [4]

    Bergstr\"om, C

    J. Bergstr\"om, C. Faber, and G. van der Geer, Siegel modular forms of degree three and the cohomology of local systems , Selecta Math.\ (N.S.) 20 (2014), no. 1, 83--124

    work page 2014

  5. [5]

    Bergstr\"om, C

    J. Bergstr\"om, C. Faber, and S. Payne, Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves , preprint arXiv:2206.07759 (2022)

    work page arXiv 2022

  6. [6]

    Bergstr\"om and G

    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--662

    work page 2008

  7. [7]

    van den Bogaart, Links between cohomology and arithmetic , Ph

    T. van den Bogaart, Links between cohomology and arithmetic , Ph. D. thesis, Leiden University, 2008, Available from https://math.leidenuniv.nl/scripties/vandenBogaart.pdf

    work page 2008

  8. [8]

    van den Bogaart and B

    T. van den Bogaart and B. Edixhoven, Algebraic stacks whose number of points over finite fields is a polynomial , in Number fields and function fields---two parallel worlds , pp. 39--49, Progr.\ Math., vol. 239, Birkh\"auser Boston, Boston, MA, 2005

    work page 2005

  9. [9]

    Canning and H

    S. Canning and H. Larson, On the Chow and cohomology rings of moduli spaces of stable curves , preprint arXiv:2208.02357 (2022)

    work page arXiv 2022

  10. [10]

    Canning, H

    S. Canning, H. Larson, and S. Payne, The eleventh cohomology group of _ g,n , Forum Math.\ Sigma 11 (2023), Paper No. e62

    work page 2023

  11. [11]

    Chenevier and J

    G. Chenevier and J. Lannes, Automorphic forms and even unimodular lattices. Kneser neighbors of Niemeier lattices (translated from the French by R. Ern\'e), Ergeb.\ Math.\ Grenzgeb. (3), vol. 69, Springer, Cham, 2019

    work page 2019

  12. [12]

    Chenevier and D

    G. Chenevier and D. Renard, Level one algebraic cusp forms of classical groups of small rank , Mem.\ Amer.\ Math.\ Soc.\ 237 (2015), no. 1121

    work page 2015

  13. [13]

    Chenevier and O

    G. Chenevier and O. Ta\" bi, Discrete series multiplicities for classical groups over and level 1 algebraic cusp forms , Publ.\ Math.\ Inst.\ Hautes \'Etudes Sci.\ 131 (2020), 261--323

    work page 2020

  14. [14]

    Cl\'ery, C

    F. Cl\'ery, C. Faber, and G. van der Geer, Concomitants of ternary quartics and vector-valued Siegel and Teichm\"uller modular forms of genus three , Selecta Math.\ (N.S.) 26 (2020), no. 4, Paper No. 55

    work page 2020

  15. [15]

    Deligne, Formes modulaires et repr\'esentations -adiques , in S\'eminaire Bourbaki

    P. Deligne, Formes modulaires et repr\'esentations -adiques , in S\'eminaire Bourbaki. Vol. 1968/69: Expos\'es 347--363 , Exp.\ No.\ 355, pp. 139--172, Lecture Notes in Math., vol. 175, Springer-Verlag, Berlin, 1971

    work page 1968

  16. [16]

    II , Inst.\ Hautes \'Etudes Sci.\ Publ.\ Math.\ 52 (1980), 137--252

    , La conjecture de Weil. II , Inst.\ Hautes \'Etudes Sci.\ Publ.\ Math.\ 52 (1980), 137--252

    work page 1980

  17. [17]

    Faber and G

    C. Faber and G. van der Geer, Sur la cohomologie des syst\` e mes locaux sur les espaces des modules des courbes de genre 2 et des surfaces ab\' e liennes, I, II , C. R.\ Math.\ Acad.\ Sci.\ Paris 338 (2004), 381--384, 467--470

    work page 2004

  18. [18]

    Faltings, Crystalline cohomology and p -adic Galois-representations , in: Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988) , pp

    G. Faltings, Crystalline cohomology and p -adic Galois-representations , in: Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988) , pp. 25--80, Johns Hopkins Univ.\ Press, Baltimore, MD, 1989

    work page 1988

  19. [19]

    Faltings and C.-L

    G. Faltings and C.-L. Chai, Degeneration of abelian varieties (with an appendix by D. Mumford), Ergeb.\ Math.\ Grenzgeb. (3), vol. 22, Springer-Verlag, Berlin, 1990

    work page 1990

  20. [20]

    Fulton and J

    W. Fulton and J. Harris, Representation theory. A first course , Grad.\ Texts in Math.\ 129, Springer-Verlag, New York, 1991

    work page 1991

  21. [21]

    Getzler, Operads and moduli spaces of genus 0 Riemann surfaces , in: The moduli space of curves (Texel Island, 1994), pp

    E. Getzler, Operads and moduli spaces of genus 0 Riemann surfaces , in: The moduli space of curves (Texel Island, 1994), pp. 199--230, Progr.\ Math., vol. 129, Birkh\"auser Boston, Boston, MA, 1995

    work page 1994

  22. [22]

    73--106, World Sci.\ Publ., River Edge, NJ, 1998

    , Topological recursion relations in genus 2 in: Integrable systems and algebraic geometry (Kobe/Kyoto, 1997), pp. 73--106, World Sci.\ Publ., River Edge, NJ, 1998

    work page 1997

  23. [23]

    J.\ 96 (1999), no

    , Resolving mixed H odge modules on configuration spaces , Duke Math. J.\ 96 (1999), no. 1, 175--203

    work page 1999

  24. [24]

    Getzler and M.\,M

    E. Getzler and M.\,M. Kapranov, Modular operads , Compos.\ Math.\ 110 (1998), no. 1, 65--126

    work page 1998

  25. [25]

    Gorsky, The equivariant Euler characteristic of moduli spaces of curves , Adv.\ Math.\ 250 (2014), 588--595

    E. Gorsky, The equivariant Euler characteristic of moduli spaces of curves , Adv.\ Math.\ 250 (2014), 588--595

    work page 2014

  26. [26]

    Laumon, Fonctions z\^etas des vari\'et\'es de Siegel de dimension trois

    G. Laumon, Fonctions z\^etas des vari\'et\'es de Siegel de dimension trois. Formes automorphes. II. Le cas du groupe GSp(4) , Ast\'erisque 302 (2005), 1--66

    work page 2005

  27. [27]

    Petersen, Cohomology of local systems on loci of d -elliptic abelian surfaces , Michigan Math

    D. Petersen, Cohomology of local systems on loci of d -elliptic abelian surfaces , Michigan Math. J.\ 62 (2013), no. 4, 705--720

    work page 2013

  28. [28]

    Math.\ 275 (2015), no

    , Cohomology of local systems on the moduli of principally polarized abelian surfaces , Pacific J. Math.\ 275 (2015), no. 1, 39--61

    work page 2015

  29. [29]

    Ramakrishnan, Remarks on the symmetric powers of cusp forms on GL(2) , in: Automorphic forms and L-functions I

    D. Ramakrishnan, Remarks on the symmetric powers of cusp forms on GL(2) , in: Automorphic forms and L-functions I. Global aspects , pp. 237--256, Contemp.\ Math.\ 488, Israel Math.\ Conf.\ Proc., Amer.\ Math.\ Soc., Providence, RI, 2009

    work page 2009

  30. [30]

    Ta\"ibi, Dimensions of spaces of level one automorphic forms for split classical groups using the trace formula , Ann.\ Sci.\ \'Ec.\ Norm.\ Sup\'er.\ (4) 50 (2017), no

    O. Ta\"ibi, Dimensions of spaces of level one automorphic forms for split classical groups using the trace formula , Ann.\ Sci.\ \'Ec.\ Norm.\ Sup\'er.\ (4) 50 (2017), no. 2, 269--344

    work page 2017

  31. [31]

    Taylor, Galois representations , Ann.\ Fac.\ Sci.\ Toulouse Math.\ (6) 13 (2004), no

    R. Taylor, Galois representations , Ann.\ Fac.\ Sci.\ Toulouse Math.\ (6) 13 (2004), no. 1, 73--119

    work page 2004

  32. [32]

    Tsuji, Semi-stable conjecture of Fontaine-Jannsen: a survey

    T. Tsuji, Semi-stable conjecture of Fontaine-Jannsen: a survey. Cohomologies p -adiques et applications arithm\'etiques, II , Ast\'erisque 279 (2002), 323--370

    work page 2002

  33. [33]

    Weissauer, Four dimensional Galois representations

    R. Weissauer, Four dimensional Galois representations. Formes automorphes. II. Le cas du groupe GSp(4) , Ast\'erisque 302 (2005), 67--150

    work page 2005