Pith. sign in

REVIEW 3 major objections 4 minor 43 references

Quadratically Enriched Plane Curve Counting via Tropical Geometry

T0 review · 3 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves a tropical correspondence theorem: the quadratically enriched count of rational curves in a toric del Pezzo surface, with point conditions over k and quadratic extensions, equals a sum of explicit Grothendieck–Witt valued…

desk verdict Extends the enriched tropical correspondence to mixed quadratic point conditions with a floor diagram algorithm, but the local classification (Lemma 3.9) is not proven exhaustive. read the letter →

arxiv 2502.02569 v4 pith:2WJDRFKD submitted 2025-02-04 math.AG math.ATmath.CO

Andrés Jaramillo Puentes , Hannah Markwig , Sabrina Pauli , Felix Röhrle This is my paper · ORCID
classification math.AGmath.ATmath.CO MSC 14N1014N3514T2014T2514P99
keywords Gromov-WitteninvariantsWelschingertropicalcurvesquadraticallyenrichedcountsGrothendieck-WittringtoricdelPezzosurfacesfloordiagramscorrespondencetheorem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves a correspondence theorem linking A¹-enumerative geometry to tropical geometry. Its central claim (Theorem 1.2) is that the quadratically enriched count $N^{A^1}_\Delta(r,(d_1,\dots,d_s))$ — the number of rational curves in a smooth toric del Pezzo surface through $r$ $k$-rational points and $s$ pairs of conjugate points in quadratic extensions, counted with quadratic-form weights in the Grothendieck–Witt ring $GW(k)$ — equals the tropical count $\sum_\Gamma \mathrm{mult}^{A^1}(\Gamma)$ over rational tropical stable maps through vertically stretched simple and double point conditions. Because the tropical count is computed by an explicit floor-diagram algorithm, the theorem converts an invariant defined through homotopy theory into finite combinatorial data. The same tropical sum recovers, by taking rank and signature, the complex Gromov–Witten invariant and both real Welschinger invariants, so a single tropical computation serves several enumerative theories. A sympathetic reader should care because it gives a practical route to genuinely new numbers: the count for bidegree $(2,4)$ in $\mathbb{P}^1\times\mathbb{P}^1$ with conjugate pairs was previously unknown.

What carries the argument

The load-bearing object is the quadratically enriched multiplicity $\mathrm{mult}^{A^1}(\Gamma)$ of Definition 4.6, an element of $GW(k)$ assembled as a product of: the twin-tree multiplicity (Definition 4.3, built from twin-edge factors, the scalar $\langle 2^{t-1}\rangle$, and a parity-restricted sum of symbols $\langle\prod_{i\in I} d_i\rangle$), the vertex factor $\gamma_v$ for type-(A) double points on a vertex, factors $\beta_i=\langle 2\rangle+\langle 2d_i\rangle$ for remaining double conditions, and factors $(m_v)^{A^1}$ for each other 3-valent and 4-valent vertex. A twin tree is a connected component of double edges consisting of two identical parts — a structure that can only arise once point conditions are merged and that has no analogue in purely rational counting. The argument is carried by Lemma 3.9's classification of local types (A)–(J), the vertically stretched assumption that forces the floor-and-elevator decomposition and restricts which edges can carry weight, and the trace computations of Sections 6–8 that match each local algebraic lift's field of definition and quadratic weight to the factors of $\mathrm{mult}^{A^1}$.

What would settle it

Compute the enriched count for bidegree $(2,4)$ in $\mathbb{P}^1\times\mathbb{P}^1$ with $s=5$ conjugate pairs by an independent method (such as a wall-crossing formula for motivic enumerative invariants) and compare with the paper's Table 5 entry $192h + \beta_5^{(3)} + 2\beta_5^{(2)} + 8\beta_5^{(1)} + 16\langle 1\rangle$; a mismatch would trace back either to a missing case in Lemma 3.9 or to an error in the multiplicity formula. A more direct test of the classification: enumerate all combinatorial types of tropical stable maps through a generic vertically stretched configuration of $r$ simple and $s$ double points for any del Pezzo degree, and check that every local picture around each double point is one of the cases (A)–(J) of Figure 3.

Watch

