arxiv: v6 [math.gt] 8 May 2017

Transcription

1 RECTANGLE CONDITION AND ITS APPLICATIONS BO-HYUN KWON arxiv: v6 [math.gt] 8 May 07 Abstract. In this paper, we define the rectangle condition on the bridge sphere for a n-bridge decomposition of a knot whose definition is analogous to the definition of the rectangle condition for Heegaard splittings of -manifolds. We show that the satisfaction of the rectangle condition for a n-bridge decomposition can guarantee that the Hempel distance for the n-bridge decomposition is greater than or equal to. In particular, we give an interesting family of alternating -bridge knots by using the rectangle condition and a modified train track argument.. Introduction Casson and Gordon [] introduced the rectangle condition on Heegaard surfaces to show strong irreducibility of Heegaard splittings of -manifolds. A Heegaard splitting V S W is strongly irreducible if for any pair of essential disks D ( V ) and D ( W ), D meets D in S = V W. In other words, the Hempel distance of the Heegaard splitting is greater than or equal to two. We consider the Heegaard surface S as the branched double covering of a n-punctured sphere, denoted by Σ 0,n. Then the natural question is if there is a similar criterion for n-bridge decompositions of a knot to check whether or not the Hempel distance is greater than or equal to two. Currently, K. Takao [] defined the well-mixed condition for a n-bridge decomposition of a knot which is a variation of the rectangle condition and the satisfaction of the condition guarantees the Hempel distance to be at least two. In this paper, we define the rectangle condition on the bridge sphere for a n-bridge decomposition of a knot based on the classical definition and show that the Hempel distance is greater than or equal to two if two pants decompositions related to the n-bridge decomposition satisfy the rectangle condition. To check the satisfaction of the well-mixed condition, two pants decompositions obtained from the definition need adjacent subarcs in a conditional diagram on Σ 0,n. The adjacent subarcs come from different simple arcs connecting two punctures in Σ 0,n. The adjacent subarcs are possibly not parallel sides of a rectangle. Actually, the well-mixed condition needs more conditions to be checked than the conditions for the rectangle condition we define. For example, the well-mixed condition needs 8 conditions to be checked for a -bridge decomposition of a knot but the rectangle condition needs 9 conditions(rectangles) for one. So, the obvious advantage of the rectangle condition would be less conditions to be checked. However, the parallel sides of each rectangle for the rectangle condition are usually longer than the adjacent arcs for well-mixed condition in Σ 0,n. In other words, there are more obstacles to have rectangles than adjacent arcs. So, it is hard to say that the rectangle condition is a better criterion than the well-mixed condition. Moreover, we use the same technique to prove the main result, Proposition.. In order to give another effectiveness of the rectangle condition I would give an algorithm to check whether or not two pants decompositions on the bridge sphere for a given n-bridge decomposition of Date: April 5, 07.

2 BO-HYUN KWON a knot satisfy the rectangle condition in Section 5. The figure 4 is a diagram that satisfies the rectangle condition but not the well-mixed condition. Hempel distance is a measurement of complexity for Heegaard splittings of -manifolds [5]. Bachman and Schleimer [] transfered the definition from Heegaard surfaces to n-bridge spheres to compute the complexity of n-bridge decompositions. Actually, Hempel distance for n-bridge decompositions of knots in bridge sphere is one of nice tools to detect nonperturbed knots which are in n-bridge position. We show that if a knot K satisfies the rectangle condition for n-bridge decomposition (T, T ; S ) of K then the Hempel distance for the n-bridge decomposition is greater than or equal to in Section. This implies that if K satisfies the rectangle condition on the n-bridge sphere of a n-bridge decomposition of K then K is not perturbed. Especially, Otal [8] showed that any n-bridge presentation of any - bridge knot is perturbed for n >. If K has a -bridge presentation but the -bridge sphere of a -bridge decomposition does not allow any perturbation then K is -bridge knot. Therefore, for a knot K having -bridge decomposition (T, T ; S ), if d(t, T ) then K is a -bridge knot. Coward [] gave a theoretical method to calculate the bridge number of hyperbolic knots. However, we hardly even know how to find the bridge numbers of alternating knots having a -bridge presentation. Especially, we wonder whether or not a knot K having a reduced alternating -bridge presentation is a -bridge knot if the presentation is obtained from a reduced alternating presentation of a -bridge knot K by adding more crossings without violating the alternating condition. We conjecture that they are all -bridge knots. In order to support our conjecture, we investigate the following families. In Section 6, we construct special families of alternating -bridge links N(EAT k+ ) and D(EAT k+ ). Then, we show that they are -bridge links if k by using the Hexagon parameterization and a modified train track diagrams based on the Rectangle condition. Since the number of crossings of a reduced alternating knot diagram is the minimal number of crossings of the knot, we know that each family has an infinitely many elements.. n-bridge decompositions and Hempel distance Suppose L is a link in S and S is a -sphere which divides S into two -balls B and B. Assume that L intersects S transversely. Let τ i = L B i = α i α i α in, where α ij are the components of L B i. We note that (S, L) is decomposed into T := (B, τ ) and T := (B, τ ) by S. The triple (T, T ; S ) is called an n-bridge decomposition of L if each T i is a rational n-tangle. T i is said to be rational if there exists a homeomorphism of pairs H : (B, τ i ) (D I, {p, p,, p n } I), where I = [0, ]. Also, we say that L is in n-bridge position with respect to S if L has a n-bridge decomposition (T, T ; S ). Then consider the projection of L onto the xy-plane so that the projection of S is a horizontal line and the projection of L has n maxima and n minima. Then we say that the diagram is n-bridge presentation of L. Let Σ 0,n = S L. Then we say that a simple closed curve on Σ 0,n is essential if neither it bounds a disk nor it is boundary parallel to a puncture. Also, we say that D is an essential disk of T i if D B i τ i and D is essential in Σ 0,n. The essential simple closed curves on Σ 0,n form a -complex C(Σ 0,n ) which is called the curve complex of Σ 0,n. If n >, the vertices of C(Σ 0,n ) are the isotopy classes of essential simple closed curves on Σ 0,n and a pair of vertices spans an edge of C(Σ 0,n ) if the corresponding isotopy classes can be realized

