• 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.
  • 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.
  • 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)$.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • We describe recent progress on QH(G/P) with special emphasis of our own work.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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}$.
  • 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.
  • 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.
  • 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.