Lifting of morphisms to quotient presentations

 In this article we investigate algebraic morphisms between toric varieties. Given presentations of toric varieties as quotients we are interested in the question when a morphism admits a lifting to these quotient presentations. We show that this can be completely answered in terms of invariant divisors. As an application we prove that two toric varieties, which are isomorphic as abstract algebraic varieties, are even isomorphic as toric varieties. This generalizes a well-known result of Demushkin on affine toric varieties. Received: 11 March 2002 / Revised: 14 June 2002 Mathematics Subject Classification (2000): 14M25, 14L30     

Higher K-Theory of Toric Varieties

A natural higher K-theoretic analogue of the triviality of vector bundles on affine toric varieties is the conjecture on nilpotence of the multiplicative action of the natural numbers on the K-theory of these varieties. This includes both Quillen's fundamental result on K-homotopy invariance of regular rings and the stable version of the triviality of vector bundles on affine toric varieties. Moreover, it yields a similar behavior of not necessarily affine toric varieties and, further, of their equivariant closed subsets. The conjecture is equivalent to the claim that the relevant admissible morphisms of the category of vector bundles on an affine toric variety can be supported by monomials not in a nondegenerate corner subcone of the underlying polyhedral cone. We prove that one can in fact eliminate all lattice points in such a subcone, except maybe one point. The elimination of the last point is also possible in 0 characteristic if the action of the big Witt vectors satisfies a very natural condition. A partial result of this in the arithmetic case provides first nonsimplicial examples, actually an explicit infinite series of combinatorially different affine toric varieties, simultaneously verifying the conjecture for all higher groups.Supported by the Deutsche Forschungsgemeinschaft, INTAS grant 99-00817 and TMR grant ERB FMRX CT-97-0107     

Three-Dimensional Toric Morphisms with Anti-Nef Canonical Divisors

In this article, we classify projective toric birational morphisms from Gorenstein toric 3-folds onto the 3-dimensional affine space with relatively ample anti-canonical divisors.     

Affine Algebraic Varieties Relative to an Algebraic Theory

Affine algebraic varieties relative to an algebraic theory are introduced and described as irreducible components of affine algebraic sets. Their category is shown to be dually equivalent to the category of irreducible functional algebras.     

Cohomology of tilting modules over quantum groups and t-structures on derived categories of coherent sheaves

The paper is concerned with cohomology of the small quantum group at a root of unity, and of its upper triangular subalgebra, with coefficients in a tilting module. It turns out to be related to irreducible objects in the heart of a certain t-structure on the derived category of equivariant coherent sheaves on the Springer resolution, and to equivariant coherent IC sheaves on the nil-cone. The support of the cohomology is described in terms of cells in affine Weyl groups. The basis in the Grothendieck group provided by the cohomology modules is shown to coincide with the Kazhdan-Lusztig basis, as predicted by J. Humphreys and V. Ostrik. The proof is based on the results of [ABG ], [AB] and [B], which allow us to reduce the question to purity of IC sheaves on affine flag varieties. To the memory of my father     

The classification of transversal multiplicity-free group actions

Multiplicity-free Hamiltonian group actions are the symplectic analogs of multiplicity-free representations, that is, representations in which each irreducible appears at most once. The most well-known examples are toric varieties. The purpose of this paper is to show that under certain assumptions multiplicity-free actions whose moment maps are transversal to a Cartan subalgebra are in one-to-one correspondence with a certain collection of convex polytopes. This result generalizes a theorem of Delzant concerning torus actions.Supported by an ONR Graduate Fellowship.     

Irreducible Morphisms Between Modules over a Repetitive Algebras

We describe the irreducible morphisms in the category of modules over a repetitive algebra. We find three special canonical forms: The first canonical form happens when all the component morphisms are split monomorphisms, the second when all the component morphisms are split epimorphisms and the third when there is exactly one irreducible component map. Also, we obtain the same result for the irreducible homomorphisms in the stable category of modules over a repetitive algebra.     

Toric Kempf-Ness sets

