arXiv++ Combinatorics

Several important fans studied at the interface of combinatorics and algebraic geometry arise from barycentric subdivisions of other fans; the central example is the braid arrangement. The collection of faces of the standard simplex forms a basis for the deformation cone of the braid arrangement, i.e. the cone of generalized permutahedra. We reinterpret this simplicial basis as the collection of deep truncations of the standard simplex, and systematically abstract this perspective to produce polytopal bases for the deformation cones of barycentric subdivisions of simplicial projective fans. We further demonstrate that these bases restrict to bases for deformation cones of fans obtained by a sequence of stellar subdivisions induced by a building set. When the starting polytope is smooth with all edge lengths equal to 1, we show that we can upgrade our basis to a collection of flat truncations. We then investigate two extensions of the braid arrangement where we are able to further upgrade our flat truncation basis to an indecomposable polytopal basis: 1.the barycentric subdivision of the normal fan of a product of standard simplices and 2.the barycentric subdivision of the braid arrangement. We discuss connections to, and implications for, Archimedean solids and regular polytopes, permutahedral plates, root polytopes, permutoassociahedra, simple permutonestohedra, cosmohedra, omnitruncations of Coxeter permutahedra, bipermutahedra, $π$-colored fans, and tropical $α$ and $β$ classes.

Bier spheres arise as deleted joins of simplicial complexes with their combinatorial Alexander duals and form one of the largest known families of simplicial spheres. We study centrally symmetric Bier spheres and give a simple criterion for when they cannot arise as boundaries of centrally symmetric polytopes. From this, we obtain a large new family of simplicial polytopes with combinatorial automorphisms that cannot be realized geometrically. Prior to our construction, the Bokowski--Ewald--Kleinschmidt polytope was the only known simplicial example exhibiting these properties. By Smith theory, these polytopes have noncontractible realization spaces. Finally, we establish that every Bier sphere with at most $12$ vertices is polytopal.

The Bier sphere of a simplicial complex $K$ is defined as the deleted join of $K$ and its combinatorial Alexander dual. We focus on the class of Bier spheres of the skeleta of a simplex. Since these Bier spheres are known to be polytopal, they give rise to small covers. We classify small covers over these Bier spheres up to Davis--Januszkiewicz equivalence. As applications, for all $m \geq 4$, we determine the homeomorphism types of small covers over the Bier spheres of the $0$-skeleton and the $(m-3)$-skeleton of an $(m-1)$-simplex. For the remaining cases $0<r<m-3$, we compute their rational Betti numbers.

We study automorphism groups in five extremal families of polyhedral graphs. For every $n\ge14$, we prove that every minimum-order $3$-polytopal graph containing a vertex of each degree $3,4,\ldots,n$ is asymmetric. The proof uses an exact planar defect decomposition, a complete description of the high-degree tail, and a saturation theorem for the subgraph induced by the uniquely high-degree vertices. Duality gives the corresponding asymmetry result for minimum-face polyhedra containing faces of every size $3,4,\ldots,n$. For the three polyhedral graphs whose complements are also polyhedral, we determine the ordinary and extended automorphism groups and identify the extended group \[ \mathsf{Aut}^{\pm}(G_{13})\cong (C_2\times C_2)\rtimes C_4. \] Next, we classify automorphism groups of radius-one polyhedra. In the unique-dominating-vertex case they are cyclic or dihedral, and in the triangulated case the possibilities are \[ 1,\qquad C_2,\qquad C_3,\qquad C_2\times C_2,\qquad S_3. \] For polyhedra that are unigraphic among the class of self-dual, we show that their automorphism group is either $1$ or $C_2$. Finally, we consider polyhedra that are products of graphs, for each of the four standard graph products, and we classify them according to their automorphism group.

We design exact algorithms for the ham-sandwich and centerpoint theorems for polytopal measures. Our key observation is that the cap-volume function of such a measure, i.e., the volume cut off by a halfspace, is piecewise rational on a natural decomposition of the space of oriented hyperplanes. This lets us recast prescribed-proportion cutting problems as semialgebraic feasibility problems. For fixed ambient dimension, this yields polynomial-time algorithms to decide the existence of cuts, describe the full solution set, and sample or enumerate solutions. We extend this framework to the center transversal theorem, showing that spaces of deep affine flats are semialgebraic, which holds for centerpoints. We further show that the set of centerpoints of a convex polytope coincides with its floating body at level $1/(d+1)$, a useful semialgebraic description.

