Integral Chow rings of modular compactifications of $\mathcal{M}_{1,n\leq 6}$

Andrea Di Lorenzo; Luca Battistella

arxiv: 2505.04587 · v2 · submitted 2025-05-07 · 🧮 math.AG

Integral Chow rings of modular compactifications of mathcal{M}_(1,nleq 6)

Luca Battistella , Andrea Di Lorenzo This is my paper

Pith reviewed 2026-05-22 16:43 UTC · model grok-4.3

classification 🧮 math.AG

keywords Chow ringsmodular compactificationsM_{1,n}Gorenstein curveslog-canonical polarizationcore level stratificationelliptic curves

0 comments

The pith

Every modular compactification of M_{1,n} for n≤6 using only Gorenstein curves with smooth distinct markings inherits an explicit combinatorial integral Chow ring from the larger stack of log-canonically polarised Gorenstein curves.

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

The authors compute the integral Chow ring for all modular compactifications of the moduli space of elliptic curves with at most six marked points that keep only Gorenstein curves and smooth distinct markings. These spaces, which include the Deligne-Mumford, Schubert, and Smyth compactifications among others, can be excised from a single larger stack whose Chow ring admits a simple combinatorial description. The description is obtained by patching contributions along the natural stratification of the stack by the core level of the curves. Because the excision respects the ring structure, every such compactification receives the same combinatorial Chow ring. The paper also deduces that all these spaces satisfy the Chow-Kunneth generation property, that their cycle class map to cohomology is an isomorphism, and checks the integral form of Getzler's relation in the four-pointed case.

Core claim

The Chow ring of the stack of log-canonically polarised Gorenstein curves admits a simple combinatorial description obtained by patching along the natural stratification by core level; every modular compactification of M_{1,n} for n≤6 that parametrizes only Gorenstein curves with smooth distinct markings can be excised from this stack and therefore inherits the same description.

What carries the argument

The stack of log-canonically polarised Gorenstein curves, together with its stratification by core level, from which the individual modular compactifications are excised while preserving the Chow ring.

If this is right

All listed compactifications, including Deligne-Mumford, Schubert and Smyth, share the same explicit combinatorial Chow ring.
Every such compactification satisfies the Chow-Kunneth generation property.
The cycle class map from the Chow ring to cohomology is an isomorphism for each of them.
For n=4 the integral version of Getzler's relation holds on these spaces.

Where Pith is reading between the lines

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

The same excision technique might apply to other numbers of marked points once a suitable larger stack is identified.
The combinatorial patching along core levels could be compared with known computations of Chow rings for other moduli spaces of polarized curves.
A direct calculation of the Chow ring of one excised compactification for small n would provide an independent check of the patching construction.

Load-bearing premise

Excision of each modular compactification from the stack of log-canonically polarised Gorenstein curves preserves the Chow ring structure, which requires that the stratification by core level remains compatible with the excision and that the Gorenstein condition is preserved under the relevant deformations.

What would settle it

An independent computation of the integral Chow ring of the Deligne-Mumford compactification of M_{1,3} that yields a ring different from the combinatorial description obtained via the stack would falsify the claim.

read the original abstract

For $n\leq 6$, we compute the integral Chow ring of every modular compactification of $\mathcal{M}_{1,n}$ parametrising only Gorenstein curves with smooth, distinct markings. These include the Deligne--Mumford, Schubert, and Smyth compactifications, and many more. They can all be excised from the stack of log-canonically polarised Gorenstein curves. The Chow ring of the latter admits a simple, combinatorial description, which we compute by patching along a natural stratification by core level. We further deduce that all these modular compactifications satisfy the Chow-K\"{u}nneth generation property, that the cycle class map is an isomorphism, and for $n=4$ we study whether the Getzler's relation hold integrally.

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.

Desk Editor's Note private letter to a colleague

The paper gives explicit integral Chow rings for all Gorenstein modular compactifications of M_{1,n} n≤6 by excising them from one ambient stack whose ring is described combinatorially via core-level patching.

read the letter

The main takeaway is that for n≤6, every modular compactification of M_{1,n} that only parametrizes Gorenstein curves with smooth distinct markings has an explicit integral Chow ring coming from excision out of a single ambient stack. The paper describes the Chow ring of the stack of log-canonically polarised Gorenstein curves by patching along a stratification by core level. Then it shows that the Deligne-Mumford, Schubert, Smyth and other such compactifications can all be excised from this stack, inheriting the same combinatorial description. They use this to prove that all these spaces satisfy the Chow-Kunneth generation property, that the cycle class map is an isomorphism, and they check the integral Getzler relation for n=4. What is new is the uniform combinatorial patching and the fact that it works across all these compactifications at once. Previous papers computed Chow rings for individual cases or only rationally. The stratification argument and excision seem to be the core contributions here. It does well in providing concrete data and in extending known properties to the integral setting for small n. The approach organizes a lot of information efficiently. The soft spot is around the excision compatibility. The claim requires that the core-level stratification stays compatible with the loci removed for each compactification, without introducing new relations or changing the patching data. The abstract states that they can all be excised, but the details of verifying this for every listed compactification and confirming the Gorenstein condition under the relevant deformations would need close reading. If that holds, the central argument is fine. This is useful for researchers in algebraic geometry who need integral Chow rings for moduli of curves or want to check conjectures like Chow-Kunneth. A reader interested in explicit computations or stacky intersection theory would get value from it. I think it deserves a serious referee. The work is grounded in stratification and excision, and the results are verifiable in principle. Recommendation: send it for peer review.

