Group cohomology with Lipschitz control and higher signatures (Q2366709)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Group cohomology with Lipschitz control and higher signatures
scientific article

    Statements

    Group cohomology with Lipschitz control and higher signatures (English)
    0 references
    0 references
    0 references
    0 references
    31 August 1993
    0 references
    This extraordinarily rich paper is difficult to summarize briefly. Basically the authors define a subspace \(H^*_ L(\Gamma)\) of the ordinary group cohomology with real coefficients \(H^*(\Gamma) = H^*(B \Gamma,\mathbb{R})\) for a finitely generated discrete group \(\Gamma\). The subspace is defined using families of Lipschitz contractions (with respect to the metric structure on \(\Gamma\) coming from the word-length metric) from \(\Gamma\) to finite-dimensional Euclidean spaces \(\mathbb{R}^{\mathcal N}\). The authors start by imposing an additional properness condition on these Lipschitz cohomology classes, and show that every proper Lipschitz class gives rise to a homotopy invariant higher signature, for any closed oriented manifold mapping to \(B\Gamma\). As a result one needs to know when one has \(H^*_{L,\text{pr}}(\Gamma) = H^*(\Gamma) = H^*(B\Gamma)\) for the proper Lipschitz cohomology. This happens when \(\Gamma\) is a subgroup of a general (word) hyperbolic group. The verification in this case takes 26 pages. In particular it holds when \(\Gamma\) is a discrete subgroup of the group of isometries of a complete, simply connected Riemannian manifold of nonpositive curvature or a discrete subgroup of an almost connected Lie group. The final chapter is devoted to the removal of the properness assumption. Result: Every (not necessarily proper) Lipschitz class satisfies the Novikov conjecture. In this case Lipschitz cohomology becomes functorial for any group homomorphism \(\iota: \Gamma \to G\) from a finitely generated discrete group to an almost connected topological group. In particular \(\iota^*(H^*_{\text{cont}}(G,\mathbb{R})) \subset H^*_ L(\Gamma)\) when \(G\) is locally compact and when \(G = \text{Diff}^ +(M)\) is the group of orientation preserving diffeomorphisms of a closed manifold \(M\) and \(\iota^*\) is restricted to the subring of \(H^*_{\text{cont}}(G,\mathbb{R})\) generated by Gel'fand-Fuks classes via integration along the fiber. Throughout the paper there are many examples.
    0 references
    discrete groups
    0 references
    hyperbolic groups
    0 references
    cohomology
    0 references
    Lipschitz cohomology
    0 references
    Novikov conjecture
    0 references

    Identifiers

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