arXiv++ Combinatorics

We construct a family of polytopes, which we call Chevalley polytopes, associated to homogeneous spaces $X=G/P$ in their projective embeddings $X\hookrightarrow \mathbb{P}(V_{\varpi})$ together with a choice of reduced expression for the minimal coset representative $w^P$ of $w_0$ in $W/W_P$. When $X$ is minuscule in its minimal embedding, we describe our construction in terms of order polytopes of minuscule posets and use the associated combinatorics to show that minuscule Chevalley polytopes are Newton-Okounkov bodies for $X$ and that the Plücker coordinates on $X$ form a Khovanskii basis for $\mathbb{C}[X]$. We conjecture similar properties for general $X$ and general embeddings $X\hookrightarrow\mathbb{P}(V_\varpi)$, along with a remarkable decomposition property which we consider as a polytopal shadow of the Littlewood-Richardson rule. We highlight a connection between Chevalley polytopes and string polytopes and give examples where Chevalley polytopes possess better combinatorial properties than string polytopes. We conclude with several examples further illustrating and supporting our conjectures.

Let $\mathfrak{p} \subset V$ be a polytope and $ξ\in V_{\mathbb{C}}^*$. We obtain an expression for $I(\mathfrak{p}; α) := \int_{\mathfrak{p}} e^{\langle α, x \rangle} dx$ as a sum of meromorphic functions in $α\in V^*_{\mathbb{C}}$ parametrized by the faces $\mathfrak{f}$ of $\mathfrak{p}$ on which $\langle ξ, x \rangle$ is constant. Each term only depends on the local geometry of $\mathfrak{p}$ near $\mathfrak{f}$ (and on $ξ$) and is holomorphic at $α= ξ$. When $\langle ξ, \cdot \rangle$ is only constant on the vertices of $\mathfrak{p}$ our formula reduces to Brion's formula. Suppose $\mathfrak{p}$ is a rational polytope with respect to a lattice $Λ$. We obtain an expression for $S(\mathfrak{p}; α) := \sum_{λ\in \mathfrak{p} \cap Λ} e^{\langle α, λ\rangle}$ as a sum of meromorphic functions parametrized by the faces $\mathfrak{f}$ on which $e^{\langle ξ, x \rangle} = 1$ on a finite index sublattice of $\text{lin}(\mathfrak{f}) \cap Λ$. Each term only depends on the local geometry of $\mathfrak{p}$ near $\mathfrak{f}$ (and on $ξ$ and $Λ$) and is holomorphic at $α= ξ$. When $e^{\langle ξ, \cdot \rangle} \neq 1$ at any non-zero lattice point on a line through the origin parallel to an edge of $\mathfrak{p}$, our formula reduces to Brion's formula, and when $ξ= 0$, it reduces to the Ehrhart quasi-polynomial. Our formulas are particularly useful for understanding how $I(\mathfrak{p}(h); ξ)$ and $S(\mathfrak{p}(h); ξ)$ vary in a family of polytopes $\mathfrak{p}(h)$ with the same normal fan. When considering dilates of a fixed polytope, our formulas may be viewed as polytopal analogues of Laplace's method and the method of stationary phase. Such expressions naturally show up in analysis on symmetric spaces and affine buildings.

While mirror symmetry for flag varieties and Grassmannians has been extensively studied, Schubert varieties in the Grassmannian are singular, and hence standard mirror symmetry statements are not well-defined. Nevertheless, in this article we introduce a ``superpotential'' $W^λ$ for each Grassmannian Schubert variety $X_λ$, generalizing the Marsh-Rietsch superpotential for Grassmannians, and we show that $W^λ$ governs many toric degenerations of $X_λ$. We also generalize the ``polytopal mirror theorem'' for Grassmannians from our previous work: namely, for any cluster seed $G$ for $X_λ$, we construct a corresponding Newton-Okounkov convex body $Δ_G^λ$, and show that it coincides with the superpotential polytope $Γ_G^λ$, that is, it is cut out by the inequalities obtained by tropicalizing an associated Laurent expansion of $W^λ$. This gives us a toric degeneration of the Schubert variety $X_λ$ to the (singular) toric variety $Y(\mathcal{N}_λ)$ of the Newton-Okounkov body. Finally, for a particular cluster seed $G=G^λ_{\mathrm{rec}}$ we show that the toric variety $Y(\mathcal{N}_λ)$ has a small toric desingularisation, and we describe an intermediate partial desingularisation $Y(\mathcal{F}_λ)$ that is Gorenstein Fano. Many of our results extend to more general varieties in the Grassmannian.

