Bounded cohomology of amenable covers via classifying spaces (Q2032792)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bounded cohomology of amenable covers via classifying spaces
scientific article

    Statements

    Bounded cohomology of amenable covers via classifying spaces (English)
    0 references
    0 references
    0 references
    14 June 2021
    0 references
    Let \(X\) be a path-connected CW-complex. Denote by \(H^{*}(X;\mathbb{R})\) and \(H_{b}^{*}(X;\mathbb{R})\) the singular and bounded cohomology of \(X\), with \(\mathbb{R}\)-coefficients, respectively. Similarly, denote by \( H_{*}(X;\mathbb{R})\) and \(H_{*}^{\ell^{1}}(X;\mathbb{R})\) the singular and \(\ell^{1}\)-homology of \(X\), with \(\mathbb{R}\)-coefficients. The authors compare these (co-)homology groups using a suitable cover of the space \(X\) and the family of amenable subgroups of the fundamental group of \(X\). A novelty in this work is the application of properties of families of subgroups of a group, in this case they use the family of amenable subgroups of the fundamental group of \(X\). More concretely, an amenable open cover, \(U\), of \(X\) is an open cover by path-connected components such that, for every \(V\in U\) and \(x\in V\), the image of the homomorphism \(i_{*}:\pi_{1}(V,x)\to \pi_{1}(X,x)\) induced by inclusion, is an amenable subgroup of \(\pi_{1}(X,x)\). Moreover, the cover \(U\) is convex if all finite intersections of members of \(U\) are path-connected or empty. The main results are: \textbf{Theorem 1.1. } Let \(X\) be a path connected CW complex and \(U\) be an amenable open cover of \(X\). Let \(N\) be the nerve of \(U\) and \(|N|\) be its geometric realisation. Let \(c_{X}:H_{b}^{*}(X;\mathbb{R})\to H^{*}(X;\mathbb{R})\) be the comparison map. Then, (1) if \(U\) is convex, then the comparison map factors through the nerve map \(\nu:X\to |N|\). That is, \(\nu^{*}\varphi=c_{X}\) for some \(\mathbb{R}\)-linear map \(\varphi: H^{*}_{b}(X;\mathbb{R})\to H^{*}(|N|;\mathbb{R})\), (2) if the multiplicity of \(U\) is at most \(m\), then the comparison map \(c_{X}\) vanishes for all \(*\geq m\). The second result concerns \(\ell^{1}\) homology: \textbf{Theorem 1.2. } Under the hypotheses of Theorem 1.2, let \(c^{\ell^{1}}_{X}: H_{*}(X;\mathbb{R})\to H^{\ell^{1}}_{*}(X;\mathbb{R})\) be the comparison map. Then, (1) if \(U\) is convex, then the \(c^{\ell^{1}}_{X}\) comparison map factors through the nerve map \(\nu:X\to |N|\), that is, there is an \(\mathbb{R}\)-linear map \(\varphi: H_{*}(|N|;\mathbb{R})\to H^{\ell^{1}}_{*}(X;\mathbb{R}))\) such that \(\varphi \nu_{*}= c^{\ell^{1}}_{X}\), (2) if the multiplicity of \(U\) is at most \(m\), then the comparison map \( c^{\ell^{1}}_{X}\) vanishes for all \(*\geq m\).
    0 references
    bounded cohomology
    0 references
    amenable covers
    0 references
    classifying spaces of families of subgroups
    0 references

    Identifiers