Higher Connectivity of Tropicalizations

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.


Introduction
The tropicalization of a d-dimensional irreducible subvariety of the algebraic torus (K * ) n , where K is a field, is the support of a pure, d-dimensional polyhedral complex in R n . Being pure means that all inclusion-maximal faces have the same dimension. The facets and ridges of a pure, d-dimensional polyhedral complex are the faces of dimensions d and d − 1 respectively. A fundamental result in tropical geometry is that the tropicalization of an irreducible variety is connected through codimension one: given any two facets there is a path between them that goes through facets and ridges only [BJSST07,CP12], [MS15,Theorem 3.5.1].
In this paper we show the stronger result that the tropicalization of an irreducible variety remains connected through codimension one even after we remove some closed facets. A pure polyhedral complex is k-connected through codimension one if removing any k − 1 closed facets leaves it connected through codimension one. In other words, the facet-ridge incidence hypergraph, whose vertices are facets of the polyhedral complex and whose hyperedges are the ridges, remains connected after any k − 1 vertices and their incident hyperedges are removed. A hypergraph is connected if there is a path from any vertex to any other vertex where each step connects two vertices in the same hyperedge.
Theorem 1. Let K be a field of characteristic 0 that is either algebraically closed, complete, or real closed with convex valuation ring. Let X be a d-dimensional irreducible subvariety of (K * ) n . Let Σ be a pure d-dimensional rational polyhedral complex with support |Σ| = trop(X). Write ℓ for the dimension of the lineality space of Σ. Then Σ is (d − ℓ)-connected through codimension one. In other words, its facet-ridge hypergraph is (d − ℓ)-connected.
The hypotheses on the field, except for the characteristic assumption, come from the case d = 1, which is [CP12, Theorem 1]. The characteristic assumption comes from the toric Bertini theorem. The lineality space depends on the choice of polyhedral complex structure Σ on the tropical variety, as does the facet-ridge hypergraph. However the result holds for any choice of polyhedral structure, whether or not the lineality space is the largest possible one; see Example 4. This result is sharp. In a d-dimensional polyhedral fan with ℓ-dimensional lineality space, a simplicial facet has d − ℓ ridges as its boundary, so we can remove d − ℓ neighboring facets to isolate the simplicial facet.
Theorem 1 can be considered a generalization of Balinski's Theorem, which says that the edge graph of a d-dimensional polytope is d-connected [Bal61]. Any complete fan is the tropicalization of the algebraic torus (K * ) n , which is irreducible. If Σ is the (complete) normal fan of a full dimensional polytope P in R d , then, since Theorem 1 holds for any such fan Σ, it can be translated as: removing d − 1 vertices and their incident edges from the edge graph of the polytope P does not disconnect this graph. This is precisely Balinski's Theorem.
A new polyhedral consequence of Theorem 1 is the following necessary condition for a kdimensional rational fan in R n to be the k-skeleton of the normal fan of a polytope.
Corollary 2. The k-dimensional skeleton of the normal fan of a rational full-dimensional polytope is k-connected through codimension one.
Proof. The k-skeleton of the normal fan of a rational full-dimensional polytope P ⊂ R n is the tropicalization of an irreducible variety, as it is the tropicalization of any sufficiently general complete intersection of n−k polynomials with Newton polytope P [MS15, Corollary 4.6.11], [Yu16].
When the incidence hypergraph is replaced by the graph in which each hyperedge is replaced by the clique joining the vertices of the hyperedge, even higher connectivity holds [Ath09,Sal67]. However, as noted above, the hypergraph version of the statement cannot be strengthened.
The connectedness result also gives a new obstruction for the realizability of a polyhedral complex as the tropicalization of an irreducible variety, as we will now demonstrate with a simple example.
Example 3. Consider the two-dimensional fan in R 5 that is the union of two standard tropical planes living in span{e 1 , e 2 , e 3 } and span{e 1 , e 4 , e 5 } respectively, meeting along the ray spanned by e 1 , where e 1 , . . . , e 5 is the standard basis for R 5 . See Figure 1. Each node in the figure represents a ray and each edge represents a two-dimensional cone of the fan. The ray spanned by e 1 is the only intersection of these two tropical planes. Removing a closed maximal cone containing e 1 disconnects the fan, so the fan is not 2-connected. It is therefore not the tropicalization of an irreducible variety over characteristic 0.
The connectivity depends on the choice of polyhedral structure, and in particular on the choice of lineality space.
Example 4. Let X be the subvariety of (K * ) 3 defined by x 1 +x 2 +1 = 0. The tropicalization trop(X) is the support of the two-dimensional fan with lineality space span(e 3 ), and three cones generated by e 1 , e 2 , and −e 1 −e 2 in addition to the lineality space. With that choice of polyhedral complex, the facet-ridge hypergraph has three vertices and one hyperedge containing all vertices, which is connected but not 2-connected. An alternate polyhedral structure The fact that tropicalizations of irreducible varieties are connected through codimension one plays a crucial role in algorithms to compute tropical varieties, as implemented in [Jen], following algorithms originally outlined in [BJSST07]. It would be interesting to exploit this higher connectivity algorithmically. As the space of phylogenetic trees can be realized as the tropicalization of an irreducible variety (the complement of the type-A hyperplane arrangement) [AK06], it would be interesting to explore this connection. It would also be interesting to understand the extent to which d-connectivity is a combinatorial notion. In that direction, in Proposition 14 we show that the fine fan structure on the Bergman fan of a matroid of rank d + 1 is d-connected. Such Bergman fans play the role of building blocks for abstract tropical varieties.
The proof of Theorem 1 involves aspects of both algebraic and polyhedral geometry. In Section 2 we prove the following tropical version of Bertini's Theorem.
Theorem 5 (Tropical Bertini Theorem). Let X ⊆ (K * ) n be an irreducible d-dimensional variety, with d ≥ 2, over an algebraically closed valued field K of characteristic 0 with Q contained in the value group. The space of rational affine hyperplanes in R n can be identified with P n Q . The set of hyperplanes H for which the intersection trop(X)∩H is the tropicalization of an irreducible variety is dense in the Euclidean topology on P n Q .
This gives an affirmative answer to Question 9 of [CP12] in characteristic zero, which asks, for an irreducible variety X, whether there always exists an affine hyperplane whose intersection with trop(X) is proper and connected through codimension one.
In Section 3 we prove the connectivity theorem using the tropical Bertini theorem and induction on dimension. Proposition 14 on Bergman fans is proved in Section 4, and we state some open problems in Section 5.
After this paper was posted on the ArXiv, [HY20] gave a purely combinatorial proof of Corollary 2, removing the rationality assumption, and [GHM + 21] removed the characteristic p assumption from the tropical Bertini theorem, and thus, by Remark 11, from Theorem 1.

