Transitive double Lie algebroids via core diagrams (Q2065150)

Double structures in geometry can be traced back to the work of Ehressmann. They were developed in the setting of Lie algebroids and Lie groupoids by Kirill C. H. Mackenzie. In these studies, the core of a double structure as such was introduced, and was shown to play a central role towards the classification of doubles. In particular, \textit{R. Brown} and \textit{K. C. H. Mackenzie} [J. Pure Appl. Algebra 80, No. 3, 237--272 (1992; Zbl 0766.22001)] showed that a locally trivial double Lie groupoid is completely determined by its core diagram. In the article under review, the authors give the infinitesimal version of this result. After showing that local triviality in [loc. cit.] can be replaced by transitivity, they introduce (transitive) core diagrams at the level of Lie algebroids, over a fixed base manifold. The principal result of the article is that transitive double Lie algebroids correspond to transitive Lie algebroid core diagrams as such. It then follows, using Mackenzie's result, that transitive transitive double Lie algebroids with integrable sides, integrate to transitive double Lie groupoids. Notably, this is a 1-step process, while the differentiation of non-transitive double Lie groupoids is a 2-step process.