pith. sign in

arxiv: 2211.15719 · v5 · pith:A7MOJN5Nnew · submitted 2022-11-28 · 🧮 math.AG · math.CO

Universality for tropical and logarithmic maps

Gabriel Corrigan , Navid Nabijou , Dan Simms This is my paper

Pith reviewed 2026-05-24 10:52 UTC · model grok-4.3

classification 🧮 math.AG math.CO
keywords tropical curveslogarithmic mapsArtin fanstoric monoidsuniversalitytropical geometrylogarithmic geometrymoduli spaces
0
0 comments X

The pith

Every toric monoid appears in a space of maps from tropical curves to an orthant.

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

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.

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.

What carries the argument

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

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.

Where Pith is reading between the lines

These are 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.

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.

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.

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 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.

axioms (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.

pith-pipeline@v0.9.0 · 5594 in / 1155 out tokens · 29567 ms · 2026-05-24T10:52:01.521888+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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

  9. [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

    work page 1996

  10. [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

    work page 2021

  11. [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

    work page arXiv 2022

  12. [12]

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

    work page 2014

  13. [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

    work page 2012

  14. [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

    work page 2010

  15. [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

    work page 1993

  16. [16]

    Graber and R

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

    work page 1999

  17. [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

    work page 2019

  18. [18]

    Gross and B

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

    work page 2013

  19. [19]

    Jelisiejew

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

    work page 2020

  20. [20]

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

    work page arXiv 2022

  21. [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

    work page arXiv 2022

  22. [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

    work page 2011

  23. [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

    work page 1998

  24. [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

    work page 2013

  25. [25]

    Manolache

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

    work page 2012

  26. [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

    work page 1985

  27. [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

    work page 1988

  28. [28]

    Maulik and D

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

    work page arXiv 2020

  29. [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

    work page arXiv 2021

  30. [30]

    Molcho and J

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

    work page arXiv 2018

  31. [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

    work page 2020

  32. [32]

    Nabijou and D

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

    work page 2022

  33. [33]

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

    work page 2018

  34. [34]

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

    work page 2008

  35. [35]

    Ranganathan

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

    work page 2017

  36. [36]

    Ranganathan

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

    work page 2022

  37. [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

    work page 2019

  38. [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

    work page 2020

  39. [39]

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

    work page 2014

  40. [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

    work page arXiv 2002

  41. [41]

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

    work page 2006