Proof of the Tropical Bertini Theorem
Let K be a (possibly trivially) valued field. The tropicalization of a variety X ⊂ (K * ) n is the set trop(X) = val(X(L)) ⊆ R n , where L is any nontrivially valued algebraically closed field extension of K, and the closure is taken in the Euclidean topology. For example, the tropicalization of a subtorus of (K * ) n is a usual linear subspace of R n defined over Q. Taking field extensions does not change the tropicalization.
The Tropical Bertini Theorem (Theorem 5) says that most intersections of the tropicalization of an irreducible variety and a hyperplane are again the tropicalization of an irreducible variety.
= 1 is not irreducible for any tuple of integers (a 1 , a 2 , a 3 ) / ∈ Z(1, −1, −1), so it is not the case that the intersection of X with a "generic" subtorus is irreducible. However the tropicalization of the statement is true.
Remark 7. If a polyhedral complex is the tropicalization of an irreducible variety, then so is its image under any invertible linear transformation over Q. To see this, first note that for any nonzero rational number r, the scaling r · trop(X) is achieved by scaling the valuation of the coefficient field. This means that we may scale the image to assume that the linear transformation is given by an integer matrix. Changing basis over Z for the source or target corresponds to an automorphism of the respective torus, so we only need to consider diagonal linear transformations. Finally, note that if X ⊂ (K * ) n is irreducible, so is its image under the map (x 1 , . . . , x n ) → (x c 1 1 , x c 2 2 , . . . , x cn n ) for any integers c 1 , . . . , c n .
The key idea for the proof of Theorem 5 is the following subtorus analogue of Bertini's Theorem due to [Zan10,FMZ18]. We also make crucial use of some modifications due to [AS19]. Following [AS19] we will say that a map π : X → (K * ) d satisfies the property PB (pullback) if the pullback λ * X := X × (K * ) d (K * ) d of X along π and λ is irreducible for every isogeny λ of (K * ) d . An isogeny of (K * ) d is a surjective group homomorphism with finite kernel, so can be represented by a d × d rank d matrix with integer entries.
Theorem 8 (Toric Bertini Theorem. Fuchs, Mantova, Zannier, Theorem 1.5 of [FMZ18]). Let X be an irreducible quasiprojective variety of dimension d over an algebraically closed field of characteristic zero, and let π : X → (K * ) d be a dominant map that is finite onto its image, satisfying property PB. Then there is a finite union E of proper subtori of (K * ) d such that, for every subtorus T ⊂ (K * ) d not contained in E and every point p ∈ (K * ) d , the preimage π −1 (p · T ) is an irreducible subvariety of X.
We also make use of the following lemma, which is a special case of [Pay12, Proposition 4].
Lemma 9. Let X be a d-dimensional subvariety of (K * ) n , and let π : (K * ) n → (K * ) d be a morphism. If the linear map trop(π) : R n → R d is injective on every maximal face of trop(X), then the restriction π| X : X → (K * ) d is a finite morphism.
Proof of Lemma 9. The tropicalization trop(X) triv of X with respect to the trivial valuation is the recession fan of trop(X), so the hypothesis that trop(π) is injective on every maximal face of trop(X) implies that the same is true for trop(X) triv . When K is given the trivial valuation, the "tilted group ring" [Pay12] then states that the morphism X 0 → (K * ) d is finite, which proves the lemma.
Proof of Theorem 5. Fix a rational polyhedral complex Σ with support trop(X). Choose a linear map P : R n → R d , given by a d × n integer matrix, that is injective on every maximal face of trop(X). The kernel of such a map is an (n − d)-dimensional subspace of Q n , and the set of such subspaces is dense in the analytic topology on the Grassmannian Gr(n − d, n). We will show that there is a dense open set in the space of rational affine hyperplanes H in R d for which P −1 (H) ∩ trop(X) is the tropicalization of an irreducible variety. The set of H = P −1 (H) for all such P is dense in P n Q , proving the Theorem.
Let π : (K * ) n → (K * ) d be the morphism of tori corresponding to P . By Remark 7 we can change coordinates to assume that the linear map P : R n → R d is the coordinate projection onto the first d coordinates. Thus π is also a coordinate projection from (K * ) n onto the first d coordinates. By Lemma 9 the morphism π| X is finite.
In order to apply Theorem 8, we would like π| X to have property PB. If π| X does not have property PB, then there is an isogeny µ : n ] be the ideal of X, and let µ be given by Since π is assumed to be the projection onto the first d coordinates, the coordinate ring of the pullback µ * X is This is isomorphic to Write Z for the reduced structure on µ * X, which is described by the radical of the ideal J. We have the following diagram: The components of Z have dimension at least dim(X), by the Principal Ideal Theorem (see for example [Eis95, Theorem 10.2]). Since the pullback µ ′ : µ * X → X of the finite morphism µ is finite, this morphism is also proper, so the image of every irreducible component is closed. As X is irreducible, there must thus be a component Y that maps surjectively to X.
The group ker(µ) acts on Z via (t, x) → (ζ · t, x) for ζ ∈ ker(µ). This group acts transitively on the fibers of µ, so the orbit of Y is all of Z. We also have that Y is not fixed by this action, as otherwise it would be the reduced structure on the only irreducible component of µ * X, contradicting the assumption that µ * X is reducible. This means that the map µ ′ | Y has degree less than deg(µ).
If µ is chosen so that ρ| Y has minimal degree, then ρ| Y must have property PB. Otherwise we can repeat the above argument with Y and ρ in the place of X and π to further reduce the degree since Since trop(µ) and trop(µ ′ ) are invertible linear maps, the assumption that P is injective on every maximal face of trop(X) implies that trop(ρ) is also injective on every maximal face of trop(Y ). Therefore ρ| Y is a finite morphism by Lemma 9. We can now apply Theorem 8 to ρ| Y : Y → (K * ) d . Let E be the exceptional set in the theorem, which is a union of finitely many proper subtori. Then trop(E) is the union of finitely many proper linear subspaces of Thus H ∩ trop(Y ) is the tropicalization of the irreducible variety ρ| −1 Y (s · T ). It follows from Remark 7 that the same is true for trop(µ ′ )(H) ∩ Σ = trop(π) −1 (trop(µ)(H)). As the set of trop(µ)(H) where H is not parallel to any subspace in trop(E) is dense and open in P d Q , the result follows.
Example 10. We illustrate the key constructions of the proof on the variety from Example 6: The tropicalization is trop(X) = {w ∈ R 3 : w 1 = 2w 2 + 2w 3 }. The projection of trop(X) to the first two coordinates is a bijection, so the tropicalization of the projection π : (K * ) 3 → (K * ) 2 , (x 1 , x 2 , x 3 ) → (x 1 , x 2 ) satisfies the condition of the first paragraph of the proof.
We now check that the projection of Y onto the first two coordinates has property PB. For every isogeny λ on (K * ) 2 , given by λ(t 1 , t 2 ) = (t a 1 1 t a 2 2 , t b 1 1 t b 2 2 ), the coordinate ring of the pullback λ * Y is x 3 is irreducible in the Laurent polynomial ring, so the pullback is irreducible.
Remark 11. The results in the paper [FMZ18] are stated over C. The proofs there rely on resolution of singularities and on some facts from Galois theory that are simpler in characteristic zero, but all go through in the case that the field is algebraically closed of characteristic zero. The Tropical Bertini Theorem (Theorem 5) is the only place where the characteristic zero assumption is used in the proof of the higher connectivity result in Theorem 1.

