For any group, there is a natural (pseudo-)norm on the vector space B1 of real (group) 1-boundaries, called the stable commutator length norm. This norm is closely related to, and can be thought of as a relative version of, the Gromov (pseudo)-norm on (ordinary) homology. We show that for a free group, the unit ball of this pseudo-norm is a rational polyhedron.
It follows that stable commutator length in free groups takes on only rational values. Moreover every element of the commutator subgroup of a free group rationally bounds an injective map of a surface group.
The proof of these facts yields an algorithm to compute stable commutator length in free groups. Using this algorithm, we answer a well-known question of Bavard in the negative, constructing explicit examples of elements in free groups whose stable commutator length is not a half-integer.
We study stable commutator length on mapping class groups of certain infinite-type surfaces. In particular, we show that stable commutator length defines a continuous function on the commutator subgroups of such infinite-type mapping class groups. We furthermore show that the commutator subgroups are open and closed subgroups and that the abelianizations are finitely generated in many cases. Our results apply to many popular infinite-type surfaces with locally coarsely bounded mapping class groups.
We give new upper bounds on the stable commutator lengths of Dehn twists in mapping class groups and new lower bounds on the stable commutator lengths of Dehn twists in hyperelliptic mapping class groups. In particular, we show that the stable commutator lengths of Dehn twists about a nonseparating and a separating curve on an oriented closed surface of genus 2 are not equal to each other.
We give new upper bounds on the stable commutator lengths of Dehn twists along separating curves in the mapping class group of a closed oriented surface. The estimates of these upper bounds are $O(1/g)$, where $g$ is the genus of the surface.
We give an algorithm to compute stable commutator length in free products of cyclic groups which is polynomial time in the length of the input, the number of factors, and the orders of the finite factors. We also describe some experimental and theoretical applications of this algorithm.
We give a new upper bound on the stable commutator length of Dehn twists in hyperelliptic mapping class groups, and determine the stable commutator length of some elements. We also calculate values and the defects of homogeneous quasimorphisms derived from ω-signatures, and show that they are linearly independent in the mapping class groups of pointed 2-spheres when the number of points is small.
We show that stable commutator length is rational on free products of free Abelian groups amalgamated over $\mathbb{Z}^k$, a class of groups containing the fundamental groups of all torus knot complements. We consider a geometric model for these groups and parameterize all surfaces with specified boundary mapping to this space. Using this work we provide a topological algorithm to compute stable commutator length in these groups. Further, we use the methods developed to show that in free products of cyclic groups the stable commutator length of a fixed varies quasirationally in the orders of t…
It is proved that the stable commutator length of a Dehn twist in the mapping class group is positive and the tenth power of a Dehn twist about a nonseparating simple closed curve is a product of two commutators. As an application a new proof of the fact that the growth rate of a Dehn twist is linear is given.
We define a quasihomomorphism from braid groups to the concordance group of knots and examine its properties and consequences of its existence. In particular, we provide a relation between the stable four ball genus in the concordance group and the stable commutator length in braid groups, and produce examples of infinite families of concordance classes of knots with uniformly bounded four ball genus. We also provide applications to the geometry of the infinite braid group. In particular, we show that its commutator subgroup admits a stably unbounded conjugation invariant norm. This answers an…
Let $Γ$ be a finite index subgroup of the mapping class group $MCG(Σ)$ of a closed orientable surface $Σ$, possibly with punctures. We give a precise condition (in terms of the Nielsen-Thurston decomposition) when an element $g\inΓ$ has positive stable commutator length. In addition, we show that in these situations the stable commutator length, if nonzero, is uniformly bounded away from 0. The method works for certain subgroups of infinite index as well and we show $scl$ is uniformly positive on the nontrivial elements of the Torelli group. The proofs use our earlier construction in the paper…
We give a new proof of a theorem of D. Calegari that says that the Cayley graph of a surface group with respect to any generating set lying in finitely many mapping class group orbits has infinite diameter. This applies, for instance, to the generating set consisting of all simple closed curves.
In this note, we show that the sets of all stable commutator lengths in the braided Ptolemy-Thompson groups are equal to non-negative rational numbers.
An estimate on the commutator width is given for Chevalley groups over rings of stable rank 1, and the general method suitable for other rings of small dimension.
We give examples of foliations that answer two questions posed by Mitsumatsu and Vogt about the genus minimising properties of closed leaves of 2-dimensional foliations on 4-manifolds. By studying stable commutator lengths in certain stable mapping class groups, we also answer an asymptotic version of another question of theirs concerning bounds on self-intersection numbers of multisections in surface bundles.
This paper establishes the existence of a gap for the stable length spectrum on a hyperbolic manifold. If M is a hyperbolic n-manifold, for every positive e there is a positive d depending only on n and on e such that an element of pi_1(M) with stable commutator length less than d is represented by a geodesic with length less than e. Moreover, for any such M, the first accumulation point for stable commutator length on conjugacy classes is at least 1/12. Conversely, "most" short geodesics in hyperbolic 3-manifolds have arbitrarily small stable commutator length. Thus stable commutator length i…
An arbitrary homomorphism between groups is nonincreasing for stable commutator length, and there are infinitely many (injective) homomorphisms between free groups which strictly decrease the stable commutator length of some elements. However, we show in this paper that a random homomorphism between free groups is almost surely an isometry for stable commutator length for every element; in particular, the unit ball in the scl norm of a free group admits an enormous number of exotic isometries. Using similar methods, we show that a random fatgraph in a free group is extremal (i.e. is an absolut…
A one-relator group is a group $G_r$ that admits a presentation $\langle S \mid r \rangle$ with a single relation $r$. One-relator groups form a rich classically studied class of groups in Geometric Group Theory. If $r \in F(S)'$, the commutator subgroup of $F(S)$, we introduce the simplicial volume of $\| G_r \|$. We relate this invariant to the stable commutator length $\textrm{scl}_S(r)$ of the element $r \in F(S)$. We show that often (though not always) the linear relationship $\| G_r \| = 4 \cdot \textrm{scl}_S(r) - 2$ holds and that every rational number modulo $1$ is the simplicial volu…
We establish a spectral gap for stable commutator length (scl) of integral chains in right-angled Artin groups (RAAGs). We show that this gap is not uniform, i.e. there are RAAGs and integral chains with scl arbitrarily close to zero. We determine the size of this gap up to a multiplicative constant in terms of the opposite path length of the defining graph. This result is in stark contrast with the known uniform gap 1/2 for elements in RAAGs. We prove an analogous result for right-angled Coxeter groups. In a second part of this paper we relate certain integral chains in RAAGs to the fractiona…
This paper has two parts, on Baumslag-Solitar groups and on general G-trees. In the first part we establish bounds for stable commutator length (scl) in Baumslag-Solitar groups. For a certain class of elements, we further show that scl is computable and takes rational values. We also determine exactly which of these elements admit extremal surfaces. In the second part we establish a universal lower bound of 1/12 for scl of suitable elements of any group acting on a tree. This is achieved by constructing efficient quasimorphisms. Calculations in the group BS(2,3) show that this is the best poss…
The first aim of this paper is to give four types of examples of surface bundles over surfaces with non-zero signature. The first example is with base genus 2, a prescribed signature, a 0-section and the fiber genus greater than a certain number which depends on the signature. This provides a new upper bound on the minimal base genus for fixed signature and fiber genus. The second one gives a new asymptotic upper bound for this number in the case that fiber genus is odd. The third one has a small Euler characteristic. The last is a non-holomorphic example. The second aim is to improve upper bo…
It is shown that there exist finitely generated infinite simple groups of infinite commutator width and infinite square width on which there exists no stably unbounded conjugation-invariant norm, and in particular stable commutator length vanishes. Moreover, a recursive presentation of such a group with decidable word and conjugacy problems is constructed.
We provide the first example of a finitely presented (in fact, type $F_\infty$) group with elements whose stable commutator length is algebraic and irrational, answering a question of Calegari. Our example is the lift to the real line of the \emph{golden ratio Thompson group} $T_τ$: the circle analogue of the Cleary's golden ratio Thompson group $F_τ$ which acts on the interval.
In this paper we obtain uniform positive lower bounds on stable commutator length in word-hyperbolic groups and certain groups acting on hyperbolic spaces (namely the mapping class group acting on the complex of curves, and an amalgamated free product acting on the Bass-Serre tree). If G is a word hyperbolic group which is delta hyperbolic with respect to a symmetric generating set S, then there is a positive constant C depending only on delta and on |S| such that every element of G either has a power which is conjugate to its inverse, or else the stable commutator length is at least equal to …
We prove that for any euclidean ring R and n at least 6, Gamma=SL_n(R) has no unbounded quasi-homomorphisms. From Bavard's duality theorem, this means that the stable commutator length vanishes on Gamma. The result is particularly interesting for R = F[x] for a certain field F (such as the field C of complex numbers, because in this case the commutator length on Gamma is known to be unbounded. This answers a question of M. Abért and N. Monod for n at least 6.
We show that the set $SCL^{rp}$ of stable commutator lengths on recursively presented groups equals the set of non-negative right-computable numbers. Hence all non-negative algebraic or computable numbers are in $SCL^{rp}$ and $SCL^{rp}$ is not closed under subtraction. We also show that every non-negative real number is the stable commutator length of an element in some infinitely presented small cancellation group.
Let G be a group acting on a tree with cyclic edge and vertex stabilizers. Then stable commutator length (scl) is rational in G. Furthermore, scl varies predictably and converges to rational limits in so-called "surgery" families. This is a homological analog of the phenomenon of geometric convergence in hyperbolic Dehn surgery.
We show that in any right-angled Artin group whose defining graph has chromatic number $k$, every non-trivial element has stable commutator length at least $1/(6k)$. Secondly, if the defining graph does not contain triangles, then every non-trivial element has stable commutator length at least $1/20$. These results are obtained via an elementary geometric argument based on earlier work of Culler.
In his seminal paper, half a century ago, Hyman Bass established a commutator formula in the setting of (stable) general linear group which was the key step in defining the K_1 group. Namely, he proved that for an associative ring A with identity, E(A)=[E(A),E(A)]=[GL(A),GL(A)] where GL(A) is the stable general linear group and E(A) is its elementary subgroup. Since then, various commutator formulas have been studied in stable and non-stable settings, and for a range of classical and algebraic like-groups, mostly in relation to subnormal subgroups of these groups. The major classical theorems …
We show that the stable commutator length vanishes for certain groups defined as infinite unions of smaller groups. The argument uses a group-theoretic analogue of the Mazur swindle, and goes back to the works of Anderson, Fisher, and Mather on homeomorphism groups.
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 $\mathrm{scl}_G$ and the stable mixed commutator length $\mathrm{scl}_{G,N}$ are not bi-Lipschitzly equivalent for the surface group $G=π_1(Σ_{\ell})$ of genus at least $2$ and its commutator subgroup $N = [π_1(Σ_{\ell}), π_1(Σ_{\ell})]$. We also show the non-equ…
We study stable W-length in groups, especially for W equal to the n-fold commutator gamma_n:=[x_1,[x_2, . . . [x_{n-1},x_n]] . . . ]. We prove that in any perfect group, for any n at least 2 and any element g, the stable commutator length of g is at least as big as 2^{2-n} times the stable gamma_n-length of g. We also establish analogues of Bavard duality for words gamma_n and for beta_2:=[[x,y],[z,w]]. Our proofs make use of geometric properties of the asymptotic cones of verbal subgroups with respect to bi-invariant metrics. In particular, we show that for suitable W, these asymptotic cones …
An n-dimensional quantum torus is a twisted group algebra of the group $\Z^n$. It is called rational if all invertible commutators are roots of unity. In the present note we describe a normal form for rational n-dimensional quantum tori over any field. Moreover, we show that for $n = 2$ the natural exact sequence describing the automorphism group of the quantum torus splits over any field.
For the pants graph, there is little known about the behaviour of geodesics, as opposed to quasigeodesics. Brock-Masur-Minsky showed that geodesics or geodesic segments connecting endpoints satisfying a bounded combinatorics condition, such as the stable/unstable laminations of a pseudo-Anosov, all have bounded combinatorics, \textit{outside of annuli}. In this paper it is shown that there exist geodesics that also have bounded combinatorics within annuli. These geodesics are shown to have finiteness properties analogous to those of tight geodesics in the complex of curves, from which rational…
The Chen groups of a finitely-presented group G are the lower central series quotients of its maximal metabelian quotient, G/G''. The direct sum of the Chen groups is a graded Lie algebra, with bracket induced by the group commutator. If G is the fundamental group of a formal space, we give an analog of a basic result of D. Sullivan, by showing that the rational Chen Lie algebra of G is isomorphic to the rational holonomy Lie algebra of G modulo the second derived subalgebra. Following an idea of W.S. Massey, we point out a connection between the Alexander invariant of a group G defined by com…
We combine concepts from random matrix theory and free probability together with ideas from the theory of commutator length in groups and maps from surfaces, and establish new connections between the two. More particularly, we study measures induced by free words on the unitary groups $U(n)$. Every word $w$ in the free group $F_r$ on $r$ generators determines a word map from $U(n)^r$ to $U(n)$, defined by substitutions. The $w$-measure on $U(n)$ is defined as the pushforward via this word map of the Haar measure on $U(n)^r$. Let $Tr_w(n)$ denote the expected trace of a random unitary matrix sa…
We compute the rational stable homology of the automorphism groups of free nilpotent groups. These groups interpolate between the general linear groups over the ring of integers and the automorphism groups of free groups, and we employ functor homology to reduce to the abelian case. As an application, we also compute the rational stable homology of the outer automorphism groups and of the mapping class groups of the associated aspherical nil-manifolds in the TOP, PL, and DIFF categories.
We investigate stabilizers of finite sets of rational points in Cantor space for the Higman-Thompson groups $V_{n,r}$. We prove that the pointwise stabilizer is an iterated ascending HNN extension of $V_{n,q}$ for any $q\geq 1$. We also prove that the commutator subgroup of the pointwise stabilizer is simple, and we compute the abelianization. Finally, for each $n$ we classify such pointwise stabilizers up to isomorphism.
It is not known whether or not the stable rational cohomology groups $\tilde H^*(Aut(F_\infty);\Q)$ always vanish. We show that either the rational cohomology does not vanish in certain dimensions, or the integral cohomology of a moduli space of pointed graphs does not stabilize in certain other dimensions. Similar results are stated for groups of outer automorphisms. This yields that $H^5(\hat Q_m; \mathbb{Z})$, $H^6(\hat Q_m; \mathbb{Z})$, and $H^5(Q_m; \mathbb{Z})$ never stabilize as $m \to \infty$, where the moduli spaces $\hat Q_m$ and $Q_m$ are the quotients of the spines $\hat X_m$ and …
Let $M_{g, n}$ (respectively, $\overline{M_{g, n}}$) be the moduli space of smooth (respectively stable) curves of genus $g$ with $n$ marked points. Over the field of complex numbers, it is a classical problem in algebraic geometry to determine whether or not $M_{g, n}$ (or equivalently, $\overline{M_{g, n}}$) is a rational variety. Theorems of J. Harris, D. Mumford, D. Eisenbud and G. Farkas assert that $M_{g, n}$ is not unirational for any $n \geqslant 0$ if $g \geqslant 22$. Moreover, P. Belorousski and A. Logan showed that $M_{g, n}$ is unirational for only finitely many pairs $(g, n)$ wit…
