Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Tropical linear systems and the realizability problem

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read Tropical linear systems have dimension at least their rank, and tropicalizations of algebraic linear series have dimension exactly their rank.

desk verdict A solid Master's thesis with real new results (dimension lower bound, structure of the canonical realizability locus) and two small proof gaps that are patchable; the abstract oversells the characterization slightly. read the letter →

arxiv 2506.21268 v1 pith:MMUISLXH submitted 2025-06-26 math.AG math.CO

Matthew Dupraz This is my paper · ORCID
classification math.AGmath.CO MSC 14T1014H51
keywords tropicalgeometrymetricgraphslinearsystemsBaker–Norinerankmodulescanonicaldivisorsrealizabilityabstractpolyhedralcomplexes
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

This paper proves a rank–dimension theorem for linear systems on metric graphs: the Baker–Norine rank, which counts how many chips can be removed while keeping the system non-empty, is always a lower bound for the local dimension of a finitely generated tropical linear system, and for systems obtained by tropicalizing linear series on algebraic curves the two numbers are equal, making the systems equi-dimensional polyhedral complexes of that dimension. The paper also attacks the realizability problem for canonical divisors: using the quoted realizability criterion from [MUW17], it characterizes realizable divisors in the canonical linear system in terms of simple cycles lying above inconvenient vertices and horizontal edges, and shows from this that the realizable locus is tropically convex, closed, definable, and therefore an abstract polyhedral complex. It further shows that every metric graph without two disjoint horizontal cycles has all effective canonical divisors realizable, while graphs with disjoint cycles always contain non-realizable canonical divisors, and that the realizable locus always contains a maximal cell of dimension g-1. A final section translates the theory to finite graphs with unit edge lengths and develops algorithms for enumerating divisors, finding extremals, and checking realizability.

What carries the argument

The engine of the lower bound is the tropical module R(D) = {f ∈ Rat(Γ) : D+div(f) ≥ 0}, whose tropical projectivization is the complete linear system |D|; a tropical linear system d is a tropically convex subset of |D|, and its rank r(d) is defined by requiring d(-E) non-empty for every effective divisor E of degree d. The proof builds tangent vectors from the capped functions ft = f ⊕ (sup f - t), which act as chip-firing moves, and uses 'non-splitting' divisors, for which no function in the system moves a chip off the boundary of its maximum locus; these are dense and their tangent spaces have independent directions for each removed chip. For realizability, the load-bearing criterion, quoted from [MUW17], says an effective canonical divisor K+div(f) on a metric graph is realizable exactly when every inconvenient vertex and every horizontal edge is contained in a simple cycle that lies above it; an inconvenient vertex is one of weight zero whose outgoing slopes are all nonzero and where some negative slope exceeds the sum of the positive slopes.

What would settle it

Find a finitely generated tropical linear system d with a maximal face of dimension strictly less than r(d); the dense non-splitting induction in Proposition 2.95 would have to break at that face. For the realizability statements, test the quoted realizability criterion on an enhanced level graph with a vertex weight h>0: if the criterion misclassifies a canonical divisor there, the structural theorems about Real(|K|) do not transfer to weighted graphs.

Watch

Extended reading notes

Core claim

The central claim is that local tropical dimension and Baker–Norine rank are locked together for well-behaved tropical linear systems. The paper proves that if a tropical linear system d is finitely generated, its maximal cells all have dimension at least r(d); the proof works by showing that a divisor that 'does not split' has a tangent space of dimension at least r(d), and such divisors are dense. When d is the tropicalization of a rank r linear series on an algebraic curve, the upper bound from tropical independence forces every maximal cell to have dimension exactly r, so the tropicalization is equi-dimensional of dimension r. On the realizability side, the paper proves that a canonical divisor K+div(f) is realizable precisely when every inconvenient vertex and every horizontal edge is contained in a simple cycle on which f is at least as large, and derives from this that the realizable locus Real(|K|) is a tropically convex, closed, definable subset of |K|, hence an abstract polyhedral complex; it always contains a maximal cell of dimension g-1.

Load-bearing premise

The realizability-locus results are proved only for totally degenerate graphs, where every vertex has genus weight h=0, and they rely on the quoted Moeller–Ulirsch–Werner realizability criterion as a black box; if that criterion needs modification for vertex-weighted graphs, or if the density statement used to pass from h=0 to arbitrary weights fails, the polyhedral structure of Real(|K|) in the weighted setting is not established.

Editorial extensions

