A compactly generated pseudogroup which is not realizable (Q616651)

To every foliated manifold \((M,\mathcal{F})\) of arbitrary dimension and codimension, one associates a pseudogroup \(Hol(\mathcal{F})\) of local transformations, called the holonomy pseudogroup, that represents the transverse structure of \(\mathcal{F}.\) The holonomy pseudogroup is well-defined up to some natural equivalence between pseudogroups referred to as Haefliger equivalence. The inverse realization problem is the following: given a pseudogroup \(G,\) construct, if possible, a compact foliated manifold \((M,\mathcal{F})\) such that \(Hol(\mathcal{F})\) is Haefliger-equivalent to \(G.\) The goal of this paper is to present a pseudogroup of smooth local transformations of the real line, which is compactly generated, but not realizable as the holonomy pseudogroup of a foliation of codimension 1 on a compact manifold. The proof relies on a description of all foliations with the same dynamics as the Reeb component.