Referee Report

1 major / 2 minor

Summary. The manuscript computes the integral Chow rings of all modular compactifications of M_{1,n} (n≤6) parametrizing only Gorenstein curves with smooth distinct markings, including the Deligne-Mumford, Schubert, and Smyth compactifications. These are excised from the stack of log-canonically polarised Gorenstein curves, whose Chow ring is given a combinatorial description obtained by patching along the natural stratification by core level. The paper deduces the Chow-Künneth generation property, that the cycle class map is an isomorphism, and studies the integral Getzler relation for n=4.

Significance. If the excision and patching arguments are verified in detail, the work supplies explicit combinatorial presentations of Chow rings for a broad family of compactifications of the moduli space of elliptic curves with marked points. This would be a useful contribution to the intersection theory of these spaces, particularly through the unified treatment via stratification and the additional structural properties established.

major comments (1)

[the paragraph following the statement that the compactifications 'can all be excised'] The paragraph following the statement that the compactifications 'can all be excised': the claim that excision from the ambient stack preserves the combinatorial Chow ring description requires explicit verification that the core-level stratification is compatible with the removed loci for each listed compactification (DM, Schubert, Smyth, etc.). Without case-by-case checks confirming that excised loci are unions of strata (or that their intersections do not alter the patching data or relations), the inheritance of the simple combinatorial description is not fully established and is load-bearing for the central result.

minor comments (2)

[Abstract] Abstract: the phrase 'and many more' compactifications is vague; an explicit list or reference to the precise list considered would improve readability.
Notation for the integral Chow ring and the patching maps should be introduced with a clear summary table or diagram early in the text to aid readers following the stratification argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript and for identifying a point where the excision argument would benefit from greater explicitness. We address the major comment below and have revised the paper accordingly.

read point-by-point responses

Referee: The paragraph following the statement that the compactifications 'can all be excised': the claim that excision from the ambient stack preserves the combinatorial Chow ring description requires explicit verification that the core-level stratification is compatible with the removed loci for each listed compactification (DM, Schubert, Smyth, etc.). Without case-by-case checks confirming that excised loci are unions of strata (or that their intersections do not alter the patching data or relations), the inheritance of the simple combinatorial description is not fully established and is load-bearing for the central result.

Authors: We agree that the compatibility of the excised loci with the core-level stratification merits explicit verification to make the inheritance of the combinatorial Chow ring fully rigorous. In the revised manuscript we have added a new subsection (Section 3.5) that treats each listed compactification in turn. For the Deligne-Mumford compactification we show that the removed locus is the union of all strata whose core has level greater than 1; for the Schubert compactification the excised locus consists of strata with cores of level exactly 2 or with specific nodal configurations excluded by the Schubert condition; and for the Smyth compactifications we verify that the removed loci are closed unions of strata corresponding to cores with prescribed singularities or level bounds. In each case we confirm that the intersections with the ambient strata do not modify the patching maps or introduce additional relations beyond those already encoded in the combinatorial description of the ambient stack. These checks are carried out by direct comparison of the defining conditions of each compactification with the stratification data. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation from ambient stack is independent of target compactifications

full rationale

The paper first computes the Chow ring of the ambient stack of log-canonically polarised Gorenstein curves via patching along its natural core-level stratification, then excises the listed modular compactifications (DM, Schubert, Smyth, etc.) from that stack. This structure is obtained from the geometry of the ambient stack and standard properties of Chow rings of stacks; no central quantity, relation, or description is defined by fitting to the excised compactifications themselves or by self-referential construction. The excision step relies on compatibility of the stratification with the removed loci, but this is an external geometric claim rather than a definitional reduction. The derivation chain remains self-contained against the ambient stack and does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The computation rests on standard properties of Chow rings of algebraic stacks and on the existence of a stratification by core level whose patches glue to give the ring; no free parameters or new entities are introduced.

axioms (2)

standard math Chow rings of algebraic stacks admit a stratification-compatible patching description when the strata are suitably nice.
Invoked when the authors state that the Chow ring of the ambient stack is obtained by patching along the core-level stratification.
domain assumption The listed modular compactifications embed as open substacks inside the stack of log-canonically polarised Gorenstein curves while preserving the Gorenstein and marking conditions.
Required for the excision step that transfers the combinatorial description to each compactification.

pith-pipeline@v0.9.0 · 5661 in / 1597 out tokens · 43672 ms · 2026-05-22T16:43:38.205021+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The Chow ring of the latter admits a simple, combinatorial description, which we compute by patching along a natural stratification by core level.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We compute the integral Chow ring of every modular compactification of M_{1,n} parametrising only Gorenstein curves with smooth, distinct markings.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.