3 RECTANGLE CONDITION AND ITS APPLICATIONS as disjoint curves. We define that d([ D ], [ D ]) is the minimal distance between [ D ] and [ D ] measured in C(Σ 0,n ) with the path metric. Bachman and Schleimer [] defined the Hempel distance (or just the distance) of (T, T ; S ) is defined by d(t, T ) := min{d([ D ], [ D ]) D i is an essential disk of T i for i =, }. We note that the distance d(t, T ) is a finite non-negative integer since the curve complex is connected. Now, consider a disk Fi k in the ball B i for k n so that (Fi k ) Bi τ i and Fi k = α ik β k, where β k is a simple arc between the two endpoints of α ik in B i. The disk Fi k is called a bridge disk. Then let {Fi, Fi,..., Fi n } be a collection of bridge disks for T i if Fi k are pairwise disjoint. We note that there exist such disks since T i are rational -tangles. Let {D, D,..., D n } be a maximal collection of pairwise disjoint, non-isotopic essential disks in B τ. This is called a collection of cut disks. Similarly, we have a collection of cut disks {D, D,..., D n } for T. We note that there exists a collection of cut disks {D i, D i..., D i n } for T i so that ( n j= D ij) ( n j=f j i ) = for i =,. Suppose L is in n-bridge position with respect to S for n. If there exist essential disks D and D of T and T respectively such that D i are cut disks and [ D ] = [ D ], then L is separated by the sphere into an m-bridge sublink and an (n m)-bridge sublink of L. We note that 0 < m < n since D i is an essential disk in B τ i. So, if L is a knot then there are no such disks D and D. Let K be a knot which is in n-bridge position with respect to a sphere P. Suppose there is a pair of bridge disks E B and E B so that the arcs E P and E P intersect precisely at one end. Then K is said to be perturbed with respect to P (and vice verse), and E, E are called cancelling disks for K. We note that if there are cancelling disks for K then we can construct collections of cut disks so that d(t, T ) = as in the proof of Lemma.. Lemma. (Ozawa, Takao [9]). Suppose that a knot K (n > ) in n-bridge position has Hempel distance greater than equal to. Then K is not perturbed with respect to the bridge sphere S.. Rectangle condition on the n-bridge sphere for a n-bridge decomposition of a knot A n-tangle is the disjoint union of n properly embedded arcs in the unit -ball; the embedding must send the endpoints of the arcs to n marked (fixed) points on the ball s boundary. Without loss of generality, consider the marked points on the -ball boundary to lie on a great circle C (or a horizontal line L). The tangle can be arranged to be in general position with respect to the projection onto the flat disk or the upper plane in the xy-plane bounded by C (or L). The projection then gives us a tangle diagram T D, where we make note of over and undercrossings as with knot diagrams. Recall that a n-tangle α α α n in a -ball B, denoted by T := (B, α = α α α n ), is rational if there exists a homeomorphism of pairs H : (B, α α α n ) (D I, {p, p,..., p n } I), where I = [0, ]. Now, let K be a knot which has a n-bridge decomposition (T, T, P ). Then, let {D, D,..., D n } and {D, D,..., D n } be maximal collections of cut disks for T and T respectively. Recall that there exists a collection of bridge disks {Fi,..., Fi n } for T i so that ( n j=f j i ) ( n j= D ij) = for i =,. For instance, {E, E, E } is a maximal collection of

