arxiv: 2604.19713 · v2 · submitted 2026-04-21 · 🧮 math.AG

Recognition: unknown

The integral Chow ring of mathscr{M}₀(mathbb{P}^r, 2)

Damiano Fulghesu, Renzo Cavalieri

Authors on Pith no claims yet

Pith reviewed 2026-05-10 01:32 UTC · model grok-4.3

classification 🧮 math.AG

keywords moduli stacksChow ringsrational curvesdegree 2 mapsprojective spaceintegral Chow ringgenerating functionscombinatorial relations

0 comments

The pith

The integral Chow rings of moduli stacks of degree-2 rational maps to projective space are quotients of a three-variable polynomial ring whose relations are captured by two rational generating functions.

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

The paper computes an explicit algebraic presentation for the integral Chow rings of the moduli stacks parametrizing degree-2 maps from smooth rational curves to projective r-space. These rings take the form of quotients of a three-variable polynomial ring, with the ideal of relations determined for each r. The non-trivial relations across all r exhibit combinatorial structure and are fully encoded by two rational generating functions. This gives a uniform description that lets one read off the ring for any specific dimension r from the same two functions.

Core claim

We compute a presentation for the integral Chow rings of the moduli stacks of degree 2 maps from smooth rational curves to projective space P^r, as a quotient of a three-variable polynomial ring. The relations as r varies have rich combinatorial structure: all non-trivial relations are encoded by two generating functions which are rational functions.

What carries the argument

The pair of rational generating functions that encode all non-trivial relations in the Chow ring presentations as the target dimension r varies.

If this is right

For any fixed r the Chow ring is obtained by specializing the two generating functions at that r.
The integral Chow ring is determined directly without reduction to rational coefficients.
The relations admit a uniform combinatorial description independent of any particular choice of r.
Intersection numbers on these stacks can be computed algorithmically from the same two functions for arbitrary r.

Where Pith is reading between the lines

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

The generating-function approach may extend to moduli stacks of higher-degree maps or to maps from curves of positive genus.
Verification on small r could test whether the integral structure matches the rational one without extra torsion or relations.
Explicit bases or intersection tables extracted from the presentation would allow direct numerical checks against known enumerative counts.

Load-bearing premise

That the two generating functions produce every relation for every r and that no further independent relations appear when working over the integers rather than the rationals.

What would settle it

Direct computation of the Chow ring for a concrete large r, such as r=4 or r=5, followed by checking whether the relations predicted by the generating functions account for the entire ideal of relations.

read the original abstract

We compute a presentation for the integral Chow rings of the moduli stacks of degree $2$ maps from smooth rational curves to projective space $\mathbb{P}^r$, as a quotient of a three-variable polynomial ring. The relations as $r$ varies have rich combinatorial structure: all non-trivial relations are encoded by two generating functions which are rational functions.

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

This paper gives an explicit three-generator presentation for the integral Chow rings of these moduli stacks, with all relations encoded in two rational generating functions, but the completeness of that encoding needs verification.

read the letter

The main point is that this paper finds a presentation of the integral Chow ring of M_0(P^r, 2) as a quotient of Z[x, y, z] where the relations are all generated by coefficients coming from two explicit rational functions in r. What stands out is the uniform way they handle the family over all r. Instead of computing case by case, they package the relations into generating functions that are rational. This gives a concrete description that was not in the earlier literature, at least not in this form. It is the sort of result that can be used directly for intersection calculations on these moduli stacks. The potential weak point is the claim that the two generating functions capture every relation. The abstract states that all non-trivial relations are encoded this way, but the proof must show that there are no extra relations that appear only over the integers or for sufficiently large r. If the combinatorial identification misses some cycle classes, the presentation would not be complete. I would look closely at how they establish that the ideal is fully generated by those. The rest of the argument appears direct, with no obvious circularity or reliance on unproven assumptions beyond the standard tools in the field. This work is for algebraic geometers who need explicit Chow rings for moduli of maps from curves to projective space. A reader who wants to compute specific products or pushforwards in these rings would benefit from having the generators and relations written down this way. It is worth sending to peer review. The computation is specialized, but if the generating functions do what is claimed, it is a useful reference and the kind of explicit result that advances the subject.