If this is right

  • Finitely generated tropical linear systems are abstract polyhedral complexes whose maximal faces all have dimension at least the Baker–Norine rank.
  • Tropicalizations of rank r linear series on algebraic curves are equi-dimensional polyhedral complexes of dimension r, so for realizable systems rank equals dimension.
  • A canonical divisor on a metric graph with no two disjoint horizontal cycles is always realizable; conversely, two disjoint cycles force the existence of non-realizable canonical divisors.
  • The realizable locus in a canonical linear system is tropically convex and an abstract polyhedral complex, and it contains a maximal cell of dimension g-1.
  • The lower bound can fail for arbitrary complete linear systems: the dumbbell graph has cells of dimension strictly larger than the rank, so the rank–dimension equality is special to tropicalized systems.

Reading between the lines

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

  • The upper bound from [JP22] requires a tropical-independence condition, so equality for tropicalized series suggests that realizable systems are exactly those where independence and rank coincide; testing this on the author's code could reveal whether the independence condition is also necessary.
  • The paper leaves open whether Real(|K|) is finitely generated; a positive answer would turn the realizability characterization into an explicit finite description via extremals of the tropical module.
  • The restriction to totally degenerate graphs (vertex weight h=0) is the main barrier: canonical divisors are usually defined with vertex weights, and a weighted counterexample to the quoted realizability criterion would force revisiting the density step before applying these results to stable curves.
  • The discrete algorithms on unit-length models suggest that rank and realizability can be checked exhaustively on finite graphs; scaling to finer subdivisions should give computable approximations for arbitrary rational divisors on metric graphs.
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, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies linear systems on metric graphs, establishes a lower bound on the local dimension of a tropical linear system in terms of the Baker–Norine rank, analyzes the structure of the canonical linear system, and investigates the realizability locus of canonical divisors. The main results are: (i) the dimension of every maximal face of a finitely generated tropical linear system is at least its rank (Cor. 2.95.2); (ii) the realizability locus Real(|K|) of the canonical linear system is tropically convex, definable, and closed, hence an abstract polyhedral complex (Props. 3.21–3.23); (iii) under a condition excluding two disjoint horizontal cycles, every canonical divisor is realizable, and in particular some (g−1)-dimensional maximal cell lies in the realizability locus (Prop. 3.27, Cor. 3.29.1); and (iv) tropicalizations of linear series of rank r on algebraic curves are equi-dimensional polyhedral complexes of dimension r (Cor. 3.34.2). The exposition is detailed and the paper includes computer-assisted examples and a GitHub implementation.

Significance. If the results are correct, the paper contributes a useful structural link between combinatorial rank and geometric dimension in tropical linear series, and it gives a concrete polyhedral description of a nontrivial realizability locus. The main strengths are the clean induction in Prop. 2.78, the careful treatment of generic divisors and non-splitting divisors, and the use of the external benchmarks (BN07, MUW17, JP22, FJP23) without fitted parameters or circular reasoning. The paper is honest about the totally degenerate setting (h ≡ 0) in which the realizability-locus results are proved. However, the proof of the horizontal-edge case in Prop. 3.27 and the closedness argument in Prop. 3.23 contain gaps, and the passage from tropical independence of divisors to the quoted upper bound of [JP22] needs clarification; these issues affect load-bearing claims, so the paper requires revision before its central conclusions can be considered established.

major comments (3)
  1. [§3.5, Prop. 3.27] The horizontal-edge part of the proof is incomplete. After reducing to the case where C \ e is disconnected and choosing C_1, C_2, the text considers a leaf x of C and constructs a monotone path from x to a local maximum containing a horizontal cycle, but it never produces the promised simple path from v_i to that cycle, nor does it show that the cycles obtained from C_1 and C_2 can be connected through e into a single simple cycle lying above e. The sentence 'like before, this would prove that e is contained in a simple cycle that lies above it' asserts the desired conclusion. Since Proposition 3.27 is used in Corollary 3.29.1 to place a whole (g−1)-dimensional cell inside the realizability locus, this missing step is load-bearing and should be supplied.
  2. [§3.4, Prop. 3.23] In the closedness proof for horizontal edges, the condition '∥f−fn∥ ≤ l(e) < 2' is not the correct hypothesis: edge lengths are arbitrary, and the relevant condition is that the uniform distance is smaller than l(e), not that l(e) < 2. More importantly, showing that f_n has a horizontal section on a subsegment of e does not imply that e itself is a horizontal edge in the model to which Theorem 3.19 is applied, nor does it guarantee that the realizable cycle γ_n contains e. The limit argument needs a cycle in Γ containing e and satisfying f(γ) ≥ f(e); as written this step does not go through. This gap affects the proof that Real(|K|) is closed and hence Corollary 3.23.1.
  3. [§3.6, Props. 3.33–3.34 and Cor. 3.34.1] There is a mismatch between the objects in the two bounds being combined. By Definition 2.86, d is a tropically convex subset of the projectivized linear system |D|, not a module; the associated module is R(d,D). Prop. 3.34 is phrased as 'Let d ⊆ |D| be a finitely generated submodule' and speaks of functions of d, while Definition 3.32 defines tropical dependence for subsets of |D| (divisors). Prop. 3.33 gives tropical dependence for points of trop(d_X), not for functions in its cone. Cor. 3.34.1 therefore does not follow as written. The authors should state the module-level version of [JP22, Cor. 4.7], verify that Prop. 3.33 applies to the same object, and then pass to the projectivization. Without this, the central equi-dimensionality claim Cor. 3.34.2 is not established.
