pith. sign in

arxiv: 2605.23687 · v1 · pith:HU4J4GTRnew · submitted 2026-05-22 · 🧮 math.AG · math.CV

Tropical Cartan's second main theorem for hyperplanes in general position

Yuting Wang , Tingbin Cao This is my paper

Pith reviewed 2026-05-25 03:16 UTC · model grok-4.3

classification 🧮 math.AG math.CV
keywords tropical geometryCartan second main theoremhyperplanes in general positionNevanlinna theorycounting functionsCasorati determinanttropical Cramer theoremlinear independence
0
0 comments X

The pith

Tropical Cartan's second main theorem holds for hyperplanes in general position without growth conditions or exceptional sets.

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

This paper proves a tropical version of Cartan's second main theorem concerning holomorphic curves that intersect hyperplanes in general position. It gives two versions of the result. The main version avoids all growth conditions and exceptional sets by using the sum of counting functions for the curve components in place of the Casorati term, so the inequality holds at every radius. The proof relies on a tropical version of Cramer's theorem to avoid the logarithmic derivative lemma. The work also distinguishes different kinds of linear independence and supplies a counterexample showing that a truncated form of the theorem fails in the tropical setting.

Core claim

We prove a tropical analogue of Cartan's second main theorem for holomorphic curves intersecting hyperplanes in general position. The second and main version is completely free of growth conditions and exceptional sets; it replaces the Casorati term by the sum of the counting functions of the curve's components, yielding an inequality valid for every r. The proof uses a tropical Cramer theorem, bypassing the logarithmic derivative lemma. This improves upon previous results where the coefficient could be suboptimal even under the general position hypothesis. We also clarify the relation between different notions of linear independence, and present the first counterexample to the truncated第二主定

What carries the argument

A tropical Cramer theorem that applies to matrices formed from hyperplane intersections, enabling the main inequality without the logarithmic derivative lemma.

If this is right

  • The main inequality holds for every value of the radius r.
  • No exceptional sets are needed in the statement.
  • The coefficient in front of the characteristic function is the expected one under general position.
  • Different notions of linear independence over the tropical numbers are distinguished.

Where Pith is reading between the lines

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

  • This formulation without exceptional sets may make it easier to apply the theorem in explicit calculations for specific curves.
  • The counterexample to the truncated theorem suggests that multiplicity truncation behaves differently in tropical geometry than in the classical case.
  • Connections to algebraic geometry over non-Archimedean fields might be explored using this result.

Load-bearing premise

The tropical Cramer theorem applies directly to the matrices arising from the hyperplane intersections and linear independence conditions in the proof.

What would settle it

Constructing a tropical holomorphic curve that intersects hyperplanes in general position but violates the inequality of Theorem 1.9 for some radius r would disprove the main claim.

Figures

Figures reproduced from arXiv: 2605.23687 by Tingbin Cao, Yuting Wang.

Figure 1
Figure 1. Figure 1: Tropical meromorphic functions in Example 3.3 Example 3.3. Take three tropical meromorphic functions f0(x) = max{−x + 1, 1, x − 1}, f1(x) =    x, x < 0, 0, 0 ≤ x ≤ 2, 2x − 4, x > 2, and f2(x) =    −x − 1, x < 0, −1, 0 ≤ x ≤ 2, 2x − 5, x > 2. From the left hand of [PITH_FULL_IMAGE:figures/full_fig_p013_1.png] view at source ↗
read the original abstract

We prove a tropical analogue of Cartan's second main theorem for holomorphic curves intersecting hyperplanes in general position--a setting that was not fully resolved by previous tropical Nevanlinna theory. Two versions are obtained. The first (Theorem 1.7) requires subnormal growth and involves the tropical Casorati determinant. The second and main version (Theorem 1.9) is completely free of growth conditions and exceptional sets; it replaces the Casorati term by the sum of the counting functions of the curve's components, yielding an inequality valid for every r. The proof uses a tropical Cramer theorem, bypassing the logarithmic derivative lemma. This improves upon previous results by Korhonen-Tohge and Cao-Zheng, where the coefficient could be suboptimal even under the general position hypothesis. We also clarify the relation between different notions of linear independence, and present the first counterexample to the truncated second main theorem in the tropical setting (Example 5.4).

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 establishes a tropical version of Cartan's second main theorem for holomorphic curves meeting hyperplanes in general position. Theorem 1.7 assumes subnormal growth and retains a tropical Casorati determinant term; the main result, Theorem 1.9, removes all growth conditions and exceptional sets by replacing the Casorati term with the sum of the counting functions of the curve components, producing an inequality valid for every r. The argument invokes a tropical Cramer theorem to avoid the logarithmic derivative lemma. The authors also clarify several notions of linear independence and supply the first counterexample (Example 5.4) to a truncated second main theorem in the tropical setting, improving coefficient bounds obtained by Korhonen-Tohge and Cao-Zheng.