Proof of the Connectivity Theorem
We now prove the main result of this paper: Theorem 1.
Let X be a d-dimensional irreducible subvariety of (K * ) n , where K is a field of characteristic zero that is either algebraically closed, complete, or real closed with convex valuation ring. Fix a polyhedral complex Σ with support |Σ| equal to trop(X), such that the normal fan of every facet of Σ is a rational polyhedral fan.
Suppose Σ has an ℓ-dimensional lineality space V . The rationality assumption implies that V is a rational subspace of R n , so it determines an ℓ-dimensional subtorus T ′ of (K * ) n , with trop(T ′ ) = V . We claim that T ′ acts on X. If T ′ did not act on X, then the orbit of X under T ′ would have dimension greater than d, and its tropicalization would also have dimension greater than d. On the other hand, the tropicalization of this orbit is Σ + V = Σ, which has dimension d. Therefore T ′ must act on X. Since the action of T ′ on (K * ) n is free, the restriction to X is also free. Let X = X/T ′ ⊆ (K * ) n /T ′ ∼ = (K * ) n−ℓ be the quotient. Then X is irreducible of dimension d − ℓ, trop( X) = Σ/V is the quotient of trop(X) by its lineality space, and Σ and Σ/V have the same connectivity. Therefore we may reduce to the case when the lineality space is trivial and ℓ = 0. Since trop(X) is connected, the triviality of the lineality space implies that every face of trop(X) is pointed, meaning that it does not contain an affine line.
By [CP12,Proposition 4] we may replace the field K by its algebraic closure, and X by any irreducible component of the extension X K without changing the tropicalization. We henceforth assume that K is algebraically closed, and X is geometrically irreducible. We may thus pass to a further field extension if necessary to assume that the valuation on K is nontrivial, and Q is contained in the value group.
We may also assume that trop(X) does not live in any proper subspace in R n . Otherwise X lives in a translate of a subtorus of (K * ) n by [JKK17,Corollary 14], and the result for the translate of X in the subtorus implies the result for X.
We will first prove the result when the tropical variety is all of R d , with an arbitrary polyhedral complex structure but trivial lineality space. It suffices to show that for any d ≥ 1 removing d − 1 closed pointed convex sets C 1 , . . . , C d−1 from R d does not disconnect R d . Indeed, in our context this would imply that there was a path between any two points in the interior of facets. If this path passed through a codimension two cell, none of the neighborhood of this cell would have been removed, so we can deform the path to only pass through facets and codimension-one cells.
To show connectedness, identify R d with the hyperplane defined by x 1 = 1 in R d+1 . Let S d be a sphere around the origin in R d+1 . Let C i be the closure of cone({1} × C i ) ∩ S d , and let H = {x ∈ S d | x 1 ≤ 0} be the lower hemisphere. Then S d \ (H ∪ C 1 ∪ · · · ∪ C d−1 ) is homeomorphic to R d \ (C 1 ∪ · · · ∪ C d−1 ).
By Alexander duality, S d \ (H ∪ C 1 ∪ · · · ∪ C d−1 ) is connected if and only if H ∪ C 1 ∪ · · · ∪ C d−1 does not have homology in dimension d − 1. Since the C i s are pointed and convex, the intersection of any collection of C i s is contractible. The intersection of any of them with the lower hemisphere is also contractible. By the Nerve Theorem for regular cell complexes [Bjö95, Theorem 10.6] the union H ∪ C 1 ∪ · · · ∪ C d−1 has the same homology as its nerve complex. But the nerve complex is a simplicial complex on d vertices, so it cannot have homology in dimension d − 1. This completes the proof when the tropical variety is all of R n .
We assume from now on that |Σ| = R n . We proceed by induction on the dimension d of Σ. The base case d = 1 is the statement that the tropicalization of an irreducible curve is connected (see [CP12] or [MS15, Proposition 6.6.22]); this result does not depend on the choice of polyhedral complex structure on trop(X). The hypothesis on the field K is used here. Now let d ≥ 2 and assume that the assertion in the theorem is true for smaller dimensions. Let G be any collection of d − 1 facets of Σ. For any two facets P, Q of Σ \ G we need to show that after removing the closed facets in G, there is still a path from P and Q through ridges and facets only.
Let F be any facet in G. We define an equivalence relation ∼ F on the facets of Σ \ F as the transitive closure of the following relation: P ∼ F Q if there exists a hyperplane H with H ∩ F = ∅, which meets both P and Q in their relative interior.
The theorem then follows from the following two claims.
Claim 12. For facets P, Q of Σ which are not in G, if P ∼ F Q, then there is a facet-ridge path between P and Q that avoids G.
Claim 13. The equivalence relation ∼ F has only one equivalence class.
Proof of Claim 12. Suppose that P ∼ F Q. We first observe that there is a rational hyperplane H such that (a) H does not meet F but meets the relative interiors of both P and Q, The assumption that P ∼ F Q implies the existence of some hyperplane H not intersecting F but meeting the relative interiors of P and Q. Since dim(Σ) ≥ 2, H can be perturbed to be rational, and satisfy (a) and (b). Moreover further small perturbation will preserve (a) and (b). By Theorem 5 the hyperplanes satisfying (c) are dense in P n Q . Thus there exists a rational hyperplane H satisfying (a),(b), and (c).
Let Z be an irreducible variety such that trop(Z) = H ∩ Σ. By induction on dimension, trop(Z) is (d − 1)-connected through codimension one. The condition (b) above implies that every facet of trop(Z) is the intersection of a facet of Σ with H, and every ridge of trop(Z) is the intersection of a ridge of Σ with H. This gives a natural inclusion of the facet-ridge hypergraph of trop(Z) into the facet-ridge hypergraph G of Σ. By construction the resulting sub-hypergraph G ′ of G contains the vertices corresponding to P and Q, but not the vertex corresponding to F or any of its incident hyperedges. While G ′ may contain some of the vertices corresponding to G \ {F }, since G ′ is (d − 1)-connected, G ′ with G \ {F } and their incident hyperedges removed is still connected, so there is a path between the vertices corresponding to P and Q. There is thus a path between P and Q in G not passing through the vertices corresponding to any element of G.
Proof of Claim 13. Let P • denote the relative interior of P . For any two facets P, Q of Σ \ G, we claim that if there is a line L which intersects P • and Q • but does not intersect F , then P ∼ F Q. To see this, take a linear projection onto R n−1 such that the image of the line L is a point L and the image of F is a convex polyhedron F . Since L does not meet F , we have L / ∈ F . Let V be a hyperplane through L which does not meet F . The preimage of V in R n is the desired hyperplane through P • and Q • which does not meet F . Thus P ∼ F Q.
Recall that we are assuming that Σ is not full dimensional. Fix F ∈ G. Let H be an affine hyperplane containing F . Let P, Q be two facets of Σ \ G. If there are points p ∈ P • \ H and q ∈ Q • ∩ H, then the line through p and q meets H only at q, so it does not intersect F , so P ∼ F Q as shown above. In fact, we can weaken the condition: if p ∈ P \ H and q ∈ (Q ∩ H) \ G, then we perturb the line through p and q to get a line through P • and Q • which does not intersect F , because F is closed, so we still have P ∼ F Q.
If there are facets P, Q in Σ such that (P \ H) \ G = ∅ and (Q ∩ H) \ G = ∅, then every facet of Σ \ G not contained in H is equivalent to Q under ∼ F : every facet of Σ \ G contained in H is equivalent to P under ∼ F , and P ∼ F Q, so Claim 13 follows by transitive closure. In other words, it suffices to show that there is a hyperplane H ⊃ F so that (Σ \ H) \ G = ∅ and (Σ ∩ H) \ G = ∅.
We are assuming that Σ is not contained in any affine subspace. Let σ be a facet of Σ which is not contained in H for some hyperplane H containing F . Since σ is a d-dimensional pointed polyhedron, it is incident to at least d distinct ridges τ 1 , . . . , τ d of Σ. By the balancing condition at τ i there is at least one other facet σ i containing τ i . If τ i ⊂ H, then σ i ⊂ H. If τ i ⊂ H, then we can choose σ i to be on the other side of H from σ by the balancing condition. Thus we have found d distinct facets σ 1 , . . . , σ d , none of which is in H, so at least one of these is not in G. Therefore (Σ \ H) \ G = ∅ for any hyperplane H containing F . If Σ has codimension greater than one, then take any point x ∈ Σ \ G and let H be a hyperplane containing x and F . Then x ∈ (Σ ∩ H) \ G = ∅.
It thus remains to show this in the case that Σ ⊂ R n is a balanced pointed polyhedral complex of dimension d = n − 1. We will show the following by induction on r: if V is an r-dimensional affine subspace of R n such that Σ ∩ V = ∅, then Σ ∩ V is not contained in the union of r − 1 facets of Σ. The case of r = 1 is trivial. Suppose V is an affine subspace of dimension r ≥ 2 such that Σ ∩ V = ∅. We first claim that Σ ∩ V is not contained in a single facet of Σ. This is immediate if V contains Σ, as a pure positive-dimensional balanced polyhedral complex with trivial lineality space has more than one facet. If Σ ⊆ V , then since Σ ∩ V = ∅, we have that Σ ∩ V contains the stable intersection of Σ and V by [JY16, Lemma 2.6]. This stable intersection is a balanced polyhedral complex of positive dimension by [JY16, Theorem 2.13], so not contained in a single pointed facet of Σ. If Σ ∩ V is contained in the union of r − 1 facets of Σ, then we choose one of these facets σ, a point x ∈ Σ ∩ V \ σ, and an affine subspace V ′ ⊂ V of dimension r − 1 that contains x but does not intersect σ. Then Σ ∩ V ′ is contained in the union of r − 2 facets of Σ, contradicting the induction hypothesis. Applying this for r = d, we see that for any hyperplane H, Σ ∩ H is not contained in the union of the d − 1 facets in G, so (Σ ∩ H) \ G = ∅.

