• ### Open Gromov-Witten invariants and mirror maps for semi-Fano toric manifolds(1112.0388)

Jan. 31, 2019 math.AG, math.SG
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.
• ### Twin Lagrangian fibrations in mirror symmetry(1506.04625)

Sept. 24, 2018 math.SG
A twin Lagrangian fibration, originally introduced by Yau and the first author, is roughly a geometric structure consisting of two Lagrangian fibrations whose fibers intersect with each other cleanly. In this paper, we show the existence of twin Lagrangian fibrations on certain symplectic manifolds whose mirrors are fibered by rigid analytic cycles. Using family Floer theory in the sense of Fukaya and Abouzaid, these twin Lagrangian fibrations are shown to be induced from fibrations by rigid analytic subvarieties on the mirror. As additional evidences, we discuss two simple applications of our constructions.
• ### Energy bound for Kapustin-Witten solutions on $S^3\times\mathbb{R}^+$(1801.04412)

Jan. 13, 2018 math.DG
We consider solutions of Kapustin-Witten equation with Nahm pole boundary on $S^3\times \mathbb{R}^+$. These solutions are usually called Nahm pole solutions. In this paper, we will prove that there exists a constant $C>0$ such that $\|F_A\|_{L^2}\leq C$ for any Nahm pole solution $(A,\phi)$.
• ### BV quantization of the Rozansky-Witten model(1502.03510)

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.
• ### Categorical Pl\"ucker Formula and Homological Projective Duality(1704.01050)

April 4, 2017 math.AG
Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general intersections beyond linear sections. More explicitly, for a given HP-dual pair $(X,Y)$, then analogue of HP-duality theorem holds for their intersections with another HP-dual pair $(S,T)$, provided that they intersect properly. We also prove a relative version of our main result. Taking $(S,T)$ to be dual linear subspaces (resp. subbundles), our method provides a more direct proof of the original (relative) HP-duality theorem.
• ### Fukaya's conjecture on Witten's twisted $A_\infty$-structures(1401.5867)

May 15, 2020 math.DG, math.AP
Wedge product on deRham complex of a Riemannian manifold $M$ can be pulled back to $H^*(M)$ via explicit homotopy, constructed using Green's operator, to give higher product structures. We prove Fukaya's conjecture which suggests that Witten deformation of these higher product structures have semiclassical limits as operators defined by counting gradient flow trees with respect to Morse functions, which generalizes the remarkable Witten deformation of deRham differential from a statement concerning homology to one concerning real homotopy type of $M$. Various applications of this conjecture to mirror symmetry are also suggested by Fukaya.
• ### Open Gromov-Witten invariants, mirror maps, and Seidel representations for toric manifolds(1209.6119)

Aug. 10, 2016 math.DG, math.AG, math.SG
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.
• ### Mukai flops and Pl\"ucker type formulas for hyper-K\"ahler manifolds(1510.05889)

Oct. 20, 2015 math.AG
We study the intersection theory of complex Lagrangian subvarieties inside holomorphic symplectic manifolds. In particular, we study their behaviour under Mukai flops and give a rigorous proof of the Pl\"ucker type formula for Legendre dual subvarieties written down by the second author before. Then we apply the formula to study projective dual varieties in projective spaces.
• ### Relative Donaldson-Thomas theory for Calabi-Yau 4-folds(1502.04417)

Sept. 24, 2015 math.DG, math.AG
Given a complex 4-fold $X$ with an (Calabi-Yau 3-fold) anti-canonical divisor $Y$, we study relative Donaldson-Thomas invariants for this pair, which are elements in the Donaldson-Thomas cohomologies of $Y$. We also discuss gluing formulas which relate relative invariants and $DT_{4}$ invariants for Calabi-Yau 4-folds.
• ### Donaldson-Thomas theory for Calabi-Yau 4-folds(1407.7659)

Sept. 24, 2015 math.DG, math.AG
Let $X$ be a compact complex Calabi-Yau 4-fold. Under certain assumptions, we define Donaldson-Thomas type deformation invariants ($DT_{4}$ invariants) by studying moduli spaces of solutions to the Donaldson-Thomas equations on $X$. We also study sheaves counting problems on local Calabi-Yau 4-folds. We relate $DT_{4}$ invariants of $K_{Y}$ to the Donaldson-Thomas invariants of the associated Fano 3-fold $Y$. When the Calabi-Yau 4-fold is toric, we adapt the virtual localization formula to define the corresponding equivariant $DT_{4}$ invariants. We also discuss the non-commutative version of $DT_{4}$ invariants for quivers with relations. Finally, we compute $DT_{4}$ invariants for certain Calabi-Yau 4-folds when moduli spaces are smooth and find a $DT_{4}/GW$ correspondence for $X$. Examples of wall-crossing phenomenon in $DT_{4}$ theory are also given.
• ### Orientability for gauge theories on Calabi-Yau manifolds(1502.01141)

