polytope ↗ reference
3022 papers tagged with this keyword
Extremal properties for dissections of convex 3-polytopes
Published in SIAM J. Discrete Math. 14:2 (2001), 143-161
• View Publication
• BIB
A dissection of a convex d-polytope is a partition of the polytope into d-simplices whose vertices are among the vertices of the polytope. Triangulations are dissections that have the additional property that the set of all its simplices forms a simplicial complex. The size of a dissection is the number of d-simplices it contains. This paper compares triangulations of maximal size with dissections of maximal size. We also exhibit lower and upper bounds for the size of dissections of a 3-polytope and analyze extremal size triangulations for specific non-simplicial polytopes: prisms, antiprisms, Archimedean solids, and combinatorial d-cubes.
Decomposition of polytopes and polynomials
Published
• View Publication
• BIB
Motivated by a connection with the factorization of multivariate polynomials, we study integral convex polytopes and their integral decompositions in the sense of the Minkowski sum. We first show that deciding decomposability of integral polygons is NP-complete then present a pseudo-polynomial time algorithm for decomposing polygons. For higher dimensional polytopes, we give a heuristic algorithm which is based upon projections and uses randomization. Applications of our algorithm include absolute irreducibility testing and factorization of polynomials via their Newton polytopes.
Examples and counterexamples for Perles' conjecture
Published
• View Publication
• BIB
The combinatorial structure of a d-dimensional simple convex polytope can be reconstructed from its abstract graph [Blind & Mani 1987, Kalai 1988]. However, no polynomial/efficient algorithm is known for this task, although a polynomially checkable certificate for the correct reconstruction was found by [Joswig, Kaibel & Koerner 2000]. A much stronger certificate would be given by the following characterization of the facet subgraphs, conjectured by M. Perles:
``The facet subgraphs of the graph of a simple d-polytope are exactly all the (d-1)-regular, connected, induced, non-separating subgraphs'' [Perles 1970].
We give examples for the validity of Perles conjecture: In particular, it holds for the duals of cyclic polytopes, and for the duals of stacked polytopes. On the other hand, we identify a topological obstruction that must be present in any counterexample to Perles' conjecture; thus, starting with a modification of ``Bing's house'', we construct explicit 4-dimensional counterexamples.
The Sign Representation for Shephard Groups
Published
• View Publication
• BIB
Shephard groups are unitary reflection groups arising as the symmetries of regular complex polytopes. For a Shephard group, we identify the representation carried by the principal ideal in the coinvariant algebra generated by the image of the product of all linear forms defining reflecting hyperplanes. This representation turns out to have many equivalent guises making it analogous to the sign representation of a finite Coxeter group. One of these guises is (up to a twist) the cohomology of the Milnor fiber for the isolated singularity at 0 in the hypersurface defined by any homogeneous invariant of minimal degree.
Lattice polytopes with distinct pair-sums
Published
• View Publication
• BIB
Let P be a lattice polytope in R^n, and let P \cap Z^n = {v_1,...,v_N}. If the N + \binom N2 points 2v_1,...,2v_N; v_1+v_2,...v_{N-1}+v_N are distinct, we say that P is a "distinct pair-sum" or "dps" polytope. We show that, if P is a dsp polytope in R^n, then N \le 2^n, and, for every n, we construct dps polytopes in R^n which contain 2^n lattice points. We also discuss the relation between dps polytopes and the study of sums of squares of real polynomials.
Oriented Lagrangian Matroids
Published
• View Publication
• BIB
In this paper we present a definition of oriented Lagrangian symplectic matroids and their representations. Classical concepts of orientation and this extension may both be thought of as stratifications of thin Schubert cells into unions of connected components. The definitions are made first in terms of a combinatorial axiomatisation, and then again in terms of elementary geometric properties of the Coxeter matroid polytope. We also generalise the concept of rank and signature of a quadratic form to symplectic Lagrangian matroids in a surprisingly natural way.
On polytopes simple in edges
Published in Funct. Anal. Appl. 35(2001) no. 3, pp. 189-198
• View Publication
• BIB
We investigate some combinatorial properties of convex polytopes simple in edges. For polytopes whose nonsimple vertices are located sufficiently far one from another, we prove an analog of the Hard Lefschetz theorem. It implies Stanley's conjecture for such polytopes.
Torus actions, combinatorial topology and homological algebra
Published in Russian Math. Surveys 55 (2000), no.5, 825-921
• View Publication
• BIB
The paper surveys some new results and open problems connected with such fundamental combinatorial concepts as polytopes, simplicial complexes, cubical complexes, and subspace arrangements. Particular attention is paid to the case of simplicial and cubical subdivisions of manifolds and, especially, spheres. We describe important constructions which allow to study all these combinatorial objects by means of methods of commutative and homological algebra. The proposed approach to combinatorial problems relies on the theory of moment-angle complexes, currently being developed by the authors. The theory centres around the construction that assigns to each simplicial complex $K$ with $m$ vertices a $T^m$-space $\zk$ with a special bigraded cellular decomposition. In the framework of this theory, the well-known non-singular toric varieties arise as orbit spaces of maximally free actions of subtori on moment-angle complexes corresponding to simplicial spheres. We express different invariants of simplicial complexes and related combinatorial-geometrical objects in terms of the bigraded cohomology rings of the corresponding moment-angle complexes. Finally, we show that the new relationships between combinatorics, geometry and topology result in solutions to some well-known topological problems.
Tangential Structures on Toric Manifolds, and Connected Sums of Polytopes
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 complex structure is induced by an omniorientation. Studying connected sums of products of the $B_{i,j}$ allows us to deduce that every complex cobordism class of dimension >2 contains a toric manifold, necessarily connected, and so provides a positive answer to the toric analogue of Hirzebruch's famous question for algebraic varieties. In previous work, we dealt only with disjoint unions, and ignored the relationship between the stably complex structure and the action of the torus. In passing, we introduce a notion of connected sum $#$ for simple $n$-dimensional polytopes; when $P^n$ is a product of simplices, we describe $P^n# Q^n$ by applying an appropriate sequence of {\it pruning operators}, or hyperplane cuts, to $Q^n$.
Syzygies of Oriented Matroids
Published
• View Publication
• BIB
We construct minimal cellular resolutions of squarefree monomial ideals arising from hyperplane arrangements, matroids and oriented matroids. These are Stanley-Reisner ideals of complexes of independent sets, and of triangulations of Lawrence matroid polytopes. Our resolution provides a cellular realization of Stanley's formula for their Betti numbers. For unimodular matroids our resolutions are related to hyperplane arrangements on tori, and we recover the resolutions constructed by Bayer, Popescu and Sturmfels. We resolve the combinatorial problems posed in their paper by computing Mobius invariants of graphic and cographic arrangements in terms of Hermite polynomials.
Cellular Structures determined by Polygons and Trees
Published in Annals of Combinatorics 5 (2001) 71-98
• View Publication
• BIB
The polytope structure of the associahedron is decomposed into two categories, types and classes. The classification of types is related to integer partitions, whereas the classes present a new combinatorial problem. We solve this and incorporate the results into properties of the real moduli space of Riemann spheres. Connections are discussed with relation to classic combinatorial problems as well as to other sciences.
Lattice Points inside Lattice Polytopes
Published
• View Publication
• BIB
We show that, if the interior of a lattice d-polytope P contains at least one lattice point, then it contains a lattice point whose coefficient of asymmetry with respect to P is at most b for some number b depending on d only.
As an application, we obtain new upper bounds on the volume of a lattice polytope given the number of lattice points in its interior.
Combinatorics and Quotients of Toric Varieties
Published
• View Publication
• BIB
This paper studies two related subjects. One is some combinatorics arising from linear projections of polytopes and fans of cones. The other is quotient varieties of toric varieties. The relation is that projections of polytopes are related to quotients of projective toric varieties and projection of fans are related to quotients of general toric varieties. Despite its relation to geometry the first part is purely combinatorial and should be of interest in its own right.
Generalized toric varieties for simple non-rational convex polytopes
We call complex quasifold of dimension k a space that is locally isomorphic to the quotient of an open subset of the space C^k by the holomorphic action of a discrete group; the analogue of a complex torus in this setting is called a complex quasitorus. We associate to each simple polytope, rational or not, a family of complex quasifolds having same dimension as the polytope, each containing a dense open orbit for the action of a suitable complex quasitorus. We show that each of these spaces M is diffeomorphic to one of the symplectic quasifolds defined in http://arXiv.org/abs/math:SG/9904179, and that the induced symplectic structure is compatible with the complex one, thus defining on M the structure of a Kaehler quasifold. These spaces may be viewed as a generalization of the toric varieties that are usually associated to those simple convex polytopes that are rational.
Quadratic forms of rank 1, closed zones and laminae
Published
• View Publication
• BIB
For a given lattice, we establish an equivalence involving a closed zone of the corresponding Voronoi polytope, a lamina hyperplane of the corresponding Delaunay partition and a quadratic form of rank 1 being an extreme ray of the corresponding L-type domain.
Polytopes for Crystallized Demazure Modules and Exremal Vectors
Published
• View Publication
• BIB
We give a parametrization for crystal bases of Demazure modules as a set of lattice points in some convex polytope and we also describe explicitly the extremal vectors as solutions of some system of linear equations.
Intersection cohomology on nonrational polytopes
Published
• View Publication
• BIB
Viewing a fan as a partially ordered set (of cones) we consider a category of sheaves on the fan which corresponds to a category of equivariant sheaves on the corresponding toric variety if the fan is rational. In this category we define an object which corresponds to the equivariant intersection cohomology complex. Our first main result is the ``elementary'' decomposition theorem for the direct image under subdivision of fans We also develop the Borel-Moore- Verdier duality in the derived category of sheaves on the fan.
Signs in the cd-index of Eulerian partially ordered sets
Published
• View Publication
• BIB
A graded partially ordered set is Eulerian if every interval has the same number of elements of even rank and of odd rank. Face lattices of convex polytopes are Eulerian. For Eulerian partially ordered sets, the flag vector can be encoded efficiently in the cd-index. The cd-index of a polytope has all positive entries. An important open problem is to give the broadest natural class of Eulerian posets having nonnegative cd-index. This paper completely determines which entries of the cd-index are nonnegative for all Eulerian posets. It also shows that there are no other lower or upper bounds on cd-coefficients (except for the coefficient of c^n).
Ubiquity of Kostka polynomials
Published
• View Publication
• BIB
We report about results revolving around Kostka-Foulkes and parabolic Kostka polynomials and their connections with Representation Theory and Combinatorics. It appears that the set of all parabolic Kostka polynomials forms a semigroup, which we call {\it Liskova semigroup}. We show that polynomials frequently appearing in Representation Theory and Combinatorics belong to the Liskova semigroup. Among such polynomials we study rectangular $q$-Catalan numbers; generalized exponents polynomials; principal specializations of the internal product of Schur functions; generalized $q$-Gaussian polynomials; parabolic Kostant partition function and its $q$-analog; certain generating functions on the set of transportation matrices. In each case we apply rigged configurations technique to obtain some interesting and new information about Kostka-Foulkes and parabolic Kostka polynomials, Kostant partition function, MacMahon, Gelfand-Tsetlin and Chan-Robbins polytopes. We describe certain connections between generalized saturation and Fulton's conjectures and parabolic Kostka polynomials; domino tableaux and rigged configurations. We study also some properties of $l$-restricted generalized exponents and the stable behaviour of certain Kostka-Foulkes polynomials.
Tensor product multiplicities, canonical bases and totally positive varieties
Published
• View Publication
• BIB
We obtain a family of explicit "polyhedral" combinatorial expressions for multiplicities in the tensor product of two simple finite-dimensional modules over a complex semisimple Lie algebra. Here "polyhedral" means that the multiplicity in question is expressed as the number of lattice points in some convex polytope. Our answers use a new combinatorial concept of $\ii$-trails which resemble Littelmann's paths but seem to be more tractable. We also study combinatorial structure of Lusztig's canonical bases or, equivalently of Kashiwara's global bases. Although Lusztig's and Kashiwara's approaches were shown by Lusztig to be equivalent to each other, they lead to different combinatorial parametrizations of the canonical bases. One of our main results is an explicit description of the relationship between these parametrizations. Our approach to the above problems is based on a remarkable observation by G. Lusztig that combinatorics of the canonical basis is closely related to geometry of the totally positive varieties. We formulate this relationship in terms of two mutually inverse transformations: "tropicalization" and "geometric lifting."