alphaFeedback

WorksMathematics

Virtual compact specialness of hyperbolic one-relator groups

AI contributions
  • unreleased internal OpenAI model
View details
Ancillary data
3 proof or workflow links
View

Abstract

We 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.

Introduction

One-relator presentations impose a single equation on a free group, but their geometric behavior ranges from free groups to groups with distorted cyclic subgroups. Hyperbolicity rules out the latter behavior. The purpose of this paper is to show that it also forces a strong finite-cover geometry.

Theorem 1.1. Let XX be finite, let r∈F(X)r \in F(X), and suppose that

G=F(X)/⟨⟨r⟩⟩G = F(X)/\langle\langle r\rangle\rangle

is word-hyperbolic. Then GG is virtually compact special. More precisely, there are a finite-index subgroup H≤GH \le G, a finite connected nonpositively curved cube complex CC, and a finite simplicial graph Λ\Lambda such that

π1(C)≅HandC⟶SΛ\pi_1(C) \cong H \quad\text{and} \quad C \longrightarrow S_{\Lambda}

is a cubical local isometry to the Salvetti complex of the right-angled Artin group defined by Λ\Lambda.

The compactness assertion is part of the conclusion. An abstract embedding of a finite-index subgroup in a right-angled Artin group would not by itself supply the model required in Theorem 1.1.

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 [44]. Magnus subsequently solved the word problem for one-relator groups [45]. These results established the importance of reducing a one-relator problem to simpler presentations while retaining control of distinguished free subgroups. The Magnus–Moldavanskii hierarchy develops this approach through splittings over those subgroups [39], Sections 1.1–1.3. The geometric question is whether the splittings have the quasiconvexity needed to construct finite special covers.

A second line of inquiry concerns finite quotients. A group is residually finite if each nonidentity element survives in some finite quotient. Baumslag’s 1967 Conjecture A asks for this property for one-relator groups with nontrivial torsion [6]. His paper contrasts this question with non-Hopfian one-relator examples, which cannot be residually finite. Wise’s quasiconvex hierarchy theory proved the stronger virtual compact specialness conclusion for one-relator groups with torsion [66]. Theorem 1.1 extends the compact-special conclusion, and hence residual finiteness, to every hyperbolic one-relator group.

The cubical approach explains why this strengthening matters. Haglund–Wise’s special cube complexes connect nonpositive curvature with embeddings in right-angled Artin groups and, in the hyperbolic case, separation of quasiconvex subgroups in finite quotients [28]. Wise’s hierarchy theorem makes quasiconvex splittings a way to obtain this structure [66]; Agol’s theorem supplies it for hyperbolic groups acting properly and cocompactly on CAT(0) cube complexes [2]. Thus the geometric conclusion controls both linear representations and finite-quotient information. Section 18 explains these consequences, including conjugacy separation and virtual retractions, as well as the fibering conclusions below.

In the torsion-free direction, Linton proved hyperbolicity and virtual specialness when all two-generator subgroups of a one-relator group are free [39]. His subsequent work identifies primitive extension groups as the terminal cases in the general hyperbolic problem and specifies the quasiconvex towers through which a terminal result propagates [40]. The remaining task is therefore a geometric construction for those primitive groups. Here we construct virtually compact special quotients, recover that structure using selective covers of the fillings, and then propagate it up the truncated tower. Wise singled out hyperbolic one-relator groups in his broader question about cocompact cubulation of hyperbolic groups with hierarchies [65]. Theorem 1.1 establishes the compact-special conclusion for this one-relator class.

We use free-by-cyclic in the subgroup-closed sense: a group HH fits into an exact sequence

1⟶K⟶H⟶Q⟶11 \longrightarrow K \longrightarrow H \longrightarrow Q \longrightarrow1

with KK free of possibly infinite rank and Q≤ZQ \le\mathbb{Z}, possibly trivial. Wise’s Conjecture 17.8 asks whether every hyperbolic one-relator group is virtually free-by-cyclic, as recalled by Kielak–Linton [37]. Their Corollary 1.3 identifies virtual compact specialness as a sufficient additional hypothesis. Combining that corollary with Theorem 1.1 gives a positive answer. Corollary 18.1 also records the Baumslag–Solitar-free consequence from the companion hyperbolicity theorem and a stronger finite-index embedding into a free-by-Z\mathbb{Z} group whose free kernel is finitely generated.

In the proof we use the hyperbolicity and Magnus-subgroup results of [52] at two specific points: embedded primitive extension groups are themselves hyperbolic, and their actual Magnus rows have the required hyperbolic geometry. The criterion in that paper excludes every Baumslag–Solitar subgroup BS(m,n)BS(m,n) with mn≠0mn \ne0. No virtual-specialness conclusion is imported from it.

The recovery step is a filling criterion proved in Section 3. Its input is a coherent, locally indicable hyperbolic group of cohomological dimension at most two, with a finite classifying complex acyclic over its Hughes-free division field, and arbitrarily deep virtually compact special fillings along specified peripherals. We replace these by selective fillings that retain any prescribed finite collection of kernel factors. Their covers have a quasiconvex cubical hierarchy. This geometric control realizes the finite coefficient data of a chain contraction in ordinary Novikov completions for both signs of one character. The resulting finite-index subgroup maps onto Z\mathbb{Z} with a finite-rank free kernel, and hence is virtually compact special.

