## EMBEDDING PARTIAL HNN EXTENSIONS IN ASCENDING HNN EXTENSIONS

## HIP KUEN CHONG AND DANIEL T. WISE

Abstract. We show that any partial ascending HNN extension of a free group embeds in an actual ascending HNN extension of a free group. Moreover, we can ensure that it embeds as the parabolic subgroup of a relatively hyperbolic group.

## 1. Introduction

Feighn and Handel [FH99] proved that any finitely generated group G that is an ascending HNN extensions of a free group is finitely presented. Their proof actually shows that G splits as a partial ascending HNN extension. Let Φ: F GLYPH&lt;209&gt; F be a monomorphism of the free group F GLYPH&lt;16&gt; x a i : i P I y . The associated ascending HNN extension is G GLYPH&lt;16&gt; F GLYPH&lt;6&gt; Φ GLYPH&lt;16&gt; x t, a i : i P I | a t i GLYPH&lt;16&gt; Φ p a i q : i P I y . A partial ascending HNN extension is a group of the form G 1 GLYPH&lt;16&gt; F GLYPH&lt;6&gt; Ψ GLYPH&lt;16&gt; x t, a i : i P I | a t i GLYPH&lt;16&gt; Ψ p a i q : i P J y where J GLYPH&lt;132&gt; I and Ψ: F 1 GLYPH&lt;209&gt; F is a monomorphism where F 1 GLYPH&lt;16&gt; x a i : i P J y .

The motivation of this paper is to prove a converse:

Theorem 1.1. Let G 1 be a partial ascending HNN extension of a f.g. free group. Then there is an injection G 1 GLYPH&lt;132&gt; G where G is an ascending HNN extension of a f.g. free group. Moreover, we can ensure that G 1 ª GLYPH&lt;209&gt; G arises as F GLYPH&lt;6&gt; ϕ ª GLYPH&lt;209&gt; F 2 GLYPH&lt;6&gt; Φ where Φ extends ϕ as follows:

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00453v1-figure-36c2b6b5-ad8e-4ec7-ae60-4a155012cf67.jpg)

Our result raises the following:

Date : August 2, 2024.

2020 Mathematics Subject Classification. 20E06, 20F67, 20F06.

Key words and phrases. HNN Extensions, Relative Hyperbolic Groups, Small Cancellation Theory.

Research supported by NSERC.

Conjecture 1.2. Every f.g. free-by-cyclic group is a subgroup of a (f.g. free)-by-cyclic group. Moreover, there is an extension ϕ GLYPH&lt;209&gt; Φ as in the above diagram.

This corresponds to the case where both F 1 GLYPH&lt;132&gt; F and Φ p F 1 q GLYPH&lt;132&gt; F are free factors.

The method we employ to prove Theorem 1.1 is of independent interest.