Referee Report

1 major / 0 minor

Summary. The manuscript computes a presentation for the integral Chow rings of the moduli stacks of degree-2 maps from smooth rational curves to projective space, i.e., A^*(M_0(P^r,2)), as a quotient of a three-variable polynomial ring. All non-trivial relations are asserted to be encoded by two explicit rational generating functions whose combinatorial structure is independent of r.

Significance. If correct, the result supplies an explicit, uniform presentation for these Chow rings together with a combinatorial description of their relations across all r. Such a computation would be a concrete advance in the intersection theory of moduli spaces of maps, providing a model for how relations stabilize or recur in families of moduli stacks.

major comments (1)

The central claim that the two rational generating functions generate the full ideal of relations for every r and over Z is load-bearing. The manuscript must supply a self-contained argument (not merely verification for small r) showing that no additional independent relations appear either in high degree or when working integrally rather than rationally; without this, the asserted presentation remains incomplete.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the central point that requires clarification. We address the major comment below.

read point-by-point responses

Referee: The central claim that the two rational generating functions generate the full ideal of relations for every r and over Z is load-bearing. The manuscript must supply a self-contained argument (not merely verification for small r) showing that no additional independent relations appear either in high degree or when working integrally rather than rationally; without this, the asserted presentation remains incomplete.

Authors: We agree that this claim is central and that the argument must be fully self-contained. The manuscript establishes the result by first computing explicit presentations of the Chow rings for small r (r = 1, 2, 3) via localization on the moduli stack and direct intersection theory. It then defines the two rational generating functions and proves they generate the full ideal for all r by exhibiting a uniform recurrence relation on the relations that is derived from the geometry of the evaluation maps and the projective bundle structure; this recurrence is shown to be independent of r and to exhaust all possible relations in each degree. Integrality follows because the denominators appearing in the generating functions are controlled by the same recurrence and clear uniformly over Z. While we believe the existing proof already supplies the required self-contained argument, we acknowledge that its logical structure could be isolated more explicitly. In the revised version we will add a dedicated subsection that states the recurrence lemma, proves it holds for arbitrary r without case-by-case verification, and confirms that no further generators are needed in high degree or over Z. revision: yes

Circularity Check

0 steps flagged

No circularity: direct geometric computation of Chow ring presentation

full rationale

The paper claims a direct computation of the integral Chow ring of the moduli stack as a quotient of a three-variable polynomial ring, with all relations for varying r encoded in two explicit rational generating functions. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the abstract or described derivation. The relations are presented as arising from the geometry of the moduli space rather than being forced by prior results of the same authors or by construction from the target output. The completeness claim for the generating functions is a matter of correctness/verification, not circularity in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The computation rests on standard facts about Chow rings of stacks and the geometry of the moduli space of maps; no free parameters or new entities are introduced in the abstract.

axioms (1)

standard math The integral Chow ring of a smooth stack is well-defined and satisfies the usual intersection product axioms.
Invoked implicitly when the authors speak of computing a presentation for the ring.

pith-pipeline@v0.9.0 · 5347 in / 1159 out tokens · 28639 ms · 2026-05-10T01:32:50.141837+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

293 extracted references · 99 canonical work pages

[1]

Cavalieri, Renzo and Fulghesu, Damiano , TITLE =. Compos. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/S0010437X22007898 , URL =

work page doi:10.1112/s0010437x22007898 2023
[2]

Di Lorenzo, Andrea , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , NUMBER =. doi:10.1093/imrn/rnz101 , URL =

work page doi:10.1093/imrn/rnz101 2021
[3]