Before constructing the primitive fillings, we use this criterion to prove a second result. It will also supply the specialness of the periodic end groups encountered in that construction.

Theorem 1.2. Let FF be a finitely generated free group and let ϕ:F→F\phi:F \to F be injective. If its ascending mapping torus

F∗ϕ=⟨F,t∣t−1ft=ϕ(f), f∈F⟩F*_{\phi} = \langle F,t \mid t^{-1}ft = \phi(f),\ f \in F \rangle

is word-hyperbolic, then it is virtually compact special.

Hagen and Wise cubulate hyperbolic free-by-cyclic groups with finite-rank free kernel [27], Theorem A]. Their irreducible theorem also covers expanding, fundamental-group-injective train-track maps whose transition matrices are irreducible and whose mapping-torus groups are hyperbolic [26], Theorem B]. They posed the cubulation problem for hyperbolic ascending HNN extensions defined by general monomorphisms in [27], Problem C]. Mutanguha constructs expanding relative immersions for injective nonsurjective endomorphisms and proves the Baumslag–Solitar criterion for arbitrary injective ascending tori [51], Theorems 4.5 and 6.7]. He also records Kielak’s question whether hyperbolic ascending tori of injective nonsurjective free-group endomorphisms are virtually free-by-cyclic [51], Overview, p. 3, Question (Virtual fibering)]. The proof below retains arbitrary injective input and establishes the compact-special conclusion. Linton proved that every hyperbolic free-by-cyclic group is virtually compact special, allowing its free kernel to have infinite rank [41], Corollary 1.5]. The canonical kernel of a strict ascending torus is presented here as an increasing union of free groups; freeness of that union is not an input to our argument.

After Theorem 1.2 is proved, the ascending group’s field acyclicity and virtual RFRS property give a stronger fibering conclusion: it has a finite-index subgroup mapping onto Z\mathbb{Z} with a finite-rank free kernel (Corollary 4.10). The resulting character is not identified with the canonical ascending height. For general one-relator groups we retain the possibly infinite-rank kernel in Corollary 18.1.

Kielak’s virtual-fibering method realizes division-field coefficients in ordinary Novikov completions along an RFRS filtration [36], Section 4.2 and Theorem 5.2]. Fisher’s later work relates this method to cohomological dimension of kernels [23]. Here the original group is not yet known to be virtually RFRS: the selective switch supplies the required finite coefficient data before the two-sided Novikov argument. Once compact specialness is established, Kielak–Linton’s theorems give the general one-relator fibering and ambient-embedding consequences [37].

The remaining construction provides the primitive group’s good fillings. Its Magnus splitting has a height coordinate. We call the vertex and edge spaces at specified heights its rows; these are the actual spaces in the developed Bass–Serre tree, not merely their quotient labels. Long paths with noncyclic stabilizers obstruct an acylindrical hierarchy. Section 5 controls them by a joint injection into one finite-dimensional homology space. Keeping this injection under subgroup restriction, rather than only its rank inequality, distinguishes coincident contributions from different path orbits.

Expanding trajectories then identify periodic ends and join them along bilateral trajectories (Section 8). Homology prevents circuits and rank growth in the resulting incidence trees. We close the corresponding quasiconvex groups under cyclic intersections, fold rows, and enlarge shared ends until they form a malnormal peripheral system. There are two termination arguments: horizontal joins with no homological growth stabilize because their increasing union is finitely generated, whereas each genuine enlargement at a shared line end strictly increases the injected homology dimension. The coefficient constructions in Sections 6 and 7 preserve the joint injections through these operations. The first retains prescribed subgroup supports in scalar chain equations; the second localizes semilinear affiliated coefficients to finitely many periodic cosets.

We fill finite-index subgroups of the peripheral height kernels, retaining the height direction. Exact intersection transfer (Section 14) makes the resulting splitting acylindrical. The compatible kernels of Section 15 also give exact link covers for the filled rows. Binary labels on these links have sparse changes; the changes specify horizontal wall attachments. Within each filled vertex row, panels join through midpoint slots in the central pieces and then through satellite and outer fans. This produces quasiconvex trees carrying binary cocycles (Sections 16 and 17). Keeping central and satellite panels separate lets the labels control departures introduced by later attachments, including at root extensions.

Three boundary configurations require different panel tests. The resulting separators satisfy Bergeron–Wise’s boundary criterion [7]; Agol’s theorem then gives virtual compact specialness of the filled rows. The transferred hierarchy assembles the good quotients in Theorem 17.19. Finally Theorem 17.20 applies the filling criterion to the unfilled primitive group, and the truncated one-relator tower proves Theorem 1.1.

Background, conventions, and the reduction

We write VCS for virtually compact special, QC for quasiconvex, and fg for finitely generated. RFRS means residually finite rationally solvable. An ascending mapping torus always uses an injective endomorphism unless explicitly described as a presentation torus before passing to its stable image. All subgroup occurrences in a Bass–Serre tree include their actual conjugating frames. Thus two occurrences of isomorphic subgroups need not be the same subgroup or the same peripheral object.

Cubulation and hierarchy results

We use the following standard results in their compact forms.

Proposition 2.1 (Cubulation and quasiconvex hierarchies).

  1. A word-hyperbolic group acting properly and cocompactly on a CAT(0) cube complex is virtually compact special.

  1. A hyperbolic group with a finite graph-of-groups decomposition whose edge groups are quasiconvex in the ambient group and whose vertex groups are hyperbolic VCS is VCS. The same applies to a finite hierarchy of such decompositions.

  1. A compact special cube complex admits a cubical local isometry to a Salvetti complex. Its defining graph can be taken finite.

