Survey on invariant quasimorphisms and stable mixed commutator length

TL;DR

This survey reviews the development and key concepts of invariant quasimorphisms and stable mixed commutator length, highlighting their roles in symplectic geometry and group theory.

Contribution

It provides a comprehensive overview of the history, examples, duality theorems, and extension problems related to invariant quasimorphisms and stable mixed commutator length.

Findings

Examples of invariant quasimorphisms discussed

Bavard's duality theorem for invariant quasimorphisms explained

Estimates on the dimension of non-extendable quasimorphism spaces provided

Abstract

A homogeneous quasimorphism $\phi$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $\phi(gxg^{-1}) = \phi(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic geometry and the extension problem of quasimorphisms. Moreover, it is known that the existence of non-extendable invariant quasimorphisms is closely related to the behavior of the stable mixed commutator length $\mathrm{scl}_{G,N}$, which is a certain generalization of the stable commutator length $\mathrm{scl}_G$. In this survey, we review the history and recent developments of invariant quasimorphisms and stable mixed commutator length. The topics we treat include several examples of invariant quasimorphisms, Bavard's duality theorem for invariant quasimorphisms, Aut-invariant quasimorphisms, and the estimation of the dimension of spaces of non-extendable quasimorphisms. We also mention the extension problem of partial quasimorphisms.