Extended reading notes

Core claim

The central claim, stated as Theorem 1.2, is an equality in $GW(k)$: under the hypotheses of Setting 1.1 (a smooth toric del Pezzo surface with Newton polygon $\Delta$, a perfect field of characteristic 0 or exceeding the diameter of $\Delta$ and exceeding 3, and $r+2s$ point conditions with residue fields $k$ and $k(\sqrt{d_i})$), one has $N^{A^1}_\Delta(r,(d_1,\dots,d_s)) = N^{A^1,\mathrm{trop}}_\Delta(r,(d_1,\dots,d_s)) := \sum_\Gamma \mathrm{mult}^{A^1}(\Gamma)$, summing over rational tropical stable maps of degree $\Delta$ through vertically stretched point conditions. The authors establish this by a degeneration argument in the style of earlier tropical correspondence theorems: pairs of conjugate points tropicalize to double point conditions, and the proof combines a complete classification (Lemma 3.9) of the ten local building blocks (A)–(J) that can occur around a double point with case-by-case computations of the algebras of algebraic lifts and their quadratic weights (Sections 6–8), gluing data from deformation patterns and refined point conditions, and an assembly argument (Section 9). A companion floor-diagram theorem (Theorem 10.13) shows the tropical sum equals a weighted count of rational floor diagrams with merged points, making the invariant algorithmically computable.

Load-bearing premise

The load-bearing assumption is that the ten local pictures listed in Lemma 3.9 exhaust every possible way a double point can sit on a tropical curve under vertically stretched conditions; if a further local building block with nonzero quadratic multiplicity existed, the tropical sum would omit genuine algebraic curves and the correspondence would fail.

Editorial extensions

If this is right

  • The enriched invariant $N^{A^1}_\Delta(r,(d_1,\dots,d_s))$ becomes explicitly computable: Theorem 10.13 reduces it to a weighted count of rational floor diagrams with merged points, a finite combinatorial enumeration.
  • One tropical computation simultaneously yields the complex Gromov–Witten invariant (via rank over $\mathbb{C}$), the Welschinger invariant for real points (signature with all $d_i>0$), and the generalized Welschinger invariant for conjugate pairs (signature with all $d_i<0$), per Theorem 1.3.
  • New enumerative data follows: the counts for bidegree $(2,4)$ in $\mathbb{P}^1\times\mathbb{P}^1$ with any number of conjugate pairs are stated for the first time, and the paper's tables cover further del Pezzo surfaces beyond $\mathbb{P}^2$.
  • The tropical count is a universal source for all multiquadratic sequences: since setting $d_s$ to a square reduces the count to one with two more rational points (Proposition 5.4), the maximal-conjugation value determines $N^{A^1}_\Delta(\sigma)$ for every multiquadratic $\sigma$.
  • For plane quartics the enriched counts agree with the wall-crossing formula for motivic enumerative invariants, and Corollary 11.1 states that two polygons with equally many interior lattice points give enriched counts differing only by a multiple of the hyperbolic form, so the difference depends only on the Welschinger invariants.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial: the same merging strategy should extend beyond quadratic extensions — merging three or more simple points into one condition would produce new local types and multiplicities, giving tropical access to $N^{A^1}_\Delta(\sigma)$ for arbitrary finite \'etale algebras, exactly the "universal formula" the paper conjectures in Section 1.3.
  • Editorial: the paper's own observation that the vertically stretched assumption is not strictly necessary suggests the correspondence should hold for general tropical positions; the assumption mainly shortens the case analysis.
  • Editorial: Corollary 11.1 invites a structural check — if two del Pezzo Newton polygons share an interior lattice point count, their enriched counts should differ only by a multiple of the hyperbolic form; computing any two such surfaces tests whether the pattern is general or an artefact of small examples.
  • Editorial: because rank and signature determine the Grothendieck–Witt class over $\mathbb{C}$ and $\mathbb{R}$, any future table entry can be independently verified by computing the classical complex and real counts — the consistency the paper exhibits in its examples is a built-in check for the algorithm.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. This paper proves a tropical correspondence theorem for quadratically enriched counts of rational curves on smooth toric del Pezzo surfaces. In Setting 1.1, with r k-rational point conditions and s pairs of points conjugate over quadratic extensions k(√d_i), it defines a tropical count N^{A1,trop}_Δ(r,(d_1,...,d_s)) by summing a Grothendieck–Witt valued multiplicity mult^{A1}(Γ,f) over vertically stretched tropical stable maps satisfying simple and double point conditions. The main theorem (Theorem 1.2, proved as Theorem 9.2) equates this tropical sum with the algebraic invariant N^{A1}_Δ. The multiplicity is assembled from local vertex data (Lemma 3.9, cases (A)–(J)), edge and deformation-pattern contributions, twin-tree contributions, and refined point conditions. The paper also establishes compatibility with Mikhalkin's complex count, the real Welschinger counts, and the earlier k-rational enriched correspondence of [JPP23], and it develops floor diagrams (Section 10) to compute examples for P^2 and P^1×P^1, including new bidegree (2,4) invariants.

