arXiv++ Combinatorics

It is shown that a small cover (resp. real moment-angle manifold) over a simple polytope is an infra-solvmanifold if and only if it is diffeomorphic to a real Bott manifold (resp. flat torus). Moreover, we obtain several equivalent conditions for a small cover being homeomorphic to a real Bott manifold. In addition, we study Riemannian metrics on small covers and real moment-angle manifolds with certain conditions on the Ricci or sectional curvature. We will see that these curvature conditions put very strong restrictions on the topology of the corresponding small covers and real moment-angle manifolds and the combinatorial structure of the underlying simple polytopes.

We associate an integer to any simple polytope and we study its properties.

We prove that any simple polytope (and some non-simple polytopes) in $\mathbb R^3$ admits an inscribed regular octahedron.

This article concerns the computational problem of counting the lattice points inside convex polytopes, when each point must be counted with a weight associated to it. We describe an efficient algorithm for computing the highest degree coefficients of the weighted Ehrhart quasi-polynomial for a rational simple polytope in varying dimension, when the weights of the lattice points are given by a polynomial function h. Our technique is based on a refinement of an algorithm of A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), pp. 1449--1466] in the unweighted case (i.e., h = 1). In contrast to Barvinok's method, our method is local, obtains an approximation on the level of generating functions, handles the general weighted case, and provides the coefficients in closed form as step polynomials of the dilation. To demonstrate the practicality of our approach we report on computational experiments which show even our simple implementation can compete with state of the art software.

We study the question of polytopality of graphs: when is a given graph the graph of a polytope? We first review the known necessary conditions for a graph to be polytopal, and we provide several families of graphs which satisfy all these conditions, but which nonetheless are not graphs of polytopes. Our main contribution concerns the polytopality of Cartesian products of non-polytopal graphs. On the one hand, we show that products of simple polytopes are the only simple polytopes whose graph is a product. On the other hand, we provide a general method to construct (non-simple) polytopal products whose factors are not polytopal.

We introduce the short toric polynomial associated to a graded Eulerian poset. This polynomial contains the same information as the two toric polynomials introduced by Stanley, but allows different algebraic manipulations. The intertwined recurrence defining Stanley's toric polynomials may be replaced by a single recurrence, in which the degree of the discarded terms is independent of the rank. A short toric variant of the formula by Bayer and Ehrenborg, expressing the toric $h$-vector in terms of the $cd$-index, may be stated in a rank-independent form, and it may be shown using weighted lattice path enumeration and the reflection principle. We use our techniques to derive a formula expressing the toric $h$-vector of a dual simplicial Eulerian poset in terms of its $f$-vector. This formula implies Gessel's formula for the toric $h$-vector of a cube, and may be used to prove that the nonnegativity of the toric $h$-vector of a simple polytope is a consequence of the Generalized Lower Bound Theorem holding for simplicial polytopes.

For a polytope we define the {\em flag polynomial}, a polynomial in commuting variables related to the well-known flag vector and describe how to express the the flag polynomial of the Minkowski sum of $k$ standard simplices in a direct and canonical way in terms of the {\em $k$-th master polytope} $P(k)$ where $k\in\nats$. The flag polynomial facilitates many direct computations. To demonstrate this we provide two examples; we first derive a formula for the $f$-polynomial and the maximum number of $d$-dimensional faces of the Minkowski sum of two simplices. We then compute the maximum discrepancy between the number of $(0,d)$-chains of faces of a Minkowski sum of two simplices and the number of such chains of faces of a simple polytope of the same dimension and on the same number of vertices.

LVM and LVMB manifolds are a large family of examples of non kahler manifolds. For instance, Hopf manifolds and Calabi-Eckmann manifolds can be seen as LVMB manifolds. The LVM manifolds have a very natural action of the real torus and the quotient of this action is a simple polytope. This quotient allows us to relate closely LVM manifolds to the moment-angle manifolds studied (for example) by Buchstaber and Panov. The aim of this paper is to generalize the polytopes associated to LVM manifolds to the LVMB case and study its properties. In particular, we show that it belongs to a very large class of simplicial spheres. Moreover, we show that for every sphere belonging to this class, we can construct a LMVB manifold whose associated sphere is the given sphere. We use this latter result to show that many moment-angle complexes can be endowed with a complex structure (up to product with circles).

LVM and LVMB manifolds are a large family of examples of non kähler manifolds. For instance, Hopf manifolds and Calabi-Eckmann manifolds can be seen as LVMB manifolds. The LVM manifolds have a very natural action of the real torus and the quotient of this action is a simple polytope. This quotient allows us to relate closely LVM manifolds to the moment-angle manifolds studied (for example) by Buchstaber and Panov. The aim of this paper is to generalize the polytopes associated to LVM manifolds to the LVMB case and study its properties. In particular, we show that it belongs to a very large class of simplicial spheres. Moreover, we show that for every sphere belonging to this class, we can construct a LMVB manifold whose associated sphere is the given sphere. We use this latter result to show that many moment-angle complexes can be endowed with a complex structure (up to product with circles).

