does anyone wanna explain lie algebroids to me
Conversation
it’s like uhhh you take a lie groupoid and differentiate it right
1
2
yeah okay ummm...
what? does that means exactly??
2
2
okay so a lie groupoid is like a smooth manifold together with a bunch of “smooth isomorphisms” between points right? (thinking about a smooth action of a lie group helps here maybe)
you differentiate that and get infinitesimal isomorphisms between infinitesimally close points
1
1
this is the vector bundle + the anchor map in the anchor map definition; the vector bundle is “infinitesimal isomorphisms” and the map to the tangent bundle tells you which infinitesimally close points are being identified
then the lie bracket encodes composition
2
2
okay so im mostly confused about the lie bracket part... ummmm
2
1
so uhh what is a lie bracket?
i think of it like
derivation (of a bilinear form) = the kind of thing that you can formally exponentiate to get an automorphism of that bilinear form
the jacobi identity says that [X,-] acts via derivations on the lie algebra itself...
1
1
Replying to
yep, and that exponentiates to the adjoint action of G on g
Replying to
umm okay so a lie algebroid consists of
-a vector bundle together with a lie algebra structure on its space of sections
plus some other stuff that im not gonna think about rn
this should be the lie algebra of some lie group?
1
like if i have the tangent lie algebroid on X, then the global sections give me the lie algebra of Diffeo(X), right?
umm "lie group" should be quotes there cuz it's some infinite dimensional thing but like... yah
1
Show replies