Aut-invariant norms and Aut-invariant quasimorphisms on free and surface groups

From MaRDI portal
Publication:2301915



Abstract: Let Fn be the free group on n generators and Gammag the surface group of genus g. We consider two particular generating sets: the set of all primitive elements in Fn and the set of all simple loops in Gammag. We give a complete characterization of distorted and undistorted elements in the corresponding Aut-invariant word metrics. In particular, we reprove Stallings theorem and answer a question of Danny Calegari about the growth of simple loops. In addition, we construct infinitely many quasimorphisms on F2 that are Aut(F2)-invariant. This answers an open problem posed by Mikl'os Ab'ert.


The authors study norms on groups \(G\) which are invariant under the automorphism group \(\mathrm{ Aut}(G)\) of \(G\). An example is the word norm with respect to an \(\mathrm{ Aut}(G)\)-invariant generating set (the minimal number of generators needed to express an element); under some mild assumptions, up to bi-Lipschitz equivalence there is only one \(\mathrm{ Aut}(G)\)-invariant word norm. In the present paper, the authors consider surface groups and free groups (where the Aut-norm counts the minimal number of simple loops resp. primitive elements needed to express an element). The main result of the paper is a complete characterization of distorted and undistorted elements in the corresponding Aut-invariant word metrics (recall that an element \(x\) is undistorted with respect to a norm if there exists \(C > 0\) such that \(|x^n| > Cn\)). In particular, this answers a question of Calegari about the growth of simple loops and reproves Stalling's theorem on Whitehead graphs of separable elements in free groups. Finally, answering an open problem posed by M. Abért, the authors construct infinitely many quasimorphisms on the free group \(F_2\) of rank 2 that are \(\mathrm{ Aut}(F_2)\)-invariant.











This page was built for publication: Aut-invariant norms and Aut-invariant quasimorphisms on free and surface groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2301915)