Pith. sign in

REVIEW 4 major objections 5 minor 3 cited by

The motivic structures $\mathsf{LS}_{12}$ and $\mathsf{S}_{16}$ in the cohomology of moduli spaces of curves

T0 review · 4 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves new nonzero classes in the middle cohomology of $\mathcal{M}_9$ and $\mathcal{M}_{11}$, tracking the motivic structures $\mathsf{LS}_{12}$ and $\mathsf{S}_{16}$, and derives at-least-exponential growth of cohomology…

desk verdict Strong low-genus computations with new nonvanishing for M9 and M11; the exponential-growth claims are plausible but rest on an under-proved transfer argument and a concrete table error. read the letter →

arxiv 2411.12652 v1 pith:JEHLOW3X submitted 2024-11-19 math.AG

Samir Canning , Hannah Larson , Sam Payne , Thomas Willwacher This is my paper · ORCID
classification math.AG MSC 14H1014C30
keywords modulispacesofcurvescompactlysupportedcohomologymixedHodgestructuremotivicgraphcomplexesLS12S16exponentialgrowth
topics The Hodge Conjecture
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper isolates two specific motivic structures, $\mathsf{LS}_{12}$ and $\mathsf{S}_{16}$, in the weight-graded compactly supported cohomology of the moduli spaces $\mathcal{M}_{g,n}$ of smooth curves, and computes where they appear. It proves that the middle cohomology groups of $\mathcal{M}_9$ and $\mathcal{M}_{11}$ are nonzero, the first because $\mathrm{gr}^W_{13}H^{24}_c(\mathcal{M}_9) \cong \mathsf{LS}_{12}$ and the second because the $\mathsf{S}_{16}$-isotypic subspace of $\mathrm{gr}^W_{15}H^*_c(\mathcal{M}_{11})$ is exactly $\mathsf{S}_{16}$ in degree 30. It also constructs injections from symmetric powers of graph-cocycle cohomology into these subspaces, and concludes that $\dim H^{2g+k}_c(\mathcal{M}_g)$ grows at least exponentially with $g$ for all $k\leq 73$ except possibly $k=1,4,7,71$, with 21 of these values newly established. A reader should care because this turns a sparse catalogue of low-degree cohomology classes into families of arithmetic classes in moduli spaces of curves, supporting the conjecture that almost all low-shift cohomology dimensions grow exponentially.

What carries the argument

The central machinery is the Getzler–Kapranov graph complex, the Feynman transform of the modular operad $H(\mathcal{M})$, whose cohomology is identified with the weight-graded compactly supported cohomology of $\mathcal{M}_{g,n}$, together with the truncated auxiliary complexes $B^{15}_{g,n}$ and $C^{15}_{g,n}$ obtained by keeping graphs with at most or at least 14 marked half-edges. The organizing quantity is the excess, $E=3g+2n-25$ for weight 13 and $E'=3g+2n-33$ for type $(15,0)$, an additive measure of graph complexity that lets the authors enumerate all contributing graphs in low excess. The infinite-family injections are built from $\mathrm{Sym}^r(\mathrm{GC}_0)$, symmetric powers of the graph complex generated by connected graphs without self-loops and with all vertices of valence at least three.

What would settle it

