On toric h-vectors of centrally symmetric polytopes

We prove tight lower bounds for the coefficients of the toric h-vector of an arbitrary centrally symmetric polytope generalizing previous results due to R. Stanley and the author using toric varieties. Our proof here is based on the theory of combinatorial intersection cohomology for normal fans of polytopes developed by G. Barthel, J.-P. Brasselet, K. Fieseler and L. Kaup, and independently by P. Bressler and V. Lunts. This theory is also valid for nonrational polytopes when there is no standard correspondence with toric varieties. In this way we can establish our bounds for centrally symmetric polytopes even without requiring them to be rational. Received: 24 March 2004     

Algebro-geometric characterization of Cayley polytopes

In this paper, we give an algebro-geometric characterization of Cayley polytopes. As a special case, we also characterize lattice polytopes with lattice width one by using Seshadri constants.     

Local Euler obstructions of toric varieties

We use Matsui and Takeuchi's formula for toric A-discriminants to give algorithms for computing local Euler obstructions and dual degrees of toric surfaces and 3-folds. In particular, we consider weighted projective spaces. As an application we give counterexamples to a conjecture by Matsui and Takeuchi. As another application we recover the well-known fact that the only defective normal toric surfaces are cones.     

Lattice polytopes,Hecke operators,and the Ehrhart polynomial

Let P be a simple lattice polytope. We define an action of the Hecke operators on E(P), the Ehrhart polynomial of P, and describe their effect on the coefficients of E(P). We also describe how the Brion–Vergne formula for E(P) transforms under the Hecke operators for nonsingular lattice polytopes P.      

Constructing infinite families of regular incidence (quasi-)polytopes

Given a regular incidence (quasi-)polytopeP of type {a ₁,a ₂, ...,a _n–1} and a function on its directed edges satisfying certain conditions, we construct for everym 2 a regular incidence (quasi-)polytope of type {ma ₁,a ₂, ...,a _n–1} with the same vertex figure asP.     

Note dual polytopes of rational convex polytopes

LetP ^d be a rational convex polytope with dimP=d such that the origin of ^d is contained in the interiorP – P ofP. In this paper, from a viewpoint of enumeration of certain rational points inP (which originated in Ehrhart's work), a necessary and sufficient condition for the dual polytopeP ^dual ofP to be integral is presented.This research was performed while the author was staying at Massachusetts Institute of Technology during the 1988–89 academic year.     

Toric sheaves,stability and fibrations

For an equivariant reflexive sheaf over a polarised toric variety, we study slope stability of its reflexive pullback along a toric fibration. Examples of such fibrations include equivariant blow-ups and toric locally trivial fibrations. We show that stability (resp. unstability) is preserved under such pullbacks for so-called adiabatic polarisations. In the strictly semistable situation, under locally freeness assumptions, we provide a necessary and sufficient condition on the graded object to ensure stability of the pulled back sheaf. As applications, we provide various stable perturbations of semistable tangent sheaves, either by changing the polarisation, or by blowing-up a subvariety. Finally, our results apply uniformly in specific flat families and induce injective maps between the associated moduli spaces.     

On a notion of toric special linear systems

In this note, we study linear systems on complete toric varieties X with an invariant point whose orbit under the action of $\mathrm{Aut}(X)$ contains the dense torus T of X. We give a characterization of such varieties in terms of its defining fan and introduce a new definition of expected dimension of linear systems which consider the contribution given by certain toric subvarieties. Finally, we study degenerations of linear systems on these toric varieties induced by toric degenerations.     

Moduli stacks of stable toric quasimaps

We construct new “virtually smooth” modular compactifications of spaces of maps from nonsingular curves to smooth projective toric varieties. They generalize Givental's compactifications, when the complex structure of the curve is allowed to vary and markings are included, and are the toric counterpart of the moduli spaces of stable quotients introduced by Marian, Oprea, and Pandharipande to compactify spaces of maps to Grassmannians. A brief discussion of the resulting invariants and their (conjectural) relation with Gromov-Witten theory is also included.     

Stable base loci, movable curves, and small modifications, for toric varieties

We show that the dual of the cone of divisors on a complete -factorial toric variety X whose stable base loci have dimension less than k is generated by curves on small modifications of X that move in families sweeping out the birational transforms of k-dimensional subvarieties of X. We give an example showing that it does not suffice to consider curves on X itself. Supported by a Graduate Research Fellowship from the NSF     

A lower bound on the number of sharp shadow-boundaries of convex polytopes

We give the lower bound on the number of sharp shadow-boundaries of convexd-polytopes (or unbounded convex polytopal sets) withn facets. The polytopes (sets) attaining these bounds are characterized. Additionally, our results will be transferred to the dual theory.The research work of the first author was (partially) supported by Hungarian National Foundation for Scientific Research, grant no. 1812.     

Regular polytopes of type {4,4,3} and {4,4,4}

Abstract regular polytopes generalize the classical concept of a regular polytope and regular tessellation to more complicated combinatorial structures with a distinctive geometrical and topological flavour. In this paper the authors give an almost complete classification of the (universal) locally toroidal regular 4-polytopes of Schläfli types {4,4,3} and {4,4,4}.     

Generation of k-jets on toric varieties

The notion of a k-convex -support function for a toric variety is introduced. A criterion for a line bundle L to generate k-jets on X is given in terms of the k-convexity of the -support function . Equivalently L is proved to be k-jet ample if and only if the restriction to each invariant curve has degree at least k. Received October 22, 1997; in final form January 12, 1998     

One-parameter toric deformations of cyclic quotient singularities

In the case of two-dimensional cyclic quotient singularities, we classify all one-parameter toric deformations in terms of certain Minkowski decompositions introduced by Altmann [Minkowski sums and homogeneous deformations of toric varieties, Tohoku Math. J. (2) 47 (2) (1995) 151-184.]. In particular, we show how to induce each deformation from a versal family, describe exactly to which reduced versal base space components each such deformation maps, describe the singularities in the general fibers, and construct the corresponding partial simultaneous resolutions.     

On low-dimensional faces that high-dimensional polytopes must have

We prove that every five-dimensional polytope has a two-dimensional face which is a triangle or a quadrilateral. We state and discuss the following conjecture: For every integerk1 there is an integer f(k) such that everyd-polytope,df(k), has ak-dimensional face which is either a simplex or combinatorially isomorphic to thek-dimensional cube.We give some related results concerning facet-forming polytopes and tilings. For example, sharpening a result of Schulte [25] we prove that there is no face to face tiling of ⁵ with crosspolytopes.Supported in part by a BSF Grant and by I.H.E.S, Bures-Sur-Yvette.     

Global residues for sparse polynomial systems

We consider families of sparse Laurent polynomials f₁,…,f_n with a finite set of common zeros Z_f in the torus Tⁿ=(C−{0})ⁿ. The global residue assigns to every Laurent polynomial g the sum of its Grothendieck residues over Z_f. We present a new symbolic algorithm for computing the global residue as a rational function of the coefficients of the f_i when the Newton polytopes of the f_i are full-dimensional. Our results have consequences in sparse polynomial interpolation and lattice point enumeration in Minkowski sums of polytopes.     

Lower bounds for real solutions to sparse polynomial systems

We show how to construct sparse polynomial systems that have non-trivial lower bounds on their numbers of real solutions. These are unmixed systems associated to certain polytopes. For the order polytope of a poset P this lower bound is the sign-imbalance of P and it holds if all maximal chains of P have length of the same parity. This theory also gives lower bounds in the real Schubert calculus through the sagbi degeneration of the Grassmannian to a toric variety, and thus recovers a result of Eremenko and Gabrielov.