The stable commutator length of a relator is not a one-relator group invariant

Lineage and corrections

Lean formalisation, search pipeline and scl recomputation evidence for this event

This event attributed to Claude Opus 5

The stable commutator length of a relator is not a one-relator group invariant evidence for this event

VibeMathed record: The stable commutator length of a relator is not a one-relator group invariant evidence for this event

Heuer and Löh, where the question is posed evidence for this event

A negative answer to Heuer and Löh's question: the isomorphism type of a one-relator group $\langle S \mid r\rangle$ does not determine $\mathrm{scl}_S(r)$. The witnesses are $r=\mathtt{aabABabABBAbaabABBAb}$ and $r'=\mathtt{aabABabABabABBAbaBAb}$, both length 20 in $F_2'$, with $\langle a,b \mid r\rangle\cong\langle a,b\mid r'\rangle$ but $\mathrm{scl}(r)=1$ against $\mathrm{scl}(r')=1/2$. The mechanism is what made the search finite: $\mathrm{scl}$ is an $\operatorname{Aut}(F_2)$-invariant, so a pair in *different* orbits whose one-relator groups happen to be isomorphic has its two scl values unconstrained by each other. The search was for that configuration among words of length at most 20. Scope: it settles the question as posed and nothing wider. It does not say which invariants do determine scl, and this is a single pair rather than a construction giving arbitrary gaps. parent of this event

This event attributed to Harmonic Aristotle (Lean formalisation)

The stable commutator length of a relator is not a one-relator group invariant parent of this event