minor comments (5)
  1. [§1, Structure of the thesis] The paragraph 'In section 4 we make the links between the worlds of tropical and algebraic geometry' actually describes Section 3; Section 4 is about discrete representations. The section numbers should be corrected.
  2. [§2.1, Definition 2.1] In the definition of the length of a path, the summand is written as d(γ(x_{i−1}), γ(y_i)); the second argument should presumably be γ(x_i).
  3. [Abstract and §3.4] The abstract says the work 'provides a characterization of realizable canonical divisors', but the full characterization is quoted from [MUW17] and the new results are structural and sufficient conditions in the totally degenerate case. The abstract and the introduction should state this scope explicitly.
  4. [§3.4, beginning] The restriction to h ≡ 0 is justified by a density statement in the moduli space, but the paper should make clear in the main theorems that the polyhedral-complex and tropical-convexity statements about Real(|K|) are proved only in this totally degenerate setting and are not claimed for arbitrary vertex-weighted metric graphs.
  5. [§3.4, Prop. 3.22] In the sentence 'the set of a_i such that max(a_i + φ_i) ≥ 0 on a fixed edge', the maximum should be over i; as written the expression is ambiguous. Also the notation PΩMtrop_g should be defined at first use.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: new claims are proved from standard definitions and independent external theorems.

full rationale

The paper's central new results are the local-dimension lower bound (Props 2.78, 2.95 and Cor 2.95.2) and the structural results on the realizability locus (Props 3.21-3.23, Cor 3.29.1). Neither reduces to its inputs by construction. The lower bound is proven by induction on rank using only the rank definition, the non-splitting condition, and tangent-space arguments; the rank decrease r(d(-x)) >= r(d)-1 is immediate from Definition 2.90, not a restatement of the conclusion. Cor 2.95.2 invokes [JP22, Lemma 2.8] only for the closed/definable structure of finitely generated tropical linear series, and the dimension bound itself is the paper's own argument. The realizability-locus results use the criterion of [MUW17, Theorem 6.3] as an explicit quoted black box (Theorem 3.19), and the paper's contribution is the verification that the relevant cycle conditions are definable, closed, and tropically convex. No fitted parameters are present, and no self-citation chain is used. The restriction to h=0 in Section 3.4 is justified by density of the totally degenerate locus in [MUW17, Prop 6.9(i)]; even if that assumption fails, it is a limitation of scope, not a circular step. The abstract's phrase that the thesis 'provides a characterization of realizable canonical divisors' is an overstatement of attribution, because the characterization is imported from [MUW17], but the paper itself states 'We may now state [MUW17, Theorem 6.3]' and does not present the theorem as proven from scratch. This is a presentation issue, not circularity. Overall, the derivation chain is self-contained against external benchmarks and merits a score of 0.

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

No free parameters: this is pure mathematics with no data fitting. The central claims rely on external theorems used as black boxes: Baker-Norine tropical Riemann-Roch [BN07], the MUW17 realizability criterion, finite generation of R(D) [HMY09], and the JP22/FJP23 upper bounds and specialization results. The totally degenerate (h ≡ 0) restriction is an explicit modeling choice. No invented entities.

