Differentiating groupoids
arXiv:2309.00901 · doi:10.1016/j.matpur.2026.103880
Abstract
Differentiating an Lie -groupoid via the differential-geometric fat point a priori only yielads a presheaf of graded manifolds. In this article we prove that this presheaf is representable by the tangent complex of the Lie -groupoid. As an immediate consequence we obtain that the tangent complex carries the structure of a Lie -algebroid.
34 pages, to appear in JMPA