---
title: Stable Commutator Length Overview
url: https://www.emergentmind.com/topics/stable-commutator-length
type: topic
---

# Stable Commutator Length Overview

Stable commutator length, usually denoted \(\mathrm{scl}\), is the asymptotic commutator complexity of an element or chain in a group. It refines ordinary commutator length by stabilizing over powers, and it is simultaneously an algebraic, topological, and functional-analytic invariant: algebraically it measures efficient expression by commutators, topologically it is realized by normalized negative Euler characteristic of bounding surfaces, and analytically it is dual to homogeneous quasimorphisms via Bavard duality [2507.14009]. Across current research, stable commutator length appears in free groups, graphs of groups, mapping class groups, braid groups, right-angled Artin groups, one-relator groups, Baumslag–Solitar groups, big mapping class groups, and free \(\mathbb{Q}\)-groups, where rationality, positivity, spectral gaps, computability, and asymptotic distribution are studied in markedly different forms [1911.02470].

## 1. Definitions and geometric formulations

For a group \(G\), the commutator subgroup \([G,G]\) is generated by commutators \([x,y]=xyx^{-1}y^{-1}\). For \(g\in [G,G]\), the commutator length is
\[
\mathrm{cl}_G(g)=\min\Big\{n\;\Big|\; g=\prod_{i=1}^n [x_i,y_i],\ x_i,y_i\in G\Big\},
\]
and the stable commutator length is
\[
\mathrm{scl}_G(g)=\lim_{n\to\infty}\frac{\mathrm{cl}_G(g^n)}{n}.
\]
Subadditivity implies that the limit exists and equals the infimum [2507.14009]. A standard extension used in several contexts assigns
\[
\mathrm{scl}_G(g)=\frac{\mathrm{scl}_G(g^k)}{k}
\]
when some power \(g^k\) lies in \([G,G]\), and \(\mathrm{scl}_G(g)=\infty\) if no positive power does [2507.14009].

The theory naturally extends from single elements to chains. If \(C_1(G)\) denotes the real vector space with basis \(G\), then one may define commutator length and stable commutator length on integral chains \(\sum_i g_i\), and then extend by homogeneity and continuity to rational and real chains. Quotienting \(C_1(G)\) by the subspace generated by \(g^n-ng\) and \(hgh^{-1}-g\) yields \(C_1^H(G)\); the image of boundaries gives \(B_1^H(G)\), and scl induces a seminorm on \(B_1^H(G)\) and a norm on \(B_1^H(G)/S(G)\), where \(S(G)\) is the zero-scl subspace [2507.14009].

The topological model is equally fundamental. For \(G=\pi_1(X)\), \(\mathrm{cl}(g)\) is the least genus of a once-punctured orientable surface mapping to \(X\) with boundary representing \(g\), and
\[
\mathrm{scl}(g)=\inf_f \frac{-\chi^-(S)}{2n},
\]
where \(f:S\to X\) ranges over admissible maps whose boundary wraps with total degree \(n\) around a loop representing \(g\) [1102.1365]. In free groups this description is especially effective, and for one-relator groups it underlies the comparison between \(\mathrm{scl}\) and simplicial volume of the canonical \(H_2\)-class [1911.02470].

Basic formal properties recur throughout the literature: homogeneity \(\mathrm{scl}(g^n)=|n|\mathrm{scl}(g)\), conjugacy invariance, and monotonicity under homomorphisms [2507.14009]. These properties are the common substrate for the very different geometric realizations seen in free products, mapping class groups, and rational completions.

## 2. Duality, quasimorphisms, and bounded cohomology

A quasimorphism on \(G\) is a function \(\varphi:G\to\mathbb{R}\) with finite defect
\[
D(\varphi)=\sup_{g,h\in G}|\varphi(gh)-\varphi(g)-\varphi(h)|<\infty.
\]
It is homogeneous if \(\varphi(g^n)=n\varphi(g)\) for all \(n\in\mathbb{Z}\). Homogeneous quasimorphisms are conjugacy invariant and additive on commuting elements [2507.14009].

