Let $M$ be an oriented smooth manifold and $\operatorname{Homeo}\!(M,\omega )$ the group of measure preserving homeomorphisms of $M$, where $\omega$ is a finite measure induced by a volume form. In this paper, we define volume and Euler classes in bounded cohomology of an infinite dimensional transformation group $\operatorname{Homeo}_0\!(M,\omega )$ and $\operatorname{Homeo}_+\!(M,\omega )$, respectively, and in several cases prove their non-triviality. More precisely, we define:

• • Volume classes in $\operatorname{H}_b^n(\operatorname{Homeo}_0\!(M,\omega ))$, where $M$ is a hyperbolic manifold of dimension $n$.

• • Euler classes in $\operatorname{H}_b^2(\operatorname{Homeo}_+(S,\omega ))$, where $S$ is an oriented closed hyperbolic surface.

We show that Euler classes have positive norms for any closed hyperbolic surface and volume classes have positive norms for all hyperbolic surfaces and certain hyperbolic $3$-manifolds; hence, they are non-trivial.

We give a new proof of rationality of stable commutator length (scl) of certain elements in surface groups: those represented by curves that do not fill the surface. Such elements always admit extremal surfaces for scl. These results also hold more generally for non-filling $1$–chains.

We construct pairs of residually finite groups with isomorphic profinite completions such that one has non-vanishing and the other has vanishing real second bounded cohomology. The examples are lattices in different higher-rank simple Lie groups. Using Galois cohomology, we actually show that $\operatorname {SO}^0(n,2)$ for $n \ge 6$ and the exceptional groups $E_{6(-14)}$ and $E_{7(-25)}$ constitute the complete list of higher-rank Lie groups admitting such examples.

A group is boundedly acyclic if its bounded cohomology with trivial real coefficients vanishes in all positive degrees. Amenable groups are boundedly acyclic, while the first nonamenable examples are the group of compactly supported homeomorphisms of $ {\mathbb {R}}^{n}$ (Matsumoto–Morita) and mitotic groups (Löh). We prove that binate (alias pseudo-mitotic) groups are boundedly acyclic, which provides a unifying approach to the aforementioned results. Moreover, we show that binate groups are universally boundedly acyclic. We obtain several new examples of boundedly acyclic groups as well as computations of the bounded cohomology of certain groups acting on the circle. In particular, we discuss how these results suggest that the bounded cohomology of the Thompson groups F, T, and V is as simple as possible.

Multiplicative constants are a fundamental tool in the study of maximal representations. In this paper, we show how to extend such notion, and the associated framework, to measurable cocycles theory. As an application of this approach, we define and study the Cartan invariant for measurable $\mathrm{PU}(m,1)$ -cocycles of complex hyperbolic lattices.

We address the question of determining which mapping class groups of infinite-type surfaces admit nonelementary continuous actions on hyperbolic spaces.

More precisely, let $\Sigma $ be a connected, orientable surface of infinite type with tame endspace whose mapping class group is generated by a coarsely bounded subset. We prove that ${\mathrm {Map}}(\Sigma )$ admits a continuous nonelementary action on a hyperbolic space if and only if $\Sigma $ contains a finite-type subsurface which intersects all its homeomorphic translates.

When $\Sigma $ contains such a nondisplaceable subsurface K of finite type, the hyperbolic space we build is constructed from the curve graphs of K and its homeomorphic translates via a construction of Bestvina, Bromberg and Fujiwara. Our construction has several applications: first, the second bounded cohomology of ${\mathrm {Map}}(\Sigma )$ contains an embedded $\ell ^1$ ; second, using work of Dahmani, Guirardel and Osin, we deduce that ${\mathrm {Map}} (\Sigma )$ contains nontrivial normal free subgroups (while it does not if $\Sigma $ has no nondisplaceable subsurface of finite type), has uncountably many quotients and is SQ-universal.

We study the geometry of infinitely presented groups satisfying the small cancellation condition $C^{\prime }(1/8)$, and introduce a standard decomposition (called the criss-cross decomposition) for the elements of such groups. Our method yields a direct construction of a linearly independent set of power continuum in the kernel of the comparison map between the bounded and the usual group cohomology in degree 2, without the use of free subgroups and extensions.

Let G be a discrete group.We give a decomposition theorem for the Hochschild cohomology of l1(G) with coefficients in certain G-modules. Using this we show that if G is commutative-transitive, the canonical inclusion of bounded cohomology of G into simplicial cohomology of l1(G) is an isomorphism.

Suppose a group $G$ acts on a Gromov-hyperbolic space $X$ properly discontinuously. If the limit set $L(G)$ of the action has at least three points, then the second bounded cohomology group of $G$,$H^2_b(G;{\Bbb R})$ is infinite dimensional. For example, if $M$ is a complete, pinched negatively curved Riemannian manifold with finite volume, then $H_b^2(\pi _1(M); {\Bbb R})$ is infinite dimensional. As an application, we show that if $G$ is a knot group with $G \not\simeq{\Bbb Z}$, then $H^2_b(G;{\Bbb R})$ is infinite dimensional.

1991 Mathematics Subject Classification: primary 20F32; secondary 53C20, 57M25.