In this paper, we discuss the toric ideals of Minkowski sums of unit simplices. More precisely, we prove that the toric ideal of Minkowski sum of unit simplices has a squarefree initial ideal and is generated by quadratic binomials. Moreover, we also prove that Minkowski sums of unit simplices have the integer decomposition property. Those results are a partial contribution to Oda conjecture and Bøgvad conjecture.
Christos Athanasiadis studies an effective technique to show that Gorenstein sequences coming from compressed polytopes are unimodal. In the present paper we will use such the technique to find a rich class of Gorenstein toric rings with unimodal $h$-vectors arising from finite graphs.
We investigate the structure of the Minkowski sum of standard simplices in ${\reals}^r$. In particular, we investigate the one-dimensional structure, the vertices, their degrees and the edges in the Minkowski sum polytope.
It is known that a lattice path matroid polytope can be associated with two given noncrossing lattice paths on $\mathbb{Z}\times\mathbb{Z}$ with the same end points. In this short note we give explicit formulae for the $f$-vector, toric $f$- and $g$-polynomials of a lattice path matroid polytope when two boundary paths enclose a hook shape.
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 discrep…
In this paper we prove new lower bounds for the minimum distance of a toric surface code defined by a convex lattice polygon P. The bounds involve a geometric invariant L(P), called the full Minkowski length of P which can be easily computed for any given P.
We use localization to describe the restriction map from equivariant Chow cohomology to ordinary Chow cohomology for complete toric varieties in terms of piecewise polynomial functions and Minkowski weights. We compute examples showing that this map is not surjective in general, and that its kernel is not always generated in degree one. We prove a localization formula for mixed volumes of lattice polytopes and, more generally, a Bott residue formula for toric vector bundles.
We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism groups and cobordism ring of an arbitrary omnioriented toric manifold. We consider a family of examples $B_{i,j}$, which are toric manifolds over products of simplices, and verify that their natural stably c…
A simple convex polytope $P$ is \emph{cohomologically rigid} if its combinatorial structure is determined by the cohomology ring of a quasitoric manifold over $P$. Not every $P$ has this property, but some important polytopes such as simplices or cubes are known to be cohomologically rigid. In this article we investigate the cohomological rigidity of polytopes and establish it for several new classes of polytopes including products of simplices. Cohomological rigidity of $P$ is related to the \emph{bigraded Betti numbers} of its \emph{Stanley--Reisner ring}, another important invariants coming…
Minkowski sums of simplices in ${\mathbb{R}}^n$ form an interesting class of polytopes that seem to emerge in various situations. In this paper we discuss the Minkowski sum of the simplices $Δ_{k-1}$ in ${\mathbb{R}}^n$ where $k$ and $n$ are fixed, their flags and some of their face lattice structure. In particular, we derive a closed formula for their {\em exponential generating flag function}. These polytopes are simple, include both the simplex $Δ_{n-1}$ and the permutahedron $Π_{n-1}$, and form a Minkowski basis for more general permutahedra.
For each dimension $d$, $d$-dimensional integral simplices with exactly one interior integral point have bounded volume. This was first shown by Hensley. Explicit volume bounds were determined by Hensley, Lagarias and Ziegler, Pikhurko, and Averkov. In this paper we determine the exact upper volume bound for such simplices and characterize the volume-maximizing simplices. We also determine the sharp upper bound on the coefficient of asymmetry of an integral polytope with a single interior integral point. This result confirms a conjecture of Hensley from 1983. Moreover, for an integral simplex …
In this paper, we consider the normality or the integer decomposition property (IDP, for short) for Minkowski sums of integral convex polytopes. We discuss some properties on the toric rings associated with Minkowski sums of integral convex polytopes. We also study Minkowski sums of edge polytopes and give a sufficient condition for Minkowski sums of edge polytopes to have IDP.
The objective of this paper is to present two types of results on Minkowski sums of convex polytopes. The first is about a special class of polytopes we call perfectly centered and the combinatorial properties of the Minkowski sum with their own dual. In particular, we have a characterization of face lattice of the sum in terms of the face lattice of a given perfectly centered polytope. Exact face counting formulas are then obtained for perfectly centered simplices and hypercubes. The second type of results concerns tight upper bounds for the f-vectors of Minkowski sums of several polytopes.
This paper was submitted to the Oberwolfach Conference "Combinatorial Convexity and Algebraic Geometry", October 1997. Let $M={\mathbb Z}^r$. For convex lattice polytopes $P,P'$ in ${\mathbb R}^r$, when is $(M \cap P)+ (M \cap P') = M \cap (P + P')$? Without any additional condition, the equality obviously does not hold. When the pair $(M,P)$ corresponds to a complex projective toric variety $X$ and an ample divisor $D$ on $X$, it is reasonable to assume that $P'$ corresponds to an ample (or, more generally, a nef) divisor $D'$ on the same $X$. Then the question correspons to the surjectivity …
The colorful simplicial depth of a collection of d+1 finite sets of points in Euclidean d-space is the number of choices of a point from each set such that the origin is contained in their convex hull. We use methods from combinatorial topology to prove a tight upper bound on the colorful simplicial depth. This implies a conjecture of Deza et al. (2006). Furthermore, we introduce colorful Gale transforms as a bridge between colorful configurations and Minkowski sums. Our colorful upper bound then yields a tight upper bound on the number of totally mixed facets of certain Minkowski sums of simp…
We analyze marked poset polytopes and generalize a result due to Hibi and Li, answering whether the marked chain polytope is unimodular equivalent to the marked order polytope. Both polytopes appear naturally in the representation theory of semi-simple Lie algebras, and hence we can give a necessary and sufficient condition on the marked poset such that the associated toric degenerations of the corresponding partial flag variety are isomorphic. We further show that the set of lattice points in such a marked poset polytope is the Minkowski sum of sets of lattice points for 0-1 polytopes. Moreov…
We express the matroid polytope $P_M$ of a matroid $M$ as a signed Minkowski sum of simplices, and obtain a formula for the volume of $P_M$. This gives a combinatorial expression for the degree of an arbitrary torus orbit closure in the Grassmannian $Gr_{k,n}$. We then derive analogous results for the independent set polytope and the associated flag matroid polytope of $M$. Our proofs are based on a natural extension of Postnikov's theory of generalized permutohedra.
