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.

May 4, 2005

PSM and Algebroids, Part III

Posted by Urs Schreiber

I have just returned from visiting Thomas Strobl at Jena University, where we talked about algebroids, gerbes, categorified gauge theory, and generalized geometry and how it all fits together. I have learned a lot in these discussions and have gotten a little closer to seeing the big picture, also thanks to the valuable pointers to the literature by Melchior Grützmann and Branislav Jurčo. Here I’ll list some useful and interesting facts – except for those that are top-secret…

(Please note that all my attributions in the following reflect only my level of awareness of the literature. I’d be grateful for corrections and further pointers to the literature.)

[Note: Users of non-Mac machines might have to download a new font in order to properly view all mathematical symbols in the following. More general information can be found here.]

Let V= nV n be any -graded vector space with V n=0 n<1 ,np for some p, and with a nilpotent linear operator δ:V nV n1 of grade 1 such that we have a complex 0 V p1 δV 3 δV 2 δV 1 δV 0 δV 1 0 .

Then the following structures all encode precisely the same information:

  1. a p-algebroid structure on V
  2. a graded differential algebra on ΛV *
  3. an L -algebra on V (aka a strong(ly) homotopy Lie algebra structure, aka an sh Lie algebra structure on V).
  4. a semistrict Lie p-algebra whose space of n-morphisms is V n (and which would be called a Lie p-algebroid when V 1 0 ).

Here is how and why these are all the same:

The equivalence of 1) and 4) for p1 was the content of the first row of the table that I mentioned in part I, which was taken from HDA6.

In order to see this translate a 1-algebroid A= { EM, EρTM, [,]:Γ(E)×Γ(E)Γ(E) } into an L algebra as follows:

  • set V 0 =Γ(E)
    - set V 1 =Γ(TM)
  • set l 1 =ρ
  • set l 2 :V 0 ×V 0 V 0 (e 1 ,e 2 ) [e 1 ,e 2 ] where the bracket on the right is that on Γ(E), and l 2 :V 0 ×V 1 V 1 (e,t) [ρ(e),t], where now the bracket on the right is the Lie bracket of vector fields in Γ(TM). (Thanks to Thomas and Melchior for pointing this out to me. It is really very obvious, but I was confused about this point for a while.)

The equivalence of L -algebras with semistrict Lie p-algebras (which are p-fold categorified Lie algebras) is a result of general abstract nonsense using L -operads which is discussed at the beginning of section 4.3 in HDA6. For the special case p=2 and V 1 =0 the detailed proof for the equivalence of the categories semistrict Lie 2-algebras and L algebas on V is that of theorem 36 in that paper.

The equivalence between L algebras on V and differential graded algebras on ΛV * is a consequence of theorem 2.3 in

Tom Lada & Martin Markl
Strongly Homotopy Lie Algebras
hep-th/9406095

which makes use of the theorem on the top of p. 8 in

Tom Lada & Jim Stasheff
Introduction to sh Lie Algebras for Physicists
hep-th/9209099

and which I stated here in the form as for instance given in the remark below definition 5 on p.7 of

G. Barnich, R. Fulp, T. Lada & J. Stasheff
The sh Lie Structure of Poisson Brackets in Field Theory
hep-th/9702176

The idea here is beautifully simple, all the trouble comes from keeping track of the signs: An ordinary Lie algebra has a single bracket l 2 (,)[,]:V×VV. For an L -algebra this is generalized to an infinite family of n-ary ‘brackets’ l n(): nVV which are of grade n2 . These can be extended to coderivations l̂ n of the algebra ΛV regarded as a coalgebra (see the above two papers for the details) such that the defining property of the L -algebra (V,{l n} n) simply reads i,jl̂ il̂ j=0 . This of course means that we have a nilpotent operator D= il̂ i which again defines a nilpotent operator Q on ΛV * (I am glossing over sign issues related to redefining the grading by a shift here and there) given by Qω(v 1 ,v 2 ,,v n)= iω(l̂ i(v 1 ,v 2 ,,v n)). For the algebroid case where V 1 0 one has to interpret ω(l 1 (v 1 V 0 ),)) as ρ(v)(ω()). Then one reobtains for p=1 the usual dual formulation of the definition of a (1-)algebroid (which I mentioned in part I)

It is noteworthy that what is called the Courant algebroid is a special case of a Lie 2-algebroid 0 V 1 δV 0 δV 1 0 .

This is discussed in section 2.4 of the thesis

Dmitry Roytenberg
Courant Algebroids, Derived Brackets and Even Symplectic Supermanifolds
math.DG/9910078

which I mentioned last time.

As Roytenberg points out on the top of p. 17 of the above thesis, the family of Courant algebroids over a point, i.e. of those with V 1 =0 , is the same as the family of semistrict Lie 2 -algebras called 𝔤 k as defined by Baez and Crans in HDA6. As I had mentioned these could recently been shown to be equivalent to infinite dimensional Lie 2 -algebras which are, for the case that 𝔤=Lie(Spin(n)) related to the group String(n). See for instance John Baez’s Irvine Algebra Seminar talk on this.

