REVIEW 3 major objections 6 minor 2 cited by
Genus one correspondence between tropical and algebraic curves
T0 review · 3 major / 6 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read This paper proves that enumerative counts of algebraic elliptic curves in toric varieties equal counts of well-spaced tropical curves weighted by explicit lattice-point multiplicities, extending the correspondence theorem from genus 0 to ge
desk verdict A serious, credible genus-one tropical-algebraic correspondence in arbitrary toric dimension, with one load-bearing stabilizer step that needs a real proof before the weight formula is fully trusted. 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 objects are the moduli space W_Γ(X) of well-spaced genus-one logarithmic stable maps and its tropical analogue W_Γ(Σ(X)), a generalized cone complex whose maximal cones are tropical curve types. Well-spacedness — a condition on how the curve leaves each hyperplane containing its cycle — is exactly what makes a genus-one tropical curve realizable. The proof runs through the tropicalization map, Minkowski weights (balanced integer functions on cones computing toric intersections) on X^n × M_{1,1}, and a lifting criterion (Theorem 5.4) converting logarithmic enhancements into conditions on meromorphic functions at the nodes. The multiplicities count solutions of a monomial syst
What would settle it
Compute both sides of the correspondence for a case with a high-valence vertex on the cycle and compare: the paper's own example — degree-3 elliptic curves in P^3 through 5 points and meeting 1 line, which must number zero — is a sharp test, as is a direct linear-algebra check of Proposition 1.9's basis statement for the three maximal cone shapes the paper lists in dimension 3.
Extended reading notes
Core claim
The paper's central claim (Theorems A, B, D) is an equality of enumerative counts: for a smooth projective toric variety X, the algebraic number of genus-one curves of a fixed class through general subvarieties equals the count of well-spaced tropical genus-one curves through the corresponding conditions, each weighted by the number of interior lattice points of a region P(σ') built from the direction vectors of edges leaving the curve's unique cycle, divided by the automorphism order (just the reciprocal when no cycle vertex is at least 4-valent). The fixed-j version holds too. A lifting criterion (Theorem 5.4) determines when a tropical curve is algebraic, resolving genus-one realizability
Load-bearing premise
The load-bearing premise is the basis statement quoted in Proposition 1.9 — that the non-cycle edge directions around the tropical curve's cycle project to an R-basis of the quotient H_1/H_0 — because the counting lemma behind the lattice-point multiplicities rests on it directly, and the proof also leans on a stabilizer comparison asserted without full expansion in §7.3, Claim (ii).
Editorial extensions
If this is right
- Genus-one enumerative invariants of any toric variety become finitely computable from purely combinatorial data: list the well-spaced tropical curves, count interior lattice points, divide by automorphism orders.
- Because the correspondence is genuinely enumerative rather than virtual, it provides a check on virtual-count formulas; the paper exhibits one published formula for elliptic curves in P^3 and shows it fails its simplest consistency check.
- The fixed-j version gives tropical control over the complex structure of the elliptic curve itself: the length of the tropical cycle is the tropical j-invariant, so both position and j-invariant are read off the tropical data.
- On toric surfaces, the new weights differ from earlier ad hoc tropical multiplicities in specific low-deficiency configurations, while the final fixed-j count for plane curves reproduces the known algebraic value.
- The lifting criterion (Theorem 5.4) resolves the genus-one realizability problem in arbitrary dimension, converting a qualitative existence question into an exact checkable system of equations at the special points of the curve.
Reading between the lines
- Because the multiplicity is a count of interior lattice points of a region built from the cycle's edge directions, the formula may extend beyond toric targets to any target admitting a suitable toric degeneration; one could test this by computing both sides for a simple non-toric surface.
- The parallel structure of the fixed-j and unfixed-j counts suggests a tropical analogue of the string equation at genus one: summing the lattice-point multiplicities over cycle lengths should reproduce the unfixed count, a relation that could be checked symbolically for P^2 even before any new theory is built.
- A computational stress-test of Proposition 1.9 would localize the exact scope of the theorem: verify by linear algebra, for each maximal cone shape in dimensions 2 and 3, that the non-cycle directions form a basis of H_1/H_0; a failure in some exotic cone would pinpoint precisely where the purely tropical multiplicity needs correction.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a complete genus-one correspondence between enumerative algebraic curve counts and weighted tropical curve counts for smooth projective toric varieties over C. For effective curve classes and general subvarieties Z_i, the algebraic number of smooth genus-one maps with prescribed incidences and with either free or fixed j-invariant is asserted to equal a tropical count of well-spaced genus-one tropical curves, weighted by explicit combinatorial multiplicities (Theorem A). The proof strategy is to use the Ranganathan–Santos-Parker–Wise moduli stack W_Γ(X) of well-spaced genus-one logarithmic maps, establish a Chow-theoretic correspondence via Minkowski weights and logarithmic blow-ups (Theorem B, Proposition 1.17), and then compute the tropical weights combinatorially in terms of lattice-point counts in an explicit polytope P(σ') (Theorem D), with a separate result relating saturation indices, lattice indices, loop multiplicities, and automorphism groups (Theorem C). The paper also gives low-dimensional specializations and comparisons with earlier ad hoc multiplicities of Kerber–Markwig and Len–Ranganathan.
Significance. If correct, the paper is a major advance: it provides the first enumerative (rather than virtual) genus-one tropical correspondence in arbitrary dimension, extending the Nishinou–Siebert genus-zero theorem. The weights are genuinely combinatorial and computable, and the paper gives nontrivial consistency checks against previous surface calculations and Pandharipande's fixed-j counts. The authors use substantial logarithmic-geometric machinery correctly in broad outline, and the paper is rich in explicit formulas and examples. The main caveat is that two load-bearing steps — the stabilizer comparison in §7.3 and the use of Proposition 1.9 in Lemma 8.21 — are not fully established in the text. These are fixable in principle, and the surrounding framework is credible, so the appropriate assessment is major revision rather than rejection.
major comments (3)
- [§7.3, proof of Theorem B, Claim (ii) and Equation (45)] Claim (ii) is the step where the proof passes from the sum over cones of the logarithmic blow-up \tilde W_Γ(X) to the sum over cones of W_Γ(X). It asserts that the pushforward of [V(\tilde σ)] is [V(σ)], i.e. that the stabilizers of the corresponding points coincide. The proof consists of an asserted Cartesian diagram, an invocation of Claim (i), and the sentence 'BT_{\tilde σ}→BT_σ is an isomorphism'. This is not enough: the diagram is not fully specified, and the map on tori is not justified in this setting. Footnote 7 explicitly warns that in the analogous situation X=[A^2/μ_2] the stabilizer comparison fails when a cone does not map injectively to the base fan. If Claim (ii) fails, the coefficient [V(\tilde σ)] would be a rational multiple (|Aut(f_σ)|/|Aut(f_{\tilde σ})|) of [V(σ)], and the weight w(σ) in Theorem B would not match the tropical multiplicity in Theorem D. This is inter
- [Proposition 1.9 and Lemma 8.21] The computation of n(σ) as the number of interior lattice points of P(σ) in Lemma 8.21 depends crucially on the assertion that the projected non-cycle edge directions {\bar u_{j,k}} form an R-basis of H_1/H_0. This is Proposition 1.9, quoted without proof from [Tor14, Proposition 3.2.18(b)]. The matrix M in Lemma 8.21 is square and invertible precisely because of this basis statement; if the quoted result does not apply to every maximal well-spaced cone in the present generality, the identity 'number of solutions = i(P(σ))' fails, and with it Theorem D and the 'purely tropical' form of the multiplicity. Since this is a central combinatorial input rather than a side remark, please either include a self-contained proof adapted to the present setting or state explicitly why the cited thesis result applies to all cones that occur.
- [§8.3.3 and proof of Theorem D] The proof of Theorem D relies on the claim that after solving Equation (59), the possible automorphisms of the resulting basic fine maps are fully understood. The text says in the proof of Theorem 8.9 that 'the proof of Theorem 8.22 explicitly lists all the basic fine maps ... and their automorphisms', but Theorem 8.22 as stated only lists the number n(σ), not the automorphism groups. The subsequent proof of Theorem D asserts that nontrivial automorphisms occur only in cases (2a), (3a), and (3b) and are μ_2. This is plausible but is not expanded in detail. Since the weighted factor n_Aut(σ') in Equation (6) divides by |Aut(f_i^fine)|, and since the comparison tables with [KM09] and [LR18] are sensitive to such factors, I would like an explicit verification that the exceptional solutions identified in the proof of Theorem 8.22 are the only ones with nontrivial automorphisms, and that the
minor comments (6)
- [§1.5] Typo: 'low dimenisonal' should be 'low dimensional'.
- [§8.2, Example 8.10] Typo: 'are are 0, ∞' should be 'are 0, ∞'.
- [Equation (56)] The product expression for ρ appears to have an index mismatch: the notation ρ=(ρ_{i,j})_{i=2,...,e}^{j=2,...,h_i} is not consistent with the preceding decomposition into factors G^{h_i-1}_m. Please clarify.
- [Lemma 8.16, proof] The sentence 'k′ = h_i, k′ = h_i' contains a duplicated bound; one of the two occurrences should presumably be a different index.
- [§7.2] The statement that 'both the point class and the unit class on M_{1,1} are pulled back from P^1' would benefit from a one-line justification, since the map M_{1,1} → P^1 is not an isomorphism at the stacky points.
- [Acknowledgments] 'Tubigen' should be 'Tübingen'.
Circularity Check
No significant circularity: the combinatorial multiplicities are derived from a genuine lifting criterion and an explicit solution count, not defined to match the algebraic answer.
full rationale
The paper's central claimed derivation is not circular. The tropical weight w(σ) is initially defined in Definition 4.16 in terms of the algebraic automorphism groups of logarithmic maps, and Theorem B is a projection/formula statement. The combinatorial content is concentrated in Theorem D, whose proof goes through Theorem 5.4 (an independent existence criterion for fs logarithmic enhancements) and Lemma 8.21, which establishes a bijection between solutions of the system (59) and interior lattice points of the region P(σ) of Construction 1.10. That region was defined from tropical direction vectors before any counting, so the equality i(P(σ))=#solutions is a proved identification, not a definitional shortcut. The automorphism contributions are enumerated explicitly in Theorem 8.22 and Theorem 8.9, including the case (Example 8.10) where the inclusion Aut/G ↪ Aut(σ) is strict; the result is not deduced by assuming the tropical automorphism group equals the algebraic one. The only self-citations, [CK] and [Koy], are announcements of future work and are not used in the proof. The load-bearing external citations ([RSPW19b], [Wis19], [ACGS20], [Tor14]) are independent prior results, not outputs of this paper. The basis property quoted from [Tor14, Proposition 3.2.18(b)] is external support; if it failed, the system in Lemma 8.21 would not be square, but that is a mathematical dependence, not a circularity. There is an internal step, Claim (ii) in §7.3, that is asserted with a sketched Cartesian-diagram argument and a footnote noting a nearby stacky example where the analogous stabilizer comparison fails when the cone map is not an inclusion; this is an abbreviated proof and a potential correctness gap, but it does not make the theorem equal to its input by construction. Accordingly, the circularity score is 0.
Assumptions & free parameters
assumptions (7)
- domain assumption The moduli stack W_Γ(X) of well-spaced genus-one stable logarithmic maps is proper, logarithmically smooth, pure of dimension n+m+(r−dim Span(δ)), with tropicalization the cone complex W_Γ(Σ(X)).
- domain assumption A genus-one tropical stable map admitting a minimal logarithmic map is realizable if and only if it is well-spaced ([RSPW19b, Theorem 4.4.8]).
- domain assumption The set {ū_{j,k}} of projections of non-cycle half-edge directions forms an R-basis for H_1/H_0 (Proposition 1.9, quoted from [Tor14, Proposition 3.2.18(b)]).
- standard math Minkowski weights compute intersection products on smooth toric varieties ([FS97]).
- standard math The moduli stack M_{1,1} is isomorphic to P(4,6), with coarse space P^1, and the point/unit classes are pulled back from P^1.
- domain assumption For fs logarithmic stacks, Hom(T, A_Y) ≅ Hom_Cones(Σ(T), Σ(Y)) (Proposition 7.1, recast from ACGS20 Proposition 2.10).
- domain assumption Wise's theorem on the space of types ([Wis19, Theorem 1.1]): the space of logarithmic enhancements of a scheme map of a given type is controlled by a monomorphism into the type space with étale projection.
Cite this review
Pith. "Pith review of Genus one correspondence between tropical and algebraic curves." pith.science (2026). https://pith.science/paper/TG6EWCZU
@misc{pith2026260706426,
author = {Pith},
title = {Pith review of: Genus one correspondence between tropical and algebraic curves},
year = {2026},
howpublished = {\url{https://pith.science/paper/TG6EWCZU}},
note = {Machine review of arXiv:2607.06426}
}
abstract
We show that the genuinely enumerative count of algebraic elliptic curves in any toric variety agrees with the count of the corresponding well-spaced tropical curves, weighted by explicit combinatorial multiplicities. This provides a complete genus-$1$ generalization of the celebrated Nishinou--Siebert correspondence theorem in genus $0$. The proof is algebro-geometric and relies on logarithmic deformation theory together with an explicit enumeration of logarithmic maps with fixed tropicalization.
Figures
Figures from the paper (9 more)
Forward citations
Cited by 2 Pith papers
-
Tropical and algebraic elliptic plane curves with fixed j-invariant
A tropical proof of Pandharipande's formula for the number of degree-d elliptic plane curves with fixed j-invariant, using well-spaced tropical curves and corrected multiplicities.
-
Elliptic curve counting in toric threefolds: virtual, enumerative, and tropical
Well-spaced elliptic curve counts equal logarithmic Gromov-Witten invariants plus explicit genus-zero correction terms, yielding a logarithmic analogue of the Getzler-Pandharipande relation.
Reference graph
Works this paper leans on
-
[1]
3, 465--488
Dan Abramovich and Qile Chen, Stable logarithmic maps to Deligne--Faltings pairs II , Asian Journal of Mathematics 18 (2014), no. 3, 465--488
2014
-
[2]
Griffiths, Geometry of A lgebraic C urves: V olume I I , A S eries of C omprehensive S tudies in M athematics, vol
Enrico Arbarello, Maurizio Cornalba, and Phillip A. Griffiths, Geometry of A lgebraic C urves: V olume I I , A S eries of C omprehensive S tudies in M athematics, vol. 268, Springer, 2011
2011
-
[3]
10, 2020--2075
Dan Abramovich, Qile Chen, Mark Gross, and Bernd Siebert, Decomposition of degenerate G romov-- W itten invariants , Compositio Mathematica 156 (2020), no. 10, 2020--2075
2020
-
[4]
287--336
Dan Abramovich, Qile Chen, Steffen Marcus, Martin Ulirsch, and Jonathan Wise, Skeletons and fans of logarithmic structures, Nonarchimedean and Tropical Geometry (Matthew Baker and Sam Payne, eds.), Simons Symposia, Springer, Cham, 2016, pp. 287--336
2016
-
[5]
Dan Abramovich, Qile Chen, Steffen Marcus, and Jonathan Wise, Boundedness of the space of stable logarithmic maps, J. Eur. Math. Soc. (JEMS) 19 (2017), no. 9, 2783--2809. 3692887
2017
-
[6]
Luca Battistella and Francesca Carocci, A smooth compactification of the space of genus two curves in projective space: via logarithmic geometry and G orenstein curves , Geom. Topol. 27 (2023), no. 3, 1203--1272. 4599312
2023
-
[7]
6, 637--679
Luca Battistella, Navid Nabijou, and Dhruv Ranganathan, Curve counting in genus one: Elliptic singularities and relative geometry, Algebraic Geometry 8 (2021), no. 6, 637--679
2021
-
[8]
Alessio Cela and Sae Koyama, Revisited count of tropical elliptic plane curves with fixed j -invariant, Upcoming work
Show all 36 references
-
[9]
Cox, John B
David A. Cox, John B. Little, and Henry K. Schenck, Toric varieties, Graduate Studies in Mathematics, vol. 124, American Mathematical Society, 2011
2011
-
[10]
2, 335--353
William Fulton and Bernd Sturmfels, Intersection theory on toric varieties, Topology 36 (1997), no. 2, 335--353
1997
-
[11]
Ezra Getzler, Intersection theory on M _ 1,4 and elliptic G romov-- W itten invariants , J. Am. Math. Soc. 10 (1997), no. 4, 973--998
1997
-
[12]
Mark Gross, Remarks on gluing punctured logarithmic maps, arXiv preprint arXiv:2306.02661 (2023)
2023 arXiv
-
[13]
3, 779--842
Mark Gross and Bernd Siebert, Intrinsic mirror symmetry, Journal of the American Mathematical Society 26 (2013), no. 3, 779--842
2013
-
[14]
2, 451--510
, Logarithmic G romov-- W itten invariants , Journal of the American Mathematical Society 26 (2013), no. 2, 451--510
2013
-
[15]
2, 279 -- 324
Eleny Ionel, Genus 1 enumerative invariants in P ^n with fixed j invariant , Duke Mathematical Journal 94 (1998), no. 2, 279 -- 324
1998
-
[16]
Fumiharu Kato, Log smooth deformation and moduli of log smooth curves, International Journal of Mathematics 11 (2000), 215--232
2000
-
[17]
2, 387--427
Michael Kerber and Hannah Markwig, Counting tropical elliptic plane curves with fixed j -invariant, Commentarii Mathematici Helvetici 84 (2009), no. 2, 387--427
2009
-
[18]
Sae Koyama, Logarithmic and enumerative invariants of elliptic space curves and tropical geometry, Upcoming work
-
[19]
Siddarth Kannan and Terry Dekun Song, The dual complex of M _ 1,n ( P ^r,d) via the geometry of the V akil-- Z inger moduli space , arXiv preprint arXiv:2411.03518 (2024)
2024 arXiv
-
[20]
Mia Lam, Chi Kin Ng, and Dhruv Ranganathan, Combinatorics of H urwitz degenerations and tropical realizability , arXiv preprint arXiv:2410.20831 (2024)
2024 arXiv
-
[21]
1, 351--385
Yoav Len and Dhruv Ranganathan, Enumerative geometry of elliptic curves on toric surfaces, Israel Journal of Mathematics 226 (2018), no. 1, 351--385
2018
-
[22]
2, 313--377, Published electronically: January 20, 2005
Grigory Mikhalkin, Enumerative tropical algebraic geometry in R ^2 , Journal of the American Mathematical Society 18 (2005), no. 2, 313--377, Published electronically: January 20, 2005
2005
-
[23]
Molcho, R
S. Molcho, R. Pandharipande, and J. Schmitt, The H odge bundle, the universal 0-section, and the log C how ring of the moduli space of curves , Compos. Math. 159 (2023), no. 2, 306--354. 4549706
2023
-
[24]
Travis Mandel and Helge Ruddat, Descendant log G romov-- W itten invariants for toric varieties and tropical curves , Trans. Amer. Math. Soc. 373 (2020), no. 2, 1109--1152. 4068259
2020
-
[25]
1, 1--51
Takeo Nishinou and Bernd Siebert, Toric degenerations of toric varieties and tropical curves, Duke Mathematical Journal 135 (2006), no. 1, 1--51
2006
-
[26]
178, Cambridge University Press, 2018
Arthur Ogus, Lectures on logarithmic algebraic geometry, Cambridge Studies in Advanced Mathematics, vol. 178, Cambridge University Press, 2018
2018
-
[27]
Olsson, Logarithmic geometry and algebraic stacks, Annales Scientifiques de l'\'Ecole Normale Sup\'erieure 36 (2003), no
Martin C. Olsson, Logarithmic geometry and algebraic stacks, Annales Scientifiques de l'\'Ecole Normale Sup\'erieure 36 (2003), no. 5, 747--791
2003
-
[28]
12, 3471--3479
Rahul Pandharipande, Counting elliptic plane curves with fixed j -invariant, Proceedings of the American Mathematical Society 125 (1997), no. 12, 3471--3479
1997
-
[29]
3, 804--832
Dhruv Ranganathan, Skeletons of stable maps I : rational curves in toric varieties , Journal of the London Mathematical Society 95 (2017), no. 3, 804--832
2017
-
[30]
, Skeletons of stable maps I I : superabundant geometries , Research in the Mathematical Sciences 4 (2017), no. 1, 11
2017
-
[31]
7, 3315--3366
Dhruv Ranganathan, Keli Santos-Parker, and Jonathan Wise, Moduli of stable maps in genus one and logarithmic geometry, I , Geometry & Topology 23 (2019), no. 7, 3315--3366
2019
-
[32]
8, 1765--1805
, Moduli of stable maps in genus one and logarithmic geometry, I I , Algebra & Number Theory 13 (2019), no. 8, 1765--1805
2019
-
[33]
Speyer, Tropical geometry, Ph.d
David E. Speyer, Tropical geometry, Ph.d. thesis, University of California, Berkeley, Spring 2005
2005
-
[34]
4, 963 -- 998
, Parameterizing tropical curves I : Curves of genus zero and one , Algebra & Number Theory 8 (2014), no. 4, 963 -- 998
2014
-
[35]
Carolin Torchiani, Enumerative geometry of rational and elliptic tropical curves in R ^m , PhD thesis, Technische Universit \"a t Kaiserslautern (2014)
2014
-
[36]
1, 50--63
Jonathan Wise, Uniqueness of minimal morphisms of logarithmic schemes, Algebraic Geometry 6 (2019), no. 1, 50--63
2019
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.