Pith. sign in

REVIEW 2 major objections 2 minor 41 references

Universality for tropical and logarithmic maps

T0 review · 2 major / 2 minor · reviewed 2026-05-24 · grok-4.3

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

Pith's one-line read Every toric monoid appears in a space of maps from tropical curves to an orthant.

desk verdict The paper shows any toric monoid arises from tropical curve maps to an orthant, giving universality for singularities in log map spaces to Artin fans, with a rank-1 obstruction for the 7-gon cone. read the letter →

arxiv 2211.15719 v5 pith:A7MOJN5N submitted 2022-11-28 math.AG math.CO

Gabriel Corrigan , Navid Nabijou , Dan Simms This is my paper · ORCID
classification math.AGmath.CO
keywords tropicalcurveslogarithmicmapsArtinfanstoricmonoidsuniversalitygeometrymodulispaces
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 that any toric monoid can be obtained as the monoid structure on the space of maps from some tropical curve to an orthant. This implies that spaces of logarithmic maps to Artin fans can realize arbitrary toric singularities. The authors show that the required target rank varies with the singularity, since the cone over the 7-gon does not arise for rank-1 targets. Parallel results hold for tropical maps to affine space. A reader would care because the claim supplies a combinatorial mechanism that generates all toric monoids from simple choices of curve and target.

What carries the argument

The toric monoid assembled from the combinatorial data of maps from a tropical curve to an orthant.

What would settle it

Explicit construction of a toric monoid for which no tropical curve and orthant produce a space carrying that monoid, or a direct check confirming the 7-gon cone requires target rank at least 2.

Watch

Extended reading notes

Core claim

Every toric monoid appears in a space of maps from tropical curves to an orthant. It follows that spaces of logarithmic maps to Artin fans exhibit arbitrary toric singularities, yielding a virtual universality theorem for logarithmic maps to pairs. The target rank depends on the chosen singularity, as the cone over the 7-gon never appears in maps to a rank-1 target. Similar results hold for tropical maps to affine space.

Load-bearing premise

The combinatorial data of maps from tropical curves to an orthant assemble into a toric monoid whose properties are controlled solely by the choice of curve and orthant.

Editorial extensions

If this is right

  • Spaces of logarithmic maps to Artin fans realize every toric singularity.
  • The cone over the 7-gon requires targets of rank at least 2.
  • Tropical maps to affine space realize every toric monoid.
  • A virtual universality theorem holds for logarithmic maps to pairs.

Reading between the lines

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

  • Tropical geometry supplies a complete combinatorial source for all toric singularities that appear in logarithmic moduli problems.
  • The rank dependence may guide explicit constructions of logarithmic moduli spaces carrying prescribed singularities.
  • The same assembly procedure could be tested on maps to other targets such as projective varieties.
  • Algebraic lifts of these tropical monoids might exist in actual moduli spaces of stable maps.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The paper proves that every toric monoid arises as the monoid associated to a space of maps from a tropical curve to an orthant. As a consequence, spaces of logarithmic maps to Artin fans realize arbitrary toric singularities (a virtual universality theorem). The target rank depends on the singularity; in particular the cone over the 7-gon is shown not to appear for rank-1 targets. Analogous statements are obtained for tropical maps to affine space.

Significance. If the lifting argument holds, the result supplies a strong existence statement showing that logarithmic moduli spaces can exhibit essentially arbitrary toric singularities, controlled only by the choice of source curve and target orthant. The explicit combinatorial construction and the rank-dependent negative result are concrete contributions that make the universality claim falsifiable.

major comments (2)
  1. [lifting argument / correspondence between tropical and logarithmic maps] The central lifting step (tropical monoid realized by maps to an orthant equals the monoid of logarithmic maps to the corresponding Artin fan) must be shown to preserve the monoid without extra relations imposed by the log structure or stability conditions on the source. The abstract notes rank-dependent obstructions but does not indicate where this equality is verified in detail; if the verification relies on a general correspondence theorem, the precise statement used should be cited.
  2. [rank-1 obstruction for the 7-gon cone] For the negative result on the cone over the 7-gon in rank 1, the obstruction must be shown to be intrinsic to the combinatorial data rather than an artifact of the particular curve or orthant chosen; the argument should be checked against the general construction used for the positive universality statement.
