Expression de la differ\'entielle $d_3$ de la suite spectrale de Hochishild-Serre en cohomologie born\'ee r\'eelle

TL;DR

This paper constructs specific bounded cohomology classes for discrete groups and analyzes how the Hochschild-Serre spectral sequence differential d_3 acts on these classes, revealing their algebraic structure.

Contribution

It introduces new bounded cohomology classes related to group extensions and explicitly describes the action of the d_3 differential in the Hochschild-Serre spectral sequence.

Findings

The class g_2 is -invariant under certain conditions.

The differential d_3 maps g_2 to [ heta], linking spectral sequence and group extension data.

d_3 acts as a cup-product with [ heta] in real bounded cohomology.

Abstract

For discrete groups, we construct two bounded cohomology classes with coefficients in the second space of the reduced real $\ell_1$-homology. Precisely, we associate to any discrete group $G$ a bounded cohomology class of degree two noted $\frak{g}_2\in H_b^2(G, \bar{H}_2^{\ell_1}(G, \mathbb R))$. For $G$ and $\Pi$ groups and $\theta : \Pi\rightarrow Out(G)$ any homomorphism we associate a bounded cohomology class of degree three noted $[\theta]\in H_b^3(\Pi, \bar{H}_2^{\ell_1}(G, \mathbb R))$. When the outer homomorphism $\theta : \Pi\rightarrow Out(G)$ induces an extension of $G$ by $\Pi$ we show that the class $\frak{g}_2$ is $\Pi$-invariant and that the differential $d_3$ of Hochschild-Serre spectral sequence sends the class $\frak{g}_2$ on the class $[\theta]$ : $d_3(\frak{g}_2)=[\theta]$. Moreover, we show that for any integer $n\geq 0$ the differential $d_3 : E_3^{n, 2}\rightarrow E_3^{n+3, 0}$ of Hochschild-Serre spectral sequence in real bounded cohomology is given as a cup-product by the class $[\theta]$.