Given a simple graph G, the graph associahedron KG is a simple polytope whose face poset is based on the connected subgraphs of G. This paper defines and constructs graph associahedra in a general context, for pseudographs with loops and multiple edges, which are also allowed to be disconnected. We then consider deformations of pseudograph associahedra as their underlying graphs are altered by edge contractions and edge deletions.

From the paper of the first author it follows that upper and lower bounds for $γ$-vector of a simple polytope imply the bounds for its $g$-,$h$- and $f$-vectors. In the paper of the second author it was obtained unimprovable upper and lower bounds for $γ$-vectors of flag nestohedra, particularly Gal's conjecture was proved for this case. In the present paper we obtain unimprovable upper and lower bounds for $γ$-vectors (consequently, for $g$-,$h$- and $f$-vectors) of graph-associahedra and some its important subclasses. We use the constructions that for an $(n-1)$-dimensional graph-associahedron $P_{Γ_n}$ give the $n$-dimensional graph-associahedron $P_{Γ_{n+1}}$ that is obtained from the cylinder $P_{Γ_n}\times I$ by sequential shaving some facets of its bases. We show that the well-known series of polytopes (associahedra, cyclohedra, permutohedra and stellohedra) can be derived by these constructions. As a corollary we obtain inductive formulas for $γ$- and $h$- vectors of the mentioned series. These formulas communicate the method of differential equations developed by the first author with the method of shavings developed by the second author.

The paper describes a construction of abstract polytopes from Cayley graphs of symmetric groups. Given any connected graph G with p vertices and q edges, we associate with G a Cayley graph of the symmetric group S_p and then construct a vertex-transitive simple polytope of rank q, called the graphicahedron, whose 1-skeleton (edge graph) is the Cayley graph. The graphicahedron of a graph G is a generalization of the well-known permutahedron; the latter is obtained when the graph is a path. We also discuss symmetry properties of the graphicahedron and determine its structure when G is small.

Simultaneously generalizing both neighborly and neighborly cubical polytopes, we introduce PSN polytopes: their k-skeleton is combinatorially equivalent to that of a product of r simplices. We construct PSN polytopes by three different methods, the most versatile of which is an extension of Sanyal and Ziegler's "projecting deformed products" construction to products of arbitrary simple polytopes. For general r and k, the lowest dimension we achieve is 2k+r+1. Using topological obstructions similar to those introduced by Sanyal to bound the number of vertices of Minkowski sums, we show that this dimension is minimal if we additionally require that the PSN polytope is obtained as a projection of a polytope that is combinatorially equivalent to the product of r simplices, when the dimensions of these simplices are all large compared to k.

We introduce the wedge product of two polytopes. The wedge product is described in terms of inequality systems, in terms of vertex coordinates as well as purely combinatorially, from the corresponding data of its constituents. The wedge product construction can be described as an iterated ``subdirect product'' as introduced by McMullen (1976); it is dual to the ``wreath product'' construction of Joswig and Lutz (2005). One particular instance of the wedge product construction turns out to be especially interesting: The wedge products of polygons with simplices contain certain combinatorially regular polyhedral surfaces as subcomplexes. These generalize known classes of surfaces ``of unusually large genus'' that first appeared in works by Coxeter (1937), Ringel (1956), and McMullen, Schulz, and Wills (1983). Via ``projections of deformed wedge products'' we obtain realizations of some of the surfaces in the boundary complexes of 4-polytopes, and thus in R^3. As additional benefits our construction also yields polyhedral subdivisions for the interior and the exterior, as well as a great number of local deformations (``moduli'') for the surfaces in R^3. In order to prove that there are many moduli, we introduce the concept of ``affine support sets'' in simple polytopes. Finally, we explain how duality theory for 4-dimensional polytopes can be exploited in order to also realize combinatorially dual surfaces in R^3 via dual 4-polytopes.

We describe a method for computing the highest degree coefficients of a weighted Ehrhart quasi-polynomial for a rational simple polytope.

