The String Coffee Table

Mirror symmetry interchanges the A and B models, much as T-duality interchanges IIA and IIB. One of the main problems is that there are general $N=(2,2)$ backgrounds ($H$-flux) which don’t have a Kaehler target space. Generalised geometry includes as special cases Kaehler and symplectic structures and other, “perturbed”, cases. I’m not sure if it is known that gen. geom. extrapolates between the two structures - i.e. if the moduli space of generalised complex structures (more on those in a minute) is connected.

———

So this physics (if you think it’s physics) is a motivation for understanding Hitchin-Gualtieri generalised geometry. $TX \oplus T^*X$ is equipped with a symmetric bilinear form $$\langle Z + \xi , Y + \eta \rangle = \frac{1}{2} (\iota_{Z} \eta + \iota_{Y} \xi)$$ The symmetries of this are given by the orthogonal group $O (d,d)$ for $d$ the dimension of $X$.

There is a ‘Courant bracket’ on $TX \oplus T^*X$ given by $$[ Z + \xi , Y + \eta ] = [ Z , Y ] + \mathit{L}_{Z} \eta - \mathit{L}_{Y} \xi - \frac{1}{2} d(\iota_{Z} \eta - \iota_{Y} \xi)$$ This does not satisfy a Jacobi identity (or Leibniz rule), but differs by $$\frac{1}{3} d ( \langle [ A,B ] , C \rangle + \mathrm{perms})$$

In the presence of a closed 3-form (the $H$-flux) we can twist the Courant bracket. Then we were given a definition of ‘generalised almost complex structure’, an example of which is, given an almost complex structure $J$, given by two pieces in terms of $J$ and $J^{T}$. This can be twisted, using the twisted Courant bracket. Then there is a (possibly twisted) generalised Calabi-Yau structure and finally a (possibly twisted) generalised Kaehler structure (tGKS).

—–

The consituents of a tGKS are a twisted generalised complex structure $J_J$ coming from the regular complex structure and one from the symlectic structure $J_{\omega}$, such that $G=-J_JJ_{\omega}$ is a positive defintite metric on $TX\oplus T^*X$.

—–

This naturally gives rise to Lie algebroids, for example isotropic involutive subbundles of $TX \oplus T^*X$, and a consideration of cohomology for these, and the idea that the physical states of the B model are in terms of this Dolbeaut cohomology.

—-

If $X$ has a tGKS then there exists an $N=(2,2)$ SUSY nonlinear sigma model with target $X$. By twisting we can define the topological A- and B-models with associated tGCS $J_J$ and $J_{\omega}$ respectively. The cool thing is that observations of the A-model (B-model) are given by the Lie algebroid cohomology of the Lie algebroid associated to $J_J$ ($J_{\omega}$).

—-

Bouwknegt finished with the question: can we associate a triangulated category to a twisted generalised complex structure?

David and Marni