Lie algebroid

Lie algebroid

In mathematics, Lie algebroids serve the same role in the theory of Lie groupoids that Lie algebras serve in the theory of Lie groups: reducing global problems to infinitesimal ones. Just as a Lie groupoid can be thought of as a "Lie group with many objects", a Lie algebroid is like a "Lie algebra with many objects".

More precisely, a Lie algebroidis a triple (E, [cdot,cdot] , ho) consisting of a vector bundle E over a manifold M, together with a Lie bracket [cdot,cdot] on its module of sections Gamma (E) and a morphism of vector bundles ho: E ightarrow TM called the anchor. Here TM is the tangent bundle of M. The anchor and the bracket are to satisfy the Leibniz rule:

: [X,fY] = ho(X)fcdot Y + f [X,Y]

where X,Y in Gamma(E), fin C^infty(M) and ho(X)f is the derivative of f along the vector field ho(X). It follows that

: ho( [X,Y] )= [ ho(X), ho(Y)]

for all X,Y in Gamma(E).

Examples

* Every Lie algebra is a Lie algebroid over the one point manifold.

* The tangent bundle TM of a manifold M is a Lie algebroid for the Lie bracket of vector fields and the identity of TM as an anchor.

* Every integrable subbundle of the tangent bundle — that is, one whose sections are closed under the Lie bracket — also defines a Lie algebroid.

* Every bundle of Lie algebras over a smooth manifold defines a Lie algebroid where the Lie bracket is defined pointwise and the anchor map is equal to zero.

* To every Lie groupoid is associated a Lie algebroid, generalizing how a Lie algebra is associated to a Lie group (see also below). For example, the Lie algebroid TM comes from the pair groupoid whose objects are M, with one isomorphism between each pair of objects. Unfortunately, going back from a Lie algebroid to a Lie groupoid is not always possible [Marius Crainic, Rui L. Fernandes: Integrability of Lie brackets, available as [http://arxiv.org/abs/math/0105033 arXiv:math/0105033] ] , but every Lie algebroid gives a stacky Lie groupoid [Hsian-Hua Tseng and Chenchang Zhu, Integrating Lie algebroids via stacks, available as [http://arxiv.org/abs/math/0405003 arXiv:math/0405003] ] [Chenchang Zhu, Lie II theorem for Lie algebroids via stacky Lie groupoids, available as [http://arxiv.org/abs/math/0701024 arXiv:math/0701024] ] .

* Given the action of a Lie algebra g on a manifold M, the set of g -invariant vector fields on M is a Lie algebroid over the space of orbits of the action.

* Atiyah algebroid. Given a vector bundle V over a smooth manifold M consider its derivations, i.e. smooth Bbb R-linear maps psi:Gamma(V) o Gamma(V) for which exists a vector field "X" such that they fulfill the Leibniz rule psi(fv)=X [f] v+fpsi(v) for all smooth functions "f" and all sections "v" into the vector bundle. The association psi o X is clearly linear and thus comes from a map of vector bundles ho:A(V) o TM (if you find the bundle whose sections give the derivations). The Atiyah algebroid is further characterized by fitting into the following short exact sequence: 0 o mathrm{End}_M(V) o A(V) o TM o 0 To see that the Atiyah algebroid exists for every vector bundle note that it is the Lie algebroid associated to the Lie groupoid coming from the frame bundle of the vector bundle "V".

Lie algebroid associated to a Lie groupoid

To describe the construction let us fix some notation. "G" is the space of morphisms of the Lie groupoid, "M" the space of objects, e:M o G the units and t:G o M the target map.

T^tG=igcup_{pin M}T(t^{-1}(p))subset TG the "t"-fiber tangent space. The Lie algebroid is now the vector bundle A:=e^*T^tG. This inherits a bracket from "G", because we can identify the "M"-sections into "A" with left-invariant vector fields on "G". Further these sections act on the smooth functions of "M" by identifying these with left-invariant functions on "G".

As a more explicit example consider the Lie algebroid associated to the pair groupoid G:=M imes M. The target map is t:G o M: (p,q)mapsto p and the units e:M o G: pmapsto (p,p). The "t"-fibers are p imes M and therefore T^tG=igcup_{pin M}p imes TM subset TM imes TM. So the Lie algebroid is the vector bundle A:=e^*T^tG=igcup_{pin M} T_pM=TM. The extension of sections "X" into "A" to left-invariant vector fields on "G" is simply ilde X(p,q)=0oplus X(q) and the extension of a smooth function "f" from "M" to a left-invariant function on "G" is ilde f(p,q)=f(q). Therefore the bracket on "A" is just the Lie bracket of tangent vector fields and the anchor map is just the identity.

Of course you could do an analog construction with the source map and right-invariant vector fields/ functions. However you get an isomorphic Lie algebroid, with the explicit isomorphism i_*, where i:G o G is the inverse map.

References

External links

Alan Weinstein, Groupoids: unifying internal and external symmetry, "AMS Notices", 43 (1996), 744-752. Also available as [http://arxiv.org/abs/math/9602220 arXiv:math/9602220]

Kirill Mackenzie, "Lie Groupoids and Lie Algebroids in Differential Geometry", Cambridge U. Press, 1987.

Kirill Mackenzie, "General Theory of Lie Groupoids and Lie Algebroids", Cambridge U. Press, 2005

Charles-Michel Marle, "Differential calculus on a Lie algebroid and Poisson manifolds" (2002). Also available in [http://arxiv.org/abs/0804.2451v1 arXiv:0804.2451]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Algebroid — In mathematics, algebroid may mean*algebroid branch, a formal power series branch of an algebraic curve *algebroid multifunction *Lie algebroid in the theory of Lie groupoids *algebroid cohomology …   Wikipedia

  • Lie groupoid — In mathematics, a Lie groupoid is a groupoid where the set Ob of objects and the set Mor of morphisms are both manifolds, the source and target operations:s,t : Mor o Ob are submersions, and all the category operations (source and target,… …   Wikipedia

  • Courant algebroid — In a field of mathematics known as differential geometry, a Courant algebroid is a combination of a Lie algebroid and a quadratic Lie algebra. It was originally introduced in 1990 by Theodore James Courant in his dissertation at UC Berkeley where …   Wikipedia

  • List of Lie groups topics — This is a list of Lie group topics, by Wikipedia page. Contents 1 Examples 2 Lie algebras 3 Foundational results 4 Semisimple theory …   Wikipedia

  • List of Lie group topics — This is a list of Lie group topics, by Wikipedia page. Examples See Table of Lie groups for a list *General linear group, special linear group **SL2(R) **SL2(C) *Unitary group, special unitary group **SU(2) **SU(3) *Orthogonal group, special… …   Wikipedia

  • Courant bracket — In a field of mathematics known as differential geometry, the Courant bracket is a generalization of the Lie bracket from an operation on the tangent bundle to an operation on the direct sum of the tangent bundle and the vector bundle of p forms …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • Groupoid — dablink|This article is about groupoids in category theory. For the algebraic structure with a single binary operation see magma (algebra). In mathematics, especially in category theory and homotopy theory, a groupoid is a simultaneous… …   Wikipedia

  • Séminaire Nicolas Bourbaki (1950–1959) — Continuation of the Séminaire Nicolas Bourbaki programme, for the 1950s. 1950/51 series *33 Armand Borel, Sous groupes compacts maximaux des groupes de Lie, d après Cartan, Iwasawa et Mostow (maximal compact subgroups) *34 Henri Cartan, Espaces… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”