Hi-
Just saw this thread. Maybe I should comment. The conjecture
can be viewed from the perspective of various categories:
geometric, symplectic, topological. Since the argument is
physical, it was written in the most structured (geometric)
context -- but it has realizations in the other categories
too.
Geometric: this is the most difficult and vague, mathematically,
since the geometric counterpart of even a conformal field theory
is approximate in nature. For example, a SUSY sigma model with
target a compact complex manifold X is believed to lie in the
universality class of a conformal field theory when X is CY,
but the CY metric does not give a conformal field theory on
the nose -- only to one loop. Likewise, the arguments about
creating a boundary conformal field theory using minimal (CFT) +
Lagrangian (SUSY) are only valid to one loop, as well.
To understand how the corrections are organized, we should
compare to (closed) GW theory, where "corrections" to the classical
cohomology ring come from worldsheet instantons -- holomorphic
maps contributing to the computation by a weighting equal
to the exponentiated action (symplectic area). The "count"
of such maps is equivalent by supersymmetry to an algebraic
problem. No known quantity (either spacetime metric or
Kahler potential or aspect of the complex structure) is
so protected in the open case, with boundary. That's why
the precise form of the instanton corrections is unknown,
and why traction in the geometric lines has been made
in cases "without corrections" (see the work of Leung, e.g.).
Nevertheless, the corrections should take the form of
some instanton sum, with known weights. The sums seem
to correspond to flow trees of Kontsevich-Soibelman/
Moore-Nietzke-Gaiotto/Gross-Siebert, but I'm already running
out of time.
Topological: Mark Gross has proven that the dual torus
fibration compactifies to produce the mirror manifold.
Symplectic: Wei Dong Ruan has several preprints which
address dual Lagrangian torus fibrations, which come
to the same conclusion as Gross (above). I don't know
much more than that.
Also-
Auroux's treatment discusses the dual Lagrangian
torus fibration (even dual slag, properly understood)
for toric Fano manifolds, and produces the mirror
Landau-Ginzburg theory (with superpotential) from this.
With Fang-Liu-Treumann, we have used T-dual fibrations
for the same fibration to map holomorphic sheaves
to Lagrangian submanifolds, proving an equivariant version of
homological mirror symmetry for toric varieties.
(There are many other papers with similar results
by Seidel, Abouzaid, Ueda, Yamazaki, Bondal, Auroux,
Katzarkov, Orlov -- sorry for the biased view!)
Reversing the roles of A- and B-models, Chan-Leung
relate quantum cohomology of a toric Fano to the
Jacobian ring of the mirror superpotential via T-duality.
Help or hindrance?
Best Answer
Thanks, YangMills, for the references to my papers. I want to elaborate, because I disagree with the statement that mirror symmetry is given by hyperkahler rotation. It may be the case for certain choices of K3, but I think this happens by accident and that it's not a useful principle. Here is how I view mirror symmetry for K3 surfaces. Choose a rank 2 sublattice of the K3 lattice generated by $E$ and $F$ with $E^2=F^2=0, E.F=1$. Consider a K3 surface $X$ with a holomorphic $2$-form with $E.\Omega\not=0$. We can assume after rescaling $\Omega$ that $E.\Omega=1$, and then write $\Omega=F+\check B+i\check\omega \mod E$ for some classes $\check B,\check\omega$ in $E^{\perp}/E$. The K3 surface will be equipped also with a Kaehler form $\omega$ and a B-field $B$, which we write as $B+i\omega$. We choose this data in $E^{\perp}/E \otimes {\mathbb C}$, although the class of $\omega$ is determined in $E^{\perp}$ by its image in $E^{\perp}/E$ by the fact that $\omega\wedge \Omega$ must be zero. Then the mirror $\check X$ is taken to have holomorphic form $\check\Omega=F+B+i\omega\mod E$ and complexified Kaehler class $\check B+i\check\omega$.
Note that there is no particular reason to expect this new K3 surface to be a hyperkaehler rotation, as the mirror complex structure depends on $B$, which gives far too many parameters worth of choices: there is only a two-dimensional family of hyperkaehler rotation of $X$.
Note that we can hyperkaehler rotate $X$ so that special Lagrangians become holomorphic. The new holomorphic form is $\check\omega + i \omega \mod E$. If we multiply this form by $i$, we get $-\omega +i\check\omega\mod E$. A change of Kaehler form followed by another hyperkaehler rotation will give the mirror for certain choices of $B$-field, but note this involves two hyperkaehler rotations with respect to different metrics.