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.

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.

Let $X$ be a compact complex manifold and $E$ be a holomorphic vector bundle on $X$. Given a deformation $(\mathcal{X},\mathcal{E})$ of the pair $(X,E)$ over a small polydisk $B$ centered at the origin, we study the jumping phenomenon of the cohomology groups $\dim_{\mathbb{C}}H^q(\mathcal{X}_t,\mathcal{E}_t)$ near $t = 0$. Generalizing previous results of X. Ye for the tangent bundle $E = T_{\mathcal{X}_t}$ and exterior powers of the cotangent bundle $E = \Omega^p_{\mathcal{X}_t}$, we show that there are precisely two cohomological obstructions to the stability of $\dim_{\mathbb{C}}H^q(\mathcal{X}_t,\mathcal{E}_t)$, which can be expressed explicitly in terms of the Maurer-Cartan element associated to the deformation $(\mathcal{X},\mathcal{E})$. As an application, we study the jumping phenomenon of the dimension of the cohomology group $H^1(\mathcal{X}_t,\text{End}(T_{\mathcal{X}_t}))$ which is related to a question raised by physicists.

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 the perturbative aspects of Rozansky-Witten's 3d $\sigma$-model using Costello's approach to the Batalin-Vilkovisky (BV) formalism. We show that the BV quantization (in Costello's sense) of the model, which produces a perturbative quantum field theory, can be obtained via the configuration space method of regularization due to Kontsevich and Axelrod-Singer. We also study the factorization algebra structure for quantum observables following Costello-Gwilliam. In particular, we show that the cohomology of local quantum observables on a genus $g$ handle body is given by $H^*(X,(\wedge^*T_X)^{\otimes g})$ (where $X$ is the target manifold), and prove that the partition function reproduces the Rozansky-Witten invariants.

This is a write-up of the author's talk in the conference "Algebraic Geometry in East Asia 2016" held at the University of Tokyo in January 2016. We give a survey on a series of papers of the author and his collaborators Daniel Pomerleano and Kazushi Ueda where we show how Strominger-Yau-Zaslow (SYZ) transforms can be applied to understand the geometry of Kontsevich's homological mirror symmetry (HMS) conjecture for certain local Calabi-Yau manifolds.

We construct Lagrangian sections of a Lagrangian torus fibration on a 3-dimensional conic bundle, which are SYZ dual to holomorphic line bundles over the mirror toric Calabi-Yau 3-fold. We then demonstrate a ring isomorphism between the wrapped Floer cohomology of the zero-section and the regular functions on the mirror toric Calabi-Yau 3-fold. Furthermore, we show that in the case when the Calabi-Yau 3-fold is affine space, the zero section generates the wrapped Fukaya category of the mirror conic bundle. This allows us to complete the proof of one direction of homological mirror symmetry for toric Calabi-Yau orbifold quotients of the form $\mathbb{C}^3/\Check{G}$. We finish by describing some elementary applications of our computations to symplectic topology.

Let $X$ be a compact toric K\"ahler manifold with $-K_X$ nef. Let $L\subset X$ be a regular fiber of the moment map of the Hamiltonian torus action on $X$. Fukaya-Oh-Ohta-Ono defined open Gromov-Witten (GW) invariants of $X$ as virtual counts of holomorphic discs with Lagrangian boundary condition $L$. We prove a formula which equates such open GW invariants with closed GW invariants of certain $X$-bundles over $\mathbb{P}^1$ used to construct the Seidel representations for $X$. We apply this formula and degeneration techniques to explicitly calculate all these open GW invariants. This yields a formula for the disc potential of $X$, an enumerative meaning of mirror maps, and a description of the inverse of the ring isomorphism of Fukaya-Oh-Ohta-Ono.

This article gives an exposition of the deformation theory for pairs $(X, E)$, where $X$ is a compact complex manifold and $E$ is a holomorphic vector bundle over $X$, adapting an analytic viewpoint \`{a} la Kodaira-Spencer. By introducing and exploiting an auxiliary differential operator, we derive the Maurer--Cartan equation and differential graded Lie algebra (DGLA) governing the deformation problem, and express them in terms of differential-geometric notions such as the connection and curvature of $E$, obtaining a chain level refinement of the classical results that the tangent space and obstruction space of the moduli problem are respectively given by the first and second cohomology groups of the Atiyah extension of $E$ over $X$. As an application, we give examples where deformations of pairs are unobstructed.

We discuss homological mirror symmetry for the conifold from the point of view of the Strominger-Yau-Zaslow conjecture.

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 open/closed equality and then employing the toric mirror theorem for suitable toric (partial) compactifications of $\mathcal{X}$. Our calculations are then applied to (1) prove a conjecture of Gross-Siebert on a relation between genus 0 open orbifold GW invariants and mirror maps of $\mathcal{X}$ -- this is called the open mirror theorem, which leads to an enumerative meaning of mirror maps, and (2) demonstrate how open (orbifold) GW invariants for toric CY orbifolds change under toric crepant resolutions -- an open analogue of Ruan's crepant resolution conjecture.

This article surveys the development of the SYZ conjecture since it was proposed by Strominger, Yau and Zaslow in their famous 1996 paper, and discusses how it has been leading us to a thorough understanding of the geometry underlying mirror symmetry.

We prove a Fr\"olicher-type inequality for a compact generalized complex manifold $M$, and show that the equality holds if and only if $M$ satisfies the generalized $\partial\bar{\partial}$-Lemma. In particular, this gives a unified proof of analogous results in the complex and symplectic cases.

We investigate the relationship between the Lagrangian Floer superpotentials for a toric orbifold and its toric crepant resolutions. More specifically, we study an open string version of the crepant resolution conjecture (CRC) which states that the Lagrangian Floer superpotential of a Gorenstein toric orbifold $\mathcal{X}$ and that of its toric crepant resolution $Y$ coincide after analytic continuation of quantum parameters and a change of variables. Relating this conjecture with the closed CRC, we find that the change of variable formula which appears in closed CRC can be explained by relations between open (orbifold) Gromov-Witten invariants. We also discover a geometric explanation (in terms of virtual counting of stable orbi-discs) for the specialization of quantum parameters to roots of unity which appears in Y. Ruan's original CRC ["The cohomology ring of crepant resolutions of orbifolds", Gromov-Witten theory of spin curves and orbifolds, 117-126, Contemp. Math., 403, Amer. Math. Soc., Providence, RI, 2006]. We prove the open CRC for the weighted projective spaces $\mathcal{X}=\mathbb{P}(1,\ldots,1,n)$ using an equality between open and closed orbifold Gromov-Witten invariants. Along the way, we also prove an open mirror theorem for these toric orbifolds.

We study homological mirror symmetry for not necessarily compactly supported coherent sheaves on the minimal resolutions of A_n-singularities. An emphasis is put on the relation with the Strominger-Yau-Zaslow conjecture.

We prove that the inverse of a mirror map for a toric Calabi-Yau manifold of the form $K_Y$, where $Y$ is a compact toric Fano manifold, can be expressed in terms of generating functions of genus 0 open Gromov-Witten invariants defined by Fukaya-Oh-Ohta-Ono \cite{FOOO10}. Such a relation between mirror maps and disk counting invariants was first conjectured by Gross and Siebert \cite[Conjecture 0.2 and Remark 5.1]{GS11} as part of their program, and was later formulated in terms of Fukaya-Oh-Ohta-Ono's invariants in the toric Calabi-Yau case in \cite[Conjecture 1.1]{CLL12}.

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.

We study Homological Mirror Symmetry (HMS) for $A_n$-resolutions from the SYZ viewpoint. Let $X\to\bC^2/\bZ_{n+1}$ be the crepant resolution of the $A_n$-singularity. The mirror of $X$ is given by a smoothing $\check{X}$ of $\bC^2/\bZ_{n+1}$. Using SYZ transformations, we construct a geometric functor from a derived Fukaya category of $\check{X}$ to the derived category of coherent sheaves on $X$. We show that this is an equivalence of triangulated categories onto a full triangulated subcategory of $D^b(X)$, thus realizing Kontsevich's HMS conjecture by SYZ.

We prove that open Gromov-Witten invariants for semi-Fano toric manifolds of the form $X=\mathbb{P}(K_Y\oplus\mathcal{O}_Y)$, where $Y$ is a toric Fano manifold, are equal to certain 1-pointed closed Gromov-Witten invariants of $X$. As applications, we compute the mirror superpotentials for these manifolds. In particular, this gives a simple proof for the formula of the mirror superpotential for the Hirzebruch surface $\mathbb{F}_2$.

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 enumerative meaning for the (inverse) mirror maps, and this gives a geometric reason for why their Taylor series expansions in terms of the K\"ahler parameters of $X$ have integral coefficients. Applying the results in \cite{Chan10} and \cite{LLW10}, we compute the open Gromov-Witten invariants in terms of local BPS invariants and give evidences of our conjecture for several 3-dimensional examples including $K_{\proj^2}$ and $K_{\proj^1\times\proj^1}$.

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.

Recently, Gaiotto, Moore and Neitzke \cite{GMN08} proposed a new construction of hyperk\"{a}hler metrics. In particular, they gave a new construction of the Ooguri-Vafa metric, in which they came across certain formulas. We interpret those formulas as wall-crossing formulas that appear in the SYZ construction of instanton-corrected mirror manifolds. This reveals the close relation between the Ooguri-Vafa metric and nontrivial holomorphic discs with boundary in special Lagrangian torus fibers.

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.

The mirror of a projective toric manifold $X_\Sigma$ 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_\Sigma$. 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 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.