REVIEW 4 major objections 6 minor 40 references
Irreducible components of moduli spaces of maps to smooth projective toric varieties in genus 0
T0 review · 4 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper proves that irreducible components of genus-0 stable maps to smooth projective toric varieties are classified by finite decorated trees.
desk verdict A genuinely new combinatorial criterion for irreducible components, but the flagship example has a concrete dimension error that needs correction before the applications are credible. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is a general theorem about abelian cones: if $\mathcal{B}$ is a smooth Noetherian Artin stack and $\mathcal{F}$ a coherent sheaf on it, then after stratifying $\mathcal{B}$ by locally closed irreducible strata on which the rank of $\mathcal{F}$ is constant, the irreducible components of $\operatorname{Spec}_{\mathcal{B}}\operatorname{Sym}(\mathcal{F})$ are the preimages of strata whose rank-minus-codimension invariant is maximal among the strata they contain. The paper applies this with $\mathcal{B}=\mathcal{P}\mathrm{ic}^{\mathrm{st}}_{0,n,X,\beta,\sigma}$, a product of Picard stacks over prestable genus-zero curves, and with $\mathcal{F}$ the direct sum of $R^1$ pushforwards of dual universal line bundles. The strata are labelled by stable decorated marked trees, which record the dual graph of the curve, a curve class at each vertex, and the marked points. On each stratum the relevant invariant becomes the combinatorial number $d_{\mathcal{G}}$, so the component-finding problem reduces to comparing these numbers under edge contractions.
What would settle it
For a small toric example, enumerate all stable decorated trees, compute $d_{\mathcal{G}}$ by $h^0$ on $\mathbb{P}^1$, and independently compute the irreducible components of $\overline{\mathcal{M}}_{0,n}(X,\beta)$ by a different method; a concrete test is the claimed decomposition of $\overline{\mathcal{M}}_{0,0}(\mathrm{Bl}_{\mathrm{pt}}\mathbb{P}^2,2\ell)$, where $\overline{\mathcal{M}}_{\mathcal{G}_1}$ must be a genuinely non-empty second 7-dimensional component not contained in the main component.
Extended reading notes
Core claim
The central claim is Theorem A: for a smooth projective toric variety $X$ and an effective curve class $\beta$, the irreducible components of $\overline{\mathcal{M}}_{0,n}(X,\beta)$ are exactly the closures $\overline{\mathcal{M}}_{\mathcal{G}}$ with $\mathcal{G}\in\Gamma^{\mathrm{st}}_{0,n}(X,\beta)$ such that $\mathcal{M}_{\mathcal{G}}\neq\emptyset$ and $d_{\mathcal{G}}\ge d_{\mathcal{G}'}$ whenever $\mathrm{Pic}_{\mathcal{G}}\subseteq\mathrm{Pic}_{\mathcal{G}'}$. The inclusion of Picard strata holds precisely when $\mathcal{G}'$ is obtained from $\mathcal{G}$ by contracting edges. The number $d_{\mathcal{G}}$ is the excess of the total $h^0$ of the relevant line bundles over the constant value on smooth genus-zero curves, minus the number of edges of the dual graph, so the theorem converts the geometric component problem into finitely many $h^0$ computations on $\mathbb{P}^1$.
Load-bearing premise
The classification rests on the previously established open embedding $\overline{\mathcal{M}}_{0,n}(X,\beta)\hookrightarrow S$ taken as a black box: if that embedding were not open in the abelian cone, the irreducible components of the moduli space would not be obtained by intersecting the cone's components, and the main theorem would not follow.
Editorial extensions
If this is right
- For any fixed toric $X$ and class $\beta$, listing the irreducible components of $\overline{\mathcal{M}}_{0,n}(X,\beta)$ becomes a finite enumeration of decorated trees followed by $h^0$ comparisons; only non-emptiness of the corresponding map loci remains a genuine geometric check.
- For $X=\mathrm{Bl}_{\mathrm{pt}}\mathbb{P}^2$ and $\beta=2\ell$, the space has exactly two components, both of dimension 7, and the paper describes the generic point of their intersection.
- For $\beta=3\ell$, the space has five components, four of dimension 8 and one of dimension 9, so an extra component can be strictly larger than the main component.
- The same combinatorial criterion, with a modified stability condition on trees, describes the irreducible components of genus-0 stable quasimaps to toric varieties.
- In the two-marked degree $2\ell$ blow-up example, the locus where the contraction morphism from maps to quasimaps is defined is a union of irreducible components, and the paper records where each component is sent.
Reading between the lines
- Beyond the paper: the proof of the abelian-cone component theorem does not use genus zero or toricity, so the same rank-stratification strategy may extend to higher genus or other targets whenever an analogous open embedding into an abelian cone exists; the paper does not establish such an extension.
- Beyond the paper: if Theorem A is correct, the component classification is algorithmically computable, and the only non-combinatorial bottleneck in each example is the non-emptiness condition $\mathcal{M}_{\mathcal{G}}\neq\emptyset$.
- Beyond the paper: the $3\ell$ example, with an extra component of dimension 9, suggests that genus-zero Gromov-Witten invariants of toric varieties may split into contributions from individual components; deriving such a splitting would be a natural next step that the paper leaves open.
- Beyond the paper: repeating the enumeration on another toric surface or on larger degrees, such as $\beta=4\ell$ for $\mathrm{Bl}_{\mathrm{pt}}\mathbb{P}^2$, would provide a direct computational test of the criterion.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a combinatorial description of the irreducible components of the moduli space of genus-0 stable maps to a smooth projective toric variety X. The main theorem (Theorem A, Theorem 5.4.2) states that the irreducible components are the closures of the loci M_GGG indexed by stable decorated marked trees GGG satisfying two conditions: the locus is nonempty, and a numerical inequality d_GGG >= d_GGG' holds for every edge-contraction GGG' of GGG. This is deduced from a general structure theorem (Theorem D) for irreducible components of an abelian cone over a smooth Noetherian Artin stack, applied to the cone S_{0,n,X,beta,sigma} containing M_{0,n}(X,beta) as an open substack. The paper also gives applications to M_{0,0}(Bl_p P^2, 2l) and M_{0,0}(Bl_p P^2, 3l), to quasimaps, and to the contraction morphism of [CR24].
Significance. If the main theorem is correct, it gives a genuinely combinatorial and checkable criterion for irreducible components of genus-0 stable map spaces to toric varieties, extending the projective-space story and providing a framework that could be used for Gromov-Witten/quasimap comparisons. The general abelian-cone theorem, proved via Nakayama-type dimension bounds and an elementary topological lemma, is a useful stand-alone result. The paper is largely self-contained in its central derivation, with the main external input being the open embedding of the stable map space into the abelian cone. However, the worked examples contain concrete numerical errors and rely on several unchecked computations; these problems do not by themselves disprove Theorem A but they make the applications unreliable as currently written.
major comments (4)
- [Sections 6.3 and 6.4] The claimed dimensions in Theorem 6.3.1 are inconsistent with the paper's own setup. For X=Bl_pP^2 we have K_X=-3l+e, so the virtual dimension of M_{0,0}(X,2l) is (-K_X).(2l)+(dim X-3)=6-1=5, not 7. The abelian-cone computation in Sections 6.2-6.3 gives the same value: for sigma=sigma_{0,2}, the base Pic^st_{0,0,X,2l,sigma} has dimension -3-2=-5, and the generic rank of F is h^0(2)+h^0(2)+h^0(2)+h^0(0)=3+3+3+1=10, hence dim S_GGG0 = -5+10 = 5. The equality in the proof with dim M_{0,0}(P^2,2) is also false, since that space has dimension 2(2+1)+2-3=5, not 7. The stated dimension 7 for M_GGG0 and M_GGG1 in Theorem 6.3.1 should be corrected to 5, and the subsequent uses of this dimension should be rechecked.
- [Sections 6.3 and 6.4] The numerical verification of the inequalities d_GGG >= d_GGG' is the load-bearing content of the examples, but almost all of it is deferred to 'one can check' statements. For instance, after Lemma 6.3.2 the text says 'For i in {2,3,4}, one can check that d_GGGi - d_GGG0 < 0', and in Section 6.4 it says 'One can compute that d_GGG2 - d_GGG0 = 1 and d_GGGi - d_GGG0 = 0 for all other graphs in Figure 6'. These are finite but nontrivial computations of h^0 of line bundles on reducible genus-0 curves and of the edge-contraction poset. The paper should provide the actual values, for example a table listing h^0(GGG,L_rho), i_GGG, #E(GGG), and d_GGG-d_GGG0 for every graph in Table 2 and Figure 6, together with the contraction relations. The dimension error in Theorem 6.3.1 shows that the numerical assertions in this section are not reliable as they stand.
- [Sections 3.3 and 6.1] The definition of Airred_1(X) in Section 6.1 and its use in Section 6 are not mathematically precise. The text defines Airred_1(X) as the set of classes 'that can be represented by an irreducible curve' and asserts the equality Airred_1(X)=Z_{\ge0}e \cup (Z_{\ge0}s+Z_{\ge0}l). As written, this equality is false: 2s and 2e are not classes of irreducible curves (for 2s, adjunction gives 2p_a-2=(2s)^2+K_X.(2s)=-4, so p_a=-1). What is evidently intended is that a class such as 2s is allowed because it is the pushforward of a degree-2 cover of an irreducible curve of class s. This distinction matters because the condition M_GGG nonempty in Theorem 5.4.2 is controlled by the 'irreducible' decorated trees of Definition 3.3.5. Please state the intended definition precisely and prove the characterization used to enumerate Table 2 and Figure 6.
- [Section 5.2, Equation (37)] Theorem 5.4.2 depends on the open embedding M_{0,n}(X,beta) \hookrightarrow S_{0,n,X,beta,sigma} in Equation (37). The paper cites [CL12] but does not state the precise hypotheses or verify that the stability condition in Equation (26) is equivalent to the stability of the corresponding stable maps. Since the component criterion would collapse if this embedding were not open, the paper should either prove this toric case using Cox's presentation, or give a precise reference containing the statement for smooth projective toric targets. As it stands, this is a central black box in the proof of Theorem A.
minor comments (6)
- [Theorem 6.4.1] The statement says 'with GGG0,...,GGG4 in Gamma^st_{0,0}(Bl_pP^2,2l)' but the theorem is about 3l; this should be corrected.
- [Figure 6 caption] The caption refers to 'Bl_pP^3' but the target throughout Section 6.4 is Bl_pP^2.
- [Introduction, Section 1.3 and Section 1.4] There are repeated misstatements that Section 6.4 describes components of M_{0,0}(Bl_pP^2,2l); the passage should refer to 3l.
- [Proof of Theorem 6.3.1] The equality dim M_GGG0 = dim M_{0,0}(P^2,2) is a typo if the intended space is M_{0,0}(Bl_pP^2,2l); as written it is false and should be corrected.
- [Remark 5.3.5] The remark begins 'As in Remark 5.3.5', which is a self-reference; it should refer to the preceding remark or to Notation 5.3.1.
- [Table 2] The last column uses an unexplained symbol (printed as 'Ę') for inclusions; the entry for GGG8 appears to conflict with the surrounding text and should be clarified.
Circularity Check
No significant circularity: the component criterion is derived from an independent rank/codimension computation and external open-embedding result, with no fitted parameter serving as a prediction.
full rationale
The central derivation is self-contained rather than circular. Theorem 2.0.17, which controls irreducible components of abelian cones, is proved from Proposition 2.0.9 (Nakayama's lemma) and Lemma 2.0.10 (elementary topology), with no target-specific input. The stratification of the Picard stack by decorated dual trees is independent combinatorial data, and the numbers d_Γ in Equation (44) are computed as generic rank minus codimension, i.e., from h^0 values of line bundles on P^1 via Lemma 3.2.12; they are not fitted to the moduli space whose components are being described. The bridge to stable maps, the open embedding M_{0,n}(X,β) ⊆ S_{0,n,X,β,σ} in Equation (37), is cited to [CL12], an external published result, not to the authors' own prior work, so it does not constitute a self-citation chain even though it is black-boxed. The self-citations to [CR24] appear in Remark 3.3.2, where the fact is also supported by [CLS11], and in Section 7, which concerns the contraction morphism and is ancillary to Theorem A; Section 7's claims are not used to prove the main component criterion. No parameter is fitted to a subset of data and then renamed as a prediction, and no uniqueness theorem from the authors' prior work is invoked to force the choice of components. The apparent inconsistency in the claimed dimension 7 for M_{0,0}(P^2,2) versus the standard expected dimension 5 is a numerical or correctness concern, not an instance of circularity, because the paper asserts this dimension as an external benchmark rather than deriving it from a fitted input.
Assumptions & free parameters
assumptions (4)
- domain assumption Cox's quotient description of a smooth toric variety X as line bundle-section pairs (Proposition 5.1.1).
- domain assumption Open embedding of M_{0,n}(X,beta) into the abelian cone S via the non-degeneracy condition (Equation 37).
- standard math Smoothness and Noetherianity of the Picard stack Pic^st and the dimension bound for abelian cones (Proposition 2.0.9).
- domain assumption Assumption 3.1.4: 3d+n-2 > 0 for the single-line-bundle Picard stack.
Cite this review
Pith. "Pith review of Irreducible components of moduli spaces of maps to smooth projective toric varieties in genus 0." pith.science (2026). https://pith.science/paper/DP6YYOE3
@misc{pith2026250616221,
author = {Pith},
title = {Pith review of: Irreducible components of moduli spaces of maps to smooth projective toric varieties in genus 0},
year = {2026},
howpublished = {\url{https://pith.science/paper/DP6YYOE3}},
note = {Machine review of arXiv:2506.16221}
}
abstract
We give a combinatorial description of the irreducible components of the moduli space $\overline{\mathcal{M}}_{0,n}(X,\beta)$ for a smooth projective toric variety $X$. The result is based on the study of the irreducible components of an abelian cone over a smooth Noetherian Artin stack. We give concrete applications of the result including $\overline{\mathcal{M}}_{0,0}(Bl_{pt} \mathbb{P}^2,2\ell)$, where we also describe the main component. This is the first example where the smoothable locus of $\overline{\mathcal{M}}_{g,n}(X,\beta)$ is described for $X$ not a projective space.
Figures
Figures from the paper (5 more)
Reference graph
Works this paper leans on
-
[1]
A geographical study of \( M _2 ( P ^2, 4 )^ main \)
Luca Battistella and Francesca Carocci. A geographical study of \( M _2 ( P ^2, 4 )^ main \) . Adv. Geom. , 22(4):463--480, 2022
work page 2022
-
[2]
A smooth compactification of the space of genus two curves in projective space: via logarithmic geometry and Gorenstein curves
Luca Battistella and Francesca Carocci. A smooth compactification of the space of genus two curves in projective space: via logarithmic geometry and Gorenstein curves. Geom. Topol. , 27(3):1203--1272, 2023
2023
-
[3]
Virtual classes for the working mathematician
Luca Battistella, Francesca Carocci, and Cristina Manolache. Virtual classes for the working mathematician. SIGMA Symmetry Integrability Geom. Methods Appl. , 16:Paper No. 026, 38, 2020
work page 2020
-
[4]
Higher genus quasimap wall-crossing for semipositive targets
Ionu t Ciocan-Fontanine and Bumsig Kim. Higher genus quasimap wall-crossing for semipositive targets. J. Eur. Math. Soc. (JEMS) , 19(7):2051--2102, 2017
work page 2017
-
[5]
Quasimap wall-crossings and mirror symmetry
Ionu t Ciocan-Fontanine and Bumsig Kim. Quasimap wall-crossings and mirror symmetry. Publc. Math. Inst. Hautes \'E tudes Sci. , 131(1):201--260, 2020
work page 2020
-
[6]
Higher-genus wall-crossing in the gauged linear sigma model
Emily Clader, Felix Janda, and Yongbin Ruan. Higher-genus wall-crossing in the gauged linear sigma model. Duke Math. J. , 170(4):697--773, 2021
2021
-
[7]
Gromov-Witten invariants of stable maps with fields
Huai-Liang Chang and Jun Li. Gromov-Witten invariants of stable maps with fields. International mathematics research notices , 2012(18):4163--4217, 2012
2012
-
[8]
Cox, John B
David A. Cox, John B. Little, and Henry K. Schenck. Toric varieties , volume 124 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2011
2011
Show all 40 references
-
[9]
David A. Cox. The functor of a smooth toric variety. T \^o hoku Math. J. (2) , 47(2):251--262, 1995
1995
-
[10]
The contraction morphism between maps and quasimaps to toric varieties, 2024
Alberto Cobos Rabano. The contraction morphism between maps and quasimaps to toric varieties, 2024. arXiv preprint arXiv:2412.16295 https://arxiv.org/abs/2412.16295
2024 arXiv
-
[11]
Desingularizations of sheaves and higher genus reduced G romov- W itten invariants, 2024
Alberto Cobos Rabano, Etienne Mann, Cristina Manolache, and Renata Picciotto. Desingularizations of sheaves and higher genus reduced G romov- W itten invariants, 2024. arXiv preprint arXiv:2310.06727 https://arxiv.org/abs/2310.06727
2024 arXiv
-
[12]
Limit linear series: Basic theory
David Eisenbud and Joe Harris. Limit linear series: Basic theory. Invent. Math. , 85:337--371, 1986
1986
-
[13]
Commutative algebra
David Eisenbud. Commutative algebra. With a view toward algebraic geometry , volume 150 of Grad. Texts Math. Berlin: Springer-Verlag, 1995
1995
-
[14]
Intersection theory , volume 2
William Fulton. Intersection theory , volume 2. Springer Science & Business Media, 2013
2013
-
[15]
Algebraic geometry
Robin Hartshorne. Algebraic geometry . Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977
1977
-
[16]
Genus-one stable maps, local equations, and V akil- Z inger's desingularization
Yi Hu and Jun Li. Genus-one stable maps, local equations, and V akil- Z inger's desingularization. Math. Ann. , 348(4):929--963, 2010
2010
-
[17]
Derived resolution property for stacks, Euler classes and applications
Yi Hu and Jun Li. Derived resolution property for stacks, Euler classes and applications. Math. Res. Lett. , 18(4):677--690, 2011
2011
-
[18]
Genus Two Stable Maps, Local Equations and Modular Resolutions
Yi Hu , Jun Li , and Jingchen Niu . Genus Two Stable Maps, Local Equations and Modular Resolutions . arXiv preprint arXiv:1201.2427 https://arxiv.org/abs/1201.2427, 2012
2012 arXiv
-
[19]
Moduli of curves of genus one with twisted fields
Yi Hu and Jingchen Niu. Moduli of curves of genus one with twisted fields. arXiv preprint arXiv:1906.10527 https://arxiv.org/abs/1906.10527, 2019
1906 arXiv
-
[20]
A theory of stacks with twisted fields and resolution of moduli of genus two stable maps
Yi Hu and Jingchen Niu. A theory of stacks with twisted fields and resolution of moduli of genus two stable maps. arXiv preprint arXiv:2005.03384 https://arxiv.org/abs/2005.03384, 2020
2005 arXiv
-
[21]
Derived moduli of sections and push-forwards
David Kern, \'Etienne Mann, Cristina Manolache, and Renata Picciotto. Derived moduli of sections and push-forwards. Selecta Math. (N.S.) , 31(2):Paper No. 40, 46, 2025
2025
-
[22]
Quantum lefschetz property for genus two stable quasimap invariants, 2022
Sanghyeon Lee, Mu-Lin Li, and Jeongseok Oh. Quantum lefschetz property for genus two stable quasimap invariants, 2022
2022
-
[23]
Algebraic reduced genus one gromov-witten invariants for complete intersections in projective spaces, 2019
Sanghyeon Lee and Jeongseok Oh. Algebraic reduced genus one gromov-witten invariants for complete intersections in projective spaces, 2019
2019
-
[24]
Algebraic reduced genus one gromov-witten invariants for complete intersections in projective spaces, part 2, 2020
Sanghyeon Lee and Jeongseok Oh. Algebraic reduced genus one gromov-witten invariants for complete intersections in projective spaces, part 2, 2020
2020
-
[25]
Gromov-- W itten invariants of a quintic threefold and a rigidity conjecture
Jun Li and Aleksey Zinger. Gromov-- W itten invariants of a quintic threefold and a rigidity conjecture. Pacific Journal of Mathematics , 233(2):417--480, 2007
2007
-
[26]
Virtual push-forwards
Cristina Manolache. Virtual push-forwards. Geom. Topol. , 16(4):2003--2036, 2012
2003
-
[27]
Stable maps and stable quotients
Cristina Manolache. Stable maps and stable quotients. Compos. Math. , 150(9):1457--1481, 2014
2014
-
[28]
The moduli space of stable quotients
Alina Marian, Dragos Oprea, and Rahul Pandharipande. The moduli space of stable quotients. Geom. Topol. , 15(3):1651--1706, 2011
2011
-
[29]
A limit linear series moduli scheme
Brian Osserman. A limit linear series moduli scheme. Ann. Inst. Fourier , 56(6):1165--1205, 2006
2006
-
[30]
Moduli of stable maps in genus one and logarithmic geometry, i
Dhruv Ranganathan, Keli Santos-Parker, and Jonathan Wise. Moduli of stable maps in genus one and logarithmic geometry, i. Geometry & Topology , 23(7):3315--3366, 2019
2019
-
[31]
The K odaira dimension of spaces of rational curves on low degree hypersurfaces, 2003
Jason Starr. The K odaira dimension of spaces of rational curves on low degree hypersurfaces, 2003. arXiv preprint arXiv:math/0305432 https://arxiv.org/abs/math/0305432
2003 arXiv
-
[32]
The stacks project
The Stacks project authors . The stacks project. https://stacks.math.columbia.edu, 2022
2022
-
[33]
Limit linear series for vector bundles
Montserrat Teixidor i Bigas. Limit linear series for vector bundles. T \^o hoku Math. J. (2) , 66(4):555--562, 2014
2014
-
[34]
Alternate compactifications of the moduli space of genus one maps
Michael Viscardi. Alternate compactifications of the moduli space of genus one maps. Manuscripta Math. , 139(1-2):201--236, 2012
2012
-
[35]
A natural smooth compactification of the space of elliptic curves in projective space
Ravi Vakil and Aleksey Zinger. A natural smooth compactification of the space of elliptic curves in projective space. Electron. Res. Announc. Am. Math. Soc. , 13:53--59, 2007
2007
-
[36]
A desingularization of the main component of the moduli space of genus-one stable maps into P^n
Ravi Vakil and Aleksey Zinger. A desingularization of the main component of the moduli space of genus-one stable maps into P^n . Geom. Topol. , 12(1):1--95, 2008
2008
-
[37]
Quasimap wall-crossing for GIT quotients
Yang Zhou. Quasimap wall-crossing for GIT quotients. Invent. Math. , 227(2):581--660, 2022
2022
-
[38]
Standard versus reduced genus-one G romov– W itten invariants
Aleksey Zinger. Standard versus reduced genus-one G romov– W itten invariants. Geometry & topology , 12(2):1203--1241, 2008
2008
-
[39]
The reduced genus 1 G romov- W itten invariants of C alabi- Y au hypersurfaces
Aleksey Zinger. The reduced genus 1 G romov- W itten invariants of C alabi- Y au hypersurfaces. Journal of the American Mathematical Society , 22(3):691--737, 2009
2009
-
[40]
A sharp compactness theorem for genus-one pseudo-holomorphic maps
Aleksey Zinger. A sharp compactness theorem for genus-one pseudo-holomorphic maps. Geometry & topology , 13(5):2427--2522, 2009
2009
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.