These are the virtual special theorem [2], the quasiconvex hierarchy theorem [66], and the special-complex characterization [28], respectively. For the last assertion, only finitely many hyperplanes and crossing relations occur in a finite complex. Passing to a further special cover, when needed, provides the oriented two-sided convention.

The hierarchy statement with VCS terminal groups follows also by cutting a compact special cover of each terminal model along its finitely many two-sided hyperplane families. The cutting traces are convex, hence quasiconvex, and the resulting hierarchy ends in trivial groups. Finite-index supergroups are allowed in the hyperbolic hierarchy class. In any finite splitting used here, quasiconvexity of an edge group is asserted in the ambient group, not merely in an adjacent vertex group. Finitely generated vertex groups are then undistorted: in a tree of Cayley spaces, replace excursions from a target vertex through incident edge cosets by paths in those cosets of comparable length.

We use residual finiteness, virtual RFRS, quasiconvex subgroup separability and virtual retractions for hyperbolic VCS groups [1, 28, 29, 66]. The malnormal special quotient theorem supplies designated finite-index normal subgroups P˙i⊴Pi\dot{P}_i \trianglelefteq P_i for a finite almost malnormal quasiconvex peripheral family. Normal finite-index kernels N˙i⊴P˙i\dot{N}_i \trianglelefteq\dot{P}_i contained in P˙i\dot{P}_i give hyperbolic VCS quotients [3]. We retain this containment condition at every use; it is not replaced by finite avoidance. Additional finite avoidance conditions can be imposed by further intersections. Exact peripheral embeddings follow from the relative Dehn filling theorem [55].

For relative hyperbolicity we use peripheralization of finite almost malnormal quasiconvex families and the uniform relative Dehn filling theorem [11, 53, 55]. For rows that are only relatively finitely generated, the fine-graph to relative-presentation comparison is [24]; its hypotheses and exact infinite vertex stabilizers are checked at the constructions below. In particular, bounded isolated peripheral components in sufficiently long fillings have labels from a fixed finite list in the original peripheral groups. Later arguments explain the additional tests needed for exact subgroup-intersection transfer; that stronger conclusion is not assumed as part of the ordinary filling theorem.

The primitive extension reduction

Here is the shape of the groups that remain after the reduction. For k≥1k \ge1, write ai=t−iatia_i = t^{-i}at^i. Their presentations have the forms

⟨a,t∣pr⁡p/q(x,y)⟩,⟨a,t∣pr⁡p/q(xy,z)⟩,\langle a,t \mid\operatorname{pr}_{p/q}(x,y)\rangle,\qquad\langle a,t \mid\operatorname{pr}_{p/q}(xy,z)\rangle,

where p,qp,q are relatively prime positive integers. The notation pr⁡p/q(v,w)\operatorname{pr}_{p/q}(v,w) means substitution of v,wv,w into the positive primitive word of slope p/qp/q in two formal letters. Primitivity means membership in a free basis before substitution. The words x,yx,y use the overlapping windows a0,…,ak−1a_0,\ldots,a_{k-1} and a1,…,aka_1,\ldots,a_k, respectively, and each lies outside their common subgroup F(a1,…,ak−1)F(a_1,\ldots,a_{k-1}). The second form also uses a nontrivial word zz in that common subgroup. These shapes are only a preview: the slot and primitive exceptional-property conditions in Definition 5.1, including its malnormality and exceptional-factorization qualifications, are part of the definition.

Proposition 2.2 (Reduction). To prove Theorem 1.1, it suffices to prove that every torsion-free hyperbolic primitive extension group in the two forms of [40], Section 5] is VCS.

Proof. The trivial relator gives a free group. Wise’s virtual compact specialness theorem handles the torsion case [66]. For a torsion-free group, use the maximal factored one-relator tower and primitive extension reduction of [40]. The primitive terminal groups have finite one-relator presentations and embed in GG.

A hyperbolic group contains no BS⁡(m,n)\operatorname{BS}(m,n) with mn≠0mn \ne0: cyclic subgroups generated by infinite-order elements are undistorted and have virtually cyclic commensurators, whereas the indicated Baumslag–Solitar groups violate these alternatives. The embedded primitive groups are therefore BS-free. Theorem 1.1 of [52] makes each of them hyperbolic; no general assertion that finitely generated subgroups of hyperbolic groups are hyperbolic is being made.

With these terminal groups hyperbolic, the tower truncated at its primitive extension complex has the required acylindricity and quasiconvex inclusions by [40]. Only this truncated tower is used; no acylindricity is asserted for the unused remainder of the maximal tower below it. If each primitive terminal group is VCS, Proposition 2.1 propagates VCS through these upward steps. If the tower reaches an elementary terminal group without a primitive obstruction, the same argument starts there. This proves the reduction with the compact conclusion.

The precise primitive presentations and their actual refined rows are given in Section 5. They have two generators and one nontrivial relator, so their standard aspherical complexes have Euler characteristic zero. Torsion-free one-relator groups are locally indicable [13, 30]; see also the direct proof in [31]. They are coherent [34]. For the nontrivial non-power presentations here, Lyndon’s asphericity theorem [43] is also supplied by [5]; specialize to the free group on its Cayley tree and a singleton non-power relator. The root quotient is trivial, so the resulting exact augmented sequence is the cellular sequence of the simply connected presentation cover; that cover is acyclic and hence contractible. The rational Linnell division fields are available, with Hughes-free subgroup compatibility, by [35, 33].

