pith. sign in

arxiv: 2605.16910 · v1 · pith:6UAS4IKFnew · submitted 2026-05-16 · 🧮 math.AG

Tropical curves with parallel rays

JuAe Song This is my paper

Pith reviewed 2026-05-19 19:12 UTC · model grok-4.3

classification 🧮 math.AG
keywords tropical curvesabstract tropical curvesparallel raysrational function semifieldscategorical equivalencetropical semifieldalgebraic geometry
0
0 comments X p. Extension
pith:6UAS4IKF Add to your LaTeX paper What is a Pith Number? 
\usepackage{pith}
\pithnumber{6UAS4IKF}

Prints a linked pith:6UAS4IKF badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

The pith

Abstract tropical curves can now include parallel rays while maintaining a categorical equivalence to their rational function semifields.

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

The traditional definition of abstract tropical curves cannot handle parallel rays, a feature present in standard tropical curves. This paper introduces a new notion of abstract tropical curves with parallel rays to fix this issue. It defines the rational function semifields for these curves and provides a characterization of them. A variant of the categorical equivalence is established between the category of these curves with appropriate morphisms and the category of semifields over the tropical semifield T with T-algebra homomorphisms. This setup allows translating geometric concepts such as weights on edges and the balancing condition into algebraic terms.

Core claim

By defining abstract tropical curves with parallel rays, the rational function semifields of these curves can be characterized, and a contravariant categorical equivalence holds between the category of such curves (with suitable morphisms) and the category of T-algebras (with homomorphisms), extending previous characterizations and enabling algebraic interpretations of geometric properties like edge weights and balancing conditions.

What carries the argument

Abstract tropical curves with parallel rays, which serve as the geometric objects whose rational function semifields are defined and characterized to establish the categorical equivalence.

If this is right

  • Geometric notions for tropical curves can be translated into algebraic ones via the equivalence.
  • Weights on edges have algebraic counterparts under the equivalence.
  • The balancing condition can be expressed algebraically.
  • The framework now accommodates parallel rays without structural issues.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This extension may facilitate the study of more general tropical varieties that include parallel structures.
  • It could lead to new ways to apply algebraic methods to geometric problems involving rays in tropical geometry.

Load-bearing premise

The new definition of abstract tropical curves with parallel rays is a consistent extension of the traditional definition that allows characterization of the rational function semifields without inconsistencies.

What would settle it

A concrete falsifier would be a specific example of an abstract tropical curve with parallel rays where the defined rational function semifield fails to satisfy the expected characterization or where the categorical equivalence does not hold.

read the original abstract

In the previous works, the rational function semifields of abstract tropical curves were characterized. In this paper, we give a contravariant categorical equivalence between the category of abstract tropical curves with morphisms and the category of semifields over the tropical semifield $\boldsymbol{T}$ characterized above with $\boldsymbol{T}$-algebra homomorphisms. The characterization tells us that the traditional definition of abstract tropical curves has a fatal flaw such that we are never able to deal with parallel rays, unlike the traditional tropical curves, which generally admit them. To address this flaw, we introduce a new notion of abstract tropical curves with parallel rays. Then we define the rational function semifields of these curves and give a characterization of them, and a variant of the categorical equivalence between their categories with a suitable notion of morphisms between these curves. Under the categorical equivalences, we translate several geometric notions for traditional or abstract tropical curves (with parallel rays) into algebraic ones, including weights on edges and the balancing condition.

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

0 major / 2 minor

Summary. The paper introduces a new notion of abstract tropical curves with parallel rays to remedy a limitation in prior definitions that excluded such rays. It defines the associated rational function semifields, characterizes them via a list of axioms translated from geometric data (including weights and balancing), and establishes a contravariant categorical equivalence between the category of these curves (with a suitable notion of morphisms) and the category of semifields over the tropical semifield T equipped with T-algebra homomorphisms. The work extends previous characterizations of semifields arising from ordinary abstract tropical curves and translates geometric notions such as edge weights and the balancing condition into algebraic terms under the equivalence.

Significance. If the constructions and equivalence hold, the result supplies a conservative extension of the algebraic framework for abstract tropical curves that now accommodates parallel rays, aligning it more closely with classical tropical geometry. The explicit functors and natural isomorphisms between the geometric and algebraic categories provide a concrete bridge that could support further translations of geometric properties into semifield language and vice versa.

