Folding procedure for Newton-Okounkov polytopes of Schubert varieties

The theory of Newton-Okounkov polytopes is a generalization of that of Newton polytopes for toric varieties, and gives a systematic method of constructing toric degenerations of projective varieties. In the case of Schubert varieties, their Newton-Okounkov polytopes are deeply connected with representation theory. Indeed, Littelmann’s string polytopes and Nakashima-Zelevinsky’s polyhedral realizations are obtained as Newton-Okounkov polytopes of Schubert varieties. In this paper, we apply the folding procedure to a Newton-Okounkov polytope of a Schubert variety, which relates Newton-Okounkov polytopes of Schubert varieties of different types. As an application, we obtain a new interpretation of Kashiwara’s similarity of crystal bases.     

The -theory of toric manifolds

Toric manifolds, a topological generalization of smooth projective toric varieties, are determined by an -dimensional simple convex polytope and a function from the set of codimension-one faces into the primitive vectors of an integer lattice. Their cohomology was determined by Davis and Januszkiewicz in 1991 and corresponds with the theorem of Danilov-Jurkiewicz in the toric variety case. Recently it has been shown by Buchstaber and Ray that they generate the complex cobordism ring. We use the Adams spectral sequence to compute the -theory of all toric manifolds and certain singular toric varieties.

     

Segre classes on smooth projective toric varieties

We provide a generalization of the algorithm of Eklund, Jost and Peterson for computing Segre classes of closed subschemes of projective $k$ -space. The algorithm is here generalized to computing the Segre classes of closed subschemes of smooth projective toric varieties.     

Equivariant Cobordism of Torus Orbifolds

Torus orbifolds are topological generalizations of symplectic toric orbifolds.The authours give a construction of smooth orbifolds with torus actions whose boundary is a disjoint union of torus orbifolds using a toric topological method. As a result, they show that any orientable locally standard torus orbifold is equivariantly cobordant to some copies of orbifold complex projective spaces. They also discuss some further equivariant cobordism results including the cases when torus orbifolds are actually torus manifolds.     

Spherical complexes and nonprojective toric varieties

A combinatorial criterion for a toric variety to be projective is given which uses Gale-transforms. Furthermore, classes of nonprojective toric varieties are constructed.     

Quasi-projective reduction of toric varieties

We define a quasi–projective reduction of a complex algebraic variety X to be a regular map from X to a quasi–projective variety that is universal with respect to regular maps from X to quasi–projective varieties. A toric quasi–projective reduction is the analogous notion in the category of toric varieties. For a given toric variety X we first construct a toric quasi–projective reduction. Then we show that X has a quasi–projective reduction if and only if its toric quasi–projective reduction is surjective. We apply this result to characterize when the action of a subtorus on a quasi–projective toric variety admits a categorical quotient in the category of quasi–projective varieties. Received October 29, 1998; in final form December 28, 1998     

On the existence of certain smooth toric varieties

We prove that the combinatorial types of those cone systems which correspond to complete smooth toric varieties are more restricted than for complete toric varieties: the toric varieties corresponding to essentially all types of cyclic polytopes possess singularities. This yields a negative answer to a problem stated by G. Ewald. Some consequences and problems concerning mathematical programming and the rational cohomology of smooth toric varieties are discussed.The research of P. Kleinschmidt was supported in part by the Institute for Mathematics and Its Applications, University of Minnesota, Minneapolis, Minnesota, USA.     

Lefschetz Motives and the Tate Conjecture

A Lefschetz class on a smooth projective variety is an element of the Q-algebra generated by divisor classes. We show that it is possible to define Q-linear Tannakian categories of abelian motives using the Lefschetz classes as correspondences, and we compute the fundamental groups of the categories. As an application, we prove that the Hodge conjecture for complex abelian varieties of CM-type implies the Tate conjecture for all Abelian varieties over finite fields, thereby reducing the latter to a problem in complex analysis.     

Subvarieties of generic hypersurfaces in a nonsingular projective toric variety

We investigate the subvarieties contained in generic hypersurfaces of projective toric varieties and prove two main theorems. The first generalizes Clemens’ famous theorem on the genus of curves in hypersurfaces of projective spaces to curves in hypersurfaces of toric varieties and the second improves the bound in the special case of toric varieties in a theorem of Ein on the positivity of subvarieties contained in sufficiently ample generic hypersurfaces of projective varieties. Both depend on a hypothesis which deals with the surjectivity of multiplication maps of sections of line bundles on the toric variety. We also obtain an infinitesimal Torelli theorem for hypersurfaces of toric varieties.     

