
We prove that for a compact toric manifold whose anticanonical divisor is
numerically effective, the Lagrangian Floer superpotential defined by
FukayaOhOhtoOno is equal to the superpotential written down by using the
toric mirror map under a convergence assumption. This gives a method to compute
open GromovWitten 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 KapustinWitten 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 RozanskyWitten's 3d
$\sigma$model using Costello's approach to the BatalinVilkovisky (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
AxelrodSinger. We also study the factorization algebra structure for quantum
observables following CostelloGwilliam. 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 RozanskyWitten invariants.

Homological Projective duality (HPduality) theory, introduced by Kuznetsov
[42], is one of the most powerful frameworks in the homological study of
algebraic geometry. The main result (HPduality theorem) of the theory gives
complete descriptions of bounded derived categories of coherent sheaves of
(dual) linear sections of HPdual varieties. We show the theorem also holds for
more general intersections beyond linear sections. More explicitly, for a given
HPdual pair $(X,Y)$, then analogue of HPduality theorem holds for their
intersections with another HPdual 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) HPduality 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$.
FukayaOhOhtaOno defined open GromovWitten (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 FukayaOhOhtaOno.

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 4fold $X$ with an (CalabiYau 3fold) anticanonical divisor
$Y$, we study relative DonaldsonThomas invariants for this pair, which are
elements in the DonaldsonThomas cohomologies of $Y$. We also discuss gluing
formulas which relate relative invariants and $DT_{4}$ invariants for
CalabiYau 4folds.

Let $X$ be a compact complex CalabiYau 4fold. Under certain assumptions, we
define DonaldsonThomas type deformation invariants ($DT_{4}$ invariants) by
studying moduli spaces of solutions to the DonaldsonThomas equations on $X$.
We also study sheaves counting problems on local CalabiYau 4folds. We relate
$DT_{4}$ invariants of $K_{Y}$ to the DonaldsonThomas invariants of the
associated Fano 3fold $Y$. When the CalabiYau 4fold is toric, we adapt the
virtual localization formula to define the corresponding equivariant $DT_{4}$
invariants. We also discuss the noncommutative version of $DT_{4}$ invariants
for quivers with relations. Finally, we compute $DT_{4}$ invariants for certain
CalabiYau 4folds when moduli spaces are smooth and find a $DT_{4}/GW$
correspondence for $X$. Examples of wallcrossing phenomenon in $DT_{4}$ theory
are also given.

We study orientability issues of moduli spaces from gauge theories on
CalabiYau manifolds. Our results generalize and strengthen those for
DonaldsonThomas theory on CalabiYau 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 StromingerYauZaslow's mirror symmetry proposal and
Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena
(in Amodel) of certain results from DonaldsonThomas theory for CalabiYau
4folds.

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 Gsurface 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
subvariety of the orbit of the highest weight vector in V, and both are closed
subvarieties 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, threepointed GromovWitten invariants
coincide with certain classical intersection numbers.

We obtain a growth estimate for the number of lattice points inside any
QGorenstein cone. Our proof uses the result of FutakiOnoWang on
SasakiEinstein metric for the toric Sasakian manifold associated to the cone,
a Yau's inequality, and the KawasakiRiemannRoch formula for orbifolds.

In G2 manifolds, 3dimensional associative submanifolds (instantons) play a
role similar to Jholomorphic curves in symplectic geometry. In [21],
instantons in G2 manifolds were constructed from regular Jholomorphic 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_2manifold, we construct thin instantons with boundaries lying on C and C'
from regular Jholomorphic curves in C. We explain their relationship with the
SeibergWitten invariants for C.

We study simplylaced 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_8bundle 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 CalabiYau
surface. As a consequence one obtains an enumerative meaning of the mirror map.
This involves computing genuszero open GromovWitten invariants, which is done
by relating them with closed GromovWitten invariants via compactification and
using an earlier computation by BryanLeung.

We investigate mirror symmetry for toric CalabiYau manifolds from the
perspective of the SYZ conjecture. Starting with a nontoric special Lagrangian
torus fibration on a toric CalabiYau manifold $X$, we construct a complex
manifold $\check{X}$ using Tduality modified by quantum corrections. These
corrections are encoded by Fourier transforms of generating functions of
certain open GromovWitten invariants. We conjecture that this complex manifold
$\check{X}$, which belongs to the HoriIqbalVafa 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 GromovWitten invariants in terms of local
BPS invariants and give evidences of our conjecture for several 3dimensional
examples including $K_{\proj^2}$ and $K_{\proj^1\times\proj^1}$.

We show that various genus zero GromovWitten 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 (Tequivariant) 3pointed genus zero
GromovWitten 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.