The equivalence of principal bundles with transitive Lie groupoids due to Ehresmann is a well known result. A remarkable generalisation of this equivalence, due to Mackenzie, is the equivalence of principal bundle extensions with those transitive Lie groupoids over the total space of a principal bundle, which also admit an action of the structure group by automorphisms. This paper proves the existence of suitably equivariant transition functions for such groupoids, generalising consequently the classification of principal bundles by means of their transition functions, to extensions of principal bundles by an equivariant form of Čech cohomology.
In the following paper we investigate the question: when is a transitive topological groupoid continuously isomorphic to a Lie groupoid? We present many results on the matter which may be considered generalizations of the Hilbert's fifth problem to this context. Most notably we present a "solution" to the problem for proper transitive groupoids and transitive groupoids with compact source fibers.
In the following paper we investigate the question: when is a transitive topological groupoid continuously isomorphic to a Lie groupoid? We present many results on the matter which may be considered generalizations of the Hilbert's fifth problem to this context. Most notably we present a "solution" to the problem for proper transitive groupoids and transitive groupoids with compact source fibers.
Due to a result by Mackenzie, extensions of transitive Lie groupoids are equivalent to certain Lie groupoids which admit an action of a Lie group. This paper is a treatment of the equivariant connection theory and holonomy of such groupoids, and shows that such connections give rise to the transition data necessary for the classification of their respective Lie algebroids.
This work is a spin-off of an on-going programme which aims at revisiting the original studies of Lie and Cartan on pseudogroups and geometric structures from a modern perspective. We encode geometric structures induced by transitive Lie pseudogroups into principal $G$-bundles equipped with a transversally parallelisable foliation generated by a subalgebra of $\mathfrak{g}$, called Cartan bundles. Our approach is complementary to arXiv:1911.13147 and is based on Morita equivalence of Lie groupoids. After identifying the main examples and properties, we develop a notion of flatness with respect…
The core diagram of a double Lie algebroid consists in the core of the double Lie algebroid, together with the two core-anchor maps to the sides of the double Lie algebroid. If these two core anchors are surjective, then the double Lie algebroid and its core diagram are called transitive. This paper establishes an equivalence between transitive double Lie algebroids, and transitive core diagrams over a fixed base manifold. In other words, it proves that a transitive double Lie algebroid is completely determined by its core diagram. The comma double Lie algebroid associated to a morphism of Lie…
Transitive Lie algebroids and \textbf{Q}-manifolds
Institute of Mathematics “Simion Stoilow” of the Romanian Academy（罗马尼亚科学院西米翁·斯托伊洛数学研究所）；Unité Mixte de Recherche 5127 CNRS, Université Savoie Mont Blanc, Laboratoire de Mathématiques (LAMA)（CNRS联合研究单位5127，萨瓦-蒙布朗大学，数学实验室）
We show that the integrability obstruction of a transitive Lie algebroid coincides with the lifting obstruction of a crossed module of groupoids associated naturally with the given algebroid. Then we extend this result to general extensions of integrable transitive Lie algebroids by Lie algebra bundles. Such a lifting obstruction is directly related with the classification of extensions of transitive Lie groupoids. We also give a classification of such extensions which differentiates to the classification of transitive Lie algebroids discussed in \cite{KCHM:new}.
Inspired by the work of Molino, we show that the integrability obstruction for transitive Lie algebroids can be made to vanish by adding extra dimensions. In particular, we prove that the Weinstein groupoid of a non-integrable transitive and abelian Lie algebroid, is the quotient of a finite dimensional Lie groupoid. Two constructions as such are given: First, explaining the counterexample to integrability given by Almeida and Molino, we see that it can be generalized to the construction of an "Almeida-Molino" integrable lift when the base manifold is simply connected. On the other hand, we no…
A Jet groupoid R_q over a manifold X is a special Lie groupoid consisting of q-jets of local diffeomorphisms from X to X. As a subbundle of the q-th order jet bundle of the trivial bundle X times X, a jet groupoid can be considered as a nonlinear system of partial differential equations (PDE). This leads to the concept of formal integrability. On the other hand, each jet groupoid is the symmetry groupoid of a geometric object, modelled as a section of a natural bundle. Using the jet groupoids, we give a local characterisation of formal integrability for transitive jet groupoids in terms of the…
The notion of $n$-transitivity can be carried over from groups of diffeomorphisms on a manifold $M$ to groups of bisections of a Lie groupoid over $M$. The main theorem states that the $n$-transitivity is fulfilled for all $n\in\mathbb N$ by an arbitrary group of $C^r$-bisections of a Lie groupoid $Γ$ of class $C^r$, where $1\leq r\leqω$, under mild conditions. For instance, the group of all bisections of any Lie groupoid and the group of all Lagrangian bisections of any symplectic groupoid are $n$-transitive in the sense of this theorem. In particular, if $Γ$ is source connected for any arrow…
We study a few basic properties of Banach-Lie groupoids and algebroids, adapting some classical results on finite dimensional Lie groupoids. As an illustration of the general theory, we show that the notion of locally transitive Banach-Lie groupoid sheds fresh light on earlier research on some infinite-dimensional manifolds associated with Banach algebras.
Associated to each material body $\mathcal{B}$ there exists a groupoid $Ω\left( \mathcal{B} \right)$ consisting of all the material isomorphisms connecting the points of $\mathcal{B}$. The uniformity character of $\mathcal{B}$ is reflected in the properties of $Ω\left( \mathcal{B} \right)$: $\mathcal{B}$ is uniform if, and only if, $Ω\left( \mathcal{B} \right)$ is transitive. Smooth uniformity corresponds to a Lie groupoid and, specifically, to a Lie subgroupoid of the groupoid $Π^1\left({\mathcal B}, {\mathcal B} \right)$ of 1-jets of $\mathcal B$. We consider a general situation when $Ω\left…
This work is a spin-off of an on-going programme which aims at revisiting the original studies of Lie and Cartan on pseudogroups and geometric structures from a modern perspective. Within the framework of Lie groupoids equipped with a special multiplicative form - called Pfaffian groupoids - we focus on principal bibundles and Morita equivalences. In particular, we discuss in details the notion of Pfaffian Morita equivalence, its relation to the gauge construction in the Pfaffian setting, and its interactions with principal actions. We briefly present some examples and applications to transiti…
In this paper we show that Cartan geometries can be studied via transitive Lie groupoids endowed with a special kind of vector-valued multiplicative 1-forms. This viewpoint leads us to a more general notion, that of Cartan bundle, which encompasses both Cartan geometries and G-structures.