Significance. Assuming the missing proof details are supplied, this is a substantial contribution: it extends quadratically enriched tropical correspondences from k-rational point conditions to multiquadratic ones, unifies several previously separate counts in one GW(k)-valued invariant, and gives an effective floor-diagram algorithm with concrete computations that are cross-checked against [JP24] for plane quartics. The paper is careful to derive multiplicities from trace computations of local algebraic lifts rather than choosing them to match the final count, and the compatibility checks in Section 5 provide nontrivial internal and external consistency. Its main weakness is not plausibility but completeness of proof: the local classification Lemma 3.9 and the factorization theorem Theorem 4.9 are presented as sketches or as consequences of previous techniques rather than proved in full, and the floor-diagram bijection in Theorem 10.13 is also asserted briefly. These gaps are load-bearing for the main theorem and for the computational claims, so the manuscript needs a substantive revision before it can be accepted.

major comments (3)
  1. [§3.2, Lemma 3.9] The classification of local building blocks into cases (A)–(J) is load-bearing: Definition 4.6 and Theorem 9.2 sum over exactly the tropical stable maps whose local double-point behavior is governed by this lemma. The proof, however, is an informal description rather than a systematic case analysis; it says that cases arise from resolving a double point into two simple points and specializing back, but it does not prove that this deformation–specialization process exhausts all local combinatorial types. In particular, the subcases (C)–(J) involving double edges are justified by pictures and a few sentences, and Lemma 3.12 and Lemma 3.13, which are used later, inherit this gap. A missing local type with nonzero mult^{A1} would contribute algebraic preimages not represented in the tropical sum and would invalidate Theorem 1.2. This concern from the stress-test report is real. Please supply a complete proof of exhaustiveness, or reduce the classification to a clearly finite and enumerated set of configurations with a rigorous argument ruling out all other cases.
  2. [§4, Theorem 4.9] Theorem 4.9 is the bridge from log stable maps to the local data of vertices, deformation patterns, and refined point conditions. The text says it "essentially follows from the general techniques for correspondence theorems" and then describes the plan, referring to later sections for the local pieces. What is missing is a formal statement: that every log stable map tropicalizing to (Γ,f) arises uniquely from choices of local pieces, deformation patterns, and refined point conditions, and that the quadratic weight Wel^{A1} factors as the product of the local weights. Since Theorem 9.2 uses Theorem 4.9 to identify the sum over preimages with mult^{A1}(Γ,f), this is not merely a presentation issue. Please either prove Theorem 4.9 in this setting or replace it by a precise theorem from the literature, with all hypotheses explicitly checked.
  3. [§10, Theorem 10.13] The floor-diagram correspondence is proved in a few sentences. Lemma 10.7 lists possible outcomes of merging points in a floor diagram without proof, and the proof of Theorem 10.13 asserts a bijection between tropical stable maps with double point conditions and floor diagrams with merged points, and asserts equality of multiplicities, without verifying the cases in which merged points interact with twin trees or elevator edges. Since the computational results in Section 11 are obtained from this theorem, this is a significant gap for the algorithmic claims of the paper. Please expand the proof into a complete bijection statement and a case-by-case check of the multiplicities, or state precisely which parts are inherited from [BM08] and [JPMPR24].