Compute the cohomology of the truncated complex $B^{15}_g$ for growing $g$ and check the lowest new shift, $k=20$, where the injection from $\mathrm{Sym}^{10}(\mathrm{GC}_0)_{g-5}\otimes\mathsf{S}_{16}$ predicts at-least-exponential growth; if those classes become exact, or if $\dim H^{2g+20}_c(\mathcal{M}_g)$ fails to grow exponentially, the transfer of the truncation and injectivity arguments fails.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that the motivic structures $\mathsf{LS}_{12}$ and $\mathsf{S}_{16}$ have computable, structured appearances in the weight-graded compactly supported cohomology of moduli spaces of curves. In weight 13, $\mathrm{gr}^W_{13}H^*_c(\mathcal{M}_{g,n})$ vanishes for $3g+2n\leq 25$, and for $3g+2n\in\{26,27\}$ it is concentrated in one degree $k(g,n)=3g+n-2-\delta_{0,n}$ with $\mathfrak{S}_n$-module $Z_{g,n}\otimes\mathsf{LS}_{12}$; in particular $\mathrm{gr}^W_{13}H^{24}_c(\mathcal{M}_9)\cong\mathsf{LS}_{12}$. In type $(15,0)$, the $\mathsf{S}_{16}$-isotypic part vanishes for $3g+2n\leq 32$ and first appears at $(g,n)=(11,0)$ as a single copy of $\mathsf{S}_{16}$ in degree 30, proving $H^{30}(\mathcal{M}_{11})\neq 0$, while it vanishes again at $g=12$. The paper further embeds direct sums of symmetric powers of the graph-cocycle complex cohomology into $\mathsf{S}_{16}$-isotypic subspaces for all $g$, and from these injections it derives at-least-exponential growth of $\dim H^{2g+k}_c(\mathcal{M}_g)$ for all $k\leq 73$ except possibly $k=1,4,7,71$, including 21 previously unknown values. It also produces a closed generating function for the $\mathfrak{S}_n$-equivariant Euler characteristic of the type $(15,0)$ part.

Load-bearing premise

The exponential-growth conclusions depend on the assumption that the truncated graph complexes imported from the earlier weight-11 construction, with the truncation constant 10 replaced by 14, still compute the same cohomology and that the induced maps from symmetric powers of the graph complex are injective; the paper states that the proofs are the same rather than reproducing them.

Editorial extensions

If this is right

  • The paper establishes new nonvanishing of the middle cohomology of $\mathcal{M}_9$ and $\mathcal{M}_{11}$; for $\mathcal{M}_{11}$ this was previously unknown.
  • $\dim H^{2g+k}_c(\mathcal{M}_g)$ grows at least exponentially with $g$ for every $k\leq 73$ except possibly $k=1,4,7,71$, with 21 values in this range newly established.
  • The $\mathsf{S}_{16}$-isotypic part of $\mathrm{gr}^W_{15}H^*_c(\mathcal{M}_{g,n})$ vanishes for $3g+2n\leq 32$, so cusp-form-linked classes cannot appear in low-complexity moduli spaces; at $(11,0)$ the only appearance is a single copy in degree 30.
  • The explicit generating function for the $\mathfrak{S}_n$-equivariant Euler characteristic of the type $(15,0)$ cohomology gives asymptotic formulas for large $g$ with explicit constants, analogous to the weight-11 case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same truncation-plus-excess template should apply to $\mathsf{S}_{k+1}$ for larger $k$: raising the weight by 4 and the truncation constant accordingly would likely produce additional infinite families and push the exponential-growth range beyond $k=73$, potentially filling the exceptions $1,4,7,71$.
  • Because $\mathsf{S}_{16}$ is the motive of a weight-16 cusp form, the new class in $H^{30}(\mathcal{M}_{11})$ is a nontrivial Galois representation rather than a Tate twist, so arithmetic invariants of $\mathcal{M}_{11}$ may be accessible from the same class.
  • The injection in Theorem 1.6 is explicitly not surjective, so the true $\mathsf{S}_{16}$-isotypic part is larger; a natural next step is to find the missing generators and test whether they produce further exponential-growth shifts not covered by Corollary 7.4.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper studies two irreducible motivic structures in the weight-graded compactly supported cohomology of moduli spaces of curves: LS12 in weight 13 and S16 in weight 15. For weight 13, it proves an improved vanishing bound (Proposition 1.1) and gives concrete Sn-equivariant descriptions of the first nonvanishing weight-13 pieces (Theorem 1.2). For weight 15, it describes the S16-isotypic part of H^15(M_{1,n}) (Theorem 1.3), proves nonvanishing of H^30(M_{11}) and vanishing of the S16-isotypic piece for g=12 (Theorem 1.5), constructs injections from symmetric powers of graph cohomology into gr^W_15 H^*_c(M_g) (Theorem 1.6, Corollary 7.3), and derives exponential growth of H^{2g+k}_c(M_g) for 21 new values of k (Corollary 7.4). The paper also gives an equivariant Euler characteristic generating function for the type (15,0) part (Theorem 8.1).