minor comments (2)
  1. Notation for the monoid of maps and for the orthant should be introduced uniformly at the beginning and used consistently; currently the abstract switches between 'toric monoid' and 'space of maps' without a single symbol.
  2. The statement 'we obtain similar results for tropical maps to affine space' should be expanded to a precise theorem statement or reference to the relevant section.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying these points on the lifting correspondence and the rank-1 obstruction. We address each comment below.

read point-by-point responses

  1. Referee: The central lifting step (tropical monoid realized by maps to an orthant equals the monoid of logarithmic maps to the corresponding Artin fan) must be shown to preserve the monoid without extra relations imposed by the log structure or stability conditions on the source. The abstract notes rank-dependent obstructions but does not indicate where this equality is verified in detail; if the verification relies on a general correspondence theorem, the precise statement used should be cited.

    Authors: The equality of monoids is established directly by the explicit combinatorial construction in Section 3, which produces tropical maps to orthants realizing any given toric monoid and shows that the resulting monoid is identical to that of the corresponding logarithmic maps to the Artin fan. The source stability conditions are chosen precisely to match the tropical data, so no extraneous relations arise from the log structure. The argument relies on the general correspondence stated as Theorem 2.4; we will add an explicit forward reference to Section 3 in the introduction and a sentence in the abstract clarifying the location of the verification. revision: partial

  2. Referee: For the negative result on the cone over the 7-gon in rank 1, the obstruction must be shown to be intrinsic to the combinatorial data rather than an artifact of the particular curve or orthant chosen; the argument should be checked against the general construction used for the positive universality statement.

    Authors: The obstruction is intrinsic: it follows from the rank bound in the general monoid-realization theorem (Theorem 3.1), which shows that any monoid whose minimal generators require more than one independent relation cannot appear for rank-1 targets. The 7-gon cone is treated as a special case of this bound using exactly the same combinatorial data and construction as the positive results; the particular curve and orthant are chosen only to illustrate the general obstruction, not to create it. We will add a short paragraph in Section 5 explicitly deriving the 7-gon case from Theorem 3.1 to emphasize this independence. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: existence proof from standard tropical combinatorial data

full rationale

The abstract presents the central result as a direct existence proof that every toric monoid arises from maps of tropical curves to an orthant, with the logarithmic lift following as a consequence. No equations, fitted parameters, self-definitional constructions, or load-bearing self-citations are exhibited in the provided text that would reduce the claimed monoid to its inputs by construction. The rank-dependent obstruction (cone over 7-gon) is stated as an explicit negative result rather than a hidden constraint. The derivation is therefore self-contained against the external combinatorial benchmarks of tropical geometry.

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

The work is a pure-mathematics existence proof relying on standard definitions in tropical geometry and logarithmic algebraic geometry; no free parameters, ad-hoc axioms, or invented entities are indicated in the abstract.

assumptions (1)
  • standard math Standard definitions and properties of tropical curves, toric monoids, Artin fans, and logarithmic maps to pairs.
    The abstract invokes these established objects without re-deriving them.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Universality for tropical and logarithmic maps." pith.science (2026). https://pith.science/paper/A7MOJN5N

@misc{pith2026221115719,
  author       = {Pith},
  title        = {Pith review of: Universality for tropical and logarithmic maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A7MOJN5N}},
  note         = {Machine review of arXiv:2211.15719}
}
read the original abstract