4 4 BO-HYUN KWON essential cut disks for the trivial rational -tangle ɛ as in Figure, where trivial means that the projection of the tangle on xy-plane has no crossing. Consider a cut disk D in T i which may intersect with n p= D ip. We need to assume that D intersects p= n D ip transversely and minimally. A subarc α(d) of D cut by n p= D ip is a wave for the cut disk D in T i if there exists an outermost arc β in D ( n p= D ip ) and a corresponding outermost disk of D with = α(d) β. E E E ε ε ε P γ γ γ Figure. Lemma.. Suppose that {D,..., D n } is a maximal collection of cut disks for a rational tangle τ and D is an essential disk in T. Then if D is not isotopic to any D i for i =,,..., n then D contains a wave. Proof. If D is not isotopic to any D j and D ( n i= D i) = then D is not essential since {D,..., D n } is a maximal collection of cut disks. Therefore, D ( n i= D i). Then by taking an outermost arc of them we have a wave α(d) since D intersects n i= D i minimally. Suppose that {D,..., D n } be a maximal collection of cut disks for a rational tangle τ. A cut disk D is essential if D cuts Σ 0,n into a -punctured disk and (n )-punctured disk. Then there is a maximal collection of essential cut disks D = {D,..., D n } {D, D,..., D n }. Then they cut Σ 0,n into n -punctured disks and a planer surface S D with n boundary components. We may assume that the collection of essential cut disks {D,..., D n } are the first n elements of the maximal collection of cut disks {D,..., D n, D n+,..., D n }. Then S D has a pants decomposition with n pairs of pants. Suppose that P and Q are pairs of pants of the pants decompostions of S D and S D respectively, where D is a maximal collection of essential cut disks for a rational n-tangle τ. We assume that P and Q intersect transversely and minimally. Then we say that the pairs of pants P and Q are tight if for each 4-tuple of nine combinations as below there is a rectangle R embedded in P and Q such that the interior of R is disjoint from P Q and the four edges of R are subarcs of the 4-tuple, where {a, b, c } and {a, b, c } are the three boundary components of P and Q respectively. (a, b, a, b ) (a, b, a, c ) (a, b, b, c ) (a, c, a, b ) (a, c, a, c ) (a, c, b, c ) (b, c, a, b ) (b, c, a, c ) (b, c, b, c ) Now, I would like to define the rectangle condition for bridge spheres with an analogous definition to the rectangle condition for Heegaard surfaces. For two pants decompositions n i= P i and n j= Q j of S D and S D for T and T respectively. Then we say that n i= P i and n j= Q j satisfy the rectangle condition if all the non-essential pairs of pants P i and Q j

5 RECTANGLE CONDITION AND ITS APPLICATIONS 5 are tight for i, j n. Then the following proposition is the main result about the rectangle condition. Proposition.. Suppose n i= P i and n j= Q j are two pants decompositions of S D and S D for T and T respectively. If n i= P i and n j= Q j satisfy the rectangle condition, then the Hempel distance d(t, T ). Proof. Suppose n i= P i and n j= Q j are two pants decompositions of S D and S D for T and T respectively. Let D i,..., D i n be the disjoint, non-isotopic disks in B i τ i so that n j= D ij = n j= P j. Suppose that d(t, T ) <. Then we have d(t, T ) = since K is a knot. So, there exist essential disks D and D in B τ and B τ respectively so that D D = and [ D ] [ D ]. We assume that D i meets n j= P j transversely and minimally if they intersect. First, assume that D ( n j= D j) =. Then we note that D is isotopic to a boundary of P i. Otherwise, we should have more than n pairs of pants for T. Then, we isotope D so that D P k for some k {,,..., n } without changing the condition of disjointness with D. Let a k be the boundary component of P k which is isotopic to D without loss of generality. Then we note that there is no path to connect a k and b k, and a k and c k in S D without meeting D, where b k and c k are the other boundary components of P k. Then there are two subcases for D as follows. If D is isotopic to one of Q j then D should meet D to satisfy the rectangle condition. This contradicts the condition that D D =. If D is isotopic to none of Q j then D has a wave α(d ) by Lemma.. We note that the interior of α(d ) does not intersect with n j= Q j and the two endpoints of α(d ) are in the same component of Q m for some m {,,..., n }. Let a m be the boundary component of Q m which meets α(d ). We note that α(d ) a m separates ( n j= Q j) a m into two non-empty sets of boundary components since D is an essential disk in B τ. Especially, there is a pair of pants Q l so that the boundary components of Q l are separated by α(d ) a m since Σ 0,n is connected. Let a l and b l be two components of Q l which are separated by α(d ) a m. So, α(d ) needs to meet the all P i for i =,,..., n and especially there are two points x, y in the interior of α(d ) so that x a k, y b k and the arc β between x and y in α(d ) only meets n i= P i at x and y by the rectangle condition. Since D α(d ) =, we can take a path β which is closely parallel to β so that β connects a k and b k in Σ 0,n without meeting D. This makes a contradiction. Now, assume that D ( n j= D j). Take a component C of D ( n j= D j) whose closure is a bigon. Then assume that C D s for s {,,..., n }. Then C D s separates {D,..., D s, D s+,..., D n } into two non-empty sets since D is an essential disk in B τ. So, there exists k {,,..., n } so that the boundary components of P k are separated by C D s. Let a k and b k be the components of P k so that they are separated by C D s. Then there is no path to connect a k and b k in Σ 0,n without meeting D or D s. We note that D s is isotopic to one of the boundary components n i= P i.