We provide a classification of neighborly Murai spheres, which implies that all of them are polytopal. Furthermore, we show that each neighborly $d$-sphere with no more than $d+4$ vertices is combinatorially equivalent to a Murai sphere for any $d\geq 1$.

Tonks' projection from the permutohedron to the associahedron and the Loday--Ronco map both send permutations to planar binary trees. We give a syntactic account of these maps in the equational calculus of the free non-symmetric, non-unital operad on one binary generator. The vertex restriction of Tonks' projection is obtained by evaluating the head-insertion encoding on the reversed permutation, while the Loday--Ronco map is obtained by evaluating the decreasing encoding. We also give a local operadic proof that Tonks' vertex map is order-preserving from the weak Bruhat order to the Tamari order.

We define and study the higher rank GKZ-fans of point configurations, where the rank one cases coincide with the usual GKZ-fans. A point in a higher rank GKZ-fan is then used to construct higher rank quasi-valuations to degenerate the toric variety associated to the point configuration flatly to a reduced union of toric varieties. Such a union encodes the polytopal subdivision arising from the point in the higher rank GKZ-fan.

We study Forman--Ricci and effective resistance curvatures on the skeleta of convex polytopes. Our guiding questions are: how frequently do polytopal graphs exhibit everywhere positive curvature, and what structural constraints does positivity impose? For Forman--Ricci curvature we derive an exact identity for the average edge curvature in terms of flag $f$-numbers and establish the existence of infinite families of Forman--Ricci-positive polytopes in every fixed dimension $d\ge 6$. We prove finiteness results in low dimension: there are only finitely many Forman--Ricci-positive $3$- and $4$-polytopes; for $d=5$ we show finiteness in the simplicial case, and conjecture its extension to $5$-polytopes more generally. For the resistance curvature $κ(v)$ we establish the existence of infinite families for all $d\ge 3$, and we provide a quantitative lower bound for $κ(v)$ in a simple $3$-polytope in terms of the lengths of the three $2$-faces incident to $v$. This bound leads to constructions of non-vertex-transitive, resistance-positive $3$-polytopes via $Δ$-operations, and a degree-based obstruction showing that if each neighbor of $v$ has degree at most $d_v-2$, then $κ(v)\le 0$. Our results suggest that positive curvature on polytopal skeletons is rare and constrained.

We study nested complexes of building sets on the Las Vergnas face lattices of oriented matroids. Such a nested complex is the face lattice of an oriented matroid, obtained by iterated stellar subdivisions of the positive tope. If the oriented matroid is realizable, the nested complex is isomorphic to the boundary complex of a polytope. We turn this into an explicit and combinatorially meaningful polytopal realization. We prove that the facial nested complex can be embedded as the acyclic subcomplex of the nested complex of a well-chosen boolean building set. In the realizable case, we show that this acyclic subcomplex can be geometrically selected as the section of a nestohedron by the evaluation space of the vector configuration, which we call acyclonestohedron. Our framework generalizes the poset associahedra recently introduced by P. Galashin, from order polytopes to any polytope. Poset associahedra are the graphical acyclonestohedra, and our approach recovers as particular cases the main results of P. Galashin and answers some of his open questions. Besides poset associahedra, our framework unifies various other existing families of nested-like polytopes, such as the simple polytope nestohedra, the hyperoctahedral nestohedra, the design graph associahedra and the permutopermutohedra, to which our palette of results can be directly applied. The core of our construction is the embedding of the facial nested complex inside a boolean nested complex. More generally, we provide conditions that guarantee an embedding between nested complexes over two lattices. For instance, any atomic nested complex has a canonical embedding inside a boolean nested complex. As another application, we embed nested complexes over lattices of faces into nested complexes over lattices of flats, recovering as a particular case, the embedding of the positive Bergman complex into the Bergman complex.

