Search

For a del Pezzo surface of degree $\geq 3$, we compute the oscillatory integral for its mirror Landau-Ginzburg model in the sense of Gross-Hacking-Keel [Mark Gross, Paul Hacking, and Sean Keel, "Mirror symmetry for log Calabi-Yau surfaces I". In: Publ. Math. Inst. Hautes Etudes Sci. 122 (2015), pp. 65-168]. We explicitly construct the mirror cycle of a line bundle and show that the leading order of the integral on this cycle involves the twisted Chern character and the Gamma class. This proves a version of the Gamma conjecture for non-toric Fano surfaces with an arbitrary K-group insertion., Comment: 26 pages, 10 figures

We prove a version of homological mirror symmetry statement for toric Calabi-Yau $3$-orbifolds, thus extending arXiv:1604.06448 to the case of orbifolds under the mirror symmetry setting considered in arXiv:1604.07123. The B-model is the matrix factorization category for the toric Calabi-Yau $3$-orbifold with a superpotential; while the A-model is a topologically defined Fukaya-type category on its mirror curve., Comment: 24 pages, 2 figures

In this paper we consider the oscillatory integrals on Lefschetz thimbles in the Landau-Ginzburg model as the mirror of a toric Fano manifold. We show these thimbles represent the same relative homology classes as the characteristic cycles of the corresponding constructible sheaves under the equivalence of \cite{GPS18-2}. Then the oscillatory integrals on such thimbles are the same as the integrals on the characteristic cycles and relate to genus $0$ Gromov-Witten descendant potential for $X$, and this leads to a proof of Gamma II conjecture for toric Fano manifolds., Comment: 24 pages, 2 figures

The BKMP Remodeling Conjecture \cite{Ma,BKMP09,BKMP10} predicts all genus open-closed Gromov-Witten invariants for a toric Calabi-Yau $3$-orbifold by Eynard-Orantin's topological recursion \cite{EO07} on its mirror curve. The proof of the Remodeling Conjecture by the authors \cite{FLZ1,FLZ3} relies on comparing two Feynman-type graph sums in both A and B-models. In this paper, we will survey these graph sum formulae and discuss their roles in the proof of the conjecture.

It was known through the efforts of many works that the generating functions in the closed Gromov-Witten theory of $K_{\mathbb P^2}$ are meromorphic quasi-modular forms basing on the B-model predictions. In this article, we extend the modularity phenomenon to $K_{{\mathbb P^1}\times {\mathbb P^1}}, K_{W\mathbb P[1,1,2]}, K_{\mathbb F_1}$. More importantly, we generalize it to the generating functions in the open Gromov-Witten theory using the theory of Jacobi forms where the open Gromov-Witten parameters are transformed into elliptic variables., Comment: 2 figures, revised version

Given any equivariant coherent sheaf $\mathcal L$ on a compact semi-positive toric orbifold $\mathcal X$, its SYZ T-dual mirror dual is a Lagrangian brane in the Landau-Ginzburg mirror. We prove the oscillatory integral of the equivariant superpotential in the Landau Ginzburg mirror over this Lagrangian brane is the genus-zero $1$-descendant Gromov-Witten potential with a Gamma-type class of $\mathcal L$ inserted., Comment: 21 page, 3 figures

The Remodeling Conjecture proposed by Bouchard-Klemm-Mari\~{n}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 Conjecture for symplectic toric Calabi-Yau 3-orbifolds. In the end, we apply SYZ mirror symmetry to obtain the descendent version of the all genus mirror symmetry for toric Calabi-Yau 3-orbifolds., Comment: 18 pages. Exposition of arXiv:1604.07123

In this paper we prove a mirror symmetry conjecture based on the work of Brini-Eynard-Mari\~no \cite{BEM} and Diaconescu-Shende-Vafa \cite{DSV}. This conjecture relates open Gromov-Witten invariants of the conifold transition of a torus knot to the topological recursion on the B-model spectral curve., Comment: 32 pages, 3 figures; typos corrected, minor revision

The Remodeling Conjecture proposed by Bouchard-Klemm-Mari\~{n}o-Pasquetti (BKMP) [arXiv:0709.1453, arXiv:0807.0597] relates the A-model open and closed topological string amplitudes (the all genus open and closed Gromov-Witten invariants) of a semi-projective toric Calabi-Yau 3-manifold/3-orbifold to the Eynard-Orantin invariants of its mirror curve. It is an all genus open-closed mirror symmetry for toric Calabi-Yau 3-manifolds/3-orbifolds. In this paper, we present a proof of the BKMP Remodeling Conjecture for all genus open-closed orbifold Gromov-Witten invariants of an arbitrary semi-projective toric Calabi-Yau 3-orbifold relative to an outer framed Aganagic-Vafa Lagrangian brane. We also prove the conjecture in the closed string sector at all genera., Comment: 85 pages, 4 figures; final version

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., Comment: 34 pages, 5 figures; references added, typos corrected