6 6 BO-HYUN KWON If D is isotopic to one of Q j we switch the indices and to have a contradiction with the same reason as above. If D is isotopic to none of Q j then D has a wave α(d ). Then, by using a similar argument above, there are two points x, y in the interior of α(d ) so that x a k, y b k and the arc β between x and y in α(d ) only meets n i= P i at x and y by the rectangle condition. Since D α(d ) =, we can take a path β which is closely parallel to β so that β connects a k and b k in Σ 0,n without meeting D or D s. This contradicts the existence of a k and b k so that there is no path to connect a k and b k in Σ 0,n without meeting D or D s. This completes the proof. Now, we will discuss how to check whether or not given two pants decompositions satisfy the rectangle condition. First of all, we parameterize the boundary of an essential disk in B τ i in Section Dehn s parameterization of Σ 0,6 Let γ be a simple closed curve in Σ 0,6. We consider the standard essential disks E, E, E as in Figure. Consider the pair of pants I := Σ 0,6 {E E E }, where E i is the two punctured disk in Σ 0,6 so that E i = E i as in Figure. E ω ω ω I l l l E ω E ω ω ω ω ω ω ω ω l l l ω ω ω ω ω ω Figure. Figure shows standard arcs l ij in the pair of pants I. We notice that we can isotope γ into δ in Σ 0,6 so that each component of δ I is isotopic to one of the standard arcs and δ E i ω i. Then we say that subarc α of δ is carried by l ij if some component of α I is isotopic to l ij. The closed arc ω i E i is called a window. Let I i = δ ω i. Then δ can have many parallel arcs which are the same type in I. Let x ij be the number of parallel arcs of the type l ij which is called the weight of l ij. Lemma 4.. I i determine the weights x jk for i, j, k {,, }.

7 RECTANGLE CONDITION AND ITS APPLICATIONS 7 Proof. We have two subcases for this. First, suppose that I i I j + I k for all distinct i, j, k {,, }. We claim that x = x = x = 0. If not, then x ii > 0 for some i. We notice that x jj = x kk = 0. So we have I i = x ii + x ij + x jk, I j = x ij and I k = x ik. This shows that x ii + x ij + x jk x ij + x ik. This makes a contradiction. So, x = x = x = 0. Now, we have I i = x ij + x ik. This implies that x ij = I i+i j I k. Now, suppose that I i > I j + I k for some i. Then we note that γ has I i = x ii + x ij + x ik, I j = x ij and I k = x ik. This implies that x ij = I j, x ik = I k and x ii = I i I j I k. s 6 s 5 s 4 E + j l E k s s s E _ b b b b 4 b 5 b 6 ( p,q,t)=(,0,0) ( p )=(,,0),q,t b b b b 4 b 5 b 6 ( p,q,t )=(,,) ( p,q,t )=(,, ) Figure. Now, we discuss the arc components of δ E i. Let j and k be the simple arcs as in Figure. We assume that E δ j k l has no bigon in Σ 0,6. We note that j k l separates E into two semi-disks E + and E as in Figure. Let u + be the number of subarcs of δ from l to j in E +. Also, let v + be the number of subarcs of δ from l to k in E + and let w + be the number of subarcs of δ from j to k in E +. Let m = δ j and n = δ k in E. We note that each component of δ E meets l exactly once. Also,

8 8 BO-HYUN KWON we know that each such component is essential in E {, }. The components of δ E are determined by three parameters p, q, t as in Figure, where p = min{ δ l δ δ in Σ 0,6 } and q Z, 0 q < p. In order to define q and t, consider m and n. Then we know that u + + v + = p. So, m n = (u + + w + ) (v + + w + ) = u + v +. Therefore, p = u + v + u + v + = m n = u + v + u + + v + = p. So, we know p m n p. Now, we define q and t as follows. If n m = p then q m (mod p ) and 0 q < p, and t = m q p and if p n m < p then q m (mod p ) and 0 q < p, and t = m q p. Then t is called the twisting number in E. Let (p, q, t ) be the three parameters to determine the arcs in E. Similarly, we have the three parameters (p i, q i, t i ) for E i (i =, ). Therefore, γ is determined by a sequence of nine parameters (p, q, t, p, q, t, p, q, t ) by Lemma 4.. Let C be the set of isotopy classes of simple closed curves in Σ 0,6. For a given simple closed curve δ in Σ 0,6, we define p i, q i and t i in E i as above. Let q i = p i t i + q i for i =,,. Then we have the following Dehn s Theorem. Theorem 4. (Special case of Dehn s Theorem ). There is an one-to-one map φ : C Z 6 so that φ(δ) = (p, p, p, q, q, q ). i.e., it classifies isotopy classes of simple closed curves. When p = p = p = 0 then t i = if the simple closed curve is isotopic to E i and t j = 0 if j i. Refer [0] to see the general Dehn s theorem. 5. Detecting -bridge knots with -bridge presentations Theorem 5.. Let (T, T ; S ) be the -bridge decomposition of a knot K. Suppose n i= P i and n j= Q j are two pants decompositions of S D and S D for T and T respectively. If n i= P i and n j= Q j satisfy the rectangle condition, then K is a -bridge knot. Proof. The proof is based on Lemma. and Proposition.. To use the rectangle condition to check if a -bridge presentation link K is -bridge link, we need to choose a level sphere S to have the -bridge decomposition (T, T ; S ) of K. Especially we can choose S to have a -bridge decomposition (T ɛ, T ; S ) of K by the following lemma, where T ɛ = (B, ɛ). (Refer to Figure.) However, it does not mean that for a given pants decomposition for T ɛ there exists a pants decomposition for T to satisfy the rectangle condition even if there are two pants decompositions for the two rational tangles T ɛ and T to satisfy the rectangle condition. Lemma 5.. Suppose (T, T ; P ) and (T ɛ, T ; P ) are -bridge decompositions of a link K. Then there exist minimal collections of essential cut disks D and D for T and T respectively so that there exist two pants decompositions S D and S D for T and T respectively which satisfy the rectangle condition if and only if there exist minimal collections of essential cut disks D and D for T ɛ and T respectively so that there exist two pants decompositions S D and S D for T ɛ and T respectively which satisfy the rectangle condition. Proof. First, we note that the pants decompositions have only one pair of pants. We consider the self-homeomorphism H of S as an extension of a homeomorphims h from P to P which is obtained from a combination of half Dehn twists to get from τ to ɛ by following up the bridge presentation. We note that the homeomorphism of Σ 0,6 preserves rectangles to satisfy