assumptions (5)
  • standard math Baker-Norine tropical Riemann-Roch: r(D) - r(K - D) = deg(D) - g + 1 (Theorem 2.33).
    Cited from [BN07]; used in Prop 2.78, Prop 2.85, and §2.7 to compute r(K) = g - 1.
  • domain assumption MUW17 Theorem 6.3 (restated as Theorem 3.19): D = K + div(f) is realizable iff every inconvenient vertex and every horizontal edge is contained in a simple cycle that lies above it.
    External characterization from [MUW17]; the paper's Props 3.21, 3.22, 3.23, and 3.27 use this criterion as a black box without proving it.
  • domain assumption The realizability results restrict to totally degenerate curves, i.e., vertex weights h ≡ 0, justified by [MUW17, Prop 6.9(i)] giving density of h ≡ 0 pairs in P_R.
    The simplified inconvenience condition (Prop 3.20) is derived only in this setting; the metric-graph-only statements in Props 3.21-3.27 inherit this restriction.
  • standard math R(D) is finitely generated [HMY09, Theorem 6] (Prop 2.57).
    Used in Prop 3.22 to choose a generating set for the definability argument, and in Props 2.53 and 2.58 for extremals.
  • domain assumption JP22 Cor 4.7 and FJP23 Lemmas 6.1-6.2, Prop 6.4 (Props 3.30 and 3.34): tropicalizations of linear series are finitely generated, rank-preserving, and upper-dimension-bounded.
    The final equi-dimensionality Corollary 3.34.2 combines these external bounds with the thesis's lower bound.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tropical linear systems and the realizability problem." pith.science (2026). https://pith.science/paper/MMUISLXH

@misc{pith2026250621268,
  author       = {Pith},
  title        = {Pith review of: Tropical linear systems and the realizability problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MMUISLXH}},
  note         = {Machine review of arXiv:2506.21268}
}
read the original abstract

This thesis delves into the geometry of abstract tropical curves, exploring their complete linear system and associated tropical submodules. We establish a lower bound on the dimension of tropical submodules in terms of the Baker-Norine rank. Furthermore, the work provides a characterization of realizable canonical divisors, addressing a fundamental problem in connecting tropical geometry to its algebraic counterpart.

Figures

Figures reproduced from arXiv: 2506.21268 by the authors.

