A compactly generated pseudogroup which is not realizable

From MaRDI portal



Abstract: We exhibit 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 dynamic as the Reeb component.


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.











This page was built for publication: A compactly generated pseudogroup which is not realizable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q616651)