We analyze mass linear functions $H$ on simple polytopes $\De$, where a mass linear function is an affine function on $\De$ whose value on the center of mass depends linearly on the positions of the supporting hyperplanes. We show that certain types of symmetries of $\De$ give rise to nonconstant mass linear functions on $\De$. These are called inessential; the others are essential. We also show that most polytopes do not admit any nonconstant mass linear functions. Our main result shows that there is only one family of smooth polytopes of dimension $\leq 3$ which admit essential mass linear functions. These results have geometric implications. Fix a symplectic toric manifold $(M,\om,T,Φ)$ with moment polytope $\De = Φ(M)$; let $\Symp(M,\om)$ be its group of symplectomorphisms. Any linear function $H$ on $\De$ generates a Hamiltonian $\R$ action on $M$ whose closure is a subtorus $T_H$ of $T$. We show that if the map $π_1(T_H)\to π_1(\Symp(M,\om))$ has finite image, then $H$ is mass linear. Therefore, in most cases the induced map $π_1(T) \to π_1(\Symp(M,\om))$ is an injection. We also show that this map does not have finite image unless $M$ is a product of projective spaces. Moreover, the inessential $H$ correspond to elements in the kernel of the map $π_1(T)\to \Isom(M)$, where the Kahler isometry group $\Isom(M)\subset \Symp(M,\om)$ consists of elements that also preserve the natural compatible complex structure on $M$. Therefore if $\De$ supports no nonconstant essential mass linear $H$, the map $π_1(\Isom(M))\to pi_1(\Symp(M,\om)$ is injective.

We introduce a deformed product construction for simple polytopes in terms of lower-triangular block matrix representations. We further show how Gale duality can be employed for the construction and for the analysis of deformed products such that specified faces (e.g. all the k-faces) are ``strictly preserved'' under projection. Thus, starting from an arbitrary neighborly simplicial (d-2)-polytope Q on n-1 vertices we construct a deformed n-cube, whose projection to the last dcoordinates yields a neighborly cubical d-polytope. As an extension of thecubical case, we construct matrix representations of deformed products of(even) polygons (DPPs), which have a projection to d-space that retains the complete (\lfloor \tfrac{d}{2} \rfloor - 1)-skeleton. In both cases the combinatorial structure of the images under projection is completely determined by the neighborly polytope Q: Our analysis provides explicit combinatorial descriptions. This yields a multitude of combinatorially different neighborly cubical polytopes and DPPs. As a special case, we obtain simplified descriptions of the neighborly cubical polytopes of Joswig & Ziegler (2000) as well as of the ``projected deformed products of polygons'' that were announced by Ziegler (2004), a family of 4-polytopes whose ``fatness'' gets arbitrarily close to 9.

Given a finite Coxeter system $(W,S)$ and a Coxeter element $c$, we construct a simple polytope whose outer normal fan is N. Reading's Cambrian fan $F_c$, settling a conjecture of Reading that this is possible. We call this polytope the $c$-generalized associahedron. Our approach generalizes Loday's realization of the associahedron (a type $A$ $c$-generalized associahedron whose outer normal fan is not the cluster fan but a coarsening of the Coxeter fan arising from the Tamari lattice) to any finite Coxeter group. A crucial role in the construction is played by the $c$-singleton cones, the cones in the $c$-Cambrian fan which consist of a single maximal cone from the Coxeter fan. Moreover, if $W$ is a Weyl group and the vertices of the permutahedron are chosen in a lattice associated to $W$, then we show that our realizations have integer coordinates in this lattice.

The aim of the paper is to calculate face numbers of simple generalized permutohedra, and study their f-, h- and gamma-vectors. These polytopes include permutohedra, associahedra, graph-associahedra, simple graphic zonotopes, nestohedra, and other interesting polytopes. We give several explicit formulas for h-vectors and gamma-vectors involving descent statistics. This includes a combinatorial interpretation for gamma-vectors of a large class of generalized permutohedra which are flag simple polytopes, and confirms for them Gal's conjecture on nonnegativity of gamma-vectors. We calculate explicit generating functions and formulae for h-polynomials of various families of graph-associahedra, including those corresponding to all Dynkin diagrams of finite and affine types. We also discuss relations with Narayana numbers and with Simon Newcomb's problem. We give (and conjecture) upper and lower bounds for f-, h-, and gamma-vectors within several classes of generalized permutohedra. An appendix discusses the equivalence of various notions of deformations of simple polytopes.

Let $Δ$ be an $n$-dimensional lattice polytope. The smallest non-negative integer $i$ such that $k Δ$ contains no interior lattice points for $1 \leq k \leq n - i$ we call the degree of $Δ$. We consider lattice polytopes of fixed degree $d$ and arbitrary dimension $n$. Our main result is a complete classification of $n$-dimensional lattice polytopes of degree $d=1$. This is a generalization of the classification of lattice polygons $(n=2)$ without interior lattice points due to Arkinstall, Khovanskii, Koelman and Schicho. Our classification shows that the secondary polytope of a lattice polytope of degree 1 is always a simple polytope.