Proposition 1.3. Let Y GLYPH&lt;132&gt; X be a subcomplex. Suppose X Y { is combinatorially reducible and X GLYPH&lt;209&gt; X Y { has liftable cancellable pairs. Then π Y 1 GLYPH&lt;209&gt; π X 1 is injective.

Proposition 1.3, which is proven as Proposition 3.5, is simple and definitional, but highly applicable. Proposition 1.3 is proven by considering a disk diagram D GLYPH&lt;209&gt; X , observing the quotient disk diagram D GLYPH&lt;209&gt; X Y { must have a cancellable pair, and lifting this to a cancellable pair in D GLYPH&lt;209&gt; X . is ¡ satisfies

Proposition 1.4. Let Y GLYPH&lt;132&gt; X be a subcomplex of a compact 2 -complex X . Suppose X Y { combinatorially reducible and X GLYPH&lt;209&gt; X Y { has liftable cancellable pairs. Suppose there is K 0 such that for each reduced disk diagram D GLYPH&lt;209&gt; X , the induced diagram D GLYPH&lt;209&gt; X Y { Area p D q / K GLYPH&lt;4&gt; |B p D | . Then π X 1 is hyperbolic relative to π Y 1 .

Proposition 1.4 is proven in Proposition 5.10 and Corollary 5.11 with the aid of Osin's relative hyperbolicity criterion. We consider an associated disk diagram D glyph[slurabove] to Osin's complex X glyph[slurabove] and relate the numbers of cells in D glyph[slurabove] and the quotient diagram D . In particular, we show Area X GLYPH&lt;1&gt; Y p D glyph[slurabove] q GLYPH&lt;16&gt; Area p D q , and show that the number of remaining 2 -cells is at most proportional to Area X GLYPH&lt;1&gt; Y p D glyph[slurabove] q .

Theorem 1.1 is proven by letting Y be the mapping torus of ϕ , and then adding two generators to the free group and extending ϕ to those new generators. The resulting mapping cylinder is X . We extend ϕ by adding long relators to ensure the small-cancellation property for X Y { . This is described in Construction 4.12 and π Y 1 / π X 1 is proved in Proposition 4.13. The extension Y ª GLYPH&lt;209&gt; X is illustrated by the following presentations where the new cells are indicated in bold:

$$& \left \langle a, b, c, t \, \right | a ^ { t } = ( a b c ) ^ { 8 }, \ b ^ { t } = ( a c ) ^ { 9 } b \right \rangle \\ & \left \langle a, b, c, \mathbf x, \mathbf y, t \, \right | a ^ { t } = ( a b c ) ^ { 8 }, \ b ^ { t } = ( a c ) ^ { 9 } b, \ c ^ { t } = ( \mathbf x y ) ^ { 1 0 0 }, \ \mathbf x ^ { t } = \mathbf x ( \mathbf x x y ) ^ { 1 0 0 }, \ \mathbf y ^ { t } = \mathbf y ( \mathbf x x x y ) ^ { 1 0 0 } \right \rangle$$

We end Section 4 with an amusing application: if one assumes moreover that ϕ is fully irreducible, then we may ensure its extension Φ is also fully irreducible. See Definition 4.14 and Proposition 4.19.

## 2. Disk Diagram and Diagrammatic Reducibility

Let X be a combinatorial 2 -complex. Denote X k as the k -dimensional skeleton of X .

Definition 2.1. The boundary path of a 2 -cell R is denoted by B p R . The boundary path is an n -th power if B p R GLYPH&lt;16&gt; w n for some cycle w GLYPH&lt;209&gt; X 1 . The boundary path has exponent n if it is an n -th power but not an m -th power for m ¡ n .

Definition 2.2. Let D GLYPH&lt;209&gt; X be a combinatorial map. A cancellable pair of 2 -cells R , R 1 2 along a 1 -cell e consists of 2 -cells of D where B p R 1 GLYPH&lt;16&gt; eP 1 and B p R 2 GLYPH&lt;16&gt; eP 2 , and the compositions eP 1 GLYPH&lt;209&gt; X and eP 2 GLYPH&lt;209&gt; X are the same closed path.

A disk diagram D is a compact contractible 2 -complex with a chosen spherical embedding D ª GLYPH&lt;209&gt; S 2 . The boundary cycle B p D of D is the cycle equals B p C 8 , where C 8 is the open 2 -cell consisting of S 2 GLYPH&lt;1&gt; D .

A map D GLYPH&lt;209&gt; X is reduced if it has no cancellable pair. We are especially interested in reduced maps where D is a disk diagram or D GLYPH&lt;21&gt; S 2 is a 2 -sphere. We often refer to a combinatorial map D GLYPH&lt;209&gt; X as a disk diagram D in X when D is a disk diagram. We similarly define a spherical diagram in X . The motivation for reduced disk diagrams is that if D has a cancellable pair, then one can remove the open 2 -cells R , R 1 2 and an open arc containing e between them, and then obtain a smaller spherical or disk diagram with the same boundary path by gluing.

Definition 2.3. A 2 -complex X is combinatorially reducible if each combinatorial map S 2 GLYPH&lt;209&gt; X from a 2 -sphere has a cancellable pair. Equivalently, there is no reduced spherical diagram S 2 GLYPH&lt;209&gt; X .

Some examples of combinatorially reducible 2 -complexes are staggered 2 -complexes, complexes satisfying the Gersten-Pride weight-test condition, and complexes satisfying the classical smallcancellation conditions (see Proposition 4.5).

## 3. Subcomplex π 1 -Injection

In this section, we state a criterion for π 1 -injectivity of a subcomplex Y GLYPH&lt;132&gt; X . Consider the quotient map ρ : X GLYPH&lt;209&gt; X , where X GLYPH&lt;16&gt; X Y { . For a 2 -cell R in X , let R denote its image in X . Remark 3.1. It is possible that B p R has backtracks even when B p R is an immersion.

Construction 3.2. Given a disk diagram φ : D GLYPH&lt;209&gt; X ,

the projected diagram ¯ : φ D GLYPH&lt;209&gt; X is constructed by first taking D GLYPH&lt;16&gt; D GLYPH&lt;209&gt; X , then quotient each component of the preimage of the basepoint in the map X GLYPH&lt;209&gt; X to a point.

Let R be a 2 -cell in D . Let the 2 -cell R GLYPH&lt;132&gt; D be the preimage of R under the quotient D GLYPH&lt;209&gt; D . We set ¯ φ R p q GLYPH&lt;16&gt; φ R p q , where φ R p q is the image of φ R p q under X GLYPH&lt;209&gt; X .

Definition 3.3. X GLYPH&lt;209&gt; X has liftable cancellable pairs if for each disk diagram D GLYPH&lt;209&gt; X projecting to D GLYPH&lt;209&gt; X , if R , R 1 2 is a cancellable pair in D then R , R 1 2 is a cancellable pair in D . (It suffices to consider diagrams with two 2 -cells.)

Lemma 3.4. The following statements are equivalent:

- (i) X GLYPH&lt;209&gt; X has liftable cancellable pairs.
- (ii) For every reduced disk diagram D GLYPH&lt;209&gt; X , the projected diagram D GLYPH&lt;209&gt; X is also reduced.

Proof. ((i) øæ (ii)) Suppose D GLYPH&lt;209&gt; X is reduced and assume D GLYPH&lt;209&gt; X is not reduced. Then there is a cancellable pair R , R 1 2 in D . Their preimages R , R 1 2 form a cancellable pair in D by the lifting property, contradicting the reducibility of D .

((ii) øæ (i)) Suppose R , R 1 2 is a cancellable pair in D . Then their preimages R , R 1 2 share at least an edge with each other. Assume R , R 1 2 do not form a cancellable pair. Let D 1 GLYPH&lt;209&gt; X to be the disk diagram containing only R , R 1 2 . Then D 1 is reduced, and hence D 1 GLYPH&lt;209&gt; X is also reduced, leading to a contradiction. glyph[square]

Proposition 3.5. Let Y GLYPH&lt;132&gt; X be a subcomplex. Suppose X is combinatorially reducible and X GLYPH&lt;209&gt; X has liftable cancellable pairs. Then π Y 1 GLYPH&lt;209&gt; π X 1 is injective.

Proof. Let γ GLYPH&lt;209&gt; Y be a closed combinatorial path. We show that if γ GLYPH&lt;209&gt; X is nullhomotopic, then γ GLYPH&lt;209&gt; Y is nullhomotopic.

Suppose γ GLYPH&lt;16&gt; B p D for some reduced disk diagram D GLYPH&lt;209&gt; X (existence by [Kam33]). Assume γ GLYPH&lt;209&gt; Y is essential, then D contains at least one 2 -cell α .

We claim D is homeomorphic to a singular surface obtained by gluing surfaces together along vertices and isolated edges. Since B p D maps to Y , we have B p D is a point. The link of each vertex of D is a disjoint union of circles and points. Indeed, the preimage of a 0 -cell v in D is a connected

subcomplex Z GLYPH&lt;132&gt; D mapping to Y . Each component of the link of v corresponds to a cycle or (possibly trivial) arc in the boundary of a regular neighbourhood of Z .

We now show D is simply connected. Since we may quotient components one at a time and apply induction, it suffices to show that H D C 1 p { q GLYPH&lt;16&gt; 0 for each component C of the preimage of Y . By the relative Mayer-Vietoris sequence H D 1 p q GLYPH&lt;209&gt; H D,C 1 p q GLYPH&lt;209&gt; H C 0 p q GLYPH&lt;209&gt; H D 0 p q GLYPH&lt;209&gt; H D,C 0 p q , since H D 1 p q GLYPH&lt;16&gt; 0 GLYPH&lt;16&gt; H D,C 0 p q and H C 0 p q GLYPH&lt;16&gt; Z GLYPH&lt;16&gt; H D 0 p q , we have H D,C 1 p q GLYPH&lt;16&gt; 0 . Since C GLYPH&lt;132&gt; D is a subcomplex, H D C 1 p { q GLYPH&lt;16&gt; H D,C 1 p q GLYPH&lt;16&gt; 0 .

Each surface of D is a sphere since it homologically injects. It follows that D is a tree of spheres. Consider a sphere in D containing α . Since X is combinatorially reducible, there is a cancellable pair R , R 1 2 GLYPH&lt;132&gt; D . Since X GLYPH&lt;209&gt; X has liftable cancellable pairs, the pair of preimages R , R 1 2 GLYPH&lt;132&gt; D is cancellable. This contradicts that D is reduced. Hence, Y GLYPH&lt;209&gt; X is π 1 -injective. glyph[square]

## 4. Small Cancellation

## 4.1. Background.

Definition 4.1. In a group presentation x S | R y , a piece is a common cyclic subword w appearing as two different ways in R . Note that for a relator r GLYPH&lt;16&gt; q n , subwords that differ by a Z n -action are regarded as appearing in the same way. The presentation is C(7) if all r P R cannot be written as a concatenation of 6 pieces.

Definition 4.2. The presentation complex X associated to a group presentation x S | R y is constructed by:

- GLYPH&lt;13&gt; a 0 -cell v ;
- GLYPH&lt;13&gt; a 1 -cell e s for each s P S . We label each e s by s , and attach each e s to v on both sides;
- GLYPH&lt;13&gt; a 2 -cell f r for each r P R , with the attaching map corresponding to the word r .

Definition 4.3. Length of a combinatorial path p GLYPH&lt;209&gt; X is the number of 1 -cell in p , denoted by | p | . The area of a combinatorial diagram D GLYPH&lt;209&gt; X is the number of 2 -cell in D , denoted by Area p D q .

A finite presentation admits a linear isoperimetric function if there is a constant K ¡ 0 such that for all reduced disk diagram D in the associated presentation complex, Area p D q / K GLYPH&lt;4&gt; |B p D | .

Proposition 4.4. Let G GLYPH&lt;16&gt; x S | R y be a finite C p 7 q presentation. Then it admits a linear isoperimetric function.

Proof. For any word w representing 1 G , there is a reduced disk diagram D such that B p D GLYPH&lt;16&gt; w . By [Lyn66, Cor 2.4], there is a shell R GLYPH&lt;132&gt; D such that B p R X B p D has more pieces than B p R GLYPH&lt;1&gt; B p D . Hence Area p D q is upper bounded by the number of pieces of w by removing shells in succession. glyph[square]

Proposition 4.5. Every spherical diagram D GLYPH&lt;209&gt; X to a C p 7 q presentation complex contains a cancellable pair. In other words, every C p 7 q presentation complex is combinatorially reducible.

Proof. Let D GLYPH&lt;209&gt; X be a reduced spherical diagram. Let R GLYPH&lt;132&gt; D GLYPH&lt;209&gt; X be a 2 -cell. Since X is a presentation complex and D is spherical, R GLYPH&lt;24&gt; D . Hence, D GLYPH&lt;1&gt; R GLYPH&lt;209&gt; X is a reduced disk diagram, hence there is a shell R 1 in D GLYPH&lt;1&gt; R such that R 1 XB p p D GLYPH&lt;1&gt; R q is a concatenation of at least 2 pieces [Lyn66, Cor 2.4]. This is not possible since B p p D GLYPH&lt;1&gt; R q GLYPH&lt;16&gt; B p R and R is a single 2 -cell. glyph[square]

- be a combinatorial subcomplex.
- 4.2. Ensuring Injectivity via Small Cancellation. Let Y GLYPH&lt;132&gt; X Let X GLYPH&lt;16&gt; X Y { as the beginning of Section 3 and denote the image of a 2 -cell R by R .

GLYPH&lt;127&gt;

Definition 4.6. X has no extra powers relative to Y if for each 2 -cell R GLYPH&lt;132&gt; Y , if B p R has exponent n for some n , then B p R also has exponent n .

GLYPH&lt;127&gt;

Definition 4.7. X has no duplicates relative to Y if for any 2 -cells R , R 1 2 GLYPH&lt;132&gt; Y , if B p R 1 GLYPH&lt;16&gt; B p R 2 then B p R 1 GLYPH&lt;16&gt; B p R 2 .

Example 4.8. Let X 1 be the presentation complex of x a, b, c | bcabcbc y . Let X 2 be the presentation complex of x a, b, c | abc, abcc y . Let Y a be a subcomplex of X i corresponding to x a y , and let Y c be a subcomplex of X i corresponding to x c y , for i GLYPH&lt;16&gt; 1 2 , .

X 1 has extra powers relative to Y a since X 1 { Y a is the presentation complex of x b, c | bcbcbc y , which bcbcbc has exponent 3 instead of bcabcbc having exponent 1 . On the other hand, X 1 has no extra powers relative to Y c since X 1 { Y c is the presentation complex of x a, b | babb y , which babb also has exponent 1 .

X 2 has duplicates relative to Y c since X 2 { Y c is the presentation complex of x a, b | ab, ab y . On the other hand, X 2 has no duplicates relative to Y a since X 2 { Y a is the presentation complex of x b, c | bc, bcc y .

Lemma 4.9. Suppose X has no extra powers and no duplicates relative to Y . Then X GLYPH&lt;209&gt; X has liftable cancellable pairs.

Proof. Let R , R 1 2 be a cancellable pair intersecting at 1 -cell ¯ e in a disk diagram D in X . Then there is an isomorphism ¯ : f B p R 1 GLYPH&lt;209&gt; B p R 2 with ¯ ¯ f p e q P Aut pB p R 2 q ¯ e . Since X has no duplicates relative to Y , the isomorphism ¯ f lifts to f : B p R 1 GLYPH&lt;209&gt; B p R 2 .

Let e be the preimage of ¯ e . Since Aut pB p R 2 q GLYPH&lt;21&gt; Aut pB p R 2 q by no extra relative powers, f p e q P Aut pB p R 2 q e . Hence, g GLYPH&lt;5&gt; f fixes e for some g P Aut pB p R 2 q and so R 1 and R 2 form a cancellable pair along e .

glyph[square]

Corollary 4.10. Suppose X has no extra powers and duplicates relative to Y and the 2 -skeleton of the quotient X is a C p 7 q presentation complex. Then π Y 1 GLYPH&lt;209&gt; π X 1 is injective.

Proof. By Proposition 4.5, 2 -skeleton of X is C p 7 q implies X is combinatorially reducible since the definition of combinatorially reducible only depends on 2 -skeleton. By Lemma 4.9, X GLYPH&lt;209&gt; X has liftable cancellable pairs. By Proposition 3.5, π Y 1 GLYPH&lt;209&gt; π X 1 is injective. glyph[square]

4.3. Partial Ascending HNN Extension embeds in Ascending HNN Extension. We will show that any partial ascending HNN extension of a finitely generated free group is isomorphic to a subgroup of an ascending HNN extension of a finitely generated free group by applying Corollary 4.10.

Definition 4.11. Let G GLYPH&lt;16&gt; F GLYPH&lt;6&gt; F t 1 GLYPH&lt;16&gt; F 2 be the HNN extension of a group F associated with an isomorphism φ : F 1 GLYPH&lt;209&gt; F 2 between subgroups of F . The HNN extension is ascending if F 1 GLYPH&lt;16&gt; F . The HNN extension is partial ascending if F 1 is a free factor of F .

Construction 4.12. Given H a partial ascending HNN extension of a finitely generated free group F , we will construct an ascending HNN extension G with H / G . The subgroup relationship is proved in Proposition 4.13.

H can be presented as:

$$H \ = \ \langle a _ { i }, b _ { j }, t \colon i \in I, j \in J \ | \ t a _ { i } t ^ { - 1 } = A _ { i } \colon i \in I \rangle$$

where F GLYPH&lt;16&gt; x a , b i j : i P I, j P J y and F 1 GLYPH&lt;16&gt; x a i : i P I y and A glyph[lscript] is a reduced word in t a GLYPH&lt;8&gt; 1 i , b GLYPH&lt;8&gt; 1 j : i P I, j P J u for each glyph[lscript] P I .

Let t B , C , C j 1 2 : j P J u be a set of words in t c 1 , c 2 u such that W GLYPH&lt;16&gt; t B , c j GLYPH&lt;1&gt; 1 1 C , c 1 GLYPH&lt;1&gt; 1 2 C 2 : j P J u satisfies C p 7 q in the sense that x c 1 , c 2 | W y is C p 7 q and no word in W is a proper power. We construct G to be an ascending HNN extension with presentation

(2)

$$G \, = \, \left \langle a _ { i }, b _ { j }, c _ { 1 }, c _ { 2 }, t \colon i \in I, j \in J \, \right | \, t a _ { i } t ^ { - 1 } = A _ { i }, \, t b _ { j } t ^ { - 1 } = B _ { j }, \, t c _ { 1 } t ^ { - 1 } = C _ { 1 }, \, t c _ { 2 } t ^ { - 1 } = C _ { 2 } \colon i \in I, j \in J \right \rangle$$

Proposition 4.13. With H and G as in Construction 4.12, there is an injective homomorphism from H to G .

Proof. Let X and Y be the presentation complexes of G and H respectively. We regard Y as a subcomplex of X . It suffices to show that π Y 1 GLYPH&lt;209&gt; π X 1 is injective. Recall X GLYPH&lt;16&gt; X Y { .

X 1 GLYPH&lt;16&gt; t c 1 , c 2 u and 2 -cells in X have attaching maps labelled by W . Hence, X is C p 7 q .

Since words in W have exponent 1 , X has no extra power relative to Y .

Since words in W are distinct, X has no duplicates relative to Y .

Therefore, H GLYPH&lt;16&gt; π Y 1 GLYPH&lt;209&gt; π X 1 GLYPH&lt;16&gt; G

$$\cdot \pi _ { 1 } X = G \text{ is injective by Corollary 4.10}. & & \Box$$

## 4.4. Partial Ascending Fully Irreducible HNN Extension embeds in Fully Irreducible

Ascending HNN Extension. In this subsection, we show that any partial ascending fully irreducible HNN extension of a finitely generated free group is isomorphic to a subgroup of a fully irreducible ascending HNN extension of a finitely generated free group by applying Corollary 4.10. We refer to [AW23] for more about irreducible partial endomorphisms and their relationship with other combinatorial group theory notions.

Definition 4.14. Let G GLYPH&lt;16&gt; F GLYPH&lt;6&gt; F t 1 GLYPH&lt;16&gt; F 2 be the HNN extension associated with an isomorphism φ : F 1 GLYPH&lt;209&gt; F 2 between subgroups of F . The isomorphism φ is weakly reducible if there are p ¡ 1 , a proper nontrivial free factor A GLYPH&lt;132&gt; F and g P F such that φ p p A q is well-defined and φ p p A q GLYPH&lt;132&gt; gAg GLYPH&lt;1&gt; 1 . Here A is a weakly invariant free factor of φ . The isomorphism φ is fully irreducible if φ is not weakly reducible. G is fully irreducible if the associated isomorphism φ is.

Let F X p q be the free group on X . We use the following special case of [Sta99, Thm 2.4]:

Theorem 4.15. Let F GLYPH&lt;16&gt; F S p q be a free group with 2 / | S | GLYPH&lt;160&gt; 8 . Let w be a cyclically reduced word in S GLYPH&lt;8&gt; . Suppose w contains pq for each p, q P S GLYPH&lt;8&gt; with pq reduced. Then the element represented by w is not contained in any proper free factor of F .

We also need Lemma 4.17 for proving Proposition 4.19.

Definition 4.16. The based core at x of a connected graph B is the smallest connected subgraph containing x and all closed cycles of B . Let H / F be a finitely generated subgroup of a free group. The core of H is the core of the associated cover of H / F .

See [Sta83, Constr 5.4] for the construction of the core of H / F by folding.

Lemma 4.17. Let F be a free group. Let A i P F be a reduced word for each i P I with | I | GLYPH&lt;160&gt; 8 . Let Γ be the graph of the core associated with x A i : i P I y / F . Let x be the basepoint of Γ . Then deg x / 2 | I | .

Proof. Assume deg x ¡ 2 | I | . Graph Γ contains no vertex of degree 1 except possibly at x because each A glyph[lscript] has no backtrack for glyph[lscript] P I . Observe χ p Γ q ¥ 1 GLYPH&lt;1&gt; | I | since Γ is constructed from a bouquet of | I | circles and folding does not decrease χ p Γ q . Moreover, χ p Γ q GLYPH&lt;16&gt; GLYPH&lt;176&gt; v p 1 GLYPH&lt;1&gt; deg v 2 q since Γ is a graph. This leads to a contradiction since χ C p q / 1 GLYPH&lt;1&gt; deg v 2 GLYPH&lt;160&gt; 1 GLYPH&lt;1&gt; | I | GLYPH&lt;16&gt; χ p Γ q , where the first inequality holds since 1 GLYPH&lt;1&gt; deg v 2 / 0 for each vertex v . glyph[square]

Construction 4.18. Given H a partial ascending fully irreducible HNN extension of a finitely generated free group F , we will construct a fully irreducible ascending HNN extension G with H / G . The subgroup relationship is proved in Proposition 4.19.

Observe H can be presented as Equation (1). Recall that no A glyph[lscript] has a backtrack for glyph[lscript] P I since each A glyph[lscript] is reduced.

Let Γ be the core of x A i : i P I y / F a , b p i j q with basepoint x . Then, deg x / 2 | I | by Lemma 4.17, so there are at most 2 | I | labels in t a GLYPH&lt;8&gt; i , b GLYPH&lt;8&gt; j : i P I, j P J u used on the edges emerging from x . Therefore, we enumerate 2 | J | labels in t a GLYPH&lt;8&gt; i , b GLYPH&lt;8&gt; j : i P I, j P J u not used as x , x 1 2 , . . . , x 2 | J | .

Let ρ : F a , b , c p i j 1 , c 2 q GLYPH&lt;209&gt; F c , c p 1 2 q be the projection map. Let B , C , C j 1 2 P F a , b , c p i j 1 , c 2 q for each j P J as follows:

$$B _ { j } \ & = \ x _ { j + | J | } \ U _ { j } \ \beta _ { j } \ x _ { j } ^ { - 1 } \\ C _ { 1 } \ & = \ c _ { 1 } \ V _ { 1 } \ \gamma _ { 1 } \ c _ { 1 } ^ { - 1 } \\ C _ { 2 } \ & = \ c _ { 2 } \ V _ { 2 } \ \gamma _ { 2 } \ c _ { 2 } ^ { - 1 }$$

$$2$$

where

- GLYPH&lt;13&gt; U , V j 1 , V 2 are words such that pq is a subword of U j and V k for each reduced pq with p, q P t a , b i j , c 1 , c 2 : i P I, j P J u , and U , V j 1 , V 2 do not start with x GLYPH&lt;1&gt; 1 j , c GLYPH&lt;1&gt; 1 1 , c GLYPH&lt;1&gt; 1 2 respectively;
- GLYPH&lt;13&gt; β , γ j 1 , γ 2 are words such that W GLYPH&lt;16&gt; t ρ B p j qu j P J Yt p ρ c GLYPH&lt;1&gt; 1 1 C 1 q , ρ p c GLYPH&lt;1&gt; 1 2 C 2 qu is C 1 p 1 7 q ;
- GLYPH&lt;13&gt; no word in W is a proper power; and
- GLYPH&lt;13&gt; B , C j k are cyclically reduced

One may choose β j and γ k to be long words in t c k : k P K u to satisfy all the conditions.

We construct G to be an ascending HNN extension with presentation as Equation (2).

Proposition 4.19. With H and G as in Construction 4.18, there is a group embedding from H to G . Moreover, G is fully irreducible.

Proof. Similar to Proposition 4.13, we claim that H GLYPH&lt;16&gt; π Y GLYPH&lt;209&gt; π X 1 GLYPH&lt;16&gt; G is an embedding. Indeed, observe X 1 GLYPH&lt;16&gt; t c k : k P K u and 2 -cells in X have attaching maps labelled by W , thus X is C p 7 q . Words in W are all distinct and have exponent 1 .

Assume G is weakly reducible. Let F 0 / F be a weakly invariant free factor of φ . Write F GLYPH&lt;16&gt; F 0 GLYPH&lt;6&gt; F 1 . Observe φ F p 0 q / gF g 0 GLYPH&lt;1&gt; 1 for some g P F implies φ p p F 0 q is in some proper free factor of F for some p ¡ 0 . Let Φ GLYPH&lt;16&gt; φ p .

GLYPH&lt;127&gt;

Since H is fully irreducible, F 0 GLYPH&lt;132&gt; F a p i q . Therefore, there is g P F 0 GLYPH&lt;1&gt; F a p i q . Write g GLYPH&lt;16&gt; p q 1 1 GLYPH&lt;4&gt; GLYPH&lt;4&gt; GLYPH&lt;4&gt; q n GLYPH&lt;1&gt; 1 p n for some p i P F a p i q and letter q j P t b GLYPH&lt;8&gt; j , c GLYPH&lt;8&gt; k u and n ¥ 2 since g R F a p i q .

The core p Γ of x A , B , C i j k : i P I, j P J, k P K y / F a , b , c p i j k q is the wedge of Γ and bouquet of circles with paths t B , C j k : j P J, k P K u . Indeed by construction, there is no folding at the basepoint when adding B j and C k for each j P J, k P K .

Therefore, φ g p q GLYPH&lt;16&gt; φ p p 1 q φ q p 1 q GLYPH&lt;4&gt; GLYPH&lt;4&gt; GLYPH&lt;4&gt; φ q p n GLYPH&lt;1&gt; 1 q φ p p n q does not have folding between φ p p i q and φ q p j q for any i, j and hence is cyclically reduced. In particular, U j or V k is an immersed subword of φ g p q . Hence, φ g p q does not lie in any proper free factor by Theorem 4.15, and in particular, φ g p q R F a p i q .

Iterate the argument above for p times to obtain φ p p g q does not lie in any proper free factor, contradicting the free decomposition of F as given by the definition. glyph[square]

## 5. Relative Hyperbolicity

We will use Osin's criterion for relative hyperbolicity [Osi06]. We first recall the definitions from Osin's paper. Then, we focus on some types of subcomplexes of compact complexes and deduce relative hyperbolicity in that case.

Definition 5.1. Let G be a group with a finite symmetric generating set S . Let H / G be a subgroup. Let H glyph[slurabove] be an isomorphic copy of H . Let F S p Y H glyph[slurabove] q be the free group with basis S Y H glyph[slurabove] . We use | w | to denote the length of a word w .

Let Z be the subset of F H p glyph[slurabove] q representing the elements of ker p F H p glyph[slurabove] q GLYPH&lt;209&gt; H glyph[slurabove] q .

Definition 5.2. Let R be a set of words in S Y H glyph[slurabove] such that G can be presented as x S, H glyph[slurabove] | R Z , y , i.e. F S p Y H glyph[slurabove] q GLYPH&lt;209&gt; G has kernel x x R Z , y y . The presentation P GLYPH&lt;16&gt; x S, H glyph[slurabove] | R Z , y is a finite presentation relative to H if R is finite. Note that P is only relatively finite.

Let X glyph[slurabove] be the presentation complex of P . Let w be a word in S Y H glyph[slurabove] that represents 1 G . The area of w in P , denoted Area P p w q , is the minimal area of disk diagrams D GLYPH&lt;209&gt; X glyph[slurabove] with B p D GLYPH&lt;16&gt; w . Suppose P is a finite presentation relative to H . We say P has a linear isoperimetric function if there is K ¡ 0 such that Area P p w q / K GLYPH&lt;4&gt; | w | for any word w in S Y H glyph[slurabove] representing 1 G . We say G has a linear isoperimetric function relative to H if there is a finite presentation P relative to H such that P has a linear isoperimetric function.

Theorem 5.3. Suppose G admits a linear isoperimetric function relative to H . Then G is hyperbolic relative to H .

Proof. See [Osi06, Cor.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00453v1-figure-fa2a08cf-eba9-4844-a859-29ed81886e41.jpg)

```
\begin{smallmatrix} [ O s i 0 6, \, \text{Cor. } 2. 5 4 ]. & & & \Box \end{smallmatrix}
```

Construction 5.4. Given a compact combinatorial 2 -complex X with one 0 -cell and ι : Y ª GLYPH&lt;209&gt; X a subcomplex. We will construct a finite presentation of G GLYPH&lt;16&gt; π X 1 relative to H GLYPH&lt;16&gt; ι GLYPH&lt;6&gt; p π Y 1 q . The properties of this presentation are proved in Lemma 5.6.

Let t ¯ c i u i be the 1 -cells in Y . Let c i GLYPH&lt;16&gt; r ¯ c i s P H for each i . Let t ¯ d j u j be the 1 -cells of X that are not in Y . Let d j GLYPH&lt;16&gt; r ¯ d j s P G for each j . Let P GLYPH&lt;16&gt; x S, H glyph[slurabove] | A B Z , , y , where:

- GLYPH&lt;13&gt; S GLYPH&lt;16&gt; t c i u i Yt d j u j .
- GLYPH&lt;13&gt; H glyph[slurabove] is a copy of H where for each h P H , the corresponding element is denoted h glyph[slurabove] P H glyph[slurabove] .
- GLYPH&lt;13&gt; A GLYPH&lt;16&gt; trB p R s : R in 2 -cells of X u .
- GLYPH&lt;13&gt; B GLYPH&lt;16&gt; t c i GLYPH&lt;1&gt; 1 c glyph[slurabove] i u i .
- GLYPH&lt;13&gt; Z is the subset of F H p glyph[slurabove] q representing elements of ker p F H p glyph[slurabove] q GLYPH&lt;209&gt; H q .

Remark 5.5. Each relator in B declares that c i equals its corresponding element c glyph[slurabove] i P H glyph[slurabove] .

Lemma 5.6. With notations as in Construction 5.4, P is a finite presentation relative to H . Moreover, let X glyph[slurabove] be the presentation complex of P . There is a natural injection X GLYPH&lt;209&gt; X glyph[slurabove] and a retraction r : X glyph[slurabove] GLYPH&lt;209&gt; X , and hence G GLYPH&lt;21&gt; π X 1 glyph[slurabove] .

Proof. P is finitely presented relative to H since X is compact, implying A and B are finite.

Observe that X is the presentation complex of x S | A y , so there is an injection X GLYPH&lt;209&gt; X glyph[slurabove] . We now specify the retraction map r . Each edge corresponding to h glyph[slurabove] P H glyph[slurabove] is mapped to a closed path in X corresponding to h P H / G . Each 2 -cell of B maps to a backtrack c GLYPH&lt;1&gt; 1 i c i . Each 2 -cell of Z maps to a disk diagram in X since the boundary path corresponds to 1 P H / G . The retraction r : X glyph[slurabove] GLYPH&lt;209&gt; X implies π X 1 GLYPH&lt;209&gt; π X 1 glyph[slurabove] is injective.

Since relators in B equates each c i P G to c glyph[slurabove] i P H glyph[slurabove] and H glyph[slurabove] is generated by t c glyph[slurabove] i u , so π X 1 GLYPH&lt;209&gt; π X 1 glyph[slurabove] is surjective. Therefore, π X 1 glyph[slurabove] GLYPH&lt;21&gt; π X 1 GLYPH&lt;16&gt; G . glyph[square]

glyph[slurabove] glyph[slurabove]

Definition 5.7. Let X be the presentation complex of x S, H | A B Z , , y as in Construction 5.4. Let D glyph[slurabove] GLYPH&lt;209&gt; X glyph[slurabove] be a disk diagram. A 2 -cell R in D glyph[slurabove] is a Z -face if R maps to a 2 -cell of X glyph[slurabove] corresponding to an element of Z . The Z -area of D glyph[slurabove] is the number of Z -faces in D glyph[slurabove] . We likewise define A -face , B -face , A -area and B -area . A 1 -cell e in D glyph[slurabove] is an S -edge if e maps to a 1 -cell of X glyph[slurabove] corresponding to an element in S . We likewise define H glyph[slurabove] -edge.

Since Y is a subcomplex of X , which can be presented by x S | A y , any A -face mapping to Y is called an A Y -face and any A -face (with interior) mapping to X GLYPH&lt;1&gt; Y is called an A X GLYPH&lt;1&gt; Y -face. We likewise define A Y -area and A X GLYPH&lt;1&gt; Y -area .

A p B GLYPH&lt;0&gt; Z q -subdiagram in D glyph[slurabove] is a connected component of GLYPH&lt;16&gt; GLYPH&lt;148&gt; B -faces R R GLYPH&lt;24&gt; Y GLYPH&lt;16&gt; GLYPH&lt;148&gt; Z -faces R R GLYPH&lt;24&gt;

.

Remark 5.8. B p R consists of only S -edges if R is a A -face; B p R consists of exactly one S -edge and one H glyph[slurabove] -edge if R is a B -face; B p R consists of only H glyph[slurabove] -edge if R is a Z -face.

Construction 5.9. Given a disk diagram D glyph[slurabove] GLYPH&lt;209&gt; X glyph[slurabove] , we construct an associated disk diagram D GLYPH&lt;209&gt; X . For every p B GLYPH&lt;0&gt; Z q -subdiagram E in D glyph[slurabove] , since B p E maps to labels in S , we may replace the subdiagram by a minimal (possibly singular) disk diagram in X with A -faces.

Proposition 5.10. Let Y GLYPH&lt;132&gt; X be a subcomplex of a compact 2 -complex X with one 0 -cell. Suppose X Y { GLYPH&lt;16&gt; X is combinatorially reducible and X GLYPH&lt;209&gt; X has liftable cancellable pairs. Suppose there is K ¡ 0 such that for each reduced disk diagram D GLYPH&lt;209&gt; X , the induced diagram D GLYPH&lt;209&gt; X satisfies Area p D q / K GLYPH&lt;4&gt; |B p D | . Then π X 1 is hyperbolic relative to ι GLYPH&lt;6&gt; p π Y 1 q .

Proof. By Proposition 3.5, π Y 1 GLYPH&lt;209&gt; π X 1 is injective and so we identify π Y 1 with ι GLYPH&lt;6&gt; p π Y 1 q / π X 1 . Let G GLYPH&lt;16&gt; π X 1 and H GLYPH&lt;16&gt; ι GLYPH&lt;6&gt; p π Y 1 q . Then by Lemma 5.6, G admits a finite presentation P GLYPH&lt;16&gt; x S, H glyph[slurabove] | A B Z , , y relative to H . We will show that P has a linear isoperimetric function, and so the result follows by Theorem 5.3.

Let X glyph[slurabove] be the presentation complex of P . Let σ GLYPH&lt;209&gt; X glyph[slurabove] be a nullhomotopic path. When σ only consists of H glyph[slurabove] -edges, there is a reduced disk diagram R with one Z -face with B p R GLYPH&lt;16&gt; σ . A linear isoperimetric inequality holds for any K ¥ 1 in this case. Hence, we may assume σ has an S -edge. Consider a disk diagram D glyph[slurabove] GLYPH&lt;209&gt; X glyph[slurabove] with B p D glyph[slurabove] GLYPH&lt;16&gt; σ such that the p A Y , A X GLYPH&lt;1&gt; Y , Z B , q -area is minimal in dictionary order.

Any A Y -face mapping to a 2 -cell R can be replaced by a Z -face surrounded by B -faces. Indeed R GLYPH&lt;132&gt; Y so B p R can be lined by B -faces, leaving a boundary path in H glyph[slurabove] . As this boundary is in ker p F H p glyph[slurabove] q GLYPH&lt;209&gt; H q , we can fill it with a Z -face. Thus, by minimality, there is no A Y -face in D glyph[slurabove] .

We now show the associated diagram D GLYPH&lt;209&gt; X , given by Construction 5.9, is reduced. In D glyph[slurabove] , there is no A Y -face. Therefore, after replacing each p B GLYPH&lt;0&gt; Z q -subdiagram with A Y -faces in the construction of D , cancellable paris may only occur between A X GLYPH&lt;1&gt; Y -faces meeting along isolated

Figure 1. The configuration leading to cancellation in D . The p B GLYPH&lt;0&gt; Z q -subdiagram is associated with a singular disk diagram, where a pair of cancellable A X GLYPH&lt;1&gt; Y -faces meet along a common edge. Replacing each component of A Y -faces with a p B GLYPH&lt;0&gt; Z q -subdiagram yields a diagram in X glyph[slurabove] with fewer A X GLYPH&lt;1&gt; Y -faces, violating minimality.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00453v1-figure-1f58a665-87e3-4b36-9196-5beb528dba16.jpg)

edges of the replacement diagram. See Figure 1. However, cancellable pairs of A X GLYPH&lt;1&gt; Y -faces in D violate minimality of D glyph[slurabove] . Replacing each connected component of A Y -faces with a p B GLYPH&lt;0&gt; Z q -subdiagram, we obtain a diagram in X glyph[slurabove] having a cancellable pair of A X GLYPH&lt;1&gt; Y -faces, contradicting minimality of A X GLYPH&lt;1&gt; Y -area.

Since X GLYPH&lt;209&gt; X has liftable cancellable pairs, Lemma 3.4 implies that D GLYPH&lt;209&gt; X is reduced. The proof of Proposition 3.5 shows that D is a tree of spheres and disks. Moreover, D does not contain spheres by combinatorial reducibility of X . Observe GLYPH&lt;7&gt; GLYPH&lt;7&gt; B p D GLYPH&lt;7&gt; GLYPH&lt;7&gt; / | σ | and there is no A Y -face in D glyph[slurabove] . The linear isoperimetric inequality for disks in D implies:

$$\# \{ \mathcal { A } \text{-faces in } \widehat { D } \} \ = \ \# \{ \mathcal { A } _ { X - Y } \text{-faces in } \widehat { D } \} \ = \ A \text{era} ( \overline { D } ) \, \leq \, K \, | \partial _ { \mathbf p } \overline { D } | \, \leq \, K \, | \sigma |$$

Let M be an upper bound on the boundary lengths of 2 -cells of X . As D glyph[slurabove] is reduced, each B -face is either along an edge of B p D or along an A X GLYPH&lt;1&gt; Y -face. Therefore,

$$\# \{ \mathcal { B } \text{-faces in } \widehat { D } \} \, \leqslant \, M \cdot \# \{ \mathcal { A } _ { X - Y } \text{-faces in } \widehat { D } \} + | \partial _ { \mathfrak { p } } \widehat { D } | \, \leqslant \, ( M K + 1 ) \, | \sigma |$$

For a p B GLYPH&lt;0&gt; Z q -subdiagram E , let | E | S be the number of S -edges in B E (possibly disconnected). Since each B -face has only one S -edge and no Z -face has an S -edge, summing over all p B GLYPH&lt;0&gt; Z q -subdiagrams, we have: GLYPH&lt;176&gt; i | E i | S / # t B -faces in D glyph[slurabove] u / p MK GLYPH&lt;0&gt; 1 q | σ |

A p B GLYPH&lt;0&gt; Z q -subdiagram E is homeomorphic to a genus0 surface with p E p q ¥ 1 boundary circles since E is a subcomplex of D glyph[slurabove] .

We claim that there is an S -edge in each connected component C of B E . Indeed, assume C consists only of H glyph[slurabove] -edges. Since no A -face has an H glyph[slurabove] -edge on the boundary, each 2 -cell intersecting C is a B -face or Z -face. Therefore, there is no 2 -cell outside E since E is a p B GLYPH&lt;0&gt; Z q -diagram. Hence, C GLYPH&lt;132&gt; B p D and since D is not singular, C GLYPH&lt;16&gt; B p D GLYPH&lt;16&gt; σ , contradicting the assumption that σ contains an S -edge. We conclude that each C contains an S -edge and | E | S ¥ p E p q .

By the construction of Z , observe that Z -faces can be merged if the merged cell is simplyconnected. Since E is homeomorphic to a sphere with p E p q boundary circles, E can be merged into p E p q simply-connected Z -faces. Let D glyph[slurabove] 1 be the disk diagram after merging Z -faces. We have:

$$\# \{ \mathcal { Z } \text{-faces in } \widehat { D } ^ { \prime } \} \ = \ \sum _ { ( \mathcal { B } + \mathcal { Z } ) \text{-diag } E } p ( E ) \ \leqslant \ \sum _ { ( \mathcal { B } + \mathcal { Z } ) \text{-diag } E } | E | _ { S } \ \leqslant \ ( M K + 1 ) \, | \sigma |$$

Summing up, since D glyph[slurabove] 1 is a disk diagram with B p D glyph[slurabove] 1 GLYPH&lt;16&gt; σ , we conclude:

$$\text{Area} _ { p } ( \sigma ) & \, \leqslant \, \# \{ \mathcal { A } \text{-faces in } \widehat { D } ^ { \prime } \} \, + \, \# \{ \mathcal { B } \text{-faces in } \widehat { D } ^ { \prime } \} \, + \, \# \{ \mathcal { Z } \text{-faces in } \widehat { D } ^ { \prime } \} \\ & \, \leqslant \, \# \{ \mathcal { A } \text{-faces in } \widehat { D } \} \, + \, \# \{ \mathcal { B } \text{-faces in } \widehat { D } \} \, + \, \# \{ \mathcal { Z } \text{-faces in } \widehat { D } ^ { \prime } \} \\ & \, \leqslant \, \left ( 2 M K + K + 2 \right ) | \sigma | & & \quad \Box$$

Corollary 5.11. The statement of Proposition 5.10 holds when X is a compact 2 -complex (possibly with more than one 0 -cell).

Proof. By Proposition 3.5, π Y 1 GLYPH&lt;209&gt; π X 1 is injective and so we regard π Y 1 GLYPH&lt;16&gt; ι GLYPH&lt;6&gt; p π Y 1 q / π X 1 .

Pick a basepoint in Y 0 . Choose a maximal tree T Y GLYPH&lt;132&gt; Y 1 and extend it to T X GLYPH&lt;132&gt; X 1 . Let X 1 GLYPH&lt;16&gt; X T { X and Y 1 GLYPH&lt;16&gt; X T { Y . Then π X 1 1 GLYPH&lt;16&gt; π X 1 and π Y 1 1 GLYPH&lt;16&gt; π Y 1 .

Since X is compact, T X has a finite diameter d . Hence, every closed path p 1 GLYPH&lt;209&gt; X Y 1 { 1 canonically corresponds to p GLYPH&lt;209&gt; X Y { with | p | / p d GLYPH&lt;0&gt; 1 q| p 1 | . By the correspondence, the conditions of combinatorial reducibility and having liftable cancellable pairs inherit to X 1 and Y 1 . Therefore, by

Proposition 5.10, it suffices to show that there is K ¡ 0 such that for each reduced disk diagram D 1 GLYPH&lt;209&gt; X 1 , the projected diagram D GLYPH&lt;209&gt; X Y 1 { 1 satisfies Area p D 1 q / K GLYPH&lt;4&gt; |B p D 1 | .

By the correspondence between p X,Y q and p X , Y 1 1 q , let D GLYPH&lt;209&gt; X correspond to D 1 GLYPH&lt;209&gt; X 1 and D GLYPH&lt;209&gt; X correspond to D 1 GLYPH&lt;209&gt; X Y 1 { 1 . As the correspondence is canonical, D GLYPH&lt;209&gt; X is reduced. Thus,

$$\ A r e a ( \bar { D } ^ { \prime } ) \ = \ A r e a ( \bar { D } ) \ \leqslant \ K \left | \partial _ { \mathfrak { P } } D \right | \ \leqslant \ K ( d + 1 ) \left | \partial _ { \mathfrak { P } } D ^ { \prime } \right | \quad & \square$$

Corollary 5.12. H is an almost malnormal quasi-isometrically embedded subgroup in G .

Proof. Since G is hyperbolic relative to H by Proposition 5.10, so H is almost malnormal and quasi-isometrically embedded. See for instance [Bow12, Thm 1.2]. glyph[square]

Corollary 5.13. Let G and H as in Constructions 4.12 and 4.18. G is hyperbolic relative to H .

Proof. By constructions, X is a C p 7 q presentation complex, and X has no relative extra power and no duplicates relative to Y . By Proposition 4.5, X is combinatorially reducible. By Lemma 4.9, X GLYPH&lt;209&gt; X has liftable cancellable pairs. Moreover, X is C p 7 q , so all reduced diagram D GLYPH&lt;209&gt; X satisfies linear isoperimetric function by Proposition 4.4. Therefore, G is hyperbolic relative to H . glyph[square]

## References

[AW23] Brahim Abdenbi and Daniel T. Wise. Negative immersions and finite height mappings, 2023.

[Bow12] B. H. Bowditch. Relatively hyperbolic groups. Internat. J. Algebra Comput. , 22(3):1250016, 66, 2012.

[FH99] Mark Feighn and Michael Handel. Mapping tori of free group automorphisms are coherent. Ann. of Math. (2) , 149(3):1061-1077, 1999.

[Kam33] Egbert R. Van Kampen. On the connection between the fundamental groups of some related spaces. American Journal of Mathematics , 55(1):261-267, 1933.

[Lyn66] Roger C. Lyndon. On dehn's algorithm. Mathematische Annalen , 166(3):208-228, 1966.

[Osi06]

Denis V. Osin. Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems. Mem. Amer. Math. Soc. , 179(843):1-100, 2006.

[Sta83] John R. Stallings. Topology of finite graphs. Invent. Math. , 71(3):551-565, 1983.

[Sta99] John R. Stallings. Whitehead graphs on handlebodies. In Geometric group theory down under (Canberra, 1996) , pages 317-330. de Gruyter, Berlin, 1999.

Email address : chonghk1997@gmail.com

Email address : wise@math.mcgill.ca
Hip Kuen Chong Daniel T. Wise
Embedding Partial HNN Extensions In Ascending HNN Extensions
We show that any partial ascending HNN extension of a free group embeds in an
actual ascending HNN extension of a free group. Moreover, we can ensure that it
embeds as the parabolic subgroup of a relatively hyperbolic group.