9 RECTANGLE CONDITION AND ITS APPLICATIONS 9 the rectangle condition. Let D i = H(D i ). Then it is enough to show that D and D bound the minimal collections of cut disks for T ɛ and T. By construction of H, it is clear that D i bounds essential cut disks. (Refer to [6].) Unfortunately, there are infinitely many different maximal collection of essential cut disks in B ɛ. In other words, we have infinitely many different pants decompositions of Σ 0,6 for T ɛ. So, it is impossible to check the all combinations of two pants decompositions. In this paper, we will especially discuss the case that E = {E, E, E } is the collection of maximal essential cut disks for T ɛ. (Refer to Figure.) Then, we note that E E E is the boundaries of S E which is pants decomposition. In order to get a pants decomposition for T, we consider three bridge disks F = {F, F, F } for T. Then let f i = F i Σ 0,6 which is called essential arc. Let N(f i ) be the regular neighborhoods of f i so that they are pairwise disjoint. Then by deleting N(f i ) from Σ 0,6 we have a pants decomposition S F for T. For an easier argument, now we consider three essential arcs f i which connect two punctures in Σ 0,6 instead of the three simple closed curves for the boundary components of S F. Then, we want to modify the rectangle condition as follows. Let (T, T ; P ) be a -bridge decomposition of a link L. Let E B i, E B i, E B i be the collection of bridge disks for two rational -tangles T and T respectively. Then we take the collection of arcs e i = E B i P, e i = E B i P, e i = E B i P. Then we say that the collections of arcs {e, e, e } and {e, e, e } satisfy the rectangle condition if there is a rectangle R embedded in P (( i=e i ) ( j=e j )) such that the interior of R is disjoint from ( i=e i ) ( j=e j ) and the four edges of R are subarcs of the four entries of each combination as below respectively. (e, e, e, e ) (e, e, e, e ) (e, e, e, e ) (e, e, e, e ) (e, e, e, e ) (e, e, e, e ) (e, e, e, e ) (e, e, e, e ) (e, e, e, e ) e bacacbcacabacab cacbacac 6 e 4 acacbaca 5 e Figure 4.

10 0 BO-HYUN KWON Proposition 5.. Suppose that (T, T ; P ) is a -bridge decomposition of a link L. For given collections of bridge disks {E B i, E B i, E B i } for two rational -tangles T and T respectively, take the collection of arcs e i = E B i P, e i = E B i P, e i = E B i P. If the collections of arcs {e, e, e } and {e, e, e } satisfy the rectangle condition in Σ 0,6 then L = τ τ is a -bridge link. The proof of Proposition 5. is analogous to the proof of Theorem 5.. Now, we will discuss how to check whether or not two pants decompositions satisfy the rectangle condition. The figure 4 shows that a b c and e e e satisfy the rectangle condition, where a is the arc from to, b is the arc from to 5 and c is the arc from 4 to 6, and e i are the straight line which connects two punctures in each two punctured disk E i. The alphabetic sequences are the orders of arcs, where. Then we can check that each sequence contains all the possible adjacent pairs {a, b}, {a, c} and {b, c}. We recall that (p, q, t) determines the arc pattern in a two punctured disk as Figure 5. In order to analyize the arcs, take the boundaries of the regular neighborhood of the essential arcs as in Figure 5. We note that p is the same with the intersection number between the three essential arcs and the window ω. Except the two arcs start from the punctures, each component meets twice with ω. So, we name the arcs by using positive integers to p +. For example, we name,,, 4, 5 to the arc components as in Figure 5. ω ( p, q, t ) = (8, 7, ) Figure 5. Lemma 5.4. p and q determine the pairs of intersection points in ω which are the two endpoints of each arc component in a two punctured disk as follows. () If j p q then replace p q + j by j.

