I. Moerdijk,J. Mrcun
Abstract: In this paper, the Almeida-Molino obstruction to developability of transversely complete foliations is extended to Lie groupoids.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to extend Almeida - Molino's obstruction theory on developability in the framework of Lie groupoids. Specifically, the goal of the paper is to generalize Almeida - Molino's developability conditions for transversely complete foliations on compact manifolds to Lie groupoids and their subalgebroids.
### Background and Motivation
In the classical theory of Lie groups and Lie algebras, every Lie group has a corresponding Lie algebra as its infinitesimal part. However, in the broader context of Lie groupoids and Lie algebroids, this correspondence becomes complicated. In particular, not every Lie algebroid can be integrated from some Lie groupoid. Almeida and Molino first observed the obstructions to this non - integrability, especially in foliations on compact manifolds. They discovered a Lie algebroid \( b(M,F) \) related to the foliation and proved that the foliation \( F \) is developable if and only if \( b(M,F) \) is integrable.
### Main Contributions of the Paper
The main contribution of the paper lies in generalizing the above results from foliations to Lie groupoids and their subalgebroids. Specifically, consider a Lie groupoid \( G \) and a subalgebroid \( h \) of its Lie algebroid \( g = L(G) \). The paper defines that \( h \) is developable if it can be integrated into a closed sub - groupoid of the source - simply - connected covering groupoid \( \tilde{G} \) of \( G \). Under the conditions of source - compactness and transverse completeness, the paper constructs another Lie algebroid \( b(G,h) \) and proves the following equivalence relation:
\[ h \text{ is developable} \iff b(G,h) \text{ is integrable} \]
### Main Results
The main results of the paper can be summarized as follows:
1. **Definition of Developability**: Defines the developability of the Lie algebroid \( h \), that is, \( h \) can be integrated into a closed sub - groupoid of the source - simply - connected covering groupoid \( \tilde{G} \) of \( G \).
2. **Main Theorem**: Proves that \( h \) is developable if and only if \( b(G,h) \) is integrable.
3. **Applications**: By applying the results to specific Lie groupoids and subalgebroids, it shows the applications of these theories in practical problems.
### Formulas
The formulas involved in the paper mainly include the Maurer - Cartan form of Lie algebroids and related differential equations. For example, for the Maurer - Cartan form \( \omega \) on a Lie algebroid \( g \), the following equation is satisfied:
\[ d\omega+\frac{1}{2}[\omega,\omega]=0 \]
where \( d \) is the differential operator of Lie algebroid cohomology and \([\omega,\omega]\) represents the Lie bracket of \( \omega \).
### Conclusion
Through these results, the paper not only extends Almeida - Molino's theory, but also provides new tools and perspectives for the study of Lie groupoids and Lie algebroids. These results have important application values in fields such as geometry, topology and mathematical physics.