For such a primitive group, the universal-cover chain complex is acyclic over its division field. The Fox 2-boundary is a nonzero column, hence injective over the field; degree-zero homology vanishes because the group is nontrivial, and Euler characteristic zero then gives degree-one acyclicity. These are the finiteness and field hypotheses used by the filling criterion.

Coefficient and tree conventions

For a subgroup UU of the torsion-free ambient group, DUD_U denotes its rational Hughes-free Linnell field in the affiliated operator algebra U(U)\mathcal{U}(U). Inclusions use the compatible subgroup-field embeddings. Distinct subgroup cosets are independent over the corresponding field. We compute chains with coefficients on the left and differentials given by right matrices; the Fox rule is

d(rs)=d(r)+rd(s),∂d(r)=r−1.d(rs) = d(r) + r d(s), \qquad\partial d(r) = r - 1.

Changing a subgroup frame by ss conjugates group symbols and right-multiplies their coefficients by s−1s^{-1}. This convention preserves their ambient homology images. The notation H∗(V;DU)H_\ast(V;D_U) for V≤UV \le U means scalar extension from the intrinsic subgroup field. We use the Bass–Serre homology and cohomology sequences, including infinite quotient graphs: direct sums occur in homology and products in cohomology [59, 14].

All matrix traces in the affiliated-operator argument are compatible unnormalized extensions of the group trace. This ensures equality of traces for rectangular products in the two possible orders. Matrix dimensions remain finite, so this convention does not change tightness in the measure topology.

Proof of Theorem 1.1, assuming the later constructions. Theorem 17.20 proves the primitive case required by Proposition 2.2. Apply that proposition and then the Salvetti characterization in Proposition 2.1. This gives a finite connected special cover, its finite-index fundamental group, and the stated local isometry. Theorem 1.2 is established in Section 4.

A filling criterion and progressive characters

This section separates the geometric and algebraic ingredients of the filling criterion. The geometric ingredient preserves a prescribed finite part of a filling kernel in a virtually compact special quotient of a finite-index subgroup. The algebraic ingredient uses these quotients to resolve the coefficient problems left by an FRRS chain.

We specify the division-ring hypotheses, rather than assume that local indicability alone supplies them. For a group JJ, write D(J)D(J) for a division ring containing QJ\mathbb{Q}J. Throughout this section the rings for subgroups are compatible division closures inside the ambient ring; distinct subgroup cosets are linearly independent over the corresponding subgroup division ring; and finite-index coset representatives span the ambient division ring over the subgroup division ring. We also use the following character consequence of Hughes-freeness. If N=ker⁡χN = \ker\chi, where χ\chi is a real character of a finitely generated subgroup JJ, then

D(J)=Ore⁡(D(N)∗(J/N)).(1)D(J) = \operatorname{Ore}(D(N) \ast(J/N)). \tag*{(1)}

Here the crossed product is embedded using coset representatives. Its quotient J/NJ/N is finitely generated free abelian, so the crossed product is a Noetherian skew Laurent domain. These are the subgroup-field properties of the Hughes-free Linnell fields used in our applications; see [32, 38] for their origins and [35] and [33] for the locally indicable affiliated realization and the normal-subgroup crossed-product assertions. Arbitrary subgroup coset independence is justified separately at the start of Section 6. We refer to this collection of properties as the subgroup-field hypotheses.

Theorem 3.1 (Filling criterion). Let G∗G_\ast be a torsion-free hyperbolic group satisfying the following conditions.

(i) G∗G_\ast is locally indicable, coherent, of type F, and has integral cohomological dimension at most two.

(ii) G∗G_\ast has a division ring D(G∗)D(G_\ast) satisfying the subgroup-field hypotheses, and the chains of a finite classifying space become acyclic over D(G∗)D(G_\ast).

(iii) There is a finite malnormal family {Dj}\{D_j\} of quasiconvex hyperbolic virtually compact special subgroups such that arbitrarily deep peripheral fillings

G∗⟶Q∗G_\ast\longrightarrow Q_\ast

are hyperbolic and virtually compact special, and their inherited peripheral images are hyperbolic and virtually compact special.

In (iii), arbitrarily deep means that the peripheral kernels can avoid any prescribed finite subset of ⋃j(Dj∖{1})\bigcup_j(D_j \setminus\{1\}); the inherited peripheral structure is the one furnished by relative Dehn filling.

Then a finite-index subgroup of G∗G_\ast is an extension of a finite-rank free group by Z\mathbb{Z}. Consequently G∗G_\ast is virtually compact special.

The last conclusion uses cubulation of hyperbolic free-by-cyclic groups [27] and Agol’s theorem [2]. We prove the other conclusions below. In particular, the original peripheral images in Theorem 3.1 need not be finite.

Cofinite fillings and selective quotients

Discard trivial members of the peripheral family. If no members remain, the good filling is the identity, so hypothesis (iii) already says that G∗G_\ast is VCS. The same conclusion follows directly from (iii) if a member equals G∗G_\ast. In these cases the RFRS argument at the end of the section gives the stronger finite-rank free-by-Z\mathbb{Z} conclusion without a geometric filling construction. Until then, assume all peripherals are nontrivial proper subgroups.

