Relative bounded cohomology for groupoids (Q329333): Difference between revisions

Bounded cohomology of spaces was studied in [\textit{M. Gromov}, Publ. Math., Inst. Hautes Étud. Sci. 56, 5--99 (1982; Zbl 0516.53046)] via multicomplexes and in [\textit{N. V. Ivanov}, J. Sov. Math. 37, 1090--1115 (1987; Zbl 0612.55006)] via strong, relatively injective resolutions. Ivanov's approach does not directly apply in some situation where one wants to ``neglect'' amenable subsets, and it also does not apply to disconnected sets, though both of these problems have now been overcome in [\textit{M. Bucher} et al., J. Topol. Anal. 6, No. 1, 1--25 (2014; Zbl 1328.55004)]. The 1-skeleton of Gromov's multicomplexes can be interpreted as (the morphisms of) the fundamental groupoid of \(X\), so it seems natural to unify Gromov's and Ivanov's approach by defining bounded cohomology of groupoids rather than groups along the line of Ivanov's approach. This is the idea which is carried out in the paper under review. The paper defines the bounded cohomology of a pair of groupoids \(({\mathcal G},{\mathcal A})\) via bar resolutions, and proves that for any strong, relatively injective resolution of the coefficient module one obtains a norm-nonincreasing isomorphism from the bounded cohomology of the resolution to the bounded cohomology of \(({\mathcal G},{\mathcal A})\). The author proves an algebraic mapping theorem, i.e., an isometric isomorphism \(H_b^*({\mathcal G},{\mathcal A})=H_b^*({\mathcal G})\) in degrees \(*\geq 2\) for amenable \({\mathcal A}\). Moreover, the author constructs an isometric isomorphism between the bounded cohomology of a space and the bounded cohomology of its fundamental groupoid. He obtains a relative version of this result for pairs of spaces \((X,A)\) under the assumptions that the inclusion \(A\to X\) is \(\pi_1\)-injective and induces an isomorphism of higher homotopy groups. Under the same assumptions he obtains as a corollary a new proof of Gromov's relative mapping theorem.