We prove that every toric monoid appears in a space of maps from tropical curves to an orthant. It follows that spaces of logarithmic maps to Artin fans exhibit arbitrary toric singularities: a virtual universality theorem for logarithmic maps to pairs. The target rank depends on the chosen singularity: we show that the cone over the 7-gon never appears in a space of maps to a rank 1 target. We obtain similar results for tropical maps to affine space.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    Abramovich and Q

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

    work page 2014

  2. [2]

    Abramovich, Q

    D. Abramovich, Q. Chen, M. Gross, and B. Siebert. Decomposition of degenerate G romov- W itten invariants. Compos. Math. , 156(10):2020--2075, 2020

    work page 2020

  3. [3]

    Abramovich, Q

    D. Abramovich, Q. Chen, S. Marcus, M. Ulirsch, and J. Wise. Skeletons and fans of logarithmic structures. In Nonarchimedean and tropical geometry , Simons Symp., pages 287--336. Springer, 2016

    work page 2016

  4. [4]

    K. A. Adiprasito and A. Padrol. A universality theorem for projectively unique polytopes and a conjecture of S hephard. Israel J. Math. , 211(1):239--255, 2016

    work page 2016

  5. [5]

    K. A. Adiprasito, A. Padrol, and L. Theran. Universality theorems for inscribed polytopes and D elaunay triangulations. Discrete Comput. Geom. , 54(2):412--431, 2015

    work page 2015

  6. [6]

    Abramovich and J

    D. Abramovich and J. Wise. Birational invariance in logarithmic G romov- W itten theory. Compos. Math. , 154(3):595--620, 2018

    work page 2018

  7. [7]

    Behrend and B

    K. Behrend and B. Fantechi. The intrinsic normal cone. Invent. Math. , 128(1):45--88, 1997

    work page 1997

  8. [8]

    Brandt, M

    M. Brandt, M. Jones, C. Lee, and D. Ranganathan. Incidence geometry and universality in the tropical plane. J. Combin. Theory Ser. A , 159:26--53, 2018

    work page 2018