minor comments (2)
  1. The introduction refers to 'previous works' on the characterization of rational function semifields without a specific citation; adding the precise reference would clarify the extension being made.
  2. In the definition of morphisms between curves with parallel rays, the handling of rays at infinity could be illustrated with a small diagram or example to make the compatibility with the balancing condition more immediate.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript and for recommending minor revision. We appreciate the recognition that our work provides a conservative extension of the algebraic framework for abstract tropical curves, now accommodating parallel rays, and that the explicit functors and natural isomorphisms offer a concrete bridge between geometric and algebraic categories. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; extension supplies independent functors and characterizations

full rationale

The paper recalls prior characterizations of rational function semifields arising from ordinary abstract tropical curves solely to motivate the limitation on parallel rays, then introduces an explicit new definition of abstract tropical curves with parallel rays, defines the associated semifields, states an analogous list of axioms, and constructs explicit functors in both directions together with the required natural isomorphisms to establish the contravariant equivalence. Because the functors, isomorphisms, and translations of weights and balancing conditions are provided directly in the present work rather than being recovered from the prior result by definition or renaming, the derivation chain remains self-contained and does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the new definition of curves with parallel rays and the assumption that their rational function semifields admit a characterization analogous to previous cases, relying on standard category theory and the prior definition of the tropical semifield T.

axioms (2)
  • domain assumption The tropical semifield T is as previously characterized in cited works
    The paper refers to the tropical semifield T characterized above in previous works.
  • standard math Standard axioms of category theory apply to morphisms and contravariant equivalences
    Used to define the category of curves with morphisms and establish the equivalence.
invented entities (1)
  • Abstract tropical curves with parallel rays no independent evidence
    purpose: To allow handling of parallel rays unlike traditional abstract tropical curves
    Newly postulated definition introduced to address the fatal flaw in the traditional definition.

pith-pipeline@v0.9.0 · 5683 in / 1356 out tokens · 55500 ms · 2026-05-19T19:12:22.553512+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

