REVIEW 2 major objections 4 minor 4 references
Higher Connectivity of Tropicalizations
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Tropicalizations of irreducible varieties stay connected after removing many facets.
desk verdict Strong new higher-connectivity theorem with a load-bearing gap in Claim 12 that is likely patchable. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the facet-ridge incidence hypergraph of a pure polyhedral complex: its vertices are the facets and its hyperedges are the ridges, and being k-connected through codimension one means the hypergraph remains connected after deleting any k−1 vertices together with their incident hyperedges. The proof's engine is the new Tropical Bertini Theorem, which guarantees that a dense set of rational affine hyperplanes intersect the tropicalization in the tropicalization of an irreducible variety. In the induction, hyperplane sections create lower-dimensional irreducible tropical varieties; paths inside those sections are then lifted to facet-ridge paths in Σ. The final step relies on an equivalence relation ∼F, where two facets are related if a hyperplane avoiding F meets both in their relative interiors, together with stable intersection results that make Σ∩Hp a balanced positive-dimensional complex.
What would settle it
Try to realize the two-plane fan of Example 3 (two standard tropical planes meeting along the ray e1) as the tropicalization of an irreducible surface over C, for example by computing Gröbner bases of candidate parametrizations; since the fan disconnects after removing a facet containing e1, any such realization would disprove Theorem 1.
Extended reading notes
Core claim
The central claim is Theorem 1: if K has characteristic zero and is algebraically closed, complete, or real closed with convex valuation ring, and X ⊂ (K*)n is irreducible of dimension d, then any polyhedral complex Σ with support trop(X) and ℓ-dimensional lineality space is (d−ℓ)-connected through codimension one. Equivalently, the facet-ridge hypergraph of Σ remains connected after deleting any d−ℓ−1 closed facets, and the bound is sharp because a simplicial facet is isolated by removing its d−ℓ neighbouring facets. The proof reduces to the pointed case by quotienting by the lineality space, proves the Tropical Bertini Theorem (Proposition 4) for generic rational affine hyperplanes, and then runs an induction in which hyperplane slices supply lower-dimensional irreducible tropical varieties whose connectivity is transferred back to paths in the original facet-ridge hypergraph. Along the way the paper obtains Corollary 2 on skeleta of normal fans of rational polytopes and Proposition 14 on the fine subdivision of Bergman fans.
Load-bearing premise
The proof of Claim 12 assumes, without proof, that a positive-dimensional balanced slice of the tropical variety that is not parallel to a chosen plane must actually meet that plane; if this geometric assertion fails, the argument that any two facets are equivalent can collapse.
Editorial extensions
If this is right
- Balinski's theorem is recovered: applying the result to the complete normal fan of a full-dimensional polytope in R^d shows its edge graph is d-connected.
- The k-skeleton of the normal fan of a rational full-dimensional polytope is k-connected through codimension one (Corollary 2).
- A pure d-dimensional fan with ℓ-dimensional lineality space that fails to be (d−ℓ)-connected through codimension one cannot be the tropicalization of an irreducible variety over characteristic 0; Example 3 gives a concrete non-realizable fan.
- The fine subdivision of the Bergman fan of a rank d+1 matroid is d-connected, whether or not the matroid is representable over a field (Proposition 14).
- The Tropical Bertini Theorem answers affirmatively the question of whether a general hyperplane section of a tropicalization is again the tropicalization of an irreducible variety.
Reading between the lines
- Because the characteristic-zero assumption enters only through the Tropical Bertini Theorem, a positive-characteristic version of that theorem would immediately extend Theorem 1; conversely, if Theorem 1 holds in positive characteristic despite Bertini failing there, the missing ingredient must lie elsewhere in the induction.
- The connectivity bound supplies a cheap necessary condition for realizability that could be checked combinatorially before attempting any algebraic construction, and it may be useful for pruning searches for tropical bases or parametrizations.
- The unproved geometric assertion inside Claim 12—that a balanced positive-dimensional slice not parallel to a plane must meet it—is a natural target for a counterexample or a separation theorem; until it is settled, the induction has a delicate point.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that the tropicalization of a d-dimensional irreducible subvariety of (K*)^n over a characteristic-zero field is (d-ℓ)-connected through codimension one, where ℓ is the dimension of the lineality space of the tropicalization. The proof reduces to the pointed case by quotienting by the lineality subtorus, then proceeds by induction on dimension. The inductive step is organized around two claims: a tropical Bertini theorem (Proposition 4) supplies hyperplane sections that are themselves tropicalizations of irreducible varieties, and an equivalence relation ∼F on facets is used to route paths around any prescribed set of removed facets. The paper also derives a higher connectivity statement for skeleta of rational polytopes and for fine subdivisions of Bergman fans, and gives an example of a balanced fan that is not realizable as the tropicalization of an irreducible variety.
Significance. If the proof can be completed, Theorem 1 is a substantial strengthening of the classical result that tropicalizations are connected through codimension one, and it yields a tropical analogue of Balinski's theorem. Proposition 4 answers a question of Cartwright and Payne and is of independent interest. The argument is coherent and makes careful use of established tools (FMZ18, AS17, Pay12, CP12, OP13, JY16, Rin13); it is not circular, and the paper is explicit about the characteristic-zero hypothesis and about open problems. The main weakness is a missing and nontrivial balancing lemma in the proof of Claim 12, together with a false assertion about pointedness in the reduction step; both are local and fixable.
major comments (2)
- [§3, proof of Claim 12, equation (3)] The sentence "Since the balanced positive-dimensional polyhedral complex Σ ∩ Hp is not contained in any hyperplane parallel to Hq, some point in Σ must lie in Hp ∩ Hq" is the sole justification for the crucial intersection statement (3), and it is not proved. The implication is false for arbitrary balanced complexes: in R^3, the union of the two planes x=1 and x=2 with weight one on each is balanced, avoids Hq={x=0}, and is not contained in any single plane parallel to Hq. The additional hypotheses present in the proof, such as pointedness and connectedness, may make the statement true, but that requires a lemma, for instance that a pointed balanced polyhedral complex contained in an open halfspace must lie in the boundary hyperplane. No such lemma or citation is supplied. Without it, Claim 12 is not established and the induction for Theorem 1 collapses. The gap is local and likely fixable, but it is load-bearing.
- [§3, paragraph after the quotient by the lineality space] The assertion "Since trop(X) is connected, the triviality of the lineality space implies that every face of trop(X) is pointed" is false as stated. The connected one-dimensional complex consisting of the two coordinate axes in R^2 has trivial lineality space but has faces containing affine lines; it is in fact the tropicalization of the irreducible curve V(1+2x1+3x2+4x1x2) in (C*)^2. The proof should insert an explicit refinement step replacing Σ by a pointed subdivision and explain why k-connectedness of the subdivision implies k-connectedness of the original complex. This matters because the perturbation argument in Claim 12 uses the full-dimensionality of inner normal cones, which requires pointedness.
minor comments (4)
- [§3, first paragraph of the main proof] There is a typo: "restriction to X is also free. is Let ~X" contains a stray "is" that should be deleted.
- [§3, proof of Claim 11] The symbol G is used both for the chosen set of removed facets and for the facet-ridge hypergraph of Σ; please rename one of them to avoid confusion.
- [§3, definition of ∼F] The clause "meets both P and Q in their relative interior" should read "relative interiors".
- [§2, Proposition 4] The phrase "dense in the Euclidean topology on P^n_Q" is informal; since P^n_Q is not a Euclidean space, clarify that the density is in the real points of P^n_Q. Also, the use of H both for a hyperplane in R^d and for its preimage in R^n is confusing and should be disambiguated.
Circularity Check
No circularity: Theorem 1 is derived from an independent tropical Bertini theorem plus induction, not from its own inputs.
full rationale
The central claim (Theorem 1) is not obtained by renaming, fitting, or a self-citation chain. The base case d=1 uses the standard connectivity of tropical curves from [CP12]/[MS15], which is prior independent work and is not equivalent to the higher connectivity being proved. The inductive step uses Claim 11, which invokes Proposition 4 (Tropical Bertini) to choose a generic hyperplane whose section is again the tropicalization of an irreducible variety. Proposition 4 is proved from the external toric Bertini theorem of Fuchs-Mantova-Zannier, with modifications from Amoroso-Sombra, and standard transversality results; the hyperplane is chosen from a dense open set, not fitted to force the conclusion. The induction hypothesis is then applied to a genuinely lower-dimensional tropical variety, not to a restatement of the target. Self-citations such as [MS15] and [JY16] appear only as standard toolbox results (connectivity of curves, stable intersections are balanced) with independent proofs, and no uniqueness theorem from the authors is invoked to make the argument forced. The only serious flaw is in Claim 12, where the assertion 'Since the balanced positive-dimensional polyhedral complex Sigma ∩ Hp is not contained in any hyperplane parallel to Hq, some point in Sigma must lie in Hp ∩ Hq' is stated without proof or citation; this is a potential correctness gap in the induction, not a circularity. It does not identify an input with an output, rename a fitted parameter as a prediction, or reduce the theorem to the authors' prior work. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (8)
- domain assumption Fundamental theorem of tropical geometry: the tropicalization of an irreducible d-dimensional variety over a valued field is the support of a pure d-dimensional polyhedral complex.
- domain assumption Base-case connectivity of tropical curves: the tropicalization of an irreducible curve is connected through codimension one.
- domain assumption Fuchs-Mantova-Zannier toric Bertini theorem: for a dominant finite map with property PB, generic subtorus fibers are irreducible.
- domain assumption [AS17, Proposition 3.8] provides a replacement map with property PB after passing to a quotient by a finite group.
- domain assumption [Pay12, Proposition 4]: a morphism of tori that is injective on maximal faces of trop(X) gives a finite restriction to X.
- domain assumption [JY16, Lemma 2.10]: stable intersections with a hyperplane yield balanced polyhedral complexes.
- domain assumption [Rin13, Theorem 2.6]: the set of cones in a Bergman fan with a fixed basis of the initial matroid is homeomorphic to R^d.
- ad hoc to paper A positive-dimensional balanced polyhedral complex in R^n that is not contained in any hyperplane parallel to H must intersect H.
Cite this review
Pith. "Pith review of Higher Connectivity of Tropicalizations." pith.science (2026). https://pith.science/paper/OAU5RBEX
@misc{pith2026190805988,
author = {Pith},
title = {Pith review of: Higher Connectivity of Tropicalizations},
year = {2026},
howpublished = {\url{https://pith.science/paper/OAU5RBEX}},
note = {Machine review of arXiv:1908.05988}
}
read the original abstract
We show that the tropicalization of an irreducible d-dimensional variety over a field of characteristic 0 is (d-l)-connected through codimension one, where l is the dimension of the lineality space of the tropicalization. From this we obtain a higher connectivity result for skeleta of rational polytopes. We also prove a tropical analogue of the Bertini Theorem: the intersection of the tropicalization of an irreducible variety with a generic hyperplane is again the tropicalization of an irreducible variety.
Figures
Reference graph
Works this paper leans on
-
[1]
Factorization of bivariate sparse polynomials
[AS17] Francesco Amoroso and Mart ´ ın Sombra, Factorization of bivariate sparse polynomials , arXiv preprint arXiv:1710.11479 (2017). To appear in Acta Arithmetica. [AK06] Federico Ardila and Caroline J. Klivans, The Bergman complex of a matroid and phylogenetic trees, J. Combin. Theory Ser. B 96 (2006), no. 1, 38–49. [Ath09] Christos A. Athanasiadis, On...
work page Pith review arXiv 2017
-
[10]
[JY16] Anders Jensen and Josephine Yu, Stable intersections of tropical varieties , J. Algebraic Combin. 43 (2016), no. 1, 101–128. [MS15] Diane Maclagan and Bernd Sturmfels, Introduction to tropical geometry , Graduate Studies in Mathematics, vol. 161, American Mathematical Society, Providenc e, RI,
work page 2016
-
[506]
Speyer, Tropical linear spaces, SIAM J
[Spe08] David E. Speyer, Tropical linear spaces, SIAM J. Discrete Math. 22 (2008), no. 4, 1527–1558. [Yu17] Josephine Yu, Algebraic matroids and set-theoretic realizability of tro pical varieties , J. Combin. Theory Ser. A 147 (2017), 41–45. [Yu16] , Do most polynomials generate a prime ideal? , J. Algebra 459 (2016), 468–474, DOI 10.1016/j.jalgebra.2016....
-
[2015]
[OP13] Brian Osserman and Sam Payne, Lifting tropical intersections , Doc. Math. 18 (2013), 121–175. [Pay09] Sam Payne, Fibers of tropicalization , Math. Z. 262 (2009), no. 2, 301–311. [Pay12] , Erratum to: Fibers of tropicalization , Math. Z. 272 (2012), no. 3-4, 1403–1406. [Rin13] Felipe Rinc´ on,Local tropical linear spaces, Discrete Comput. Geom. 50 (...
work page 2013
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.