polytope ↗ reference
3120 papers tagged with this keyword
Linear equations for the number of intervals which are isomorphic with Boolean lattices and the Dehn--Sommerville equations
Let $P$ be a finite poset. Let $L:=J(P)$ denote the lattice of order ideals of $P$. Let $b_i(L)$ denote the number of Boolean intervals of $L$ of rank $i$. We construct a simple graph $G(P)$ from our poset $P$. Denote by $f_i(P)$ the number of the cliques $K_{i+1}$, contained in the graph $G(P)$. Our main results are some linear equations connecting the numbers $f_i(P)$ and $b_i(L)$. We reprove the Dehn--Sommerville equations for simplicial polytopes. In our proof we use free resolutions and the theory of Stanley--Reisner rings.
The surface of a lattice polytope
My main results are simple formulas for the surface area of d-dimensional lattice polytopes using Ehrhart theory.
A remark on asymptotic enumeration of highest weights in tensor powers of a representation
Published in Bulletin of the Iranian Mathematical Society. Vol. 41, No. 3 (2015), p. 639-646
• Search Publication
We consider the semigroup S of highest weights appearing in tensor powers V^k of a finite dimensional representation V of a connected reductive group. We describe the cone generated by S as the cone over the weight polytope of V intersected with the positive Weyl chamber. From this we get a description for the asymptotic of the number of highest weights appearing in V^k in terms of the volume of this polytope.
Deformations of bordered Riemann surfaces and associahedral polytopes
Published in Notices of the AMS 58 (2011) 530-541
• Search Publication
We consider the moduli space of bordered Riemann surfaces with boundary and marked points. Such spaces appear in open-closed string theory, particularly with respect to holomorphic curves with Lagrangian submanifolds. We consider a combinatorial framework to view the compactification of this space based on the pair-of-pants decomposition of the surface, relating it to the well-known phenomenon of bubbling. Our main result classifies all such spaces that can be realized as convex polytopes. A new polytope is introduced based on truncations of cubes, and its combinatorial and algebraic structures are related to generalizations of associahedra and multiplihedra.
Spheres arising from multicomplexes
Published
• View Publication
• BIB
In 1992, Thomas Bier introduced a surprisingly simple way to construct a large number of simplicial spheres. He proved that, for any simplicial complex $Δ$ on the vertex set $V$ with $Δ\ne 2^V$, the deleted join of $Δ$ with its Alexander dual $Δ^\vee$ is a combinatorial sphere. In this paper, we extend Bier's construction to multicomplexes, and study their combinatorial and algebraic properties. We show that all these spheres are shellable and edge decomposable, which yields a new class of many shellable edge decomposable spheres that are not realizable as polytopes. It is also shown that these spheres are related to polarizations and Alexander duality for monomial ideals which appear in commutative algebra theory.
Ring of Polytopes, Quasi-symmetric functions and Fibonacci numbers
In this paper we study the ring $\mathcal{P}$ of combinatorial convex polytopes. We introduce the algebra of operators $\mathcal{D}$ generated by the operators $d_k$ that send an $n$-dimensional polytope $P^n$ to the sum of all its $(n-k)$-dimensional faces. It turns out that $\mathcal{D}$ is isomorphic to the universal Leibnitz-Hopf algebra with the antipode $χ(d_k)=(-1)^kd_k$. Using the operators $d_k$ we build the generalized $f$-polynomial, which is a ring homomorphism from $\mathcal{P}$ to the ring $\Qsym[t_1,t_2,...][α]$ of quasi-symmetric functions with coefficients in $\mathbb Z[α]$. The images of two polytopes coincide if and only if their flag $f$-vectors are equal. We describe the image of this homomorphism over the integers and prove that over the rationals it is a free polynomial algebra with dimension of the $n$-th graded component equal to the $n$-th Fibonacci number. This gives a representation of the Fibonacci series as an infinite product. The homomorphism is an isomorphism on the graded group $BB$ generated by the polytopes introduced by Bayer and Billera to find the linear span of flag $f$-vectors of convex polytopes. This gives the group $BB$ a structure of the ring isomorphic to $f(\mathcal{P})$. We show that the ring of polytopes has a natural Hopf comodule structure over the Rota-Hopf algebra of posets. As a corollary we build a ring homomorphism $l_α\colon\mathcal{P}\to\mathcal{R}[α]$ such that $F(l_α(P))=f(P)^*$, where $F$ is the Ehrenborg quasi-symmetric function.
Combinatorial rigidity of 3-dimensional simplicial polytopes
Published in Int Math Res Notices 2011 (2011), 1935-1951
• View Publication
• BIB
A simplicial polytope is combinatorially rigid if its combinatorial structure is determined by its graded Betti numbers which are important invariant coming from combinatorial commutative algebra. We find a necessary condition to be combinatorially rigid for 3-dimensional reducible simplicial polytopes and provide some rigid reducible simplicial polytopes.
Higher dimensional cluster combinatorics and representation theory
Published
• View Publication
• BIB
Higher Auslander algebras were introduced by Iyama generalizing classical concepts from representation theory of finite dimensional algebras. Recently these higher analogues of classical representation theory have been increasingly studied. Cyclic polytopes are classical objects of study in convex geometry. In particular, their triangulations have been studied with a view towards generalizing the rich combinatorial structure of triangulations of polygons. In this paper, we demonstrate a connection between these two seemingly unrelated subjects.
We study triangulations of even-dimensional cyclic polytopes and tilting modules for higher Auslander algebras of linearly oriented type A which are summands of the cluster tilting module. We show that such tilting modules correspond bijectively to triangulations. Moreover mutations of tilting modules correspond to bistellar flips of triangulations.
For any d-representation finite algebra we introduce a certain d-dimensional cluster category and study its cluster tilting objects. For higher Auslander algebras of linearly oriented type A we obtain a similar correspondence between cluster tilting objects and triangulations of a certain cyclic polytope.
Finally we study certain functions on generalized laminations in cyclic polytopes, and show that they satisfy analogues of tropical cluster exchange relations. Moreover we observe that the terms of these exchange relations are closely related to the terms occuring in the mutation of cluster tilting objects.
Tropical cycles and Chow polytopes
Published
• View Publication
• BIB
The Chow polytope of an algebraic cycle in a torus depends only on its tropicalisation. Generalising this, we associate a Chow polytope to any abstract tropical variety in a tropicalised toric variety. Several significant polyhedra associated to tropical varieties are special cases of our Chow polytope. The Chow polytope of a tropical variety $X$ is given by a simple combinatorial construction: its normal subdivision is the Minkowski sum of $X$ and a reflected skeleton of the fan of the ambient toric variety.
Okounkov bodies and toric degenerations
Published in Math. Ann. 356 (2013), no. 3, 1183-1202
• View Publication
• BIB
Let Δbe the Okounkov body of a divisor D on a projective variety X. We describe a geometric criterion for Δto be a lattice polytope, and show that in this situation X admits a flat degeneration to the corresponding toric variety. This degeneration is functorial in an appropriate sense.
Roots of Ehrhart polynomials of Gorenstein Fano polytopes
Published in Proc. Amer. Math. Soc. 139 (2011), 3727--3734
• View Publication
• BIB
Given arbitrary integers $k$ and $d$ with $0 \leq 2k \leq d$, we construct a Gorenstein Fano polytope $\Pc \subset \RR^d$ of dimension $d$ such that (i) its Ehrhart polynomial $i(\Pc, n)$ possesses $d$ distinct roots; (ii) $i(\Pc, n)$ possesses exactly $2k$ imaginary roots; (iii) $i(\Pc, n)$ possesses exactly $d - 2k$ real roots; (iv) the real part of each of the imaginary roots is equal to $- 1 / 2$; (v) all of the real roots belong to the open interval $(-1, 0)$.
Configuration of lines in del Pezzo surfaces with Gosset Polytopes
Published
• View Publication
• BIB
In this article, we study the divisor classes of del Pezzo surfaces, which are written as the sum of distinct lines with fixed intersection according to the inscribed simplexes and crosspolytopes in Gosset polytopes. We introduce the k-Steiner system and cornered simplexes, and characterize the configurations of inscribed m(<4)-simplexes with them. Higher dimensional inscribed m(3<m)-simplexes exist in 4_{21} in the Picard group of del Pezzo surface S_{8} of degree 1.The configurations of 4- and 7-simplexes are related to rulings in S_{8}. And the configurations of 5- and 6-simplexes correspond the skew 3-lines and skew 7-lines in S_{8}. In particular, the seven lines in a 6-simplex produce a Fano plane. We also study the inscribed crosspolytopes and hypercubes in the Gosset polytopes.
A Simple Combinatorial Criterion for Projective Toric Manifolds with Dual Defect
Published
• View Publication
• BIB
We show that any smooth lattice polytope P with codegree greater or equal than (dim(P)+3)/2 (or equivalently, with degree smaller than dim(P)/2), defines a dual defective projective toric manifold. This implies that P is Q-normal (in the terminology of a recent paper by Di Rocco, Piene and the first author) and answers partially an adjunction-theoretic conjecture by Beltrametti and Sommese. Also, it follows that smooth lattice polytopes with this property are precisely strict Cayley polytopes, which completes the answer of a question of Batyrev and the second author in the nonsingular case.
A complete $g$-vector for convex polytopes
We define an extension of the toric (middle perversity intersection homology) $g$-vector of a convex polytope $X$. The extended $g(X)$ encodes the whole of the flag vector $f(X)$ of $X$, and so is called complete. We find that for many examples that $g_k(X)\geq 0$ for most $k$ (independent of $X$).
Classification of smooth lattice polytopes with few lattice points
After giving a short introduction on smooth lattice polytopes, I will present a proof for the finiteness of smooth lattice polytopes with few lattice points. The argument is then turned into an algorithm for the classification of smooth lattice polytopes in fixed dimension with an upper bound on the number of lattice points. Additionally I have implemented this algorithm for dimension two and three and used it, together with a classification of smooth minimal fans by Tadao Oda, to create lists of all smooth 2-polytopes and 3-polytopes with at most 12 lattice points.
Tight Lower Bounds on the Sizes of Symmetric Extensions of Permutahedra and Similar Results
Published
• View Publication
• BIB
It is well known that the permutahedron Pi_n has 2^n-2 facets. The Birkhoff polytope provides a symmetric extended formulation of Pi_n of size Theta(n^2). Recently, Goemans described a non-symmetric extended formulation of Pi_n of size Theta(n log(n)). In this paper, we prove that Omega(n^2) is a lower bound for the size of symmetric extended formulations of Pi_n.
Stellar subdivisions and Stanley-Reisner rings of Gorenstein complexes
Published in Australas. J. Combin. 55 (2013), 235-247
• Search Publication
Unprojection theory aims to analyze and construct complicated commutative rings in terms of simpler ones. Our main result is that, on the algebraic level of Stanley-Reisner rings, stellar subdivisions of non-acyclic Gorenstein simplicial complexes correspond to unprojections of type Kustin-Miller. As an application, we inductively calculate the minimal graded free resolutions of Stanley-Reisner rings associated to stacked polytopes, recovering results of Terai, Hibi, Herzog and Li Marzi.
On the structure of Stanley-Reisner rings associated to cyclic polytopes
Published in Osaka J. Math. 49-1 (2012), 81-100
• Search Publication
We study the structure of Stanley-Reisner rings associated to cyclic polytopes, using ideas from unprojection theory. Consider the boundary simplicial complex Delta(d,m) of the d-dimensional cyclic polytope with m vertices. We show how to express the Stanley-Reisner ring of Delta(d,m+1) in terms of the Stanley-Reisner rings of Delta(d,m) and Delta(d-2,m-1). As an application, we use the Kustin-Miller complex construction to identify the minimal graded free resolutions of these rings. In particular, we recover results of Schenzel, Terai and Hibi about their graded Betti numbers.
Convex normality of rational polytopes with long edges
Published
• View Publication
• BIB
We introduce the property of convex normality of rational polytopes and give a dimensionally uniform lower bound for the edge lattice lengths, guaranteeing the property. As an application, we show that if every edge of a lattice d-polytope P has lattice length at least 4d(d+1) then P is normal. This answers in the positive a question raised in 2007. If P is a lattice simplex whose edges have lattice lengths at least d(d+1) then P is even covered by lattice parallelepipeds. For the approach developed here, it is necessary to involve rational polytopes even for applications to lattice polytopes.
On the number of spanning trees a planar graph can have
Published
• View Publication
• BIB
We prove that any planar graph on $n$ vertices has less than $O(5{.}2852^n)$ spanning trees. Under the restriction that the planar graph is 3-connected and contains no triangle and no quadrilateral the number of its spanning trees is less than $O(2{.}7156^n)$. As a consequence of the latter the grid size needed to realize a 3d polytope with integer coordinates can be bounded by $O(147.{7}^n)$. Our observations imply improved upper bounds for related quantities: the number of cycle-free graphs in a planar graph is bounded by $O(6.4884^n)$, the number of plane spanning trees on a set of $n$ points in the plane is bounded by $O(158.6^n)$, and the number of plane cycle-free graphs on a set of $n$ points in the plane is bounded by $O(194{.}7^n)$.