minor comments (4)
  1. [Throughout] There are numerous typos and stray symbols, including "celebtrated" in §1.4, "out count" in Theorem 1.3(2), and "integerdivide" in the proof of Lemma 6.5; a careful proofreading pass is needed.
  2. [§6.2] The reduction to lattice length 1 or 2 for parallelogram cases and the claim that higher powers contribute a factor ⟨1⟩ are stated rather than proved; since Lemmas 6.10 and 6.11 rely on this reduction, please expand the argument or supply a precise reference.
  3. [§8, Lemma 8.2] The proof asserts the existence of a vertex v0 with a single bounded twin edge without justification; this is plausibly a simple consequence of the tree structure of a twin tree, but it should be stated and proved explicitly.
  4. [§5.4, Proposition 5.13] The proof identifies the signature of the quadratically enriched multiplicity with Shustin's real multiplicity by a case check on twin trees and vertex types; a short summary table matching each term of Definition 5.11 to the corresponding specialization would improve readability and verifiability.

Circularity Check

0 steps flagged · score 2.0 of 10

No substantive circularity: the tropical multiplicity is constructed from explicit algebraic local computations and the correspondence is proved by assembling them; self-citations are used as established background, not as the source of the central claim.

full rationale

The central claim (Theorem 1.2 / Theorem 9.2) is not circular: the algebraic invariant N^{A1}_Delta is defined via the external result of Kass-Levine-Solomon-Wickelgren [KLSW23a], while the tropical side N^{A1,trop}_Delta is independently defined in Definition 4.8 using multiplicities mult^{A1}(Gamma) built from the local piece computations of Sections 6-8. The proof of Theorem 9.2 assembles these local algebras and traces to show equality, rather than defining the multiplicity as the algebraic count or fitting it to the final answer. The load-bearing inputs are standard correspondence techniques (Mikhalkin, Shustin, Ranganathan et al.) and the external algebraic invariance theorem; the paper's self-citations, mainly to [JPP23] for the fully k-rational case and to [JPMPR24] for floor diagrams, are used as established special cases or technical lemmas (e.g. Lemma 2.22), not as the justification of the new double-point correspondence. The combinatorial classification in Lemma 3.9 is a completeness concern about the proof: a missing local type could, in principle, break the tropical sum. However, that is a correctness and rigor risk, not circularity, because the classification is not defined in terms of the theorem's conclusion and the paper does not reduce the central equality to the classification alone. The score of 2 reflects the presence of non-load-bearing self-citations, not any reduction of the central claim to its inputs.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No empirical parameters are fitted: the multiplicities are derived from trace computations and local algebraic lifts, with all weights determined by the tropical geometry. The paper introduces combinatorial constructs such as twin trees and floor diagrams with merged points, but these are defined objects of the proof, not entities postulated with independent physical evidence.

assumptions (4)
  • domain assumption Invariance and well-definedness of the GW(k)-valued count N^{A1}_{S,beta}(sigma) for generic point configurations, imported as Theorem 2.19 from Levine and Kass, Levine, Solomon, and Wickelgren.
    The algebraic side of the correspondence must be independent of the chosen point configuration so that vertical stretching on the tropical side is legitimate.
  • domain assumption Tropicalization of the moduli space of log stable maps yields the expected tropical moduli space and the evaluation diagram in commutative square (7), using results of Ranganathan and Gross.
    This is the bridge that turns algebraic preimages into tropical stable maps with simple and double point conditions.
  • domain assumption The local non-twin edge contributions and the k-rational local piece results from [JPP23] and the deformation pattern tools from [Shu06] are correct.
    The paper imports Proposition 5.10 from [JPP23] and Shustin's deformation and refined point condition framework rather than reproving them.
  • standard math Standard presentation and trace formulas for the Grothendieck-Witt ring, including Definition 2.9 and Proposition 2.15.
    Used throughout Sections 6 to 8 to compute traces of local quadratic weights.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quadratically Enriched Plane Curve Counting via Tropical Geometry." pith.science (2026). https://pith.science/paper/2WJDRFKD

@misc{pith2026250202569,
  author       = {Pith},
  title        = {Pith review of: Quadratically Enriched Plane Curve Counting via Tropical Geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2WJDRFKD}},
  note         = {Machine review of arXiv:2502.02569}
}
abstract

