Any integral convex polytope $P$ in $\mathbb{R}^N$ provides a $N$-dimensional toric variety $X_P$ and an ample divisor $D_P$ on this variety. This paper gives an explicit construction of the algebraic geometric error-correcting code on $X_P$ , obtained by evaluating global section of $\mathcal{L}(D_P)$ on every rational point of $X_P$. This work presents an extension of toric codes analogous to the one of Reed-Muller codes into projective ones, by evaluating on the whole variety instead of considering only points with non-zero coordinates. The dimension of the code is given in terms of the number of integral points in the polytope $P$ and an algorithmic technique to get a lowerbound on the minimum distance is described.
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 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…
We give several mild conditions on a toric bundle on a nonsingular toric variety under which the projectivization of the toric bundle is Frobenius split.
We prove a formula for the orbifold Chow ring of semi-projective toric DM stacks, generalizing the orbifold Chow ring formula of projective toric DM stacks by Borisov-Chen-Smith. We also consider a special kind of semi-projective toric DM stacks, the Lawrence toric DM stacks. We prove that the orbifold Chow ring of a Lawrence toric DM stack is isomorphic to the orbifold Chow ring of its associated hypertoric DM stack studied in \cite{JT}.
The automorphism group of a projective bundle P(E) over a simplicial toric variety is described when the bundle E is a direct sum of line bundles. Applications to study of moduli of complete intersections on toric varieties, including Calabi Yau m-folds and Del Pezzo surfaces, are indicated.
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…
This is an expository paper in which we define projective GIT quotients and introduce toric varieties from this perspective. It is intended primarily for readers who are learning either invariant theory or toric geometry for the first time.
Motivated by the problem of classifying toric $2$-Fano manifolds, we introduce a new invariant for smooth projective toric varieties, the minimal projective bundle dimension. This invariant $m(X)\in\{1, \dots,\dim(X)\}$ captures the minimal degree of a dominating family of rational curves on $X$ or, equivalently, the minimal length of a centrally symmetric primitive relation for the fan of $X$. We classify smooth projective toric varieties with $m(X)\geq \dim(X)-2$, and show that projective spaces are the only $2$-Fano manifolds among smooth projective toric varieties with $m(X)\in\{1, \dim(X)…
We provide a generalization of the algorithm of Eklund-Jost-Peterson for computing Segre classes of closed subschemes of projective k-space. The algorithm is here generalized to computing the Segre classes of closed subschemes of smooth projective toric varieties.
Let $P_m(J)$ denote a simplicial complex obtainable from consecutive wedge operations from an $m$-gon. In this paper, we completely classify toric manifolds over $P_m(J)$ and prove that all of them are projective. As a consequence, we provide an infinite family of projective toric manifolds.
Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick, every rational (k,k)-cohomology class is algebraic, i.e., the Hodge conjecture holds on them.
Let T be a torus over an algebraically closed field k of characteristic 0, and consider a projective T-module P(V). We determine when a projective toric subvariety X of P(V) is self-dual, in terms of the configuration of weights of V.
In this paper we illustrate an algorithmic procedure which allows to build projective wonderful models for the complement of a toric arrangement in a n-dimensional algebraic torus T. The main step of the construction is a combinatorial algorithm that produces a toric variety by subdividing in a suitable way a given smooth fan.
Let $L$ be an ample line bundle over a smooth projective toric surface $X$. Then $L$ corresponds to a very ample lattice polytope $P$ that encodes many geometric properties of $L$. In this article, by studying $P$, we will give some necessary and sufficient numerical criteria for the adjoint series $|K_X+L|$ to be either nef or (very) ample.
We generalize Givental's Theorem for complete intersections in smooth toric varieties in the Fano case. In particular, we find Gromov--Witten invariants of Fano varieties of dimension $\geq 3$, which are complete intersections in weighted projective spaces and singular toric varieties. We generalize the Riemann-Roch equations to weighted projective spaces. We compute counting matrices of smooth Fano threefolds with Picard group Z and anticanonical degrees 2, 8, and 16.
We show that the isolated invariant branches globalize to algebraic curves, when we consider weak toric type complex hyperbolic foliations on projective toric ambient surfaces. To do it, we pass through a characterization of weak toric type foliations in terms of "non-degeneracy" conditions, associated to Newton polygons. We also give a description of the relationship between invariant algebraic curves and isolated invariant branches, valid for the case of toric type, by means of the following dichotomy. Either there is a rational first integral and there are no isolated invariant branches or …
The purpose of the present paper is threefold. First: giving a treatise on weighted projective spaces by the toric point of view. Second: providing characterizations of fans and polytopes giving weighted projective spaces, with particular focus on a kind of \emph{recognition process} of toric data like fans and polytopes. Third: building a mathematical framework for the algorithmic and computational approach to wps's realized in [23,24].
We show that if an ample line bundle L on a nonsingular toric 3-fold satisfies h^0(L+2K)=0, then L is normally generated. As an application, we show that the anti-canonical divisor on a nonsingular toric Fano 4-fold is normally generated.
Let $\mathbb{G}_a$ be the additive group of the field of complex numbers $\mathbb{C}$. We say that an irreducible algebraic variety $X$ of dimension $n$ admits an additive action if there is a regular action of the group $\mathbb{G}_a^n = \mathbb{G}_a \times \ldots \times \mathbb{G}_a$ ($n$ times) on $X$ with an open orbit. In 2017 Baohua Fu and Jun-Muk Hwang introduced a class of Euler-symmetric varieties. They gave a classification of Euler-symmetric varieties and proved that any Euler-symmetric variety admits an additive action. In this paper we show that in the case of projective toric var…
Let X be a smooth projective toric surface and L and M two line bundles on X. If L is ample and M is generated by global sections, then we show that the natural map from H^0(X,L) tensor H^0(X,M) to H^0(X, L tensor M) is surjective. We also consider a generalization to the case when M is an arbitrary line bundle with h^0(X,M) > 0.
Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{G}_a$ be the additive group of $\mathbb{K}$. We say that an irreducible algebraic variety $X$ of dimension $n$ over the field $\mathbb{K}$ admits an additive action if there is a regular action of the group $\mathbb{G}_a^n = \mathbb{G}_a \times \ldots \times \mathbb{G}_a$ ($n$ times) on $X$ with an open orbit. In this paper we find all projective toric hypersurfaces admitting additive action.
In this short note, we investigate the existence of orbifold Kähler-Einstein metrics on toric varieties. In particular, we show that every $\mathbb{Q}$-factorial normal projective toric variety allows an orbifold Kähler-Einstein metric. Moreover, we characterize the K-stability of $\mathbb{Q}$-factorial toric pairs of Picard number one in terms of the log Cox ring and the universal orbifold cover.
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.
The present paper is devoted to generalizing, inside the class of projective toric varieties, the classification [Batyrev91], performed by Batyrev in 1991 for smooth complete toric varieties, to the singular $Q$--factorial case. Moreover, in the first part of the paper the Kleinschmidt classification of smooth complete toric varieties of Picard number 2 [Kleinschmidt] is revised.
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.
This paper proves that every projective toric variety is the fine moduli space for stable representations of an appropriate bound quiver. To accomplish this, we study the quiver $Q$ with relations $R$ corresponding to the finite-dimensional algebra $\bigl(\bigoplus_{i=0}^{r} L_i \bigr)$ where $\mathcal{L} := (\mathscr{O}_X,L_1, ...c, L_r)$ is a list of line bundles on a projective toric variety $X$. The quiver $Q$ defines a smooth projective toric variety, called the multilinear series $|\mathcal{L}|$, and a map $X \to |\mathcal{L}|$. We provide necessary and sufficient conditions for the indu…
Let $\mathcal{O}(D)$ be an equivariant line bundle which is big and nef on a complex projective nonsingular toric variety $X$. Given a continuous toric metric $\|\cdot\|$ on $\mathcal{O}(D)$, we define the energy at equilibrium of $(X,ϕ_{\bar{D}})$ where $ϕ_{\bar{D}}$ is the weight of the metrized toric divisor $\bar{D}=(D,\|\cdot\|)$. We show that this energy describes the asymptotic behaviour as $k\rightarrow \infty$ of the volume of the $L^2$-norm unit ball induced by $(X,kϕ_{\bar{D}})$ on the space of global holomorphic sections $H^0(X,\mathcal{O}(kD))$.
It is known that the underlying spaces of all abelian quotient singularities which are embeddable as complete intersections of hypersurfaces in an affine space can be overall resolved by means of projective torus-equivariant crepant birational morphisms in all dimensions. In the present paper we extend this result to the entire class of toric l.c.i.-singularities. Our proof makes use of Nakajima's classification theorem and of some special techniques from toric and discrete geometry.
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.
Hartshorne's conjecture about vector bundles on projective space states that any rank 2 vector bundle on n-dimensional projective space splits as soon as n is at least 7. Klyachko has shown that Hartshorne's conjecture is true when the vector bundles are torus equivariant. Moreover, recent work of Ilten and Süss generalizes Klyachko's work to the case of a smaller rank torus action on projective space. In this note we give a new, direct proof that torus rank 2 bundles split that avoids a description of the category of torus equivariant vector bundles.
We show that the second Chern character of any projective toric manifold of Picard number three is not ample. In connection with this result, we give various examples of the positivity of higher Chern characters of projective toric manifolds.
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$.
Let $(X, A)$ be a nonsingular polarized toric 3-fold. We show that if the adjoint bundle of $A$ has no glabal section, then all ample line bundles on $X$ are normally generated. Even if the adjoint bundle is effective, if it is not big, then it is shown the normal generation. In particular, we show that all ample line bundles on a nonsingular toric Fano 3-fold are normally generated.
In this paper we answer a question posed by V.V. Batyrev. The question asked if there exists a complete regular fan with more than quadratically many primitive collections. We construct a smooth projective toric variety associated to a complete regular fan $Δ$ in R^d with $n$ generators where the number of primitive collections of $Δ$ is at least exponential in $n-d$. We also exhibit the connection between the number of primitive collections of $Δ$ and the facet complexity of the Gröbner fan of the associated integer program.
The main result of this paper is a structural theorem for projective Q-factorial toric varieties X in P^N, covered by lines. We prove that there exists a toric fibration f: X -> Z, locally trivial in the Zariski topology, with fiber a product of projective joins. All lines in X intersecting the open subset isomorphic to the torus, are contained in some fiber of f. This characterization has a geometrical application to dual defective toric varieties, and a combinatorial application to discriminants of lattice subsets. We prove that X has positive dual defect if and only if it has an elementary …
The notion of higher order dual varieties of a projective variety, introduced in \cite{P83}, is a natural generalization of the classical notion of projective duality. In this paper we present geometric and combinatorial characterizations of those equivariant projective toric embeddings that satisfy higher order selfduality. We also give several examples and general constructions. In particular, we highlight the relation with Cayley-Bacharach questions and with Cayley configurations.
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 show that, for a complete simplicial toric variety $X$, we can determine its homotopy $\KH$-theory entirely in terms of the torus pieces of open sets forming an open cover of $X$. We then construct conditions under which, given two complete simplicial toric varieties, the two spectra $\KH(X) \otimes \Q$ and $\KH(Y) \otimes \Q$ are weakly equivalent. We apply this result to determine the rational $\KH$-theory of weighted projective spaces. We next examine $\K$-regularity for complete toric surfaces; in particular, we show that complete toric surfaces are $\K_{0}$-regular. We then determine c…
We will use toric degenerations of the projective plane ${\mathbb{P}^ 2}$ to give a new proof of the triple points interpolation problems in the projective plane. We also give a complete list of toric surfaces that are useful as components in this degeneration.
It has been shown by Batyrev and Borisov that nef partitions of reflexive polyhedra can be used to construct mirror pairs of complete intersection Calabi--Yau manifolds in toric ambient spaces. We construct a number of such spaces and compute their cohomological data. We also discuss the relation of our results to complete intersections in weighted projective spaces and try to recover them as special cases of the toric construction. As compared to hypersurfaces, codimension two more than doubles the number of spectra with $h^{11}=1$. Alltogether we find 87 new (mirror pairs of) Hodge data, mai…
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 give the full classification of smooth toric Legendrian subvarieties in projective space. We also prove that under some minor assumptions the group of linear automorphisms preserving given Legendrian subvariety preserves the contact structure of the ambient projective space.
In response to a question of Reid, we find all anti-canonical Calabi-Yau hypersurfaces $X$ in toric weighted projective bundles over the projective line where the general fiber is a weighted K3 hypersurface. This gives a direct generalization of Reid's discovery of the 95 families of weighted K3 hypersurfaces. We also treat the case where $X$ is fibered over the plane with general fiber a genus one curve in a weighted projective plane.
The notion of higher order dual varieties of a projective variety is a natural generalization of the classical notion of projective duality, introduced by Piene in 1983. In this paper we study higher order dual varieties of projective toric embeddings. We compute the degree of the second dual variety of a smooth toric threefold in geometric and combinatorial terms, and we classify smooth 2-jet spanned projective embeddings of smooth threefolds whose second dual variety has dimension less than expected. We also describe the tropicalization of the k-th dual variety of an equivariantly embedded (…
We show that any smooth lattice polytope P with codegree greater or equal than (dim(P)+3)/2 (or equivalently, with degree smaller than dim(P)/2), defines a dual defective projective toric manifold. This implies that P is Q-normal (in the terminology of a recent paper by Di Rocco, Piene and the first author) and answers partially an adjunction-theoretic conjecture by Beltrametti and Sommese. Also, it follows that smooth lattice polytopes with this property are precisely strict Cayley polytopes, which completes the answer of a question of Batyrev and the second author in the nonsingular case.
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.
