English

Simplicial volume of one-relator groups and stable commutator length

Geometric Topology 2022-10-19 v3 Group Theory

Abstract

A one-relator group is a group GrG_r that admits a presentation Sr\langle S \mid r \rangle with a single relation rr. One-relator groups form a rich classically studied class of groups in Geometric Group Theory. If rF(S)r \in F(S)', the commutator subgroup of F(S)F(S), we introduce the simplicial volume of Gr\| G_r \|. We relate this invariant to the stable commutator length sclS(r)\textrm{scl}_S(r) of the element rF(S)r \in F(S). We show that often (though not always) the linear relationship Gr=4sclS(r)2\| G_r \| = 4 \cdot \textrm{scl}_S(r) - 2 holds and that every rational number modulo 11 is the simplicial volume of a one-relator group. Moreover, we show that this relationship holds approximately for proper powers and for elements satisfying the small cancellation condition C(1/N)C'(1/N), with a multiplicative error of O(1/N)O(1/N). This allows us to prove for random elements of F(S)F(S)' of length nn that Gr\| G_r \| is 2log(2S1)/3n/log(n)+o(n/log(n))2 \log(2 |S| - 1)/3 \cdot n / \log(n) + o(n/\log(n)) with high probability, using an analogous result of Calegari-Walker for stable commutator length.

Keywords

Cite

@article{arxiv.1911.02470,
  title  = {Simplicial volume of one-relator groups and stable commutator length},
  author = {Nicolaus Heuer and Clara Loeh},
  journal= {arXiv preprint arXiv:1911.02470},
  year   = {2022}
}

Comments

41 pages - comments welcome! v2: Significant changes to v1. The changes include: -A counterexample to the main question of v1. -A theorem about the random simplicial volume of a one-relator group. -A significant restructuring of section 6 (Computational bounds: lallop); v3: to appear in AGT