# The Dual and Mirror Images of the Dunwoody 3-Manifolds

Authors: Soo Hwan Kim; Yangkok Kim
Journal: International Journal of Mathematics and Mathematical Sciences
 (2013)

---

## Abstract

Recently, in 2013, we proved that certain presentations present
the Dunwoody3-manifold groups. Since the Dunwoody 3-manifolds do not have a unique Heegaard diagram, we cannot determine a unique group presentation for the Dunwoody 3-manifolds. It is well known that every (1,1)-knots
in a lens space can be represented by the set 𝒟 of the 4-tuples (a,b,c,r)  (Cattabriga and Mulazzani (2004); S. H. Kim and Y. Kim (2012, 2013)). In particular, to determine a unique Heegaard diagram of the Dunwoody 3-manifolds, we proved the fact that the certain subset of 𝒟 representing all 2-bridge knots of (1,1)-knots is determined completely by using the dual and mirror (1,1)-decompositions (S. H. Kim and Y. Kim (2011)). In this paper, we show how to obtain the dual and mirror images of all elements in 𝒟 as the generalization of some results by Grasselli and Mulazzani (2001); S. H. Kim and Y. Kim (2011).


---

## Body

## 1. Introduction

In the study of the Dunwoody3-manifolds, Heegaard splittings and Heegaard diagrams provide a simple means of understanding the Dunwoody 3-manifolds by changing a 3-dimensional problem into a 2-dimensional problem, for the basic definitions of Heegaard splittings and Heegaard diagrams; see [1, 2]. Even with the help of Heegaard diagrams, because the Dunwoody 3-manifolds do not have a unique Heegaard diagram, generally, the following are still open questions about 3-manifolds: given 3-manifolds M1 and M2, (homeomorphism problem) is M1≅M2? or (isomorphism problem) is π(M1)≃π(M2)? The Dunwoody 3-manifolds have a Heegaard diagram, from which one can obtain presentations for a group; however, not all group presentations arise from Heegaard diagrams of Dunwoody 3-manifolds. The Heegaard diagrams are useful for understanding properties of the Dunwoody 3-manifolds as there is a correspondence between the Heegaard diagrams and the fundamental groups for the Dunwoody 3-manifolds, allowing transformations of a group presentation for the fundamental groups to a simple calculus of the Heegaard diagrams. Thus, transformations of the Heegaard diagrams are corresponding to transformations of a group presentation for the fundamental groups of the Dunwoody 3-manifolds. In [3], we gave some conditions for the answer to the generalized Dunwoody 3-manifolds, constructed by group presentations for the fundamental group. For an answer to the above problems between the Dunwoody 3-manifolds, we consider the dual and mirror images of the Dunwoody 3-manifolds and give the basic definitions about them in the following.Let(V1,V2) be a Heegaard splitting of a 3-manifold M with genus n≥1. A properly embedded disc D in the handlebody V2 is called a meridian disc of V2 if cutting V2 along D yields a handlebody of genus n-1. A collection of n mutually disjoint meridian discs {Di} in V2 is called a complete system of meridian discs of V2 if cutting V2 along ⋃iDi gives a 3-ball. Let αi denote the 1-sphere ∂Di which lies in the closed orientable surface ∂V1=∂V2 of genus n. The system is said to be a Heegaard diagram of the 3-manifold M and denoted by (V1;α1,α2,…,αn). On the other hand, the system (V2;β1,β2,…,βn) is called a dual Heegaard diagram of the 3-manifold M if {Di} is a complete system of n mutually disjoint meridian discs in V1, and βi is the 1-sphere ∂Di which lies in the closed orientable surface ∂V1=∂V2 of genus n. In other words, (V2;β1,β2,…,βn) is the dual Heegaard diagram of (V1;α1,α2,…,αn).For(M,K), we call K and M each (1,1)-knot and lens space, and in this paper, all lens spaces are assumed to include 𝕊3, and 𝕊1×𝕊2. Then, (M,K) admits a (1,1)-decomposition provided that there exists a Heegaard splitting of genus one (V1,K1)⋃ϕ(V2,K2) of (M,K) such that (V1;α1) is a Heegaard diagram of M and K1⊂V1 and K2⊂V2 are properly embedded trivial arcs, where ϕ is an attaching homeomorphism. By the dual (1,1)-decomposition of (M,K) we mean that (V2;β1) is the dual Heegaard diagram of M instead of (V1;α1).In 1995,  Dunwoody introduced the6-tuples yielding a family of genus n Heegaard diagrams of closed orientable 3-manifolds called the Dunwoody 3-manifolds [4]. Moreover, the Dunwoody 3-manifolds are determined by the n-fold strongly cyclic coverings of lens spaces M branched over (1,1)-knots K, defined by the monodromy C:H1(M-K)→ℤn, where ℤn is the cyclic group of order n, n≥2 [3, 5–8]. In fact, such branched sets in the quotient spaces of the Dunwoody 3-manifolds by a cyclic action of order n are representing the (1,1)-knots in lens spaces (possibly the 3-sphere) [7, 9], and some classes of such knots represented by the Dunwoody 3-manifolds contain all (1,1)-knots in 𝕊3 [6].Now, in view of(1,1)-knot K, the Dunwoody (1,1)-decomposition of (M,K) determined by two permutations α and β and 4-tuples (a,b,c,r) of integers as follows
(1)𝒟={d=2a+b+c,r∈ℤd,|βα|=2(a,b,c,r)∣a>0,b≥0,c≥0,d=2a+b+c,r∈ℤd,|βα|=2}
was introduced in [3, 8, 10] (see Figure 1), where each cycle of α corresponds to the end points of line segments in the Heegaard diagram as in Figure 1, and each cycle of β corresponds to a pair of end points which is identified in forming the handlebody V1. For each (a,b,c,r)∈𝒟, we denote the Dunwoody (1,1)-decomposition of (M,K) by D(a,b,c,r) and the Dunwoody (1,1)-knot K, represented from D(a,b,c,r), by K(a,b,c,r). Note that for each point x on m+, the simple closed curve l1 on D(a,b,c,r) is determined by the repeated applications of α and β as follows:
(*)x,α(x),βα(x),αβα(x),…,αβ⋯α(x),
which forms exactly an orbit of βα [8]. It is well known that all (1,1)-knots in 𝕊3 are to be the Dunwoody (1,1)-knots, but the representation of (1,1)-knots by 4-tuples (a,b,c,r) is not unique. For example, K(1,3,4,7) and K(2,1,4,4) represent the pretzel knot P(-2,3,7) as a (1,1)-knot. However all types of the Dunwoody (1,1)-decompositions representing all 2-bridge knots were determined completely in [7, 10], and moreover, the types of the Dunwoody (1,1)-decompositions representing the certain class of torus knots are given in [6, 11, 12]. For each n≥2, the 6-tuples (n,a,b,c,r,s) satisfying conditions ps+q≡0modn and (a,b,c,r)∈𝒟 induce the Dunwoody 3-manifolds, denoted by Dn(a,b,c,r,s), as closed orientable 3-manifolds, where s, p, and q are some integers defined in [4, 8]. Thus, the Dunwoody 3-manifold Dn(a,b,c,r,s) is the n-fold strongly cyclic covering space of a lens space M branched over the Dunwoody (1,1) knot K(a,b,c,r).Figure 1
The Dunwoody(1,1)-decomposition D(a,b,c,r).The Dunwoody3-manifolds play an important role in determining which cyclically presented group corresponds to a 3-manifold; see [13, 14]. Indeed, in order to study a 3-manifold with some particular group as the fundamental group, the Dunwoody 3-manifolds have a Heegaard diagram from which one can obtain a presentation for the group. Thus, to find the Dunwoody 3-manifolds, one must seek a cyclically presented group associated with a 3-manifold. Furthermore, as in [15], the branched covering spaces of the spatial Θ-curves containing (1,1)-knots as the constituent knots are related to the Dunwoody 3-manifolds. Therefore, the concept of the Dunwoody 3-manifolds is important in knots, branched coverings, and graph theories. Moreover, recent manuscripts of the Dunwoody 3-manifolds can be found in [3, 8, 10, 12, 16–19].Moreover, the(1,1)-decompositions obtained from the Dunwoody 3-manifolds are very useful for transformations of the Heegaard diagrams. In this paper, we denote the dual decomposition of D(a,b,c,r) by D′(a,b,c,r) or D(a′,b′,c′,r′), which has the Heegaard diagram (V2,β1) of (V2,K2), and the mirror decomposition of D(a,b,c,r) by D*(a,b,c,r) or D(a*,b*,c*,r*). The Dunwoody 3-manifolds obtained from the dual and mirror decompositions of D(a,b,c,r) are called the dual and mirror images of the Dunwoody 3-manifold Dn(a,b,c,r,s), respectively, where s∈ℤ. For a specific example, see [10].In Section2, we show that the defined regions in the Dunwoody (1,1)-decompositions are divided by inessential and essential subregions. Moreover, we show that the regions in the Dunwoody (1,1)-decompositions representing all lens spaces containing 𝕊2×𝕊1 are connected. In Section 3, we introduce an algorithm to obtain D′(a,b,c,r) from D(a,b,c,r) by using matrices related to the certain sequences of D(a,b,c,r). Moreover, we introduce an algorithm to obtain the mirror (1,1)-decomposition D*(a,b,c,r) as the mirror image of D(a,b,c,r) under an orientation-reversing autohomeomorphism by using matrices. Thus, our results generalize some results in [7, 10], classifing the types of the Dunwoody (1,1)-decompositions representing 2-bridge knots.


