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.
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 study the space of morphisms from a complex projective space to a compact smooth toric variety X. It is shown that the first author's stability theorem for the spaces of rational maps from CP^m to CP^n extends to the spaces of continuous morphisms from CP^m to X, essentially, with the same proof. In the case of curves, our result improves the known bounds for the stabilization dimension.
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.
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…
Let $W$ be a reflection group in a plane and $P$ a rational polygon that is invariant under the $W$-action. The action of $W$ on $P$ induces a $W$-action on the toric variety $X_P$ associated with $P$. In this paper, we study the $W$-representation on the cohomology $H^\ast(X_P)$ and show that the invariant subring $H^\ast(X_P)^W$ is isomorphic to the cohomology ring of the toric variety associated with the \emph{fundamental region}~$P/W$. As an example, we provide an explicit description of the main result for the case of the toric variety associated with the fan of Weyl chambers of type $G_2…
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.
A dissection of a polygon is obtained by drawing diagonals such that no two diagonals intersect in their interiors. In this paper, we define a toric variety of Schröder type as a smooth toric variety associated with a polygon dissection. Toric varieties of Schröder type are Fano generalized Bott manifolds, and they are isomorphic if and only if the associated Schröder trees are the same as unordered rooted trees. We describe the cohomology ring of a toric variety of Schröder type using the associated Schröder tree and discuss the cohomological rigidity problem.
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, 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…
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.
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.
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, 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…
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 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 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.
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 …
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…
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.
In this paper we give a construction of Lagrangian torus fibration for Calabi-Yau hypersurface in toric variety via the method of gradient flow. Using our construction of Lagrangian torus fibration, we are able to prove the symplectic topological version of SYZ mirror conjecture for generic Calabi-Yau hypersurface in toric variety. We will also be able to give precise formulation of SYZ mirror conjecture in general (including singular locus and duality of singular fibres).
In this article we prove, in a simple way, that for any complete toric variety, and for any Cartier divisor, the ring of global sections of multiples of the line bundle associated to the divisor is finitely generated.
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].
We classify holomorphic as well as algebraic torus equivariant principal $G$-bundles over a nonsingular toric variety $X$, where $G$ is a complex linear algebraic group. It is shown that any such bundle over an affine, nonsingular toric variety admits a trivialization in equivariant sense. We also obtain some splitting results.
Motivated by the study of the secant variety of the Segre-Veronese variety we propose a general framework to analyze properties of the secant varieties of toric embeddings of affine spaces defined by simplicial complexes. We prove that every such secant is toric, which gives a way to use combinatorial tools to study singularities. We focus on the Segre-Veronese variety for which we completely classify their secants that give Gorenstein or $\mathbb Q$-Gorenstein varieties. We conclude providing the explicit description of the singular locus.
Let $\K$ be a finite field and $X$ be a complete simplicial toric variety over $\K$. We give an algorithm relying on elimination theory for finding generators of the vanishing ideal of a subgroup $Y_Q$ parameterized by a matrix $Q$ which can be used to study algebraic geometric codes arising from $Y_Q$. We give a method to compute the lattice $L$ whose ideal $I_L$ is exactly $I(Y_Q)$ under a mild condition. As applications, we give precise descriptions for the lattices corresponding to some special subgroups. We also prove a Nullstellensatz type theorem valid over finite fields, and share \ver…
The toric variety corresponding to the Coxeter fan of type A can also be described as a De Concini-Procesi wonderful model. Using a general result of Rains which relates cohomology of real De Concini-Procesi models to poset homology, we give formulas for the Betti numbers of the real toric variety, and the symmetric group representations on the rational cohomologies. We also show that the rational cohomology ring is not generated in degree 1.
