The orbifold Chow ring of toric Deligne-Mumford stacks

Generalizing toric varieties, we introduce toric Deligne-Mumford stacks. The main result in this paper is an explicit calculation of the orbifold Chow ring of a toric Deligne-Mumford stack. As an application, we prove that the orbifold Chow ring of the toric Deligne-Mumford stack associated to a simplicial toric variety is a flat deformation of (but is not necessarily isomorphic to) the Chow ring of a crepant resolution.

     

Derivation Algebras of Toric Varieties

We study the Lie algebra of derivations of the coordinate ring of affine toric varieties defined by simplicial affine semigroups and prove the following results:Such toric varieties are uniquely determined by their Lie algebra if they are supposed to be Cohen–Macaulay of dimension 2 or Gorenstein of dimension =1.In the Cohen–Macaulay case, every automorphism of the Lie algebra is induced from a unique automorphism of the variety.Every derivation of the Lie algebra is inner.     

Subdivisions of Toric Complexes

We introduce toric complexes as polyhedral complexes consisting of rational cones together with a set of integral generators for each cone, and we define their associated face rings. Abstract simplicial complexes and rational fans can be considered as toric complexes, and the face ring for toric complexes extends Stanley and Reisner’s face ring for abstract simplicial complexes [20] and Stanley’s face ring for rational fans [21]. Given a toric complex with defining ideal I for the face ring we give a geometrical interpretation of the initial ideals of I with respect to weight orders in terms of subdivisions of the toric complex generalizing a theorem of Sturmfels in [23]. We apply our results to study edgewise subdivisions of abstract simplicial complexes.     

Projectivized Rank Two Toric Vector Bundles are Mori Dream Spaces

We prove that the Cox ring of the projectivization P(?) of a rank two toric vector bundle ?, over a toric variety X, is a finitely generated k-algebra. As a consequence, P(?) is a Mori dream space if the toric variety X is projective and simplicial.     

Rational Hypergeometric Functions

Multivariate hypergeometric functions associated with toric varieties were introduced by Gel'fand, Kapranov and Zelevinsky. Singularities of such functions are discriminants, that is, divisors projectively dual to torus orbit closures. We show that most of these potential denominators never appear in rational hypergeometric functions. We conjecture that the denominator of any rational hypergeometric function is a product of resultants, that is, a product of special discriminants arising from Cayley configurations. This conjecture is proved for toric hypersurfaces and for toric varieties of dimension at most three. Toric residues are applied to show that every toric resultant appears in the denominator of some rational hypergeometric function.     

Asymptotically Maximal Families of Hypersurfaces in Toric Varieties

A real algebraic variety is maximal (with respect to the Smith-Thom inequality) if the sum of the Betti numbers (with coefficients) of the real part of the variety is equal to the sum of Betti numbers of its complex part. We prove that there exist polytopes that are not Newton polytopes of any maximal hypersurface in the corresponding toric variety. On the other hand we show that for any polytope Δ there are families of hypersurfaces with the Newton polytopes that are asymptotically maximal when λ tends to infinity. We also show that these results generalize to complete intersections.     

Torus Actions, Equivariant Moment-Angle Complexes, and Coordinate Subspace Arrangements

We show that the cohomology algebra of the complement of a coordinate subspace arrangement in the m-dimensional complex space is isomorphic to the cohomology algebra of the StanleyReisner face ring of a certain simplicial complex on m vertices. (The face ring is regarded as a module over the polynomial ring on m generators.) After that we calculate the latter cohomology algebra by means of the standard Koszul resolution of a polynomial ring. To prove these facts, we construct a homotopy equivalence (equivariant with respect to the torus action) between the complement of a coordinate subspace arrangement and the moment-angle complex defined by a simplicial complex. The moment-angle complex is a certain subset of the unit polydisk in the m-dimensional complex space invariant with respect to the action of the m-dimensional torus. This complex is a smooth manifold provided that the simplicial complex is a simplicial sphere; otherwise, the complex has a more complicated structure. Then we investigate the equivariant topology of the moment-angle complex and apply the EilenbergMoore spectral sequence. We also relate our results with well-known facts in the theory of toric varieties and symplectic geometry. Bibliography: 23 titles.     

Toric fiber products versus Segre products

The toric fiber product is an operation that combines two ideals that are homogeneous with respect to a grading by an affine monoid. The Segre product is a related construction that combines two multigraded rings. The quotient ring by a toric fiber product of two ideals is a subring of the Segre product, but in general this inclusion is strict. We contrast the two constructions and show that any Segre product can be presented as a toric fiber product without changing the involved quotient rings. This allows to apply previous results about toric fiber products to the study of Segre products. We give criteria for the Segre product of two affine toric varieties to be dense in their toric fiber product, and for the map from the Segre product to the toric fiber product to be finite. We give an example that shows that the quotient ring of a toric fiber product of normal ideals need not be normal. In rings with Veronese type gradings, we find examples of toric fiber products that are always Segre products, and we show that iterated toric fiber products of Veronese ideals over Veronese rings are normal.     

