4
$\begingroup$

Let $G$ be a group. A real-valued map $\varphi:G \to \mathbb{R}$ is called a quasimorphism if it's a group homomorphism up to a uniformly bounded error: $$\sup_{g,h\in G}|\varphi(gh)-\varphi(g)-\varphi(h)|<\infty.$$

In this question, the OP points out that if the comparison homomorphism $$c : H_b^2(G,\mathbb{R}) \to H^2(G,\mathbb{R})$$ on the second bounded cohomomology group has trivial kernel, then all quasimorphisms are bounded perturbations of homomorphisms, i.e for each quasimorphism $\varphi$, there is a homomorphism within uniformly bounded distance of $\varphi$.

Is there a name for groups with this property, i.e. groups for which $\text{ker}(c)$ is trivial? In particular I'm looking for examples of (non-elementary) Gromov-hyperbolic groups with this property - does anyone know of such groups?

$\endgroup$
  • 6
    $\begingroup$ Epstein and Fujiwara (link) proved that for $G$ non-elementary hyperbolic, $H^2_b(G,\mathbf{R})$ has continuum dimension. Since $H^2(G,\mathbf{R})$ is finite-dimensional for $G$ finitely presented, it shows that $c_G=c$ has a huge kernel for $G$ non-elementary hyperbolic. $\endgroup$ – YCor Aug 9 '19 at 11:13
  • $\begingroup$ Great reference/comment, cheers. $\endgroup$ – Zestylemonzi Aug 9 '19 at 17:44
  • 4
    $\begingroup$ One big class for which kernel of $c$ is zero is lattices in higher rank lie groups. This is a theorem due to Burger and Monod. Bavard duality theorem states that space of non-trivial homogeneous quasimorphisms (i.e. the kernel of $c$) is trivial if and only if the stable commutator length (scl) of $G$ is zero. scl has been studied by various people for a large class of group. See ams.org/notices/200809/tx080901100p.pdf $\endgroup$ – tessellation Aug 12 '19 at 4:05
1
$\begingroup$

I cannot comment, so I'll put it as an answer, which also summarizes the comments.

In the literature, groups with trivial comparison map are sometimes referred to as groups with vanishing stable commutator length (scl), or groups without nontrivial quasimorphisms. The characterization via scl follows from Bavard's duality.

Danny Calegari's book is an extensive introduction to scl, which includes discussions of groups with no or few nontrivial quasimorphisms. Here are some examples (all section numbers refer to the book):

(1) amenable groups (Section 2.4);

(2) lattices of higher rank irreducible semisimple Lie groups (Section 5.2), this is mentioned by tessellation in the comment;

(3) uniformly perfect groups (since they have trivial scl), which holds for many transformation groups, typically because of the suspension trick. This includes for example $\mathrm{Homeo}^+(S^1)$ (Section 2.3) and the mapping class group of the sphere minus a Cantor set (see this blog post)

(4) some other transformation groups, including all subgroups of $\mathrm{PL}^{+}(I)$ (see this paper), some subgroups of $\mathrm{Homeo}^+(S^1)$ such as the Thompson group $T$ (Section 5.2).

(5) groups that obey a law (see this paper).

As is mentioned by YCor, non-elementary hyperbolic groups are on the opposite side: they have a huge number of nontrivial quasimorphisms (with continuum dimension) and a rich theory of scl (see Epstein and Fujiwara as well as Chapter 3 of the book above).

It is also worth mentioning that mapping class groups of closed hyperbolic surfaces also have infinite-dimensional nontrivial quasimorphisms (Bestvina and Fujiwara), and the same holds for the mapping class group of the plane minus a Cantor set (by Juliette Bavard).

In general, one should expect groups with nice actions on non-positively curved spaces to have many nontrivial quasimorphisms.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thanks, this is a really useful comment/answer. $\endgroup$ – Zestylemonzi Sep 23 '19 at 11:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.