1 · The essentials
These manuscripts study mathematical systems built from finitely many basic operations subject to one defining rule. The first asks whether excluding a particular family of smaller systems forces the whole system to have a specific kind of geometric structure. The excluded systems are called Baumslag–Solitar groups, and the required structure is called word-hyperbolicity. This implication, known here as Gersten’s conjecture, is shown in the main manuscript. The companion manuscript shows that systems of this kind that are word-hyperbolic also have a stronger structural property. Combined with work of Kielak–Linton, that second result gives a further description requested by another conjecture. These are manuscript results: the main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine an assembly made from a finite collection of parts under one assembly rule: the first result says that excluding a specified family of internal assemblies guarantees a particular overall structure. The companion result then says that assemblies with that structure admit an additional organized description; the image does not explain why either mathematical implication holds.
Why it matters
The main manuscript connects the absence of specified subgroups with word-hyperbolicity for finitely generated one-relator groups. The companion manuscript connects word-hyperbolicity with virtual compact specialness. Together with the cited work of Kielak–Linton, the latter result resolves Wise’s virtual free-by-cyclic conjecture for hyperbolic one-relator groups, as stated in the supplied abstract.
2 · Going further
The precise claim in the main manuscript is this: if is a finitely generated one-relator group and contains no subgroup isomorphic to for any nonzero integers , then is word-hyperbolic. The supplied text identifies this statement as Gersten’s conjecture. The exclusion concerns subgroups, not merely whether itself is a Baumslag–Solitar group.
The companion manuscript shows that every word-hyperbolic one-relator group is virtually compact special. Thus the two manuscript statements form a chain: the Baumslag–Solitar exclusion under the first manuscript’s hypotheses yields word-hyperbolicity, and word-hyperbolicity places the group within the scope of the second statement.
The second abstract further states that combining its result with work of Kielak–Linton resolves Wise’s virtual free-by-cyclic conjecture for hyperbolic one-relator groups. The resulting free kernel is allowed to have infinite rank; no finite-rank conclusion is asserted. Neither abstract describes the argument or its main construction, so the supplied material supports this account of the implications, but not an explanation of their proof strategy.
Useful notions
- Groups and subgroups
- Generators and defining relations
- One-relator groups
- Word-hyperbolicity
- Virtual properties of groups
What was known before / what is new
Before
The supplied text identifies the first statement as Gersten’s conjecture and the further free-by-cyclic conclusion as Wise’s conjecture for hyperbolic one-relator groups. It also cites work of Kielak–Linton as an ingredient in obtaining the latter conclusion. It gives no further historical account or description of earlier partial results.
New
The main manuscript shows that finitely generated one-relator groups without any Baumslag–Solitar subgroup with nonzero parameters are word-hyperbolic. The companion manuscript shows that every word-hyperbolic one-relator group is virtually compact special. Its abstract states that, combined with work of Kielak–Linton, this yields virtual free-by-cyclicity with a possibly infinite-rank free kernel.
Limits and assumptions
The main statement requires finite generation, a one-relator presentation, and the absence of every subgroup isomorphic to with . The companion statement applies to word-hyperbolic one-relator groups; no extension to arbitrary groups is asserted. The free-by-cyclic conclusion allows an infinite-rank free kernel. The main result is not formalized in Lean and has not been formally verified. The abstracts supply no argument details and identify no remaining open questions.
Mini glossary
- One-relator group —
- A group admitting a description by generators and one defining relation.
- Finitely generated —
- Describes a group whose elements can all be built from a finite set of generators and their inverses.
- Baumslag–Solitar subgroup —
- A subgroup isomorphic to a group in the family denoted , with both parameters required to be nonzero in the main statement.
- Word-hyperbolicity —
- The geometric group property obtained in the main manuscript and assumed in the companion manuscript.
- Virtual compact specialness —
- The structural property that the companion manuscript establishes for every word-hyperbolic one-relator group.
Keywords : One-relator groups · Gersten’s conjecture · Virtual compact specialness
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves Gersten's conjecture: every finitely generated one-relator group containing no Baumslag–Solitar subgroup , with , is word-hyperbolic. It also proves that every word-hyperbolic one-relator group is virtually compact special.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
Baumslag-Solitar-free one-relator groups are hyperbolic
25/09/2026We prove Gersten's conjecture: every finitely generated one-relator group containing no subgroup isomorphic to a Baumslag–Solitar group , for nonzero integers m, n, is word-hyperbolic.
Virtual compact specialness of hyperbolic one-relator groups
25/09/2026We prove that every word-hyperbolic one-relator group is virtually compact special. Combined with the work of Kielak–Linton, this resolves Wise's virtual free-by-cyclic conjecture for hyperbolic one-relator groups: every such group is virtually free-by-cyclic, with the free kernel allowed to have infinite rank.