A seed is a PL sphere that is not obtainable by a wedge operation from any other PL sphere. In this paper, we study two operations on PL spheres, known as the stellar subdivision and the wedge, that preserve the maximality of Buchstaber numbers and polytopality. We construct a new polytopal toric colorable seed from these two operations. As a corollary, we prove that the toric colorable seed inequality established by Choi and Park is tight.

We prove a sharp upper bound on the number of distinct columns of a totally unimodular matrix with column sums $1$ improving upon Heller's classical bound. The proof uses Seymour's decomposition theorem. Such matrices are closely related to unimodular polytopes: lattice polytopes where the vertices of every full-dimensional subsimplex form an affine lattice basis. This is an interesting subclass of 0/1-polytopes and contains for instance edge polytopes of bipartite graphs. Our main result on totally unimodular matrices implies a sharp upper bound on the number of vertices of unimodular polytopes.

We give a complete classification of the Kronecker (i.e. direct) product graphs that are planar and $3$-connected (i.e. $3$-polytopal). They are all of the form \[H\wedge K_2,\] where $H$ is a $2$-connected graph, possibly non-planar, and satisfying specific properties that we will describe. Our proof is constructive, in the sense that we prescribe how to obtain all such graphs $H$, by adding a few edges in a specific way to a given planar, bipartite graph, that is either $3$-connected, or semi-hyper-$2$-connected. Moreover, for $H$ planar, we also give a more precise characterisation of this graph, regarding the number of its odd regions, and how they intersect. If $H\wedge K_2$ is a $3$-polytope, then we have $δ(H\wedge K_2)=3$, so that the connectivity of $H\wedge K_2$ is $3$, and the connectivity of $H$ is either $2$ or $3$. We also briefly discuss which Cartesian and strong products are $3$-polytopal.

Given a lattice path $ν$, the alt $ν$-Tamari lattice is a partial order recently introduced by Ceballos and Chenevière, which generalizes the $ν$-Tamari lattice and the $ν$-Dyck lattice. All these posets are defined on the set of lattice paths that lie weakly above $ν$, and posses a rich combinatorial structure. In this paper, we study the geometric structure of these posets. We show that their Hasse diagram is the edge graph of a polytopal complex induced by a tropical hyperplane arrangement, which we call the alt $ν$-associahedron. This generalizes the realization of $ν$-associahedra by Ceballos, Padrol and Sarmiento. Our approach leads to an elegant construction, in terms of areas below lattice paths, which we call the canonical realization. Surprisingly, in the case of the classical associahedron, our canonical realization magically recovers Loday's ubiquitous realization, via a simple affine transformation.

We use the folding technique to show that generalized associahedra for non-simply-laced root systems (including non-crystallographic ones) can be obtained as sections of simply-laced generalized associahedra constructed by Bazier-Matte, Chapelier-Laget, Douville, Mousavand, Thomas and Yildirim.

We show a new reduction method on a simplicial complex. This reduction works well with relations and Dowker complexes. The idea is to add a dummy vertex $ z $ to the simplicial complex $K$. We add the simplicial cone $ z * L $ to $K$ where $ L$ is the union of stars from a set of vertices. If $ L $ is contractible, then we can apply the Gluing theorem to glue $ z * L $ to $K$ to obtain $K'$. Finally, we strong collapse each vertex of $L$ in $K'$ to obtain $K''$. If the conditions are satisfied, then $K$, $K'$ and $K''$ are homotopically equivalent. This trick can be adapted to relation with the associated Dowker complex $K_R$. This notation help to simplify various computations. Relations are simple data structures, and they are represented by binary matrices. This method of reduction with relation is versatile and it can be used on different structures such as simplicial complexes, convex polytopal complexes and covers of topological spaces that satisfy the Nerve Theorem. We develop an algorithm based on the reduction step. Let $n$ be the number of vertices of $K$. We have $ O(n^2) $ subcomplexes $ L$ to verify contractibility. This verification of $ L $ is costly with $ O(d ε(n^2 + m^2)) $ where $d$ is the dimension of $L$, $m$ the number of toplexes in $L$, $n$ the number of vertices in $L$ and $ ε$ the maximal number of toplexes adjacent to a vertex in $L$. But, $L$ is often a small simplicial complex. If $L$ is contractible, then we apply a clean-up method on some columns that takes $ O(d m^2) $. Finally, we show the efficiency of the reduction algorithm on several experimental results.