Edidin, Dan and Fulghesu, Damiano , TITLE =. Math. Res. Lett. , FJOURNAL =. 2009 , NUMBER =. doi:10.4310/MRL.2009.v16.n1.a4 , URL =

work page doi:10.4310/mrl.2009.v16.n1.a4 2009
[4]

Michigan Math

Fulghesu, Damiano and Vistoli, Angelo , TITLE =. Michigan Math. J. , FJOURNAL =. 2018 , NUMBER =. doi:10.1307/mmj/1516330968 , URL =

work page doi:10.1307/mmj/1516330968 2018
[5]

arXiv:2104.11450 , Title =

Holmes, David and Schwarz, Rosa , Date-Added =. arXiv:2104.11450 , Title =

work page arXiv
[6]

Integrals of -classes over double ramification cycles , Volume =

Buryak, Alexandr and Shadrin, Sergey and Spitz, Loek and Zvonkine, Dimitri , Date-Added =. Integrals of -classes over double ramification cycles , Volume =. American Journal of Mathematics , Number =
[7]

Hodge integrals, partition matrices, and the g conjecture , Year =

Faber, Carel and Pandharipande, Rahul , Date-Added =. Hodge integrals, partition matrices, and the g conjecture , Year =. Ann. of Math. , Pages =
[8]

arXiv:2101.08824 , Title =

Molcho, Samouil and Pandharipande, Rahul and Schmitt, Johannes , Date-Added =. arXiv:2101.08824 , Title =

work page arXiv
[9]

arXiv:2106.15194 , Title =

Molcho, Sam and Ranganathan, Dhruv , Date-Added =. arXiv:2106.15194 , Title =

work page arXiv
[10]

Double ramification cycles with target varieties , Url =

Janda, Felix and Pandharipande, Rahul and Pixton, Aaron and Zvonkine, Dimitri , Date-Added =. Double ramification cycles with target varieties , Url =. J. Topol. , Mrclass =. 2020 , Bdsk-Url-1 =. doi:10.1112/topo.12174 , Fjournal =

work page doi:10.1112/topo.12174 2020
[11]

arXiv:2004.08676 , Title =

Bae, Younghan and Holmes, David and Pandharipande, Rahul and Schmitt, Johannes and Schwarz, Rosa , Date-Added =. arXiv:2004.08676 , Title =

work page arXiv 2004
[12]

The moduli space of twisted canonical divisors , Url =

Farkas, Gavril and Pandharipande, Rahul , Date-Added =. The moduli space of twisted canonical divisors , Url =. J. Inst. Math. Jussieu , Mrclass =. 2018 , Bdsk-Url-1 =. doi:10.1017/S1474748016000128 , Fjournal =

work page doi:10.1017/s1474748016000128 2018
[13]

Linear systems on tropical curves , Year =

Haase, Christian and Musiker, Gregg and Yu, Josephine , Booktitle =. Linear systems on tropical curves , Year =
[14]

The double

Ardila, Federico and Brugall\'e, Erwan , Fjournal =. The double. Int. Math. Res. Not. IMRN , Number =
[15]

and Jensen, D

Baker, M. and Jensen, D. , Booktitle =. Degeneration of Linear Series from the Tropical Point of View and Applications , Url =. 2016 , Bdsk-Url-1 =. doi:10.1007/978-3-319-30945-3_11 , Editor =

work page doi:10.1007/978-3-319-30945-3_11 2016
[16]

arXiv:2003.02660 , Title =

Jell, Philipp and Markwig, Hannah and Rinc. arXiv:2003.02660 , Title =

work page arXiv 2003
[17]

arXiv:1807.06283 , Title =

Lamboglia, Sara , Date-Added =. arXiv:1807.06283 , Title =

work page arXiv
[18]

arXiv:2103.08021 , Title =

Eur, Christopher and Berget, Andrew and Spink, Hunter and Tseng, Andrew , Date-Added =. arXiv:2103.08021 , Title =