Figure 1
Figure 1. Example of a path and rectification The notion of path length allows us to define a new distance on X. Definition 2.2. [BBI01, §2.1.2.] Let (X, d) be a metric space. We define the induced intrinsic metric to be dI (x, y) = inf L(γ), where the infimum is taken over all the paths γ : [a, b] → X, with γ(a) = x and γ(b) = y. If there is no path between x and y (when X is disconnected), we let dI (x, y) = +∞. A metric sp… view at source ↗
Figure 2
Figure 2. Star-shaped neighbourhood of a point of valence 5 [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Example of a gluing of two vertices Definition 2.11. Suppose G = (V, E) is a graph and l : E → R>0 a map that assigns to each edge a length. We may construct from this a metric graph. Let E = G e∈E [0, l(e)]. The metric on the disjoint union is given by d((x1, e1),(x2, e2)) = ( |x1 − x2| if e1 = e2, 0 otherwise. This clearly gives E the structure of length space and of a metric graph. Fix an ordering v1, . . . , vn … view at source ↗
Figures from the paper (8 more)
Figure 4
Figure 4. Figure 4: Example of completion of an open subgraph (in red) [PITH_FULL_IMAGE:figures/full_fig_p010_4.png]
Figure 5
Figure 5. Figure 5: Two divisors on the same metric graph. The points in the support of the divisors [PITH_FULL_IMAGE:figures/full_fig_p011_5.png]
Figure 6
Figure 6. Figure 6: Example of f and ft = f ⊕ (sup(f) − t) Proposition 2.78. For any generic divisor D ∈ |D0|, we have that dim ∆D ≥ r(D). Proof. We will show by induction on r that if r(D) ≥ r, then dim ∆D ≥ r, which implies the result. The base case r = 0 is trivially verified, so suppo…
Figure 7
Figure 7. Figure 7: Divisors whose complete linear system is locally of dimension strictly greater than [PITH_FULL_IMAGE:figures/full_fig_p025_7.png]
Figure 8
Figure 8. Figure 8: Divisor D on bipartite graph on six vertices with dim ∆D = 5. The points in the support of D are all of multilpicity 1. Unlike in the case of arbitrary complete linear systems, the lower bound for dimension is always attained in the case of canonical linear systems. Pr…
Figure 9
Figure 9. Figure 9: Example of a smooth curve of genus 3 (left) degenerating to a stable curve (center) [PITH_FULL_IMAGE:figures/full_fig_p031_9.png]
Figure 10
Figure 10. Figure 10: Realizable divisor in the canonical linear system that is not in the span of the [PITH_FULL_IMAGE:figures/full_fig_p040_10.png]
Figure 11
Figure 11. Figure 11: Graph with realizable canonical divisor. [PITH_FULL_IMAGE:figures/full_fig_p042_11.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Tropical linear series and matroids

    math.AG 2025-08 conditional novelty 7.0 of 10

    Tropical linear series on metric graphs are locally Bergman fans of matroids, yielding an exact condition for canonical tropicalizations to fill the realizable locus.

Reference graph

Works this paper leans on

12 extracted references · 9 canonical work pages · cited by 1 Pith paper

  1. [3]

    Riemann-Roch and Abel-Jacobi theory on a finite graph

    arXiv: math/0608360 [math.CO]. [CR93] Ted CHINBURG and Robert Rumely. In: Journal f¨ ur die reine und angewandte Mathematik 1993.434 (1993), pp. 1–44. doi: doi:10.1515/crll.1993.434.1 . url: https://doi.org/10.1515/crll.1993.434.1. [DM69] P. Deligne and D. Mumford. “The irreducibility of the space of curves of given genus”. In: Publications math´ ematique...

    work page Pith review arXiv 1993

  2. [11]

    Realizability of tropical pluri-canonical divisors

    arXiv: 2109.03579 [math.AG]. [Viv13] Filippo Viviani. Tropicalizing vs Compactifying the Torelli morphism

    work page Pith review arXiv

  3. [2002]

    Towards a Tropical Hodge Bundle

    [LU17] Bo Lin and Martin Ulirsch. “Towards a Tropical Hodge Bundle”. In: Com- binatorial Algebraic Geometry . Springer New York, 2017, pp. 353–368. isbn: 9781493974863. doi: 10.1007/978-1-4939-7486-3_16 . url: http://dx.doi. org/10.1007/978-1-4939-7486-3_16 . [Luo18] Ye Luo. Idempotent Analysis, Tropical Convexity and Reduced Divisors

    work page doi:10.1007/978-1-4939-7486-3_16 2017

  4. [2007]

    Specialization of linear systems from curves to graphs

    arXiv: math/0701075 [math.NT]. [BBI01] Dmitri Burago, Yuri Burago, and Sergei Ivanov. A Course in Metric Geometry . American Mathematical Society,

    work page Pith review arXiv

  5. [2009]

    Linear Systems on Tropical Curves

    arXiv: 0909.3685 [math.AG]. [JP22] David Jensen and Sam Payne. Tropical Linear Series and Tropical Independence

    work page Pith review arXiv

  6. [2012]

    Reduced Divisors and Embeddings of Tropical Curves

    arXiv: 1007.5364 [math.CO]. [Bak07] Matthew Baker. Specialization of linear systems from curves to graphs

    work page Pith review arXiv

  7. [2013]

    arXiv: 1204.3875 [math.AG]. 50

    work page Pith review arXiv

  8. [2017]

    Realizability of tropical canonical divisors

    arXiv: 1710.06401 [math.AG]. [RS21] Felix R¨ ohrle and Johannes Schwab. Realizability of tropical pluri-canonical divi- sors

    work page Pith review arXiv

Show all 12 references
  1. [2018]

    [Mug21] Delio Mugnolo

    arXiv: 1808.01987 [math.CO]. [Mug21] Delio Mugnolo. What is actually a metric graph?

    arXiv

  2. [2021]

    07549 [math.CO]

    arXiv: 1912 . 07549 [math.CO]. [MUW17] Martin Moeller, Martin Ulirsch, and Annette Werner. Realizability of tropical canonical divisors

    1912

  3. [2022]

    [Liu02] Qing Liu

    arXiv: 2209.15478 [math.AG]. [Liu02] Qing Liu. Algebraic Geometry and Arithmetic Curves . Oxford University Press,

    arXiv

  4. [2023]

    [Har77] Robin Hartshorne

    arXiv: 2005.00622 [math.AG]. [Har77] Robin Hartshorne. Algebraic Geometry. Springer New York, 1977.isbn: 9781475738490. doi: 10.1007/978-1-4757-3849-0 . url: http://dx.doi.org/10.1007/978- 1-4757-3849-0 . [HMY09] Christian Haase, Gregg Musiker, and Josephine Yu. Linear Systems...

    2005 arXiv

Pith tools

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