Mirror symmetry for toric Fano manifolds via SYZ transformations
Kwokwai Chan, Naichung Conan Leung
备注:
v4: final version, to appear in Adv. Math.; v3: 38 pages, substantially revised and expanded, the role of tropical geometry clarified in the newly added Subsection 2.2
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.
We study homological mirror symmetry of the singular hypersurface $X_0=V(t^{n+1}-x_0\dotsi x_n)\subseteq\mathbb{P}^{n+1}$. Following an SYZ type approach, we produce an LG-model, whose Fukaya-Seidel category recovers line bundles on $X_0$. As a byproduct of our approach, we answer a conjecture of N.Sheridan about generating the small component of the Fukaya category of the smooth index 1 Fano hypersurface in $\mathbb{P}^{n+1}$, without bounding co-chains.
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.
In this note, we study the SYZ mirror construction for a toric Calabi-Yau manifold using instanton corrections coming from Woodward's quasimap Floer theory instead of Fukaya-Oh-Ohta-Ono's Lagrangian Floer theory. We show that the resulting SYZ mirror coincides with the one written down via physical means (as expected).
We investigate mirror symmetry for toric Calabi-Yau manifolds from the perspective of the SYZ conjecture. Starting with a non-toric special Lagrangian torus fibration on a toric Calabi-Yau manifold $X$, we construct a complex manifold $\check{X}$ using T-duality modified by quantum corrections. These corrections are encoded by Fourier transforms of generating functions of certain open Gromov-Witten invariants. We conjecture that this complex manifold $\check{X}$, which belongs to the Hori-Iqbal-Vafa mirror family, is inherently written in canonical flat coordinates. In particular, we obtain an…
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, we give a tropical method for computing Gromov-Witten type invariants of Fano manifolds of special type. This method applies to those Fano manifolds which admit toric degenerations to toric Fano varieties with singularities allowing small resolutions. Examples include (generalized) flag manifolds of type A, and some moduli space of rank two bundles on a genus two curve.
We survey recent developments in the study of SYZ mirror symmetry for compact toric and toric Calabi-Yau varieties, with a special emphasis on works of the author and his collaborators.
We prove that if there exists a $c_1$-preserving graded ring isomorphism between integral cohomology rings of two Fano Bott manifolds, then they are isomorphic as toric varieties. As a consequence, we give an affirmative answer to McDuff's question on the uniqueness of a toric structure on a Fano Bott manifold.
We introduce the wrapped Donaldson-Fukaya category of a (generalized) semi-toric SYZ fibration with Lagrangian section satisfying a tameness condition at infinity. Examples include the Gross fibration on the complement of an anti-canonical divisor in a toric Calabi-Yau 3-fold. We compute the wrapped Floer cohomology of a Lagrangian section and find that it is the algebra of functions on the Hori-Vafa mirror. The latter result is the key step in proving homological mirror symmetry for this case. The techniques developed here allow the construction in general of the wrapped Fukaya category on an…
In this paper we study certain algebraic properties of the quantum homology algebra for the class of symplectic toric Fano manifolds. In particular, we examine the semi-simplicity of the quantum homology algebra, and the more general property of containing a field as a direct summand. Our main result provides an easily-verified sufficient condition for these properties which is independent of the symplectic form. Moreover, we answer two questions of Entov and Polterovich negatively by providing examples of toric Fano manifolds with non semi-simple quantum homology algebra, and others in which …
We consider mirror symmetry for (essentially arbitrary) hypersurfaces in (possibly noncompact) toric varieties from the perspective of the Strominger-Yau-Zaslow (SYZ) conjecture. Given a hypersurface $H$ in a toric variety $V$ we construct a Landau-Ginzburg model which is SYZ mirror to the blowup of $V\times\mathbb{C}$ along $H\times 0$, under a positivity assumption. This construction also yields SYZ mirrors to affine conic bundles, as well as a Landau-Ginzburg model which can be naturally viewed as a mirror to $H$. The main applications concern affine hypersurfaces of general type, for which…
We prove the Doran-Harder-Thompson conjecture in the case of elliptic curves by using ideas from SYZ mirror symmetry. The conjecture claims that when a Calabi-Yau manifold $X$ degenerates to a union of two quasi-Fano manifolds (Tyurin degeneration), a mirror Calabi-Yau manifold of $X$ can be constructed by gluing the two mirror Landau-Ginzburg models of the quasi-Fano manifolds. The two crucial ideas in our proof are to obtain a complex structure by gluing the underlying affine manifolds and to construct the theta functions from the Landau-Ginzburg superpotentials.
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.
For a toric Calabi-Yau (CY) orbifold $\mathcal{X}$ whose underlying toric variety is semi-projective, we construct and study a non-toric Lagrangian torus fibration on $\mathcal{X}$, which we call the Gross fibration. We apply the Strominger-Yau-Zaslow (SYZ) recipe to the Gross fibration of $\mathcal{X}$ to construct its mirror with the instanton corrections coming from genus 0 open orbifold Gromov-Witten (GW) invariants, which are virtual counts of holomorphic orbi-disks in $\mathcal{X}$ bounded by fibers of the Gross fibration. We explicitly evaluate all these invariants by first proving an o…
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.
In this paper, we compute the open Gromov-Witten invariants for every compact toric surface X which is semi-Fano (i.e. the anticanonical line bundle is nef). Unlike the Fano case, this involves non-trivial obstructions in the corresponding moduli problem. As a consequence, an explicit formula for the Lagrangian Floer superpotential W is obtained, which in turn gives an explicit presentation of the small quantum cohomology ring of X. We also provide a computational verification of the conjectural ring isomorphism between the small quantum cohomology of X and the Jacobian ring of W.
In this paper we give a construction of Lagrangian torus fibration for Calabi-Yau hypersurface in toric variety via the method of gradient flow. Using our construction of Lagrangian torus fibration, we are able to prove the symplectic topological version of SYZ mirror conjecture for generic Calabi-Yau hypersurface in toric variety. We will also be able to give precise formulation of SYZ mirror conjecture in general (including singular locus and duality of singular fibres).
For a local Calabi-Yau manifold which is a smoothing of toric Gorenstein singularity, this paper computes the open Gromov-Witten invariants of a generic fiber of the special Lagrangian fibration constructed by Gross and thereby constructs its SYZ mirror. Moreover it derives a relation for the generating function of open Gromov-Witten invariants of the local Calabi-Yau manifold and that of its conifold transition.
In this paper, using the degeneration formula we obtain a blowup formulae of local Gromov-Witten invariants of Fano surfaces. This formula makes it possible to compute the local Gromov-Witten invariants of non-toric Fano surfaces form toric Fano surface, such as del Pezzo surfaces. This formula also verifed an expectation of Chiang-Klemm-Yau-Zaslow.
It is known that Lagrangian torus fibers of the moment map of a toric Fano manifold $X$, equipped with flat $U(1)$-connections, are mirror to matrix factorizations of the mirror superpotential $W:\check{X}\rightarrow\bC$. Via SYZ mirror transformations, we describe how this correspondence, when $X$ is $\bP^1$ or $\bP^2$, can be explained in a geometric way.
We study the equivariant disc potentials for immersed SYZ fibers in toric Calabi-Yau manifolds. The immersed Lagrangians play a crucial role in the partial compactification of the SYZ mirrors. Morever, their equivariant disc potentials have a close relation with that of Aganagic-Vafa branes. We show that the potentials can be computed by using an equivariant version of isomorphisms in the Fukaya category.
We provide an inductive algorithm to compute the bulk-deformed potentials for toric Fano surfaces via wall-crossing techniques and a tropical-holomorphic correspondence theorem for holomorphic discs. As an application of the correspondence theorem, we also prove a big quantum period theorem for toric Fano surfaces which relates the log descendant Gromov-Witten invariants with the oscillatory integrals of the bulk-deformed potentials.
In this expository paper, we discuss how Fourier-Mukai-type transformations, which we call SYZ mirror transformations, can be applied to provide a geometric understanding of the mirror symmetry phenomena for semi-flat Calabi-Yau manifolds and toric Fano manifolds. We also speculate the possible applications of these transformations to other more general settings.
This is a short companion paper to arXiv:0810.3470. We construct an integrable system on an open subset of a Fano manifold equipped with a toric degeneration, and compute the potential function for its Lagrangian torus fibers if the central fiber is a toric Fano variety admitting a small resolution.
The degree zero part of the quantum cohomology algebra of a smooth Fano toric symplectic manifold is determined by the superpotential function, W, of its moment polytope. In particular, this algebra is semisimple, i.e. splits as a product of fields, if and only if all the critical points of W are non-degenerate. In this paper we prove that this non-degeneracy holds for all smooth Fano toric varieties with facet-symmetric duals to moment polytopes.
We carry out the SYZ program for the local Calabi--Yau manifolds of type $\widetilde{A}$ by developing an equivariant SYZ theory for the toric Calabi--Yau manifolds of infinite-type. Mirror geometry is shown to be expressed in terms of the Riemann theta functions and generating functions of open Gromov--Witten invariants, whose modular properties are found and studied in this article. Our work also provides a mathematical justification for a mirror symmetry assertion of the physicists Hollowood--Iqbal--Vafa.
We study the Lagrangian quantum homology of real parts of Fano toric manifolds of minimal Chern number at least 2, using coefficients in a ring of Laurent polynomials over Z/2Z. We show that these Lagrangians are wide, in the sense that their quantum homology is isomorphic as a module to their classical homology tensored with this ring. Moreover, we show that the quantum homology is isomorphic as a ring to the quantum homology of the ambient symplectic manifold.
In this article, we consider the Floer cohomology (with $\Z_2$ coefficients) between torus fibers and the real Lagrangian in Fano toric manifolds. We first investigate the conditions under which the Floer cohomology is defined, and then develop a combinatorial description of the Floer complex based on the polytope of the toric manifold. We show that if the Floer cohomology is defined, and the Floer cohomology of the torus fiber is non-zero, then the Floer cohomology of the pair is non-zero. We use this result to develop some applications to non-displaceability and the minimum number of interse…
In this thesis, we study a class of special Lagrangian submanifolds of toric Calabi-Yau manifolds and construct their mirrors using some techniques developed in the SYZ programme. We present a justification on the conjecture on the mirror construction of D- branes in Aganagic-Vafa [2]. We apply the techniques employed in Chan-Lau-Leung [8] and Chan [6], which give the SYZ mirror construction for D-branes. Recently, Chan-Lau-Leung [8] has given an explicit mirror construction for toric Calabi-Yau manifolds as complex algebraic varieties. Inspired by the SYZ transformation of D-branes in Leung-Y…
In this paper, we first provide an explicit description of {\it all} holomorphic discs (``disc instantons'') attached to Lagrangian torus fibers of arbitrary compact toric manifolds, and prove their Fredholm regularity. Using this, we compute Fukaya-Oh-Ohta-Ono's (FOOO's) obstruction (co)chains and the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. In particular specializing to the formal parameter $T^{2π} = e^{-1}$, our computation verifies the folklore that FOOO's obstruction (co)chains correspond to the Landau-Ginzburg superpotentials under the mirror symmetry correspo…