11 RECTANGLE CONDITION AND ITS APPLICATIONS () If p q+ < j p then replace j by p q + j. After this procedure, replace j by j m if m + j p. x c x c ω Figure 6. Proof. First, we fix t = since taking a different twisting number t does not change the numbering of the intersection at ω. Then we get a diagram as in Figure 6. Let c and c be the arc components start from the punctures and respectively. Then we note that the other arcs are isotopic to either x or x since t =. Let m i be the number of arcs which are isotopic to x i for i =,. Then we note that q = q + ( )p = ( m ) by considering the connecting pattern of arcs between e and ω. Therefore, m = (p q )/. We also note that m + m + = p. Therefore, we also get m = (q )/. Then, the following is the cases we need to consider. () If j m then replace m + j by j to give the same name to the other endpoint of the arc having the endpoint j. () If m + m + < j p i then replace j by (m + m + ) j to give the same name to the other endpoint of the arc having the endpoint j. Then subtract m from j if m + j p to assign the arcs to the arithmetic sequence {,,..., m + m + }. This completes the proof. We note that there are p i+ arc components in E i. In order to give a better numbering to the arcs in E E E, we need to use the next positive integers to name the arcs in E j for j i. Then we just use positive integers from to p +p +p +6. We note that we can eliminate the case that x ii > 0 for some i since if x ii > 0 for some i then {a, b, c} and {e, e, e } do not satisfy the rectangle condition. Proposition 5.5. {p, q, p, q, p, q } determines the satisfaction of the rectangle condition. Proof. By Lemma 5.4, we can assign positive integers to the arcs in E i by {p, q, p, q, p, q }. Also, The weights x ij for the standard arcs are determined by I i = p i by referring to Lemma 4.. We may assume that x ij > 0 if i j and x ii = 0 for all i. If not, then we easily can check that {a, b, c} and {e, e, e } do not satisfy the rectangle condition. Let (α, α,..., α p ), (β, β,..., β p ) and (γ, γ,..., γ p ) be the ordered numbering from the left to the right at ω i. Then we have equalities to connect the intersection points at ω in I by x ij. i.e., α i = β p + i for i x, γ j = α p + j for j x and β k = γ p + k for

12 BO-HYUN KWON k x. Then we define the equivalent classes as follows. Two positive integers are equivalent if there exist finite equalities to match the two numbers. Then we note that there are exactly three equivalence classes. If there are more than three classes, then there exists an equivalence class which makes a loop in Σ 0,6 since p + p + p is finite. This contradicts the assumption that there are exactly arcs. If there are less than three classes then this also contradicts the assumption that there are exactly three essential arcs. Then by assigning three representative numbers to the arcs in I we can check whether or not they satisfy the rectangle condition. Now, we investigate the diagram in Figure 4 for an example. We note that (p, q, p, q, p, q ) = (4,, 4,, 6, ) and t i = for all i. Since m = 4 = 0 and m = = for E, we have =, = 0, = 9,..., and = 4 = by 0 = and = by 0 =. Therefore, we have a numbering for E as (,,, 4, 5, 6, 7, 8, 9, 0,, 0, 9, 8, 7, 6, 5, 4,,,,,, ). Similarly, we have numberings for E and E as (4, 5, 6, 7, 8, 9, 0, 9, 8, 7, 6, 5, 4,,,, 4, 5, 6, 5, 4,,, ) and (7, 8, 9, 0,,,, 4,,,, 0, 9, 8, 7, 5). Also, we have x = 6, x = 8 and x = 8 from (p, p, p ) = (4, 4, 6). Then we have (,,, 4, 5, 6, 7, 8, 9, 0,, 0, 9, 8, 7, 6) = (,,, 4, 5, 6, 5, 4,,,, 4, 5, 6, 7, 8) and (7, 8, 9, 0,,,, 4) = (,,,,,, 4, 5), and (4, 5, 6, 7, 8, 9, 0, 9) = (5, 7, 8, 9, 0,,, ). Therefore, we have three equivalent classes, a := = 8 = 6 = 8 = 4 = 4 = = 9 = = = = 0 = 4 = 5, b := = = = 0 = 8 = 6 = 6 and c := 0 = = = = 9 = 5 = 7 = = 9 = 7 = 7 = 5 = 5 = 4. By assigning the prepresentatives a, b, c to the equivalent positive integers, we have (x, bacacbcacabacacb), (x, cacbacac) and (x, acacbaca). This implies that the example satisfies the rectangle condition. 6. A family of -bridge links Let Q be the flat disk in the xy-plane bounded by the great circle C so that a rational -tangle T is arranged to be in general position with respect to the projection onto Q as in Figure 7. Emert and Ernst [4] defined an interesting family of alternating -tangles which are called essential. (Refer to [4].) Let C 0 be the nested circle in Q so that it encloses the trivial -tangle as in Figure 7. Then let C,..., C n = Q be a sequence of nested circles in Q so that each C i contains a rational -tangle and the annulus A i bounded by C i and C i contains at most three different twisting patterns as in Figure 7. The three twisting patterns in A i are as follows. Let Pj i be the intersection points between T and C i in Q for i n and j 6 as in Figure 7. Let t j i of T whose endpoints are {P j i be the twisting number between the two substrings, P j i+, P j i, P j i+ }. We have ti j = 0 if i + j is an odd number. So, there possibly exist at most three twisting patterns in A i. We say that an alternating rational -tangle is essential if each twisting numbers t j i are nonzero when i + j is an even number. (Refer to Figure 7.) Let EAT n be the set of essential alternating rational -tangles. Especially, we say that an essential alternating rational -tangle is special, denoted by SAT n,