In the theory of algebraic group actions on affine varieties, the concept of a Kempf-Ness set is used to replace the categorical quotient by the quotient with respect to a maximal compact subgroup. Using recent achievements of “toric topology,” we show that an appropriate notion of a Kempf-Ness set exists for a class of algebraic torus actions on quasiaffine varieties (coordinate subspace arrangement complements) arising in the Batyrev-Cox “geometric invariant theory” approach to toric varieties. We proceed by studying the cohomology of these “toric” Kempf-Ness sets. In the case of projective nonsingular toric varieties the Kempf-Ness sets can be described as complete intersections of real quadrics in a complex space. Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2008, Vol. 263, pp. 159–172.     

Affinely Prime Dynamical Systems(Dedicated to Professor Haim Brezis on the occasion of his 70th birthday)

This paper deals with representations of groups by "affine" automorphisms of compact, convex spaces, with special focus on "irreducible" representations: equivalently"minimal" actions. When the group in question is P SL(2, R), the authors exhibit a oneone correspondence between bounded harmonic functions on the upper half-plane and a certain class of irreducible representations. This analysis shows that, surprisingly, all these representations are equivalent. In fact, it is found that all irreducible affine representations of this group are equivalent. The key to this is a property called "linear Stone-Weierstrass"for group actions on compact spaces. If it holds for the "universal strongly proximal space"of the group(to be defined), then the induced action on the space of probability measures on this space is the unique irreducible affine representation of the group.     

Discrete series characters for affine Hecke algebras and their formal degrees

We introduce the generic central character of an irreducible discrete series representation of an affine Hecke algebra. Using this invariant we give a new classification of the irreducible discrete series characters for all abstract affine Hecke algebras (except for the types E_n⁽¹⁾{E_{n}^{(1)}} , n=6, 7, 8) with arbitrary positive parameters and we prove an explicit product formula for their formal degrees (in all cases).     

Completeness and Cocompleteness of R Smod1 N

In this paper we formalize the concept of absolutely convergent infinite series by introducing the notion of prenormed R-semimodule with N-summation, where N is an arbitrary class. The morphisms between such semimodules are the contractive homomorphisms of R-semimodules that `preserve" N-summation. The category _R Smod _{1 N} of all prenormed R-semimodules with N-summation and their morphisms (composition being the set-theoretical one) fails to be an algebraic category. However, under quite general conditions it is both complete and cocomplete.     

高维代数簇计算的一些结果

本文在［１］的基础上给出计算高维代数簇的特征值方法,进一步结果,得到了不可约集的母点和对应于极大无关变元集的多项式方程组的孤立解之间对应关系的进一步刻画．     

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.     

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     

Automorphisms of Nonnormal Toric Varieties

Mathematical Notes - Criteria for the flexibility, rigidity, and almost rigidity of nonnormal affine toric varieties are obtained. For rigid and almost rigid toric varieties, automorphism groups...     

Composite of irreducible morphisms in the bounded derived category

We study necessary and sufficient conditions for the existence of n irreducible morphisms in the bounded derived category of an Artin algebra, with non-zero composite in the n+1-power of the radical. In the case of , the bounded derived category of an Ext-finite hereditary k-category with tilting object, such irreducible morphisms exist if and only if H is derived equivalent to a wild hereditary algebra or to a wild canonical algebra. We also characterize the cluster tilted algebras having such irreducible morphisms.     

Jet schemes and minimal toric embedded resolutions of rational double point singularities

Using the structure of the jet schemes of rational double point singularities, we construct “minimal embedded toric resolutions” of these singularities. We also establish, for these singularities, a correspondence between a natural class of irreducible components of the jet schemes centered at the singular locus and the set of divisors which appear on every “minimal embedded toric resolution”. We prove that this correspondence is bijective except for the E₈ singulartiy. This can be thought as an embedded Nash correspondence for rational double point singularities.     

Degenerations of toric ideals and toric varieties

Toric degenerations of toric varieties and toric ideals are important both in theory and in applications. In this paper, we study the correspondence between degenerations of toric variety and of toric ideal when the weight admits a regular subdivision.