2021/05/06 by Marco Moraschini, Moraschini, Marco, George Raptis +1
Mathematics · #18G90 #55N10 #Advanced Operator Algebra Research #Advanced Topics in Algebra #Algebraic Topology (math.AT) #FOS: Mathematics #Geometric Topology (math.GT) #Group Theory (math.GR) #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.2105.02821
openalex publication_date 2021/05/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Johnson's characterization of amenable groups states that a discrete group Γ is amenable if and only if Hbn ≥ 1(Γ; V) = 0 for all dual normed ℝ[Γ]-modules V. In this paper, we extend the previous result to homomorphisms by proving the converse of the Mapping Theorem: a surjective group homomorphism ϕ\colon Γ→ K has amenable kernel H if and only if the induced inflation map H^\bulletb(K; VH) → H^\bulletb(Γ; V) is an isometric isomorphism for every dual normed ℝ[Γ]-module V. In addition, we obtain an analogous characterization for the (smaller) class of surjective group homomorphisms ϕ\colon Γ→ K with the property that the inflation maps in bounded cohomology are isometric isomorphisms for all Banach Γ-modules. Finally, we also prove a characterization of the (larger) class of boundedly acyclic homomorphisms, that is, the class of group homomorphisms ϕ\colon Γ→ K for which the restriction maps in bounded cohomology H^\bulletb(K; V) → H^\bulletb(Γ; ϕ-1V) are isomorphisms for a suitable family of dual normed ℝ[K]-modules V including the trivial ℝ[K]-module ℝ. We then extend the first and third results to topological spaces and obtain characterizations of amenable maps and boundedly acyclic maps in terms of the vanishing of the bounded cohomology of their homotopy fibers with respect to appropriate choices of coefficients.