Bavard Duality in Geometric Group Theory

• Bavard duality is a fundamental theorem in geometric group theory linking stable commutator lengths to homogeneous quasimorphisms.
• It establishes a dual formulation for both absolute and mixed commutator lengths through evaluations of G-invariant quasimorphisms.
• Its applications span rigidity phenomena, symplectic topology, and computational frameworks in braid groups and group extensions.

Bavard duality is a fundamental theorem in geometric group theory and bounded cohomology that relates algebraic expressions of group elements in terms of commutators to functional-analytic objects known as quasimorphisms. The classical form expresses the stable commutator length (scl) in a group as a supremum over normalized evaluations of homogeneous quasimorphisms. The “mixed” or “relative” form—known as mixed Bavard duality—establishes an analogous correspondence in the context of a group $G$ with a normal subgroup $N$, capturing the minimal expression of elements as products of “mixed commutators.” This duality has been significantly generalized, connecting chain-level invariants, relative Gromov norms, and bounded cohomology, and has deep implications for the structure of groups, the theory of quasimorphisms, and rigidity phenomena in geometry and topology (Kawasaki et al., 2020, Kawasaki et al., 2024, Marchand, 2023).

1. Classical Bavard Duality

For a group $G$ and an element $x$ in the commutator subgroup $[G,G]$, the commutator length $\mathrm{cl}_G(x)$ is the minimal number of commutators whose product is $x$. Its stabilization,

$$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$

quantifies the “asymptotic commutator cost” of $x$. A homogeneous quasimorphism $\varphi:G\to\mathbb{R}$ is a real-valued function linear on powers, with defect

$N$0

Bavard’s theorem states: $N$1 where $N$2 denotes homogeneous quasimorphisms, and $N$3 the homomorphisms (Kawasaki et al., 2024).

This duality bridges geometric complexity in $N$4 with properties of functionals (quasimorphisms) and forms the basis for understanding stable norms, rigidity, and bounded cohomology.

2. Mixed Bavard Duality: Definitions and Main Theorem

Given $N$5 and a normal subgroup $N$6, a $N$7-commutator is any $N$8 with $N$9, $G$0, and the group $G$1 is generated by such elements. The $G$2-commutator length $G$3 of $G$4 is the minimal $G$5 such that

$G$6

and the stable version is

$G$7

A quasimorphism $G$8 is $G$9-invariant if $x$0 for all $x$1. The space $x$2 collects such homogeneous $x$3-invariant quasimorphisms, while $x$4 is the subspace of genuine homomorphisms.

Mixed Bavard Duality Theorem ([Kawasaki, Kimura, Matsushita, Mimura]; (Kawasaki et al., 2020, Kawasaki et al., 2024)): $x$5 This recovers the classical theorem when $x$6.

3. Geometric, Cohomological, and Chain-Level Extensions

Mixed Bavard duality has been generalized to include:

• Chain-level duality: Calegari’s framework allows replacing elements with chains, resulting in generalized duality involving $x$7 for $x$8-chains $x$9 and evaluations against quasimorphisms on chains (Kawasaki et al., 2024).
• Relative Gromov norm: The duality between the $[G,G]$0-norm on relative homology $[G,G]$1 and extremal assertions over bounded cohomology, with the Bavard duality for the relative Gromov seminorm taking the form:

$[G,G]$2

for $[G,G]$3 (Marchand, 2023).

• Generalized mixed Bavard duality: For chains $[G,G]$4 in a relative complex $[G,G]$5, the stable mixed commutator length is

$[G,G]$6

unifying all previous theorems (Kawasaki et al., 2024).

4. Proof Techniques and Geometric Interpretation

The proof of mixed Bavard duality follows Bavard’s original analytic-geometric approach, refined as follows (Kawasaki et al., 2020, Kawasaki et al., 2024):

