We develop techniques for computing the equivariant local mirror symmetry of curves, i.e. mirror symmetry for O(k)+O(-2-k) over P^1 for k greater than 0. We also describe related methods for dealing with mirror symmetry of non-nef toric varieties. The basic tools are equivariant I functions and their Birkhoff factorization.
We compute local Gromov-Witten invariants of cubic surfaces at all genera. We use a deformation of a cubic surface to a nef toric surface and the deformation invariance of Gromov-Witten invariants.
In this note we prove that any toric Fano manifold with nef tangent bundle is a product of projective spaces. In particular, it implies that Campana-Peternell conjecture hold for toric manifolds.
In this paper, we classify projective toric birational morphisms from Gorenstein toric 3-folds onto the 3-dimensional affine space with relatively ample anti-canonical divisors.
Given a Fano complete intersection defined by sections of a collection nef line bundles $L_1,\ldots, L_c$ on a Fano toric manifold $Y$, a construction of Givental/Hori-Vafa provides a mirror-dual Landau-Ginzburg model. This construction depends on a choice of suitable nef partition; that is, a partition of the rays of the fan determined by $Y$. We show that toric Landau-Ginzburg models constructed from different nef partitions representing the same complete intersection are related by a volume preserving birational map. In particular, various Laurent polynomial mirrors which may be obtained fr…
We show that a nef and big line bundle whose adjoint bundle has non-zero global sections on a nonsingular toric weak Fano 3-fold is normally generated. As a consequence, we see that all ample line bundles on a nonsingular toric weak Fano 3-fold are normally generated. We also show that an ample line bundle whose adjoint bundle has non-zero global sections on a Gorensein toric Fano 3-fold is normally generated. In our proof we do not use full classifications of Fano polytopes.
We describe all of the smooth complete toric threefolds of Picard number 5 with no nontrivial nef line bundles, and show that no such examples exist with Picard number less than 5.
We show that equivariant elliptic genera of toric Calabi-Yau 3-folds are generalized weak Jacobi forms. We also introduce a notion of averaged equivariant elliptic genera of toric Calabi-Yau 3-folds, and show that they are ordinary weak Jacobi forms given by an explicit formula predicted by Eguchi and Sugawara.
From the work of Lian, Liu, and Yau on "Mirror Principle", in the explicit computation of the Euler data $Q=\{Q_0, Q_1, ... \}$ for an equivariant concavex bundle ${\cal E}$ over a toric manifold, there are two places the structure of the bundle comes into play: (1) the multiplicative characteric class $Q_0$ of $V$ one starts with, and (2) the splitting type of ${\cal E}$. Equivariant bundles over a toric manifold has been classified by Kaneyama, using data related to the linearization of the toric action on the base toric manifold. In this article, we relate the splitting type of ${\cal E}$ t…
We show that an equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction to every invariant curve is nef or ample, respectively. Furthermore, we show that nef toric vector bundles have a nonvanishing global section at every point, and deduce that the underlying vector bundle is trivial if and only if its restriction to every invariant curve is trivial. We apply our methods and results to study, in particular, the vector bundles M_L that arise as the kernel of the evaluation map on sections of L, when L is an ample line bundle. We give examples of twi…
On a smooth projective variety with k ample line bundles, we denote by Z the complete intersection subvariety defined by generic sections. We define the twisted quantum D-module which is a vector bundle with a flat connection, a flat pairing and a natural integrable structure. An appropriate quotient of it is isomorphic to the ambient part of the quantum D-module of Z. When the variety is toric, these quantum D-modules are cyclic. The twisted quantum D-module can be presented via mirror symmetry by the GKZ system associated to the total space of the dual of the direct sum of these line bundles…
In this paper we show that a smooth toric variety $X$ of Picard number $r\leq 3$ always admits a nef primitive collection supported on a hyperplane admitting non-trivial intersection with the cone $\Nef(X)$ of numerically effective divisors and cutting a facet of the pseudo-effective cone $\Eff(X)$, that is $\Nef(X)\cap\partial\overline{\Eff}(X)\neq\{0\}$. In particular this means that $X$ admits non-trivial and non-big numerically effective divisors. Geometrically this guarantees the existence of a fiber type contraction morphism over a smooth toric variety of dimension and Picard number lowe…
We study the positivity of exterior powers of the tangent sheaf on toric varieties in order to generalize results by Campana and Peternell about 3-folds with nef second exterior power of the tangent bundle. Using the theory of equivariant vector bundles and the toric MMP, we establish in the smooth case a criterion for the positivity of $Λ^m\mathcal T_X$ in terms of wall relations. As an application, we classify smooth toric varieties of arbitrary dimension $n\ge3$ with $Λ^2\mathcal T_X$ nef and those of dimension $n\ge 4$ with $Λ^3\mathcal T_X$ ample.
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.
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 compute Seshadri constants of a torus equivariant nef vector bundle on a projective space satisfying certain conditions. As an application, we compute Seshadri constants of tangent bundles on projective spaces. We also consider equivariant nef vector bundles on Bott towers of height 2 (i.e. Hirzebruch surfaces) and Bott towers of height 3 respectively. Assuming some conditions on the minimal slope of the restrictions of these bundles to invariant curves, we give precise values of Seshadri constant at an arbitrary point. We also give several examples illustrating our results.
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.
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 show that the equivariant Chow cohomology ring of a toric variety is naturally isomorphic to the ring of integral piecewise polynomial functions on the associated fan. This gives a large class of singular spaces for which localization holds in equivariant Chow cohomology with integer coefficients. We also compute the equivariant Chow cohomology of toric prevarieties and general complex hypertoric varieties in terms of piecewise polynomial functions.
We give a complete classification of equivariant vector bundles of rank two over smooth complete toric surfaces and construct moduli spaces of such bundles. This note is a direct continuation of an earlier note where we developed a general description of equivariant sheaves on toric varieties. Here we give a first application of that description.
We study the bounded derived categories of torus-equivariant coherent sheaves on smooth toric varieties and Deligne-Mumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these categories depend only on the PL homeomorphism type of the corresponding simplicial complex.
We treat equivariant completions of toric contraction morphisms as an application of the toric Mori theory. For this purpose, we generalize the toric Mori theory for non-$\mathbb Q$-factorial toric varieties. So, our theory seems to be quite different from Reid's original combinatorial toric Mori theory. We also explain various examples of non-$\mathbb Q$-factorial contractions, which imply that the $\mathbb Q$-factoriality plays an important role in the Minimal Model Program. Thus, this paper completes the foundations of the toric Mori theory and show us a new aspect of the Minimal Model Prog…
In this note we derive a formalism for describing equivariant sheaves over toric varieties. This formalism is a generalization of a correspondence due to Klyachko, which states that equivariant vector bundles on toric varieties are equivalent to certain sets of filtrations of vector spaces. We systematically construct the theory from the point of view of graded ring theory and this way we clarify earlier constructions of Kaneyama and Klyachko. We also connect the formalism to the theory of fine-graded modules over Cox' homogeneous coordinate ring of a toric variety. As an application we constr…
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.
We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.
Let $X$ be the wonderful compactification of a complex symmetric space $G/H$ of minimal rank. For a point $x\,\in\, G$, denote by $Z$ be the closure of $BxH/H$ in $X$, where $B$ is a Borel subgroup of $G$. The universal cover of $G$ is denoted by $\widetilde{G}$. Given a $\widetilde{G}$ equivariant vector bundle $E$ on $X,$ we prove that $E$ is nef (respectively, ample) if and only if its restriction to $Z$ is nef (respectively, ample). Similarly, $E$ is trivial if and only if its restriction to $Z$ is so.
We show that equivariant Donaldson polynomials of compact toric surfaces can be calculated as residues of suitable combinations of Virasoro conformal blocks, by building on AGT correspondence between N = 2 supersymmetric gauge theories and two-dimensional conformal field theory.
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…
For any two nef line bundles F and G on a toric variety X represented by lattice polyhedra P respectively Q, we present the universal equivariant extension of G by F under use of the connected components of the set theoretic difference of Q and P.
We give a complete answer to the question of (semi)stability of tangent bundle of any nonsingular projective complex toric variety with Picard number 2 by using combinatorial crietrion of (semi)stability of an equivariant sheaf. We also give a complete answer to the question of (semi)stability of tangent bundle of all toric Fano 4-folds with Picard number (\leq) 3 which are classified by Batyrev \cite{batyrev}. We have constructed a collection of equivariant indecomposable rank 2 vector bundles on Bott tower and pseudo-symmetric toric Fano varieties. Further in case of Bott tower, we have show…
We characterize embeddability of algebraic varieties into smooth toric varieties and prevarieties. Our embedding results hold also in an equivariant context and thus generalize a well known embedding theorem of Sumihiro on quasiprojective G-varieties. The main idea is to reduce the embedding problem to the affine case. This is done by constructing equivariant affine conoids, a tool which extends the concept of an equivariant affine cone over a projective G-variety to a more general framework.
We generalize the intersection theory of nef toric (Weil) b-divisors on smooth and complete toric varieties to the case of smooth and complete toroidal embeddings. As a key ingredient we show the existence of a limit measure, supported on the weakly embedded rational conical polyhedral space attached to the toroidal embedding, which arises as a limit of discrete measures defined via tropical intersection theory on the polyhedral space. We prove that the intersection theory of nef toroidal Cartier b-divisors can be extended continuously to nef toroidal Weil b-divisors and that their degree can …
In this paper, we define an action of the group of equivariant Cartier divisors on a toric variety X on the equivariant cycle groups of X, arising naturally from a choice of complement map on the underlying lattice. If X is nonsingular, this gives a lifting of the multiplication in equivariant cohomology to the level of equivariant cycles. As a consequence, one naturally obtains an equivariant cycle representative of the equivariant Todd class of any toric variety. These results extend to equivariant cohomology the results of Thomas and Pommersheim. In the case of a complement map arising from…
We first retell in the K-theoretic context the heuristics of $S^1$-equivariant Floer theory on loop spaces which gives rise to $D_q$-module structures, and in the case of toric manifolds, vector bundles, or super-bundles to their explicit $q$-hypergeometric solutions. Then, using the fixed point localization technique developed in Parts II--IV, we prove that these $q$-hypergeometric solutions represent K-theoretic Gromov-Witten invariants.
This paper contains two results concerning the equivariant K-theory of toric varieties. The first is a formula for the equivariant K-groups of an arbitrary affine toric variety, generalizing the known formula for smooth ones. In fact, this result is established in a more general context, involving the K-theory of graded projective modules. The second result is a new proof of a theorem due to Vezzosi and Vistoli concerning the equivariant K-theory of smooth (not necessarily affine) 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.
This paper is devoted to settle two still open problems, connected with the existence of ample and nef divisors on a Q-factorial complete toric variety. The first problem is about the existence of ample divisors when the Picard number is 2: we give a positive answer to this question, by studying the secondary fan by means of Z-linear Gale duality. The second problem is about the minimum value of the Picard number allowing the vanishing of the Nef cone: we present a 3-dimensional example showing that this value cannot be greater then 3, which, under the previous result, is also the minimum valu…
We show that the dual of the Cayley cone, associated to a Minkowski sum decomposition of a reflexive polytope, contains a reflexive polytope admitting a nef-partition. This nef-partition corresponds to a Calabi-Yau complete intersection in a Gorenstein Fano toric variety degenerating to an ample Calabi-Yau hypersurface in another Fano toric variety. Using the Batyrev-Borisov mirror symmetry construction, we found the mirror contraction of a Calabi-Yau complete intersection to the mirror of the ample Calabi-Yau hypersurface.
We describe the equivariant cobordism ring of smooth toric varieties. This equivariant description is used to compute the ordinary cobordism ring of such varieties.
For a pair of affine toric varieties X and Y defined by dual cones, we define an equivalence between two triangulated categories. The first is a mixed version of the equivariant derived category of X and the second is a mixed version of the derived category of sheaves on Y which are locally constant with unipotent monodromy on each orbit. This equivalence satisfies the Koszul duality formalism of Beilinson, Ginzburg, and Soergel. A similar duality was constructed in math.AG/0308216; this new approach is more canonical.
We show that nef cycle classes on smooth complete spherical varieties are effective, and the products of nef cycle classes are also nef. Let X be a smooth projective spherical variety such that its effective cycle classes of codimension k are nef, where 1<= k <= dim(X)-1. We study the properties of X. And we show that if X is a toric variety, then X is isomorphic to the product of some projective spaces; if X is toroidal, then X is isomorphic to a rational homogeneous space; if X is horospherical, dim(X)>= 3 and k=2, then effective divisors on X are nef; if X is horospherical and effective div…
We identify a certain universal Landau-Ginzburg model as a mirror of the big equivariant quantum cohomology of a (not necessarily compact or semipositive) toric manifold. The mirror map and the primitive form are constructed via Seidel elements and shift operators for equivariant quantum cohomology. Primitive forms in non-equivariant theory are identified up to automorphisms of the mirror.
Let $M$ be a smooth complex projective toric variety equipped with an action of a torus $T$, such that the complement $D$ of the open $T$--orbit in $M$ is a simple normal crossing divisor. Let $G$ be a complex reductive affine algebraic group. We prove that an algebraic principal $G$--bundle $E_G\to M$ admits a $T$--equivariant structure if and only if $E_G$ admits a logarithmic connection singular over $D$. If $E_H\to M$ is a $T$-equivariant algebraic principal $H$--bundle, where $H$ is any complex affine algebraic group, then $E_H$ in fact has a canonical integrable logarithmic connection si…
Let X be a smooth complete complex toric variety such that the boundary is a simple normal crossing divisor, and let E be a holomorphic vector bundle on X. We prove that E admits an equivariant structure if and only if E admits a logarithmic connection singular over D. More precisely, we show that an equivariant vector bundle on X has a tautological integrable logarithmic connection singular over D. This is used in computing the Chern classes of the equivariant vector bundles on X. We also prove a version of the result for holomorphic vector bundles on log parallelizable G-pairs (X,D), where G…
The central object of investigation of this paper is the Hirzebruch class, a deformation of the Todd class, given by Hirzebruch (for smooth varieties) in his celebrated book "Topological Methods in Algebraic Geometry". The generalization for singular varieties is due to Brasselet-Schürmann-Yokura. Following the work of Weber, we investigate its equivariant version for (possibly singular) toric varieties. The local decomposition of the Hirzebruch class to the fixed points of the torus action and a formula for the local class in terms of the defining fan are mentioned. After this review part, we…
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 prove the following results for toric Deligne-Mumford stacks, under minimal compactness hypotheses: the Localization Theorem in equivariant K-theory; the equivariant Hirzebruch-Riemann-Roch theorem; the Fourier--Mukai transformation associated to a crepant toric wall-crossing gives an equivariant derived equivalence.
Let $X$ be a complete toric variety equipped with the action of a torus $T$ and $G$ a reductive algebraic group, defined over an algebraically closed field $K$. We introduce the notion of a compatible $Σ$--filtered algebra associated to $X$, generalizing the notion of a compatible $Σ$--filtered vector space due to Klyachko, where $Σ$ denotes the fan of $X$. We combine Klyachko's classification of $T$--equivariant vector bundles on $X$ with Nori's Tannakian approach to principal $G$--bundles, to give an equivalence of categories between $T$--equivariant principal $G$--bundles on $X$ and certain…
Toric orbifolds are a topological generalization of projective toric varieties associated to simplicial fans. We introduce some sufficient conditions on the combinatorial data associated to a toric orbifold to ensure the existence of an invariant cell structure on it and call such a toric orbifold retractable. In this paper, our main goal is to study equivariant cohomology theories of retractable toric orbifolds. Our results extend the corresponding results on divisive weighted projective spaces.