Thomas Strobl emphasizes the fact that the description of Lie p-algebroids in terms of differential graded algebras on ΛV * with differential Q is from many points of views the most elegant and convenient one. It leaves us with just a complex 0 Λ 0 V *QΛ 1 V *QΛ 2 V *Q and all the rather dodgy relations of an L are encoded in Q 2 =0 . Also, p-algebroid morphisms in this language simply become chain maps between these complexes and 2-morphisms become chain homotopies between these. This gives an extremely elegant language to talk about equations of motion and gauge transformation of the Poisson Sigma Model (PSM) and related systems. This is described in detail in

Martin Bojowald, Alexeij Kotov & Thomas Strobl
Lie Algebroid Morphisms, Poisson Sigma Models, and Off-Shell Closed Gauge Symmetries
math.DG/0406445

It turns out that in general the equations of motion of these σ-models specify morphisms between Lie (p-)algebroids. For the Courant algebroid (p=2 ) this is discussed in

Alexei Kotov, Peter Schaller & Thomas Strobl
Dirac Sigma Models
hep-th/0411112

This formalism suggests a way how to formulate Yang-Mills-like theories using algebroids instead of algebras, which is discussed in

Thomas Strobl
Algebroid Yang-Mills Theories
hep-th/0406215

For 2 -algebroids these contain (possibly nonabelian) 2 -form fields. One very attractive aspect of this approach is that using the language of differential graded algebras the treatment of gauge transformations and invariances of action functionals for such theories, which has been a source of trouble before, becomes much more transparent.

When taking algebroids over a point these p-algebroid YM theories reduce to Lie p-algebra YM-like theories. It seems to me that the algebroid case would correspond to what should be obtained by replacing the structure 2-group in 2-bundles with 2-connection by a (weak) 2-groupoid, but that needs more thinking.

What is however more or less clear already is the relation of algebroids to abelian (p1 )-gerbes and hence to abelian p-bundles. This is discussed in section 3.8 of

Marco Gualtieri
Generalized Complex Geometry
math.DG0401221

Given any base manifold M there are Lie p-algebroids coming from the bundle TMΛ (p1 )T *M and these describe abelian p-gerbes.

For p=1 we have an ordinary Lie (1-)algebroid TM1 ρM which characterizes a (possibly twisted) U(1 ) principal (1-)bundle (= possibly twisted 0-gerbe) over M.

For p=2 we have the Courant algebroid (a 2-algebroid) given by TMT *MρM which characterizes a (possibly twisted) U(1 )-2-bundles (U(1 )-(1-)gerbe) over M.

This algebroid is at the heart of Hitchin’s generalized geometry and it knows all about the Kalb-Ramond B-field in string theory. For instance in

Anton Alekseev & Thomas Strobl
Current Algebras and Differential Geometry
hep-th/0410183

it is shown how a Courant algebroid can be reconstructed from knowledge of the current algebra of 2 Dσ-models with 2 -form backgrounds.

Abelian 3-bundles/2-gerbes (which should describe the supergravity 3-form like abelian 1-gerbes describe the KR 2-form) are related to 3-algebroids TMΛ 2 T *MM, and so on. (Which answers Luboš’s remark at the very end of his entry on generalized geometry.)

Posted at May 4, 2005 9:35 AM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/565

0 Comments & 6 Trackbacks

Read the post RR-Forms and Algebroids
Weblog: The String Coffee Table
Excerpt: RR forms and free graded differential algebras.
Tracked: April 12, 2006 5:13 PM
Read the post Castellani on FDA in SuGra: gauge 3-group of M-Theory
Weblog: The String Coffee Table
Excerpt: Castellani uses free differential algebra, and implictly Line n-algebra connections, for understanding the symmetries of 11D supergravity.
Tracked: June 12, 2006 11:24 PM
Read the post Higher Morphisms of Lie n-Algebras and L-infinity Algebras
Weblog: The n-Category Café
Excerpt: On higher morphisms of Lie n-algebras, and higher homotopies between L_oo algebras.
Tracked: February 15, 2007 4:11 PM
Read the post Poisson-Sigma Models, Lie Algebroids, Deformations and Higher Analogues in Vienna
Weblog: The n-Category Café
Excerpt: Announcement of ESI Workshop on Lie Algebroids in Summer 2007.
Tracked: May 4, 2007 4:54 PM
Read the post Zoo of Lie n-Algebras
Weblog: The n-Category Café
Excerpt: A menagerie of examples of Lie n-algebras and of connections taking values in these, including the String 2-connection and the Chern-Simons 3-connection.
Tracked: May 10, 2007 6:09 PM
Read the post On BV Quantization. Part I.
Weblog: The n-Category Café
Excerpt: On BV-formalism applied to Chern-Simons theory and its apparent relation to 3-functorial extentended QFT.
Tracked: August 17, 2007 10:43 PM

Post a New Comment