Simplicial volume of one-relator groups and stable commutator length Nicolaus Heuer, Clara L¨oh April 21, 2021 Abstract A one-relator group is a group Gr that admits a presentation hS j ri with a single relation r. One-relator groups form a rich classically studied class of groups in Geometric Group Theory. If r 2 F (S)0, we introduce a simplicial volume kGrk for one-relator groups. We relate this invariant to the stable commutator length sclS (r) of the element r 2 F (S). We show that often (though not always) the linear relationship kGrk = 4·sclS (r)−2 holds and that every rational number modulo 1 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 C0(1=N), with a multiplicative error of O(1=N). This allows us to prove for random 0 elements of F (S) of length n that kGrk is 2 log(2jSj − 1)=3 · n= log(n) + o(n= log(n)) with high probability, using an analogous result of Calegari{ Walker for stable commutator length. 1 Introduction A one-relator group is a group Gr that admits a presentation hS j ri with a single relation r 2 F (S). This rich and well studied class of groups in Geometric Group Theory generalises surface groups and shares many properties with them. A common theme is to relate the geometric properties of a classifying space of Gr to the algebraic properties of the relator r 2 F (S). For example, r 2 0 ∼ F (S) n feg if and only if H2(Gr; Z) =6 0. In this case H2(Gr; Z) is infinite cyclic and generated by the fundamental class αr 2 H2(Gr; Z). We define the sim- 1 arXiv:1911.02470v3 [math.GT] 20 Apr 2021 plicial volume of Gr as kGrk := kαr;Rk1, the l -semi-norm of the fundamental class αr (Section 3.1). 0 For every element w 2 F (S) , the commutator length clS(w) of w in F (S) is defined via clS(w) := min n 2 N 9g1;:::;gn;h1;:::;hn2F (S) w = [g1; h1] ··· [gn; hn] This work was supported by the CRC 1085 Higher Invariants (Universit¨atRegensburg, funded by the DFG). MSC 2010 classification: 20E05, 57M07, 57M20 1 2 1 Introduction and the stable commutator length is the limit n clS(w ) sclS(w) := lim : n!1 n The study of stable commutator length has seen much progress in recent years by Calegari and others [Cal09a, Cal11, CF10]. Calegari showed that in a non- abelian free group, stable commutator length is always rational and computable in polynomial time with respect to the word length [Cal09b]. Moreover, it is known that there is a gap of 1=2 in the stable commutator length, i.e., if 0 w 2 F (S) n feg, then sclS(w) ≥ 1=2 [DH91]. The theme of this paper is to connect the (topological) invariant kGrk to the (algebraic) invariant sclS(r). The motivating example is the following: Key Example (surface groups). Let g 2 N>0, set Sg := fa1; : : : ; ag; b1; : : : ; bgg and let rg := [a1; b1] ····· [ag; bg] in F (Sg). Then khSg j rgik = 4g − 4 [Gro82, 1 p. 9] and sclSg (rg) = g − 2 [Cal09a, Theorem 2.93, Theorem 2.101]. Therefore in this case, stable commutator length and simplicial volume are related by the formula 1 hSg j rgi = 4 · sclSg (rg) − : 2 We see that the relationship kGrk = 4 · sclS(r) − 2 holds in many instances, though not always: Example 1.1 (Example 6.14). The element v = aaaabABAbaBAAbAB 2 F (fa; bg), −1 −1 where A = a and B = b , satisfies that sclfa;bg(v) = 5=8, but kGvk = 0. Thus we ask: Question 1.2. Let S be a set and let r 2 F (S)0 be non-trivial. When is it true that 1 kG k = 4 · scl (r) − ? r S 2 Observe that the right-hand side is always non-negative because of the 1=2- gap of stable commutator length in free groups [DH91]. 0 As seen in Example 1.1 there are elements r 2 F (S) where kGrk ≥ 4 · sclS(r) − 2 fails to hold. We do not know if the other inequality always holds. We are only able to obtain a weaker strict inequality kGrk < 4 · sclS(r) (Corol- lary 3.12). In this article, we find a positive answer to Question 1.2 in various instances. There are several ways to compute stable commutator length. In order to prove the results of this article we will make these interpretations available also for the simplicial volume of one-relator groups. These will be: • topologically, in terms of surfaces (Proposition 3.11), • algebraically, in terms of commutator lengths (Corollary 3.13), • dually, in terms of quasimorphisms (Proposition 3.15). • combinatorially/algorithmically, in terms of van Kampen diagrams on sur- faces (Proposition 4.2), 1 Introduction 3 Decomposable relators Theorem A (decomposable relators; Section 3.3). The answer to Question 1.2 is positive in the following cases: 0 0 1. S = S1 [S2 with S1 \S2 = ;, and r = r1r2, where r1 2 F (S1) ; r2 2 F (S2) are non-trivial; 0 −1 0 0 2. S = S [ t and r = r1tr2t with t 62 S, r1; r2 2 F (S ) n feg. In previous work, we combined similar calculations over more general base groups with known values of stable commutator length, to manufacture closed 4-manifolds with arbitrary rational simplicial volume [HL20a] or with arbitrarily small transcendental simplicial volume [HL20c]. Using results of Calegari [Cal11], Theorem A implies: Corollary B. For every rational number 0 ≤ q < 1 there is one-relator group Gr with kGrk ≡ q mod 1. We do not know if there are one-relator groups with irrational simplicial volume. Hyperbolic one-relator groups It is well-known that one-relator groups are hyperbolic if the relator r is a proper power r0N or if the relator satisfies a small cancellation condition. We obtain an affirmative answer to Question 1.2 in those cases, up to multiplicative constants of size O(N −1). Theorem C (small cancellation elements, Theorem 4.7). Let r 2 F (S)0 be an element that satisfies the small cancellation condition C0(1=N) for some N ≥ 6. Then 6 4 · scl (r) > kG k ≥ 1 − · 4 · scl (r): S r N S Theorem D (proper powers, Theorem 4.9). If r = r0N for some r0 2 F (S)0nfeg and N > 6, then 6 4 · scl (r) > kG k ≥ 1 − · 4 · scl (r): S r N S In particular, we have that kGrN k lim = 4 · sclS(r): N!1 N Using Theorem C and a result by Calegari{Walker [CW13] we are able to compute the distribution of the simplicial volume of random one-relator groups: Theorem E (Theorem 5.1). Fix a set S and let r 2 F (S) be a random reduced element of even length n, conditioned to lie in the commutator subgroup F (S)0. Then for every > 0 and C > 1, log(n) 2 · log(2jSj − 1) kGrk · − ≤ n 3 with probability 1 − O(n−C ). 4 1 Introduction Simplicial volume via linear programming Calegari showed that sclS(r) may be computed in polynomial time in jrj by re- ducing it to a linear programming problem [Cal09b]. This revealed that sclS(r) is in particular rational. The corresponding algorithm (scallop) has been im- plemented and is open-source available [WC12]. We are not able to reduce the computation of kGrk to a similar programming problem. However, we intro- duce a new invariant lallop(r) (Definition 6.3) to bound kGrk from below. We show that lallop can be computed by reducing it to a linear programming problem, we implemented this algorithm [HL19, HL20b], and used this lower bound effectively. Theorem F (lallop; Theorem 6.1). Let S be a set and r 2 F (S)0 n feg. Then lallop(r) ≤ kGrk; 1 lallop(r) ≤ 4 · scl (r) − ; S 2 and there is an algorithm to compute lallop(r) that is polynomial in the word length of r over S. Moreover, lallop(r) 2 Q. In this way we may estimate kGrk explicitly, which sometimes allows us to compute kGrk also for non-decomposable relators. −m Example G (Proposition 6.13). Let m 2 N≥2 and rm = [a; b][a; b ] 2 F (fa; bg). Then 2m − 4 1 kG k ≤ = 4 · scl (r ) − : rm m − 1 fa;bg m 2 For m 2 f2; 3; 4g we compute that lallop(r2) = 0, lallop(r3) = 1 and 4 lallop(r4) = 3 . Thus 2m − 4 1 8 kG k = = 4 · scl (r ) − : m2f2;3;4g rm m − 1 fa;bg m 2 Follow-up questions Combining Question 1.2 with known properties of stable commutator length and simplicial volume raises these follow-up questions: Question 1.3. 1. Let S, S0 be sets and let r 2 F (S)0 n feg, r0 2 F (S0)0 n feg be relators ∼ 0 0 0 with hS j ri = hS j r i. Does this imply that sclS r = sclS0 r ? 2. Is the simplicial volume of one-relator groups computable? 3. Is there a gap C > 0 such that for every set S and every relator r 2 0 F (S) n feg either kGrk = 0 or kGrk ≥ C ? 4. Louder and Wilton [LW18a] showed that much of the geometry of one- relator groups with defining relation r may be controlled by the primitivity rank, denoted by π(r).