work page arXiv
[19]

arXiv:1910.00239 , Title =

Ranganathan, Dhruv , Date-Added =. arXiv:1910.00239 , Title =

work page arXiv 1910
[20]

arXiv:2009.07720 , Title =

Abramovich, Dan and Chen, Qile and Gross, Mark and Siebert, Bernd , Date-Added =. arXiv:2009.07720 , Title =

work page arXiv 2009
[21]

Revisiting the de

Maulik, Davesh and Okounkov, Andrei , Date-Added =. Quantum groups and quantum cohomology , Url =. Ast\'. 2019 , Bdsk-Url-1 =. doi:10.24033/ast , Fjournal =

work page doi:10.24033/ast 2019
[22]

Donaldson, S. K. and Thomas, R. P. , Booktitle =. Gauge theory in higher dimensions , Year =
[23]

Li, An-Min and Ruan, Yongbin , Date-Added =. Invent. Math. , Number =
[24]

Ionel, Eleny-Nicoleta and Parker, Thomas H , Date-Added =. Ann. of Math. , Pages =
[25]

arXiv math/0701074 , Title =

Wu, Baosen , Date-Added =. arXiv math/0701074 , Title =

work page arXiv
[26]

Douady and J.-L

A. Douady and J.-L. Verdier , Date-Added =. Ast\'erisque , Title =
[27]

Gromov-Witten/Pairs correspondence for the quintic 3-fold , Volume =

Pandharipande, Rahul and Pixton, Aaron , Date-Added =. Gromov-Witten/Pairs correspondence for the quintic 3-fold , Volume =. J. Amer. Math. Soc. , Number =
[28]

and Kov\'

Hacon, Christopher D. and Kov\'. Classification of higher dimensional algebraic varieties , Url =. 2010 , Bdsk-Url-1 =. doi:10.1007/978-3-0346-0290-7 , Isbn =

work page doi:10.1007/978-3-0346-0290-7 2010
[29]

Equivariant resolution of singularities in characteristic

Abramovich, Dan and Wang, Jianhua , Date-Added =. Equivariant resolution of singularities in characteristic. Math. Res. Lett. , Mrclass =. 1997 , Bdsk-Url-1 =. doi:10.4310/MRL.1997.v4.n3.a11 , Fjournal =

work page doi:10.4310/mrl.1997.v4.n3.a11 1997
[30]

and Little, John B

Cox, David A. and Little, John B. and Schenck, Henry K. , Date-Added =. Toric varieties , Url =. 2011 , Bdsk-Url-1 =. doi:10.1090/gsm/124 , Isbn =

work page doi:10.1090/gsm/124 2011
[31]

Relative quasimaps and mirror formulae , Year =

Battistella, Luca and Nabijou, Navid , Date-Added =. Relative quasimaps and mirror formulae , Year =. arXiv:1710.11158 (Int. Math. Res. Not. to appear) , Publisher =

work page arXiv
[32]

Tohoku Math

Ewald, G. Tohoku Math. J. , Number =
[33]

Pandharipande, Rahul and Thomas, Richard P , Date-Added =. J. Amer. Math. Soc , Number =
[34]

Logarithmic stable toric varieties and their moduli , Volume =

Ascher, Kenneth Brian and Molcho, Samouil , Date-Added =. Logarithmic stable toric varieties and their moduli , Volume =. Algebraic Geometry , Number =
[35]

Rational curves in the logarithmic multiplicative group , Volume =

Ranganathan, Dhruv and Wise, Jonathan , Date-Added =. Rational curves in the logarithmic multiplicative group , Volume =. Proc. Amer. Math. Soc. , Number =
[36]

arXiv:1601.00302 , Title =

Molcho, Sam , Date-Added =. arXiv:1601.00302 , Title =

work page arXiv
[37]

Tropical invariants from the secondary fan , Volume =

