On the connection theory of extensions of transitive Lie groupoids (Q2489748)

A Lie groupoid is a category where object and arrow spaces are manifolds and the structure maps (source \(s\), target \(t\), mulpilication and inversion) are smooth and in addition \(t\) and \(s\) are submersions. In particular, if the object space is given by a single point, one gets a Lie group and a bundle of Lie groups is also a groupoid. A Lie groupoid \(\Omega \rightrightarrows M\) is transitive if the anchor map \((t, s): \Omega \to M \times M\) is a surjective submersion. An extension for a transitive Lie groupoid \(\Omega \rightrightarrows M\) is a pair of Lie groupoid morphisms \(F\to \Omega \to \Phi\), where \(\Phi \rightrightarrows M\) is a transitive Lie groupoid and \(F\to M\) is a bundle of Lie groups. By [\textit{K. Mackenzie}, Cah. Topologie Géom. Différ. Catég. 28, No. 1, 29--52 (1987; Zbl 0626.57015)] these extensions are related to PBG-groupoids, which are Lie groupoids \(\Upsilon \rightrightarrows P\), whose base is the total space of a principal bundle \(P(M,G)\) and satisfying several compatibility conditions. In fact, any transitive PBG-groupoid corresponds exactly to an extension of Lie groupoids \(F\to \Omega \to \frac{P \times P}{G}\). At the infinitesimal level, a PBG-groupoid corresponds to a PBG-algebroid. In the present paper, the author focuses on the classification of transitive PBG-algebroids. More precisely, he proves that transitive PBG-algebroids have flat isometabolic connections, i.e. connections which are suitably equivariant. By using this, he shows that there exist transition data satisfying certain conditions. The holonomy of isometabolic connections is also studied.