Invariant quasimorphisms for groups acting on the circle and non-equivalence of SCL

2022/03/17 by Maruyama, Shuhei, Matsushita, Takahiro, Mimura, Masato
#FOS: Mathematics #Geometric Topology (math.GT) #Group Theory (math.GR)

paper · doi:10.48550/arxiv.2203.09221

Abstract

We construct invariant quasimorphisms for groups acting on the circle. Furthermore, we provide a criterion for the non-extendablity of the resulting quasimorphisms and an explicit formula which relates the values of our quasimorphisms to those of the Poincaré translation number. By using them, we show that the stable commutator length scl_G and the stable mixed commutator length scl_G,N are not bi-Lipschitzly equivalent for the surface group G=π₁(Σ_ℓ) of genus at least 2 and its commutator subgroup N = [π₁(Σ_ℓ), π₁(Σ_ℓ)]. We also show the non-equivalence for a pair (G,N) such that G is the fundamental group of a 3-dimensional closed hyperbolic mapping torus. These pairs serve as the first family of examples of such (G,N) in which G is finitely generated.

Related

• An extension theorem for quasimorphisms
• G-invariant quasimorphisms and symplectic geometry of surfaces
• Survey on invariant quasimorphisms and stable mixed commutator length
• From letter-quasimorphisms to angle structures and spectral gaps for scl
• Quasi-Total Orders and Translation Numbers