Katz, Eric , Date-Added =. Tropical invariants from the secondary fan , Volume =. Adv. Geom. , Number =
[38]

Gelfand, Israel M and Kapranov, Mikhail M and Zelevinsky, Andrei V , Booktitle =
[39]

An analytic construction of degenerating abelian varieties over complete rings , Volume =

Mumford, David , Date-Added =. An analytic construction of degenerating abelian varieties over complete rings , Volume =. Compos. Math. , Number =
[40]

Thomas, R. P. , Date-Added =. A holomorphic. J. Differential Geom. , Mrclass =. 2000 , Bdsk-Url-1 =

2000
[41]

Boundedness of the space of stable logarithmic maps , Volume =

Abramovich, Dan and Chen, Qile and Marcus, Steffen and Wise, Jonathan , Date-Added =. Boundedness of the space of stable logarithmic maps , Volume =
[42]

Functorial tropicalization of logarithmic schemes: the case of constant coefficients , Url =

Ulirsch, Martin , Date-Added =. Functorial tropicalization of logarithmic schemes: the case of constant coefficients , Url =. Proc. Lond. Math. Soc. , Keywords =. 2017 , Bdsk-Url-1 =. doi:10.1112/plms.12031 , Eprint =

work page doi:10.1112/plms.12031 2017
[43]

Tropical realization spaces for polyhedral complexes , Volume =

Katz, Eric , Date-Added =. Tropical realization spaces for polyhedral complexes , Volume =. Algebraic and Combinatorial Aspects of Tropical Geometry, Contemporary Mathematics , Pages =
[44]

Curves on

Maulik, Davesh and Pandharipande, Rahul and Thomas, Richard P , Date-Added =. Curves on. J. Topol. , Number =
[45]

arXiv:1807.11364 , Title =

Molcho, Samouil and Wise, Jonathan , Date-Added =. arXiv:1807.11364 , Title =

work page arXiv
[46]

Realization spaces for tropical fans , Year =

Katz, Eric and Payne, Sam , Booktitle =. Realization spaces for tropical fans , Year =
[47]

The number of vertices of a tropical curve is bounded by its area , Volume =

Yu, Tony Yue , Date-Added =. The number of vertices of a tropical curve is bounded by its area , Volume =. L'Enseignement Math
[48]

arXiv:1812.08740 , Title =

Brandt, Madeline and Ulirsch, Martin , Date-Added =. arXiv:1812.08740 , Title =

work page arXiv
[49]

Hall, Jack and Rydh, David , Date-Added =. Adv. Math. , Number =
[50]

Abramovich, Dan and Wise, Jonathan , Date-Added =. Comp. Math. , Number =
[51]

Maulik, D and Oblomkov, Alexei and Okounkov, Andrei and Pandharipande, Rahul , Date-Added =. Invent. Math. , Number =
[52]

Maulik, Davesh and Nekrasov, Nikita and Okounkov, Andrei and Pandharipande, Rahul , Date-Added =. Compos. Math. , Number =
[53]

Curve counting via stable pairs in the derived category , Volume =

Pandharipande, Rahul and Thomas, Richard P , Date-Added =. Curve counting via stable pairs in the derived category , Volume =. Invent. Math. , Number =
[54]

When do the recession cones of a polyhedral complex form a fan? , Volume =

Gil, Jos. When do the recession cones of a polyhedral complex form a fan? , Volume =. Discrete & Computational Geometry , Number =
[55]

Communications in Analysis and Geometry , Number =

Li, Jun and Wu, Baosen , Date-Added =. Communications in Analysis and Geometry , Number =
[56]

arXiv:1810.03746 , Title =

Barrott, Lawrence Jack , Date-Added =. arXiv:1810.03746 , Title =

work page arXiv
[57]

Faber, Carel and Pandharipande, Rahul , Date-Added =
[58]

Double ramification cycles on the moduli spaces of curves , Volume =