13 RECTANGLE CONDITION AND ITS APPLICATIONS if t j i = when i + j is an even number. (Refer to Figure 8.) Then we consider two types of closure for a given tangle T to have a link L as follows. P 4 P 4 P P P 4 P P P P P 4 P P P P 0 0 P 4 0 C 0P C P 0 0 P P 5 P 6 P P 6 P 6 P 6 4 P 4 P 4 C C P 5 P 5 Q P 4 4 C 4 P 5 4 Figure 7. A positive essential rational -tangle () Numerator closures of T denoted by N(T ): connect the two points of pairs (P n, P n ), (P n, P n 4 ), (P n 5, P n 6 ) in Q c with unknotted arcs as in the diagrams (b) and (d) of Figure 8. () Denominator closures of T denoted by D(T ): connect the two points of pairs (P n, P n ), (P n 4, P n 5 ), (P n 6, P n ) in Q c with unknotted arcs as in the diagrams (a), (c) and (e) of Figure 8. We note that there are five different trivial closures of T and the numerator and the denominator closures are two of them, where trivial means that the rational -tangle for a closure of T in Q c does not have any crossings. Then, we note that N(SAT k+ ) and D(SAT k ) are prime links by Theorem 6.. Theorem 6. (Menasco [7]). Suppose L is a link that has an alternating diagram D. Then L is a prime link if and only if D is a prime diagram. Also, the following lemma help to know whether or not N(SAT k+ ) or D(SAT k ) is a knot. Lemma 6.. N(SAT 6k 5 ), N(SAT 6k ), D(SAT 6k 6 ) and D(SAT 6k ) are knots for k Z +. Moreover, N(SAT 6k ) and D(SAT 6k 4 ) are links with three components for k Z +. Proof. From the ordered intersection points (P 0, P 0, P 0, P 0 4, P 0 5, P 0 6 ), we get the ordered intersection points (P 6, P, P, P 5, P 4, P ) if we consider the connectivity of the arcs between C 0 and C. Similarly, we have four more ordered sequences for the connectivity of the

14 4 BO-HYUN KWON P 0 P 0 P P Q P 0 P 0 6 P P6 Q Q 0 P4 0 P5 P4 P5 ( a ) ( b ) ( c ) Q Q ( d ) ( e ) Figure 8. Special essential alternating rational -tangles and their closures arcs through from C to C 5. These are (P5, P4, P, P6, P, P ), (P4, P5, P6, P, P, P ), (P 4, P6 4, P5 4, P 4, P 4, P4 4 ) and (P 5, P 5, P4 5, P 5, P6 5, P5 5 ). Then we note that we have (P 6, P 6, P 6, P4 6, P5 6, P6 6 ) for the connectivity of arcs between C 5 and C 6. Moreover, we note that the lower indices of the sequence is the same with the first ordered sequence (P 0, P 0, P 0, P4 0, P5 0, P6 0 ). Therefore, by considering the six subcases from n = 0 to n = 5, we have this lemma. Let (SAT k+, Tɛ N, P ) and (SAT k, Tɛ D, P ) be the -bridge decompositions of N(SAT k+ ) and D(SAT k ) respectively, where Tɛ N and Tɛ D are the trivial tangles in Q c to have numerator closure and denominator closure of a tangle respectively as in Figure 8. Let ɛ N = {ɛ N, ɛ N, ɛ N } and ɛ D = {ɛ D, ɛ D, ɛ D } be the collection of trivial red arcs for Tɛ N and Tɛ D respectively as in Figure 9. Then we note that the diagrams (d) and (e) of Figure 9 shows us that N(SAT ) and D(SAT 4 ) are -bridge links since the collections of arcs satisfy the rectangle condition. Now, we consider the hexagon H so that H = {ɛ N, ɛ N, ɛ N, ɛ D, ɛ D, ɛ D } as Figure 0. It is called the Hexagon diagram. Let a i be the name of the arcs instead of ɛ N j or ɛ D k as in Figure 0. Then, we can define the weights of a simple closed curve γ with respect to H as follows. Let x ij be the number of parallel arcs of γ from a i to a j in H. Also, let x kl be the number of parallel arcs of γ from a k to a l in H c. Theorem 6. (Kwon [6], Lemma 4.). Suppose that a simple closed curve γ is in minimal general position with respect to H, where minimal means that γ and H do not allow to have any bigon. Then the weights x ij and x kl are well defined. We note that x ii = 0 since γ is minimal general position with respect to H. Especially, we [6] made a certain formulas for the weight changes when we apply the half Dehn twists supported on the six -punctured disks given in the diagrams (a) and (b) of Figure 9. When we apply a half Dehn twist h supported on a -punctured disk, the arcs for x ij or x kl for some i, j, k, l {,,, 4, 5, 6} in H or H c possibly become the arcs for y mm or y nn for some m, n {,,, 4, 5, 6}, where y ij and y kl be the weights of h(γ). Then we isotope the arcs

15 RECTANGLE CONDITION AND ITS APPLICATIONS 5 N ε ε D ε D ε N ε N ε D ( a ) ( b ) ( c ) ( d ) ( e ) Figure 9. a a a 6 H 6 a 4 5 a 5 a 4 H c Figure 0. to have y mm = 0 or y nn = 0 to have new well defined weights. Then, we say that x ij or x kl is vanished (by the half Dehn twist h). Lemma 6.4. Suppose that x 6 = x = x 45 = x = x 4 = x 56 = 0. Then if we apply a half Dehn twist supported on E i counterclockwise for some i then none of weights x ij and x kl is vanished. Moreover, y 6 = y = y 45 = y = y 4 = y 56 = 0 after applying a sequence of half Dehn twists supported on E, E or E, where y ij and y kl are the new weights after the sequence of half Dehn twists.

