arxiv: 2605.11576 · v2 · submitted 2026-05-12 · 🧮 math.AG · math.KT

Recognition: 2 theorem links

· Lean Theorem

The equivariant Milnor-Witt motive of overline{mathcal{M}}_{1,2}

Nanjun Yang

Authors on Pith no claims yet

Pith reviewed 2026-05-14 20:49 UTC · model grok-4.3

classification 🧮 math.AG math.KT MSC 14F4214H10

keywords Milnor-Witt motivesequivariant motivesmoduli of curvesstable curvesalgebraic geometrymotivic homotopy

0 comments

The pith

The equivariant Milnor-Witt motive of the moduli space of stable curves with two marked points admits an explicit decomposition.

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

This paper establishes that the equivariant Milnor-Witt motive of the moduli space of stable curves overline M_{1,2} decomposes into a direct sum of simpler pieces. A sympathetic reader would care because the decomposition turns a complicated geometric object into computable parts that capture both cohomological data and quadratic form information. The result supplies a concrete description for this low-dimensional case, making further calculations of refined invariants feasible. If the decomposition holds, it gives a model for how such motives behave under the natural group actions on the space.

Core claim

We provide a decomposition of the equivariant Milnor-Witt motives for the moduli spaces of stable curves overline M_{1,2}.

What carries the argument

The decomposition of the equivariant Milnor-Witt motive of overline M_{1,2}, which splits the refined invariant into summands respecting the geometry and group action on the space.

Load-bearing premise

The category of equivariant Milnor-Witt motives is well-defined and admits an explicit decomposition for this moduli space.

What would settle it

A direct computation of the motive via localization or a cell decomposition that produces a result different from the claimed decomposition would show the claim is false.

read the original abstract

We provide a decomposition of the equivariant Milnor-Witt motives for the moduli spaces of stable curves $\overline{\mathcal{M}}_{1,2}$.

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

Yang computes an explicit decomposition of the equivariant Milnor-Witt motive of the low-dimensional moduli space bar M_{1,2}.

read the letter

The paper states that it decomposes the equivariant Milnor-Witt motive of bar M_{1,2}. That is the central claim, and it is narrow: a single low-genus moduli space with a specific group action. If the calculation is carried through cleanly, it gives a concrete example in a setting where motives are still hard to handle explicitly. The work sits in the intersection of motivic homotopy and algebraic geometry, where people sometimes need test cases for general constructions. The author appears to have chosen a space small enough that the decomposition can be written down by hand or with limited machinery. That choice is reasonable for a first computation. The main limitation is that the abstract supplies no equations, no description of the summands, and no comparison with earlier results on Milnor-Witt motives of curves or moduli spaces. Without those details it is impossible to tell whether the decomposition is genuinely new or follows from known splitting principles once the equivariant category is set up. The category itself is not standard, so any reader will want to see the precise definition of the equivariant structure and the base field assumptions. Those points are not visible here. The paper is therefore useful mainly to specialists who already work with Milnor-Witt motives and want to see one more explicit case. It is not likely to affect broader questions in algebraic geometry or homotopy theory. I would send it to a referee who knows the relevant literature on motives of moduli spaces; the claim is checkable in principle and the scope is modest enough that a careful review could settle it quickly.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to provide a decomposition of the equivariant Milnor-Witt motives for the moduli space of stable curves overline M_{1,2}.

Significance. If the claimed decomposition is rigorously established with explicit constructions and proofs, the result would contribute to motivic homotopy theory by furnishing a concrete example of an equivariant Milnor-Witt motive decomposition for a low-genus moduli space, potentially enabling comparisons with other motivic invariants and advancing computations in algebraic geometry.

major comments (1)

The manuscript consists solely of the one-sentence abstract with no definitions of the equivariant Milnor-Witt category, no explicit description of the decomposition, no equations, and no proof or sketch. This absence prevents any verification of the central claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We acknowledge the brevity of the current manuscript and will address the concerns by expanding it with the necessary details in the revised version.

read point-by-point responses