• Filling norm in bar complex: For $[G,G]$7, define a seminorm using the infimum of $[G,G]$8-norms of chains in a suitable subcomplex. The filling norm’s stabilization relates as $[G,G]$9.
• Duality via Hahn–Banach theorem: The Banach dual of the chain space captures the extremal functionals, identified with $\mathrm{cl}_G(x)$0-invariant homogeneous quasimorphisms on $\mathrm{cl}_G(x)$1.
• Geometric/simplicial model: $\mathrm{cl}_G(x)$2 equals the minimal genus of an orientable surface with one boundary component, labeled in $\mathrm{cl}_G(x)$3 such that every triangle has at least one edge in $\mathrm{cl}_G(x)$4 and the boundary edge represents $\mathrm{cl}_G(x)$5.
• Bounded cohomology viewpoint: The duality results are interpreted through exact sequences in bounded group cohomology, controlling extension and obstructions for quasimorphisms, especially encapsulated in the space $\mathrm{cl}_G(x)$6 of non-extendable quasimorphisms.

5. Structural Consequences and the Space of Non-Extendable Quasimorphisms

A central structural object is

$\mathrm{cl}_G(x)$7

where $\mathrm{cl}_G(x)$8 is the restriction. $\mathrm{cl}_G(x)$9 consists of $x$0-invariant homogeneous quasimorphisms on $x$1 that do not extend to $x$2 (Kawasaki et al., 2024).

Notably,

• If $x$3 is amenable and $x$4, or if the extension $x$5 virtually splits, then $x$6 and $x$7 are bi-Lipschitzly equivalent on $x$8.
• For acylindrically hyperbolic $x$9 and infinite $$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$0, $$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$1, indicating a rich structure of non-extendable quasimorphisms.
• If $$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$2 is finitely generated nilpotent, $$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$3 is finite-dimensional and controlled by the boundedly acyclic nature of the quotient.

Extension-obstructing cohomology sequences elucidate conditions under which mixed and absolute (stable) commutator lengths are equivalent. The cohomological context is crucial for understanding the finiteness and size of $$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$4 and, hence, the gap between $$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$5 and $$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$6 (Kawasaki et al., 2024).

6. Applications and Examples

Mixed Bavard duality and its generalizations have concrete computational and conceptual implications:

• Braid groups: For $$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$7, $$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$8 (pure braids), $$\mathrm{scl}_G(x) = \lim_{n\to\infty} \frac{\mathrm{cl}_G(x^n)}{n},$$9 is finite ($x$0), yielding approximate equivalence of mixed and absolute commutator lengths.
• Semi-direct products: For $x$1 with finite or free $x$2, the invariants are bi-Lipschitz equivalent.
• Hamiltonian diffeomorphism groups: For $x$3, $x$4, there are examples where the mixed and absolute invariants diverge, reflecting symplectic rigidity and linking to heavy subset theory and Entov–Polterovich’s spectral invariants (Kawasaki, 2016).
• Graphs of groups: The duality for the relative Gromov seminorm enables explicit computation of $x$5 in certain amalgamated products and HNN extensions, and shows isometric embeddings of bounded cohomologies (Marchand, 2023).

Applications extend to symplectic topology, dynamics, and the geometry of infinite groups, with the duality playing an essential organizing role in connecting commutator counts, group cohomology, and the algebraic geometry of group extensions.

7. Summary Table: Bavard Duality Variants

Setting	Invariant	Dual Space
$x$6 (absolute)	$x$7	$x$8
$x$9 (mixed)	$\varphi:G\to\mathbb{R}$0	$\varphi:G\to\mathbb{R}$1
Chain level	$\varphi:G\to\mathbb{R}$2	Homogeneous quasimorphisms on chains
Relative Gromov (top./alg.)	$\varphi:G\to\mathbb{R}$3	$\varphi:G\to\mathbb{R}$4 (bounded cohom.)

The Bavard duality paradigm serves as a bridge between the algebraic decomposition of elements (commutators/mixed commutators), functional analysis (quasimorphisms and their defects), and the geometry and topology of groups, with extensive ramifications for rigidity, stable norms, and bounded cohomology (Kawasaki et al., 2020, Kawasaki et al., 2024, Marchand, 2023, Kawasaki, 2016).