Significance. If the main transfer arguments are valid, the paper makes substantial progress: Theorem 1.5 resolves a previously unknown middle cohomology group of M_{11}, and Corollary 7.4 significantly extends the range of k for which H^{2g+k}_c(M_g) is known to grow at least exponentially. The excess-additivity mechanism (Lemma 3.1, Corollary 6.1) gives a clean and checkable vanishing bound, and the low-excess computations in Section 3.5 are explicit and can be verified by hand. The generating function of Theorem 8.1 is a concrete closed-form result that should be useful for further study. However, the paper's infinite-family results rely on assertions that the proofs of [15] transfer with changed truncation constants, and those assertions are not demonstrated in sufficient detail in the manuscript.

major comments (4)
  1. [§5.1, Lemma 5.1 and Proposition 5.2] The quasi-isomorphism B^15_{g,n} to GK^{15,0}_{g,n} is asserted with the sentence 'The proof is identical to that of [15, Proposition 3.6]', and the auxiliary acyclicity statement for X_{g,n} is likewise deferred. This is load-bearing: all type (15,0) computations in Section 6, including Theorem 1.5, pass through the identification gr^{15,0}H^*_c(M_{g,n}) = H^*(B^15_{g,n}). The transfer is not a purely formal replacement, since the truncation constant changes from 10 to 14, the special-vertex weight changes from 11 to 15, and the shifts change to [-29] and [-30]. The authors should either provide the full proof or give a precise lemma-by-lemma verification that every step of [15, Propositions 3.2 and 3.6] remains valid with these replacements, including the acyclicity of X_{g,n} and the surjectivity/injectivity at each filtration step.
  2. [§7, Theorems 7.1 and 7.2] Theorems 7.1 and 7.2 are the exact support for the infinite-family injections and for Corollary 7.4, but they are only accompanied by 'Idea of proof' sketches. In particular, the extension of the map from Sym^14(GC0) to the full complex C^15_g is said to involve 'explicit combinatorial expressions (that are tedious to define)', and the analogue for Theorem 7.2 similarly postulates cochains y_{15} without giving their formulas. Injectivity on cohomology is the crucial property, and the sketch does not establish it: for example, the claim that a non-exact class in (C^15_g,δ_s) remains non-exact in (C^15_g,δ_s+δ_ω) requires control of the correction terms and of possible δ_ω-boundaries. The manuscript should contain full proofs or a complete reduction to [15] with all numerical and combinatorial modifications specified.
  3. [Theorem 1.2, compared with §3.5] There is an internal inconsistency in the main weight-13 table. Theorem 1.2 states Z_{3,9} ≅ V_{1^9}, while Section 3.5 computes H^{16}(GK^{12,1}_{3,9}) = V_{1^9} ⊕ V_{2,1^7} ⊕ V_{2,1^7}; the same section is explicitly invoked as completing the proof of Theorem 1.2. If the computation in Section 3.5 is correct, the table in Theorem 1.2 omits two V_{2,1^7} summands in the (g,n)=(3,9) entry. This must be corrected in the theorem statement, and the proof should be reconciled with the table.
  4. [§7, proof of Corollary 7.4] The proof of Corollary 7.4 uses the assertion H^{27}(GC0)^{(10)} ≅ Q 'by computer calculations' with no accompanying code, data, or citation. This computational input controls the number of allowed degree-7 factors in the symmetric-power injections and is used in the listed values of k, including the new values in the ranges 55,...,73. Please provide a reproducible artifact or a precise reference to a published computation; otherwise the status of these particular values remains unverified.