Referee: The manuscript consists solely of the one-sentence abstract with no definitions of the equivariant Milnor-Witt category, no explicit description of the decomposition, no equations, and no proof or sketch. This absence prevents any verification of the central claim.

Authors: We agree with this observation. The current version of the manuscript is indeed limited to the abstract statement. In the revised manuscript, we will include full definitions of the equivariant Milnor-Witt category, an explicit description of the decomposition, the relevant equations, and a detailed proof or sketch to allow for verification of the claim. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states it provides an explicit decomposition of the equivariant Milnor-Witt motive of the moduli space of stable curves overline M_{1,2}. No equations, parameter fits, self-citations, or ansatzes are exhibited that reduce the claimed decomposition to its own inputs by construction. The central result is presented as a direct computation within the category of equivariant Milnor-Witt motives, with no load-bearing step that renames a fitted quantity or imports uniqueness solely from prior self-work. The derivation chain is therefore independent of the target result and self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard framework of Milnor-Witt motives and their equivariant versions, which are taken as given from prior literature in motivic homotopy theory.

axioms (1)

domain assumption Equivariant Milnor-Witt motives exist and form a well-behaved category for moduli spaces of stable curves.
Invoked implicitly by the statement that a decomposition exists for overline M_{1,2}.

pith-pipeline@v0.9.0 · 5301 in / 1172 out tokens · 45204 ms · 2026-05-14T20:49:46.705203+00:00 · methodology

Review history (2 revisions) →

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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

Z(M1,2) ≅ Z(M1,1) ⊕ Th_{M1,1}(O(−1)) as Milnor–Witt motives (Theorem 20)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

gCH^*(M1,2) = gCH^*(M1,1) ⊕ gCH^{*−1}(M1,1, O(−1)) with explicit multiplication (Corollary 21)

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.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

Asok and J

A. Asok and J. Fasel, A cohomological classification of vector bundles on smooth affine threefolds , Duke

work page
[2]

Bachmann, The generalized slices of hermitian k-theory , Journal of Topology 10, no

T. Bachmann, The generalized slices of hermitian k-theory , Journal of Topology 10, no. 4, 1124–1144 (2017)

work page 2017
[3]

Bachmann, B