Significance. If the central claims hold, the work supplies the first growth-condition-free tropical Cartan theorem in this setting and demonstrates that the coefficient can be made optimal under general position alone. The explicit counterexample to truncation and the clarification of linear-independence notions are concrete contributions to tropical Nevanlinna theory.

major comments (2)
  1. [proof of Theorem 1.9] Proof of Theorem 1.9: the invocation of the tropical Cramer theorem requires that the matrices assembled from the hyperplane intersections and the linear-independence conditions satisfy the exact rank and independence hypotheses of that theorem at every point r. General position of the hyperplanes is invoked, but the manuscript does not appear to contain an explicit verification that these matrix conditions hold uniformly for arbitrary r; without such a check the bypass of the logarithmic derivative lemma rests on an unconfirmed step.
  2. [derivation of Theorem 1.9 from Theorem 1.7] §4 (or wherever the relation between the two versions is derived): the passage from the Casorati form (Theorem 1.7) to the component-sum form (Theorem 1.9) appears to rely on the counting functions of the irreducible components absorbing the exceptional-set contributions. It is not clear from the text whether this absorption is uniform when the curve has multiple components of positive dimension; a short explicit estimate or reference to a prior lemma would strengthen the claim that the inequality holds for every r.
minor comments (2)
  1. [Introduction] The abstract states that the coefficient is optimal under general position; the introduction should cite the precise coefficient appearing in the earlier works of Korhonen-Tohge and Cao-Zheng so that the improvement is numerically visible.
  2. [Notation section] Notation for the tropical counting functions N(r,·) and the component-sum term should be introduced once, with a short table or sentence clarifying how they differ from the classical Nevanlinna counting functions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. We address each point below and indicate whether revisions are planned.

read point-by-point responses

  1. Referee: [proof of Theorem 1.9] Proof of Theorem 1.9: the invocation of the tropical Cramer theorem requires that the matrices assembled from the hyperplane intersections and the linear-independence conditions satisfy the exact rank and independence hypotheses of that theorem at every point r. General position of the hyperplanes is invoked, but the manuscript does not appear to contain an explicit verification that these matrix conditions hold uniformly for arbitrary r; without such a check the bypass of the logarithmic derivative lemma rests on an unconfirmed step.

    Authors: The general position hypothesis on the hyperplanes directly implies that the assembled matrices satisfy the rank and linear-independence conditions of the tropical Cramer theorem at every r. Because the hyperplanes remain in general position independently of r, and the curve components are fixed, the required full rank holds pointwise by the same linear-algebraic argument used to state the tropical Cramer theorem; no r-dependent degeneration occurs. We therefore maintain that the step is justified by the standing assumptions of the paper. revision: no

  2. Referee: [derivation of Theorem 1.9 from Theorem 1.7] §4 (or wherever the relation between the two versions is derived): the passage from the Casorati form (Theorem 1.7) to the component-sum form (Theorem 1.9) appears to rely on the counting functions of the irreducible components absorbing the exceptional-set contributions. It is not clear from the text whether this absorption is uniform when the curve has multiple components of positive dimension; a short explicit estimate or reference to a prior lemma would strengthen the claim that the inequality holds for every r.

    Authors: The absorption is uniform because the sum of the counting functions is taken over all irreducible components, each of which contributes its own Nevanlinna counting function independently of the others. Exceptional-set terms arising in the Casorati form are bounded by the total counting function of the union of components; when components have positive dimension the same bound continues to hold, since the proximity and counting functions add linearly. This is already implicit in the definition of the multi-component counting functions used throughout the paper, so the inequality remains valid for every r without further restrictions. revision: no

Circularity Check

0 steps flagged

Minor self-citation to prior tropical results; central derivation remains independent

full rationale

The paper derives Theorem 1.9 by direct application of an invoked tropical Cramer theorem to hyperplane intersection matrices, replacing the Casorati term with component counting functions to obtain an inequality valid for every r without growth conditions. This does not reduce the claimed inequality to a quantity defined in terms of itself or to a fitted parameter renamed as a prediction. References to Cao-Zheng and Korhonen-Tohge supply context for improvement but are not load-bearing for the proof steps; the tropical Cramer theorem is treated as an external tool whose hypotheses are asserted to hold under general position. No self-definitional, ansatz-smuggling, or uniqueness-imported patterns appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the applicability of the tropical Cramer theorem and standard axioms of tropical geometry; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Tropical Cramer theorem holds for the relevant intersection matrices
    Invoked in the abstract to replace the logarithmic derivative lemma and obtain the growth-free bound.

pith-pipeline@v0.9.0 · 5693 in / 1197 out tokens · 38177 ms · 2026-05-25T03:16:39.361003+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