minor comments (5)
  1. [Abstract] The abstract contains a typo: 'dimension fo' should be 'dimension of'.
  2. [§6] The low-excess calculations are introduced with 'carry over almost unaltered to the type (15,0) situation', but the reader is not told which parts of [15, Section 4] change. At least the nonvanishing cases used for Theorems 1.4 and 1.5 would benefit from a short indication of which generators and cancellations are being transferred.
  3. [§5.1] The auxiliary complex X_{g,n} is defined only by reference to [15, Section 3.1]. Since the truncation parameter is central to the paper, a self-contained definition of X_{g,n} and its marked half-edge filtration would improve readability.
  4. [§6.1] In the displayed computation for H^k(B^15_{1,15}), the notation V_{1^{15}} is used for the sign representation; this is standard, but the paper does not explicitly state the convention for V_{1^n} when n is the number of marked points, which could confuse readers.
  5. [§8] The generating function in Theorem 8.1 uses variables w and u where the truncation operator T^{≤14} acts on a series in w, but the displayed RHS does not explicitly define w; please make the variable dependence explicit.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the paper's target cohomology classes are not assumed as inputs; reliance on prior same-author work is legitimate independent support, not a self-referential reduction.

full rationale

I walked the claimed derivation chain. Theorem 1.2 is computed from the Getzler–Kapranov graph complex GK^{12,1}_{g,n}, whose generators are built from the previously known presentation of H^{13}(M_{g,n}) and whose cohomology is then identified with gr^W_13 H^*_c(M_{g,n}). Theorem 1.5 is computed from the auxiliary complexes B^15 and C^15, which are defined independently of the target cohomology groups; the quasi-isomorphism B^15_{g,n} → GK^{15,0}_{g,n} is the bridge, and the nonvanishing of H^30(B^15_{11,0}) is a graph-complex computation, not an assumed input. Theorems 1.6, 7.1, and 7.2 inject known graph cohomology classes into the independently defined truncation complexes, and the arithmetic in Corollary 7.4 combines those injections with previously established exponential growth of H^{2g+κ}(GC0)^{(g)}. In none of these steps is the target cohomology group, or the S16/LS12-isotypic multiplicity being proved, used as a hypothesis or hidden as an input. The paper does lean heavily on prior work by overlapping authors — especially [7] for the weight-13 presentation and [14,15] for the graph-complex technology — and several key transfers are asserted by phrases such as 'the proof is identical to [15, Proposition 3.6]' and 'the result is shown by the same argument as [15, Theorem 5.1]'. This is a proof-completeness or rigor concern about transferring a truncation argument from type (11,0) to type (15,0), not a circularity concern: [15] is an independent prior result that does not assume the present conclusions, and the current paper's central new claims still have independent content. I also note a separate internal inconsistency: Theorem 1.2 lists Z_{3,9} ≅ V_{1^9}, while Section 3.5 computes H^{16}(GK^{12,1}_{3,9}) = V_{1^9} ⊕ V_{2,1^7}^{⊕2}; this should be corrected but is not a circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities; the paper's contribution is combinatorial computation. The central claim rests on a chain of prior results, several from the same research group, so the ledger mostly records inherited domain assumptions rather than new postulates.