By malnormal quasiconvex peripheralization, the pair (G∗,{Dj})(G_\ast,\{D_j\}) is relatively hyperbolic [11, 53]. Suppose a sufficiently deep good filling as in Theorem 3.1(iii) has been chosen, written q:G∗⟶Qq:G_\ast\longrightarrow Q. Choose this first filling to preserve every nonidentity element of the total prescribed original finite list. Its peripheral images Pj=q(Dj)P_j=q(D_j) form an almost malnormal quasiconvex family in the hyperbolic VCS group QQ. The malnormal special quotient theorem supplies designated finite-index normal subgroups P˙j⊴Pj\dot{P}_j \trianglelefteq P_j [3]. Each PjP_j is residually finite. Choose finite-index normal subgroups Lj⊴PjL_j \trianglelefteq P_j avoiding the finitely many nontrivial images that must survive, as well as the additional relative-filling exclusions. Put Mj=P˙j∩LjM_j=\dot{P}_j\cap L_j and Rj=(q∣Dj)−1(Mj)R_j=(q|_{D_j})^{-1}(M_j). Thus MjM_j meets the designated containment condition, and the composite quotient is exactly the filling by the normal finite-index RjR_j. It is hyperbolic VCS by the special quotient theorem, with exact peripheral images by relative filling. A finite PjP_j allows Mj=1M_j=1. Thus we may, and do, choose a cofinite good filling

K=⟨⟨Rj:j⟩⟩G∗,Q∗=G∗/K,D‾j=Dj/Rj.(2)K=\langle\langle R_j:j\rangle\rangle_{G_*},\qquad Q_*=G_*/K,\qquad\overline{D}_j=D_j/R_j. \tag*{(2)}

Every depth requirement below can be imposed before this choice.

For sufficiently deep fillings, the Cohen–Lyndon theorem [63] identifies KK with a free product

K=∗a∈ARa(3)K=\mathop{*}_{a\in\mathcal{A}}R_a \tag*{(3)}

where A=∐jQ∗/D‾j\mathcal{A}=\coprod_j Q_*/\overline{D}_j is the set of peripheral apex images, and RaR_a is a suitably conjugated copy of RjR_j. The action of G∗G_* permutes the conjugacy classes of these factors. There are two coset sets here. Original peripheral cosets G∗/DjG_*/D_j carry the conjugate rotation subgroups, whereas Q∗/D‾jQ_*/\overline{D}_j indexes their images after filling. All original apices over one quotient apex form a KK-orbit, and their rotation groups are KK-conjugates. Thus, for K≤HK\leq H, retaining an HH-invariant set of quotient apices means retaining its full inverse image among original cosets. Killing rotations over the complementary original cosets has the same normal closure in HH as killing the corresponding factors in (3).

Lemma 3.2 (Uniform selective hyperbolicity). The depth in (2) can be chosen so that the following holds for every finite-index preimage H≤G∗H\leq G_* containing KK. For any HH-invariant subset of quotient peripheral apices, kill the rotations over its full inverse image among original cosets, and let K−◃HK_-\triangleleft H be their normal closure. Then H/K−H/K_- is hyperbolic. The required depth is independent of the index of HH and of the chosen invariant subset.

Proof. Use a proper Cayley space of G∗G_*. Replace each peripheral coset by a uniformly thickened hull of its limit set. The hulls are uniformly strongly quasiconvex and remain uniformly close to the corresponding cosets. Malnormality and quasiconvexity bound the coarse overlap of any two distinct hulls, at every fixed thickening.

Coulon’s geometric small-cancellation theorem [17] applies to an invariant family of such hulls when every nonidentity rotation has sufficiently large infimal translation length. Its constants depend on the hyperbolicity and overlap bounds, not on the number of orbits. Rescale the original space first to meet those bounds, fix the cone radius, and then make the filling deep enough to meet the translation-length bound.

This last requirement is finite avoidance. Elements of bounded infimal displacement have representatives in finitely many conjugacy classes in a proper Cayley space. A nontrivial such class meets a malnormal peripheral group in at most one peripheral conjugacy class. Normality of RjR_j then reduces the requirement to excluding finitely many elements of DjD_j. Equivalently, one can use quasi-axes near the peripheral hulls and the uniform comparison between stable and minimum displacement.

