LIE ALGEBROID Lie Algebroids Were First Introduced and Studied by J
Total Page:16
File Type:pdf, Size:1020Kb
LIE ALGEBROID tangent bundle along the leaves of a foliation, is also a Lie algebroid. Lie algebroids were first introduced and studied by 3. A vector bundle with a smoothly varying Lie J. Pradines [11], following work by C. Ehresmann algebra structure on the fibers (in particular, a Lie- and P. Libermann on differentiable groupoids (later algebra bundle [8]) is a Lie algebroid, with pointwise called Lie groupoids). Just as Lie algebras are the bracket of sections and zero anchor. 4. If M is a Poisson manifold then the cotangent infinitesimal objects of Lie groups, Lie algebroids are ∗ the infinitesimal objects of Lie groupoids. They bundle T M of M is, in a natural way, a Lie algebroid ] ∗ are generalizations of both Lie algebras and tan- over M. The anchor is the map P : T M → TM gent vector bundles. For a comprehensive treat- defined by the Poisson bivector P . The Lie bracket [ , ]P of differential 1-forms satisifes [df, dg]P = ment and lists of references, see [8], [9]. See also [1], ∞ [4], [6], [13], [14]. d{f,g}P , for any functions f,g ∈ C (M), where {f,g} = P (df, dg) is the Poisson bracket of func- A real Lie algebroid (A, [ , ]A, qA), is a smooth real P vector bundle A over base M, with a real Lie alge- tions, defined by P . When P is nondegenerate, M is a symplectic manifold and this Lie algebra structure bra structure [ , ]A on the vector space Γ(A) of the ∗ smooth global sections of A, and a morphism of vec- of Γ(T M) is isomorphic to that of Γ(TM). For refer- ences to the early occurrences of this bracket, which tor bundles qA : A → TM, where TM is the tangent bundle of M, called the anchor, such that seems to have first appeared in [3], see [4], [6] and [13]. It was shown in [2] that [ , ]P is a Lie algebroid ∗ • [X,fY ]A = f[X, Y ]A + (qA(X).f) Y , for all bracket on T M. X, Y ∈ Γ(A) and f ∈ C∞(M), 5. The Lie algebroid of a Lie groupoid (G,α,β), where α is the source map and β is the target map [11] • qA defines a Lie algebra homomorphism from the [8] [13]. It is defined as the normal bundle along the Lie algebra of sections of A, with Lie bracket base of the groupoid, whose sections can be identified [ , ]A, into the Lie algebra of vector fields on M. with the right-invariant, α-vertical vector fields. The bracket is induced by the Lie bracket of vector fields Complex Lie algebroid structures [1] on complex vec- on the groupoid, and the anchor is Tβ. tor bundles over real bases can be defined similarly, 6. Atiyah sequence. If P is a principal bundle replacing the tangent bundle of the base by the com- with structure group G, base M and projection p, plexified tangent bundle. the G-invariant vector fields on P are the sections of The space of sections of a Lie algebroid is a Lie- a vector bundle with base M, denoted TP/G, and Rinehart algebra, also called a Lie d-ring or a Lie sometimes called the Atiyah bundle of the principal pseudoalgebra. (See [4], [6], [9].) More precisely, it bundle P . This vector bundle is a Lie algebroid, with is an (R, A)-Lie algebra, where R is the field of real bracket induced by the Lie bracket of vector fields on (or complex) numbers, and A is the algebra of func- P , and with surjective anchor induced by Tp. The tions on the base manifold. In fact, the Lie-Rinehart kernel of the anchor is the adjoint bundle, (P ×g)/G. algebras are the algebraic counterparts of the Lie al- Splittings of the anchor are connections on P . The gebroids, just as the modules over a ring are the al- Atiyah bundle of P is the Lie algebroid of the Ehres- gebraic counterparts of the vector bundles. mann gauge groupoid (P × P )/G . If P is the frame Examples bundle of a vector bundle E, then the sections of the 1. A Lie algebroid over a one-point set, with the Atiyah bundle of P are the covariant differential op- zero anchor, is a Lie algebra. erators on E, in the sense of [8]. 2. The tangent bundle, TM, of a manifold M, 7. Other examples are the trivial Lie algebroids with bracket the Lie bracket of vector fields and with TM × g, the transformation Lie algebroids M × g → anchor the identity of TM, is a Lie algebroid over M. M, where Lie algebra g acts on manifold M, the de- Any integrable sub-bundle of TM, in particular the formation Lie algebroid A × R of a Lie algebroid A, 1 where A ×{~}, for ~ 6= 0, is isomorphic to A, and Lie bialgebroids [10] [5] are pairs of Lie algebroids A ×{0} is isomorphic to vector bundle A with the (A, A∗) in duality satisfying the compatibility condi- abelian Lie algebroid structure (zero bracket and zero tion that dA∗ be a derivation of the graded Lie bracket anchor), the prolongation Lie algebroids of a Lie al- [ , ]A. They generalize the Lie bialgebras in the gebroid, etc. sense of V. G. Drinfel’d (see quantum groups and de Rham differential. Given any Lie algebroid A,a Poisson Lie groups) and also the pair (TM,T ∗M), differential dA is defined on the graded algebra of sec- where M is a Poisson manifold. tions of the exterior algebra of the dual vector bundle, There is no analogue to Lie’s third theorem in the Γ(V A∗), called the de Rham differential of A. Then ∗ case of Lie algebroids, since not every Lie algebroid Γ(V A ) can be considered as the algebra of functions can be integrated to a global Lie groupoid, although on a supermanifold, dA being an odd vector field there are local versions of this result. (See [8], [1].) with square zero [12]. If A is a Lie algebra g, then dA is the Chevalley- References Eilenberg cohomology operator on V(g∗). If A = TM, then dA is the usual de Rham differ- [1] Cannas da Silva, A., and Weinstein, A.: Geo- ential on forms. metric Models for Noncommutative Algebras ∗ , Berke- If A = T M is the cotangent bundle of a Poisson ley Math. Lect. Notes 10, Amer. Math. Soc., 1999. manifold, then dA is the Lichnerowicz-Poisson differ- [2] Coste, A., Dazord, P., and Weinstein, ential [P, . ]A on fields of multivectors on M. A.: ‘Groupo¨ıdes symplectiques’, Publications du Schouten algebra. Given any Lie algebroid A, on D´epartement de Math´ematiques, Universit´eClaude the graded algebra of sections of the exterior algebra Bernard-Lyon I, 2A (1987), 1-62. of vector bundle A, Γ(V A), there is a Gerstenhaber [3] Fuchssteiner, B.: ‘The Lie algebra structure of de- algebra structure (see Poisson algebra), denoted by generate Hamiltonian and bi-Hamiltonian systems’, [ , ]A. With this graded Lie bracket, Γ(V A) is called Prog. Theor. Phys. 68 (1982), 1082-1104. the Schouten algebra of A. [4] Huebschmann, J.: ‘Poisson cohomology and quan- If A is a Lie algebra g, then [ , ]A is the algebraic tization’, J. Reine Angew. Math. 408 (1990), 57-113. Schouten bracket on V g. [5] Kosmann-Schwarzbach, Y.: ‘Exact Gerstenhaber If A = TM, then [ , ]A is the usual Schouten algebras and Lie bialgebroids’, Acta Appl. Math. 41 bracket of fields of multivectors on M. (1995), 153-165. ∗ If A = T M is the cotangent bundle of a Poisson [6] Kosmann-Schwarzbach, Y., and Magri, F.: manifold, then [ , ]A is the Koszul bracket [7] [13] [5] ‘Poisson-Nijenhuis structures’, Ann. Inst. Henri of differential forms. Poincar´e, Phys. Th´eor. 53 (1990), 35-81. Morphims of Lie algebroids and the linear Poisson [7] Koszul, J.-L.: ‘Crochet de Schouten-Nijenhuis et structure on the dual. A base-preserving morphism cohomologie’, Ast´erisque, hors s´erie (1985), 257-271. from Lie algebroid A1 to Lie algebroid A2, over the [8] Mackenzie, K.: Lie Groupoids and Lie Algebroids same base M, is a base-preserving vector-bundle mor- in Differential Geometry, Cambridge Univ. Press, phism, µ : A1 → A2, such that qA2 ◦µ = qA1 , inducing 1987. a Lie-algebra morphism from Γ(A1) to Γ(A2). [9] Mackenzie, K.: ‘Lie algebroids and Lie pseudoal- ∗ If A is a Lie algebroid, the dual vector bundle A gebras’, Bull. London Math. Soc. 27 (1995), 97-147. is a Poisson vector bundle. This means that the total ∗ [10] Mackenzie, K., and Xu, P.: ‘Lie bialgebroids and space of A has a Poisson structure such that the Poisson groupoids’, Duke Math. J. 73 (1994), 415- Poisson bracket of two functions which are linear on 452. the fibers is linear on the fibers. A base-preserving [11] Pradines, J.: ‘Th´eorie de Lie pour les groupo¨ıdes morphism from vector bundle A1 to vector bundle diff´erentiables. Calcul diff´erentiel dans la cat´egorie A2 is a morphism of Lie algebroids if and only if its des groupo¨ıdes infinit´esimaux’, Comptes rendus transpose is a Poisson morphism. Acad. Sci. Paris 264 A (1967), 245-248. 2 [12] Vaintrob, A.: ‘Lie algebroids and homological vec- tor fields’, Russ. Math. Surv. 52 (1997), 428-429. [13] Vaisman, I.: Lectures on the Geometry of Poisson Manifolds, Birkh¨auser, 1994. [14] Weinstein, A.: Poisson Geometry, Diff. Geom. Appl. 9 (1998), 213-238. Yvette Kosmann-Schwarzbach AMS Classification: 58H05, 58A99, 17B66, 17B70, 53C15, 14F40, 22A22. to appear in Encyclopaedia of Mathematics (Supplement II), Kluwer 3.