29 extracted references · 29 canonical work pages

  1. [1]

    7, 67, 2015

    Omid Amini, Matthew Baker, Erwan Brugall´ e and Joseph Rabinoff,Lifting harmonic morphisms I: metrized complexes and berkovich skeleta, Research in the Mathematical Sciences2, Art. 7, 67, 2015

    work page 2015

  2. [2]

    Omid Amini, Shu Kawaguchi and JuAe Song,Tropical function fields, finite generation, and faithful tropicalization, arXiv:2503.20611

    work page arXiv

  3. [3]

    Matthew Baker and Serguei Norine,Riemann–Roch and Abel–Jacobi theory on a finite graph, Ad- vances in Mathematics215(2):766—788, 2007

    work page 2007

  4. [4]

    Melody Chan,Tropical hyperelliptic curves, Journal of Algebraic Combinatorics37:331-359, 2013

    work page 2013

  5. [5]

    Andreas Gathmann and Michael Kerber,A Riemann–Roch theorem in tropical geometry, Mathema- tische Zeitschrift259(1), 217–230, 2008

    work page 2008

  6. [6]

    Jeffrey Giansiracusa and Noah Giansiracusa,Equations of tropical varieties, Duke Mathematical Jour- nal165(18):3379–3433, 2016

    work page 2016

  7. [7]

    Golan,Semirings and their applications, Updated and expanded version of The theory of semirings, with applications to mathematics and theoretical computer science

    Jonathan S. Golan,Semirings and their applications, Updated and expanded version of The theory of semirings, with applications to mathematics and theoretical computer science. Kluwer Academic Publishers, Dordrecht, 1999

    work page 1999

  8. [8]

    3-4, 1111–1140, 2012

    Christian Haase, Gregg Musiker and Josephine Yu,Linear Systems on Tropical Curves, Mathematis- che Zeitschrift270, no. 3-4, 1111–1140, 2012

    work page 2012

  9. [9]

    Hans Arnold Heilbronn,On discrete harmonic functions, Proceedings of the Cambridge Philosophical Society,45:194–206, 1949

    work page 1949

  10. [10]

    Takaaki Ito,Local theory of functions on tropical curves inR n, arXiv:2204.02599

    work page arXiv

  11. [11]

    Anders Nedergaard Jensen and Josephine Yu,Stable intersections of tropical varieties, Journal of Algebraic Combinatorics43:101–128, 2016

    work page 2016

  12. [12]

    D´ aniel Jo´ o and Kalina Mincheva,Prime congruences of additively idempotent semirings and a Null- stellensatz for tropical polynomials, Sekecta Mathematica24(3):2207–2233, 2018

    work page 2018

  13. [13]

    D´ aniel Jo´ o and Kalina Mincheva,On the dimension of polynomial semiringsJournal of Algebra 507:103-119, 2018

    work page 2018

  14. [14]

    Song JuAe,Generators of invariant linear system on tropical curves for finite isometry group, Hokkaido Mathematical journal50(1) (2021), 55–76

    work page 2021

  15. [15]

    Song JuAe,Rational function semifields of tropical curves are finitely generated over the tropical semifield, International Journal of Algebra and Computation32(08):1575–1594, 2022

    work page 2022

  16. [16]

    Song JuAe,T-algebra homomorphisms between rational function semifields of tropical curves, arXiv:2304.03508

    work page arXiv

  17. [17]

    Song JuAe,Semiring isomorphisms between rational function semifields of tropical curves, Journal of Pure and Applied Algebra228(9):107683, 2024

    work page 2024

  18. [18]

    Song JuAe,Finitely generated congruences on tropical rational function semifields, arXiv2405.14087

    work page arXiv

  19. [19]

    Song JuAe,Congruences on tropical rational function semifields and tropical curves, Communications in Algebra, Communications in Algebra:1–15, 2026

    work page 2026

  20. [20]

    Song JuAe and Yasuhito Nakajima,A geometric interpretation of Krull dimensions ofT-algebras, arXiv:2408.02366v2

    work page arXiv

  21. [21]

    Jaiung Jun,Valuations of semirings, Journal of Pure and Applied Algebra222(8):2063–2088, 2018

    work page 2063

  22. [22]

    Gustav Kirchhoff,Ueber die Aufl¨ osung der Gleichungen, auf welche man bei der Untersuchung der linearen Vertheilung galvanischer Str¨ ome gef¨ uhrt wird, Annalen der Physik und Chemie, 148, 497–508, 1847

    work page

  23. [23]

    Some basic structures, Waves in Random Media,14(1), S107– S128, 2004

    Peter Kuchment,Quantum graphs I. Some basic structures, Waves in Random Media,14(1), S107– S128, 2004

    work page 2004

  24. [24]

    Diane Maclagan and Felipe Rinc´ on,Tropical ideals, Compositio Mathematica154(3):640–670, 2018

    work page 2018

  25. [25]

    108713, 44, 2022

    Diane Maclagan and Felipe Rinc´ on,Varieties of tropical ideals are balanced, Advances in Mathemat- ics410(part A): Paper No. 108713, 44, 2022

    work page 2022

  26. [26]

    Diane Maclagan and Bernd Sturmfels,Introduction to tropical geometry, Graduate Studies in Math- ematics, Vol. 161. American Mathematical Soc., Providence, RI, 2015

    work page 2015

  27. [27]

    Draft of a book available at:https: //www.math.uni-tuebingen.de/user/jora/downloads/main.pdf

    Grigory Mikhalkin and Johannes Rau,Tropical geometry, 2018. Draft of a book available at:https: //www.math.uni-tuebingen.de/user/jora/downloads/main.pdf

    work page 2018

  28. [28]

    465, American Mathematical Society, RI, 203–230, 2008

    Grigory Mikhalkin and Ilia Zharkov,Tropical curves, their Jacobians and theta functions, Curves and abelian varieties, Contemporary Mathematics, Vol. 465, American Mathematical Society, RI, 203–230, 2008. 36 SONG JUAE

    work page 2008

  29. [29]

    F aculty of Mathematics, Kyushu University, 744 Motooka, Nishi-ku, Fukuoka, 819- 0395, Japan

    Jean-Pierre Roth,Le spectre du Laplacien sur un graphe, Colloque de Th´ eorie du Potentiel-Jacques Deny, Orsay, 1983. F aculty of Mathematics, Kyushu University, 744 Motooka, Nishi-ku, Fukuoka, 819- 0395, Japan. Email address:songjuae@math.kyushu-u.ac.jp

    work page 1983