Groups that do not act by automorphisms of codimension-one foliations. (Q701244)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Groups that do not act by automorphisms of codimension-one foliations.
scientific article

    Statements

    Groups that do not act by automorphisms of codimension-one foliations. (English)
    0 references
    22 October 2002
    0 references
    Let \(M\) be a compact, connected, boundaryless, smooth manifold, \(\mathcal{F}\) a transversely oriented, codimension-one \(C^r\)-foliation of \(M\) by smooth leaves, \(r\geq 2\), and \(\mathcal{D}^s(M,\mathcal{F})\) the group of \(C^s\)-automorphisms of \(\mathcal{F}\), \(s\geq 0\), that is, the group of \(C^r\)-diffeomorphisms of \(M\) that map leaves to leaves. Assume that \(\Gamma\) is a finitely generated discrete group such that every homomorphism from a finite-index subgroup of \(\Gamma\) into the group of homeomorphisms of the circle has a finite orbit on the circle [for examples of such groups, see \textit{É. Ghys}, Invent. Math. 137, 199--231 (1999; Zbl 0995.57006); \textit{M. Burger} and \textit{N. Monod}, J. Eur. Math. Soc. (JEMS) 1, No. 2, 199--235 (1999); erratum ibid. 1, No. 3, 338 (1999; Zbl 0932.22008) and ``Continuous bounded cohomology and applications'', preprint]. Supposing that \(\Gamma\) acts by \(C^0\)-automorphisms of \(\mathcal{F}\), the authors prove that if \(\mathcal{F}\) has a closed leaf, then some closed leaf of \(\mathcal{F}\) is fixed by some subgroup of finite index in \(\Gamma\) and give sufficient conditions for some finite-index subgroup of \(\Gamma\) to fix each leaf of \(\mathcal{F}\). If the germinal holonomy groups of all the non-compact leaves of \(\mathcal{F}\) are trivial (this is the case, for example, if the non-compact leaves of \(\mathcal{F}\) are simply connected), they show that every homomorphism of \(\Gamma\) into \(\mathcal{D}^1(M,\mathcal{F})\) yields a transversely finite action, that is \(\Gamma\) projects to a finite subgroup of the quotient \(\mathcal{D}^1(M,\mathcal{F})/\mathcal{D}^1(M,\mathcal{F})_0\), where \(\mathcal{D}^1(M,\mathcal{F})_0:=\{\varphi\in \mathcal{D}^1(M,\mathcal{F})\;| \;\varphi\;\text{sends each leaf of}\;\mathcal{F}\;\text{to itself}\}\).
    0 references
    closed leaf
    0 references
    the group of (transverse) automorphisms of a foliation
    0 references
    finitely generated discrete group
    0 references
    finite-index subgroup
    0 references
    finite orbit
    0 references
    almost without holonomy foliation
    0 references
    bounded transverse invariant measure
    0 references
    transversely finite action
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references