T. Bachmann, B. Calm\`es, F. D\'eglise, J. Fasel, P.\,A. stvaer, Milnor–Witt motives , Memoirs of the American Mathematical Society, Volume 311 Number 1572

work page
[4]

D\'eglise, Around the Gysin Triangle I , Regulators, volume 571 of Contemporary Mathematics (2012), pages 77-116

F. D\'eglise, Around the Gysin Triangle I , Regulators, volume 571 of Contemporary Mathematics (2012), pages 77-116

work page 2012
[5]

Edidin, W

D. Edidin, W. Graham, Equivariant intersection theory (With an Appendix by Angelo Vistoli: The Chow ring of $ M _2$) , Invent. Math., 131, 595-634, 1998

work page 1998
[6]

Fasel, The excess intersection formula for Grothendieck–Witt groups , Manuscripta Mathematica

J. Fasel, The excess intersection formula for Grothendieck–Witt groups , Manuscripta Mathematica. 130, 411-423 (2009)

work page 2009
[7]

Fasel, N

J. Fasel, N. Yang, On Tate Milnor-Witt motives , Annals of K-Theory Vol. 10, No. 2, pp. 153-187. 2025

work page 2025
[8]

A. D. Lorenzo, L. Mantovani, Equivariant Chow-Witt groups and moduli stacks of elliptic curves , Documenta Mathematica, 28, 315–368, 2023

work page 2023
[9]

A. D. Lorenzo, M. Pernice, A. Vistoli, Stable cuspidal curves and the integral Chow ring of $ M _ 2,1 $ , Geometry & Topology 28:6 (2024) 2915-2970

work page 2024
[10]

Massarenti, The automorphism group of M _ g,n , Journal of the London Mathematical Society, 89, 131-150, 2014

A. Massarenti, The automorphism group of M _ g,n , Journal of the London Mathematical Society, 89, 131-150, 2014

work page 2014
[11]

Mazza, V

C. Mazza, V. Voevodsky, C. Weibel, Lecture Notes on Motivic Cohomology , American Mathematical Society, Providence, RI, for the Clay Mathematics Institute, Cambridge, MA (2006)

work page 2006
[12]

Levine, Aspects of enumerative geometry with quadratic forms , Documenta Mathematica 25 (2020) 2179-2239

M. Levine, Aspects of enumerative geometry with quadratic forms , Documenta Mathematica 25 (2020) 2179-2239

work page 2020
[13]

Morel, V

F. Morel, V. Voevodsky, $ A ^1$-homotopy theory of schemes , Publications Math\'ematiques de l’I.H.\'E.S. no 90 (1999)

work page 1999
[14]

Knudsen, The projectivity of the moduli space of curves, II: The stacks $ M _ g,n $ , Math

F. Knudsen, The projectivity of the moduli space of curves, II: The stacks $ M _ g,n $ , Math. Scand 52, 161-199. 1983

work page 1983
[15]

Olsson, Algebraic spaces and stacks , American Mathematical Society, Province, Rhode Island, (2016)

M. Olsson, Algebraic spaces and stacks , American Mathematical Society, Province, Rhode Island, (2016)

work page 2016
[16]

Morphisms of Algebraic Stacks , Stacks Project, https://stacks.math.columbia.edu/download/stacks-morphisms.pdf

work page
[17]

Tavakol, The Chow ring of the moduli space of curves of genus zero , Journal of Pure and Applied Algebra, Volume 221, Issue 4, April 2017, Pages 757-772

M. Tavakol, The Chow ring of the moduli space of curves of genus zero , Journal of Pure and Applied Algebra, Volume 221, Issue 4, April 2017, Pages 757-772

work page 2017
[18]

Voevodsky, On motivic cohomology with $ Z /l$-coefficients , Annals of Mathematics, 174 (2011), 401-438

V. Voevodsky, On motivic cohomology with $ Z /l$-coefficients , Annals of Mathematics, 174 (2011), 401-438

work page 2011
[19]

Pushin, Steenrod operations in motivic cohomology , PhD thesis of Northwestern University, UMI Number: 3012058 (2001)

O. Pushin, Steenrod operations in motivic cohomology , PhD thesis of Northwestern University, UMI Number: 3012058 (2001)

work page 2001
[20]

Wendt, Chow-Witt rings of Grassmannians , Algebraic & Geometric Topology 24:1 (2024) 1-48

M. Wendt, Chow-Witt rings of Grassmannians , Algebraic & Geometric Topology 24:1 (2024) 1-48

work page 2024
[21]

Totaro, Group Cohomology and Algebraic Cycles Cambridge University Press, 2014

B. Totaro, Group Cohomology and Algebraic Cycles Cambridge University Press, 2014

work page 2014
[22]

Vakil, The moduli space of curves and its tautological ring , Notice of the AMS, Volume 50, Number 6, June/July 2003, 647-658

R. Vakil, The moduli space of curves and its tautological ring , Notice of the AMS, Volume 50, Number 6, June/July 2003, 647-658

work page 2003
[23]

Yang, Quaternionic projective bundle theorem and Gysin triangle in MW-motivic cohomology , Manuscripta Math

N. Yang, Quaternionic projective bundle theorem and Gysin triangle in MW-motivic cohomology , Manuscripta Math. 164 (2021), no. 1, 39--65

work page 2021
[24]

Yang, Projective bundle theorem in MW-motivic cohomology , Documenta Mathematica 26, 1045-1083, 2021

N. Yang, Projective bundle theorem in MW-motivic cohomology , Documenta Mathematica 26, 1045-1083, 2021

work page 2021
[25]

Yang, Split Milnor-Witt motives and its applications to fiber bundles , Cambridge Journal of Mathematics, Volume 10, Number 4, 935–1004, 2022

N. Yang, Split Milnor-Witt motives and its applications to fiber bundles , Cambridge Journal of Mathematics, Volume 10, Number 4, 935–1004, 2022

work page 2022