In this paper we give lower bounds for the minimum distance of evaluation codes constructed from complete intersections in toric varieties. This generalizes the results of Gold-Little-Schenck and Ballico-Fontanari who considered evaluation codes on complete intersections in the projective space.
In this paper we study duality for evaluation codes on intersections of d hypersurfaces with given d-dimensional Newton polytopes, so called toric complete intersection codes. In particular, we give a condition for such a code to be quasi-self-dual. In the case of d=2 it reduces to a combinatorial condition on the Newton polygons. This allows us to give an explicit construction of dual and quasi-self-dual toric complete intersection codes. We provide a list of examples over the field of 16 elements.
We apply ideas from intersection theory on toric varieties to tropical intersection theory. We introduce mixed Minkowski weights on toric varieties which interpolate between equivariant and ordinary Chow cohomology classes on complete toric varieties. These objects fit into the framework of tropical intersection theory developed by Allermann and Rau. Standard facts about intersection theory on toric varieties are applied to show that the definitions of tropical intersection product on tropical cycles in $\R^n$ given by Allermann-Rau and Mikhalkin are equivalent. We introduce an induced tropica…
We generalize the toric residue mirror conjecture of Batyrev and Materov to not necessarily reflexive polytopes. Using this generalization we prove the toric residue mirror conjecture for Calabi-Yau complete intersections in Gorenstein toric Fano varieties.
It is known that a maximal intersection log canonical Calabi-Yau surface pair is crepant birational to a toric pair. This does not hold in higher dimension: this paper presents some examples of maximal intersection Calabi-Yau pairs that admit no toric model.
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 prove that a smooth well formed Picard rank one Fano complete intersection of dimension at least 2 in a toric variety is a weighted complete intersection.
We present a construction of noncommutative double mirrors to complete intersections in toric varieties. This construction unifies existing sporadic examples and explains the underlying combinatorial and physical reasons for their existence.
We discuss conditions for complete intersections in a toric variety which allow to compute Hodge numbers if the complete intersection is a quasi-smooth complete variety. A preliminary step is the computation of the Euler characteristic of differential forms, we also look at symmetric or arbitrary forms instead of the usual alternating ones.
Toric Landau--Ginzburg models of Givental's type for Fano complete intersections are known to have Calabi--Yau compactifications. We give an alternative proof of this fact. As an output of our proof we get a description of fibers over infinity for compactified toric Landau--Ginzburg models.
We identify a class of autoequivalences of triangulated categories of singularities associated with Calabi-Yau complete intersections in toric varieties. Elements of this class satisfy relations that are directly linked to the toric data.
We prove the Integral Hodge Conjecture for curve classes on smooth varieties of dimension at least three with nef anticanonical divisor constructed as a complete intersection of ample hypersurfaces in a smooth toric variety. In particular, this includes the case of smooth anticanonical hypersurfaces in toric Fano varieties. In fact, using results of Casagrande and the toric MMP, we prove that in each case, $H_2(X,\mathbb{Z})$ is generated by classes of rational curves.
We prove a generalized mirror conjecture for non-negative complete intersections in symplectic toric manifolds. Namely, we express solutions of the PDE system describing quantum cohomology of such a manifold in terms of suitable hypergeometric functions. Revision 03.03.97: we correct an error in Introduction.
Using Cayley trick, we define the notions of mixed toric residues and mixed Hessians associated with $r$ Laurent polynomials $f_1,...,f_r$.We conjecture that the values of mixed toric residues on the mixed Hessians are determined by mixed volumes of the Newton polytopes of $f_1,...,f_r$. Using mixed toric residues, we generalize our Toric Residue Mirror Conjecture to the case of Calabi-Yau complete intersections in Gorenstein toric Fano varieties obtained from nef-partitions of reflexive polytopes.
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.
We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge Conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in [3]. We also show that the Hodge Conjecture holds asymptotica…
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 characterize the graphs $G$ for which their toric ideals $I_G$ are complete intersections. In particular we prove that for a connected graph $G$ such that $I_G$ is complete intersection all of its blocks are bipartite except of at most two. We prove that toric ideals of graphs which are complete intersections are circuit ideals. The generators of the toric ideal correspond to even cycles of $G$ except of at most one generator, which corresponds to two edge disjoint odd cycles joint at a vertex or with a path. We prove that the blocks of the graph satisfy the odd cycle condition. Finally we …
We propose a combinatorical duality for lattice polyhedra which conjecturally gives rise to the pairs of mirror symmetric families of Calabi-Yau complete intersections in toric Fano varieties with Gorenstein singularities. Our construction is a generalization of the polar duality proposed by Batyrev for the case of hypersurfaces.
A theory for constructing quantum error correcting codes from Toric surfaces by the Calderbank-Shor-Steane method is presented. In particular we study the method on toric Hirzebruch surfaces. The results are obtained by constructing a dualizing differential form for the toric surface and by using the cohomology and the intersection theory of toric varieties. In earlier work the author developed methods to construct linear error correcting codes from toric varieties and derive the code parameters using the cohomology and the intersection theory on toric varieties. This method is generalized in …
This paper addresses the problem of constructing a cycle-level intersection theory for toric varieties. We show that by making one global choice, we can determine a cycle representative for the intersection of an equivariant Cartier divisor with an invariant cycle on a toric variety. For a toric variety defined by a fan in N, the choice consists of giving an inner product or a complete flag for M_Q=Hom(N,Q), or more generally giving for each cone sigma in the fan a linear subspace of M_Q complementary to the subspace of M_Q perpendicular to sigma, satisfying certain compatibility conditions. W…
We give a complete description of the cohomology ring $A^*(\overline Z)$ of a compactification of a linear subvariety $Z$ of a torus in a smooth toric variety whose fan $Σ$ is supported on the tropicalization of $Z$. It turns out that cocycles on $\overline Z$ canonically correspond to Minkowski weights on $Σ$ and that the cup product is described by the intersection product on the tropical matroid variety $\operatorname{Trop}(Z)$.
In this article, we summarize combinatorial description of complete intersection Calabi-Yau threefolds in Hibi toric varieties. Such Calabi-Yau threefolds have at worst conifold singularities, and are often smoothable to non-singular Calabi-Yau threefolds. We focus on such non-singular Calabi-Yau threefolds of Picard number one, and illustrate the calculation of topological invariants, using new motivating examples.
In this paper we give a geometric characterization of the cones of toric varieties that are complete intersections. In particular, we prove that the class of complete intersection cones is the smallest class of cones which is closed under direct sum and contains all simplex cones. Further, we show that the number of the extreme rays of such a cone, which is less than or equal to $2n-2$, is exactly $2n-2$ if and only if the cone is a bipyramidal cone, where $n>1$ is the dimension of the cone. Finally, we characterize all toric varieties whose associated cones are complete intersection cones.
This note proves combinatorially that the intersection pairing on the middle dimensional compactly supported cohomology of a smooth toric hyperkaehler variety is always definite, providing a large number of non-trivial L^2 harmonic forms for toric hyperkaehler metrics on these varieties. This is motivated by a result of Hitchin about the definiteness of the pairing of L^2 harmonic forms on complete hyperkaehler manifolds of linear growth.
We prove that the intersection homology Poincare' polynomial P(X) of an affine toric variety X is bounded below by the product P(Y)P(X/Y), where Y is the closure of any orbit in X and X/Y is a slice transverse to the orbit. This proves a combinatorial conjecture of Kalai for rational polytopes.
We present examples which show that in dimension higher than one or codimension higher than two, there exist toric ideals I_A such that no binomial ideal contained in I_A and of the same dimension is a complete intersection. This result has important implications in sparse elimination theory and in the study of the Horn system of partial differential equations.
We introduce the notion of cracked polytope, and - making use of joint work with Coates and Kasprzyk - construct the associated toric variety $X$ as a subvariety of a non-singular toric variety $Y$ under certain conditions. Restricting to the case in which this subvariety is a complete intersection, we present a sufficient condition for a smoothing of $X$ to exist inside $Y$. We exhibit a relative anti-canonical divisor for this smoothing of $X$, and show that the general member is simple normal crossings.
We introduce toric $b$-divisors on complete smooth toric varieties and a notion of integrability of such divisors. We show that under some positivity assumptions toric $b$-divisors are integrable and that their degree is given as the volume of a convex set. Moreover, we show that the dimension of the space of global sections of a nef toric $b$-divisor is equal to the number of lattice points in this convex set and we give a Hilbert--Samuel type formula for its asymptotic growth. This generalizes classical results for classical toric divisors on toric varieties. Finally, we relate convex bodies…
Let $X$ be a complete $n$-dimensional simplicial toric variety with homogeneous coordinate ring $S$. We study the multigraded Hilbert function $H_Y$ of reduced $0$-dimensional subschemes $Y$ in $X$. We provide explicit formulas and prove non-decreasing and stabilization properties of $H_Y$ when $Y$ is a $0$-dimensional complete intersection in $X$. We apply our results to computing the dimension of some evaluation codes on $0$-dimensional complete intersection in simplicial toric varieties.
Let X and Y be K-equivalent toric Deligne-Mumford stacks related by a single toric wall-crossing. We prove the Crepant Transformation Conjecture in this case, fully-equivariantly and in genus zero. That is, we show that the equivariant quantum connections for X and Y become gauge-equivalent after analytic continuation in quantum parameters. Furthermore we identify the gauge transformation involved, which can be thought of as a linear symplectomorphism between the Givental spaces for X and Y, with a Fourier-Mukai transformation between the K-groups of X and Y, via an equivariant version of the …
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…
We study Fano schemes $F_k(X)$ for complete intersections $X$ in a projective toric variety $Y\subset \mathbb{P}^n$. Our strategy is to decompose $F_k(X)$ into closed subschemes based on the irreducible decomposition of $F_k(Y)$ as studied by Ilten and Zotine. We define the expected dimension for these subschemes, which always gives a lower bound on the actual dimension. Under additional assumptions, we show that these subschemes are non-empty and smooth of the expected dimension. Using tools from intersection theory, we can apply these results to count the number of linear subspaces in $X$ wh…
In \cite{botero}, a top intersection product of toric b-divisors on a smooth complete toric variety is defined. It is shown that a nef toric b-divisor corresponds to a convex set and that its top intersection number equals the volume of this convex set. The goal of this article is to extend this result and define an intersection product of sufficiently positive toric b-classes of arbitrary codimension. For this, we extend the polytope algebra of McMullen (\cite{McM1}, \cite{McM2}, \cite{McM3}) to the so called \emph{convex-set algebra} and we show that it embeds in the toric b-Chow group. In t…
Given a Tyurin degeneration of a Calabi-Yau complete intersection in a toric variety, we prove gluing formulas relating the generalized functional invariants, periods, and $I$-functions of the mirror Calabi-Yau family and those of the two mirror Landau-Ginzburg models. Our proof makes explicit the "gluing/splitting" of fibrations in the Doran-Harder-Thompson mirror conjecture. Our gluing formula implies an identity, obtained by composition with their respective mirror maps, that relates the absolute Gromov-Witten invariants for the Calabi-Yaus and relative Gromov-Witten invariants for the quas…
Given a set $\mathcal A = \{a_1,\ldots,a_n\} \subset \mathbb{N}^m$ of nonzero vectors defining a simplicial toric ideal $I_{\mathcal A} \subset k[x_1,...,x_n]$, where $k$ is an arbitrary field, we provide an algorithm for checking whether $I_{\mathcal A}$ is a complete intersection. This algorithm does not require the explicit computation of a minimal set of generators of $I_{\mathcal A}$. The algorithm is based on the application of some new results concerning toric ideals to the simplicial case. For homogenous simplicial toric ideals, we provide a simpler version of this algorithm. Moreover,…
We prove the structure theorem of the intersection complexes of toric varieties in the category of mixed Hodge modules. This theorem is due to Bernstein, Khovanskii and MacPherson for the underlying complexes with rational coefficients. As a corollary the Euler characteristic Hodge numbers of non-degenerate toric hypersurface can be determined by the Euler characteristic subtotal Hodge numbers together with combinatorial data of Newton polyhedra. This is used implicitly in an explicit formula by Batyrev--Borisov. Note that a formula for the Euler characteristic subtotal Hodge numbers in terms …
We use Batyrev-Borisov's formula for the generating function of stringy Hodge numbers of Calabi-Yau varieties realized as complete intersections in toric varieties in order to get closed form expressions for Hodge numbers of Calabi-Yau threefolds in five-dimensional ambient spaces. These expressions involve counts of lattice points on faces of associated Cayley polytopes. Using the same techniques, similar expressions may be obtained for higher dimensional varieties realized as complete intersections of two hypersurfaces.
Given any polynomial system with fixed monomial term structure, we give explicit formulae for the generic number of roots with specified coordinate vanishing restrictions. For the case of affine space minus an arbitrary union of coordinate hyperplanes, these formulae are also the tightest possible upper bounds on the number of isolated roots. We also characterize, in terms of sparse resultants, precisely when these upper bounds are attained. Finally, we reformulate and extend some of the prior combinatorial results of the author on which subsets of coefficients must be chosen generically for o…
The operational Chow cohomology classes of a complete toric variety are identified with certain functions, called Minkowski weights, on the corresponding fan. The natural product of Chow cohomology classes makes the Minkowski weights into a commutative ring; the product is computed by a displacement in the lattice, which corresponds to a deformation in the toric variety. We show that, with rational coefficients, this ring embeds in McMullen's polytope algebra, and that the polytope algebra is the direct limit of these Chow rings, over all compactifications of a given torus. In the nonsingular …
We show that the standard generating functions for genus 0 two-point twisted Gromov-Witten invariants arising from concavex vector bundles over symplectic toric manifolds are explicit transforms of the corresponding one-point generating functions. The latter are, in turn, transforms of Givental's J-function. We obtain closed formulas for them and, in particular, for two-point Gromov-Witten invariants of non-negative toric complete intersections. Such two-point formulas should play a key role in the computation of genus 1 Gromov-Witten invariants (closed, open, and unoriented) of toric complete…
In this paper, we extend our geometrical derivation of expansion coefficients of mirror maps by localization computation to the case of toric manifolds with two Kähler forms. Especially, we take Hirzebruch surfaces F_{0}, F_{3} and Calabi-Yau hypersurface in weighted projective space P(1,1,2,2,2) as examples. We expect that our results can be easily generalized to arbitrary toric manifold.