Blow-up groupoid of singular foliations
We introduce a blow-up construction of a smooth manifold along the singular leaves of an arbitrary singular foliation in the sense of Stefan and Sussmann, as well as a blow-up construction of the holonomy groupoid defined by Androulidakis and Skandalis. Our construction gives a locally compact locally Hausdorff groupoid, which can be regarded as a desingularisation of the singular foliation. We show that it retains some smooth structure.