## 2. On the Regions ofD(a,b,c,r)

We assume thatl1 is the simple closed curve of D(a,b,c,r), and that R=cl(∂V1-l1) is the region of D(a,b,c,r). Then, R=cl(∂V1-l1) is a disconnected region if l1 is the inessential loop in the surface ∂V1, and otherwise, R=cl(∂V1-l1) is a connected region. Therefore, there are three kinds of loops on the ∂V1: (1)l1 is the inessential loop, (2)l1 is the meridian loop, and (3)l1 is the loop that is isotopic to torus knot. In case of (1), M is denoted by L(0,0); of (2), M is homeomorphic to 𝕊2×𝕊1 and denoted L(0,1); and of (3), it is homeomorphic to the lens space or the 3-sphere and denoted by L(|p|,*), where p is the integer defined in [4]. In fact, M is homeomorphic to the 3-sphere if and only if R is connected and |p|=1.LetD(a,b,c,r) be the Dunwoody (1,1)-decomposition of (M,K)=(V1,K1)⋃ϕ(V2,K2). Since |βα|=2, the number of simple closed curves on ∂V1 is one, denoted by L=1, and thus, M is to be a lens space [3]. Since d and p have the same parity, the Dunwoody (1,1)-decomposition D(a,b,c,r) with even d=2a+b+c is representing the lens space containing 𝕊2×𝕊1 (for p=0), but it is not representing 3-sphere even if R is connected; see Corollary  3.6 in [3]. For example, the region R of D(1,0,0,2) with p=0 and q=0 is disconnected and both D(1,0,0,1) and D(1,1,1,2) with p=0 have a connected region and represent 𝕊2×𝕊1.Lemma 1.
If the regionR is disconnected, both d=2a+b+c and r of D(a,b,c,r) have even numbers.Proof.
The Dunwoody(1,1)-decomposition D(a,b,c,r) with disconnected R is obtained from D(1,0,0,2) by isotopic moves of inessential loop l1 on ∂V1. Thus, d=2a+b+c and r are the result of an increase by an even number from d=2 and r=2 of D(1,0,0,2). Thus, both d=2a+b+c and r of D(a,b,c,r) have even numbers.Recall that each cycle ofα corresponds to the end points of line segments in the Heegaard diagram as in Figure 1 and each cycle of β corresponds to a pair of end points which is identified with m+ and m-. In Figure 1, we consider a cyclic sequence m→ on m+ with starting point 1 and a cyclic sequence l→ of points with starting point d that l1 and m+ cross by repeated applications of α and β as follows:
(2)m→:1⟶2⟶⋯⟶r⟶r+1⋯⟶d-1⟶d⟶,l→:d⟶⋯⟶r+1⟶r⟶⋯⟶1⟶,d⟶⋯⟶r⟶r+1⟶⋯⟶1⟶.A subregion ofR is said to be inessential in ∂V1 if the subregion is bounded by r→r+1 of m→ and r→r+1 of  l→ as Figure 2, and otherwise, the subregion is said to be essential in ∂V1.Figure 2
The inessential subregion.Theorem 2.
LetR be the region of D(a,b,c,r). Then, R has the inessential subregion if and only if R is disconnected.Proof.
Suppose that the regionR of D(a,b,c,r) has the inessential subregion. Then, the simple closed curve l1 is isotopic to an inessential loop on ∂V1. By Lemma 1, R is disconnected. Now assume that the region R of D(a,b,c,r) is disconnected. By Lemma 1, d and r are even numbers which are obtained by increasing as even numbers from d=2 and r=2 of D(1,0,0,2). Thus, R has the inessential subregion.Corollary 3.
LetR be the region of D(a,b,c,r). Then, R has the essential subregion if and only if R is connected.Corollary 4.
Letp and q be the integers defined in [4] and R the region of D(a,b,c,r). If R is a disconnected region, then both p and q are equal to zero.For counterexample, the region ofD(3,2,6,7) has p=0 and q=0, but it has no inessential subregion; that is, it is the connected region.Therefore, we have the partition of the Dunwoody(1,1)-decompositions as the following diagram in Figure 3. In Figure 3, A is a set of the Dunwoody (1,1)-decompositions having a disconnected region, A∪B is a set of the Dunwoody (1,1)-decompositions satisfying p=0 and q=0, and B∪C is a set of the Dunwoody (1,1)-decompositions having a connected region. Note that D(1,6,4,2), D(3,2,6,7), and D(2,3,3,2) are examples for A, B, and C, respectively.Figure 3
The partition of the Dunwoody(1,1)-decompositions.In the remainder of this paper, we work in the connected regionR unless otherwise specified. In the connected region R, we assume two cyclic sequences m→ and l→ as follows:
(**)m→:1⟶2⟶⋯⟶r⟶r+1⋯⟶d-1⟶d⟶,l→:d⟶⋯⟶r+1⟶r⟶⋯⟶1⟶.