The classical dual formula is Bavard duality:
\[
\mathrm{scl}_G(g)=\sup_{\varphi\in Q(G)}\frac{\varphi(g)}{2D(\varphi)}
\]
for \(g\in [G,G]\), with the supremum over non-homomorphisms since homomorphisms vanish on \([G,G]\) [2507.14009]. In chain form, the duality becomes a Banach-space identification: the dual Banach space of \(B_1^H(G)/S(G)\), equipped with the scl norm, is naturally isomorphic to \(Q(G)/\mathrm{Hom}(G)\), equipped with norm \(2D(\cdot)\) [2507.14009]. This identification makes homogeneous quasimorphisms modulo homomorphisms the continuous linear functionals on the scl-normed space of \(1\)-boundaries modulo zero-scl chains.

Several consequences are structurally decisive. If \(Q(G)=\mathrm{Hom}(G)\), then scl vanishes on \(B_1^H(G)\); conversely, the existence of a nontrivial homogeneous quasimorphism detects positive scl on some chain [2507.14009]. If \(f:G_1\to G_2\) is isometric for scl on chains, then every homogeneous quasimorphism on \(G_1\) extends to one on \(G_2\) with the same defect, so scl-isometric embeddings induce surjections
\[
Q(G_2)/\mathrm{Hom}(G_2)\twoheadrightarrow Q(G_1)/\mathrm{Hom}(G_1)
\]
[2507.14009].

This dual perspective links scl to bounded cohomology. Bavard duality identifies scl as a norm dual to the defect-seminorm on bounded \(2\)-cocycles [1911.02470], and for big mapping class groups the continuity of scl is proved by first showing that homogeneous quasimorphisms vanish on an open neighborhood and hence are continuous [2108.02123]. In braid groups, quasihomomorphisms into the concordance group give Lipschitz control on commutator length and thus on scl [1402.3191]. The same general mechanism underlies explicit lower bounds in mapping class groups, Baumslag–Solitar groups, and hyperbolic actions on trees.

## 3. Rationality, polyhedrality, and computation

A large part of scl theory is organized around rationality and polyhedrality. For free groups, Calegari’s rationality theorem implies that scl of rational chains is always rational, and multiple later developments take this as the benchmark case [2507.14009]. In \(\mathbb{Z}^r * \mathbb{Z}^s\), scl admits a polyhedral formulation in terms of flows on complete digraphs, Klein functions, and “sails,” leading to explicit asymptotic upper and lower bounds and to a sharp generic law: words of reduced length \(m\) generically have scl near \(m/4-1\) [1102.1365]. The same work shows that although extremal rays of the relevant polyhedra are completely classifiable, extremal points are universal enough to realize any connected directed multigraph, and computing scl on exponent-encoded words in \(F_2\) is NP-hard unless \(\mathbf{P}=\mathbf{NP}\) [1102.1365].

For graphs of groups, Chen proved that if a group acts on a tree with cyclic edge and vertex stabilizers, then scl is rational, and more generally that for graphs of groups whose vertex groups have trivial scl and whose incident edge images are central and mutually commensurable in each vertex group, scl is piecewise rational linear on \(B_1^H(G)\) and computable by linear programming [1904.08360]. This covers generalized Baumslag–Solitar groups and subsumes several earlier rationality results for free products and amalgams. It also yields a Dehn-surgery-type phenomenon: in surgery families, scl varies predictably and converges to rational limits [1904.08360].

