Abstract:We show that a surjective homomorphism $\varphi \colon \Gamma \to K$ of (discrete) groups induces an isomorphism $H^\bullet_b(K; V) \to H^\bullet_b(\Gamma; \varphi^{-1} V)$ in bounded cohomology for all dual normed $K$-modules $V$ if and only if the kernel of $\varphi$ is boundedly acyclic. This complements a previous result by the authors that characterized this class of group homomorphisms as bounded cohomology equivalences with respect to $\mathbb{R}$-generated Banach $K$-modules. We deduce a characterization of the class of maps between path-connected spaces that induce isomorphisms in bounded cohomology with respect to coefficients in all dual normed modules, complementing the corresponding result shown previously in terms of $\mathbb{R}$-generated Banach modules. The main new input is the proof of the fact that every boundedly acyclic group $\Gamma$ has trivial bounded cohomology with respect to all dual normed trivial $\Gamma$-modules.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the properties of a class of mappings in bounded cohomology (especially group homomorphisms and mappings between topological spaces), that is, when these mappings will induce isomorphisms or injections in bounded cohomology. Specifically, the author focuses on how to characterize this class of mappings through bounded cohomology, and particularly emphasizes the situation when using dual - normed modules as coefficients.
### Main problems
1. **Bounded cohomology properties of group homomorphisms**:
- Given a group homomorphism \(\phi: \Gamma \to K\), when will its kernel \(H\) make \(\phi\) induce an isomorphism or an injection in the bounded cohomology \(H_b^i(K; V) \to H_b^i(\Gamma; \phi^{-1}V)\)? Here \(V\) is a dual - normed \(K\)-module.
- The author proves that if the kernel \(H\) of \(\phi\) is boundedly \(n\)-acyclic (that is, \(H_b^i(H; V)=0\) for \(1\leq i\leq n\) and any dual - normed \(H\)-module \(V\)), then \(\phi\) will induce the above - mentioned isomorphism or injection.
2. **Bounded cohomology properties of topological space mappings**:
- Given a mapping \(f: X \to Y\) between path - connected spaces, when will its homotopy fiber \(F\) make \(f\) induce an isomorphism or an injection in the bounded cohomology \(H_b^i(Y; V) \to H_b^i(X; f^{-1}_*V)\)? Here \(V\) is a dual - normed \(\pi_1(Y)\)-module.
- The author proves that if \(F\) is boundedly \(n\)-acyclic, then \(f\) will induce the above - mentioned isomorphism or injection.
### Main conclusions
- **In the case of group homomorphisms**:
- The condition for a group homomorphism \(\phi: \Gamma \to K\) to induce a bounded cohomology isomorphism or injection is that its kernel \(H\) is boundedly \(n\)-acyclic.
- This result extends the previous work on \(R\)-generated Banach modules, making it applicable to a wider range of dual - normed modules.
- **In the case of topological space mappings**:
- The condition for a mapping \(f: X \to Y\) to induce a bounded cohomology isomorphism or injection is that its homotopy fiber \(F\) is boundedly \(n\)-acyclic.
- This result also extends the previous work on \(R\)-generated Banach modules, making it applicable to a wider range of dual - normed modules.
### Formulas
- **Definition of bounded cohomology**:
- For a group \(\Gamma\) and a dual - normed \(\Gamma\)-module \(V\), the bounded cohomology \(H_b^i(\Gamma; V)\) is defined as the cohomology of the bounded cochain complex:
\[
0 \to V \xrightarrow{\delta_0} \ell^\infty(\Gamma, V) \xrightarrow{\delta_1} \ell^\infty(\Gamma^2, V) \to \cdots \to \ell^\infty(\Gamma^n, V) \xrightarrow{\delta_n} \cdots
\]
- Where \(\delta_n\) is the coboundary operator, defined as:
\[
\delta_n(f)(\gamma_1, \cdots, \gamma_{n+1}) = f(\gamma_2, \cdots, \gamma_{n+1})+\sum_{i = 1}^n(-1)^i f(\gamma_1, \cdots, \gamma_i\gamma_{i+1}, \cdots, \gamma_{n+1})+(-1)^{