Framed duality and mirror symmetry for toric complete intersections
Michele Rossi
备注：
v4: Abstract and Introduction modified and some other minor modifications, according with the Referee's report. Final version to be published in the Journal of Geometry and Physics; 57 pages
发表信息：
Journal of Geometry and Physics, Volume 188 (2023)
This paper is devoted to systematically extend $f$-mirror symmetry between families of hypersurfaces in complete toric varieties, as introduced in \cite{R-fTV}, to families of complete intersections subvarieties. Namely, $f$-mirror symmetry is induced by framed duality of framed toric varieties extending Batyrev-Borisov polar duality between Fano toric varieties. Framed duality has been defined and essentially well described for families of hypersurfaces in toric varieties in the previous \cite{R-fTV}. Here it is developed for families of complete intersections, allowing us to strengthening some previous results on hypersurfaces. In particular, the class of projective complete intersections and their mirror partners are studied in detail. Moreover, a (generalized) Landau-Ginzburg/Complete-Intersection correspondence is discussed, extending to the complete intersection setup the LG/CY correspondence firstly studied Chiodo-Ruan and Krawitz.
We consider for structure groups ${\rm SU}(n)\,\subset\, {\rm SL}(n,\mathbb C)$ a densely defined toric structure on the moduli of framed parabolic sheaves on a three-punctured sphere, which degenerates to an actual toric structure. In combination with previous degeneration results, these extend to similar moduli for arbitrary Riemann surfaces.
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.
We introduce a new version of 3d mirror symmetry for toric stacks, inspired by a 3d $\mathcal{N} = 2$ abelian mirror symmetry construction in physics. Given some toric data, we introduce the $K$-theoretic $I$-function with effective level structure for the associated toric stack. When a particular stability condition is chosen, it restricts to the $I$-function for the particular toric GIT quotient. The mirror of a toric stack is defined by the Gale dual of the original toric data. We then proved the mirror conjecture that the $I$-functions of a mirror pair coincide, under the mirror map, which…
We give a precise relation between the mirror transformation and the Seidel elements for weak Fano toric Deligne-Mumford stacks. Our result generalizes the corresponding result for toric varieties proved by González and Iritani in \cite{GI}.
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 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 construct a compactification of the moduli of toric pairs by using ideas from mirror symmetry. The secondary fan $Σ(Q)$ is used in [Ale02] to parametrize degenerations of toric pairs. It is also used in [CLS11] to control the variation of GIT. We verify the prediction of mirror symmetry that $Σ(Q)$ for the moduli of toric pairs is equal to the Mori fan of the relative minimal models of the mirror family. As a result, we give an explicit construction of the compactification $\mathscr{T}_Q$ of the moduli of toric pairs which is the normalization of the compactification in [Ale02] and [Ols08].
We use the mirror theorem for toric Deligne-Mumford stacks, proved recently by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a mirror theorem for a class of complete intersections in toric Deligne-Mumford stacks, and use this to compute genus-zero Gromov-Witten invariants of an orbifold hypersurface.
The Remodeling Conjecture proposed by Bouchard-Klemm-Marino-Pasquetti [arXiv:0709.1453, arXiv:0807.0597] relates all genus open and closed Gromov-Witten invariants of a semi-projective toric Calabi-Yau 3-manifolds/3-orbifolds to the Eynard-Orantin invariants of the mirror curve of the toric Calabi-Yau 3-fold. In this paper, we present a proof of the Remodeling Conjecture for open-closed orbifold Gromov-Witten invariants of an arbitrary affine toric Calabi-Yau 3-orbifold relative to a framed Aganagic-Vafa Lagrangian brane. This can be viewed as an all genus open-closed mirror symmetry for affin…
We study aspects related to Kontsevich's homological mirror symmetry conjecture in the case of Calabi-Yau complete intersections in toric varieties. In a 1996 lecture at Rutgers University, Kontsevich indicated how his proposal implies that the groups of automorphisms of the two types of categories involved in the homological mirror symmetry conjecture should also be identified. Our main results provide an explicit geometric construction of the correspondence between the automorphisms of the two types of categories.
We prove a Givental-style mirror theorem for toric Deligne--Mumford stacks X. This determines the genus-zero Gromov--Witten invariants of X in terms of an explicit hypergeometric function, called the I-function, that takes values in the Chen--Ruan orbifold cohomology of X.
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,…
We state two conjectures that together allow one to describe the set of smoothing components of a Gorenstein toric affine 3-fold in terms of a combinatorially defined and easily studied set of Laurent polynomials called 0-mutable polynomials. We explain the origin of the conjectures in mirror symmetry and present some of the evidence.
In this paper we show that the moduli space of framed torsion-free sheaves on a certain class of toric surfaces admits a filtrable Bialynicki-Birula decomposition determined by the torus action. The irreducibility of this moduli space follows immediately as a corollary. Moreover, using its filtrable decomposition we show that the moduli space shares the same homotopy type of an invariant proper compact subvariety having the same fixed points set. We start our study from the moduli space of framed torsion-free sheaves on the projective plane. Afterwards, we generalize the results to toric surfa…
Let $X$ be a toric Del-Pezzo surface and let $Crit(W) \subset (\mathbb{C}^{\ast})^n$ be the solution scheme of the Landau-Ginzburg system of equations. Denote by $X^{\circ}$ the polar variety of $X$. Our aim in this work is to describe a map $L : Crit(W) \rightarrow Fuk_{trop}(X^{\circ})$ whose image under homological mirror symmetry corresponds to a full strongly exceptional collection of line bundles.
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 present here the K-theoretic version of mirror models of toric manifold. First, we recall the construction of cohomological mirrors for toric manifolds, i.e. representations of the toric hypergeometric functions from quantum cohomology theory by complex oscillating integrals. Then we repeat the construction in the K-theoretic situation, and obtain complex oscillating integrals representing q-hypergeometric functions from quantum K-theory of toric manifolds, bundles, and super-bundles. Finally, we examine the Lagrangian varieties parameterized by critical points of the phase functions of the…
The most fundamental example of mirror symmetry compares the Fermat hypersurfaces in P^n and P^n/G, where G is a finite group that acts on P^n and preserves the Fermat hypersurface. We generalise this to hypersurfaces in Grassmannians, where the picture is richer and more complex. There is a finite group G that acts on the Grassmannian Gr(n,r) and preserves an appropriate Calabi-Yau hypersurface. We establish how mirror symmetry, toric degenerations, blow-ups and variation of GIT relate the Calabi-Yau hypersurfaces inside Gr(n,r) and Gr(n,r)/G. This allows us to describe a compactification of …
In this paper we propose and discuss a mirror construction for complete intersections in partial flag manifolds $F(n_1, ..., n_l, n)$. This construction includes our previous mirror construction for complete intersection in Grassmannians and the mirror construction of Givental for complete flag manifolds. The key idea of our construction is a degeneration of $F(n_1, ..., n_l, n)$ to a certain Gorenstein toric Fano variety $P(n_1, ..., n_l, n)$ which has been investigated by Gonciulea and Lakshmibai. We describe a natural small crepant desingularization of $P(n_1, ..., n_l, n)$ and prove a gene…
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 study integral dlt models of a proper C((t))-variety X along a toric stratum of the special fiber. We prove that the associated Berkovich retraction - from the non-archimedean analytification of X onto the dual complex of the model - is an affinoid torus fibration around the simplex corresponding to the toric stratum, which extends results from Nicaise-Xu-Yu. This allows us to construct new types of non-archimedean retractions for maximally degenerate families of quartic K3 surfaces and quintic 3-folds, by gluing several non-archimedean SYZ fibrations, each one toric along a codimension one…
The Remodeling Conjecture proposed by Bouchard-Klemm-Mariño-Pasquetti (BKMP) relates the A-model open and closed topological string amplitudes (open and closed Gromov-Witten invariants) of a symplectic toric Calabi-Yau 3-fold to Eynard-Orantin invariants of its mirror curve. The Remodeling Conjecture can be viewed as a version of all genus open-closed mirror symmetry. The SYZ conjecture explains mirror symmetry as $T$-duality. After a brief review on SYZ mirror symmetry and mirrors of symplectic toric Calabi-Yau 3-orbifolds, we give a non-technical exposition of our results on the Remodeling C…
In the paper "Birational geometry via moduli spaces" by I. Cheltsov, L. Katzarkov, and V. Przyjalkowski a new structure connecting toric degenerations of smooth Fano threefolds by projections was introduced; using Mirror Symmetry these connections were transferred to the side of Landau--Ginzburg models. In the paper mentioned above a nice way to connect of Picard rank one Fano threefolds was found. We apply this approach to all smooth Fano threefolds, connecting their degenerations by toric basic links. In particular, we find a lot of Gorenstein toric degenerations of smooth Fano threefolds we…
We derive the combinatorial representations of Picard group and deformation space of anti-canonical hypersurfaces of a toric variety using techniques in toric geometry. The mirror cohomology correspondence in the context of mirror symmetry is established for a pair of Calabi-Yau (CY) ${\sf n}$-spaces in toric varieties defined by reflexive polytopes for an arbitrary dimension ${\sf n}$. We further identify the Kahler cone of the toric variety and degeneration cone of CY hypersurfaces, by which the Kahler cone and degeneration cone for a mirror CY pair are interchangeable under mirror symmetry.…
We show that the mirror constructions of Greene-Plesser, Berglund-Hubsch, Batryev-Borsov, Givental and Hori-Vafa can be expressed in terms of what we call dual fans. To do this, we associate to a pair of dual fans a pair of toric Landau-Ginzburg models, and we describe a process by which each of the mirror constructions listed also produces a pair of toric Landau-Ginzburg models. Replacing mirror pairs by toric Landau-Ginzburg models is reversible, and our main result is the dual fan models and the mirror pairs models coincide.
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…
Hille and Perling associate to every cyclic full strongly exceptional sequence of line bundles on a toric weak Fano surface a toric system, which defines a new toric surface. In this note we interprete this construction as an instance of mirror symmetry and extend it to a duality on the set toric weak Fano surfaces equiped with a cyclic full strongly exceptional sequence.
We prove the homological mirror conjecture for toric del Pezzo surfaces. In this case, the mirror object is a regular function on an algebraic torus. We show that the derived Fukaya category of this mirror coincides with the derived category of coherent sheaves on the original manifold.
This paper explores homological mirror symmetry for weighted blowups of toric varieties. It will be shown that both the A-model and B-model categories have natural semiorthogonal decompositions. An explicit equivalence of the right orthogonal categories will be shown for the case of toric surfaces.
The Cox construction presents a toric variety as a quotient of affine space by a torus. The category of coherent sheaves on the corresponding stack thus has an evident description as invariants in a quotient of the category of modules over a polynomial ring. Here we give the mirror to this description, and in particular, a clean new proof of mirror symmetry for smooth toric stacks.
We give a new proof of Givental's mirror theorem for toric manifolds using shift operators of equivariant parameters. The proof is almost tautological: it gives an A-model construction of the I-function and the mirror map. It also works for non-compact or non-semipositive toric manifolds.
We use toric geometry to study open string mirror symmetry on compact Calabi-Yau manifolds. For a mirror pair of toric branes on a mirror pair of toric hypersurfaces we derive a canonical hypergeometric system of differential equations, whose solutions determine the open/closed string mirror maps and the partition functions for spheres and discs. We define a linear sigma model for the brane geometry and describe a correspondence between dual toric polyhedra and toric brane geometries. The method is applied to study examples with obstructed and classically unobstructed brane moduli at various p…
We provide an enumerative meaning of the mirror maps for toric Calabi-Yau orbifolds in terms of relative Gromov-Witten invariants of the toric compactifications. As a consequence, we obtain an equality between relative Gromov-Witten invariants and open Gromov-Witten invariants. Therefore, the instanton corrected mirrors for toric Calabi-Yau orbifolds can be constructed using relative Gromov-Witten invariants.
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.
In the case of toric varieties, we continue the pursuit of Kontsevich's fundamental insight, Homological Mirror Symmetry, by unifying it with the Mori program. We give a refined conjectural version of Homological Mirror Symmetry relating semi-orthogonal decompositions of the $B$-model on toric varieties to semi-orthogonal decompositions on the $A$-model on the mirror Landau-Ginzburg models. As evidence, we prove a new case of Homological Mirror Symmetry for a toric surface whose anticanonical bundle is not nef, namely a certain blow-up of $¶^2$ at three infinitesimally near points.
We study homological mirror symmetry for toric varieties, exploring the relationship between various Fukaya-Seidel categories which have been employed for constructing the mirror to a toric variety. In particular, we realize tropical Lagrangian sections as objects of a partially wrapped category and construct a Lagrangian correspondence mirror to the inclusion of a toric divisor. As a corollary, we prove that tropical sections generate the Fukaya-Seidel category, completing a Floer-theoretic proof of homological mirror symmetry for projective toric varieties. In the course of the proof, we dev…
Mirror Symmetry for Calabi-Yau hypersurfaces in toric varieties is by now well established. However, previous approaches to it did not uncover the underlying reason for mirror varieties to be mirror. We are able to calculate explicitly vertex algebras that correspond to holomorphic parts of A and B models of Calabi-Yau hypersurfaces and complete intersections in toric varieties. We establish the relation between these vertex algebras for mirror Calabi-Yau manifolds. This should eventually allow us to rewrite the whole story of toric Mirror Symmetry in the language of sheaves of vertex algebras…
We construct and apply Strominger-Yau-Zaslow mirror transformations to understand the geometry of the mirror symmetry between toric Fano manifolds and Landau-Ginzburg models.
This is an outline of work in progress concerning an algebro-geometric form of the Strominger-Yau-Zaslow conjecture. We introduce a limited type of degeneration of Calabi-Yau manifolds, which we call toric degenerations. For these, the degenerate fibre is a union of toric varieties meeting along toric strata. In addition, the total space must look locally toric outside of some singular set. This is a generalisation of both Mumford-type degenerations of abelian varieties and degenerations of Calabi-Yau hypersurfacesin toric varieties. From such a degeneration, we construct a dual intersection g…
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 develop some ideas of Morrison and Plesser and formulate a precise mathematical conjecture which has close relations to toric mirror symmetry. Our conjecture, we call it Toric Residue Mirror Conjecture, claims that the generating functions of intersection numbers of divisors on a special sequence of simplicial toric varieties are power series expansions of some rational functions obtained as toric residues. We expect that this conjecture holds true for all Gorenstein toric Fano varieties associated with reflexive polytopes and give some evidences for that. The proposed conjecture suggests a…
We establish a conjecture of Gukov and Sułkowski in the following three cases: Lambert curve for Hurwitz numbers, framed mirror curve of ${\mathbb C}^3$, and the framed mirror curve of the resolved conifold.
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 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.
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.
Using the mirror theorem [CCIT15], we give a Landau-Ginzburg mirror description for the big equivariant quantum cohomology of toric Deligne-Mumford stacks. More precisely, we prove that the big equivariant quantum D-module of a toric Deligne-Mumford stack is isomorphic to the Saito structure associated to the mirror Landau-Ginzburg potential. We give a GKZ-style presentation of the quantum D-module, and a combinatorial description of quantum cohomology as a quantum Stanley-Reisner ring. We establish the convergence of the mirror isomorphism and of quantum cohomology in the big and equivariant …
We prove that for a compact toric manifold whose anti-canonical divisor is numerically effective, the Lagrangian Floer superpotential defined by Fukaya-Oh-Ohto-Ono is equal to the superpotential written down by using the toric mirror map under a convergence assumption. This gives a method to compute open Gromov-Witten invariants using mirror symmetry.
Mirror symmetry for a toric variety involves Laurent polynomials whose symplectic topology is related to the algebraic geometry of the toric variety. We show that there is a monodromy action on the monomially admissible Fukaya-Seidel categories of these Laurent polynomials as the arguments of their coefficients vary that corresponds under homological mirror symmetry to tensoring by a line bundle naturally associated to the monomials whose coefficients are rotated. In the process, we introduce the monomially admissible Fukaya-Seidel category as a new interpretation of the Fukaya-Seidel category…
We say a mirror pair of Calabi-Yau varieties exhibits strong arithmetic mirror symmetry if the number of points on each variety over a finite field is equivalent, modulo the order of that field. We search for strong mirror symmetry in pencils of toric hypersurfaces generated using polar dual pairs of reflexive polytopes. We characterize the pencils of elliptic curves where strong arithmetic mirror symmetry arises, and provide experimental evidence that the phenomenon generalizes to higher dimensions. We also provide experimental evidence that pencils of K3 surfaces with the same Picard-Fuchs e…
We prove that the mirror map is the SYZ map for every toric Calabi-Yau surface. As a consequence one obtains an enumerative meaning of the mirror map. This involves computing genus-zero open Gromov-Witten invariants, which is done by relating them with closed Gromov-Witten invariants via compactification and using an earlier computation by Bryan-Leung.
Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties.
