For an affine toric variety X we compute the Poincare series of the multi-index filtration defined by a finite number of monomial divisorial valuations on the ring O_{X,0}. We give an alternative description of the Poincare series as an integral with respect to the Euler characteristic over the projectivization of the space of germs O_{X,0}. In particular we study divisorial valuations on the ring O_{C^d,0} that arise by considering toric constellations. We give an explicit formula for the Poincare series and a nice geometric description. This generalizes an expression of the Poincare series for curves and rational surface singularities.
We give an optimal upper bound of the degree of quasi-smooth hypersurfaces which are invariant by a one-dimensional holomorphic foliation on a compact toric orbifold, i.e. on a complete simplicial toric variety. This bound depends only on the degree of the foliation and of the degrees of the toric homogeneous coordinates.
The geometric motivic Poincaré series of a variety, which was introduced by Denef and Loeser, takes into account the classes in the Grothendieck ring of the sequence of jets of arcs in the variety. Denef and Loeser proved that this series has a rational form. We describe it in the case of an affine toric variety of arbitrary dimension. The result, which provides an explicit set of candidate poles, is expressed in terms of the sequence of Newton polyhedra of certain monomial ideals, which we call logarithmic jacobian ideals, associated to the modules of differential forms with logarithmic poles…
The arithmetic motivic Poincaré series of a variety $V$ defined over a field of characteristic zero, is an invariant of singularities which was introduced by Denef and Loeser by analogy with the Serre-Oesterlé series in arithmetic geometry. They proved that this motivic series has a rational form which specializes to the Serre-Oesterlé series when $V$ is defined over the integers. This invariant, which is known explicitly for a few classes of singularities, remains quite mysterious. In this paper we study this motivic series when $V$ is an affine toric variety. We obtain a formula for the rati…
Lejeune-Jalabert and Reguera computed the geometric Poincare series P_{geom}(T) for toric surface singularities. They raise the question whether this series equals the arithmetic Poincare series. We prove this equality for a class of toric varieties including the surfaces, and construct a counterexample in the general case. We also compute the motivic Igusa Poincare series Q_{geom}(T) for toric surface singularities, using the change of variables formula for motivic integrals, thus answering a second question of Lejeune-Jalabert and Reguera's. The series Q_{geom}(T) contains more information t…
We prove an explicit formula for the first non-zero entry in the n-th row of the graded Betti table of an n-dimensional projective toric variety associated to a normal polytope with at least one interior lattice point. This applies to Veronese embeddings of projective space where we prove a special case of a conjecture of Ein and Lazarsfeld. We also prove an explicit formula for the entire n-th row when the interior of the polytope is one-dimensional. All results are valid over an arbitrary field k.
A smooth $d$-dimensional projective variety $X$ can always be embedded into $2d+1$-dimensional space. In contrast, a singular variety may require an arbitrary large ambient space. If we relax our requirement and ask only that the map is injective, then any $d$-dimensional projective variety can be mapped injectively to $2d+1$-dimensional projective space. A natural question then arises: what is the minimal $m$ such that a projective variety can be mapped injectively to $m$-dimensional projective space? In this paper we investigate this question for normal toric varieties, with our most complet…
The space of torus translations and degenerations of a projective toric variety forms a toric variety associated to the secondary fan of the integer points in the polytope corresponding to the toric variety. This is used to identify a moduli space of real degenerations with the secondary polytope. A configuration A of real vectors gives an irrational projective toric variety in a simplex. We identify a space of translations and degenerations of the irrational projective toric variety with the secondary polytope of A. For this, we develop a theory of irrational toric varieties associated to arb…
We write the equivariant Todd class of a general complete toric variety as an explicit combination of the orbit closures, the coefficients being analytic functions on the Lie algebra of the torus which satisfy Danilov's requirement.
We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.
The Nash problem on arc families is affirmatively answered for a toric variety by Ishii and Kollar's paper which also shows the negative answer for general case. The Nash problem is one of questions about the relation between arc families and valuations. In this paper, the relation is described clearly for a toric variety. The arc space of a toric variety admits an action of the group scheme determined by the torus. Each orbit on the arc space corresponds to a lattice point in the cone and therefore corresponds to a toric valuation. The dominant relation among the orbits is described in terms …
We study equivariant bi-vector fields on a toric variety. We prove that, on a smooth toric variety of dimension $n$, the locus where the rank of an equivariant bi-vector field is $\leq 2k$ is not empty and has at least a component of dimension $\geq 2k+1$, for all integers $k> 0$ such that $2k < n$. The same is true also for $k=0$, if the toric variety is smooth and compact. While for the non compact case, the locus in question has to be assumed to be non empty.
The semi-simplicity of the Hodge group is proved for a simple Abelian variety with a stable reduction of odd toric (reductive) rank. If, besides, the dimension of the Abelian variety is an odd integer, then the Hodge conjecture on algebraic cycles holds for it.
Let X be a complete toric variety and Aut(X) be the automorphism group. We give an explit description of Aut(X)-orbits on X. In particular, we show that Aut(X) acts on X transitively if and only if X is a product of projective spaces.
We compare the cohomology ring of the flag variety $FL_n$ and the Chow cohomology ring of the Gelfand-Zetlin toric variety $X_{GZ}$. We show that $H^*(FL_n, \mathbb{Q})$ is the Gorenstein quotient of the subalgebra $L$ of $A^*(X_{GZ}, \mathbb{Q})$ generated by degree $1$ elements. We compute these algebras for $n=3$ to see that, in general, the subalgebra $L$ does not have Poincare duality.
In this paper we construct a degeneration of Bott-Samelson-Demazure-Hansen varieties to toric varieties in an algebraic family and study the geometry of the resulting toric varieties. We give a natural set of torus invariant curves that generate the Chow group of $1$-cycles of the limiting toric variety and express the ample cone of this toric variety as a sub-cone of the ample cone of the corresponding Bott-Samelson-Demazure-Hansen variety. We also give a description of Extremal and Mori rays and determine when this toric variety is Fano.
A non-degenerate toric variety $X$ is called $S$-homogeneous if the subgroup of the automorphism group $\text{Aut}(X)$ generated by root subgroups acts on $X$ transitively. We prove that maximal $S$-homogeneous toric varieties are in bijection with pairs $(P,\mathcal{A})$, where $P$ is an abelian group and $\mathcal{A}$ is a finite collection of elements in $P$ such that $\mathcal{A}$ generates the group $P$ and for every $a\in\mathcal{A}$ the element $a$ is contained in the semigroup generated by $\mathcal{A}\setminus\{a\}$. We show that any non-degenerate homogeneous toric variety is a big o…
In this paper we study the geometry of toric degeneration of a Bott-Samelson-Demazure-Hansen (BSDH) variety. We give some applications to BSDH varieties. Precisely, we classify Fano, weak Fano and log Fano BSDH varieties and their toric limits in Kac-Moody setting. We prove some vanishing theorems for the cohomology of tangent bundle (and line bundles) on BSDH varieties. We also recover the results in arXiv:1604.01998, by toric methods.
For a fan $Δ$, we introduce Grothendieck weights as a ring of functions from $Δ$ to $\mathbb{Z}$ that form a K-theoretic analogue of Minkowski weights and describe the operational $K$-theory of a complete toric variety. We give an explicit balancing condition and product formula for these weights, and describe relationships with other fan-based invariants. Applications are given to vector bundles on a toric surface, and to the calculation of Euler characteristics on schon subvarieties.
Let X be an affine toric variety. The total coordinates on X provide a canonical presentation of X as a quotient of a vector space by a linear action of a quasitorus. We prove that the orbits of the connected component of the automorphism group Aut(X) on X coincide with the Luna strata defined by the canonical quotient presentation.
In this paper, we present explicit toric construction of moduli space of quasi maps from $\mathbb{P}^1$ with two marked points to $\mathbb{P}^1 \times \mathbb{P}^1$, which was first proposed by Jinzenji and prove that it is a compact orbifold. We also determine its Chow ring and compute its Poincaré polynomial for some lower degree cases.
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…
Using the method of degenerating a Grassmannian into a toric variety, we calculate recursive formulas for the dimensions of the eigenspaces of the action of an n-dimensional torus on a Grassmannian of planes in an n-dimensional space. In order to verify our result we compare it with the polynomial describing the Euler characteristic of invertible sheaves on a projective space with four blown-up points.
We calculate the automorphism group of a complete toric variety $X$ with torus $T_M$. We prove that the radical unipotent of $Aut_k^0X$ is a semidirect product of additive groups, the reductive part is a quotient of a product of lineal groups and we give the action of linear groups on the additive groups. We also prove that $Aut_kX/Aut_k^0X$ is a quotient of the group of automorphisms of $M$ leaving invariant the fan.
A general problem in complex cobordism theory is to find useful representatives for cobordism classes. One particularly convenient class of complex manifolds consists of smooth projective toric varieties. The bijective correspondence between these varieties and smooth polytopes allows us to examine which complex cobordism classes contain a smooth projective toric variety by studying the combinatorics of polytopes. These combinatorial properties determine obstructions to a complex cobordism class containing a smooth projective toric variety. However, the obstructions are only necessary conditio…
In this paper we construct a spectral sequence computing a modified version of morphic cohomology of a toric variety (even when it is singular) in terms of combinatorial data coming from the fan of the toric variety.
We consider the action of a subtorus of the big torus on a toric variety. The aim of the paper is to define a natural notion of a quotient for this setting and to give an explicit algorithm for the construction of this quotient from the combinatorial data corresponding to the pair consisting of the subtorus and the toric variety. Moreover, we study the relations of such quotients with good quotients. We construct a good model, i.e. a dominant toric morphism from the given toric variety to some ``maximal'' toric variety having a good quotient by the induced action of the given subtorus.
A complex algebraic variety X defined over the real numbers is called an M-variety if the sum of its Betti numbers (for homology with closed supports and coefficients in Z/2) coincides with the corresponding sum for the real part of X. It has been known for a long time that any nonsingular complete toric variety is an M-variety. In this paper we consider whether this remains true for toric varieties that are singular or not complete, and we give a positive answer when the dimension of X is less than or equal to 3.
The real solutions to a system of sparse polynomial equations may be realized as a fiber of a projection map from a toric variety. When the toric variety is orientable, the degree of this map is a lower bound for the number of real solutions to the system of equations. We strengthen previous work by characterizing when the toric variety is orientable. This is based on work of Nakayama and Nishimura, who characterized the orientability of smooth real toric varieties.
In this paper, the concept of toric difference varieties is defined and four equivalent descriptions for toric difference varieties are presented in terms of difference rational parametrization, difference coordinate rings, toric difference ideals, and group actions by difference tori. Connections between toric difference varieties and affine N[x]-semimodules are established by proving the correspondence between the irreducible invariant difference subvarieties and the faces of the N[x]-submodules and the orbit-face correspondence. Finally, an algorithm is given to decide whether a binomial di…
In this paper, we describe a way to construct cycles which represent the Todd class of a toric variety. Given a lattice with an inner product we assign a rational number m(s) to each rational polyhedral cone s in the lattice, such that for any toric variety X with fan S, the Todd class of X is the sum over all cones s in S of m(s)[V(s)]. This constitutes an improved answer to an old question of Danilov. In a similar way, beginning with the choice of a complete flag in the lattice, we obtain the cycle Todd classes constructed by Morelli. Our construction is based on an intersection product on c…
We study smoothness of toric quiver varieties. When a quiver $Q$ is defined with the identity dimension vector, the corresponding quiver variety is also a toric variety. So it has both fan representation and quiver representation. We work only on quivers with canonical weight and we classify smooth such toric quiver varieties. We show that a variety corresponding to a quiver with the identity dimension vector and the canonical weight is smooth if and only if it is a product of projective spaces or their blowups.
Classical toric varieties are among the simplest objects in algebraic geometry. They arise in an elementary fashion as varieties parametrized by monomials whose exponents are a finite subset $\mathcal{A}$ of $\mathbb{Z}^n$. They may also be constructed from a rational fan $Σ$ in $\mathbb{R}^n$. The combinatorics of the set $\mathcal{A}$ or fan $Σ$ control the geometry of the associated toric variety. These toric varieties have an action of an algebraic torus with a dense orbit. Applications of algebraic geometry in geometric modeling and algebraic statistics have long studied the nonnegative r…
We prove that the intersection homology Poincare' polynomial P(X) of an affine toric variety X is bounded below by the product P(Y)P(X/Y), where Y is the closure of any orbit in X and X/Y is a slice transverse to the orbit. This proves a combinatorial conjecture of Kalai for rational polytopes.
We consider the notions of Groebner fan and Newton non-degeneracy for an ideal on a toric variety, extending the two existing notions for ideals on affine spaces. We prove, without assumptions on the characteristic of the base fields, that the "Groebner fan" of such an ideal is actually a polyhedral fan and that a sub-variety defined by a Newton non-degenerate ideal on a toric variety $X_σ$ admits a toric embedded resolution of singularities $Z\longrightarrow X_σ.$
Toric quiver varieties (moduli spaces of quiver representations) are studied. Given a quiver and a weight there is an associated quasiprojective toric variety together with a canonical embedding into projective space. It is shown that for a quiver with no oriented cycles the homogeneous ideal of this embedded projective variety is generated by elements of degree at most $3$. In each fixed dimension $d$ up to isomorphism there are only finitely many $d$-dimensional toric quiver varieties. A procedure for their classification is outlined.
The higher Nash blowup of an algebraic variety replaces singular points with limits of certain spaces carrying higher order data associated to the variety at non-singular points. In the case of normal toric varieties we give a combinatorial description of the higher Nash blowup in terms of a Gröbner fan. This description will allow us to prove the analogue of Nobile's theorem on the usual Nash blowup in this context. More precisely, we prove that for a normal toric variety, the higher Nash blowup is an isomorphism if and only if the variety is non-singular.
The quasisymmetric flag variety: a toric complex on noncrossing partitions
York University（约克大学）；Universite Claude Bernard Lyon 1, CNRS, Ecole Centrale de Lyon, INSA Lyon, Université Jean Monnet, ICJ UMR5208（里昂第一大学、法国国家科学研究中心、里昂中央理工学院、里昂国立应用科学学院、让·莫内大学、ICJ联合研究实验室）；University of Toronto（多伦多大学）；University of Toronto Mississauga（多伦多大学密西沙加分校）
An infinite type toric variety is a normal toric variety given by a fan with infinitely many cones. We construct examples in this paper coming from representation theory of loop groups. The fans that appear are cones on Voronoi tilings on a vector space equipped with an inner product. We also explain the affine analogue of the connection between a generic torus orbit closure in a flag variety and the closure a maximal torus in the wonderful compactification.
We consider subtorus actions on divisorial toric varieties. Here divisoriality means that the variety has many Cartier divisors like quasiprojective and smooth ones. We characterize when a subtorus action on such a toric variety admits a categorical quotient in the category of divisorial varieties. Our result generalizes previous statements for the quasiprojective case. An important tool for the proof is a universal reduction of an arbitrary toric variety to a divisorial one. This is done in terms of support maps, a notion generalizing support functions on a polytopal fan. A further essential …
Let X be a toric variety over a number field k with \kbar[X]^\times=\kbar^\times. Let W\subset X be a closed subset of codimension at least 2. We prove that X\setminus W satisfies strong approximation with algebraic Brauer--Manin obstruction.
We give equivalent and sufficient criteria for the automorphism group of a complete toric variety, respectively a Gorenstein toric Fano variety, to be reductive. In particular we show that the automorphism group of a Gorenstein toric Fano variety is reductive, if the barycenter of the associated reflexive polytope is zero. Furthermore a sharp bound on the dimension of the reductive automorphism group of a complete toric variety is proven by studying the set of Demazure roots.
We consider the set of forms of a toric variety over an arbitrary field: those varieties which become isomorphic to a toric variety after base field extension. In contrast to most previous work, we also consider arbitrary isomorphisms rather than just those that respect a torus action. We define an injective map from the set of forms of a toric variety to a non-abelian second cohomology set, which generalizes the usual Brauer class of a Severi-Brauer variety. Additionally, we define a map from the set of forms of a toric variety to the set of forms of a separable algebra along similar lines to…
Toric varieties are a special class of rational varieties defined by equations of the form {\it monomial = monomial}. For a good brief survey of the history and role of toric varieties see [10]. Any toric variety $X$ contains a cover by affine open sets described in terms of arrangements (called fans) of convex bodies in $\Bbb R^r$. The coordinate rings of each of these affine open sets is a graded ring generated over the ground field by monomials. As a consequence, toric varieties provide a good context in which cohomology can be calculated. The purpose of this article is to describe the seco…
The GIT chamber decomposition arising from a subtorus action on a quasiprojective toric variety is a polyhedral complex. Denote by Sigma the fan that is the cone over the polyhedral complex. In this paper we show that the toric variety defined by the fan Sigma is the normalization of the toric Chow quotient of a closely related affine toric variety by a complementary torus.
We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an iterated cofibration structure on it. This allows us to prove several vanishing results in the rational cohomology of a toric variety and to calculate Poincaré polynomials for a large class of singular toric varieties.
Reason for withdrawal: There is a serious mistake in the calculation of the divisor of the rational section used in the proof of Prop. 2.2.1., and with the correct value the argument does not work.
Given a smooth and projective curve C and a smooth and projective toric variety X, we first describe a compactification of the space of morphisms from C to X representing a fixed homology class, and after we study the intersection theory on this variety.
We show that every 3-dimensional affine normal quasihomogeneous $SL(2)$-variety has an equivariant resolution of singularities given by an invariant Hilbert scheme. This article treats the case where such $SL(2)$-variety is toric. The non-toric case is considered in the forthcoming article [Kub18].
