Let $X\subset Y$ be smooth, projective manifolds. Assume that $X$ is the zero locus of a generic section of a direct sum $V+$ of positive line bundles on $\PP^n$. Furthermore assume that the normal bundle $N_{X/Y}$ is a direct sum $V-$ of negative line bundles. We show that a $V:=V+\oplus V-$-twisted Gromov-Witten theory of $\PP^n$ restricts to the Gromov-Witten theory of $X$ inherited form $Y$. The later one can be computed via a Mirror Theorem which we prove in this paper.
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…
We propose and study the following Mirror Principle: certain sequences of multiplicative equivariant characteristic classes on Kontsevich's stable map moduli spaces can be computed in terms of certain hypergeometric type classes. As applications, we compute the equivariant Euler classes of obstruction bundles induced by any concavex bundles -- including any direct sum of line bundles -- on $¶^n$. This includes proving the formula of Candelas-de la Ossa-Green-Parkes hence completing the program of Candelas et al, Kontesevich, Manin, and Givental, to compute rigorously the instanton prepotential…
We prove that Hori--Vafa mirror models for smooth Fano complete intersections in weighted projective spaces admit an interpretation as Laurent polynomials.
In this paper, we discuss classical derivation of the residue integral representation of the d=1 rational Gromov-Witten invariants of projective hypersurfaces that followed from localization technique.
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…
This is a survey article on mirror symmetry and Fourier-Mukai partners of Calabi-Yau threefolds with Picard number one based on recent works by the authors [HoTa1,2,3,4]. For completeness, mirror symmetry and Fourier-Mukai partners of K3 surfaces are also discussed.
We show that the orbifold Chow ring of a root stack over a well-formed weighted projective space can be naturally seen as the Jacobian algebra of a function on a singular variety given by a partial compactification of its Ginzburg-Landau model.
We study the equivariantly perturbed mirror Landau-Ginzburg model of the projective line. We show that the Eynard-Orantin recursion on this model encodes all genus all descendants equivariant Gromov-Witten invariants of the projective line. The non-equivariant limit of this result is the Norbury-Scott conjecture, while by taking large radius limit we recover the Bouchard-Marino conjecture on simple Hurwitz numbers.
We propose, motivate and give evidence for a relation between the $\mathcal D$-modules of the quantum cohomology of a smooth complex projective manifold $X$ and a projective bundle $\PP(\oplus L_i)$ over $X$.
Studying the mirror symmetry of a Calabi-Yau threefold $X$ of the Reye congruence in $\mP^4$, we conjecture that $X$ has a non-trivial Fourier-Mukai partner $Y$. We construct $Y$ as the double cover of a determinantal quintic in $\mP^4$ branched over a curve. We also calculate BPS numbers of both $X$ and $Y$ (and also a related Calabi-Yau complete intersection $\tilde X_0$) using mirror symmetry.
In an earlier paper we conjectured a relation between the quantum $\mathcal D$-modules of a smooth variety $X$ and the projectivisation of a direct sum of line bundles over it. In this paper we prove the conjecture when $X$ is a complete intersection in a toric variety. We also use the conjecture to show that the relations of the small quantum cohomology ring of $X$ that come from differential operators lift to the projective bundle. The basic cohomology relation of the projective bundle deforms to a relation in the small quantum cohomology.
We first describe a canonical mirror partner (B-model) of the small quantum orbifold cohomology of weighted projective spaces (A-model) in the framework of differential equations: we attach to the A-model (resp. B-model) a D-module on the torus and we show that these two D-modules are isomorphic. This makes the A and B-models mirror partners and yields, in this situation, an explicit and finer version of a recent result of Iritani. Then we study, using the theory of the Kashiwara-Malgrange filtration, their degenerations at the origin and we apply our results to the construction of (classical,…
We generalize our theorems in "Mirror Principle I" to a class of balloon manifolds. Many of the results are proved for convex projective manifolds. In a subsequent paper, Mirror Principle III, we will extend the results to projective manifolds without the convexity assumption.
We introduce the notion of a tropical coamoeba which gives a combinatorial description of the Fukaya category of the mirror of a toric Fano stack. We show that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra gives a tropical coamoeba for the mirror of the projective space, and prove a torus-equivariant version of homological mirror symmetry for the projective space. As a corollary, we obtain homological mirror symmetry for toric orbifolds of the projective space.
We consider a class of Calabi-Yau compactifications which are constructed as a complete intersection in weighted projective space. For manifolds with one Kähler modulus we construct the mirror manifolds and calculate the instanton sum.
We study Mirror Symmetry of log Calabi-Yau surfaces. On one hand, we consider the number of ``affine lines'' of each degree in the complement of a smooth cubic in the projective plane. On the other hand, we consider coefficients of a certain expansion of a function obtained from the integrals of dxdy/xy over 2-chains whose boundaries lie on B_ϕwhere {B_ϕ} is a family of smooth cubics. Then, for small degrees, they coincide. We discuss the relation between this phenomenon and local mirror symmetry for projective plane in a Calabi-Yau 3-fold by Chiang-Klemm-Yau-Zaslow.
In this paper, we establish equivariant mirror symmetry for the weighted projective line. This extends the results by B. Fang, C.C. Liu and Z. Zong, where the projective line was considered [{\it Geometry \& Topology} 24:2049-2092, 2017]. More precisely, we prove the equivalence of the $R$-matrices for A-model and B-model at large radius limit, and establish isomorphism for $R$-matrices for general radius. We further demonstrate that the graph sum of higher genus cases are the same for both models, hence establish equivariant mirror symmetry for the weighted projective line.
In this paper, we directly derive generalized mirror transformation of projective hypersurfaces up to degree 3 genus 0 Gromov-Witten invariants by comparing Kontsevich localization formula with residue integral representation of the virtual structure constants. We can easily generalize our method for rational curves of arbitrary degree except for combinatorial complexities.
We express total set of rational Gromov-Witten invariants of projective spaces via periods of variations of semi-infinite Hodge structure associated with their mirror partners.
We study the derived categories of coherent sheaves of weighted projective spaces and their noncommutative deformations, and the derived categories of Lagrangian vanishing cycles of their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves (B-branes) on the weighted projective plane $\CP^2(a,b,c)$ is equivalent to the derived category of vanishing cycles (A-branes) on the affine hypersurface $X=\{x^ay^bz^c=1\}\subset (\C^*)^3$ equipped with an exact symplectic form and the superpotential $W=x+y+z$. Hence, the homological mirror symmetry conjectur…
In this paper, we study the structure of the quantum cohomology ring of a projective hypersurface with non-positive 1st Chern class. We prove a theorem which suggests that the mirror transformation of the quantum cohomology of a projective Calabi-Yau hypersurface has a close relation with the ring of symmetric functions, or with Schur polynomials. With this result in mind, we propose a generalized mirror transformation on the quantum cohomology of a hypersurface with negative first Chern class and construct an explicit prediction formula for three point Gromov-Witten invariants up to cubic rat…
We describe the Fukaya-Seidel category of a Landau-Ginzburg model LG(2) for the semisimple adjoint orbit of sl(2,C). We prove that this category is equivalent to a full triangulated subcategory of the category of coherent sheaves on the second Hirzebruch surface. We show that no projective variety can be mirror to LG(2), and that this remains so after compactification.
We study mirror symmetry (A-side vs B-side) in the framework of quantum differential systems. We focuse on the logarithmic and non-resonant case, which describes the geometric situation. We show that quantum differential systems provide a good framework in order to generalize the construction of the rational structure on the A-side given by Katzarkov, Kontsevitch and Pantev for the projective spaces. As an application, we compute the rational structure obtained in this way on the orbifold cohomology of weighted projective spaces. As an example we also calculate, using quantum differential syst…
By means of toric geometry we study hypersurfaces in weighted projective space of dimension four. In particular we compute for a given manifold its intrinsic topological coupling. We find that the result agrees with the calculation of the corresponding coupling on the mirror model in the large complex structure limit.
The mirror of a projective toric manifold $X_Σ$ is given by a Landau-Ginzburg model $(Y,W)$. We introduce a class of Lagrangian submanifolds in $(Y,W)$ and show that, under the SYZ mirror transformation, they can be transformed to torus-invariant hermitian metrics on holomorphic line bundles over $X_Σ$. Through this geometric correspondence, we also identify the mirrors of Hermitian-Einstein metrics, which are given by distinguished Lagrangian sections whose potentials satisfy certain Laplace-type equations.
In this paper, the numbers of rational curves on general complete intersection Calabi-Yau threefolds in complex projective spaces are computed up to degree six. The results are all in agreement with the predictions made from mirror symmetry.
In this paper, we propose another characterization of the generalized mirror transformation on the quantum cohomology rings of general type projective hypersurfaces. This characterics is useful for explicit determination of the form of the generalized mirror transformation. As applications, we rederive the generalized mirror transformation up to $d=3$ rational Gromov-Witten invariants obtained in our previous article, and determine explicitly the the generalized mirror transformation for the $d=4, 5$ rational Gromov-Witten invariants in the case when the first Chern class of the hypersurface e…
We study Gauss-Manin systems of non tame Laurent polynomial functions. We focuse on Hori-Vafa models, which are the expected mirror partners of the small quantum cohomology of smooth hypersurfaces in weighted projective spaces.
We prove Homological Mirror Symmetry for a smooth d-dimensional Calabi-Yau hypersurface in projective space, for any d > 2 (for example, d = 3 is the quintic three-fold). The main techniques involved in the proof are: the construction of an immersed Lagrangian sphere in the `d-dimensional pair of pants'; the introduction of the `relative Fukaya category', and an understanding of its grading structure; a description of the behaviour of this category with respect to branched covers (via an `orbifold' Fukaya category); a Morse-Bott model for the relative Fukaya category that allows one to make ex…
In this paper we consider the class of K3 surfaces defined as hypersurfaces in weighted projective space, and admitting a non-symplectic automorphism of non-prime order, excluding the orders 4, 8, and 12. We show that on these surfaces the Berglund-Hübsch-Krawitz mirror construction and mirror symmetry for lattice polarized K3 surfaces constructed by Dolgachev agree; that is, both versions of mirror symmetry define the same mirror K3 surface.
In this paper, we generalize Walcher's computation of the open Gromov-Witten invariants of the quintic hypersurface to Fano and Calabi-Yau projective hypersurfaces. Our main tool is the open virtual structure constants. We also propose the generalized mirror transformation for the open Gromov-Witten invariants, some parts of which are proven explicitly. We also discuss possible modification of the multiple covering formula for the case of higher dimensional Calabi-Yau manifolds. The generalized disk invariants for some Calabi-Yau and Fano manifolds are shown and they are certainly integers aft…
For all $m > 0$ we build a two-dimensional family of smooth manifolds of real dimension $3m + 2$ and use it to interpolate between the anticanonical family in the complex projective space of dimension $m + 1$ and its mirror dual. The main tool is the notion of self-dual manifold.
These are the informal notes of two seminars held at the Universita` di Roma "La Sapienza", and at the Scuola Normale Superiore in Pisa in Spring and Autumn 1997. We discuss in detail the content of the parts of Givental's paper dealing with mirror symmetry for projective complete intersections.
In this note we construct conifold transitions between several Calabi-Yau threefolds given by Pfaffians in weighted projective spaces and Calabi-Yau threefolds appearing as complete intersections in toric varieties. We use the obtained results to predict mirrors following ideas of \cite{BCKS, Batsmalltoricdegen}. In particular we consider the family of Calabi--Yau threefolds of degree 25 in $\mathbb{P}^9$ obtained as a transverse intersection of two Grassmannians in their Plucker embeddings.
We show how the Landau-Ginzburg/Calabi-Yau correspondence for the quintic three-fold can be cast into a global mirror symmetry framework. Then we draw inspiration from Berglund-Hübsch mirror duality construction to provide an analogue conjectural picture featuring all Calabi-Yau hypersurfaces within weighted projective spaces and certain quotients by finite abelian group actions.
We compute the Chen-Ruan orbifold cohomology ring of the Batyrev mirror orbifold of a smooth quintic hypersurface in 4-dimensional projective space. We identify the obstruction bundle for this example by using the Riemann bilinear relations for periods. We outline a general method of computing the Chen-Ruan ring for Calabi-Yau hypersurfaces in projective simplicial toric varieties, modulo a conjecture that the Riemann bilinear relations are adequate for identifying the obstruction bundle for any complex orbifold.
Given a smooth projective variety $X$ with a smooth nef divisor $D$ and a positive integer $r$, we construct an $I$-function, an explicit slice of Givental's Lagrangian cone, for Gromov--Witten theory of the root stack $X_{D,r}$. As an application, we also obtain an $I$-function for relative Gromov--Witten theory following the relation between relative and orbifold Gromov--Witten invariants.
The moduli space of stable quotients introduced by Marian-Oprea-Pandharipande provides a natural compactification of the space of morphisms from nonsingular curves to a nonsingular projective variety and carries a natural virtual class. We show that the analogue of Givental's J-function for the resulting twisted projective invariants is described by the same mirror hypergeometric series as the corresponding Gromov-Witten invariants (which arise from the moduli space of stable maps), but without the mirror transform (in the Calabi-Yau case). This implies that the stable quotients and Gromov-Wit…
In this paper we compute certain two-point integrals over a moduli space of stable maps into projective space. Computation of one-point analogues of these integrals constitutes a proof of mirror symmetry for genus-zero one-point Gromov-Witten invariants of projective hypersurfaces. The integrals computed in this paper constitute a significant portion in the proof of mirror symmetry for genus-one GW-invariants completed in a separate paper. These integrals also provide explicit mirror formulas for genus-zero two-point GW-invariants of projective hypersurfaces. The approach described in this pap…
We study geometric structures on the complement of a toric mirror arrangement associated with a root system. Inspired by those special hypergeometric functions found by Heckman-Opdam, as well as the work of Couwenberg-Heckman-Looijenga on geometric structures on projective arrangement complements, we consider a family of connections on a total space, namely, a $\mathbb{C}^{\times}$-bundle on the complement of a toric mirror arrangement (=finite union of hypertori, determined by a root system). We prove that these connections are torsion free and flat, and hence define a family of affine struct…
Let X be a smooth complex projective variety, and let Y in X be a smooth very ample hypersurface such that -K_Y is nef. Using the technique of relative Gromov-Witten invariants, we give a new short and geometric proof of (a version of) the "mirror formula", i.e. we show that the generating function of the genus zero 1-point Gromov-Witten invariants of Y can be obtained from that of X by a certain change of variables (the so-called "mirror transformation"). Moreover, we use the same techniques to give a similar expression for the (virtual) numbers of degree-d plane rational curves meeting a smo…
We generalize the theorems in {\it Mirror Principle I} and {\it II} to the case of general projective manifolds without the convexity assumption. We also apply the results to balloon manifolds, and generalize to higher genus.
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 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…
This article accompanies my June 1998 seminaire Bourbaki talk on Givental's work. After a quick review of descendent integrals in Gromov-Witten theory, I discuss Givental's formalism relating hypergeometric series to solutions of quantum differential equations arising from hypersurfaces in projective space. A particular case of this relationship is a proof of the Mirror prediction for the numbers of rational curves on the Calabi-Yau quintic 3-fold. The approach taken here is entirely algebro-geometric and relies upon a localization formula on the moduli space of stable genus 0 maps to projecti…