Given a directed graph $D$ with transitive closure $\operatorname{tc}(D)$ and path hypergraph $\mathbb{P}(D)$, we study the connections between the (acyclic) reorientation poset of $\operatorname{tc}(D)$, the (acyclic) sourcing poset of $\mathbb{P}(D)$, and the (acyclic) ornamentation poset of $D$. Geometrically, the acyclic reorientation poset of $\operatorname{tc}(D)$ (resp. the acyclic sourcing poset of $\mathbb{P}(D)$) is the transitive closure of the skeleton of the graphical zonotope of $\operatorname{tc}(D)$ (resp. of the hypergraphic polytope of $\mathbb{P}(D)$) oriented in a linear direction. When $D$ is a rooted (or even unstarred) increasing tree, we show that the acyclic sourcing poset of $\mathbb{P}(D)$ is isomorphic to the ornamentation lattice of $D$, and that they form a lattice quotient of the acyclic reorientation lattice of $\operatorname{tc}(D)$. As a consequence, we obtain polytopal realizations of the ornamentation lattices of rooted (or even unstarred) increasing trees, answering an open question of C. Defant and A. Sack. When $D$ is an increasing tree, we show that the ornamentation lattice of $D$ is the MacNeille completion of the acyclic sourcing poset of $\mathbb{P}(D)$. Finally, still when $D$ is an increasing tree, we use the ornamentation lattice of $D$ to characterize the subhypergraphs of the path hypergraph $\mathbb{P}(D)$ whose acyclic sourcing poset is a lattice.

In this paper, we resolve a conjecture of Khovanskii--Monin on the Chern classes of toric variety bundles. The main result is a formula for the total Chern class of the tangent bundle of a toric variety bundle in terms of the total Chern class of the base and the total Chern class of the toric fibre. The result serves as a simultaneous generalization of the description of the total Chern class of a projectivized vector bundle and of the formula for the total Chern class of a toric variety in terms of the Chern classes of the toric divisors. We also establish a topological version of this statement for stably complex quasitoric manifolds. As an immediate application, we obtain a formula for the total Chern class of a toroidal horospherical variety in terms of the Chern classes of the generalized flag variety and the total Chern class of the toric fibre, as well as a new proof of Masuda's formula for equivariant Chern classes. This paper is written with a view towards finding polytopal models for various numeric invariants of spherical varieties.

There has been wide interest in understanding which properties of base graphs of matroids extend to base-cobase graphs of matroids. A significant result of Naddef and Pulleyblank (1984) shows that the $1$-skeleton of any $(0,1)$-polytope is either a hypercube, or Hamiltonian-connected, i.e. there is a Hamiltonian path connecting any two vertices. In particular, this is true for base graphs of matroids. A natural question raised by Farber, Richter, and Shank (1985) is whether this extends to base-cobase graphs. First, we use the polytopal approach to show Hamiltonian connectivity of base-cobase graphs of series-parallel extensions of lattice path matroids. On the other hand, we show that this method extends to only very special classes related to identically self-dual matroids. Second, we show that base-cobase graphs of wheels and whirls are Hamiltonian connected. Last, we show that the regular matroid $R_{10}$ yields a negative answer to the question of Farber, Richter, and Shank.

Let (\mathcal{F}(n)) be the graph of (n)-vertex triangulations of the 3-sphere (S^3), with edges as bistellar 2--3 and 3--2 moves. Pachner's theorem \cite{P91} shows the flip graph is connected with 1--4 and 4--1 moves, but (\mathcal{F}(n)) loses connectivity: it is connected for (5 \leq n \leq 9) ((n=5) minimal for (S^3)) but splits into multiple components at (n=16), (n=20), (n=21), and likely beyond. The polytopal closure of (\mathcal{F}(n)) is the component with all boundary complexes of convex 4-polytopes. We prove (\mathcal{F}(10)) and (\mathcal{F}(11)) are connected by showing: every non-polytopal 10-vertex seed triangulation (no 3--2 flips) is one 2--3 flip from a convex-polytope boundary, and every 11-vertex seed triangulation arises from a 10-vertex convex polytope via a 1--4 flip and 2--3 or 3--2 flips, both in the polytopal closure. We address four unflippable (S^3) complexes ((U(16)), (U(20)), (U_1(21)), (U_2(21))), showing each connects to the polytopal closure of (\mathcal{F}(n+1)) after one 1--4 vertex insertion and an annealing process maximizing removable-vertex chains. We propose the Weeping Willow Conjecture: non-polytopal components of (\mathcal{F}(n)) stem from the polytopal closure of (\mathcal{F}(m)), (m > n), via 4--1 moves, with the polytopal closure as the trunk and other components as branches.

