Quotients of singular foliations and Lie 2-group actions (Q2073913)

\textit{I. Androulidakis} and \textit{G. Skandalis} [J. Reine Angew. Math. 626, 1--37 (2009; Zbl 1161.53020)] gave a construction of the holonomy groupoid of any singular foliation. In this paper, the authors examine the functoriality of this construction. Fist, they establish functoriality over a surjective submersion with connected fibers. Then they specify this to principal bundles \(P(M,G,\pi)\) such that the action of the structure group \(G\) is free and proper, moreover it preserves the singular foliation \((P,\mathcal{F}_P)\). The main result is the following: When \(\mathcal{F}_P\) contains the infinitesimal generators of the action of \(G\) on \(P\), then the holonomy groupoid of the foliation \((M,\mathcal{F}_M)\) is the quotient of \(\mathcal{F}_P\) by the action of the Lie 2-group \(G \rtimes G\).