Bergman fans
The trivial valuation tropical variety of a linear space that is given as the row span of a matrix A depends only on the vector matroid on the columns of A. This tropical variety is called the Bergman fan of the matroid. Bergman fans are defined also for matroids that are not representable over any field. The Bergman fan of a rank r matroid is an r-dimensional polyhedral fan whose lineality space contains 1 = (1, 1, . . . , 1). In [AK06] Ardila and Klivans gave two fan structures to a Bergman fan: the coarse subdivision is derived from the matroid polytope, and the fine subdivision is a cone over a geometric realization of the order complex of its lattice of flats. The rays of the fine subdivision are the 0/1 indicator vectors of flats of the matroids and the cones correspond to chains of flats ordered by inclusion. We will now show that the fine subdivision of the Bergman fan of any matroid M, representable or not, is rk(M) − 1 connected.
Proposition 14. Let M be a matroid of rank d + 1 on the ground set {0, . . . , n}, and let Σ be the fine subdivision on the Bergman fan trop(M) in R n ∼ = R n+1 /R1. The facet-ridge hypergraph of Σ is d-connected.
Proof. The Bergman fan of M with the fine subdivision is a d-dimensional pointed fan in R n ∼ = R n+1 /R1. The proof is by induction on the rank, d + 1, of the matroid. When d = 1, Σ is a one-dimensional fan, with all facets (rays) meeting at the origin, so the fan is connected. We now assume d > 1.
Fix a collection G of d − 1 facets of Σ. The facets in G are labeled by maximal chains of flats in M, so every facet contains exactly one rank-one flat. The rank-one flat in each chain is a parallel class of elements of M. There are at least d + 1 parallel classes because M has rank d + 1. Since every rank-one flat is in a facet, there are at least d + 1 facets, so we can fix two other facets σ 1 , σ 2 ∈ G. Since |G| = d − 1, there is an element i ∈ {0, . . . , n} which is not in any of the rank-one flats of cones in G. We write M 1 and M 2 for the initial matroids corresponding to vectors in the relative interior of σ 1 and σ 2 respectively. As these cones are in trop(M), both these matroids are loop-free, so there are bases B 1 , B 2 containing i in Choose facets σ ′ 1 , σ ′ 2 of Σ such that B 1 and B 2 respectively are bases of the corresponding initial matroid and i is in their rank-one flat. Thus σ ′ 1 , σ ′ 2 are not in G, By [Rin13, Theorem 2.6] the collection of cones in Σ for which B is a basis of the corresponding initial matroid is homeomorphic to R d , and thus is d-connected. This means that there is a facet-ridge path between σ 1 and σ ′ 1 , and between σ 2 and σ ′ 2 , after the closed facets in G are removed.
It remains to show that σ ′ 1 and σ ′ 2 are connected. By construction σ ′ 1 and σ ′ 2 have the same rank-one flat F i containing i. The flats containing F i (or i) are in natural inclusionpreserving bijection with the flats of the contraction M/i. Therefore the star of Σ at the ray corresponding to F i is the Bergman fan of the contraction M/i. Since M/i has rank d, by induction its Bergman fan with the fine subdivision is (d − 1)-connected, so the star of F i in Σ is (d − 1)-connected.
By assumption, no element of G has rank-one flat F i , so there are no elements of G in this star. Thus there is a ridge path in the star of F i between σ ′ 1 and σ ′ 2 avoiding G, which completes the proof.

Open Problems
Bergman fans and tropical linear spaces: Is any (nonrealizable) Bergman fan r−ℓ connected through codimension one with the coarse fan structure? Any fan structure?
Here r and ℓ denote the dimension of the Bergman fan and the dimension of the lineality space respectively. Similarly for (nonrealizable) tropical linear spaces of valuated matroids as defined in [Spe08].
Connectivity, irreducibility, and algebraic matroids: An irreducible variety X in K n gives a matroid on ground set {1, 2, . . . , n} where the rank of a subset S ⊂ {1, 2, . . . , n} is the dimension of the projection of X onto the S-coordinates. This is called the algebraic matroid of X, and tropicalization preserves algebraic matroids [Yu17]. In general it is not known which balanced polyhedral complexes give matroids this way. Does the higher connectivity imply that a balanced polyhedral complex gives an algebraic matroid? If the balanced complex is tropically irreducible, in the sense that it is not a union of two proper balanced weighted rational polyhedral complexes, does the complex have a higher connectivity or give an algebraic matroid?