assumptions (5)
  • domain assumption The Getzler-Kapranov Feynman transform computes gr^W_k H^*_c(M_{g,n}) as the cohomology of the graph complex GK^k_{g,n} (Section 2.1).
    Used as the foundation for all graph complex computations; cited to [14, Section 2] and standard operad theory.
  • domain assumption Presentation of H^{13}(M_{g,n}) and the generators Z_{B subset of A} for H^{12,1}(M_{1,n}) from [7, Section 4 and Lemma 4.11].
    Invoked in Section 2.3 to draw generators and compute the differential; not reproved here.
  • domain assumption Pullback formulas for the Z_{B subset of A} classes under clutching maps ([7, Lemmas 4.4 and 4.5]) and the relation psi = delta_irr/12 in H^2(M_{1,1}) from [1, Theorem 2.2].
    Used in Lemma 2.3 and the graphical differential (2.11).
  • domain assumption Acyclicity of the auxiliary graph complex X_{g,n} and quasi-isomorphism results from [15, Lemma 3.4 and Proposition 3.6] transfer verbatim when the truncation constant 10 is replaced by 14.
    This is the load-bearing transfer assumption; Proposition 5.2 and Theorems 7.1-7.2 rely on it without a full proof.
  • domain assumption Known exponential growth of dim W0 H^{2g}_c(M_g) ([8] for kappa = 0, [14, Proposition 2.4] for kappa = 3) and the computation H^{27}(GC0)(10) isomorphic to Q.
    Inputs to Corollary 7.4; the latter is cited as a computer calculation without artifact.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The motivic structures $\mathsf{LS}_{12}$ and $\mathsf{S}_{16}$ in the cohomology of moduli spaces of curves." pith.science (2026). https://pith.science/paper/JEHLOW3X

@misc{pith2026241112652,
  author       = {Pith},
  title        = {Pith review of: The motivic structures $\mathsfLS_12$ and $\mathsfS_16$ in the cohomology of moduli spaces of curves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JEHLOW3X}},
  note         = {Machine review of arXiv:2411.12652}
}
abstract

We study the appearances of $\mathsf{LS}_{12}$ and $\mathsf{S}_{16}$ in the weight-graded compactly supported cohomology of moduli spaces of curves. As applications, we prove new nonvanishing results for the middle cohomology groups of $\mathcal{M}_9$ and $\mathcal{M}_{11}$ and give evidence to support the conjecture that the dimension fo $H^{2g + k}_c(\mathcal{M}_g)$ grows at least exponentially with $g$ for almost all $k$.

Figures

Figures reproduced from arXiv: 2411.12652 by the authors.