We prove that the quadratically enriched count of rational curves in a smooth toric del Pezzo surface passing through $k$-rational points and pairs of conjugate points in quadratic field extensions $k\subset k(\sqrt{d_i})$ can be determined by counting certain tropical stable maps through vertically stretched point conditions with a suitable multiplicity. Building on the floor diagram technique in tropical geometry, we provide an algorithm to compute these numbers. Our tropical algorithm computes not only these new quadratically enriched enumerative invariants, but simultaneously also the complex Gromov-Witten invariant, the real Welschinger invariant counting curves satisfying real point conditions only, the real Welschinger invariant of curves satisfying pairs of complex conjugate and real point conditions, and the quadratically enriched count of curves satisfying $k$-rational point conditions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 40 canonical work pages

  1. [1]

    u lya Arg\

    H\" u lya Arg\" u z and Pierrick Bousseau. Real log curves in toric varieties, tropical curves, and log W elschinger invariants. Ann. Inst. Fourier (Grenoble) , 72(4):1547--1620, 2022

    work page 2022

  2. [2]

    Stable logarithmic maps to D eligne- F altings pairs II

    Dan Abramovich and Qile Chen. Stable logarithmic maps to D eligne- F altings pairs II . Asian J. Math. , 18(3):465--488, 2014

    work page 2014

  3. [3]

    First Steps in Tropical Intersection Theory

    Lars Allermann and Johannes Rau. First steps in tropical intersection theory. Math. Z. , 264(3):633--670, 2010. arXiv:0709.3705

    work page Pith review arXiv 2010

  4. [4]

    Billera, Susan P

    Louis J. Billera, Susan P. Holmes, and Karen Vogtmann. Geometry of the space of phylogenetic trees. Adv. in Appl. Math. , 27(4):733--767, 2001

    work page 2001

  5. [5]

    Polynomiality properties of tropical refined invariants

    Erwan Brugall\'e and Andr\'es Jaramillo Puentes. Polynomiality properties of tropical refined invariants. Comb. Theory , 2(2):Paper No. 1, 53, 2022

    work page 2022

  6. [6]

    Floor decompositions of tropical curves: the planar case

    Erwan Brugall\' e and Grigory Mikhalkin. Floor decompositions of tropical curves: the planar case. Proceedings of the 15th G\"okova Geometry-Topology Conference , pages 64--90, 2008. arXiv:0812.3354

    arXiv 2008

  7. [7]

    Floor diagrams relative to a conic, and GW - W invariants of del P ezzo surfaces

    Erwan Brugall\' e . Floor diagrams relative to a conic, and GW - W invariants of del P ezzo surfaces. Adv. Math. , 279:438--500, 2015

    work page 2015

  8. [8]

    A bit of tropical geometry

    Erwan Brugall\' e and Kris Shaw. A bit of tropical geometry. Amer. Math. Monthly , 121(7):563--589, 2014

    work page 2014

