The universal Lie \(\infty\)-algebroid of a singular foliation (Q2205223)

The treatment of singular foliations in [\textit{I. Androulidakis} and \textit{G. Skandalis}, J. Reine Angew. Math. 626, 1--37 (2009; Zbl 1161.53020)] defines them as submodules of the module of vector fields over the ring of smooth functions, which are involutive and locally finitely generated. The principal result of the paper under review is that any projective resolution of a module as such admits a Lie-infinity algebra structure. Also, any two such Lie-infinity algebras are quasi-isomorphic. Assuming that the vector fields are analytic is necessary in this treatment. The authors use the cohomology associated with this Lie-infinity algebra to study the geometry of a singular foliation. In particular, they give a cohomological obstruction to the existence of a Lie algebroid which defines the given foliation. However, they show that every singular foliation is defined by some Leibniz algebroid. Finally, they realize the universal cover of the holonomy groupoid constructed in [loc. cit.] as the fundamental groupoid associated to the universal Lie-infinity algebroid associated to the given foliation.