## 3. The Dual and Mirror Images ofD(a,b,c,r)

We introduce an algorithm to obtain(V2;β1) from (V1;α1) as follows. Let D(a,b,c,r) be the Dunwoody (1,1)-decomposition of (M,K)=(V1,K1)⋃ϕ(V2,K2). Suppose that D(a,b,c,r) is the (1,1)-decomposition in view of (V1,K1) as Figure 1 and that Du(a,b,c,r)=D(a′,b′,c′,r′) is the dual decomposition in view of (V2,K2). Let m and l1 be the meridian disk and the oriented simple closed curve on D(a,b,c,r). Then, it is understood easily from the attaching homeomorphism ϕ that the images of l1 and m on D(a,b,c,r) are defined as the meridian curve m′ and the oriented simple closed curve l1′ on D(a′,b′,c′,r′), respectively.We consider a cyclic sequencem→ on m+ with starting point 1 and a cyclic sequence l→ of points with starting point d—l1 and m+ cross by repeated applications of two permutations α and β defined in [3, 8, 10] as (**). Let X+={1,2,…,d} and X-={-1,-2,…,-d} be sets of d vertices in m+ and m- (see Figure 1), respectively. For each x∈X+, let x-1→x→x+1 be a consecutive 3-series in m→ and y1→x→y2 a consequence 3-series in l→. Then, x has two 2×1 matrices such that if x is the beginning point of a curve corresponding to α (resp., β); then, we define x-1 (resp., y1) as (1,1)-entries in 2×1 matrix and x+1 (resp., y2) as (2,1)-entries, and otherwise (i.e., x is the final point), we define x-1 (resp., y1) as (2,1)-entries and x+1 (resp., y2) as (1,1)-entries; see Figure 4 for each of (1) and (2). In fact, for each point x, in case of (1), two permutations α and β induce 2×1 matrices denoted by
(3)xα[x-1x+1]xβ[y2y1],
and in case of (2), two permutations α and β induce
(4)xα[x+1x-1]xβ[y1y2].
In particular, 1 has 2×1 matrix such that d and 2 are (1,1)-entries and (2,1)-entries, respectively, and d has 2×1 matrix such that d-1 and 1 are (2,1)-entries and (1,1)-entries, respectively. The 2×1 matrices are denoted by
(5)1α[d2]dα[1d-1].
Therefore, we have 2×d matrix Mm corresponding to a cyclic sequence m→ along α as follows:
(6)1⋯x⋯dMm=[d⋯x-1⋯12⋯x+1⋯d-1],Mm=1⋯x⋯d[d⋯x+1⋯12⋯x-1⋯d-1].Figure 4
x
-
1
→
x
→
x
+
1 and y1→x→y2 for each x∈X+.Considering a sequencel→ and β, r+1 has 2×1 matrix such that r is (2,1)-entries, and r has 2×1 matrix such that r+1 is (2,1)-entries. Therefore, we have 2×d matrix Ml corresponding to β for a cyclic sequence l→ as follows:
(7)Ml=d⋯r+1r⋯y⋯1[1⋯**⋯y1⋯d*⋯rr+1⋯y2⋯*],Ml=d⋯r+1r⋯y⋯1[1⋯**⋯y2⋯d*⋯rr+1⋯y1⋯*].Theorem 5.
LetD(a,b,c,r) be the Dunwoody (1,1)-decomposition and d=2a+b+c. Then, there exist two 2×d matrices Mm and Ml such that(1)
the number of2×2 submatrices yy′[y′y**] and yy′[**y′y] in Ml corresponding to consecutive 2-series y→y′ of l→ is equal to 2a,(2)
letx=r-a be a point of l meeting m- and y1→x→y2 consecutive 3-series in l→; then, b=y2-a if x[y1y2], and otherwise, b=y1-a,(3)
c=d-2a-b.Proof.
(
1
) Let Mm and Ml be 2×d matrices corresponding to m→ and l along α and β, respectively. Then, 2×2 submatrices yy′[y′y**] and yy′[**y′y] of Ml are representing a curves of l meeting m+ and m-. Thus, the number of such submatrices of Ml is 2a.
(
2
) Given r and a, the point x=r-a in m- is corresponding to the point a+b in m+ by α. If the corresponding submatrix is x[y1a+b], then y1→x→a+b and x is the beginning point of β. If the corresponding submatrix is x[y2a+b], then a+b→x→y2, and x is the terminal point of β. These are determined by an orientation of the curve l. For each of the cases, a+b is the point in m+, so (a+b)-a means the number of curves of l meeting m+.
(
3
) It is proved from the fact that d=2a+b+c.Letm and l be the meridian disk and the oriented simple closed curve on D(a,b,c,r) corresponding to (V1;α1), respectively. Then, ϕ(l) and ϕ(m) are the meridian disk and the orientable closed curve on Du(a,b,c,r) corresponding to (V2;β1), respectively, where ϕ is an attaching homeomorphism for the (1,1)-decomposition (V1,K1)⋃ϕ(V2,K2). We obtain D(a′,b′,c′,r′) from D(a,b,c,r) by the following facts and the properties of Theorem 5.By the definition of the dual process, the role of{m,l} will be changed into {ϕ(m)=l′,ϕ(l)=m′} on Du(a,b,c,r). Thus, we obtain two cyclic sequences m′→ and l′→ from l→ and m→, respectively, for Du(a,b,c,r) as in the following:
(8)m′→:d⟶⋯⟶r+1⟶r⟶⋯⟶1⟶,l′→:1⟶2⟶⋯⟶r⟶r+1⋯⟶d-1⟶d⟶.Moreover, two matricesMm′ and Ml′ for m′→ and l′→ can be obtained from Ml and Mm, respectively. If 1 in m→, in the bigon bounded by (1,d), is a starting point in D(a,b,c,r), then d in m′→ will be starting point in Du(a,b,c,r). Moreover, the number r′ is equal to the number situated on r+1 after converting d on the sequence m′→ to 1. Thus, we can rearrange terms of m′→ and l′→ as follows.(1)
We replace each term ofm′→ with terms of an arithmetic sequence with first item 1, common difference 1, and final term d and denote it by m′′→.(2)
Furthermore, we rearrange terms ofl′→, Mm′, and Ml′ by new terms along the rule of (1) and denote each of them by l′′→, Mm′′ and Ml′′.(3)
r′th term of m′′→ will be the number r+1 of m′→.The following corollary follows from the properties of Theorem5.Corollary 6.
LetD(a,b,c,r) be the Dunwoody (1,1)-decomposition and d=2a+b+c. Then, the dual (1,1)-decomposition of D(a,b,c,r) and D(a′,b′,c′,r′) is obtained by the following: (1)
the number of2×2 submatrices yy′[y′y**] or yy′[**y′y] in Ml′′ corresponding to consecutive 2-series y→y′ of l′′→ is equal to 2a′;(2)
letx=r′-a′ and y1→x→y2 consecutive 3-series in l′′→. Then, b′=y2-a′ if x[y1y2] and otherwise b′=y1-a′;(3)
c′=d-2a′-b′.On the contrary, one can obtain D(a,b,c,r) from D(a′,b′,c′,r′) by the dual process of the above.We denote byD*(a,b,c,r)=D(a*,b*,c*,r*) the mirror image of D(a,b,c,r) under an orientation-reversing autohomeomorphism g, where we orient D*(a,b,c,r) with orientation induced from D(a,b,c,r) by g. Then, the orientations of l, m+, and m- may be changed the other way in D(a*,b*,c*,r*), and so the role of 1 in m+ will be changed into -1 in m-. Considering a cyclic sequence m← on m- with starting point -1 and a cyclic sequence l← of points with starting point -d; then, l* and m- cross by repeated applications of α and β of (*) as follows
(9)m←:-1⟶⋯⟶-r⟶-(r+1)⟶⋯⟶-d⟶l←:-d⟶⋯⟶-(r+1)⟶-r⟶⋯⟶-1⟶.
By definition of β, it is equivalent to
(10)m*←:β(r+1)⟶⋯⟶β(d)⟶β(1)⟶⋯⟶β(r)⟶l*←:β(r)⟶⋯⟶β(1)⟶β(d)⟶⋯⟶β(r+1)⟶.
Putting β(r+1)=1 as a starting point in m*←, we can easily find r* such that r*=β(d)=d-r.Corollary 7.
LetD(a,b,c,r) be the Dunwoody (1,1)-decomposition and d=2a+b+c. Then, the mirror image of D(a,b,c,r) is D(a,c,b,d-r), which is obtained from the corresponding matrices as follows:
(11)Mm*=r+1⋯d1⋯r[r⋯d-12⋯r+1r+2⋯1d⋯r-1],Ml*=r⋯1d⋯r+1[r+1⋯**⋯r*⋯d1⋯*],
where a*=a, b*=c, and c*=b.Remark that another proof which represents the mirror image was obtained in [17]. Here, we give the canonical examples in the following.Example 8.
LetD(1,1,6,6) be the Dunwoody (1,1)-decomposition, in fact, it is representing the torus knot T(3,7) in 𝕊3. Then, the following are cyclic sequences corresponding to m and l, respectively, for D(1,1,6,6):
(12)m→:1⟶2⟶3⟶4⟶5⟶6⟶7⟶8⟶9⟶,l→:9⟶4⟶8⟶3⟶7⟶6⟶2⟶5⟶1⟶.
If we replace l→ and m→ with m′→ and l′→, respectively, then
(13)m′→:9⟶4⟶8⟶3⟶7⟶6⟶2⟶5⟶1⟶,l′→:1⟶2⟶3⟶4⟶5⟶6⟶7⟶8⟶9⟶
are cyclic sequences for Du(1,1,6,6). Replacing 9 by 1 as a starting point in m′→, we can rearrange m′→ and l′→ as follows:
(14)m′′→:1⟶2⟶3⟶4⟶5⟶6⟶7⟶8⟶9⟶,l′′→:9⟶7⟶4⟶2⟶8⟶6⟶5⟶3⟶1⟶.
The corresponding matrices of them are
(15)Mm′′=123456789[912347891234565678],Ml′′=974286531[192828319747465653].
Since Ml′′ has the four submatrices as follows:
(16)19[9137],28[8246],74[9247],65[8356],
we have a′=2 by Corollary 6. The following is a result of Corollary 6. Since 7 of m′→ corresponds to 5 of m′′→; thus, r′=5. From a′=2 and r′=5, we have x=5-2=3. For 5→3→1 in Ml′′, we have 3[15], so b′=5-2=3. Thus, c′=2, and we have Du(1,1,6,6)=D(2,3,2,5).Example 9.
To obtain the mirror image ofD(1,1,6,6), we consider two cyclic sequences
(17)m*←:7⟶8⟶9⟶1⟶2⟶3⟶4⟶5⟶6⟶,l*←:6⟶2⟶5⟶1⟶9⟶4⟶8⟶3⟶7⟶,
which are images of β of cyclic sequences m← and l← for crossing of m- and l*, where each number x in cyclic sequences is equal to β(x). Then, the corresponding matrices of m*← and l*← are
(18)Mm*=789123456[678232367891914545],Ml*=625194837[762548376251919483].
If we replace 7 with 1 in order to rearrange follows
(19)Mm*=123456789[912565691234347878],Ml*=958437261[195872619584343726],
then 9 is to be 3, and so r*=3; that is, r*=β(9). Using (1), (2), and (3) of Corollary 6 for Mm* and Ml*, we can determine that a*=1, b*=6, and c*=1; that is, D*(1,1,6,6)=D(1,6,1,3).Remark 10.
As the same problem forD(3,1,2,4), we have Du(3,1,2,4)=D(1,3,4,7) and D*(3,1,2,4)=D(3,2,1,5).Summarizing, we have the following.Corollary 11.
For any(1,1)-knot K in the lens space, the Dunwoody (1,1)-decompositions for K commute as follows:
(20)D(a,b,c,r)⟷D(a′,b′,c′,r′)↕↕D(a,c,b,d-r)⟷D(a′,c′,b′,d-r′)0000D(a,c,b,d-r)orDu(a,c,b,d-r).
Moreover, the Dunwoody3-manifolds obtained from the Dunwoody (1,1)-decompositions commute, for some s∈ℤ,
(21)Dn(a,b,c,r,s)⟷Dn(a′,b′,c′,r′,s′)↕↕Dn(a,c,b,(d-r),(-s-1))⟷Dn(a′,c′,b′,d-r′,(-s-1)′),
where n≥1.Lastly, we consider two presentations to be equivalent if they differ by an isomorphic. Then, the isomorphism problem is hard because the map from the presentation to the Heegaard diagram is not one-to-one. So the isomorphism problem is obviously not solvable, but we can determine that at least four presentations in Corollary11 are equivalent; that is, they are group presentations of the fundamental group for a closed orientable 3-manifold. Moreover, results in this paper show that there are at least four Dunwoody (1,1)-decompositions representing a given (1,1)-knot. Table 1 shows the Dunwoody (1,1)-decompositions and their dual decompositions of (1,1)-knots in 𝕊3 by d≤9, and b(·,·), t(·,·), p(·,·,·), and {820,942} means a 2-bridge knot, a torus knot, a pretzel knot, and knots classified by Rolfsen table, respectively. The last column in Table 1 represents a 3-bridge knot induced by the standard involution on D2(a,b,c,r,s) for some s∈ℤ [15].Table 1
D
(
a
,
b
,
c
,
r
) and D(a′,b′,c′,r′).
d
D
(
a
,
b
,
c
,
r
)
D
(
a
′
,
b
′
,
c
′
,
r
′
)
(
1,1
)-knot
D
2
(
a
,
b
,
c
,
r
)
3
(
1,0
,
1,1
)
(
1,0
,
1,2
)
b
(
3,1
)
b
(
3,1
)
5
(
1,0
,
3,2
)
(
2,0
,
1,2
)
b
(
5,1
)
b
(
5,1
)
5
(
1,1
,
2,2
)
(
1,2
,
1,3
)
t
(
3,4
)
t
(
3,4
)
5
(
2,0
,
1,1
)
(
2,0
,
1,4
)
t
(
5,2
)
t
(
5,2
)
7
(
1,0
,
5,5
)
(
3,0
,
1,4
)
b
(
7,1
)
b
(
7,1
)
7
(
1,1
,
4,5
)
(
2,1
,
2,3
)
t
(
3,5
)
t
(
3,5
)
7
(
1,2
,
3,3
)
(
1,3
,
2,4
)
t
(
4,5
)
p
(
-
2,5
,
5
)
7
(
2,0
,
3,4
)
(
3,0
,
1,5
)
b
(
7,2
)
b
(
7,2
)
7
(
3,0
,
1,1
)
(
3,0
,
1,6
)
b
(
7,3
)
b
(
7,3
)
9
(
1,0
,
7,2
)
(
4,0
,
1,4
)
b
(
9,1
)
b
(
9,1
)
9
(
1,1
,
6,6
)
(
2,3
,
2,5
)
t
(
3,7
)
p
(
-
2,3
,
7
)
9
(
1,3
,
4,7
)
(
3,1
,
2,4
)
p
(
-
2,3
,
7
)
p
(
-
2,3
,
7
)
9
(
2,1
,
4,4
)
(
2,1
,
4,6
)
p
(
-
2,3
,
7
)
t
(
3,7
)
9
(
1,3
,
4,4
)
(
1,4
,
3,5
)
t
(
5,6
)
p
(
-
2,5
,
5
)
9
(
2,0
,
5,4
)
(
4,0
,
1,2
)
b
(
9,2
)
b
(
9,2
)
9
(
4,0
,
1,1
)
(
4,0
,
1,8
)
b
(
9,4
)
b
(
9,4
)
9
(
2,2
,
3,5
)
(
3,1
,
2,2
)
9
42
9
42
9
(
3,0
,
3,5
)
(
3,0
,
3,7
)
8
20
8
20



---

*Source: 103209-2013-09-18.xml*