Show all 41 references
  1. [9]

    Behrend and Yu

    K. Behrend and Yu. Manin. Stacks of stable maps and G romov- W itten invariants. Duke Math. J. , 85(1):1--60, 1996

    1996

  2. [10]

    Battistella, N

    L. Battistella, N. Nabijou, and D. Ranganathan. Curve counting in genus one: elliptic singularities and relative geometry. Algebr. Geom. , 8(6):637--679, 2021

    2021

  3. [11]

    Battistella , N

    L. Battistella , N. Nabijou , and D. Ranganathan . Gromov-Witten theory via roots and logarithms . arXiv e-prints , page arXiv:2203.17224, March 2022

    2022

  4. [12]

    Q. Chen. Stable logarithmic maps to D eligne- F altings pairs I . Ann. of Math. (2) , 180(2):455--521, 2014

    2014

  5. [13]

    D. Erman. Murphy's law for H ilbert function strata in the H ilbert scheme of points. Math. Res. Lett. , 19(6):1277--1281, 2012

    2012

  6. [14]

    Fantechi and L

    B. Fantechi and L. G\" o ttsche. Riemann- R och theorems and elliptic genus for virtually smooth schemes. Geom. Topol. , 14(1):83--115, 2010

    2010

  7. [15]

    W. Fulton. Introduction to toric varieties , volume 131 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1993. The William H. Roever Lectures in Geometry

    1993

  8. [16]

    Graber and R

    T. Graber and R. Pandharipande. Localization of virtual classes. Invent. Math. , 135(2):487--518, 1999

    1999

  9. [17]

    T. Graber. Torus localization for logarithmic stable maps. In Logarithmic enumerative geometry and mirror symmetry , volume 16, pages 1672--1674. 2019. Abstracts from the workshop held June 16--22, 2019, Organized by Dan Abramovich, Michel van Garrel and Helge Ruddat

    2019

  10. [18]

    Gross and B

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

    2013

  11. [19]

    Jelisiejew

    J. Jelisiejew. Pathologies on the H ilbert scheme of points. Invent. Math. , 220(2):581--610, 2020

    2020

  12. [20]

    S. Kannan . Moduli of relative stable maps to P ^1 : cut-and-paste invariants . arXiv e-prints , page arXiv:2202.05617, February 2022

    2022

  13. [21]

    Kennedy-Hunt , N

    P. Kennedy-Hunt , N. Nabijou , Q. Shafi , and W. Zheng . Divisors and curves on logarithmic mapping spaces . arXiv e-prints , page arXiv:2209.00630, September 2022

    2022

  14. [22]

    Katz and S

    E. Katz and S. Payne. Realization spaces for tropical fans. In Combinatorial aspects of commutative algebra and algebraic geometry , volume 6 of Abel Symp. , pages 73--88. Springer, Berlin, 2011

    2011

  15. [23]

    Li and G

    J. Li and G. Tian. Virtual moduli cycles and G romov- W itten invariants of algebraic varieties. J. Amer. Math. Soc. , 11(1):119--174, 1998

    1998

  16. [24]

    S. H. Lee and R. Vakil. Mn\" e v-- S turmfels universality for schemes. In A celebration of algebraic geometry , volume 18 of Clay Math. Proc. , pages 457--468. Amer. Math. Soc., Providence, RI, 2013

    2013

  17. [25]

    Manolache

    C. Manolache. Virtual pull-backs. J. Algebraic Geom. , 21(2):201--245, 2012

    2012

  18. [26]

    N. E. Mn \"e v. Varieties of combinatorial types of projective configurations and convex polyhedra. Dokl. Akad. Nauk SSSR , 283(6):1312--1314, 1985

    1985

  19. [27]

    N. E. Mn \"e v. The universality theorems on the classification problem of configuration varieties and convex polytopes varieties. In Topology and geometry--- R ohlin S eminar , volume 1346 of Lecture Notes in Math. , pages 527--543. Springer, Berlin, 1988

    1988

  20. [28]

    Maulik and D

    D. Maulik and D. Ranganathan . Logarithmic Donaldson-Thomas theory . June 2020. arXiv:2006.06603

    2020

  21. [29]

    Molcho and D

    S. Molcho and D. Ranganathan . A case study of intersections on blowups of the moduli of curves . June 2021. arXiv:2106.15194

    2021

  22. [30]

    Molcho and J

    S. Molcho and J. Wise . The logarithmic Picard group and its tropicalization . July 2018. arXiv:1807.11364

    2018

  23. [31]

    Marcus and J

    S. Marcus and J. Wise. Logarithmic compactification of the A bel- J acobi section. Proc. Lond. Math. Soc. (3) , 121(5):1207--1250, 2020

    2020

  24. [32]

    Nabijou and D

    N. Nabijou and D. Ranganathan. Gromov-- W itten theory with maximal contacts. Forum Math. Sigma , 10:Paper No. e5, 2022

    2022

  25. [33]

    A. Ogus. Lectures on logarithmic algebraic geometry , volume 178 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2018

    2018

  26. [34]

    S. Payne. Moduli of toric vector bundles. Compos. Math. , 144(5):1199--1213, 2008

    2008

  27. [35]

    Ranganathan

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

    2017

  28. [36]

    Ranganathan

    D. Ranganathan. Logarithmic G romov- W itten theory with expansions. Algebr. Geom. , 9(6):714--761, 2022

    2022

  29. [37]

    Ranganathan, K

    D. Ranganathan, K. Santos-Parker, and J. Wise. Moduli of stable maps in genus one and logarithmic geometry, II . Algebra Number Theory , 13(8):1765--1805, 2019

    2019

  30. [38]

    Ranganathan and J

    D. Ranganathan and J. Wise. Rational curves in the logarithmic multiplicative group. Proc. Amer. Math. Soc. , 148(1):103--110, 2020

    2020

  31. [39]

    D. E. Speyer. Parameterizing tropical curves I : C urves of genus zero and one. Algebra Number Theory , 8(4):963--998, 2014

    2014

  32. [40]

    B. I. Utst l N dland . Murphy's law for toric vector bundles on smooth projective toric varieties . arXiv e-prints , page arXiv:2002.00609, February 2020

    2002

  33. [41]

    R. Vakil. Murphy's law in algebraic geometry: badly-behaved deformation spaces. Invent. Math. , 164(3):569--590, 2006

    2006

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.