For any finite abelian group G, the equivariant Gromov-Witten invariants of C^r/G can be viewed as a certain kind of abelian Hurwitz-Hodge integrals. In this note, we use Tseng's orbifold quantum Riemann-Roch theorem to express this kind of abelian Hurwitz-Hodge integrals as a sum over Feynman graphs, where the weight of each graph is expressed in terms of descendant integrals over moduli spaces of stable curves and representations of G. This expression will play a crucial role in the proof of the remodeling conjecture (arXiv:0709.1453, arXiv:0807.0597) for affine toric Calabi-Yau 3-orbifolds in arXiv:1310.4818., Comment: 13 pages

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 affine toric Calabi-Yau 3-orbifolds., Comment: 49 pages, 2 figures; final version

We study open-closed orbifold Gromov-Witten invariants of 3-dimensional Calabi-Yau smooth toric Deligne-Mumford (DM) stacks (with possibly non-trivial generic stabilizers and semi-projective coarse moduli spaces) relative to Lagrangian branes of Aganagic-Vafa type. We present foundational materials of enumerative geometry of stable holomorphic maps from bordered orbifold Riemann surfaces to a 3-dimensional Calabi-Yau smooth toric DM stack with boundaries mapped into a Aganagic-Vafa brane. All genus open-closed Gromov-Witten invariants are defined by torus localization and depend on the choice of a framing which is an integer. We also provide another definition of all genus open-closed Gromov-Witten invariants based on algebraic relative orbifold Gromov-Witten theory; this generalizes the definition in Li-Liu-Liu-Zhou [arXiv:math/0408426] for smooth toric Calabi-Yau 3-folds. When the toric DM stack a toric Calabi-Yau 3-orbifold (i.e. when the generic stabilizer is trivial), we define generating functions of open-closed Gromov-Witten invariants or arbitrary genus $g$ and number $h$ of boundary circles; it takes values in the Chen-Ruan orbifold cohomology of the classifying space of a finite cyclic group of order $m$. We prove an open mirror theorem which relates the generating function of orbifold disk invariants to Abel-Jacobi maps of the mirror curve of the toric Calabi-Yau 3-orbifold. This generalizes a conjecture by Aganagic-Vafa [arXiv:hep-th/0012041] and Aganagic-Klemm-Vafa [arXiv:hep-th/0105045] (proved in full generality by the first and the second authors in [arXiv:1103.0693]) on the disk potential of a smooth semi-projective toric Calabi-Yau 3-fold., Comment: 44 pages, 7 figures

We present a proof of the mirror conjecture of Aganagic-Vafa [arXiv:hep-th/0012041] and Aganagic-Klemm-Vafa [arXiv:hep-th/0105045] on disk enumeration in toric Calabi-Yau 3-folds for all smooth semi-projective toric Calabi-Yau 3-folds. We consider both inner and outer branes, at arbitrary framing. In particular, we recover previous results on the conjecture for (i) an inner brane at zero framing in the total space of the canonical line bundle of the projective plane (Graber-Zaslow [arXiv:hep-th/0109075]), (ii) an outer brane at arbitrary framing in the resolved conifold (Zhou [arXiv:1001.0447]), and (iii) an outer brane at zero framing in the total space of the canonical line bundle of the projective plane (Brini [arXiv:1102.0281, Section 5.3])., Comment: 39 pages, 11 figures

In arXiv:math/0311139, as evidence for his conjecture in birational log geometry, Kawamata constructed a family of derived equivalences between toric orbifolds. In arXiv:0911.4711, we showed that the derived category of a toric orbifold is naturally identified with a category of polyhedrally-constructible sheaves on R^n. In this paper we investigate and reprove some of Kawamata's results from this perspective., Comment: 34 pages, 11 figures; dedicated to Loo-Keng Hua on the occasion of his 100th birthday