21 extracted references · 21 canonical work pages

  1. [1]

    Akian, S

    M. Akian, S. Gaubert, A. Guterman, Linear independence over tropical semirings and beyond, in: Tropical and Idempotent Mathematics, in: Contemp. Math., vol. 495, American Mathematical Society, Providence, RI, 2009, pp. 1-38

    work page 2009

  2. [2]

    Akian, S

    M. Akian, S. Gaubert, A. Guterman, Tropical cramer determinants revisited, Tropical and idempotent mathematics and applications 616 (2014): 1-45

    work page 2014

  3. [3]

    Cartan, Sur l´ es zeros des combinaisons lin´ eaires depfonctions holomorphes donn´ ees,Mathematica Cluj7 (1933) 5-31

    H. Cartan, Sur l´ es zeros des combinaisons lin´ eaires depfonctions holomorphes donn´ ees,Mathematica Cluj7 (1933) 5-31

    work page 1933

  4. [4]

    T. B. Cao, J. H. Zheng, Nevanlinna theory for tropical hypersurfaces, Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 16(5), 2025: 2105-2144

    work page 2025

  5. [5]

    T. B. Cao and J. H. Peng, Tropical Nevanlinna theory in several variables, Journal of the London Mathematical Society 113(2), 2026: e70449, 49 pp. 35

    work page 2026

  6. [6]

    Gondran and M

    M. Gondran and M. Minoux, Graphes et algorithmes, Collection de la Direction des ´Etudes et Recherches d’´Electricit´ e de France (Collection of the Department of Studies and Research of ´Electricit´ e de France), vol. 37,´Editions Eyrolles, Paris, (1979)

    work page 1979

  7. [7]

    Gondran and M

    M. Gondran and M. Minoux, Linear algebra in dioids: a survey of recent results, In Algebraic and combinatorial methods in operations research, volume 95 of North- Holland Math. Stud., pages 147-163. Amsterdam: North-Holland (1984)

    work page 1984

  8. [8]

    Halonen, R

    J. Halonen, R. J. Korhonen and G. Filipuk, Tropical second main theorem and the nevanlinna inverse problem, arXiv:2305.13939, (2023)

    work page arXiv 2023

  9. [9]

    R. G. Halburd, N. J. Southall, Tropical Nevanlinna theory and ultradiscrete equa- tions, International Mathematics Research Notices 2009.5 (2009): 887-911

    work page 2009

  10. [10]

    Izhakian, L

    Z. Izhakian, L. Rowen, The tropical rank of a tropical matrix, Communications in Algebra, 2009, 37(11): 3912-3927

    work page 2009

  11. [11]

    R. J. Korhonen, I. Laine, K. Tohge, Tropical value distribution theory and ultra- discrete equations, World Scientific Co. Pte. Ltd., Singapore, 2015

    work page 2015

  12. [12]

    R. J. Korhonen and K. Tohge, Second main theorem in the tropical projective space, Advances in Mathematics 298(2016), 693-725

    work page 2016

  13. [13]

    R. J. Korhonen and C. L. Tan,n-th tropical Nevanlinna theory, arXiv:2602.03500 (2026)

    work page arXiv 2026

  14. [14]

    Laine and K

    I. Laine and K. Tohge, Tropical Nevanlinna theory and second main theorem, Pro- ceedings of the London Mathematical Society 2011, 102(5), 883-922

    work page 2011

  15. [15]

    Mikhalkin, Enumerative tropical algebraic geometry inR 2,Journal of the Ameri- can Mathematical Society 2005, 18(2), 313-377

    G. Mikhalkin, Enumerative tropical algebraic geometry inR 2,Journal of the Ameri- can Mathematical Society 2005, 18(2), 313-377

    work page 2005

  16. [16]

    Richter-Gebert, B

    J. Richter-Gebert, B. Sturmfels, and T. Theobald, First steps in tropical geometry, In G. L. Litvinov and V. P. Maslov, editors, Idempotent mathematics and mathe- matical physics, volume 377 of Contemp. Math., pages 289–317. Amer. Math. Soc., Providence, RI, 2005

    work page 2005

  17. [17]

    Rudin, Real and complex Analysis, 3rd ed

    W. Rudin, Real and complex Analysis, 3rd ed. McGraw-Hill, Section 9.7, 1987

    work page 1987

  18. [18]

    Speyer, B

    D. Speyer, B. Sturmfels, Tropical mathematics, Mathematics Magazine 2009, 82 (3), 163-173

    work page 2009

  19. [19]

    Y. L. Tsai, Working with tropical meromorphic functions of one variable, Taiwanese Journal of Mathematics. 16(2), 2012: 691-712

    work page 2012

  20. [20]

    Plus, Linear systems in (max, +)-algebra

    M. Plus, Linear systems in (max, +)-algebra. In Proceedings of the 29th Conference on Decision and Control, Honolulu, Dec. 1990

    work page 1990

  21. [21]

    Ye, On Nevanlinna’s second main theorem in projective space

    Z. Ye, On Nevanlinna’s second main theorem in projective space. Inventiones Math- ematicae, 1995, 122(1): 475-507. (Yuting Wang and Tingbin Cao)Department of Mathematics, Nanchang Uni- versity, Nanchang city, Jiangxi 330031, P. R. China Email address:ytwang@email.ncu.edu.cn, tbcao@ncu.edu.cn (the corresponding author)

    work page 1995