# Cyclic Branched Coverings Over Some Classes of (1,1)-Knots

Authors: Agnese Ilaria Telloni
Journal: Geometry
 (2013)

---

## Abstract

We construct a 4-parametric family of combinatorial closed 3-manifolds, obtained by glueing together in pairs the boundary faces of polyhedral 3-balls. Then, we obtain geometric presentations of the fundamental groups of these manifolds and determine the corresponding split extension groups. Finally, we prove that the considered manifolds are cyclic coverings of the 3-sphere branched over well-specified(1,1)-knots, including torus knots and Montesinos knots.


---

## Body

## 1. Introduction

In this paper, we study the topological and covering properties of a class of closed connected orientable 3-manifoldM(n,k,r,q), depending on four nonnegative integer parameters n,k,r,q such that n≥2, r≥2, k<n, and q≥0. These manifolds are constructed from triangulated 3-cells, whose boundary faces are identified together in pairs. Then, we obtain finite n-generator and n-relator presentations for the fundamental group G(n,k,r,q) of the manifold M(n,k,r,q) which correspond to spines of the manifold. Furthermore, we determine the split extension E(n,r,q) of G(n,k,r,q) under the action of a cyclic group of order n. It turns out to be the fundamental group of a three-dimensional closed orbifold obtained from the manifold M(n,k,r,q) as a quotient space with respect to the action of a suitable rotational symmetry θ of order n. Finally, we completely describe the underlying topological space and the singular set of this orbifold. One of our results is that the combinatorial manifold M(n,k,r,q) is topologically homeomorphic to the n-fold cyclic covering of the 3-sphere 𝕊3 branched over a well-specified (1,1)-knot. This allows us to draw explicitly the planar projection of a new interesting class of (1,1)-knots (not yet considered in the literature) for which we study some geometrical and algebraic properties. As a very special case, that is, for certain values of the parameters, we obtain some torus knots or Montesinos knots as branching sets. Some subfamilies of our class of manifolds are known: the manifold M(n,k,2,0), with (n,2-k)=n, that is, k≡2 (mod n), is homeomorphic to the closed connected orientable 3-manifold Mn,k considered in [1]; furthermore, the triangulated 3-cells, from which the manifolds M(n,k,2,0) arise, are those used in [2] to construct a family of manifolds with totally geodesic boundary; finally, the manifold M(n,k,r,0), with (n,2r-2-k)=n, that is, k≡2r-2 (mod n), is the unique closed 3-manifolds related with the class of hyperbolic 3-manifolds with totally geodesic boundary, combinatorially constructed in [3]. We also show that our manifolds are contained in the Dunwoody family in the sense of [4], which was defined via suitable Heegaard diagrams. As a consequence, we give a simple polyhedral description of a large subclass of Dunwoody manifolds, and this connects with the general result obtained in [5]. Finally, we observe that (1,1)-knots are very important on the study of Dehn surgery. In fact, they are related with the unsolved problem of which knots in the 3-sphere admit Dehn surgery yielding lens spaces. In fact, in a recent paper [6], we have proved that our class of (1,1)-knots admit Dehn surgeries yielding two infinite series of lens spaces.


## 2. The Combinatorial ManifoldsM(n,k,r,q)