Cobordisms,Manifolds with Torus Action,and Functional Equations

The paper is devoted to applications of functional equations to well-known problems of compact torus actions on oriented smooth manifolds. These include the problem of Hirzebruch genera of complex cobordism classes that are determined by complex, almost complex, and stably complex structures on a fixed manifold. We consider actions with connected stabilizer subgroups. For each such action with isolated fixed points, we introduce rigidity functional equations. This is based on the localization theorem for equivariant Hirzebruch genera. We consider actions of maximal tori on homogeneous spaces of compact Lie groups and torus actions on toric and quasitoric manifolds. The arising class of equations contains both classical and new functional equations that play an important role in modern mathematical physics.     

A classification of smooth convex 3-polytopes with at most 16 lattice points

We provide a complete classification up to isomorphism of all smooth convex lattice 3-polytopes with at most 16 lattice points. There exist in total 103 different polytopes meeting these criteria. Of these, 99 are strict Cayley polytopes and the remaining four are obtained as inverse stellar subdivisions of such polytopes. We derive a classification, up to isomorphism, of all smooth embeddings of toric threefolds in ? ^N where N≤15. Again we have in total 103 such embeddings. Of these, 99 are projective bundles embedded in ? ^N and the remaining four are blow-ups of such toric threefolds.     

Rigidity for orientable functors

In the following paper we introduce the notion of orientable functor (orientable cohomology theory) on the category of projective smooth schemes and define a family of transfer maps. Applying this technique, we prove that with finite coefficients orientable cohomology of a projective variety is invariant with respect to the base-change given by an extension of algebraically closed fields. This statement generalizes the classical result of Suslin, concerning algebraic K-theory of algebraically closed fields. Besides K-theory, we treat such examples of orientable functors as etale cohomology, motivic cohomology, algebraic cobordism. We also demonstrate a method to endow algebraic cobordism with multiplicative structure and Chern classes.     

Complete intersections in spherical varieties

Let G be a complex reductive algebraic group. We study complete intersections in a spherical homogeneous space G / H defined by a generic collection of sections from G-invariant linear systems. Whenever nonempty, all such complete intersections are smooth varieties. We compute their arithmetic genus as well as some of their \(h^{p,0}\) numbers. The answers are given in terms of the moment polytopes and Newton–Okounkov polytopes associated to G-invariant linear systems. We also give a necessary and sufficient condition on a collection of linear systems so that the corresponding generic complete intersection is nonempty. This criterion applies to arbitrary quasi-projective varieties (i.e., not necessarily spherical homogeneous spaces). When the spherical homogeneous space under consideration is a complex torus \((\mathbb {C}^*)^n\), our results specialize to well-known results from the Newton polyhedra theory and toric varieties.     

Cobordism for Hamiltonian loop group actions and flat connections on the punctured two-sphere

We develop a theory of symplectic cobordism and a Duistermaat-Heckman principle for Hamiltonian loop group actions. As an application, we construct a symplectic cobordism between moduli spaces of flat connections on the three holed sphere and disjoint unions of toric varieties. This cobordism yields formulas for the mixed Pontrjagin numbers of the moduli spaces, equivalent to Witten's formulas in the case of symplectic volumes. Received June 15, 1998     

On the zeta function of divisors for projective varieties with higher rank divisor class group

Given a projective variety X defined over a finite field, the zeta function of divisors attempts to count all irreducible, codimension one subvarieties of X, each measured by their projective degree. When the dimension of X is greater than one, this is a purely p-adic function, convergent on the open unit disk. Four conjectures are expected to hold, the first of which is p-adic meromorphic continuation to all of Cp. When the divisor class group (divisors modulo linear equivalence) of X has rank one, then all four conjectures are known to be true. In this paper, we discuss the higher rank case. In particular, we prove a p-adic meromorphic continuation theorem which applies to a large class of varieties. Examples of such varieties are projective nonsingular surfaces defined over a finite field (whose effective monoid is finitely generated) and all projective toric varieties (smooth or singular).     

Fundamental Classes in Algebraic Cobordism

We recall our construction of fundamental classes in the algebraic cobordism of smooth quasi-projective varieties, and show by example that it is not possible to extent this to fundamental classes, functorial for local complete intersection morphisms, for Cohen–Macaulay varieties.