Gersten’s conjecture and virtual compact specialness of one-relator groups

Claims one-relator groups without Baumslag–Solitar subgroups are hyperbolic and virtually compact special.

2 papers September 25, 2026 Explained by AI

A one-relator group is built from free generators and a single rule. Some such groups contain special pieces called Baumslag–Solitar groups, which stretch distances badly. Gersten conjectured these are the only thing stopping hyperbolicity, a large-scale negative curvature. The first paper claims to prove this. The second claims every hyperbolic one-relator group has a finite cover with a strong cube geometry.

First step

1992

Steve Gersten, who asked whether Baumslag–Solitar subgroups are the only obstructions

Significance

Major

Gersten's conjecture and the cubulation of hyperbolic one-relator groups are central open problems for one-relator groups.

Trust

Claimed, not checked

Field

Group theory

2 papers

The explanation

Take two generators a and t with one rule: t a t⁻¹ = a². This is the Baumslag–Solitar group BS(1, 2). Apply the rule twice: t² a t⁻² = t a² t⁻¹ = a⁴. After k steps, t^k a t^−k = a^(2^k). For k = 10 that gives a¹⁰²⁴. The left side has only 10 + 1 + 10 = 21 letters. So a power of a that seems 1024 letters long has a 21-letter shortcut. Such exponential shortcuts cannot happen in a hyperbolic group.

A one-relator group has finitely many generators and one defining rule. BS(m, n) is the group with rule t a^m t⁻¹ = a^n, for nonzero m and nSource 1. These groups are the basic obstructions to hyperbolicity among one-relator groupsSource 1. A word-hyperbolic group is one whose distance graph has thin triangles. The flat grid Z² is BS(1, 1), with rule t a t⁻¹ = a, so the conjecture excludes it tooSource 2. Gersten asked whether Baumslag–Solitar subgroups are the only obstructionsSource 3.

Partial answers came from the hierarchy method. Magnus showed in 1930 that dropping a generator from the rule leaves a free subgroupSource 4. Newman's spelling theorem gave hyperbolicity for relators that are proper powersSource 5. Linton showed a one-relator group is hyperbolic and locally quasiconvex exactly when its primitivity rank is not twoSource 6. The obstacle was hyperbolicity alone in the primitivity-rank-two case. There the splittings need not stay geometrically controlled.

The first paper claims the full conjecture. If a one-relator group contains no BS(m, n) subgroup, then it is word-hyperbolicSource 7. The proof uses Magnus splittingsSource 8. A combination theorem then gives hyperbolicity when annuli in a graph of groups flare outSource 9.

The second paper claims that every hyperbolic one-relator group is virtually compact specialSource 10. That means a finite-index subgroup is the loop group of a finite cube complex. That complex maps nicely to the model space of a right-angled Artin group. A right-angled Artin group has one generator per vertex of a graph, with commuting rules along edges. This structure implies residual finiteness: every nonidentity element survives in some finite quotientSource 11. Combined with work of Kielak and Linton, it answers Wise's question: hyperbolic one-relator groups are virtually free-by-cyclicSource 12.

How sure is this? Neither paper has a Lean formalization. No specialist review of either paper has been published. These are claims by the papers, not checked results.

What it doesn't show. This does not have a Lean formalization, and it does not cover groups with more than one defining relation.

Where it came from

This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026.

Hype check

Major if it holds. Neither paper has a Lean formalization or a published specialist review.

Words used

One-relator group: A group with finitely many generators and a single defining rule.
Baumslag–Solitar group: The group BS(m, n) with generators a and t and the one rule t a^m t⁻¹ = a^n.
Word-hyperbolic group: A finitely generated group whose distance graph has uniformly thin triangles.
Primitivity rank: The least rank of a free subgroup containing the relator where the relator is not part of a free basis.
Virtually compact special: A finite-index subgroup is the loop group of a finite cube complex that maps locally isometrically to a right-angled Artin model.
Residually finite: Every nonidentity element stays nonidentity in some finite image of the group.
Free-by-cyclic: An extension of a free group by a subgroup of the integers.

The original papers (2)

Baumslag-Solitar-free one-relator groups are hyperbolic (PDF, opens in a new tab)
September 25, 2026
Virtual compact specialness of hyperbolic one-relator groups (PDF, opens in a new tab)
September 25, 2026

All quoted lines (12)

The Baumslag–Solitar groups $\operatorname{BS}(m,n) =\langle a,t\mid ta^mt^{-1}=a^n\rangle, \qquad m,n\in\mathbb Z\setminus\{0\},$ are the basic obstructions to hyperbolicity among one-relator groups.
Baumslag-Solitar-free one-relator groups are hyperbolic Back to text
In particular, the hypothesis excludes $\operatorname{BS}(1,1)=\mathbb Z^2$ .
Baumslag-Solitar-free one-relator groups are hyperbolic Back to text
Gersten asked whether they are the only subgroup obstructions.
Baumslag-Solitar-free one-relator groups are hyperbolic Back to text
The inductive study of one-relator groups begins with Magnus's Freiheitssatz: omitting a generator that occurs in a cyclically reduced relator leaves a subgroup freely generated by the remaining generators.
Virtual compact specialness of hyperbolic one-relator groups Back to text
Newman's spelling theorem for proper-power relators gives a Dehn algorithm and hence hyperbolicity; see also the proof in.
Baumslag-Solitar-free one-relator groups are hyperbolic Back to text
His later characterization says that a finitely generated one-relator group is both hyperbolic and locally quasiconvex precisely when its relator has primitivity rank different from two.
Baumslag-Solitar-free one-relator groups are hyperbolic Back to text
If the one-relator group $G=\langle X\mid r\rangle$ contains no subgroup isomorphic to $\operatorname{BS}(m,n)$ for any nonzero integers $m,n$ , then $G$ is word-hyperbolic.
Baumslag-Solitar-free one-relator groups are hyperbolic Back to text
The Freiheitssatz makes an inductive approach possible: a Magnus splitting has a smaller one-relator vertex group and free edge groups.
Baumslag-Solitar-free one-relator groups are hyperbolic Back to text
The Bestvina–Feighn combination theorem makes annular flaring a sufficient condition for hyperbolicity when the vertex and edge data satisfy the required geometric hypotheses.
Baumslag-Solitar-free one-relator groups are hyperbolic Back to text
Then $G$ is virtually compact special.
Virtual compact specialness of hyperbolic one-relator groups Back to text
Theorem … extends the compact-special conclusion, and hence residual finiteness, to every hyperbolic one-relator group.
Virtual compact specialness of hyperbolic one-relator groups Back to text
Combining that corollary with Theorem … gives a positive answer.
Virtual compact specialness of hyperbolic one-relator groups Back to text

Other sources

openai/math release notes (2026): model provenance and review status manuscripts and supporting proof artifacts produced by an internal OpenAI model

246Cannon's conjectureGroup theory
214The Benjamini–Schramm nonuniqueness conjectureProbability and statistical mechanics
306The purely cosmetic surgery conjectureTopology
311The Hovey–Strickland and Chai conjecturesTopology
173Seymour’s second-neighborhood conjectureCombinatorics

Browse Group theory Named conjectures Open since the 1990s Claimed, not yet checked