We study the connection between multimatroids and moduli spaces of rational curves with cyclic action. Multimatroids are generalizations of matroids and delta-matroids introduced by Bouchet, which naturally arise in topological graph theory. The vantage point of moduli of curves provides a tropical framework for studying multimatroids, generalizing the previous connection between type-A permutohedral varieties (Losev--Manin moduli spaces) and matroids, and the connection between type-B permutohedral varieties (Batyrev--Blume moduli spaces) and delta-matroids. Specifically, we equate a combinatorial nef cone of the moduli space with the space of $\mathbb{R}$-multimatroids, a slight generalization of multimatroids, and we introduce the independence polytopal complex of a multimatroid, whose volume is identified with an intersection number on the moduli space. As an application, for the generating set of the Chow ring of the moduli space consisting of all psi-classes and their pullbacks along certain forgetful maps, we give a combinatorial formula for their intersection numbers by relating to the volumes of independence polytopal complexes of multimatroids.

The Bier sphere $Bier(\mathcal{G}) = Bier(K) = K\ast_ΔK^\circ$ and the canonical fan $Fan(Γ) = Fan(K)$ are combinatorial/geometric companions of a simple game $\mathcal{G} = (P,Γ)$ (equivalently the associated simplicial complex $K$), where $P$ is the set of players, $Γ\subseteq 2^P$ is the set of wining coalitions, and $K = 2^P\setminus Γ$ is the simplicial complex of losing coalitions. We characterize roughly weighted majority games as the games $Γ$ such that $Bier(\mathcal{G})$ (respectively $Fan(Γ)$) is canonically polytopal (canonically pseudo-polytopal) and show, by an experimental/theoretical argument, that all simple games with at most five players are polytopal.

Recent literature posed the problem of characterising the graph degree sequences with exactly one $3$-polytopal (i.e. planar, $3$-connected) realisation. This seems to be a difficult problem in full generality. In this paper, we characterise the sequences with exactly one self-dual $3$-polytopal realisation. An algorithm in the literature constructs a self-dual $3$-polytope for any admissible degree sequence. To do so, it performs operations on the radial graph, so that the corresponding $3$-polytope and its dual are modified in exactly the same way. To settle our question and construct the relevant graphs, we apply this algorithm, we introduce some modifications of it, and we also devise new ones. The speed of these algorithms is linear in the graph order.

By recent work of Afandi, it is known that tautological intersection numbers on the moduli space of stable $n$-pointed genus $g$ curves can be arranged into families of Ehrhart polynomials, $\{L_{\vec{d}}\}$, for partial polytopal complexes. In particular, the $f^*$-vector of $L_{\vec{d}}$ is known to be integral and non-negative. In this paper, we show that both the $f^*$-vector and $h^*$-vector have an enumerative interpretation in the special case that $\vec{d} = (1, 1, \dots, 1)$. The $f^*$-vector counts order-consecutive partition sequences of $[n+1]$ and the $h^*$-vector is a binomial coefficient. Furthermore, we conjecture that, for all $\vec{d}$, the $f^*$-vector of $L_{\vec{d}}$ always forms a log-concave sequence, and we verify this conjecture in the case that $\vec{d} = (1, 1, \dots, 1)$.

In this paper we study the structure of cellular pseudomanifolds (aka abstract polytopes). These are natural combinatorial generalisations of polytopal spheres (i.e., boundary complexes of convex polytopes). This class is closed under natural notions of duality and product. We show that they are also closed under an operation of direct product. Any cellular pseudomanifold and it's dual have homeomorphic geometric carriers, while the geometric carrier of the product of two of them is homeomorphic to the product of the carriers of the factors. The excess of a cellular pseudomanifold is defined as the non-negative integer $n - d - 2$ where $d$ is the dimension and $n$ is the number of vertices. We completely classify the cellular pseudo manifolds of excess $< 2$, and make some progress towards classifying those of excess 2.