Show all 43 references
  1. [9]

    Tropical and Logarithmic Methods in Enumerative Geometry , volume 52 of Oberwolfach Seminars

    Renzo Cavalieri, Hannah Markwig, and Dhruv Ranganathan. Tropical and Logarithmic Methods in Enumerative Geometry , volume 52 of Oberwolfach Seminars . Birkh\"auser Verlag, Basel, 2023

    2023

  2. [10]

    Topological properties of real algebraic varieties: Rokhlin's way

    Alexander Degtyarev and Viatcheslav Kharlamov. Topological properties of real algebraic varieties: Rokhlin's way. Uspekhi Mat. Nauk , 55(4):129--212, 2000. arXiv:math/0004134

    2000 arXiv

  3. [11]

    Labeled floor diagrams for plane curves

    Sergey Fomin and Grigory Mikhalkin. Labeled floor diagrams for plane curves. J. Eur. Math. Soc. , 12(6):1453--1496, 2010. arXiv:0906.3828

    2010 arXiv

  4. [12]

    Tropical fans and the moduli space of rational tropical curves

    Andreas Gathmann, Michael Kerber, and Hannah Markwig. Tropical fans and the moduli space of rational tropical curves. Compos. Math. , 145(1):173--195, 2009. arXiv:0708.2268

    2009 arXiv

  5. [13]

    Kontsevich's formula and the WDVV equations in tropical geometry

    Andreas Gathmann and Hannah Markwig. Kontsevich's formula and the WDVV equations in tropical geometry. Adv. Math. , 217:537--560, 2008. arXiv:math.AG/0509628

    2008

  6. [14]

    Cohomological invariants in Galois cohomology , volume 28 of Univ

    Skip Garibaldi, Alexander Merkurjev, and Jean-Pierre Serre. Cohomological invariants in Galois cohomology , volume 28 of Univ. Lect. Ser. Providence, RI: American Mathematical Society (AMS), 2003

    2003

  7. [15]

    Correspondence theorems via tropicalizations of moduli spaces

    Andreas Gross. Correspondence theorems via tropicalizations of moduli spaces. Commun. Contemp. Math. , 18(3):1550043, 36, 2016

    2016

  8. [16]

    Logarithmic G romov- W itten invariants

    Mark Gross and Bernd Siebert. Logarithmic G romov- W itten invariants. J. Amer. Math. Soc. , 26(2):451--510, 2013

    2013

  9. [17]

    Welschinger invariant and enumeration of real rational curves

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. Welschinger invariant and enumeration of real rational curves. Int. Math. Res. Not. , 2003(49):2639--2653, 2003

    2003

  10. [18]

    I. V. Itenberg, V. M. Kharlamov, and E. I. Shustin. Logarithmic equivalence of the W elschinger and the G romov- W itten invariants. Uspekhi Mat. Nauk , 59(6(360)):85--110, 2004

    2004

  11. [19]

    A C aporaso- H arris type formula for W elschinger invariants of real toric del P ezzo surfaces

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. A C aporaso- H arris type formula for W elschinger invariants of real toric del P ezzo surfaces. Comment. Math. Helv. , 84(1):87--126, 2009

    2009

  12. [20]

    Tropical algebraic geometry , volume 35 of Oberwolfach Seminars

    Ilia Itenberg, Grigory Mikhalkin, and Eugenii Shustin. Tropical algebraic geometry , volume 35 of Oberwolfach Seminars . Birkh\"auser Verlag, Basel, second edition, 2009

    2009

  13. [21]

    A Wall Crossing Formula for Motivic Enumerative Invariants

    Andr\'es Jaramillo Puentes. A Wall Crossing Formula for Motivic Enumerative Invariants . arXiv:2403.17681, 2024

    2024 arXiv

  14. [22]

    Arithmetic counts of tropical plane curves and their properties

    Andr\'es Jaramillo Puentes, Hannah Markwig, Sabrina Pauli, and Felix R\"ohrle. Arithmetic counts of tropical plane curves and their properties. Adv. Geom. , 24(4):553--576, 2024. arXiv:2309.12586

    2024 arXiv

  15. [23]

    Quadratically enriched tropical intersections, 2022

    Andr\'es Jaramillo Puentes and Sabrina Pauli. Quadratically enriched tropical intersections, 2022. arXiv:2208.00240

    2022 arXiv

  16. [24]

    A quadratically enriched correspondence theorem

    Andr\'es Jaramillo Puentes and Sabrina Pauli. A quadratically enriched correspondence theorem . arXiv:2309.11706, 2023

    2023 arXiv

  17. [25]

    Solomon, and Kirsten Wickelgren

    Jesse Leo Kass, Marc Levine, Jake P. Solomon, and Kirsten Wickelgren. A quadratically enriched count of rational curves, 2023

    2023

  18. [26]

    Solomon, and Kirsten Wickelgren

    Jesse Leo Kass, Marc Levine, Jake P. Solomon, and Kirsten Wickelgren. A relative orientation for the moduli space of stable maps to a del pezzo surface, 2023

    2023

  19. [27]

    Gromov-Witten classes, quantum cohomology and enumerative geometry

    Maxim Kontsevich and Yuri Manin. Gromov-Witten classes, quantum cohomology and enumerative geometry. Comm. Math. Phys. , 164:525--562, 1994

    1994

  20. [28]

    Toward an algebraic theory of Welschinger invariants

    Marc Levine. Toward an algebraic theory of Welschinger invariants . Preprint, arXiv:1808.02238 , 2018

    2018 arXiv

  21. [29]

    The enumeration of plane tropical curves

    Hannah Markwig. The enumeration of plane tropical curves . PhD thesis, TU Kaiserslautern, 2006

    2006

  22. [30]

    Enumerative tropical geometry in R ^2

    Grigory Mikhalkin. Enumerative tropical geometry in R ^2 . J. Amer. Math. Soc. , 18:313--377, 2005

    2005

  23. [31]

    Bitangents to plane quartics via tropical geometry: rationality, A ^1 -enumeration, and real signed count

    Hannah Markwig, Sam Payne, and Kris Shaw. Bitangents to plane quartics via tropical geometry: rationality, A ^1 -enumeration, and real signed count . Res. Math. Sci. , 10, 2023. doi:0.1007/s40687-023-00383-1

    2023

  24. [32]

    Descendant log G romov- W itten invariants for toric varieties and tropical curves

    Travis Mandel and Helge Ruddat. Descendant log G romov- W itten invariants for toric varieties and tropical curves. Trans. Amer. Math. Soc. , 373(2):1109--1152, 2020

    2020

  25. [33]

    Toric degenerations of toric varieties and tropical curves

    Takeo Nishinou and Bernd Siebert. Toric degenerations of toric varieties and tropical curves. Duke Math. J. , 135:1--51, 2006. arXiv:math.AG/0409060

    2006

  26. [34]

    Power structures on the Grothendieck -- Witt ring and the motivic Euler characteristic

    Jesse Pajwani and Ambrus P \'a l. Power structures on the Grothendieck -- Witt ring and the motivic Euler characteristic. Preprint, arXiv :2309.03366 [math. NT ] (2023), 2023

    2023 arXiv

  27. [35]

    Skeletons of stable maps I : rational curves in toric varieties

    Dhruv Ranganathan. Skeletons of stable maps I : rational curves in toric varieties. J. Lond. Math. Soc. (2) , 95(3):804--832, 2017

    2017

  28. [36]

    First steps in tropical geometry

    J\" u rgen Richter-Gebert, Bernd Sturmfels, and Thorsten Theobald. First steps in tropical geometry. In Idempotent mathematics and mathematical physics , volume 377 of Contemp. Math. , pages 289--317. Amer. Math. Soc., Providence, RI, 2005

    2005

  29. [37]

    A tropical approach to enumerative geometry

    Eugenii Shustin. A tropical approach to enumerative geometry. Algebra Anal. , 17(2):170--214, 2005. arXiv:math.AG/0211278

    2005

  30. [38]

    A tropical calculation of the Welschinger invariants of real toric Del Pezzo surfaces

    Eugenii Shustin. A tropical calculation of the Welschinger invariants of real toric Del Pezzo surfaces. J. Algebraic Geom. , 15(2):285--322, 2006. arXiv:mathAG/0406099

    2006

  31. [39]

    The tropical Grassmannian

    David Speyer and Bernd Sturmfels. The tropical Grassmannian . Adv. Geom. , 4:389--411, 2004

    2004

  32. [40]

    Tropical geometry and correspondence theorems via toric stacks

    Ilya Tyomkin. Tropical geometry and correspondence theorems via toric stacks. Math. Ann. , 353(3):945--995, 2012

    2012

  33. [41]

    O. Ya. Viro. Real plane algebraic curves: constructions with controlled topology. Algebra i Analiz , 1(5):1--73, 1989

    1989

  34. [42]

    Invariants of real rational symplectic 4-manifolds and lower bounds in real enumerative geometry

    Jean-Yves Welschinger. Invariants of real rational symplectic 4-manifolds and lower bounds in real enumerative geometry. C. R. Math. Acad. Sci. Paris , 336(4):341--344, 2003

    2003

  35. [43]

    Invariants of real symplectic 4-manifolds and lower bounds in real enumerative geometry

    Jean-Yves Welschinger. Invariants of real symplectic 4-manifolds and lower bounds in real enumerative geometry. Invent. Math. , 162(1):195--234, 2005

    2005

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.