Figure 1
Figure 1. The Sn-equivariant Euler characteristic of gr15 W ,0Hc ∗ (Mg,n). 28 [PITH_FULL_IMAGE:figures/full_fig_p028_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. FA-modules of holomorphic forms on $\overline{\mathcal{M}}_{g,n}$

    math.AG 2025-09 accept novelty 8.0 of 10

    The spaces of holomorphic forms on moduli spaces of stable curves, for degrees up to 18, are completely described as simple FA-modules; for degrees 19 and 20, the description is conditional on a genus-3 vanishing conjecture.

  2. Representation Stability for Marked Graph Complexes

    math.AT 2025-05 conditional novelty 8.0 of 10

    Marked graph complexes B(g,n,r) stabilize sharply at n = ⌈3m/2⌉, where m = 3(g−1)+2(n−r), and stable top-degree multiplicities are given by Littlewood-Richardson coefficients.

  3. Getzler-Kapranov graph complex cohomology computations in weight 13

    math.AG 2025-07 conditional novelty 5.0 of 10

    The weight-13 cohomology of M_{g,n} for 3g+2n=28 is computed via the Getzler-Kapranov graph complex, with explicit Sn-representations in two degrees.

Reference graph

Works this paper leans on

17 extracted references · 14 canonical work pages · cited by 3 Pith papers

  1. [15]

    , Weight 11 Compactly Supported Cohomology of Moduli Spaces o f Curves , Int. Math. Res. Not. IMRN (2024), no. 8, 7060–7098. MR 4735654

    work page 2024

  2. [1]

    Hautes ´Etudes Sci

    Enrico Arbarello and Maurizio Cornalba, Calculating cohomology groups of moduli spaces of curves vi a algebraic geometry, Inst. Hautes ´Etudes Sci. Publ. Math. (1998), no. 88, 97–127 (1999). MR 17333 27

    work page 1998

  3. [2]

    Jonas Bergstr¨ om,Cohomology of moduli spaces of curves, https://github.com/jonasbergstroem/Cohomology-of-mo duli

    work page

  4. [3]

    Jonas Bergstr¨ om, Carel Faber, and Sam Payne, Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves , Ann. of Math. (2) 199 (2024), no. 3, 1323–1365. MR 4740541

    work page 2024

  5. [4]

    Francis Brown, Melody Chan, Søren Galatius, and Sam Payne, Hopf algebras in the cohomology of Ag, GLn(Z), and SLn(Z), preprint arXiv:2405.11528, 2024

    arXiv 2024

  6. [5]

    Sigma 11 (2023), no

    Samir Canning, Hannah Larson, and Sam Payne, The eleventh cohomology group of Mg,n, Forum Math. Sigma 11 (2023), no. Paper No. e62, 18 pp

    work page 2023

  7. [6]

    Pi 12 (2024), Paper No

    , Extensions of tautological rings and motivic structures in the cohomology of Mg,n, Forum Math. Pi 12 (2024), Paper No. e23, 31 pp

    work page 2024

  8. [7]

    Samir Canning, Hannah Larson, Sam Payne, and Thomas Willwacher , Moduli spaces of curves with polynomial point counts , preprint, arXiv:2410.19913, 2024

    arXiv 2024

Show all 17 references
  1. [8]

    Melody Chan, Søren Galatius, and Sam Payne, Tropical curves, graph complexes, and top weight coho- mology of Mg, J. Amer. Math. Soc. 34 (2021), no. 2, 565–594. MR 4280867

    2021

  2. [9]

    , Topology of moduli spaces of tropical curves with marked poi nts, Facets of algebraic geometry. Vol. I, London Math. Soc. Lecture Note Ser., vol. 472, Cambridge U niv. Press, Cambridge, 2022, pp. 77–

    2022

  3. [10]

    Ga¨ etan Chenevier and Jean Lannes, Automorphic forms and even unimodular lattices , Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Su rveys in Mathematics, vol. 69, Springer, Cham, 2019. MR 3929692

    2019

  4. [11]

    Carel Faber and Rahul Pandharipande, Tautological and non-tautological cohomology of the modul i space of curves , Handbook of moduli. Vol. I, Adv. Lect. Math. (ALM), vol. 24, Int. Press, Somerville, MA, 2013, pp. 293–330. MR 3184167

    2013

  5. [12]

    Ezra Getzler, The semi-classical approximation for modular operads , Comm. Math. Phys. 194 (1998), no. 2, 481–492. MR 1627677

    1998

  6. [13]

    Rahul Pandharipande, Dmitri Zvonkine, and Dan Petersen, Cohomological field theories with non- tautological classes, Ark. Mat. 57 (2019), no. 1, 191–213. MR 3951280

    2019

  7. [14]

    Sam Payne and Thomas Willwacher, The weight two compactly supported cohomology of moduli spa ces of curves , To appear in Duke Math. J. arXiv:2110.05711v1, 2021

    2021 arXiv

  8. [16]

    Dan Petersen, Cohomology of local systems on the moduli of principally pol arized abelian surfaces, Pacific J. Math. 275 (2015), no. 1, 39–61. MR 3336928

    2015

  9. [17]

    Math.14 (2021), no

    Victor Turchin and Thomas Willwacher, On the homotopy type of the spaces of spherical knots in Rn, M¨ unster J. Math.14 (2021), no. 2, 537–558. MR 4359842 27 g,n 0 1 2 3 4 5 6 7 0 0 0 0 0 0 s1,1,1,1,1,1 8 0 0 0 0 0 s2,1,1,1 s2,1,1,1,1 −s3,1,1,1 −s3,2,1 − 2s4,1,1 9 0 0 0 −s1,1,...

    2021

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.