For every 4-tuples of nonnegative integers(n,k,r,q) such that n≥2, r≥2, k<n, and q≥0, let us consider the polyhedron P(n,k,r,q), which is a triangulated 3-ball, having exactly n boundary faces on each hemisphere (see Figure 1). Let us denote by Fi (resp., Fi′), i=0,…,n-1, the southern (resp., northern) boundary faces of P(n,k,r,q). The symbols 0 and ∞ in the picture denote the South pole and the North pole, respectively. The boundary face Fi has 2(r-1) oriented edges of type a (denoted by ai0,…,air-2,ai+10,…,ai+1r-2), q+1 oriented edges of type c (denoted by ci0,…,ciq), and q oriented edges of type b (denoted by bi0,…,biq-1). The vertices of Fi are ordered in the clockwise manner according to the sequence Ei,Ciq,…,Ci1,Ai+1,Hi+1r-2,…,Hi+11, 0,  Hi1,…,Hir-2,  Ai,Bi1,…,Biq-1. The boundary face Fi+k′ has 2(r-1) oriented edges of type d (denoted by di+k0,…,di+kr-2,di+k+10,…,di+k+1r-2), q+1 oriented edges of type c (denoted by ci+k0,…,ci+kq), and q oriented edges of type b (denoted by bi+k+10,…,bi+k+1q-1). The vertices of Fi+k′ are ordered in the counter-clockwise manner according to the sequence ∞, Di+kr-2,…,Di+k1, Ei+k, Ci+kq,…,Ci+k1, Ai+k+1, Bi+k+11,…,Bi+k+1q-1, Ei+k+1, Di+k+11,…,Di+k+1r-2. By convention, the polyhedron P(n,k,r,0) has no  b-edges, that is, every E-vertex coincides with the A-vertex labelled by the same subscript (see Figure 1).Figure 1
The polyhedronP(n,k,r,q) and the side pairing of its boundary faces.Now, for everyi=0,…,n-1, we consider the homeomorphisms xi which identifies the oriented southern face Fi as follows:
(1)(ciq)-1⋯(ci0)-1(ai+1r-2)-1⋯(ai+10)-1ai0⋯air-2bi0⋯biq-1,
with the oriented northern face Fi+k(2)(di+kr-2)-1⋯(di+k0)-1(ci+kq)-1⋯(ci+k0)-1bi+k+10⋯bi+k+1q-1di+k+10⋯di+k+1r-2,
by matching the oriented edges according to the above sequences (here the subscripts are taken modulo n). Obviously, this side pairing induces identifications among the vertices of the boundary faces (see Figure 1). The quotient space obtained from the polyhedron with the above-described side pairing is denoted by M(n,k,r,q). A celebrated result of Seifert and Threlfall [7] states that the quotient space M(n,k,r,q) represents a closed connected orientable 3-manifolds if and only if its Euler characteristic vanishes. Using this criterion, we can prove our first result.Theorem 1.
For nonnegative integersn≥2, r≥2, k<n and q≥0, the above constructed space M(n,k,r,q) is a closed connected orientable 3-manifolds if and only if k≡2r-2+q (modn).Proof.
It is a routine matter to check that the quotient spaceM(n,k,r,q) has one vertex. So M(n,k,r,q) admits a cellular decomposition with one vertex, n faces, one 3-ball, and e=(n,2r+q-k-2) edges. In fact, from the pairings of edges induced by the above-defined identification on the boundary faces of P(n,k,r,q), for every i=0,…,n-1, we get the following cycle of equivalent edges:
(3)ai0⟶xibi+k+10⟶xi+k+1bi+2(k+1)r-1⟶xi+2(k+1)⋯bi+γ(k+1)q-βai0⟶xi+γ(k+1)di+(γ+1)(k+1)r-β-1⟶xi+(γ+1)(k+1)-k-1ci+(γ+1)(k+1)-kq-β+1ai0⟶xi+(γ+1)(k+1)-2k-1⋯ci+(γ+1)(k+1)-γk1⟶xi+(γ+1)(k+1)-(γ+1)k-1ai+(γ+2)1⟶⋯⋯⟶ai+β(γ+2)β⟶xi+β(γ+2)bi+β(γ+2)+k+1β⟶⋯bi+β(γ+2)+α(k+1)q-r+1⟶xi+β(γ+2)+α(k+1)di+β(γ+2)+(α+1)(k+1)0⟶xi+β(γ+2)+(α+1)(k+1)-k-1ci+β(γ+2)+(α+1)(k+1)-kq-r+2⟶xi+β(γ+2)+(α+1)(k+1)-2k-1⋯ci+β(γ+2)+(α+1)(k+1)-αkβ+1⟶⋯aβ(γ+2)+(r-2-β)(α+2)r-2⟶xi+β(γ+2)+(r-2-β)(α+2)bi+β(γ+2)+(r-2-β)(α+2)+k+1r-2⟶⋯bi+β(γ+2)+(r-2-β)(α+2)+α(k+1)q-β+1⟶xi+β(γ+2)+(r-2-β)(α+2)+α(k+1)di+β(γ+2)+(r-2-β)(α+2)+(α+1)(k+1)r-β-2⟶xi+β(γ+2)+(r-2-β)(α+2)+(α+1)(k+1)-k-1ci+β(γ+2)+(r-2-β)(α+2)+(α+1)(k+1)-kq-β⟶⋯ci+β(γ+2)+(r-2-β)(α+2)+(α+1)(k+1)-(α+1)k0⟶xi+β(γ+2)+(r-2-β)(α+2)+(α+1)(k+1)-(α+1)k-1ai+β(γ+2)+(r-1-β)(α+2)-k0,
where q=α(r-1)+β with 0≤β<r-1, and γ is the minimum integer such that γ(r-1)≥q. Then, if β=0 (resp., β≠0), we have γ=α (resp., γ=α+1). The above sequence gives a closed edge path if and only if β(γ+2)+(r-1-β)(α+2)-k≡0 (mod n), that is, βγ+q-β-αβ+2(r-1)-k≡0 (mod n). Noting that βγ-β-αβ=0, we get the congruence of the statement.Let us assume the arithmetic conditions of Theorem1 and denote by G(n,k,q,r) the fundamental group π1(M(n,k,q,r)) of the closed manifold M(n,k,r,q). As before, set q=α(r-1)+β, with 0≤β<r-1, and let γ be the minimum integer such that γ(r-1)≥q. Recall that if q is a multiple of r-1, then γ=α; otherwise, if β≠0, then γ=α+1. By Theorem 1, we obtain immediately a geometric presentation for the group G(n,k,r,q) with the above-defined homeomorphisms xi, i=0,…,n-1, as generators, and relations arising from the sequences of equivalent edges. In the following statements, we give such a presentation for the group G(n,k,r,q) and its dual obtained as edge-path group, since M(n,k,r,q) has exactly one vertex.Corollary 2.
Under the arithmetic conditions of Theorem1, the fundamental group G(n,k,r,q) of the manifold M(n,k,r,q) admits a finite presentation with n generators xi, i=0,…,n-1, and n cyclically defined relations of the form
(4)[∏h=0β-1‍(∏ℓ=0γ‍xi+h(γ+2)+ℓ(k+1)∏m=1γ+1‍xi+h(γ+2)+(γ+1)(k+1)-mk-1)]·[∏h=βr-2‍(∏t=1α+1‍∏s=0α‍xi+β(γ+2)+(h-β)(α+2)+s(k+1)·∏t=1α+1‍xi+β(γ+2)+(h-β)(α+2)+(α+1)(k+1)-tk-1)∏h=βr-2‍]·xi+q+2(r-1)-1-k-1=1
for every i=0,…,n-1. Moreover, this presentation is geometric, that is, it corresponds to a spine of the combinatorial manifold M(n,k,r,q).Since the quotient complexM(n,k,r,q) has exactly one vertex (if the parameters satisfy the conditions of Theorem 1), we can obtain a further presentation for the fundamental group G(n,k,r,q) whose generators bijectively correspond to the loops of the 1-skeleton, and whose relations arise by walking around the boundaries of the 2-cells.Corollary 3.
Under the arithmetic conditions of Theorem1, the fundamental group G(n,k,r,q) of the manifold M(n,k,r,q) admits a further presentation with n generators a0,…,an-1 and n cyclic relations
(5)[∏h=0β‍ai-h(γ+2)∏h=1r-2-β‍ai-β(γ+2)-h(α+2)]·[∏j=1α‍(∏ℓ=0β‍ai-j(k+1)-ℓ(γ+2)∏ℓ=1r-2-β‍ai-j(k+1)-β(γ+2)-ℓ(α+2))]·∏ℓ=0β-1‍ai-(α+1)(k+1)-ℓ(γ+2)=[∏s=0β‍ai+1-s(γ+2)∏s=1r-1-β‍ai+1-β(γ+2)-s(α+2)]·[∏j=1α‍(∏p=0β-1‍ai-jk-γ-1-p(γ+2)·∏p=0r-2-β‍ai-jk-α-1-β(γ+2)-p(α+2))∏j=1α‍]·∏p=0β-1‍ai-(α+1)k-γ-1-p(γ+2)
for every i=0,…,n-1. This presentation is also geometric, that is, it corresponds to a spine of the manifold M(n,k,r,q).The Heegaard diagrams coming from the polyhedral description of the manifoldsM(n,k,r,q) are exactly the ones defined by Dunwoody in 1995 (see [4]). Then, M(n,k,r,q) are just particular cases of the so-called Dunwoody manifoldsD(a,b,c,n,r,s), which depend on six integer parameters. Such manifolds have been extensively studied by many researchers (see, e.g., [4, 8–13]). More in detail, we have the following.Corollary 4.
Under the arithmetic conditions of Theorem1, the above-constructed closed connected 3-manifold M(n,k,r,q) is precisely the Dunwoody manifold D(r-1,q,q+1,n,r+q,k).From this result, we obtain immediately a simple polyhedral description of a large subclass of Dunwoody manifolds, which connects with the general result given in [5].