Local Equations for the Toric Hilbert Scheme

We obtain local equations for the toric Hilbert scheme, which parametrizes all ideals with the same multigraded Hilbert function as a given toric ideal. We also prove a conjecture of Sturmfels' providing a criterion for an ideal to have such a Hilbert function.     

Rational points of lattice ideals on a toric variety and toric codes

We show that the number of rational points of a subgroup inside a toric variety over a finite field defined by a homogeneous lattice ideal can be computed via Smith normal form of the matrix whose columns constitute a basis of the lattice. This generalizes and yields a concise toric geometric proof of the same fact proven purely algebraically by Lopez and Villarreal for the case of a projective space and a standard homogeneous lattice ideal of dimension one. We also prove a Nullstellensatz type theorem over a finite field establishing a one to one correspondence between subgroups of the dense split torus and certain homogeneous lattice ideals. As application, we compute the main parameters of generalized toric codes on subgroups of the torus of Hirzebruch surfaces, generalizing the existing literature.     

Equivariant Hirzebruch class for singular varieties

We develop an equivariant version of the Hirzebruch class for singular varieties. When the group acting is a torus we apply localization theorem of Atiyah–Bott and Berline–Vergne. The localized Hirzebruch class is an invariant of a singularity germ. The singularities of toric varieties and Schubert varieties are of special interest. We prove certain positivity results for simplicial toric varieties. The positivity for Schubert varieties is illustrated by many examples, but it remains mysterious.     

环流形上的极值度量——存在性和K-稳定性

本文主要研究环流形上的极值度量的存在性和K-稳定性.本文将Donaldson关于环流形上有关常数量曲率度量的稳定性概念的约化推广到一般的极值度量的情形.通过这个约化,本文证明环流形上极值度量的存在性可以推出流形对于环形变的相对K-稳定性.在不知道是否存在极值度量的情形下,本文还给出环流形相对K-稳定的一个充分性条件.对环曲面的情形,基于Arrezo-Pacard-Singer的工作,本文证明任意一个环曲面上存在含有极值度量的Ka¨hler类,并给出一些环曲面上有不存在极值度量的K¨ahler类的例子.关于一般的环流形上的极值度量的存在性,本文用变分方法研究其弱解,证明在能量泛函逆紧性假设下,存在弱极小化子.     

Gale duality and homogeneous toric varieties

A non-degenerate toric variety X is called S-homogeneous if the subgroup of the automorphism group Aut(X) generated by root subgroups acts on X transitively. We prove that maximal S-homogeneous toric varieties are in bijection with pairs (P,𝒜), where P is an abelian group and 𝒜 is a finite collection of elements in P such that 𝒜 generates the group P and for every a∈𝒜 the element a is contained in the semigroup generated by 𝒜?{a}. We show that any non-degenerate homogeneous toric variety is a big open toric subset of a maximal S-homogeneous toric variety. In particular, every homogeneous toric variety is quasiprojective. We conjecture that any non-degenerate homogeneous toric variety is S-homogeneous.     

Planar Configurations of Lattice Vectors and GKZ-Rational Toric Fourfolds in ℙ6

We introduce a notion of balanced configurations of vectors. This is motivated by the study of rational A-hypergeometric functions in the sense of Gelfand, Kapranov and Zelevinsky. We classify balanced configurations of seven plane vectors up to GL(2,)-equivalence and deduce that the only gkz-rational toric four-folds in ⁶ are those varieties associated with an essential Cayley configuration. We show that in this case, all rational A-hypergeometric functions may be described in terms of toric residues. This follows from studying a suitable hyperplane arrangement.     

Weights in the cohomology of toric varieties

We describe the weight filtration in the cohomology of toric varieties. We present a role of the Frobenius automorphism in an elementary way. We prove that equivariant intersection homology of an arbitrary toric variety is pure. We obtain results concerning Koszul duality: nonequivariant intersection cohomology is equal to the cohomology of the Koszul complexIH _T ^* (X)⊗H*(T). We also describe the weight filtration inIH ^*(X). Supported by KBN 2P03A 00218 grant. I thank, Institute of Mathematics, Polish Academy of Science for hospitality.     

Toric residue and combinatorial degree

Consider an -dimensional projective toric variety defined by a convex lattice polytope . David Cox introduced the toric residue map given by a collection of divisors on . In the case when the are -invariant divisors whose sum is , the toric residue map is the multiplication by an integer number. We show that this number is the degree of a certain map from the boundary of the polytope to the boundary of a simplex. This degree can be computed combinatorially. We also study radical monomial ideals of the homogeneous coordinate ring of . We give a necessary and sufficient condition for a homogeneous polynomial of semiample degree to belong to in terms of geometry of toric varieties and combinatorics of fans. Both results have applications to the problem of constructing an element of residue one for semiample degrees.