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
Replying to
hmm well for an action lie algebroid coming from an action by G it should just be the lie bracket on g, that case at least reduces to the usual lie algebra story