On integrability of infinitesimal actions (Q4551027)

The authors prove the integrability for a substantial family of Lie algebroids associated to infinitesimal actions of one algebroid on another as described in \textit{P. J. Higgins} and \textit{K. C. H. Mackenzie} [J. Algebra 129, 194-230 (1990; Zbl 0696.22007)]. The main results are stated as follows: Let \(\mathfrak g\) and \(\mathfrak h\) be integrable Lie algebroids and let \(\mathfrak g\ltimes\mathfrak h\) denote a semi-direct product with respect to an infinitesimal action of \(\mathfrak g\) on \(\mathfrak h\) (Theorem 5.1). If \({\mathfrak h}\) is a foliation, then \(\mathfrak g\ltimes\mathfrak h\) is integrable for any infinitesimal action of \(\mathfrak g\) on \(\mathfrak h\) (Corollary 5.4). If \(\mathfrak g\) and \(\mathfrak h\) are Lie algebroids of source-simply connected Lie groupoids \(G\rightrightarrows G_0\) and \(H\rightrightarrows H_0\) respectively, and if \(\mathfrak g\) acts on \(\mathfrak h\) along a proper map \(q: H_0\to G_0\), then there exists an action of \(G\) on \(H\) and \(\mathfrak g\ltimes\mathfrak h\) is isomorphic to the Lie algebroid of the semi-direct product groupoid \(G\ltimes H\) with respect to the groupoid action (Theorem 5.7). If \(\mathfrak h\) is a Lie algebroid of a Hausdorff Lie groupoid \(H\) and if the source map \(\alpha: H_1\to H_0\) is proper, then the semi-direct product with respect to any infinitesimal action of \(\mathfrak g\) on \(\mathfrak h\) is integrable. In the proofs the authors use foliations and connections on principal Lie groupoid bundles. They also give a concise review of the Lie theory for groupoids including main examples and a uniform treatment of some basic results, such as the source-simply connected cover.