One-relator groups furnish a different but closely related polyhedral and surface-theoretic picture. For \(G_r=\langle S\mid r\rangle\) with \(r\in F(S)'\setminus\{e\}\), the simplicial volume \(\|G_r\|\) of the canonical \(H_2\)-class is often related linearly to \(\mathrm{scl}_{F(S)}(r)\) by
\[
\|G_r\| = 4\,\mathrm{scl}_S(r)-2,
\]
and this relation holds exactly for free-product and HNN-type decomposable relators, approximately for proper powers and \(C'(1/N)\) relators, and asymptotically for random relators [1911.02470]. This suggests that the rational polyhedral behavior of scl can control other \(\ell^1\)-type invariants of groups.

Baumslag–Solitar groups occupy an intermediate position. Clay–Forester–Louwsma established lower bounds for general elements, showed that scl is computable and rational for elements of alternating \(t\)-shape, and characterized exactly which such elements admit extremal surfaces [1310.3861]. Chen later reinterpreted parts of this through rationality in graphs of groups and proved that for \(t\)-alternating words, scl in \(BS(M,L)\) agrees with scl in \(\mathbb{Z}/M\mathbb{Z}*\mathbb{Z}/L\mathbb{Z}\) [1904.08360].

## 4. Positivity, gaps, and zero loci

A central qualitative dichotomy in the subject is between positivity and vanishing. In some groups, every nontrivial element has positive scl; in others, large families have scl zero.

A recent example of strong positivity is the free \(\mathbb{Q}\)-group \(F_S^{\mathbb{Q}}\), the uniquely divisible completion of a free group. Every non-identity element has positive scl, and the inclusion \(F_S\hookrightarrow F_S^{\mathbb{Q}}\) is isometric for scl on chains [2507.14009]. At the same time, there is no spectral gap: if \(g\in [F_S,F_S]\) has positive scl, then
\[
\mathrm{scl}(g^{1/k}) = \frac{\mathrm{scl}(g)}{k}\to 0,
\]
so the positive spectrum accumulates at zero [2507.14009]. This shows that positivity and gap phenomena are logically distinct.

In mapping class groups of finite type, positivity is governed by Nielsen–Thurston decomposition. For a finite-index subgroup \(G<MCG(\Sigma)\), an element \(g\) has positive scl exactly when some chiral equivalence class of pure components is essential; if \(\mathrm{scl}_G(g)>0\), then it is uniformly bounded away from zero by a constant depending only on \(G\) and \(\Sigma\) [1306.2394]. In particular, there exists a finite-index subgroup on which every nontrivial element has positive scl, and every nontrivial element of the Torelli group has positive scl [1306.2394]. Hyperelliptic mapping class groups refine the quantitative side: the scl of a nonseparating Dehn twist satisfies
\[
\mathrm{scl}(t_{s_0}) \le \frac{1}{2(2g+3+1/g)},
\]
while certain explicit elements \(E_g\) have exactly
\[
\mathrm{scl}_{\mathcal{H}_g}(E_g)=\frac12
\]
[1212.6117].

Right-angled Artin groups also exhibit uniform positivity. If the defining graph has chromatic number \(k\), then every nontrivial element has
\[
\mathrm{scl}(g)\ge \frac{1}{6k},
\]
and if the defining graph is triangle-free, then every nontrivial element has
\[
\mathrm{scl}(g)\ge \frac{1}{20}
\]
[1710.10542]. The proofs are geometric, using surfaces in Salvetti complexes and a non-overlapping theorem for subwords. The same paper notes that stronger \(1/2\) bounds were obtained by Heuer via quasimorphisms [1710.10542].

For groups acting on trees, the universal lower bound is \(1/12\). Clay–Forester–Louwsma constructed homogeneous counting quasimorphisms for tree actions with defect at most \(6\), and proved that any well-aligned hyperbolic element satisfies
\[
\mathrm{scl}(g)\ge \frac{1}{12}
\]
[1310.3861]. In \(BS(2,3)\), the element \(tat^{-1}a\) has scl exactly \(1/12\), showing the bound is sharp [1310.3861]. For Baumslag–Solitar groups \(BS(m,\ell)\) with \(m\neq \ell\), they furthermore proved a spectral gap:
\[
\mathrm{scl}(g)=0 \quad\text{or}\quad \mathrm{scl}(g)\ge \frac{1}{12}
\]
for every element \(g\) [1310.3861].

## 5. Surface groups, braids, mapping classes, and large-scale behavior

Mapping class and braid groups provide some of the richest interactions between scl and topology. In hyperelliptic mapping class groups, scl bounds for Dehn twists are obtained from explicit \(\omega\)-signature quasimorphisms, including exact defect computations for the Meyer function and exact values for certain high-complexity elements [1212.6117]. In finite-index subgroups of \(MCG(\Sigma)\), the essential-chiral criterion and the uniform gap theorem show that scl is determined by the decomposition of a mapping class into pseudo-Anosov and multitwist components [1306.2394].

For infinite-type surfaces, the behavior is topological rather than purely algebraic. If \(S\) is an infinite-type surface whose mapping class group is locally coarsely bounded and whose maximal end classes satisfy the hypotheses of Mann–Rafi theory, then the commutator subgroup of \(\operatorname{Map}(S)\) is open and closed, and
\[
\mathrm{scl}:[\operatorname{Map}(S),\operatorname{Map}(S)]\to \mathbb{R}_{\ge 0}
\]
is continuous [2108.02123]. The same work shows that in many such cases the abelianization is finitely generated and discrete [2108.02123]. This suggests that, in big mapping class groups, scl is compatible with the ambient Polish group topology in a way absent from discrete finite-type settings.

Braid groups connect scl to \(4\)-dimensional topology. A quasihomomorphism
\[
\Psi_n:B_n\to \mathrm{Conc}(S^3)
\]
to the concordance group satisfies defect \(D_{\Psi_n}\le 3n+1\) and is Lipschitz with respect to the conjugation-invariant word norm and commutator length [1402.3191]. For \(\alpha\in [B_n,B_n]\), the stable four-ball genus obeys
\[
\operatorname{sg}_4(\Psi_n(\alpha)) \le 6D_{\Psi_n}\,\mathrm{scl}_{B_n}(\alpha)+D_{\Psi_n},
\]
so vanishing scl forces uniform bounds on stable four-ball genus in the concordance group [1402.3191]. In the infinite braid group \(B_\infty\), commutator length is bounded and hence scl vanishes identically, yet the commutator subgroup admits a stably unbounded conjugation-invariant norm, answering an open problem of Burago, Ivanov, and Polterovich [1402.3191].

Large-scale probabilistic behavior is now also well developed. For random geodesic words or random walks of length \(n\) in hyperbolic groups, and more generally in groups acting nondegenerately on hyperbolic spaces, scl is of order \(n/\log n\) with high probability [1008.4952]. In free groups, the normalized quantity \(\mathrm{scl}(g)\log n/n\) concentrates near \(\log(2k-1)/6\) [1008.4952]. This situates scl among asymptotic random invariants and gives quantitative control on random finite-dimensional sections of the scl norm ball.

## 6. Current directions: rational completions, irrational values, and random matrices

Recent work has considerably expanded the frontier of the subject. Free \(\mathbb{Q}\)-groups illustrate a new completion phenomenon: the free group embeds isometrically for scl into its \(\mathbb{Q}\)-completion, every nontrivial element in the completion has positive scl, and the space \(Q(G)/\mathrm{Hom}(G)\) is infinite-dimensional [2507.14009]. The same paper conjectures that scl is rational on free \(\mathbb{Q}\)-groups, and shows that this conjecture would imply rationality for many root extensions, including non-orientable surface groups isometrically embedded in free \(\mathbb{Q}\)-groups [2507.14009]. Since rationality for surface groups is a longstanding open problem, this places rationality on free \(\mathbb{Q}\)-groups at the center of a broader unresolved program.

The irrational side of the theory changed decisively with the construction of algebraic irrational scl in finitely presented groups. In the total lift of the golden ratio Thompson group \(T_\tau\), where \(\tau=(\sqrt5-1)/2\), the scl spectrum contains
\[
\frac12\,\mathbb{Z}[\tau],
\]
providing the first finitely presented, indeed type \(F_\infty\), example with algebraic irrational scl values [2110.06286]. The computation uses the rotation quasimorphism, which spans the space of homogeneous quasimorphisms on the lifted group, so scl is exactly half the absolute rotation number there [2110.06286]. This resolves a question of Calegari and shows that rationality phenomena are not universal even in highly structured finitely presented groups.

A further conceptual development is the random-matrix reformulation of scl. Magee and Puder showed that for a word \(w\), stable commutator length can be expressed through stable Fourier coefficients of \(w\)-random unitary matrices; subsequent work extended this viewpoint to other stable invariants of words and other families of groups [2509.17271]. In particular, the infimum of decay exponents of suitable stable Fourier coefficients recovers \(2\,\mathrm{scl}(w)\) in the unitary case, while analogues involving symmetric groups and wreath products capture stable primitivity rank and related invariants [2509.17271]. This suggests that scl belongs to a wider class of “stable invariants of words” detectable by asymptotic representation theory.

The present landscape is therefore sharply stratified. Rationality and piecewise rational linearity hold in free groups, many free products, graphs of groups with cyclic data, and large families of alternating words in Baumslag–Solitar groups [1102.1365; 1904.08360; 1310.3861]. Exact positivity and spectral gaps are known in right-angled Artin groups, mapping class groups, Torelli groups, and Baumslag–Solitar groups [1710.10542; 1306.2394; 1310.3861]. At the same time, algebraic irrational values occur in finitely presented groups [2110.06286], and rationality for surface groups remains open, with free \(\mathbb{Q}\)-groups now offering a new, closely related test case [2507.14009].

Source: https://www.emergentmind.com/topics/stable-commutator-length