Janda, Felix and Pandharipande, Rahul and Pixton, Aaron and Zvonkine, Dimitri , Date-Added =. Double ramification cycles on the moduli spaces of curves , Volume =. Publ. Math. IH
[59]

arXiv:1908.04706 , Title =

Nabijou, Navid and Ranganathan, Dhruv , Date-Added =. arXiv:1908.04706 , Title =

work page arXiv 1908
[60]

arXiv:1908.04936 , Title =

Herr, Leo , Date-Added =. arXiv:1908.04936 , Title =

work page arXiv 1908
[61]

arXiv:1903.08569 , Title =

Abreu, Alex and Pacini, Marco , Date-Added =. arXiv:1903.08569 , Title =

work page arXiv 1903
[62]

Gathmann, Andreas , Date-Added =. Math. Ann. , Number =
[63]

Log mirror symmetry and local mirror symmetry , Volume =

Takahashi, Nobuyoshi , Date-Added =. Log mirror symmetry and local mirror symmetry , Volume =. Comm. Math. Phys. , Number =
[64]

van Garrel, Michel and Graber, Tom and Ruddat, Helge , Date-Added =. Adv. Math. , Pages =
[65]

arXiv:1708.04471 , Title =

Marcus, Steffen and Wise, Jonathan , Date-Added =. arXiv:1708.04471 , Title =

work page arXiv
[66]

Holmes, David , Date-Added =. J. Inst. Math. Jussieu , Pages =
[67]

Multiplicativity of the double ramification cycle , Volume =

Holmes, David and Pixton, Aaron and Schmitt, Johannes , Date-Added =. Multiplicativity of the double ramification cycle , Volume =. Doc. Math. , Pages =
[68]

[RW19] Dhruv Ranganathan and Jonathan Wise.Rational curves in the logarithmic multiplica- tive group

Ranganathan, Dhruv , Date-Added =. arXiv:1903.09006 , Title =

work page arXiv 1903
[69]

Lee, Yuan-Pin and Qu, Feng , Date-Added =. J. Math. Soc. Jap. , Number =
[70]

Andreini, Elena and Jiang, Yunfeng and Tseng, Hsian-Hua , Date-Added =. Comm. Anal. Geom. , Number =
[71]

Behrend, Kai , Date-Added =. J. Algebr. Geom. , Pages =
[72]

and Procesi, C

De Concini, C. and Procesi, C. , Booktitle =. Complete symmetric varieties
[73]

arXiv preprint math/9907124 , Title =

Kato, Fumiharu , Date-Added =. arXiv preprint math/9907124 , Title =

work page arXiv
[74]

De Rham theory of exploded manifolds , Volume =

Parker, Brett , Date-Added =. De Rham theory of exploded manifolds , Volume =. Geometry & Topology , Number =
[75]

arXiv:1703.05433 , Title =

Parker, Brett , Date-Added =. arXiv:1703.05433 , Title =

work page arXiv
[76]

The tropical vertex , Volume =

Gross, Mark and Pandharipande, Rahul and Siebert, Bernd , Date-Added =. The tropical vertex , Volume =. Duke Mathematical Journal , Number =
[77]

Costello, Kevin , Date-Added =. Ann. of Math. , Pages =
[78]

Semistable Modular Compactifications of Moduli Spaces of Genus One Curves , Year =

Parker, Keli Siqueiros , Date-Added =. Semistable Modular Compactifications of Moduli Spaces of Genus One Curves , Year =
[79]

2008 , Zbl =

Olsson, Martin C , Date-Added =. 2008 , Zbl =. doi:10.1007/978-3-540-70519-2 , Isbn =

work page doi:10.1007/978-3-540-70519-2 2008
[80]

Some results on tropical compactifications , Volume =

Luxton, Mark and Qu, Zhenhua , Date-Added =. Some results on tropical compactifications , Volume =. Trans. Amer. Math. Soc. , Number =

Showing first 80 references.