We consider the Holmes--Thompson volume of balls in the Funk geometry on the interior of a convex domain. We conjecture that for a fixed radius, this volume is minimized when the domain is a simplex and the ball is centered at the barycenter, or in the centrally-symmetric case, when the domain is a Hanner polytope. This interpolates between Mahler's conjecture and Kalai's flag conjecture. We verify this conjecture for unconditional domains. For polytopal Funk geometries, we study the asymptotics of the volume of balls of large radius, and compute the two highest-order terms. The highest depends only on the combinatorics, namely on the number of flags. The second highest depends also on the geometry, and thus serves as a geometric analogue of the centro-affine area for polytopes. We then show that for any polytope, the second highest coefficient is minimized by a unique choice of center point, extending the notion of Santaló point. Finally, we show that, in dimension two, this coefficient, with respect to the minimal center point, is uniquely maximized by affine images of the regular polygon.

Maniplexes are coloured graphs that generalise maps on surfaces and abstract polytopes. Each maniplex uniquely defines a partially ordered set that encodes information about its structure. When this poset is an abstract polytope, we say that the associated maniplex is polytopal. Maniplexes that have two properties, called faithfulness and thinness, are completely determined by their associated poset, which is often an abstract polytope. We show that all faithful thin maniplexes of rank three are polytopal. So far only one example, of rank four, of a thin maniplex that is not polytopal was known. We construct the first infinite family of maniplexes that are faithful and thin but are non-polytopal for all ranks greater than three.

Let $Ass_k(n)$ denote the simplicial complex of $(k+1)$-crossing-free subsets of edges in $\binom{n}{2}$. Here $k,n\in \mathbb{N}$ and $n\ge 2k+1$. It is conjectured that this simplicial complex is polytopal (Jonsson 2005). However, despite several recent advances, this is still an open problem. In this paper we attack this problem using as a vector configuration the rows of a rigidity matrix, namely, hyperconnectivity restricted to bipartite graphs. We see that in this way $Ass_k(n)$ can be realized as a polytope for $k=2$ and $n\le 10$, and as a fan for $k=2$ and $n\le 13$, and for $k=3$ and $n\le 11$. However, we also prove that the cases with $k\ge 3$ and $n\ge \max\{12,2k+4\}$ are not realizable in this way. We also give an algebraic interpretation of the rigidity matroid, relating it to a projection of determinantal varieties with implications in matrix completion, and prove the presence of a fan isomorphic to $Ass_{k-1}(n-2)$ in the tropicalization of that variety.

We develop a method for subdividing polyhedral complexes in a way that restricts the possible recession cones and allows one to work with a fixed class of polyhedron. We use these results to construct locally finite completions of rational polyhedral complexes whose recession cones lie in a fixed fan, locally finite polytopal completions of polytopal complexes, and locally finite zonotopal completions of zonotopal complexes.

Numerous structural findings of homology manifolds have been derived in various ways in relation to $g_2$-values. The homology $4$-manifolds with $g_2\leq 5$ are characterized combinatorially in this article. It is well-known that all homology $4$-manifolds for $g_2\leq 2$ are polytopal spheres. We demonstrate that homology $4$-manifolds with $g_2\leq 5$ are triangulated spheres and are derived from triangulated 4-spheres with $g_2\leq 2$ by a series of connected sum, bistellar 1- and 2-moves, edge contraction, edge expansion, and edge flipping operations. We establish that the above inequality is optimally attainable, i.e., it cannot be extended to $g_2 = 6$.

Let $Δ_k(n)$ denote the simplicial complex of $(k+1)$-crossing-free subsets of edges in $\binom{[n]}{2}$. Here $k,n\in \mathbb N$ and $n\ge 2k+1$. Jonsson (2003) proved that (neglecting the short edges that cannot be part of any $(k+1)$-crossing), $Δ_k(n)$ is a shellable sphere of dimension $k(n-2k-1)-1$, and conjectured it to be polytopal. The same result and question arose in the work of Knutson and Miller (2004) on subword complexes. Despite considerable effort, the only values of $(k,n)$ for which the conjecture is known to hold are $n\le 2k+3$ (Pilaud and Santos, 2012) and $(2,8)$ (Bokowski and Pilaud, 2009). Using ideas from rigidity theory and choosing points along the moment curve we realize $Δ_k(n)$ as a polytope for $(k,n)\in \{(2,9), (2,10) , (3,10)\}$. We also realize it as a simplicial fan for all $n\le 13$ and arbitrary $k$, except the pairs $(3,12)$ and $(3,13)$. Finally, we also show that for $k\ge 3$ and $n\ge 2k+6$ no choice of points can realize $Δ_k(n)$ via bar-and-joint rigidity with points along the moment curve or, more generally, via cofactor rigidity with arbitrary points in convex position.