Coarse geometry of stable mixed commutator length I: duality and functional analysis on chains
Pith reviewed 2026-05-20 01:29 UTC · model grok-4.3
The pith
The mixed stable commutator length and the restriction of ordinary scl are bi-Lipschitz equivalent exactly when the space W(G,N) vanishes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let G be a group and N its normal subgroup. On the mixed commutator subgroup [G,N], the mixed stable commutator length scl_{G,N} and the restriction of the ordinary stable commutator length scl_G are defined. We characterize when they are bi-Lipschitz equivalent by the vanishing of a certain R-linear space W(G,N) related to invariant quasimorphisms. For the proof, we obtain a refined version of the generalized mixed Bavard duality theorem, and perform functional analysis on the completion of a certain space of 1-chains.
What carries the argument
The real vector space W(G,N) of invariant quasimorphisms, whose vanishing is the exact condition for bi-Lipschitz equivalence between scl_{G,N} and the restriction of scl_G.
If this is right
- Whenever W(G,N) vanishes, bounds and computations for scl_G transfer to scl_{G,N} up to a multiplicative constant.
- The refined mixed Bavard duality supplies quasimorphism-based estimates that apply simultaneously to both lengths.
- Functional analysis on completed 1-chain spaces extends the duality from finite to infinite-dimensional settings.
- The criterion distinguishes groups in which the normal subgroup N does not alter the coarse geometry of commutators from those in which it does.
Where Pith is reading between the lines
- The vanishing test may decide equivalence in concrete families such as hyperbolic groups or surface groups with chosen normal subgroups.
- The result suggests a link between the geometry of mixed scl and the second bounded cohomology of G relative to N.
- One could look for a version of the same characterization that applies to higher-order mixed commutator lengths or to other stable length functions.
- Explicit vanishing of W(G,N) might be checkable via known bases of quasimorphisms in free or surface groups.
Load-bearing premise
A refined version of the generalized mixed Bavard duality theorem holds and functional analysis can be performed on the completion of a certain space of 1-chains.
What would settle it
Compute W(G,N) explicitly for G equal to the free group of rank two and N the normal subgroup generated by a single nontrivial word, then check whether the two length functions are bi-Lipschitz equivalent when the space is nonzero.
read the original abstract
Let $G$ be a group and $N$ its normal subgroup. On the mixed commutator subgroup $[G,N]$, the mixed stable commutator length $\mathrm{scl}_{G,N}$ and the restriction of the ordinary stable commutator length $\mathrm{scl}_{G}$ are defined. We characterize when they are bi-Lipschitz equivalent by the vanishing of a certain $\mathbb{R}$-linear space $\mathrm{W}(G,N)$ related to invariant quasimorphisms. For the proof, we obtain a refined version of the generalized mixed Bavard duality theorem, and perform functional analysis on the completion of a certain space of $1$-chains.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to characterize when the mixed stable commutator length scl_{G,N} and the restriction of the ordinary stable commutator length scl_G are bi-Lipschitz equivalent on the mixed commutator subgroup [G,N] for a group G with normal subgroup N. The characterization is given by the vanishing of a certain R-linear space W(G,N) related to invariant quasimorphisms. The proof is said to rely on obtaining a refined version of the generalized mixed Bavard duality theorem together with functional analysis on the completion of a certain space of 1-chains.
Significance. If established, the result would supply a concrete criterion for bi-Lipschitz equivalence of these two stable commutator length functions, potentially streamlining comparisons in the coarse geometry of groups and normal subgroups. The combination of a refined duality statement with functional-analytic techniques on chain completions could extend existing tools for studying quasimorphisms and their kernels, offering a framework that may apply to further questions in geometric group theory.
minor comments (2)
- The abstract refers to 'a certain R-linear space W(G,N)' without indicating its explicit construction or relation to invariant quasimorphisms; a short definitional clause would improve immediate readability.
- The phrase 'refined version of the generalized mixed Bavard duality theorem' is used without specifying the nature of the refinement; noting the key differences from prior statements would help situate the contribution.
Simulated Author's Rebuttal
We thank the referee for their summary of the manuscript and for recognizing the potential significance of the characterization of bi-Lipschitz equivalence between scl_{G,N} and scl_G via the vanishing of W(G,N), as well as the utility of the refined mixed Bavard duality combined with functional analysis on completed chains. We are pleased that these aspects are viewed as potentially extending tools in geometric group theory.
Circularity Check
No significant circularity detected from available abstract
full rationale
The abstract frames the central result as a characterization of bi-Lipschitz equivalence between scl_{G,N} and the restriction of scl_G via vanishing of the R-linear space W(G,N), derived from a refined version of the generalized mixed Bavard duality theorem plus functional analysis on the completion of a space of 1-chains. No equations, definitions, or proof steps are supplied that would allow any claim to reduce by construction to fitted inputs or self-citations. The work is explicitly positioned as building on prior duality theorems rather than re-deriving its own premises. Per the hard rules, circularity can only be asserted when a specific reduction is quotable from the paper; none exists here, so the derivation is treated as self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat recovery and embed_strictMono_of_one_lt unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We characterize when scl_{G,N} and the restriction of scl_G are bi-Lipschitz equivalent by the vanishing of a certain R-linear space W(G,N) related to invariant quasimorphisms... refined version of the generalized mixed Bavard duality theorem, and perform functional analysis on the completion of a certain space of 1-chains.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.