Assume that $X$ is an affine toric variety of characteristic $p > 0$. Let $Δ$ be an effective toric $Q$-divisor such that $K_X+Δ$ is $Q$-Cartier with index not divisible by $p$ and let $ϕ_Δ:F^e_* O_X \to O_X$ be the toric map corresponding to $Δ$. We identify all ideals $I$ of $O_X$ with $ϕ_Δ(F^e_* I)=I$ combinatorially and also in terms of a log resolution (giving us a version of these ideals which can be defined in characteristic zero). Moreover, given a toric ideal $\ba$, we identify all ideals $I$ fixed by the Cartier algebra generated by $ϕ_Δ$ and $\ba$; this answers a question by Manuel Blickle in the toric setting.
The main goal of this paper is to show that the notions of Weil and Cartier $\mathbb{Q}$-divisors coincide for $V$-manifolds and give a procedure to express a rational Weil divisor as a rational Cartier divisor. The theory is illustrated on weighted projective spaces and weighted blow-ups.
Generalizing cones over projective toric varieties, we present arbitrary toric varieties as quotients of quasiaffine toric varieties. Such quotient presentations correspond to groups of Weil divisors generating the topology. Groups comprising Cartier divisors define free quotients, whereas $\QQ$-Cartier divisors define geometric quotients. Each quotient presentation yields homogeneous coordinates. Using homogeneous coordinates, we express quasicoherent sheaves in terms of multigraded modules and describe the set of morphisms into a toric variety.
We construct a 3-dimensional complete intersection toric variety on which the subadditivity formula doesn't hold, answering negatively a question by Takagi and Watanabe. A combinatorial proof of the subadditivity formula on 2-dimensional normal toric varieties is also provided.
We describe a class of affine toric varieties $V$ that are set-theoretically minimally defined by codim $V+1$ binomial equations over fields of any characteristic.
Let $I_M$ and $I_N$ be defining ideals of toric varieties such that $I_M$ is a projection of $I_N$, i.e. $I_N \subseteq I_M$. We give necessary and sufficient conditions for the equality $I_M=rad(I_N+(f_1,...,f_s))$, where $f_1,...,f_s$ belong to $I_M$. Also a method for finding toric varieties which are set-theoretic complete intersection is given. Finally we apply our method in the computation of the arithmetical rank of certain toric varieties and provide the defining equations of the above toric varieties.
We use cellular resolutions of monomial ideals to prove an analog of Hilbert's syzygy theorem for virtual resolutions of monomial ideals on smooth toric varieties.
We use Cox's description for sheaves on toric varieties and results about the local cohomology with respect to monomial ideals to give a characteristic free approach to vanishing results on arbitrary toric varieties. As an application, we give a proof of a strong form of Fujita's conjecture in the case of toric varieties. We also prove that every sheaf on a toric variety corresponds to a module over the homogeneous coordinate ring, generalizing Cox's result for the simplicial case.
We generalize to all normal complex algebraic varieties the valuative characterization of multiplier ideals due to Boucksom-Favre-Jonsson in the smooth case. To that end, we extend the log discrepancy function to the space of all real valuations, and prove that it satisfies an adequate properness property, building upon previous work by Jonsson-Mustaţă. We next give an alternative definition of the concept of numerically Cartier divisors previously introduced by the first three authors, and prove that numerically Q-Cartier divisors coincide with Q-Cartier divisors for rational singularities. T…
We develop an analogue of Eisenbud-Floystad-Schreyer's Tate resolutions for toric varieties. Our construction, which is given by a noncommutative analogue of a Fourier- Mukai transform, works quite generally and provides a new perspective on the relationship between Tate resolutions and Beilinson's resolution of the diagonal. We also develop a Beilinson-type resolution of the diagonal for toric varieties.
We express the F-signature of the coordinate ring of an affine toric variety as the volume of a certain polytope, generalizing a formula of Watanabe and Yoshida. We also compute the F-signature of pairs and triples of a toric singularity.
We describe classes of toric varieties of codimension 2 which are either minimally defined by 3 binomial equations over any algebraically closed field, or are set-theoretic complete intersections in exactly one positive characteristic.
The birational classification of varieties inevitably leads to the study of singularities. The types of singularities that occur in this context have been studied by Mori, Kollár, Reid, and others, beginning in the 1980s with the introduction of the minimal model program. Normal singularities that are terminal, canonical, log terminal, and log canonical, and their non-normal counterparts, are typically studied using a resolution of singularities (or a semiresolution) and finding numerical conditions that relate the canonical class of the variety to that of its resolution. In order to do this, …
The main object of the present paper is a numerical criterion determining when a Weil divisor of a $\Q$--factorial complete toric variety admits a positive multiple Cartier divisor which is either numerically effective (nef) or ample. It is a consequence of $\Z$--linear interpretation of Gale duality and se\-con\-dary fan as developed in several previous papers of us. As a byproduct we get a computation of the Cartier index of a Weil divisor and a numerical characterization of weak $\Q$--Fano, $\Q$--Fano, Gorenstein, weak Fano and Fano toric varieties. Several examples are then given and studi…
We study toric degenerations of opposite Schubert and Richardson varieties inside degenerations of Grassmannians and flag varieties. These degenerations are parametrized by matching fields in the sense of Sturmfels and Zelevinsky. We construct so-called restricted matching field ideals whose generating sets are understood combinatorially through tableaux. We determine when these ideals are toric and coincide with Gröbner degenerations of Richardson varieties using the well established standard monomial theory for Grassmannians and flag varieties.
We show that the moduli space of rank three toric vector bundles on smooth projective toric varieties satisfies Murphy's law, that is, every singularity type of finite type arises somewhere on this space.
We use homogeneous spectra of multigraded rings to construct toric embeddings of a large family of projective varieties which preserve some of the birational geometry of the underlying variety, generalizing the well-known construction associated to Mori Dream Spaces.
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.
We first construct explicit bases for the cotangent spaces at singular points on Hibi toric varieties, i.e., toric varieties associated to distributive lattices. We then determine the singular loci of these toric varieties.
We begin a systematic investigation of derived categories of smooth projective toric varieties defined over an arbitrary base field. We show that, in many cases, toric varieties admit full exceptional collections. Examples include all toric surfaces, all toric Fano 3-folds, some toric Fano 4-folds, the generalized del Pezzo varieties of Voskresenskii and Klyachko, and toric varieties associated to Weyl fans of type $A$. Our main technical tool is a completely general Galois descent result for exceptional collections of objects on (possibly non-toric) varieties over non-closed fields.
We study standard monomial bases for Richardson varieties inside the flag variety. In general, writing down a standard monomial basis for a Richardson variety can be challenging, as it involves computing so-called defining chains or key tableaux. However, for a certain family of Richardson varieties, indexed by compatible permutations, we provide a very direct and straightforward combinatorial rule for writing down a standard monomial basis. We apply this result to the study of toric degenerations of Richardson varieties. In particular, we provide a new family of toric degenerations of Richard…
We totally classify the projective toric varieties whose canonical divisors are divisible by their dimensions. In Appendix, we show that Reid's toric Mori theory implies Mabuchi's characterization of the projective space for toric varieties.
We describe the equivariant cobordism ring of smooth toric varieties. This equivariant description is used to compute the ordinary cobordism ring of such varieties.
The main purpose of this notes is to supplement the paper reid, which treated Minimal Model Program (also called Mori's Program) on toric varieties. We calculate lengths of negative extremal rays of toric varieties. As an application, we obtain a generalization of Fujita's conjecture for singular toric varieties. We also prove that every toric variety has a small projective toric $\bQ$-factorialization.
We explain a web of Sarkisov links that overlies the classification of Fano weighted projective spaces in dimensions 3 and 4, extending results of Prokhorov.
Here are few notes on not necessarily normal toric varieties and resolution by toric blow-up. These notes are independent of, but in the same spirit as the earlier preprint arXiv:math.AG/0306221. That is, they focus on the fact that toric varieties are locally given by monoid algebras.
We generalized the construction of deformations of affine toric varieties of K. Altmann and our previous construction of deformations of weak Fano toric varieties to the case of arbitrary toric varieties by introducing the notion of Minkowski sum decompositions of polyhedral complexes. Our construction embeds the original toric variety into a higher dimensional toric variety where the image is given by a prime binomial complete intersection ideal in Cox homogeneous coordinates. The deformations are realized by families of complete intersections. For compact simplicial toric varieties with at w…
These notes survey some basic results in toric varieties over a field with examples and applications. A computer algebra package (written by the second author) is described which deals with both affine and projective toric varieties in any number of dimensions (written in both the software packages MAGMA and GAP). Among other things, the package implements a desingularization procedure for affine toric varieties, constructs some error-correcting codes associated with toric varieties, and computes the Riemann-Roch space of a divisor on a toric variety.
In this paper we use formal group rings to construct an algebraic model of the $T$-equivariant oriented cohomology of smooth toric varieties. Then we compare our model with known results of equivariant cohomology of toric varieties to justify our construction.
We introduce an algebraic method for describing the Hodge filtration of degenerating hypersurfaces in projective toric varieties. For this purpose, we show some fundamental properties of logarithmic differential forms on proper equivariant morphisms of toric varieties.
In this paper we prove criteria for a nonnormal toric variety to be flexible, to be rigid and to be almost rigid. For rigid and almost rigid toric varieties we describe the automorphism group explicitly.
In this paper, we investigate when there exists a wild hypersurface bundle over a smooth proper toric variety in positive characteristic. In particular, we determine the possibilities for toric varieties with Picard number at most three or toric Fano varieties of dimension at most four. Moreover, we can construct wild hypersurface bundles over them.
The goal of this paper is to define families of toric varieties and to study their properties. These families are locally trivial fibrations over some base, whose fibres are isomorphic to a fixed complete toric variety. The study is motivated by the occurence of such families in the context of gauged sigma models for toric varieties.
We describe the quantum cohomology rings of a class of toric varieties. The description includes, in addition to the (already known) ring presentations, the (new) analogues for toric varieties of the sorts of quantum Giambelli formulas which exist already for Grassmannian varieties, flag varieties, etc.
Let $X$ be a normal projective variety. A surjective endomorphism $f:X\to X$ is int-amplified if $f^\ast L - L =H$ for some ample Cartier divisors $L$ and $H$. This is a generalization of the so-called polarized endomorphism which requires that $f^*H\sim qH$ for some ample Cartier divisor $H$ and $q>1$. We show that this generalization keeps all nice properties of the polarized case in terms of the singularity, canonical divisor, and equivariant minimal model program.
In this paper, we obtain a complete classification of smooth toric Fano varieties equipped with extremal contractions which contract divisors to curves for any dimension. As an application, we obtain a complete classification of smooth projective toric varieties which can be equivariantly blown-up to Fano along curves.
We prove two theorems on the derived categories of toric varieties, the existence of an exceptional collection consisting of sheaves for a divisorial extraction and the finiteness of Fourier-Mukai partners.
We construct one-parameter complex analytic families whose special fibers are complete toric varieties. Under some assumptions, the general fibers of these families also become toric varieties and we can explicitly describe the corresponding fans from the data of the fans corresponding to the special fibers. Using these families, we give a deformation family for a certain toric weakened Fano 3-fold. Moreover, we get some examples of toric weakened Fano 4-folds.
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.
Generalizing the notions of reflexive polytopes and nef-partitions of Batyrev and Borisov, we propose a mirror symmetry construction for Calabi-Yau complete intersections in Fano toric varieties.
We give new estimates of lengths of extremal rays of birational type for toric varieties. We can see that our new estimates are the best by constructing some examples explicitly. As applications, we discuss the nefness and pseudo-effectivity of adjoint bundles of projective toric varieties. We also treat some generalizations of Fujita's freeness and very ampleness for toric varieties.
We use the liftability of the relative Frobenius morphism of toric varieties and the strong liftability of toric varieties to prove the Bott vanishing theorem, the degeneration of the Hodge to de Rham spectral sequence and the Kawamata-Viehweg vanishing theorem for log pairs on toric varieties in positive characteristic. These results generalize those results of Danilov, Buch-Thomsen-Lauritzen-Mehta, Mustata and Fujino to the case where concerned Weil divisors are not necessarily torus invariant.