## 3. Split Extension Group

The above-constructed polyhedronP(n,k,r,q) admits a rotational symmetry of order n, denoted by θ, with respect to its central axis, that is, the axis connecting the points 0 and ∞. The automorphism θ maps every boundary face Fi in the next face Fi+1, where the subscripts are considered modulo n. This automorphism induces a symmetry, also denoted by θ, on the combinatorial manifold M(n,k,r,q). Let us denote by E(n,r,q) the split extension group of G(n,k,r,q) with respect to the cyclic group of order n generated by θ. From the obtained presentations for the group G(n,k,r,q), we get two different presentations for the split extension group E(n,r,q).Theorem 5.
For nonnegative integersn≥2,r≥2, k<n, q≥0, and k≡2r-2+q (modn), the split extension group E(n,r,q) of G(n,k,r,q) admits the finite presentations
(6)〈a,b:(ba)n=1,b(aγ+2bγ+2)β(aα+2bα+2)r-1-β=1〉≅〈u,v:(v-1u)n=1,(uβ+1vr-2-β)α+2=v(uβvr-1-β)α+2〉,
where q=α(r-1)+β, 0≤β<r-1, and γ is the minimum integer such that γ(r-1)≥q.Proof.
Settingxi=θ-ixθi, where x=x0, in the cyclic relations of G(n,k,r,q) as written in the statement of Corollary 2, we get
(7)[(xθ-k-1)γxθ-1(x-1θk)γx-1θ-1]β·[(xθ-k-1)αxθ-1(x-1θk)αx-1θ-1]r-2-β·[(xθ-k-1)αxθ-1(x-1θk)α+1x-1θ-1]=1.
Let y be x-1θk with inverse relation x=θky-1. Then, the word of the previous relation becomes
(8)[(y-1θ-1)γ+1yγ+1θ-1]β[(y-1θ-1)α+1yα+1θ-1]r-2-β·[(y-1θ-1)α+1yα+2θ-1],
which is equivalent to
(9)y[(y-1θ-1)γ+2yγ+2]β[(y-1θ-1)α+2yα+2]r-1-β.
Substituting b=y and a=y-1θ-1 (i.e., θ=a-1b-1) gives the presentation
(10)〈a,b:(ba)n=1,b(aγ+2bγ+2)β(aα+2bα+2)r-1-β=1〉.
Now, we determine the second presentation for the group E(n,r,q). Substituting ai=θ-iaθi, where a=a0, in the cyclic relations of G(n,k,r,q) (as written in the statement of Corollary 3) yields
(11)(aθγ+2)β[(aθα+3)(aθγ+2)β(aθα+2)r-2-β]α·(aθα+3)(aθγ+2)ϵaθ=θ-1[(aθγ+2)β(aθα+2)r-1-β]α+1(aθγ+2)β,
where ϵ is the maximum between 0 and β-1. If β=0 (and hence γ=α), then the previous relation is equivalent to
(12)[(aθα+3)(aθα+2)r-2]α+2=(aθα+2)(α+2)(r-1)+1.
Setting u=aθα+2 and v=aθα+3, with inverse relations θ=v-1u and a=v(u-1v)α+2, we obtain the presentation listed in the statement. Analogously, if β≠0, hence γ=α+1, then the previous relation becomes
(13)[(aθα+3)β+1(aθα+2)r-2-β]α+2=(aθα+2)[(aθα+3)β(aθα+2)r-1-β]α+2.
As done before, setting u=aθα+2 and v=aθα+3, we obtain the requested relation.