June 18, 2015 math.DG, math-ph, math.MP, math.AG, math.GT
We study orientability issues of moduli spaces from gauge theories on Calabi-Yau manifolds. Our results generalize and strengthen those for Donaldson-Thomas theory on Calabi-Yau manifolds of dimensions 3 and 4. We also prove a corresponding result in the relative situation which is relevant to the gluing problem in DT theory.
• ### Remarks on mirror symmetry of Donaldson-Thomas theory for Calabi-Yau 4-folds(1506.04218)

June 13, 2015 math.DG, math-ph, math.MP, math.AG, math.SG
Motivated by Strominger-Yau-Zaslow's mirror symmetry proposal and Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena (in A-model) of certain results from Donaldson-Thomas theory for Calabi-Yau 4-folds.
• ### Cox rings of rational surfaces and flag varieties of ADE-types(1409.2325)

Sept. 8, 2014 math.AG
The Cox rings of del Pezzo surfaces are closely related to the Lie groups E_n. In this paper, we generalize the definition of Cox rings to G- surfaces defined by us earlier, where the Lie groups G=A_n, D_n or E_n. We show that the Cox ring of a G-surface S is almost determined by an irreducible representation V of G, and is generated by degree one elements. The Proj of this ring is a sub-variety of the orbit of the highest weight vector in V, and both are closed sub-varieties of the projective space P(V) defined by quadratic equations.
• ### An update of quantum cohomology of homogeneous varieties(1407.5905)

July 22, 2014 math.AT, math.CO, math.AG
We describe recent progress on QH(G/P) with special emphasis of our own work.
• ### Quantum Pieri rules for tautological subbundles(1308.4298)

Aug. 20, 2013 math.CO, math.AG
We give quantum Pieri rules for quantum cohomology of Grassmannians of classical types, expressing the quantum product of Chern classes of the tautological subbundles with general cohomology classes. We derive them by showing the relevant genus zero, three-pointed Gromov-Witten invariants coincide with certain classical intersection numbers.
• ### Lattice point counting via Einstein metrics(1305.4830)

May 21, 2013 math.DG, math.CO
We obtain a growth estimate for the number of lattice points inside any Q-Gorenstein cone. Our proof uses the result of Futaki-Ono-Wang on Sasaki-Einstein metric for the toric Sasakian manifold associated to the cone, a Yau's inequality, and the Kawasaki-Riemann-Roch formula for orbifolds.
• ### Instantons in G2 manifolds from J-holomorphic curves in coassociative submanifolds(1303.6728)

March 27, 2013 math.DG, math-ph, math.MP, math.SG
In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct new examples of instantons.
• ### Thin instantons in G_2-manifolds and Seiberg-Witten invariants(1107.1947)

March 27, 2013 math.DG, math-ph, math.MP, math.SG
For two nearby disjoint coassociative submanifolds C and C' in a G_2-manifold, we construct thin instantons with boundaries lying on C and C' from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C.
• ### Affine ADE bundles over complex surfaces with p_g=0(1303.5578)

March 22, 2013 math.AG
We study simply-laced simple affine Lie algebra bundles over complex surfaces X. Given any Kodaira curve C in X, we construct such a bundle over X. After deformations, it becomes trivial on every irreducible component of C provided that p_g(X)=0. When X is a blowup of P^2 at nine points, there is a canonical E_8-bundle E over X. We show that the geometry of X can be reflected by the deformability of E.

Jan. 3, 2013 math.AG
Given a complex projective surface with an ADE singularity and p_{g}=0, we construct ADE bundles over it and its minimal resolution. Furthermore, we descibe their minuscule representation bundles in terms of configurations of (reducible) (-1)-curves.
• ### Mirror maps equal SYZ maps for toric Calabi-Yau surfaces(1008.4753)

June 26, 2012 math.AG, math.SG
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.
• ### SYZ mirror symmetry for toric Calabi-Yau manifolds(1006.3830)

March 14, 2012 math.AG, math.SG
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}$.
• ### Classical aspects of quantum cohomology of generalized flag varieties(1107.4744)

July 24, 2011 math.CO, math.AG
We show that various genus zero Gromov-Witten invariants for flag varieties representing different homology classes are indeed the same. In particular, many of them are classical intersection numbers of Schubert cycles.
• ### Gromov-Witten invariants for G/B and Pontryagin product for \Omega K(0810.4859)

July 24, 2011 math.CO, math.AG
We give an explicit formula for (T-equivariant) 3-pointed genus zero Gromov-Witten invariants for G/B. We derive it by finding an explicit formula for the equivariant Pontryagin product on the homology of the based loop group \Omega K.
• ### Conformal geometry and special holonomy(1009.5040)

Sept. 25, 2010 math.DG
A theorem of Lawson and Simons states that the only stable minimal submanifolds in complex projective spaces are complex submanifolds. We generalize their result to the cases of quaternionic and octonionic projective spaces. Our approach gives a unified viewpoint towards conformal and projective geometries.