We present some results on projective toric varieties which are relevant in Diophantine geometry. We interpret and study several invariants attached to these varieties in geometrical and combinatorial terms. We also give a Bézout theorem for the Chow weights of projective varieties and an application to the theorem of successive minima.
Because of its ineffectiveness, the usual arithmetic Hilbert-Samuel formula is not applicable in the context of Diophantine Approximation. In order to overcome this difficulty, the present paper presents explicit estimates for arithmetic Hilbert Functions of closed subvarieties in projective space.
For two properly intersecting effective cycles in projective space X,Y, and their intersection product Z, the metric Bezout Theorem relates the degrees, heights of X,Y, and Z, as well as their distances and algebraic distances to a given point theta. Applications of this Theorem are in the area of Diophantine Approximation, giving estimates for approximation properties of Z with respect to $θ$ against the ones of X, and Y.
For $θ$ a non-algebraic point on a quasi projective variety over a number field, I prove that $θ$ has an approximation by a series of algebraic points of bounded height and degree which is essentially best possible. Applications of this result will include a proof of a slightly strengthened version of the Philippon criterion, some new algebraic independence criteria, statements concerning metric transcendence theory on varieties of arbitrary dimension, and a rather accurate estimate for the number of algebraic points of bounded height and degree on quasi projective varieties over number fields…
These are the notes from a survey talk given at Arbeitstagung 2001 covering the author's work with Lev Borisov and Sorin Popescu on toric varieties, modular forms, and equations of modular curves.
Normal toric varieties over a field or a discrete valuation ring are classified by rational polyhedral fans. We generalize this classification to normal toric varieties over an arbitrary valuation ring of rank one. The proof is based on a generalization of Sumihiro's theorem to this non-noetherian setting. These toric varieties play an important role for tropicalizations.
Tropical toric varieties are partial compactifications of finite dimensional real vector spaces associated with rational polyhedral fans. We introduce plurisubharmonic functions and a Bedford--Taylor product for Lagerberg currents on open subsets of a tropical toric variety. The resulting tropical toric pluripotential theory provides the link to give a canonical correspondence between complex and non-archimedean pluripotential theories of invariant plurisubharmonic functions on toric varieties. We will apply this correspondence to solve invariant non-archimedean Monge--Ampère equations on tori…
In this paper I verify Manin's conjecture for a class of rational projective toric varieties with a large class of heights other than the usual one that comes from the standard metric on projective space.
Inspired by a paper of Salberger we give a new proof of Manin's conjecture for toric varieties over imaginary quadratic number fields by means of universal torsor parameterizations and elementary lattice point counting.
The metric Bezout Theorem proved in an earlier paper can be extended to a derivative version that compares derivatives of the algebraic distance of a point $θ$ to two properly intersecting cycles in projective space with the derivatives of the algebraic distance of $θ$ to their intersection. This improvement can be used to make algebraic independence criteria, to be proved in a forthcoming paper, more flexible and to refine Approximation results that are proved using the metric Bezout Theorem.
In this paper, we associate an invariant $α_{x}(L)$ to an algebraic point $x$ on an algebraic variety $X$ with an ample line bundle $L$. The invariant $α$ measures how well $x$ can be approximated by rational points on $X$, with respect to the height function associated to $L$. We show that this invariant is closely related to the Seshadri constant $ε_{x}(L)$ measuring local positivity of $L$ at $x$, and in particular that Roth's theorem on $\mathbf{P}^1$ generalizes as an inequality between these two invariants valid for arbitrary projective 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 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 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.
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 introduce the fibred toric varieties as equivariant $\mathbb{C}P^r$ bundles over lower dimensional toric varieties. An equivalent characterization is that the natural morphisms on them degenerate to bundle projections in the context of variation of toric varieties as GIT quotients. Our main observation is that these fibred toric varieties also arise naturally in the variation of hyperkähler varieties, namely, the fibred toric varieties are contained in the exceptional sets of the hyperkähler natural morphisms and the Mukai flops.
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.
In this paper, we introduce the concept of P-difference varieties and study the properties of toric P-difference varieties. Toric P-difference varieties are analogues of toric varieties in difference algebra geometry. The category of affine toric P-difference varieties with toric morphisms is shown to be antiequivalent to the category of affine P[x]-semimodules with P[x]-semimodule morphisms. Moreover, there is a one-to-one correspondence between the irreducible invariant P-difference subvarieties of an affine toric P-difference variety and the faces of the corresponding affine P[x]-semimodule…
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.
We prove the equality of the Makar-Limanov invariant and the modified Makar-Limanov invariant in the case of not necessary normal affine toric varieties. Also we give a combinatorial description of these invariants.
In this article we construct a Koszul-type resolution of the p-th exterior power of the sheaf of holomorphic differential forms on smooth toric varieties and use this to prove a Nadel-type vanishing theorem for Hodge ideals associated to effective \mathbb{Q}-divisors on smooth projective toric varieties. This extends earlier results of Mustaţă and Popa.
For a complete toric variety, we obtain an explicit formula for the localized equivariant Todd class in terms of the combinatorial data -- the fan. This is based on the equivariant Riemann-Roch theorem and the computation of the equivariant cohomology and equivariant homology of toric varieties.
We give a simple combinatorial proof of the toric version of Mori's theorem that the only $n$-dimensional smooth projective varieties with ample tangent bundle are the projective spaces $\mathbb{P}^n$.
We consider linear systems on toric varieties of any dimension, with invariant base points, giving a characterization of special linear systems. We then make a new conjecture for linear systems on rational surfaces.
In this paper, we study derived categories of certain toric varieties with Picard number three that are blowing-up another toric varieties along their torus invariant loci of codimension at most three. We construct strong full exceptional collections by using Orlov's blow-up formula and mutations.