Abstract:We prove that one-relator groups with negative immersions are hyperbolic and virtually special; this resolves a recent conjecture of Louder and Wilton. As a consequence, one-relator groups with negative immersions are residually finite, linear and have isomorphism problem decidable among one-relator groups. Using the fact that parafree one-relator groups have negative immersions, we answer a question of Baumslag's from 1986. The main new tool we develop is a refinement of the classic Magnus--Moldavanskii hierarchy for one-relator groups. We introduce the notions of Z-stable HNN-extensions and Z-stable hierarchies. We then show that a one-relator group is hyperbolic and has a quasi-convex one-relator hierarchy if and only if it does not contain a Baumslag--Solitar subgroup and has a Z-stable one-relator hierarchy.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the relationship between the geometric and algebraic properties of a specific class of groups (i.e., one - relator groups with negative immersions). Specifically: 1. **Proving the Conjecture**: The author aims to prove a conjecture by Louder and Wilton, that is, all groups with one - rank and negative immersions are hyperbolic groups and are virtually special. This not only solves the conjecture itself but also brings many important corollaries. 2. **Solving Long - standing Problems**: By proving the above - mentioned conjecture, the author solves some long - standing problems regarding one - rank groups, for example: - **Solvability of the Isomorphism Problem**: Groups with one - rank and negative immersions have a solvable isomorphism problem among similar groups. - **Residual Finiteness and Linearity**: These groups are residually finite and linear. - **Hyperbolicity of Free Subgroups**: Every finitely generated subgroup of these groups is hyperbolic. 3. **Introducing New Tools**: In order to prove the main results, the author introduces new mathematical tools and techniques, in particular, improves the classical Magnus–Moldavanskii hierarchy, and introduces the concepts of Z - stable HNN - extensions and Z - stable hierarchies. 4. **Answering Baumslag's Question**: As one of the applications, the author proves that parafree one - rank groups have negative immersions, thus answering positively Baumslag's question proposed in 1986, that is, the isomorphism problem of parafree one - rank groups is solvable. ### Main Contributions - **Theorem 7.2**: Groups with one - rank and negative immersions are hyperbolic and are virtually special. - **Corollary 7.3**: The isomorphism problem of groups with one - rank and negative immersions among similar groups is solvable. - **Corollary 7.4**: The isomorphism problem of parafree one - rank groups among similar groups is solvable. - **Corollary 7.5**: Groups with one - rank and negative immersions are residually finite and linear. - **Corollary 7.6**: Every finitely generated subgroup of groups with one - rank and negative immersions is hyperbolic. These results not only provide a new perspective for understanding one - rank groups but also lay the foundation for further research on the properties of these groups.

One-relator hierarchies

Uniform negative immersions and the coherence of one-relator groups

Residually rationally solvable one-relator groups

On the coherence of one-relator groups and their group algebras

Short, highly imprimitive words yield hyperbolic one-relator groups

Membership problems for positive one-relator groups and one-relation monoids

A combinatorial take on hierarchical hyperbolicity and applications to quotients of mapping class groups

Hierarchies for Relatively Hyperbolic Virtually Special Groups

Hierarchies in relative Picard-Lefschetz theory

Hyperbolicity and bounded-valued cohomology

Hyperbolic groups satisfy the Boone-Higman conjecture

Relative Non-Positive Immersion

Algebraically hyperbolic groups

Virtually free-by-cyclic groups

Short hierarchically hyperbolic groups II: quotients and the Hopf property for Artin groups

Surface groups among cubulated hyperbolic and one-relator groups

Relative hyperbolicity of ascending HNN extension of groups

Rigidity And Unirational Groups

Short hierarchically hyperbolic groups I: uncountably many coarse median structures