16 6 BO-HYUN KWON Proof. Refer to Theorem 4.4 in [6]. We note that Theorem 6. and Lemma 6.4 are dealing with a simple closed curve not a simple arc. However, if we take the bounary of a proper regular neighborhood of the simple arc they are useful to prove my following assertions. Theorem 6.5. N(SAT k+ ) and D(SAT k+ ) are -bridge links, where k is a positive integer. Proof. By the diagram (d) of Figure 9, we note that N(SAT ) has two pants decompositions to satisfy the rectangle condition. Therefore, N(SAT ) is a -bridge link. Now, take regular neighborhoods of the three essential arcs (blue, black, dotted black) in (d) of Figure 9 so that they are pairwise disjoint and the boundaries of the regular neighborhood do not make any bigon with H. Now, we consider a modified train track as in Figure. The first diagram shows a modified train track which carries the boundries of the regular neighborhood of the three arcs. Especially, we note that x 6 = x = x 45 = x = x 4 = x 56 = 0. We note that none of the weights for the given blue arc types in the first diagram is zero. Figure. Then the second diagram of Figure is the newly obtained train track diagram after applying the three half Dehn twists supported on E i counterclockwise respectively. We note that none of the weights for the given blue arc types in the second diagram is zero. By Lemma 6.4, none of weights x ij and x kl of the three essential arcs is vanished. Therefore, in order to show D(SAT 4 ) is a -bridge link, it is enough to show the arc types representing the rectangles to satisfy the rectangle condition with {ɛ N, ɛ N, ɛ N } become arc types representing the rectangles to satisfy the rectangle condition with {ɛ D, ɛ D, ɛ D }. Especially, by using the symmetry of the diagram, it is enough to check the three rectangles between ɛ N and ɛ N. We note that there are more than one path to carry a rectangle type to satisfy the rectangle condition. However, we point out that all the necessary rectangles to satisfy the rectangle condition are carried by the arc a or b in Figure. Then after applying the three half Dehn twists supported on E i counterclockwise, the rectangles are carried by the arc c in Figure. Then they are the rectangles to satisfy the rectangle condition between ɛ D and ɛ D. The other two cases make the rectangles between ɛ D and ɛ D, and ɛ D and ɛ D. This implies that D(SAT 4 ) is a -bridge link. To show N(SAT 5 ) is a -bridge link, we note that the first diagram is the newly obtained train track diagram from the second diagram for D(SAT 4 ) by applying the three half Dehn twists supported on the three two punctured disks in the second diagram in Figure clockwise. By using a similar argument, we can show that

17 RECTANGLE CONDITION AND ITS APPLICATIONS 7 N(SAT 5 ) is also a -bridge link. By repeating this argument, we show that N(SAT k+ ) and D(SAT k+ ) are -bridge links for all k. a b c Figure. Corollary 6.6. N(EAT k+ ) and D(EAT k+ ) are -bridge links if k. Figure. Proof. First of all, we note that if we apply more half Dehn twists to the given directions supported on the three -punctured disks of each left diagram of Figure then we still have the same train track diagram having nonzero weights for the all arcs. Moreover, none of x ij or x kl is vanished. Then we can check that N(SAT ) is a -bridge link which satisfies the rectangle condition. Actually, the index of SAT makes the three rectangle types one by one. Now, assume that the index is greater than. Then, especially, the rectangles carried by the green arcs of the left sides are preserved after the additional half Dehn twists as in Figure. Then, by using a similar argument we used to prove Theorem 6.5 we complete the proof of this corollary.

18 8 BO-HYUN KWON References [] D. Bachman, S. Schleimer, Distance and bridge position, Pacific J. Math. 9(005), no., -5. [] A. Casson, C. Gordon, Manifolds with irreducible Heegaard splittings of arbitrary large genus, Unpublished. [] A. Coward, Algorithmically detecting the bridge number of hyperbolic knots, preprinted [4] J. Emert, C. Ernst, N-string tangles, J. Knot Theory Ramifications 9 (000), no. 8, [5] J. Hempel, -manifolds as viewed from the curve complex, Topology 40 (00), no., Princeton Univ. Press, 974. [6] B. Kwon, An algorithm to classify rational -tangles J. Knot Theory Ramifications 4 (05), no., , 6 pp [7] W. Menasco, Closed incompressible surfaces in alternating knot and link complements, Topology (984), no., [8] J. Otal, Presentations en ponts des noeuds trivial, C. R. Acad. Sci. Paris Sér. I Math., 94:55-556, 98 [9] M. Ozawa, K. Takao, A locally minimal, but not globally minimal, bridge position of a knot, Math. Proc. Cambridge Philos. Soc. 55 (0), [0] R. Penner, J. Harer, combinatorics of Train Tracks, Annals of Mathematics Studies No. 5, Princeton University Press (99), Sections.-.. [] K. Takao, Bridge decompositions with distances at least two, Hiroshima Math. J. 4 (0), Korea University, Department of Mathematics, Seoul, Republic of Korea address: bortire74@gmail.com