A toric code, introduced by Hansen to extend the Reed-Solomon code as a $k$-dimensional subspace of $\mathbb{F}_q^n$, is determined by a toric variety or its associated integral convex polytope $P \subseteq [0,q-2]^n$, where $k=|P \cap \mathbb{Z}^n|$ (the number of integer lattice points of $P$). There are two relevant parameters that determine the quality of a code: the information rate, which measures how much information is contained in a single bit of each codeword; and the relative minimum distance, which measures how many errors can be corrected relative to how many bits each codeword has. Soprunov and Soprunova defined a good infinite family of codes to be a sequence of codes of unbounded polytope dimension such that neither the corresponding information rates nor relative minimum distances go to 0 in the limit. We examine different ways of constructing families of codes by considering polytope operations such as the join and direct sum. In doing so, we give conditions under which no good family can exist and strong evidence that there is no such good family of codes.
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.
Using the notion of a valuation into the semifield of piecewise linear functions, we give a classification of torus equivariant flat families of finite type over a toric variety base, by certain piecewise linear maps between fans. As a consequence we derive a classification of toric vector bundles phrased in terms of tropicalized linear spaces. We use these tools to give a characterization of the Mori dream space property for a projectivized toric vector bundle.
We give a general criterion for two toric varieties to appear as fibers in a flat family over the projective line. We apply this to show that certain birational transformations mapping a Laurent polynomial to another Laurent polynomial correspond to deformations between the associated toric varieties.
Given the same anti-canonical linear system on two distinct toric varieties, we provide a derived equivalence between partial crepant resolutions of the corresponding stacky hypersurfaces. The applications include: a derived unification of toric mirror constructions, calculations of Picard lattices for linear systems of quartic surfaces, and a birational reduction of Reid's list to 81 families.
The Losev-Manin moduli space parametrizes pointed chains of projective lines. In this paper we study a possible generalization to families of pointed degenerate toric varieties. Geometric properties of these families, such as flatness and reducedness of the fibers, are explored via a combinatorial characterization. We show that such families are described by a specific type of polytope fibration which generalizes the twisted Cayley sums, originally introduced to characterize elementary extremal contractions of fiber type associated to projective $\mathbb{Q}$-factorial toric varieties with posi…
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.
This paper continues the study of two examples of extremal transitions between families of Calabi-Yau threefolds. In a previous paper we suggested that the "mirror transition" between mirror families predicted by Morrison could be achieved naturally by combining a toric morphism with the Batyrev-Borisov construction. This was carried out for a particular example of a conifold transition. In this paper we show that similar methods work for another extremal transition involving more complicated singularities. We also study how the resolution is related to geometry of the ambient toric varieties,…
The simplicial wedge construction on simplicial complexes and simple polytopes has been used by a variety of authors to study toric and related spaces, including non-singular toric varieties, toric manifolds, intersections of quadrics and more generally, polyhedral products. In this paper we extend the analysis to include toric orbifolds. Our main results yield infinite families of toric orbifolds, derived from a given one, whose integral cohomology is free of torsion and is concentrated in even degrees, a property which might be termed \emph{integrally equivariantly formal}. In all cases, it …
For affine toric varieties, the vector space T1 (containing the infinitesimal deformations) will be interpreted via Minkowski summands of cross cuts of the defining polyhedral cone. This result will be applied to study the deformation theory of (in particular non-isolated) three-dimensional Gorenstein singularities.
On everywhere locally soluble varieties in families over toric bases
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences（保加利亚科学院数学与信息学研究所）；Mathematisches Institut, Georg-August-Universität Göttingen（哥廷根大学数学研究所）
Batyrev (et. al.) constructed a family of Calabi-Yau varieties using small toric degenerations of the full flag variety G/B. They conjecture this family to be mirror to generic anti-canonical hypersurfaces in G/B. Recently Alexeev and Brion, as a part of their work on toric degenerations of spherical varieties, have constructed many degenerations of G/B. For any such degeneration we construct a family of varieties, which we prove coincides with Batyrev's in the small case. We prove that any two such families are birational, thus proving that mirror families are independent of the choice of deg…
We study families of chemical reaction networks whose positive steady states are toric, and therefore can be parameterized by monomials. Families are constructed algorithmically from a core network; we show that if a family member is multistationary, then so are all subsequent networks in the family. Further, we address the questions of model selection and experimental design for families by investigating the algebraic dependencies of the chemical concentrations using matroids. Given a family with toric steady states and a constant number of conservation relations, we construct a matroid that …
We provide a sufficient condition for a general hypersurface in a $\mathbb Q$-Fano toric variety to be a Calabi-Yau variety in terms of its Newton polytope. Moreover, we define a generalization of the Berglund-Hübsch-Krawitz construction in case the ambient is a $\mathbb Q$-Fano toric variety with torsion free class group and the defining polynomial is not necessarily of Delsarte type. Finally, we introduce a duality between families of Calabi-Yau hypersurfaces which includes both Batyrev and Berglund-Hübsch-Krawitz mirror constructions. This is given in terms of a polar duality between pairs …
A real algebraic variety is maximal (with respect to the Smith-Thom inequality) if the sum of the Betti numbers (with $\mathbb{Z}_2$ coefficients) of the real part of the variety is equal to the sum of Betti numbers of its complex part. We prove that there exist polytopes that are not Newton polytopes of any maximal hypersurface in the corresponding toric variety. On the other hand we show that for any polytope $Δ$ there are families of hypersurfaces with the Newton polytopes $(λΔ)_{λ\in \mathbb{N}}$ that are asymptotically maximal when $λ$ tends to infinity. We also show that these results ge…
A combinatorial construction is used to analyze the properties of polyhedral products and generalized moment-angle complexes with respect to certain operations on CW pairs including exponentiation. This allows for the construction of infinite families of toric manifolds, associated to a given one, in a way which simplifies the combinatorial input and consequently, the presentation of the cohomology rings. The new input is the interaction of a purely combinatorial construction with natural associated geometric constructions related to polyhedral products and toric manifolds. Applications of the…
Let X be a smooth complete toric variety. We describe the Altmann-Ilten-Vollmert equivariant deformations of toric varieties in the language of Cox rings. More precisely we construct one parameters families of deformations of X, such that the total space of the deformation is a T-variety of complexity one defined by a trinomial equation, and the deformation map is equivariant with respect to the torus action. Moreover we show that the images of all these families via the Kodaira-Spencer map form a basis of the vector space H1(X,T_X).
Let N_q(g) denote the maximal number of F_q-rational points on any curve of genus g over the finite field F_q. Ihara (for square q) and Serre (for general q) proved that limsup_{g-->infinity} N_q(g)/g > 0 for any fixed q. In their proofs they constructed curves with many points in infinitely many genera; however, their sequences of genera are somewhat sparse. In this paper, we prove that lim_{g-->infinity} N_q(g) = infinity. More precisely, we use abelian covers of P^1 to prove that liminf_{g-->infinity} N_q(g)/(g/log g) > 0, and we use curves on toric surfaces to prove that liminf_{g-->infty}…
The Nash problem on arc families is affirmatively answered for a toric variety by Ishii and Kollar's paper which also shows the negative answer for general case. The Nash problem is one of questions about the relation between arc families and valuations. In this paper, the relation is described clearly for a toric variety. The arc space of a toric variety admits an action of the group scheme determined by the torus. Each orbit on the arc space corresponds to a lattice point in the cone and therefore corresponds to a toric valuation. The dominant relation among the orbits is described in terms …
We consider examples of extremal transitions between families of Calabi-Yau complete intersection threefolds in toric varieties, which are induced by toric embeddings of one toric variety into the other. We show that the toric map induced by the linear dual of the embedding induces a birational morphism between the mirror Calabi-Yau families, and in one case show that it can be extended to the full mirror transition between mirror families. Note: this version uses a different approach to give a shorter proof of the same result. Also, Lemma 5.8 in the previous versions is definitely wrong.
We construct classes in the motivic cohomology of certain 1-parameter families of Calabi-Yau hypersurfaces in toric Fano n-folds, with applications to local mirror symmetry (growth of genus 0 instanton numbers) and inhomogeneous Picard-Fuchs equations. In the case where the family is classically modular the classes are related to Belinson's Eisenstein symbol; the Abel-Jacobi map (or rational regulator) is computed in this paper for both kinds of cycles. For the "modular toric" families where the cycles essentially coincide, we obtain a motivic (and computationally effective) explanation of a p…
Let X be an irreducible affine T-variety. We consider families of affine stable toric T-varieties over X and give a description of the corresponding moduli space as the quotient stack of an open subscheme in a certain toric Hilbert scheme under the action of a torus.
We prove that the mirror map is trivial for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author. In other words, the natural coordinate in a canonical Calabi-Yau family is a canonical coordinate in the sense of Hodge theory. This implies that the higher weight periods directly carry enumerative information with no further gauging necessary as opposed to the classical case. A side result is that the canonical formal families lift to analytic families. We compute the relevant period integrals explicitly. The cycles to integrate over are constructed fr…
Asymmetric quantum error-correcting codes are quantum codes defined over biased quantum channels: qubit-flip and phase-shift errors may have equal or different probabilities. The code construction is the Calderbank-Shor-Steane construction based on two linear codes. We present families of toric surfaces, toric codes and associated asymmetric quantum error-correcting codes.
We give a simple expression for the integral of the canonical holomorphic volume form in degenerating families of varieties constructed from wall structures and with central fiber a union of toric varieties. The cycles to integrate over are constructed from tropical 1-cycles in the intersection complex of the central fiber. One application is a proof that the mirror map for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author is trivial. We also show that these families are the completion of an analytic family, without reparametrization, and that the…
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.
We introduce toric arrangements, essentially finite families of codimension 1 subtori of a torus or of their cosets, as a periodic generalization of hyperplane arrangements, compute cohomology of the complement of such an arrangement and apply the theory to give a geometric interpretation of the formulas of Brion--Szenes--Vergne counting the number of integral points in polytopes.
We construct polyhedral families of valuations on the branching algebra of a morphism of reductive groups. This establishes a connection between the combinatorial rules for studying a branching problem and the tropical geometry of the branching algebra. In the special case when the branching problem comes from the inclusion of a Levi subgroup or a diagonal subgroup, we use the dual canonical basis of Lusztig and Kashiwara to build toric deformations of the branching algebra.
We find families of graphs $G$ and subgraphs $H$ of $G$ such that the number of edge colorings of $G$ avoiding a monochromatic coloring of $H$ is determined by lattice point counts or a Hodge structure on the cohomology of a certain toric variety. In general, this gives a class of ``anti-Ramsey theory problems'' with a geometric structure. For example, we find one for Ramsey numbers of classes of such graphs. The key observation is that our previous result expressing simplicial chromatic polynomials in terms of $h$-vectors of auxiliary simplicial complexes can be reinterpreted as one on edge c…
This paper shows the affirmative answer to the local Nash problem for a toric singularity and analytically pretoric singularity. As a corollary we obtain the affirmative answer to the local Nash problem for a quasi-ordinary singularity.
Four-dimensional CFTs dual to branes transverse to toric Calabi-Yau threefolds have been described by bipartite graphs on a torus (dimer models). We use the theory of dessins d'enfants to describe these in terms of triples of permutations which multiply to one. These permutations yield an elegant description of zig-zag paths, which have appeared in characterizing the toroidal dimers that lead to consistent SCFTs. The dessins are also related to Belyi pairs, consisting of a curve equipped with a map to P^1, branched over three points on the P^1. We construct explicit examples of Belyi pairs ass…
This article is dedicated to the study of singular codimension $1$ foliations $\mathcal{F}$ on a simplicial complete toric variety $X$ and their pullbacks by dominant rational maps $φ:\mathbb{P}^n\dashrightarrow X$. First, we describe the singularities of $\mathcal{F}$ and $φ^*\mathcal{F}$ for a generic pair $(φ,\mathcal{F})$. Then we show that the first order deformations of $φ^*\mathcal{F}$ arising from first order unfoldings are the families of the form $φ_\varepsilon^*\mathcal{F}$, where $φ_\varepsilon$ is a perturbation of $φ$. We also prove that the deformations of the form $φ^*\mathcal{…
We consider families ${\cal F}(Δ)$ consisting of complex $(n-1)$-dimensional projective algebraic compactifications of $Δ$-regular affine hypersurfaces $Z_f$ defined by Laurent polynomials $f$ with a fixed $n$-dimensional Newton polyhedron $Δ$ in $n$-dimensional algebraic torus ${\bf T} =({\bf C}^*)^n$. If the family ${\cal F}(Δ)$ defined by a Newton polyhedron $Δ$ consists of $(n-1)$-dimensional Calabi-Yau varieties, then the dual, or polar, polyhedron $Δ^*$ in the dual space defines another family ${\cal F}(Δ^*)$ of Calabi-Yau varieties, so that we obtain the remarkable duality between two {…
Let $V$ be the weighted projective variety defined by a weighted homogeneous ideal $J$ and $C$ a maximal cone in the Gröbner fan of $J$ with $m$ rays. We construct a flat family over $\mathbb A^m$ that assembles the Gröbner degenerations of $V$ associated with all faces of $C$. This is a multi-parameter generalization of the classical one-parameter Gröbner degeneration associated to a weight. We explain how our family can be constructed from Kaveh-Manon's recent work on the classification of toric flat families over toric varieties: it is the pull-back of a toric family defined by a Rees algeb…
The purpose of this note is to give a generalization of the statement that the anticanonical class of a (smooth) projective toric variety is the sum of invariant prime divisors, corresponding to the rays in its fan (or facets in its polytope), to some other classes of varieties with algebraic group actions. To this end, we suggest an analogue of the notion of anticanonical class (of a compact complex manifold) for linear families of convex polytopes. This is inspired by the Serre duality for smooth projective varieties as well as the Ehrhart-Macdonald reciprocity for rational polytopes. The ma…
We study families of polynomial dynamical systems inspired by biochemical reaction networks. We focus on complex balanced mass-action systems, which have also been called toric. They are known or conjectured to enjoy very strong dynamical properties, such as existence and uniqueness of positive steady states, local and global stability, persistence, and permanence. We consider the class of disguised toric dynamical systems, which contains toric dynamical systems, and to which all dynamical properties mentioned above extend naturally. By means of (real) algebraic geometry we show that some reac…
In this expository note, we review the standard formulation of mirror symmetry for Calabi-Yau hypersurfaces in toric varieties, and compare this construction to a description of mirror symmetry for K3 surfaces which relies on a sublattice of the Picard lattice. We then show how to combine information about the Picard group of a toric ambient space with data about automorphisms of the toric variety to identify families of K3 surfaces with high Picard rank.
We introduce and study a special class of Kato manifolds, which we call toric Kato manifolds. Their construction stems from toric geometry, as their universal covers are open subsets of toric algebraic varieties of non-finite type. This generalizes previous constructions of Tsuchihashi and Oda, and in complex dimension 2, retrieves the properly blown-up Inoue surfaces. We study the topological and analytical properties of toric Kato manifolds and link certain invariants to natural combinatorial data coming from the toric construction. Moreover, we produce families of flat degenerations of any …
Using toric geometry, lattice theory, and elliptic surface techniques, we compute the Picard Lattice of certain K3 surfaces. In particular, we examine the generic member of each of M. Reid's list of 95 families of Gorenstein K3 surfaces which occur as hypersurfaces in weighted projective 3-spaces. The results appear in a multipage table near the end of the paper. As an application, we are able to determine whether the mirror family (in the sense of mirror symmetry for K3 surfaces) for each one is also on Reid's list.
Let G be a finite subgroup of GL_n(C). A study is made of the ways in which resolutions of the quotient space C^n / G can parametrise G-constellations, that is, G-regular finite length sheaves. These generalise G-clusters, which are used in the McKay correspondence to construct resolutions of orbifold singularities. A complete classification theorem is achieved, in which all the natural families of G-constellations are shown to correspond to certain finite sets of G-Weil divisors, which are a special sort of rational Weil divisor, introduced in this paper. Moreover, it is shown that the number…
We provide an explicit resolution of the existence problem for extremal Kaehler metrics on toric 4-orbifolds M with second Betti number b2(M)=2. More precisely we show that M admits such a metric if and only if its rational Delzant polytope (which is a labelled quadrilateral) is K-polystable in the relative, toric sense (as studied by S. Donaldson, E. Legendre, G. Szekelyhidi et al.). Furthermore, in this case, the extremal Kaehler metric is ambitoric, i.e., compatible with a conformally equivalent, oppositely oriented toric Kaehler metric, which turns out to be extremal as well. These results…
The open string sector of the topological B-model model on CY $(m+2)$-folds is described by $m$-graded quivers with superpotentials. This correspondence extends to general $m$ the well known connection between CY $(m+2)$-folds and gauge theories on the worldvolume of D$(5-2m)$-branes for $m=0,\ldots, 3$. We introduce $m$-dimers, which fully encode the $m$-graded quivers and their superpotentials, in the case in which the CY $(m+2)$-folds are toric. Generalizing the well known $m=1,2$ cases, $m$-dimers significantly simplify the connection between geometry and $m$-graded quivers. A key result o…
Using an inclusion of one reflexive polytope into another is a well-known strategy for connecting the moduli spaces of two Calabi-Yau families. In this paper we look at the question of when an inclusion of reflexive polytopes determines a torically-defined extremal transition between smooth Calabi-Yau hypersurface families. We show this is always possible for reflexive polytopes in dimensions two and three. However, in dimension four and higher, obstructions can occur. This leads to a smooth projective family of Calabi-Yau threefolds that is birational to one of Batyrev's hypersurface families…
A curve on a projective variety is called movable if it belongs to an algebraic family of curves covering the variety. We consider when the cone of movable curves can be characterized without existence statements of covering families by studying the complete intersection cone on a family of blow-ups of complex projective space, including the moduli space of stable six-pointed rational curves, $\bar{M}_{0,6}$, and the permutohedral or Losev-Manin moduli space of four-pointed rational curves. Our main result is that the movable and complete intersection cones coincide for the toric members of th…
We present a Poisson formula for sparse resultants and a formula for the product of the roots of a family of Laurent polynomials, which are valid for arbitrary families of supports. To obtain these formulae, we show that the sparse resultant associated to a family of supports can be identified with the resultant of a suitable multiprojective toric cycle in the sense of Remond. This connection allows to study sparse resultants using multiprojective elimination theory and intersection theory of toric varieties.
