Quotients of Divisorial Toric Varieties

This paper has been subsumed by math.AG/0502240

We describe explicitly the normalization of affine varieties with an algebraic torus action of complexity one in terms of polyhedral divisors. We also provide a description of homogeneous integrally closed ideals of affine T-varieties of complexity one.

We answer positively a question of B. Teissier on existence of resolution of singularities inside an equivariant map of toric varieties.

In this article, we introduce symplectic reduction in the framework of nonrational toric geometry. When we specialize to the rational case, we get symplectic reduction for the action of a general, not necessarily closed, Lie subgroup of the torus.

We study the tropicalizations of analytic subvarieties of normal toric varieties over complete non-archimedean valuation fields. We show that a Zariski closed analytic subvariety of a normal toric variety is algebraic if its tropicalization is a finite union of polyhedra. Previously, the converse direction was known by the theorem of Bieri and Groves. Over the field of complex numbers, Madani, L. Nisse, and M. Nisse proved similar results for analytic subvarieties of tori.

Given an effective action of an (n-1)-dimensional torus on an n-dimensional normal affine variety, Mumford constructs a toroidal embedding, while Altmann and Hausen give a description in terms of a polyhedral divisor on a curve. We compare the fan of the toroidal embedding with this polyhedral divisor.

This note proves the existence of universal rational parametrizations. The description involves homogeneous coordinates on a toric variety coming from a lattice polytope. We first describe how smooth toric varieties lead to universal rational parametrizations of certain projective varieties. We give numerous examples and then discuss what happens in the singular case. We also describe rational maps to smooth toric varieties.

Let $X_{\Sigma}$ be a smooth complete toric variety defined by a fan $\Sigma$ and let $V=V(I)$ be a subscheme of $X_{\Sigma}$ defined by an ideal $I$ homogeneous with respect to the grading on the total coordinate ring of $X_{\Sigma}$. We show a new expression for the Segre class $s(V,X_{\Sigma})$ in terms of the projective degrees of a rational map specified by the generators of $I$ when each generator corresponds to a numerically effective (nef) divisor. Restricting to the ...

A T-variety is an algebraic variety X with an effective regular action of an algebraic torus T. Altmann and Hausen gave a combinatorial description of an affine T-variety X by means of polyhedral divisors. In this paper we compute the higher direct images of the structure sheaf of a desingularization of X in terms of this combinatorial data. As a consequence, we give a criterion as to when a T-variety has rational singularities. We also provide a partial criterion for a T-var...

Let $W$ be a finite group generated by reflections of a lattice $M$. If a lattice polytope $P \subset M \otimes_{\mathbb Z}\mathbb R$ is preserved by $W$, then we show that the quotient of the projective toric variety $X_P$ by $W$ is isomorphic to the toric variety $X_{P \cap D}$, where $D$ is a fundamental domain for the action of $W$. This answers a question of Horiguchi-Masuda-Shareshian-Song, and recovers results of Blume, of the second author, and of Gui-Hu-Liu.