Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

July 13, 2005

Wednesday at the Streetfest I

Posted by Guest

Bouwknegt started Wednesday with an apology for not being a category theorist.

The main focus of the talk (I felt) was the “unification” of the A and B topological string theories - using, as string theorists love, duality. We are using a target space MM here which is (for now) Kaehler, and so is equipped with a complex structure and a closed two form which encodes the symplectic structure. The A model uses the symplectic structure and the B-model uses the complex structure. The way these things are (sort of) united, is to forget looking at the tangent TXTX or cotangent T *XT^*X bundles but their direct sum TXT *XTX \oplus T^*X. Robert H mentioned the pertinent papers here for what is known as generalised geometry.

The rings of observables for the two models are given by the Dolbeault (B) and quantum (A) cohomology rings. Relating this to other content of the conference, the category of D-branes is given by the derived category of bounded coherent sheaves on MM for the B model and the Fukaya category of MM for the A model (see here and here.)

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)N=(2,2) backgrounds (HH-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. TXT *XTX \oplus T^*X is equipped with a symmetric bilinear form Z+ξ,Y+η=12(ι Zη+ι Yξ) \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)O (d,d) for dd the dimension of XX.

There is a ‘Courant bracket’ on TXT *XTX \oplus T^*X given by [Z+ξ,Y+η]=[Z,Y]+L ZηL Yξ12d(ι Zηι Yξ)[ 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 13d([A,B],C+perms)\frac{1}{3} d ( \langle [ A,B ] , C \rangle + \mathrm{perms})

In the presence of a closed 3-form (the HH-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 JJ, given by two pieces in terms of JJ and J TJ^{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 JJ_J coming from the regular complex structure and one from the symlectic structure J ωJ_{\omega}, such that G=J JJωG=-J_JJ_{\omega} is a positive defintite metric on TXT *XTX\oplus T^*X.


This naturally gives rise to Lie algebroids, for example isotropic involutive subbundles of TXT *XTX \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 XX has a tGKS then there exists an N=(2,2)N=(2,2) SUSY nonlinear sigma model with target XX. By twisting we can define the topological A- and B-models with associated tGCS J JJ_J and J ω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 JJ_J (J ωJ_{\omega}).


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

David and Marni

Posted at July 13, 2005 6:57 AM UTC

TrackBack URL for this Entry:

0 Comments & 1 Trackback

Read the post Kapranov and Getzler on Higher Stuff
Weblog: The String Coffee Table
Excerpt: Lecture notes of talks by Kapranov on noncommutative Fourier transformation and by Getzler on Lie theory of L_oo algebras.
Tracked: June 22, 2006 8:02 PM

Post a New Comment