## 4. Topological and Covering Properties

The split extension groupE(n,r,q) turns out to be the fundamental group of the 3-dimensional closed orbifold obtained as quotient space of the manifold M(n,k,r,q) under the action of the rotational symmetry θ of order n. Recall that this symmetry is induced by the rotation of order n, also denoted by θ, with respect to the interior axis of the polyhedron P(n,k,r,q) which connects the points 0 and ∞. The above orbifold will be denoted by 𝒪n(r,α,β), where q=α(r-1)+β, α≥0, 0≤β<r-1; in fact, it does not depend by the parameter k, which represents the shift of the northern boundary faces of the polyhedron P(n,k,r,q) with respect to the southern ones. We recall that a knot K in a lens space L(h,ℓ) is said to be a (1,1)-knot if there exists a genus one Heegaard splitting (L(h,ℓ),K)=(V1,K1)∪(V2,K2), where Vi is a solid torus, Ki⊂Vi is a properly embedded trivial arc, for i=1,2, and ϕ:(∂V2,∂K2)→(∂V1,∂K1) is an attaching homeomorphism. An arc A properly embedded in a solid torus V is said to be trivial if there is a disk D in V with A⊂∂D and ∂D∖A⊂∂V (see, e.g., [14]). Set Wi=(Vi,Ki),i=1,2. The pair (W1,W2) is also called a (1,1)-splitting of (L(h,ℓ),K).Theorem 6.
For nonnegative integersn≥2, r≥2, k<n, q≥0, and k≡2r-2+q (modn), the combinatorial closed 3-manifold M(n,k,r,q) is homeomorphic to the n-fold cyclic covering of the 3-sphere branched over the (1,1)-knot K(r,α,β) depicted in Figure 6, where q=α(r-1)+β and 0≤β<r-1.Proof.
The underlying space of the orbifold𝒪n(r,α,β) is just the manifold M(1,0,r,q). This manifold can be represented by the Heegaard diagram of genus one depicted in Figure 2. Since the fundamental group G(1,0,r,q) is trivial, M(1,0,r,q)≅𝕊3. By Theorem 6 of [11], the singular set of the orbifold 𝒪n(r,α,β) is a (1,1)-knot K(r,α,β), depending on three parameters and formed by the image of the 0∞-axis of P(n,k,r,q) (depicted as a dotted line in Figure 2) in the quotient space M(n,k,r,q)/〈θ〉. The Heegaard diagram of M(1,0,r,q) in Figure 2 can be transformed into a simpler one via suitable Whitehead-Zieschang reductions (see [15]).
Each of these moves consists in a simplification of the graph along a closed simple curve surrounding one of the circles in a planar representation of the diagram (for more details about such moves see, e.g., [15–17]). This allows us to obtain a Heegaard diagram having a reducible 1-handle; this diagram admits different planar representations depending on q being even or odd. In Figure 3(a), we show a Heegaard diagram of M(1,0,r,q) with a reducible 1-handle for q odd.
In order to cancel the unique 1-handle, we can draw the singular set (depicted as a dotted line in Figures2 and 3) into a cylinder, so that the circles F and F′ coincide with its bases (see Figure 3(b), for q odd). Then, we image to unscrew the upper base of the cylinder r-1-β times and the lower one β times. This gives a braid with α+2 threads on its upper side and α+3 threads on its lower side. Now it only remains to close the braid by identifying the 0- and ∞-poles of the singular set. The obtained knot K(r,α,β), shown in Figure 4, has so many twists in its left (resp., right) side as the unscrew motions on the upper (resp., lower) base of the cylinder. An equivalent planar projection of the knot K(r,α,β), which is the singular set, is given in Figure 5. By a sequence of Reidemeister moves, we can further simplify the knot into the cyclic form shown in Figure 6. The case q even can be treated in a similar way. Moreover, the final planar projection depicted in Figure 6 represents the knot K(r,α,β) for both cases q odd and q even.Figure 2
A Heegaard diagram of the manifoldM(1,0,r,q).A Heegaard diagram ofM(1,0,r,q) with a reducible 1-handle and its representation into a cylinder (q odd).
(a)
(b)Figure 4
The knotK(r,α,β) (q odd).Figure 5
A further planar projection of the knotK(r,α,β) (q odd).Figure 6
A simpler planar projection of the knotK(r,α,β).Theorem 7.
For nonnegative integersn≥2, r≥2, k<n, q≥0, and k≡2r-2+q (modn), the group of the (1,1)-knot K(r,α,β) admits the 2-generator presentations
(14)π(K(r,α,β))≅〈a,b:b(aγ+2bγ+2)β(aα+2bα+2)r-1-β=1〉≅〈u,v:(uβ+1vr-2-β)α+2=v(uβvr-1-β)α+2〉,
where q=α(r-1)+β,0≤β<r-1, and γ is the minimum integer such that γ(r-1)≥q.Proof.
The groupG=G(n,k,r,q) can be embedded as a normal subgroup of index n in E=E(n,r,q), whose presentation is given in Theorem 5. The map ϕ:G→E, defined by ϕ(xi)=θ-ixθi, gives the desired embedding. Furthermore, G is isomorphic to the normal closure of x in E, and there is a short exact sequence 1→G→ϕE→ℤn→1, where ℤn=〈θ:θn=1〉. Let us consider the 3-orbifold 𝒪n(r,α,β) in the proof of Theorem 6, whose underlying space is 𝕊3 and whose singular set is the (1,1)-knot K(r,α,β), with branching index n. The n-fold covering map M(n,k,r,q)→𝒪n(r,α,β) induces a group embedding G◃Ω, where Ω denotes the fundamental group of 𝒪n(r,α,β). In particular, we have [Ω:G]=n, and Ω fits in a short exact sequence 1→G→Ω→ℤn→1, where ℤn is generated by the rotational symmetry θ. Now, five lemma implies E≅Ω, and π(K(r,α,β)) is presented as above by Theorem 5. In fact, a (1,1)-knot is a two-generator knot (see [9, 14]). Therefore, a (1,1)-knot in the 3-sphere is prime (see [18]). But prime knots are classified by their groups.To end this section, we consider the manifoldsM(n,k,r,q) for particular values of the parameters and explicitly recognize the corresponding branch sets among some classical knots.Theorem 8.
For nonnegative integersn≥2, r≥2, k<n, q=α(r-1), α≥0, and k≡2r-2+q (modn), the combinatorial manifold M(n,k,r,q) is the n-fold cyclic covering of the 3-sphere branched over the torus knot T(η,ηξ+1), where η=α+2 and ξ=r-1.Proof.
Under the considered hypotheses, the split extension groupE(n,r,q) admits the finite presentation
(15)〈u,v:(v-1u)n=1,(uvr-2)α+2=v(α+2)(r-1)+1〉
(see the second presentation in the statement of Theorem 5). This is the fundamental group of the orbifold 𝒪n(r,α,β), having the (1,1)-knot K(r,α,β) as singular set. Since a (1,1)-knot is a two-generator knot (see, e.g., [14]), it is a prime knot in the 3-sphere [18]. Thus, K(r,α,β) is completely determined by its group (for more details see, e.g., [19, Theorem  6.1.12, page 76]). In this case, the group of K(r,α,β) is presented by 〈u,v:(uvr-2)α+2=v(α+2)(r-1)+1〉, where (u,v) is a meridian-longitude pair of the knot. Setting uvr-2=t, with inverse relation u=tv2-r, the group of K(r,α,β) is presented by 〈t,v:tα+2=v(α+2)(r-1)+1〉. Since the transformation matrix between the pairs (t,v) and (u,v) is (10r-21) with determinant +1, we see that also (t,v) is a meridian-longitude pair of the knot. The last group presentation just encodes the torus knot of type (η,ηξ+1), with η=α+2 and ξ=r-1.Theorem 9.
For nonnegative integersn≥2, r≥2, k<n, q=α(r-1)+β,α≥0,β=r-2, and k≡2r-2+q (modn), the combinatorial manifold M(n,k,r,q) is the n-fold cyclic covering of the 3-sphere branched over the torus knot T(η,ηξ-1), where η=α+3 and ξ=r-1.Proof.
In this case, the(1,1)-knot K(r,α,β) is uniquely determined by its group π(K(r,α,β))=〈u,v:u(r-1)(α+3)-1=(ur-2v)α+3〉. Substituting h=ur-2v, with inverse relation v=u2-rh, yields π(K(r,α,β))=〈u,h:u(r-1)(α+3)-1=hα+3〉. Hence, K(r,α,β) is just the torus knot of the statement.Theorem 10.
For everyr≥3, the (1,1)-knot K(r,α,β), where α=0 and 0<β<r-2, depicted in Figure 7(b), is encoded by the 2-generator group with defining presentations
(16)〈a,b:b(a3b3)β(a2b2)r-1-β=1〉≅〈u,v:(uβ+1vr-2-β)2=v(uβvr-1-β)2〉.
If further β=1, then the knot K(r,α,β) is equivalent to the Montesinos knot m(-1;1/2;1/3;1/(2r-1)) (in particular, the torus knot T(5,3) for r=3) encoded by the 2-generator group with defining presentations 〈a,b:b(a3b3)(a2b2)r-2=1〉≅〈u,v:(u2vr-3)2=v(uvr-2)2〉. Furthermore, the combinatorial manifold M(2,k,r,1) is the Seifert fibered space with Seifert invariants (O0o:-1(2,1)(3,1)(2r-1,1)).The knotsK(r,0,1) and K(r,0,β), β≥2.
(a)
(b)Proof.
The first sentence follows from Theorem7 and Theorem  3.7 of [20]. If α=0 and β=1, then the singular set K(r,α,β) is the knot in Figure 7(a). It is equivalent to the Montesinos knot m(0;1/2;2/3;1/(2r-1)), which is just the Montesinos knot of the statement (for more information on Montesinos knots and links see [21], Chapter 12, Section  D). The last statement follows from a well-known theorem of Montesinos (see, e.g., [21], Proposition 12.30).



---

*Source: 549198-2013-05-16.xml*