We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth projective toric variety. Specifically, let $X$ be a proper toric variety of dimension $n$ and let $M_\bR = \mathrm{Lie}(T_\bR^\vee)\cong \bR^n$ be the Lie algebra of the compact dual (real) torus $T_\bR^\vee\cong U(1)^n$. Then there is a corresponding conical Lagrangian $\Lambda \subset T^*M_\bR$ and an equivalence of triangulated dg categories $\Perf_T(X) \cong \Sh_{cc}(M_\bR;\Lambda),$ where $\Perf_T(X)$ is the triangulated dg category of perfect complexes of torus-equivariant coherent sheaves on $X$ and $\Sh_{cc}(M_\bR;\Lambda)$ is the triangulated dg category of complex of sheaves on $M_\bR$ with compactly supported, constructible cohomology whose singular support lies in $\Lambda$. This equivalence is monoidal---it intertwines the tensor product of coherent sheaves on $X$ with the convolution product of constructible sheaves on $M_\bR$., Comment: 20 pages. This is a strengthened version of the first half of arXiv:0811.1228v3, with new results; the second half becomes arXiv:0811.1228v4

We extend our previous work arXiv:1007.0053 on coherent-constructible correspondence for toric varieties to include toric Deligne-Mumford (DM) stacks. Following Borisov-Chen-Smith, a toric DM stack $\cX_\bSi$ is described by a "stacky fan" $\bSi=(N,\Si,\beta)$, where $N$ is a finitely generated abelian group and $\Si$ is a simplicial fan in $N_\bR=N\otimes_{\bZ}\bR$. From $\bSi$ we define a conical Lagrangian $\Lambda_\bSi$ inside the cotangent $T^*M_\bR$ of the dual vector space $M_\bR$ of $N_\bR$, such that torus-equivariant, coherent sheaves on $\cX_\bSi$ are equivalent to constructible sheaves on $M_\bR$ with singular support in $\LbS$., Comment: 30 pages, 2 figures

This is an expository article describing recent results of the authors and David Nadler on microlocalization, the Fukaya category, and coherent sheaves on toric varieties. The original papers are arXiv:math/0604379, arXiv:math/0612399 and arXiv:0811.1228v1.

Let $X_\Sigma$ be a complete toric variety. The coherent-constructible correspondence $\kappa$ of \cite{FLTZ} equates $\Perf_T(X_\Sigma)$ with a subcategory $Sh_{cc}(M_\bR;\LS)$ of constructible sheaves on a vector space $M_\bR.$ The microlocalization equivalence $\mu$ of \cite{NZ,N} relates these sheaves to a subcategory $Fuk(T^*M_\bR;\LS)$ of the Fukaya category of the cotangent $T^*M_\bR$. When $X_\Si$ is nonsingular, taking the derived category yields an equivariant version of homological mirror symmetry, $DCoh_T(X_\Si)\cong DFuk(T^*M_\bR;\LS)$, which is an equivalence of triangulated tensor categories. The nonequivariant coherent-constructible correspondence $\bar{\kappa}$ of \cite{T} embeds $\Perf(X_\Si)$ into a subcategory $Sh_c(T_\bR^\vee;\bar{\Lambda}_\Si)$ of constructible sheaves on a compact torus $T_\bR^\vee$. When $X_\Si$ is nonsingular, the composition of $\bar{\kappa}$ and microlocalization yields a version of homological mirror symmetry, $DCoh(X_\Sigma)\hookrightarrow DFuk(T^*T_\bR;\bar{\Lambda}_\Si)$, which is a full embedding of triangulated tensor categories. When $X_\Si$ is nonsingular and projective, the composition $\tau=\mu\circ \kappa$ is compatible with T-duality, in the following sense. An equivariant ample line bundle $\cL$ has a hermitian metric invariant under the real torus, whose connection defines a family of flat line bundles over the real torus orbits. This data produces a T-dual Lagrangian brane $\mathbb L$ on the universal cover $T^*M_\bR$ of the dual real torus fibration. We prove $\mathbb L\cong \tau(\cL)$ in $Fuk(T^*M_\bR;\LS).$ Thus, equivariant homological mirror symmetry is determined by T-duality., Comment: 34 pages, 2 figures. The previous version of this paper has now been broken into two parts. The other part is available at arXiv:1007.0053

In this paper, we apply the idea of T-duality to projective spaces. From a connection on a line bundle on $\mathbb P^n$, a Lagrangian in the mirror Landau-Ginzburg model is constructed. Under this correspondence, the full strong exceptional collection $\mathcal O_{\mathbb P^n}(-n-1),...,\mathcal O_{\mathbb P^n}(-1)$ is mapped to standard Lagrangians in the sense of \cite{nz}. Passing to constructible sheaves, we explicitly compute the quiver structure of these Lagrangians, and find that they match the quiver structure of this exceptional collection of $\mathbb P^n$. In this way, T-duality provides quasi-equivalence of the Fukaya category generated by these Lagrangians and the category of coherent sheaves on $\mathbb P^n$, which is a kind of homological mirror symmetry., Comment: 21 pages, 4 figures, submitted version