References

  1. [1]I. Agol, Criteria for virtual fibering, Journal of Topology 1 (2008), no. 2, 269–284. doi:10.1112/jtopol/jtn003. arXiv:0707.4522v2.DOI
  2. [2]I. Agol, The virtual Haken conjecture, with an appendix by I. Agol, D. Groves, and J. Manning, Documenta Mathematica 18 (2013), 1045–1087. doi:10.4171/DM/421. arXiv:1204.2810.
  3. [3]I. Agol, D. Groves, and J. F. Manning, An alternate proof of Wise’s malnormal special quotient theorem, Forum of Mathematics, Pi 4 (2016), e1, 54 pp. doi:10.1017/fmp.2015.8. arXiv:1405.0726.DOI
  4. [4]C. Anantharaman and S. Popa, An introduction to II₁ factors, author-hosted textbook draft, Chapter 9. https://www.idpoisson.fr/anantharaman/publications/IIun.pdf.
  5. [5]Y. Antolín, W. Dicks, and P. A. Linnell, On the local-indicability Cohen–Lyndon theorem, Glasgow Mathematical Journal 53 (2011), no. 3, 637–656. https://doi.org/10.1017/S0017089511000231. Author version, 10 February 2010, used for Corollary 6.5: https://mat.uab.cat/~dicks/CohenLyndon.pdf.
  6. [6]G. Baumslag, Residually finite one-relator groups, Bulletin of the American Mathematical Society 73 (1967), 618–620. https://doi.org/10.1090/S0002-9904-1967-11799-3.
  7. [7]N. Bergeron and D. T. Wise, A boundary criterion for cubulation, American Journal of Mathematics 134 (2012), no. 3, 843–859. doi:10.1353/ajm.2012.0020. arXiv:0908.3609.DOI
  8. [8]R. Bieri, Normal subgroups in duality groups and in groups of cohomological dimension 2, Journal of Pure and Applied Algebra 7 (1976), no. 1, 35–51. https://doi.org/10.1016/0022-4049(76)90065-7.
  9. [9]R. Bieri, W. D. Neumann, and R. Strebel, A geometric invariant of discrete groups, Inventiones Mathematicae 90 (1987), no. 3, 451–477. https://doi.org/10.1007/BF01389175.
  10. [10]A. Borisov and M. Sapir, Polynomial maps over finite fields and residual finiteness of mapping tori of group endomorphisms, Inventiones Mathematicae 160 (2005), no. 2, 341–356. https://doi.org/10.1007/s00222-004-0411-2.
  11. [11]B. H. Bowditch, Relatively hyperbolic groups, International Journal of Algebra and Computation 22 (2012), no. 3, 1250016, 66 pp. https://doi.org/10.1142/S0218196712500166.
  12. [12]M. R. Bridson and A. Haefliger, Metric Spaces of Non-Positive Curvature, Grundlehren der mathematischen Wissenschaften, vol. 319, Springer, Berlin, 1999. https://doi.org/10.1007/978-3-662-12494-9.
  13. [13]S. D. Brodskiĭ, Equations over groups, and groups with one defining relation, Siberian Math. J. 25 (1984), no. 2, 235–251. https://doi.org/10.1007/BF00971461. Russian original: Sibirsk. Mat. Zh. 25 (1984), no. 2, 84–103.
  14. [14]K. S. Brown, Cohomology of Groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1982. https://doi.org/10.1007/978-1-4684-9327-6.
  15. [15]D. J. Collins, Intersections of Magnus subgroups of one-relator groups, in Groups: Topological, Combinatorial and Arithmetic Aspects, T. W. Müller (ed.), London Mathematical Society Lecture Note Series, vol. 311, Cambridge University Press, Cambridge, 2004, pp. 255–296. https://doi.org/10.1017/CBO9780511550706.009.
  16. [16]D. J. Collins, Intersections of conjugates of Magnus subgroups of one-relator groups, Geometry & Topology Monographs 14 (2008), 135–171. https://doi.org/10.2140/gtm.2008.14.135.
  17. [17]R. Coulon, Small cancellation theory and Burnside problem, International Journal of Algebra and Computation 24 (2014), no. 3, 251–345. https://doi.org/10.1142/S0218196714500143. Author version: https://arxiv.org/abs/1302.6933v2.
  18. [18]W. Dicks, D. Herbera, and J. Sánchez, On a theorem of Ian Hughes about division rings of fractions, Comm. Algebra 32 (2004), no. 3, 1127–1149. https://doi.org/10.1081/AGB-120027970. Author version, used for theorem locators: https://mat.uab.cat/~dicks/Hughes.pdf.
  19. [19]J. Dixmier, Les moyennes invariantes dans les semi-groupes et leurs applications, Acta Scientiarum Mathematicarum (Szeged) 12 (1950), part A, 213–227. https://acta.bibl.u-szeged.hu/13605/1/math_012_pars_a_213-227.pdf.
  20. [20]C. Druţu and M. Sapir, Non-linear residually finite groups, Journal of Algebra 284 (2005), no. 1, 174–178. https://doi.org/10.1016/j.jalgebra.2004.06.025. Author version, used for Problem 6: https://arxiv.org/abs/math/0405470v3.
  21. [21]T. Fack and H. Kosaki, Generalized s-numbers of τ-measurable operators, Pacific Journal of Mathematics 123 (1986), no. 2, 269–300. https://doi.org/10.2140/pjm.1986.123.269.
  22. [22]M. Feighn and M. Handel, Mapping tori of free group automorphisms are coherent, Annals of Mathematics (2) 149 (1999), no. 3, 1061–1077. https://doi.org/10.2307/121081.
  23. [23]S. P. Fisher, On the cohomological dimension of kernels of maps to ℤ, Geometry & Topology 30 (2026), 373–388. https://doi.org/10.2140/gt.2026.30.373. https://arxiv.org/abs/2403.18758v2.
  24. [24]V. Gerasimov and L. Potyagailo, Non-finitely generated relatively hyperbolic groups and Floyd quasiconvexity, Groups, Geometry, and Dynamics 9 (2015), no. 2, 369–434. https://doi.org/10.4171/GGD/317.
  25. [25]D. Groves and J. F. Manning, Quasiconvexity and Dehn filling, arXiv:1708.07968v3, 2019. https://arxiv.org/abs/1708.07968v3.
  26. [26]M. F. Hagen and D. T. Wise, Cubulating hyperbolic free-by-cyclic groups: the irreducible case, Duke Mathematical Journal 165 (2016), no. 9, 1753–1813. https://doi.org/10.1215/00127094-3450752. Author version: https://arxiv.org/abs/1311.2084v3.
  27. [27]M. F. Hagen and D. T. Wise, Cubulating hyperbolic free-by-cyclic groups: the general case, Geometric and Functional Analysis 25 (2015), no. 1, 134–179. https://doi.org/10.1007/s00039-015-0314-y. Author version: https://arxiv.org/abs/1406.3292v2.
  28. [28]F. Haglund and D. T. Wise, Special cube complexes, Geometric and Functional Analysis 17 (2008), no. 5, 1551–1620. doi:10.1007/s00039-007-0629-4. Corrected author version, used for theorem locators: https://www.imo.universite-paris-saclay.fr/~frederic.haglund/special(corrected).pdf.DOI
  29. [29]F. Haglund and D. T. Wise, A combination theorem for special cube complexes, Annals of Mathematics (2) 176 (2012), no. 3, 1427–1482. doi:10.4007/annals.2012.176.3.2.DOI
  30. [30]J. Howie, On locally indicable groups, Math. Z. 180 (1982), no. 4, 445–461. https://doi.org/10.1007/BF01214717.
  31. [31]J. Howie, A short proof of a theorem of Brodskii, Publicacions Matemàtiques 44 (2000), 641–647. https://mat.uab.cat/pubmat/fitxers/download/FileType:pdf/FolderName:v44(2)/FileName:44200_13.pdf.DOI
  32. [32]I. Hughes, Division rings of fractions for group rings, Comm. Pure Appl. Math. 23 (1970), no. 2, 181–188. https://doi.org/10.1002/cpa.3160230205.
  33. [33]A. Jaikin-Zapirain, The universality of Hughes-free division rings, Selecta Math. (N.S.) 27 (2021), article 74, 33 pp. https://doi.org/10.1007/s00029-021-00691-w.
  34. [34]A. Jaikin-Zapirain and M. Linton, On the coherence of one-relator groups and their group algebras, Ann. of Math. (2) 201 (2025), no. 3, 909–959. https://doi.org/10.4007/annals.2025.201.3.4.
  35. [35]A. Jaikin-Zapirain and D. López-Álvarez, The strong Atiyah and Lück approximation conjectures for one-relator groups, Math. Ann. 376 (2020), nos. 3–4, 1741–1793. https://doi.org/10.1007/s00208-019-01926-0. Author version, used for theorem locators: https://arxiv.org/abs/1810.12135v4.
  36. [36]D. Kielak, Residually finite rationally solvable groups and virtual fibering, Journal of the American Mathematical Society 33 (2020), no. 2, 451–486. https://doi.org/10.1090/jams/936. Author version, used for theorem locators: https://arxiv.org/abs/1809.09386v2.
  37. [37]D. Kielak and M. Linton, Virtually free-by-cyclic groups, Geometric and Functional Analysis 34 (2024), no. 5, 1580–1608. https://doi.org/10.1007/s00039-024-00687-6. https://arxiv.org/abs/2302.11500v3.
  38. [38]P. A. Linnell, Division rings and group von Neumann algebras, Forum Math. 5 (1993), no. 6, 561–576. https://doi.org/10.1515/form.1993.5.561.
  39. [39]M. Linton, One-relator hierarchies, Duke Mathematical Journal 174 (2025), no. 4, 747–802. https://doi.org/10.1215/00127094-2024-0040. Author version, used for theorem locators: https://arxiv.org/abs/2202.11324v3.
  40. [40]M. Linton, Hyperbolic one-relator groups, Canadian Journal of Mathematics 78 (2026), no. 1, 35–61. https://doi.org/10.4153/S0008414X24000427.
  41. [41]M. Linton, Embedding finitely generated free-by-cyclic groups in {finitely generated free}-by-cyclic groups, International Mathematics Research Notices 2026 (2026), no. 4, rnag020. https://doi.org/10.1093/imrn/rnag020. Author version, used for Corollary 1.5: https://arxiv.org/abs/2510.10178v2.
  42. [42]W. Lück, L²-Invariants: Theory and Applications to Geometry and K-Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 44, Springer, Berlin, 2002. https://doi.org/10.1007/978-3-662-04687-6.
  43. [43]R. C. Lyndon, Cohomology theory of groups with a single defining relation, Ann. of Math. (2) 52 (1950), no. 3, 650–665. https://doi.org/10.2307/1969440.
  44. [44]W. Magnus, Über diskontinuierliche Gruppen mit einer definierenden Relation (Der Freiheitssatz), Journal für die reine und angewandte Mathematik 163 (1930), 141–165. https://doi.org/10.1515/crll.1930.163.141. English translation by C.-F. Nyberg-Brodda: https://arxiv.org/abs/2501.18248.
  45. [45]W. Magnus, Das Identitätsproblem für Gruppen mit einer definierenden Relation, Mathematische Annalen 106 (1932), 295–307. https://doi.org/10.1007/BF01455888. English translation by C.-F. Nyberg-Brodda: https://arxiv.org/abs/2501.18248.
  46. [46]D. Meintrup and T. Schick, A model for the universal space for proper actions of a hyperbolic group, New York Journal of Mathematics 8 (2002), 1–7. https://nyjm.albany.edu/j/2002/8-1p.pdf.
  47. [47]A. Minasyan, Separable subsets of GFERF negatively curved groups, Journal of Algebra 304 (2006), no. 2, 1090–1100. doi:10.1016/j.jalgebra.2006.03.050. arXiv:math/0502101.DOI
  48. [48]A. Minasyan and P. Zalesskii, One-relator groups with torsion are conjugacy separable, Journal of Algebra 382 (2013), 39–45. https://doi.org/10.1016/j.jalgebra.2013.02.015.
  49. [49]A. Minasyan and P. Zalesskii, Virtually compact special hyperbolic groups are conjugacy separable, Commentarii Mathematici Helvetici 91 (2016), no. 4, 609–627. https://doi.org/10.4171/CMH/397.
  50. [50]M. Mitra, Cannon–Thurston maps for trees of hyperbolic metric spaces, Journal of Differential Geometry 48 (1998), no. 1, 135–164. https://doi.org/10.4310/jdg/1214460609. Author version, used for Corollary 3.11: https://mathweb.tifr.res.in/~mahan/trees.pdf.
  51. [51]J. P. Mutanguha, The dynamics and geometry of free group endomorphisms, Advances in Mathematics 384 (2021), 107714. https://doi.org/10.1016/j.aim.2021.107714. https://arxiv.org/abs/2005.11896v2.
  52. [52]OpenAI, Baumslag–Solitar-free one-relator groups are hyperbolic, OpenAI Math Release preprint OAI:Baumslag-Solitar-free-one-relator-groups-are-hyperbolic-September-25-2026, 2026.
  53. [53]D. V. Osin, Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems, Memoirs of the American Mathematical Society 179 (2006), no. 843. https://doi.org/10.1090/memo/0843.
  54. [54]D. V. Osin, Elementary subgroups of relatively hyperbolic groups and bounded generation, International Journal of Algebra and Computation 16 (2006), no. 1, 99–118. https://doi.org/10.1142/S0218196706002901. https://arxiv.org/abs/math/0404118v1.
  55. [55]D. V. Osin, Peripheral fillings of relatively hyperbolic groups, Inventiones Mathematicae 167 (2007), no. 2, 295–326. https://doi.org/10.1007/s00222-006-0012-3. Author version: https://arxiv.org/abs/math/0510195v3.
  56. [56]M. Pálfia, Operator means as unique solutions of operator equations, RIMS Kôkyûroku 1839 (2013), 67–80. https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1839-11.pdf.
  57. [58]M. Sageev, CAT(0) cube complexes and groups, in Geometric Group Theory, IAS/Park City Mathematics Series, vol. 21, American Mathematical Society, 2014, pp. 7–54. https://doi.org/10.1090/pcms/021/02. Lecture and section locators refer to the author lecture text: https://www.math.utah.edu/pcmi12/lecture_notes/sageev.pdf.
  58. [59]J.-P. Serre, Trees, translated from the French by J. Stillwell, Springer-Verlag, Berlin–New York, 1980. https://doi.org/10.1007/978-3-642-61856-7.
  59. [60]J.-C. Sikorav, Homologie de Novikov associée à une classe de cohomologie réelle de degré un, Part IV, pp. 70–93, of Points fixes de difféomorphismes symplectiques, intersections de sous-variétés lagrangiennes, et singularités de un-formes fermées, Thèse d’État, Université Paris-Sud, 1987. https://www.imo.universite-paris-saclay.fr/~biblio/theses/BJHTUP11_1987__0220__P0_0.pdf.
  60. [61]J. R. Stallings, On torsion-free groups with infinitely many ends, Annals of Mathematics (2) 88 (1968), no. 2, 312–334. https://doi.org/10.2307/1970577.
  61. [62]J. R. Stallings, Topology of finite graphs, Inventiones Mathematicae 71 (1983), 551–565. https://doi.org/10.1007/BF02095993.
  62. [63]B. Sun, Cohomology of group theoretic Dehn fillings I: Cohen–Lyndon type theorems, Journal of Algebra 542 (2020), 277–307. https://doi.org/10.1016/j.jalgebra.2019.10.006. Corrected author version: https://arxiv.org/abs/1809.08762v12.
  63. [64]R. G. Swan, Groups of cohomological dimension one, Journal of Algebra 12 (1969), no. 4, 585–610. https://www.math.uchicago.edu/~swan/bibliography.html.DOI
  64. [65]D. T. Wise, The cubical route to understanding groups, in Proceedings of the International Congress of Mathematicians—Seoul 2014, vol. II, Kyung Moon Sa, Seoul, 2014, pp. 1075–1099. https://www.mathunion.org/fileadmin/ICM/Proceedings/ICM2014.2/ICM2014.2.pdf.
  65. [66]D. T. Wise, The Structure of Groups with a Quasiconvex Hierarchy, Annals of Mathematics Studies, vol. 209, Princeton University Press, Princeton, NJ, 2021. doi:10.1515/9780691213507.DOI

Paper details

vlnc:W_ed4rwceq
v1 · latestHistory (1)

published · Fresh — published within the last 30 days

Usage

views · 0

downloads · 2

A view counts once per browser per day, a download each time the PDF is requested.

LicenseRef-OpenAI-public

DOI · 10.83295/a87e-c92s

Original source

  • Mathematics

unreleased internal OpenAI model · View statement →

Looking for related papers…
Contents