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.

April 14, 2005

PSM and Algebroids, Part I

Posted by urs

There seem to be interesting relations of the Poisson σ-model (PSM) and of Lie algebroids to all kinds of things that I am interested in. So I should begin to learn about them. Here’s a start.

In the context of categorification, algeboids show up as one member among the family of k-tuply stabilized Lie n-algebras. As discussed in

J. Baez & A. Crans
Higher-dimensional Algebra VI: Lie 2-Algebras
math.QA/0307263

these fit into an infinite table which begins like this:

(1) n=0 n=1 n=2 k=0 vectorbundles Lie algebroids Lie 2-algebroids k=1 Lie algebras Lie 2-algebras Lie 3-algebras k=2 abelian Lie algebras braided Lie 2-algebras braided Lie 3-algebras.

It is easy to give a nice definition of a groupoid: this is just a category in which all morphisms are isomorphism. In other words, this is a set of objects over each of which lives a group G and which are mutually connected by group automorphisms in Aut(G). If the space of morphisms and objects as well as the source and target maps between them are all smooth, we have a Lie groupoid. One example is the Lie groupoid of smooth paths in some manifold.

A Lie algebroid should be the infinitesimal version of a Lie groupoid just like a Lie algebra is the infinitesimal version of a Lie group. However, it seems that nobody knows a similarly nice way to define an algebroid, really, and so the standard definition is instead the following:

A Lie algebroid is a vector bundle

(2)AM

over a manifold M together with a Lie algebra structure [.,.] on the space Γ(A) of smooth sections of A, and a bundle map a:ATM (called the anchor), extended to a map between sections of these bundles, such that

i) a([X,Y])=[a(X),a(Y)]

ii) [X,fY]=f[X,Y]+(a(X)f)Y

for any smooth section X and Y of A and any smooth function f on M.

So in other words this is a vector bundle over M with a Lie bracket on its sections which has a representation on the space of vector fields over M.

You can find this definition for instance in

Ping Xu
Gerstenhaber algebras and BV-algebras in Poisson Geometry
dg-ga/9703001

As the above table already suggests, there is a web of interesting relations of algebroids to all kinds of special algebras like differential algebras, Gerstenhaber algebras and BV-algebras.

In fact, maybe surprisingly at first sight, the above definition of the Lie algebroid A is equivalent to saying that the space of smooth sections of the exterior power bundle ΛA * is a differential graded algebra. The proof for this essentially amounts to realizing that this is the dual of the statement above in that we go from the differential graded algebra of the exterior cotangent bundle of M to a more general vector bundle.

One of the more important examples for Lie algebroids are those coming from Poisson manifolds M with Poisson tensor 𝒫. Here we can choose the bundle A=T *M as the cotangent bundle of M and the anchor map

(3)a(ω)=𝒫ω.

Now, there is a famous 2-dimensional σ model with target space M a Poisson manifold known as the Poisson σ-model. Its field content is the embedding map

(4)X:ΣM

and a covector-valued worldsheet 1-form α, which together can be thought of as defining a vector bundle morphism

(5)ϕ:TΣT *M,

where, since the target is Poisson, we can think of both of these vector bundles as Lie algebroids of the above type.

The action functional S is given by

(6)S= Σ(α idX i+1 2 𝒫 ijα iα j)

and it turns out that the equations of motion following from this say that ϕ is not just a vector bundle morphism but in fact a Lie algebroid morphism respecting the algebroid structure.

Thomas Strobl is an expert on this stuff and has lots of papers on this topic. The above for instance can be found in the introductory sections of

M. Bojowald, A. Kotov & Th. Strobl
Lie algebroid morphisms, poisson Sigma Models, and off-shell closed gauge symmetries
math.DG/0406445

This is related to all kinds of things like Chern-Simons theory, topological strings, generalized complex geometry. Maybe I can mention some of that later, but since I am running out of time for now all I will do is refer to the general literature.

Posted at April 14, 2005 2:15 PM UTC

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

0 Comments & 6 Trackbacks

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:25 PM
Read the post SuGra 3-Connection Reloaded
Weblog: The n-Category Café
Excerpt: Discussion of n-category description of supergravity continued.
Tracked: August 17, 2006 7:49 PM
Read the post n-Transport and higher Schreier Theory
Weblog: The n-Category Café
Excerpt: Understanding n-transport in terms of Schreier theory for groupoids.
Tracked: September 5, 2006 3:22 PM
Read the post Kosmann-Schwarzbach & Weinstein on Lie Algebroid Classes
Weblog: The n-Category Café
Excerpt: Kosmann-Schwarzbach on classes of Lie algebroids generalizing the character of a Lie algebra.
Tracked: October 10, 2006 1:28 PM
Read the post PSM and Algebroids, Part II
Weblog: The String Coffee Table
Excerpt: How Courant algebroids gives rise to L_infinity algebras.
Tracked: January 17, 2007 7:39 PM
Read the post Differentiating Lie Groupoids to Lie Algebroids
Weblog: The n-Category Café
Excerpt: On an attempt to find a nice way to formulate the definition of the Lie algebroid obtained from a Lie groupoid.
Tracked: March 14, 2007 9:49 PM

Post a New Comment