algebra / Geometric group theory; special cube complexes

Are hyperbolic one-relator groups virtually compact special?

Theorem 1.1: every word-hyperbolic one-relator group is virtually compact special. Theorem 1.2: every hyperbolic ascending mapping torus of an injective endomorphism of a finitely generated free group is virtually compact special. With Kielak-Linton, every hyperbolic one-relator group is virtually free-by-cyclic (kernel possibly of infinite rank in the subgroup-closed sense, with a finite-index embedding in a free-by-Z\mathbb Z group with finitely generated kernel), which is Wise's Conjecture 17.8 for this class, and every hyperbolic one-relator group is residually finite and linear over Z\mathbb Z. It says nothing about non-hyperbolic one-relator groups. Consistent with the release's non-residually-finite hyperbolic group (catalog entry on residual finiteness), which is not one-relator.

40Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraSep 25, 2026Significance 40/100Registry: unreviewed

Are hyperbolic one-relator groups virtually compact special?

Prior state unknown→proved

Theorem 1.1: every word-hyperbolic one-relator group is virtually compact special. Theorem 1.2: every hyperbolic ascending mapping torus of an injective endomorphism of a finitely generated free group is virtually compact special. With Kielak-Linton, every hyperbolic one-relator group is virtually free-by-cyclic (kernel possibly of infinite rank in the subgroup-closed sense, with a finite-index embedding in a free-b…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: every word-hyperbolic one-relator group is virtually compact special. Theorem 1.2: every hyperbolic ascending mapping torus of an injective endomorphism of a finitely generated free group is virtually compact special. With Kielak-Linton, every hyperbolic one-relator group is virtually free-by-cyclic (kernel possibly of infinite rank in the subgroup-closed sense, with a finite-index embedding in a free-by-Z\mathbb Z group with finitely generated kernel), which is Wise's Conjecture 17.8 for this class, and every hyperbolic one-relator group is residually finite and linear over Z\mathbb Z. It says nothing about non-hyperbolic one-relator groups. Consistent with the release's non-residually-finite hyperbolic group (catalog entry on residual finiteness), which is not one-relator.

Theorem 1.1: every word-hyperbolic one-relator group is virtually compact special. Theorem 1.2: every hyperbolic ascending mapping torus of an injective endomorphism of a finitely generated free group is virtually compact special. With Kielak-Linton, every hyperbolic one-relator group is virtually free-by-cyclic (kernel possibly of infinite rank in the subgroup-closed sense, with a finite-index embedding in a free-by-Z\mathbb Z group with finitely generated kernel), which is Wise's Conjecture 17.8 for this class, and every hyperbolic one-relator group is residually finite and linear over Z\mathbb Z. It says nothing about non-hyperbolic one-relator groups. Consistent with the release's non-residually-finite hyperbolic group (catalog entry on residual finiteness), which is not one-relator.

Recorded attempts

Evidence graph

Connected research record

Are hyperbolic one-relator groups virtually compact special? — Mathematical Frontier Network