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
Replying to
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
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
so e.g. the tangent lie algebroid, where the bundle is the tangent bundle itself, with anchor the identity, is trying to identify *all* infinitesimally nearby points; it formally exponentiates to the “path lie groupoid” PX given by all smooth paths
1
Show replies