We prove that the median hypersimplex $Δ_{2k,k}$ is Minkowski indecomposable, i.e. it cannot be expressed as a non-trivial Minkowski sum $Δ_{2k,k} = P+Q$, where $P\neq λΔ_{2k,k}\neq Q$. We obtain as a corollary that $Δ_{2k,k}$ represents a ray in the submodular cone (the deformation cone of the permutahedron). Building on the previously developed geometric methods and extensive computer search, we exhibit a twelve vertex, $4$-dimensional polytopal realization of the Bier sphere of the hemi-icosahedron, the vertex minimal triangulation of the real projective plane.

The ordinary and $S_n$-equivariant fundamental groups of the moduli space $\overline{M_{0,n+1}}(\mathbb{R})$ of real $(n+1)$-marked stable curves of genus $0$ are known as \emph{cactus groups} $J_n$ and have applications both in geometry and the representation theory of Lie algebras. In this paper, we compute the ordinary and $S_n$-equivariant fundamental groups of the Hassett space of weighted real stable curves $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ with $S_n$-symmetric weight vector $\mathcal{A} = (1/a, \ldots, 1/a, 1)$, which we call \emph{weighted cactus groups} $J_n^a$. We show that $J_n^a$ is obtained from the usual cactus presentation by introducing braid relations, which successively simplify the group from $J_n$ to $S_n \rtimes \mathbb{Z}/2\mathbb{Z}$ as $a$ increases. Our proof is by decomposing $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ as a polytopal complex, generalizing a similar known decomposition for $\overline{M_{0,n+1}}(\mathbb{R})$. In the unweighted case, these cells are known to be cubes and are `dual' to the usual decomposition into associahedra (by the combinatorial type of the stable curve). For $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$, our decomposition instead consists of products of permutahedra. The cells of the decomposition are indexed by weighted stable trees, but `dually' to the usual indexing.

Brick polytopes constitute a remarkable family of polytopes associated to the spherical subword complexes of Knutson and Miller. They were introduced for finite Coxeter groups by Pilaud and Stump, who used them to produce geometric realizations of generalized associahedra arising from the theory of cluster algebras of finite types. In this paper, we present an application of the vast generalization of brick polyhedra for general subword complexes (not necessarily spherical) recently introduced by Jahn and Stump. More precisely, we show that the $ν$-associahedron, a polytopal complex whose edge graph is the Hasse diagram of the $ν$-Tamari lattice introduced by Préville-Ratelle and Viennot, can be geometrically realized as the complex of bounded faces of the brick polyhedron of a well chosen subword complex. We also present a suitable projection to the appropriate dimension, which leads to an elegant vertex-coordinate description.

We prove that Loday's polytopal realisation of the nth Tamari lattice T_n, called associahedron, has 2^{n-1} common points with the permutohedron, which form a maximal never-middle (symmetric) Condorcet domain.

We give Gelfand-Tsetlin crystals for the Kostant-Kumar modules for the finite simple Lie algebra of type A. Kostant-Kumar modules are cyclic submodules of the tensor product of two irreducible highest weight modules of a symmetrizable Kac-Moody Lie algebras. In this case (type A), we also provide a polytopal model for Kostant-Kumar modules in terms of BiKogan faces.

We investigate several properties of Kronecker (direct, tensor) products of graphs that are planar and $3$-connected (polyhedral, $3$-polytopal). This class of graphs was recently characterised and constructed by the second author [15]. Our main result is that cancellation holds for the Kronecker product of graphs when the product is planar and $3$-connected (it is known that Kronecker cancellation may fail in general). Equivalently, polyhedral graphs are Kronecker products in at most one way. This is a special case of the deep and interesting question, open in general, of Kronecker product cancellation for simple graphs: when does $A\wedge C\simeq B\wedge C$ imply $A\simeq B$? We complete our investigation on simultaneous products by characterising and constructing the planar graphs that are Cartesian products in two distinct ways, and the planar, $3$-connected graphs that are both Kronecker and Cartesian products. The other type of results we obtain are in extremal graph theory. We classify the polyhedral Kronecker products that are either face-regular or vertex-regular graphs. The face-regular ones are certain quadrangulations of the sphere, while the vertex-regular ones are certain cubic graphs (duals of maximal planar graphs). We also characterise, and iteratively construct, the face-regular subclass of graphs minimising the number of vertices of degree $3$.