DETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP
|
|
- Logan Barton
- 6 years ago
- Views:
Transcription
1 Yaguchi, Y. Osaka J. Math. 52 (2015), DETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP YOSHIRO YAGUCHI (Received January 16, 2012, revised June 18, 2013) Abstract The Hurwitz action of the n-braid group B n on the n-fold product (B m ) n of the m-braid group B m is studied. Using a natural action of B n on trees with n labeled edges and n 1 labeled vertices, we determine all elements of the orbit of every n-tuple of the n distinct standard generators of B n 1 under the Hurwitz action of B n. 1. Introduction Let B n denote the n-braid group, which has the following presentation [1, 4]., 1,, n 1 i j i j i j ( i j 1), i j j i ( i j 1) where i is the i-th standard generator represented by a geometric n-braid depicted in Fig Throughout this paper, n is an integer with n 2. Let G be a group and let G n be the n-fold direct product of G. For elements g and h of G, let g h denote h 1 gh and let g h denote g (h 1 ) hgh 1. DEFINITION 1.1. The Hurwitz action of B n on G n is the right action defined by and (g 1,, g i 1, g i, g i 1, g i 2,, g n ) i (g 1,, g i 1, g i 1, g i g i 1, g i 2,, g n ) (g 1,, g i 1, g i, g i 1, g i 2,, g n ) 1 i (g 1,, g i 1, g i 1 g i, g i, g i 2,, g n ), where 1,, n 1 are the standard generators of B n. We call the orbit of (g 1,, g n ) ¾ G n under the Hurwitz action of B n the Hurwitz orbit of (g 1,, g n ) and denote it by (g 1,, g n ) B n. We say two elements of G n are Hurwitz equivalent if they belong to the same Hurwitz orbit Mathematics Subject Classification. Primary 20F36; Secondary 20F34.
2 60 Y. YAGUCHI Fig When G is a braid group B m and each g j ( j 1,, n) is a positive simple braid (that means a conjugate of 1 ), the Hurwitz orbit of an n-tuple (g 1,, g n ) corresponds to an equivalence class of an algebraic braided surface in a bidisk D 2 D 2 with n branch points [11, 13, 14, 15, 17]. Here, we say that two braided surfaces S and S ¼ are equivalent if there is a fiber-preserving diffeomorphism fï D 2 D 2 D 2 D 2 (that is, f (D 2 {x}) D 2 {g(x)} for some diffeomorphism gï D 2 D 2 ) carrying S to S ¼ rel D 2 D 2. It is natural to ask if two given braided surfaces are equivalent or not. This question is equivalent to asking if two given n-tuples (g 1,, g n ) and (g ¼ 1,, g¼ n ) of positive simple braids determined by their monodromies are Hurwitz equivalent or not. This is a very hard problem and no algorithm to solve it is known. However, we can determine all elements of the Hurwitz orbits of some n-tuples of positive simple braids. Throughout this paper, we use the symbol s i to denote the i-th standard generator of B n 1, and i to denote that of B n. We prove that for every permutation ³ of {1,, n}, there is a natural bijection from the Hurwitz orbit of (s ³(1),, s ³(n) ) to a set consisting of all trees satisfying the conditions of Definition 2.2. As a result, we determine all elements in the Hurwitz orbit of (s ³(1),, s ³(n) ) for every permutation ³ of {1,, n} (see Theorem 4.3). We will also prove Theorem 1.2 by using Theorem 4.3. Let X n 1 be the set of the integers {2, 3,, n}. For a permutation ³ of {1,, n}, let A ³ {i ¾ X n 1 ³ 1 (i 1) ³ 1 (i)}. Theorem 1.2. For permutations ³ and of {1,, n}, the following conditions are mutually equivalent. (1) (s ³(1),, s ³(n) ) and (s (1),, s (n) ) are Hurwitz equivalent. (2) The products s ³(1) s ³(n) and s (1) s (n) are equal in B n 1. (3) The sets A ³ and A are equal. REMARK 1.3. Let B n 1 be the semi-group which has the generators s 1,, s n and the relations s i s j s j s i if i j 2 and s i s j s i s j s i s j if i j 1. Let i Ï B n 1 B n 1 be the natural semi-group homomorphism, i.e., i(s i ) s i for each i ¾ {1,,n}. In [7], Garside proved that i is injective. (We call an element of i(b n 1 ) a positive element of B n 1.) Using the Garside s theorem, T. Ben-Itzhak and M. Teicher showed the equivalence of the conditions (1) and (2) of Theorem 1.2 in [2]. This is
3 DETERMINING THE HURWITZ ORBIT 61 explained as follows. If i j 2, then (s i, s j ) and (s j, s i ) are Hurwitz equivalent. If i j 1, then (s i, s j, s i ) and (s j, s i, s j ) are Hurwitz equivalent. (See [2].) Thus, for permutations ³ and of {1,, n}, (s ³(1),, s ³(n) ) and (s (1),, s (n) ) are Hurwitz are equal. equivalent if and only if the products s ³(1) s ³(n) and (1) s s (n) in B n 1 By the Garside s theorem, this condition is equal to the condition that the products s ³(1) s ³(n) and s (1) s (n) in B n 1 are equal. Thus, we have the equivalence of (1) and (2) of Theorem 1.2. In this paper, we will prove the equivalence of (1) and (3) of Theorem 1.2 by using Theorem Main result Let S n 1 be the symmetric group of degree n 1 and let T n 1 be the set of elements ( 1,, n ) of the n-fold direct product (S n 1 ) n of S n 1 such that 1,, n are transpositions which generate S n 1. For any element ( 1,, n ) of T n 1, the Hurwitz orbit ( 1,, n ) B n is contained in T n 1 [10, 12]. Thus, we obtain an action of B n on T n 1 as a restriction of the Hurwitz action on (S n 1 ) n. Let G n 1 be the set of trees with n edges labeled {e 1,, e n } and n 1 vertices labeled {Ú 1,, Ú n 1 }. A natural action of B n on G n 1 has been observed [5, 6, 8]. It is explained as follows. Take an element ( 1,, n ) of T n 1 and put i (k i l i ) (k i l i ) for i ¾ {1,, n}. We define ¼( 1,, n ) as a graph with n 1 vertices labeled {Ú 1,, Ú n 1 } and n edges labeled {e 1,, e n } such that the edge labeled e i connects with two vertices labeled Ú ki and Ú li for i ¾ {1,, n}. Since 1,, n generate S n 1, the graph ¼( 1,, n ) must be a tree [5, 6]. Hence, ¼( 1,, n )¾G n 1. We call the induced map ¼Ï T n 1 G n 1 the graphic map. The map ¼ is bijective [5, 6]. Thus, we obtain the action of B n on G n 1 defined by ¼((¼ 1 ( )) ) for ¾ G n 1 and ¾ B n [5, 6, 8]. We call this action the Hurwitz action of B n on G n 1. For 1 i n, let t i be the transposition (i i 1) of S n 1. Take a permutation ³ of {1,, n}. Let pï B n 1 S n 1 be the canonical projection and let P p n Ï (B n 1 ) n (S n 1 ) n be the map defined by (b 1,,b n ) (p(b 1 ),, p(b n )). Then, for any ¾ B n, it holds P((b 1,,b n ) ) (P(b 1,,b n )). Thus, for every permutation ³ of {1,,n}, we have P((s ³(1),, s ³(n) ) B n ) (t ³(1),, t ³(n) ) B n. Since (t ³(1),, t ³(n) ) ¾T n 1 (and hence, ¼(t ³(1),, t ³(n) ) ¾ G n 1 ), we have ¼(t ³(1),, t ³(n) ) B n G n 1. In [16], it is proved that the map P P (s³(1),,s ³(n) ) B n Ï (s ³(1),, s ³(n) ) B n (t ³(1),, t ³(n) ) B n is bijective. Then, ¼Æ P((s ³(1),,s ³(n) ) B n ) ¼((t ³(1), t ³(n) ) B n ) ¼(t ³(1),,t ³(n) ) B n. Since ¼ and P are bijective, the map ¼Æ PÏ (s ³(1),,s ³(n) ) B n ¼(t ³(1),,t ³(n) ) B n is bijective. REMARK 2.1. Take an element ( 1,, n ) of T n 1. Let T n 1 ( 1,, n ) be the subset of T n 1 defined by {( ¼ 1,, ¼ n )¾T n 1 ¼ 1 ¼ n 1 n }. In [10], A. Hurwitz proved that there exists (n 1) n 1 elements of T n 1 ( 1,, n ). In [12], P. Kluitmann proved that the Hurwitz orbit ( 1,, n ) B n is equal to the set T n 1 ( 1,, n ) by an induction on n and using combinatorially calculations of S n 1. Hence, there exists
4 62 Y. YAGUCHI (n 1) n 1 elements in the Hurwitz orbit ( 1,, n ) B n. In [9], S.P. Humphries proved that the Hurwitz orbit (s 1,,s n ) B n consists of (n 1) n 1 elements. In [16], the author proved that for any permutation ³ of {1,, n}, the Hurwitz orbit (s ³(1),, s ³(n) ) B n consists of (n 1) n 1 elements. Let C be a circle in Ê 2. Let P n 1 (C) C C denote the product space of n 1 copies of C. Let Q n 1 (C) {(q 1,, q n 1 ) ¾ P n 1 (C) q i q j for i j}. We call Q n 1 (C) the configuration space of ordered n 1 distinct points of C. Fix an element q (q 1,, q n 1 ) ¾ Q n 1 (C) and let ¼ q n 1 be the set of segments {q iq j 1 i j n 1} in Ê 2. Take elements e and e ¼ of ¼ q n 1. If e {q i, q i ¼}, e ¼ {q i, q i ¼¼} and q i ¼ q i ¼¼, i.e., e and e ¼ share a common end point q i, then we say that e and e ¼ are adjacent (at q i ). Moreover, if the end points q i ¼, q i and q i ¼¼ appear on C counterclockwise in this order, then we say that e ¼ is a right adjacent to e (at q i ). DEFINITION 2.2. An n-tuple (e 1,,e n ) of elements of ¼ q n 1 is good if it satisfies the conditions (i) (iii). (i) If k l, then e k and e l are disjoint or adjacent. (ii) If k l and e k and e l are adjacent, then e l is a right adjacent to e k. (iii) The union e 1 e n is contractible. Let G(¼ q n 1 ) be the set of n-tuples of elements of ¼q n 1 which are good. When (e 1,, e n ) is an element of G(¼ q n 1 ), the union e 1 e n is regarded as a graph with n 1 vertices q 1,, q n 1 and n edges e 1,, e n. Note that the graph e 1 e n is a tree. Putting labels Ú i on the points q i for 1 i n 1, we regard G(¼ q n 1 ) as a subset of G n 1. The following is our main theorem. Theorem 2.3. For a permutation ³ of {1,, n}, there exists an element q of Q n 1 (C) such that the Hurwitz orbit ¼(t ³(1),, t ³(n) ) B n is equal to the set G(¼ q n 1 ( ) G n 1 ). Hence, the map ¼ Æ P gives a bijection from the Hurwitz orbit (s ³(1),, s ³(n) ) B n to the set G(¼ q n 1 ). REMARK 2.4. In [16], the author found an element q of Q n 1 (C) such that the Hurwitz orbit ¼(t ³(1),, t ³(n) ) B n is contained in G(¼ q n 1 ). Thus, we obtained an action of B n on G(¼ q n 1 ) as the restriction of the Hurwitz action of B n on G n 1. In this paper, we will show the transitively of this action. 3. Some notions Throughout this section, X n 1 is the set of the integers {2, 3,, n} and A is a fixed subset of X n 1.
5 DETERMINING THE HURWITZ ORBIT 63 For integers i and j with 1 i j n 1, we define s A i j ¾ B n 1 and s A ji ¾ B n 1 by si A j s A ji s i j 1 k i 1 where k 1 if k ¾ A and k 1 if k A. We call si A j associated with A. Note that a standard generator s i of B n 1 is a band generator sii 1 A. Let n 1 A be the set of band generators {sa i j ¾ B n 1 1 i j n 1} associated with A. Let T n 1 be the set of transpositions of S n 1. The natural projection pï B n 1 S n 1 gives the bijection p p A n 1 Ï n 1 A T n 1 which satisfies p(si A j ) (i j) for 1 i j n 1. Let P k (k, 0) ¾ Ê 2 for an integer with 1 k n 1. Let C 1 be the circle in Ê 2 whose diameter is the segment P 1 P n 1. Take the points Q k ¾ C 1 for 1 k n 1 such that Q 1 P 1, Q n 1 P n 1 and Q k (k, y k ) for each 2 k n, where y k 0 if k ¾ A and y k 0 if k A. We call the points Q 1,, Q n 1 on the circle C 1 the points associated with A. We call the element Q (Q 1,, Q n 1 ) of the configuration space Q n 1 (C 1 ) the ordered n 1 points associated with A. Let ¼n 1 A denote the set of segments ¼n 1 A ¼ Q n 1 {Q i Q j 1 i j n 1} in Ê 2. We have a bijection from A n 1 to ¼A n 1 defined by sa i j Q i Q j segment Q i Q j the segment corresponding to s A i j. s k k, a band generator of B n 1 for 1 i j n 1, and we call the REMARK 3.1. In [16], the reason why we call Q i Q j the segment corresponding to si A j is explained as follows. Let P 0 Q 0 (0, 0)¾Ê 2 and P n 2 Q n 2 (n 2, 0)¾Ê 2. Let C 2 be the circle in Ê 2 whose diameter is the segment P 0 P n 2. Let D be the disk in Ê 2, with D C 2. Take an isotopy {h u } u¾[0,1] of D such that for each u ¾ [0, 1], h 0 id, h u D id, and for each u ¾ [0, 1] and each (x, y) ¾ Ë n 1 i 0 Q iq i 1, h u (x, y) (x, (1 u)y). Then h 1 (Q i ) P i for any i. For 1 i j n 1, we define «A i j by the arc h 1 (Q i Q j ) in D. Note that «A i j {P i, P j }, «A i j is upper than P k if k ¾ A and «A i j is lower than P k if k A. The braid group B n 1 is isomorphic to the mapping class group of (D, {P 1,, P n 1 }) relative to the boundary (cf. [3]). The band generator s A i j corresponds to the isotopy class of a homeomorphism from (D,{P 1,,P n 1 }) to itself which twists a sufficiently small disk neighborhood of the arc «i A j by 180 Æ -rotation clockwise using its collar neighborhood. By the homeomorphism h 1 Ï (D, {Q 1,, Q n 1 }) (D,{P 1,, P n 1 }), we identify the mapping class group of (D,{Q 1,, Q n 1 }) and that of (D, {P 1,, P n 1 }). Then the band generator si A j corresponds to the isotopy class of a homeomorphism from (D, {Q 1,, Q n 1 }) to itself which twists a sufficiently small disk neighborhood of the segment Q i Q j by 180 Æ -rotation clockwise. Thus, we say that the segment Q i Q j corresponds to the band generator si A j ¾ A.
6 64 Y. YAGUCHI Fig Let (g 1,, g n ) be an element of the n-fold product ( n 1 A )n of n 1 A and let (a 1,, a n ) be the n-tuple of the segments a i corresponding to g i. Then, we call (a 1,, a n ) the segment system corresponding to (g 1,, g n ). DEFINITION 3.2. An element of (¼n 1 A )n is A-good if it is good. An element of ( n 1 A )n is A-good if the corresponding segment system is A-good. We denote the set of elements of ( n 1 A )n (resp. (¼n 1 A )n ) which are A-good by G( n 1 A ) (resp. G(¼A n 1 )). EXAMPLE 3.3. Let n 4 and A {2}. Then, the element (s A 23, sa 24, sa 13, sa 25 ) of ( A 5 )4 is an A-good element. The segments a 1,, a 4 corresponding to s A 23, sa 24, sa 13, sa 25 are depicted in Fig Let Ë A {2,,n} ( A n 1 )n and ¼ Ë A {2,,n} (¼A n 1 )n. Let Ï ¼ be the map which sends an element of ( n 1 A )n to the segment system corresponding to it for each subset A of {2,,n}. It is obvious that the map is bijective and (( n 1 ) A )n (¼n 1 A )n. By Definition 3.2, (G( n 1 A )) G(¼A n 1 ). For each subset A of {2,, n}, we simply write for the bijective map G( A n 1 )Ï G( A n 1 ) G(¼A n 1 ). Proposition 3.4. Let A and B be subsets of {2,, n}. Then, the conditions ) and A B are mutually equivalent. G( A n 1 ) G( B n 1 ), G(¼A n 1 ) G(¼B n 1
7 Proof. DETERMINING THE HURWITZ ORBIT 65 If A B, then it is obvious that the other two conditions hold. By virtue of the bijective map Ï ¼, the conditions G( A n 1 ) G( B n 1 ) and G(¼A n 1 ) G(¼n 1 B ) are equivalent. We prove that the condition G(¼A n 1 ) G(¼B n 1 ) implies A B. Let Q X k denote the point (k, y k), on the circle C 1, associated with a subset X {2,,n}. Take elements (a 1,,a n )¾G(¼n 1 A ) and (b 1,,b n )¾G(¼n 1 B ). Then, by the conditions of Definition 2.2, a 1 a n {Q A 1,,QA n 1 } and b 1 b n {Q B 1,,QB n 1 }. Hence, the condition G(¼n 1 A ) G(¼B n 1 ) implies QA k Q B k for 1 k n 1, and this implies A B. This completes the proof of Proposition 3.4. Let A be a subset of {2,,n} and let Q 1,,Q n 1 be the points, on the circle C 1, associated with A. We regard G(¼ A n 1 ) as a subset of G n 1 putting labels Ú 1,, Ú n 1 on the points Q 1,, Q n 1, resp. Recall that the Hurwitz action of B n on G n 1 is defined by ¼((¼ 1 ( )) ) for ¾ G n 1 and ¾ B n, where ¼ is the graphic map ¼Ï T n 1 G n 1. By Proposition 3.5 (2), we obtain an action of B n on G(¼ A n 1 ) as a restriction of the Hurwitz action of B n on G n 1. We call it the Hurwitz action of B n on G(¼ A n 1 ). Proposition 3.5 ([16]). (1) If (g 1,, g n ) ¾ G( n 1 A ), then, for any ¾ B n, we have (g 1,, g n ) ¾ G( n 1 A ). (2) If (a 1,, a n )¾G(¼n 1 A ), then, for any ¾ B n, we have (a 1,, a n ) ¾G(¼n 1 A ). Take an element (g 1,, g n ) (si A 1 j 1,, si A n j n ) ¾ G( n 1 A ). Then, (g 1,, g n ) (Q i1 Q j1,, Q in Q jn ) ¼((i 1 j 1 ),, (i n j n )) ¼Æ P(g 1,, g n ) (¾ G(¼n 1 A )). Moreover, for any element ¾ B n, (g 1,, g n ) ¾ G( n 1 A ) by Proposition 3.5 (1), and we have ((g 1,,g n ) ) ¼Æ P((g 1,,g n ) ) ¼(P(g 1,,g n ) ) ¼(((i 1 j 1 ),,(i n j n )) ) ¼((¼ 1 (Q i1 Q j1,, Q in Q jn )) ) (Q i1 Q j1,, Q in Q jn ) (g 1,, g n ). Thus, we have the following proposition. Proposition 3.6. For an element (g 1,, g n ) of G( n 1 A ), we have )) and (1) (g 1,, g n ) ¼ Æ P(g 1,, g n ) (¾ G(¼n 1 A (2) for any element ¾ B n, ((g 1,, g n ) ) (g 1,, g n ). By Proposition 3.6 (2), the bijective map Ï G( n 1 A ) G(¼A n 1 ) implies that two statements of (1) and (2) of Proposition 3.5 are equivalent. 4. Proof of Theorem 1.2 and Theorem 2.3. Throughout this section, n is a fixed integer n with n 2 and X n 1 is the set of the integers {2,, n}. For a permutation ³ of {1,, n}, let A ³ {i ¾ X n 1 ³ 1 (i 1) ³ 1 (i)}. For the first step of the proof of Theorem 1.2 and Theorem 2.3, we prepare the following lemma which is proved in [16]:
8 66 Y. YAGUCHI Lemma 4.1 ([16]). (s ³(1),, s ³(n) ) is an element of G( A³ n 1 ). Let A be a subset of X n 1. By virtue of the bijective map Ï G( A n 1 ) G(¼A n 1 ), two statements of (1) and (2) of Theorem 4.2 are equivalent. Theorem 4.2 is also our main result in this paper. Theorem 4.2. (1) For each element (a 1,, a n ) of G(¼n 1 A ), the Hurwitz orbit (a 1,, a n ) B n is equal to the set G(¼ A n 1 ). (2) For each element (g 1,, g n ) of G( A n 1 ), the Hurwitz orbit (g 1,, g n ) B n is equal to the set G( A n 1 ). The following theorem is directly obtained from Lemma 4.1 and Theorem 4.2 (2). Theorem 4.3. For a permutation ³ of {1,, n}, the Hurwitz orbit (s ³(1),, s ³(n) ) B n is equal to the set G( A³ n 1 ). We can prove Theorem 1.2 and Theorem 2.3 by using Theorem 4.3. Proof of Theorem 1.2. We prove that the conditions (1) and (3) are equivalent. Take permutations ³ and of {1,, n}. The condition (1) is equivalent to (s ³(1),, s ³(n) ) B n (s (1),, s (n) ) B n. By Theorem 4.3, this is equivalent to G( A³ G( A n 1 ). By Proposition 3.4, this is equivalent to A³ A, and we have the result. Proof of Theorem 2.3. n 1 ) Fix a permutation ³ of {1,,n} and let A A ³. By Theorem 4.3, (s ³(1),,s ³(n) ) B n G( A n 1 ). Then, ((s ³(1),,s ³(n) ) B n ) (G( A n 1 )) G(¼ A n 1 ). Let Q (Q 1,, Q n 1 ) be the ordered n 1 points of associated with A, that is an element of the configuration space Q n 1 (C 1 ) of the circle C 1. Then, G(¼n 1 A ) G(¼ Q n 1 ) and we regard G(¼Q n 1 ) as a subset of G n 1 putting labels Ú 1,, Ú n 1 on the points Q 1,, Q n 1, resp. By Proposition 3.6 (2), ((s ³(1),, s ³(n) ) B n ) (s ³(1),, s ³(n) ) B n. By Proposition 3.6 (1), (s ³(1),, s ³(n) ) B n ¼Æ P((s ³(1),, s ³(n) ) B n ) ¼((P(s ³(1),, s ³(n) )) B n ) ¼((t ³(1),, t ³(n) ) B n ) ¼(t ³(1),, t ³(n) ) B n, where ¼Ï T n 1 G n 1 is the graphic map. Thus, ¼(t ³(1),, t ³(n) ) B n G(¼ Q n 1 ), and we have the result. Let C be a circle in Ê 2. Fix an element q (q 1,, q n 1 ) of the configuration space Q n 1 (C). Let ¼ n 1 denote the set of segments ¼ q n 1 {q i q j 1 i j n 1} in Ê 2. Let G(¼ n 1 ) be the set of good elements of (¼ n 1 ) n. Let r 1,, r n 1 be n 1 points with {r 1,, r n 1 } {q 1,, q n 1 } such that r 1,, r n 1 stand on C counterclockwise in this order. Let A be an subset of X n 1 and let Q 1,, Q n 1 be the n 1 points, on the circle the C 1, associated with A. Let R 1,, R n 1 be n 1 points with {R 1,, R n 1 }
9 DETERMINING THE HURWITZ ORBIT 67 {Q 1,, Q n 1 } such that R 1,, R n 1 stand on the circle C 1 counterclockwise in this order. Let hï Ê 2 Ê 2 be a self-homeomorphism of Ê 2 such that h(c 1 ) C, h(r i ) r i for 1 i n 1 and h(r i R j ) r i r j for 1 i j n 1. Then, h induces the bijection hï ¼n 1 A ¼ n 1. Let f Ï (¼n 1 A )n (¼ n 1 ) n be the n-fold product of h, i.e., for each element (a 1,,a n ) of (¼n 1 A )n, f (a 1,,a n ) (h(a 1 ),,h(a n )). Then, it is obvious that f (G(¼n 1 A )) G(¼ n 1) and the map F f G(¼ A n 1 )Ï G(¼n 1 A ) G(¼ n 1) is bijective. If (e 1,,e n )¾G(¼ n 1 ), then, for any ¾ B n, we easily see that (e 1,,e n ) F((F 1 (e 1,, e n )) ). By virtue of the map F and the Hurwitz action of B n on G(¼ n 1 ), Proposition 3.5 is equivalent to Proposition 4.4, and Theorem 4.2 is equivalent to Theorem 4.5. The rest of this section is devoted to proving Theorem 4.5 (and hence Theorem 4.2). Proposition 4.4. If (e 1,, e n ) ¾ G(¼ n 1 ), then, for any k ¾ {1,, n 1} and any ¾ { 1, 1}, we have (e 1,, e n ) k ¾ G(¼ n 1 ). Theorem 4.5. For each element (e 1,, e n ) of G(¼ n 1 ), the Hurwitz orbit (e 1,, e n ) B n is equal to the set G(¼ n 1 ). For elements a and b of ¼ n 1 satisfying that a and b are disjoint or b is a right adjacent to a, we define the elements a b and b a of ¼ n 1 as follows. (1) If a and b are disjoint, then, let a b a and let b a b. (2) If b is a right adjacent to a and a q x q y, b q y q z, then, let a b b a q x q z. Let (e 1,, e n ) be an element of G(¼ n 1 ). By the conditions (i) and (ii) of Definition 2.2, for any k ¾ {1,, n 1}, e k and e k 1 are disjoint or e k 1 is a right adjacent to e k. This implies that the elements e k e k 1 and e k 1 e k of ¼ n 1 are defined. Then, we have the following proposition. Proposition 4.6 ([16]). The Hurwitz action of B n on G(¼ n 1 ) is given by and (e 1,, e k 1, e k, e k 1, e k 2,, e n ) k (e 1,, e k 1, e k 1, e k e k 1, e k 2,, e n ) (e 1,, e k 1, e k, e k 1, e k 2,, e n ) 1 k (e 1,, e k 1, e k 1 e k, e k, e k 2,, e n ). For a power «(1 2 n 1) t (t ¾ ) of the n 1-cyclic permutation (1 2 n 1), let c k r «(k) r «(k 1) for 1 k n. Then, we see that (c 1,, c n ) is an element of G(¼ n 1 ) and we call it cyclic. Lemma 4.7. Any two cyclic elements of G(¼ n 1 ) are Hurwitz equivalent.
10 68 Y. YAGUCHI Proof. Let c0 (r 1 r 2,,r n r n 1 ), that is a cyclic element of G(¼ n 1 ). It is enough to prove that any cyclic element c is Hurwitz equivalent to c0. Put c (c 1,,c n ) (r «(1) r «(2),, r «(n) r «(n 1) ) for a power «of the cyclic permutation (1 2 n 1). By Proposition 4.6, c ( 1 2 n 1 ) (c 2, c 3,, c n, ( ((c 1 c 2 ) c 3 ) ) c n ). Since the points r 1,,r n 1 stand on C 1 counterclockwise in this order, so do the points r «(1), r «(i) and r «(i 1) for 2 i n. Hence, r «(1) r «(i) is a right adjacent to c i r «(i) r «(i 1). Since c 1 r «(1) r «(2) and r «(1) r «(i) c i r «(1) r «(i 1), we have ( ((c 1 c 2 ) c 3 ) ) c n r «(1) r «(n 1). Thus, c ( 1 n 1 ) (r «(2) r «(3),, r «(n) r «(n 1), r «(n 1) r «(1) ). If «(t) n 1, then c ( 1 n 1 ) t c0 and we have the result. Let C¼ n 1 {r 1 r 2,, r n r n 1, r n 1 r 1 }. Then, the following lemma holds. Lemma 4.8. k ¾ {1,, n} such that e k ¾ C¼ n 1. Proof. For any element (e 1,, e n ) of G(¼ n 1 ), there exists an element Suppose that there exists an element (e 1,, e n ) of G(¼ n 1 ) such that e k ¾ ¼ n 1 ÒC¼ n 1 for each k ¾ {1,, n}. Since the n 1-gon r 1 r 2 r n 1 is convex, there exist elements i, j ¾ {1,, n} (i j) such that e i and e j intersect in their interior. This contradicts the condition (i) of Definition 2.2. Thus, we have the result. For a power «of the n 1-cyclic permutation (1 2 n 1), let G «(¼ n 1 ) be the set defined by {(e 1,, e n ) ¾ G(¼ n 1 ) e n r «(n) r «(n 1) }. Let ¼ n,«be the subset of ¼ n 1 defined by {r i r j ¾ ¼ n 1 i, j «(n 1)} and let G(¼ n,«) be the set of good elements of (¼ n,«) n 1. Then, we have the following. Lemma 4.9. Let (e 1,, e n ) be an element of G «(¼ n 1 ) for a power «of the (n 1)-cyclic permutation (1 2 n 1). Then, we have: (1) the degree of the vertex r «(n 1) of the graph e 1 e n is 1, and (2) (e 1,, e n 1 ) is an element of G(¼ n,«). Proof. First, we prove (1). Suppose that the degree of the vertex r «(n 1) is greater than 1. Then, there exists r «(n 1) r x ¾ {e 1,, e n 1 } for some x ¾ {1,, n 1} Ò {«(n),«(n 1)}. Since the points r «(1),,r «(n) and r «(n 1) stand on C counterclockwise in this order, so do the points r «(n), r «(n 1) and r x in this order. Thus, r «(n 1) r x is right adjacent to r «(n) r «(n 1) e n. This contradicts the condition (ii) of Definition 2.2. Thus, the degree of the vertex r «(n 1) must be 1. By (1), the union e 1 e n 1 is contractible, hence (e 1,, e n 1 ) satisfies the condition (iii) of Definition 2.2. It is obvious that (e 1,, e n 1 ) satisfies (i) and (ii) of Definition 2.2. Thus, we obtain (2). Theorem 4.5 is proved by Proposition 4.4, Lemma 4.7 and the following lemma.
11 DETERMINING THE HURWITZ ORBIT 69 Lemma of G(¼ n 1 ). Any element of G(¼ n 1 ) is Hurwitz equivalent to a cyclic element Proof. Let (e 1,, e n ) be an element of G(¼ n 1 ). We prove this by induction on n. First, consider a case where n 2. Then, (e 1, e 2 ) (r 1 r 2, r 2 r 3 ), (r 2 r 3, r 3 r 1 ) or (r 3 r 1, r 1 r 2 ). They are cyclic and we have the result when n 2. Next, consider a case where n 2. By Lemma 4.8, we can take an element k ¾ {1,, n} such that e k ¾ C¼ n 1. Let (e ¼ 1,, e¼ n ) (e 1,, e n ) ( n 1 n 2 k ) 1. Using Proposition 4.6, by direct calculations (e ¼ 1,, e¼ n ) (e 1, e 2,, e k 1, e k 1 e k, e k 2 e k,, e n e k, e k ). By Proposition 4.4, (e ¼ 1,, e¼ n ) is an element of G(¼ n 1). Since e ¼ n e k ¾ C¼ n 1, e ¼ n r «(n) r «(n 1) for a power «of the n 1-cyclic permutation (1 2 n 1). Then, (e ¼ 1,, e¼ n ) is an element of G «(¼ n 1 ). By Lemma 4.9 (2), (e ¼ 1,, e¼ n 1 ) is an element of G(¼ n,«). By the assumption of the induction, (e ¼ 1,, e¼ n 1 ) is Hurwitz equivalent to a cyclic element (r («(1)) r («(2)),, r («(n 1)) r («(n)) ) of G(¼ n,«), where is a power of the n-cyclic permutation («(1) «(2) «(n)). By Lemma 4.7, it is Hurwitz equivalent to (r «(1) r «(2),, r «(n 1) r «(n) ). Then, (e ¼ 1,, e¼ n 1, e¼ n ) is Hurwitz equivalent to (r «(1) r «(2),, r «(n 1) r «(n), e ¼ n ) (r «(1)r «(2),, r «(n) r «(n 1) ), that is a cyclic element of G(¼ n 1 ), and we have the result. Proof of Theorem 4.5. By Proposition 4.4, it is sufficient to prove that any two elements of G(¼ n 1 ) are Hurwitz equivalent. Take an element g of G(¼n 1 ). By Lemma 4.10, g is Hurwitz equivalent to a cyclic element c of G(¼n 1 ). By Lemma 4.7, c is Hurwitz equivalent to a special cyclic element c0. Hence, any element of G(¼ n 1 ) is Hurwitz equivalent to c0. This completes the proof of Theorem 4.5. ACKNOWLEDGMENTS. The author would like to thank Professor Takao Matumoto, Professor Seiichi Kamada and Professor Makoto Sakuma for their help. This work was supported by JSPS KAKENHI Grant Number
12 70 Y. YAGUCHI References [1] E. Artin: Theorie der Zöpfe, Abh. Math. Sem. Univ. Hamburg 4 (1925), [2] T. Ben-Itzhak and M. Teicher: Properties of Hurwitz equivalence in the braid group of order n, J. Algebra 264 (2003), [3] J.S. Birman: Braids, Links, and Mapping Class Groups, Ann. of Math. Studies 82, Princeton Univ. Press, Princeton, NJ, [4] F. Bohnenblust: The algebraical braid group, Ann. of Math. (2) 48 (1947), [5] F. Catanese and M. Paluszny: Polynomial-lemniscates, trees and braids, Topology 30 (1991), [6] F. Catanese and B. Wajnryb: The fundamental group of generic polynomials, Topology 30 (1991), [7] F.A. Garside: The braid group and other groups, Quart. J. Math. Oxford Ser. (2) 20 (1969), [8] S.P. Humphries: Finite Hurwitz braid group actions on sequences of Euclidean reflections, J. Algebra 269 (2003), [9] S.P. Humphries: Finite Hurwitz braid group actions for Artin groups, Israel J. Math. 143 (2004), [10] A. Hurwitz: Ueber die Anzahl der Riemann schen Flächen mit gegebenen Verzweigungspunkten, Math. Ann. 55 (1901), [11] S. Kamada: Braid and Knot Theory in Dimension Four, Mathematical Surveys and Monographs 95, Amer. Math. Soc., Providence, RI, [12] P. Kluitmann: Hurwitz action and finite quotients of braid groups; in Braids (Santa Cruz, CA, 1986), Contemp. Math. 78, Amer. Math. Soc., Providence, RI, 1988, [13] B.G. Moishezon: Stable branch curves and braid monodromies; in Algebraic Geometry (Chicago, Ill., 1980), Lecture Notes in Math. 862, Springer, Berlin, 1981, [14] L. Rudolph: Braided surfaces and Seifert ribbons for closed braids, Comment. Math. Helv. 58 (1983), [15] Y. Yaguchi: Isotropy subgroup of Hurwitz action of the 3-braid group on the braid systems, J. Knot Theory Ramifications 18 (2009), [16] Y. Yaguchi: The orbits of the Hurwitz action of the braid groups on the standard generators, Fund. Math. 210 (2010), [17] Y. Yaguchi: Isotropy subgroup of the Hurwitz action of the 4-braid group on braid systems, J. Gökova Geom. Topol. 4 (2010), Department of Mathematics Hiroshima University Higashi-Hiroshima Hiroshima, Japan Current address: School of Science Gunma National College of Technology Maebashi, Gunma, Japan yaguchi1984@gmail.com
A PRESENTATION FOR THE MAPPING CLASS GROUP OF A NON-ORIENTABLE SURFACE FROM THE ACTION ON THE COMPLEX OF CURVES
Szepietowski, B. Osaka J. Math. 45 (008), 83 36 A PRESENTATION FOR THE MAPPING CLASS GROUP OF A NON-ORIENTABLE SURFACE FROM THE ACTION ON THE COMPLEX OF CURVES BŁAŻEJ SZEPIETOWSKI (Received June 30, 006,
More informationSUPPLEMENT TO A CHORD DIAGRAM OF A RIBBON SURFACE-LINK
SUPPLEMENT TO A CHORD DIAGRAM OF A RIBBON SURFACE-LINK Akio Kawauchi Osaka City University Advanced Mathematical Institute Sugimoto, Sumiyoshi-ku, Osaka 558-8585, Japan kawauchi@sci.osaka-cu.ac.jp Abstract
More informationarxiv: v1 [math.gt] 17 Aug 2010
A SYMMETRIC MOTION PICTURE OF THE TWIST-SPUN TREFOIL arxiv:1008.2819v1 [math.gt] 17 Aug 2010 AYUMU INOUE Abstract. With the aid of a computer, we provide a motion picture of the twist-spun trefoil which
More informationA note on graphs and rational balls
RACSAM (2018) 112:705 716 https://doi.org/10.1007/s13398-017-0464-x ORIGINAL PAPER A note on graphs and rational balls AnaG.Lecuona 1 Received: 10 May 2017 / Accepted: 24 October 2017 / Published online:
More informationCitation Osaka Journal of Mathematics. 43(2)
TitleIrreducible representations of the Author(s) Kosuda, Masashi Citation Osaka Journal of Mathematics. 43(2) Issue 2006-06 Date Text Version publisher URL http://hdl.handle.net/094/0396 DOI Rights Osaka
More informationCross-index of a graph
Cross-index of a graph Akio Kawauchi, Ayaka Shimizu, and Yoshiro Yaguchi Abstract. A family of topological invariants of a connected graph associated to every tree is introduced and called the cross-index.
More informationOn the irreducibility of Hurwitz spaces of coverings with an arbitrary number of special points
Filomat 7:8 (013), 1463 1471 DOI 10.98/FIL1308463V Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat On the irreducibility of Hurwitz
More informationarxiv: v1 [math.gt] 15 Jul 2017
PRESENTATION OF IMMERSED SURFACE-LINKS BY MARKED GRAPH DIAGRAMS arxiv:1707.04688v1 [math.gt] 15 Jul 2017 SEIICHI KAMADA, AKIO KAWAUCHI, JIEON KIM, AND SANG YOUL LEE Abstract. It is well known that surface-links
More informationRUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW
Hedén, I. Osaka J. Math. 53 (2016), 637 644 RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW ISAC HEDÉN (Received November 4, 2014, revised May 11, 2015) Abstract The famous Russell hypersurface is
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationOn Linear and Residual Properties of Graph Products
On Linear and Residual Properties of Graph Products Tim Hsu & Daniel T. Wise 1. Introduction Graph groups are groups with presentations where the only relators are commutators of the generators. Graph
More informationP.S. Gevorgyan and S.D. Iliadis. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 70, 2 (208), 0 9 June 208 research paper originalni nauqni rad GROUPS OF GENERALIZED ISOTOPIES AND GENERALIZED G-SPACES P.S. Gevorgyan and S.D. Iliadis Abstract. The
More informationarxiv: v1 [math.gt] 2 Jun 2016
CONVERTING VIRTUAL LINK DIAGRAMS TO NORMAL ONES NAOKO KAMADA arxiv:1606.00667v1 [math.gt] 2 Jun 2016 Abstract. A virtual link diagram is called normal if the associated abstract link diagram is checkerboard
More informationarxiv:math/ v1 [math.gt] 3 Jun 2003
AUTOMORPHISMS OF SURFACE BRAID GROUPS arxiv:math/0306069v1 [math.gt] 3 Jun 2003 ELMAS IRMAK, NIKOLAI V. IVANOV, AND JOHN D. MCCARTHY Abstract. In this paper, we prove that each automorphism of a surface
More informationarxiv:math/ v1 [math.gt] 14 Nov 2003
AUTOMORPHISMS OF TORELLI GROUPS arxiv:math/0311250v1 [math.gt] 14 Nov 2003 JOHN D. MCCARTHY AND WILLIAM R. VAUTAW Abstract. In this paper, we prove that each automorphism of the Torelli group of a surface
More informationNON-TRIVIALITY OF GENERALIZED ALTERNATING KNOTS
Journal of Knot Theory and Its Ramifications c World Scientific Publishing Company NON-TRIVIALITY OF GENERALIZED ALTERNATING KNOTS MAKOTO OZAWA Natural Science Faculty, Faculty of Letters, Komazawa University,
More informationPSEUDO-ANOSOV MAPS AND SIMPLE CLOSED CURVES ON SURFACES
MATH. PROC. CAMB. PHIL. SOC. Volume 128 (2000), pages 321 326 PSEUDO-ANOSOV MAPS AND SIMPLE CLOSED CURVES ON SURFACES Shicheng Wang 1, Ying-Qing Wu 2 and Qing Zhou 1 Abstract. Suppose C and C are two sets
More informationarxiv:math/ v1 [math.gt] 16 Aug 2000
arxiv:math/0008118v1 [math.gt] 16 Aug 2000 Stable Equivalence of Knots on Surfaces and Virtual Knot Cobordisms J. Scott Carter University of South Alabama Mobile, AL 36688 cartermathstat.usouthal.edu Masahico
More informationOn the K-category of 3-manifolds for K a wedge of spheres or projective planes
On the K-category of 3-manifolds for K a wedge of spheres or projective planes J. C. Gómez-Larrañaga F. González-Acuña Wolfgang Heil July 27, 2012 Abstract For a complex K, a closed 3-manifold M is of
More informationON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS
ON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS OLGA VARGHESE Abstract. Graph products and Coxeter groups are defined via vertex-edge-labeled graphs. We show that if the graph has a special shape, then
More informationON HYPERBOLIC SURFACE BUNDLES OVER THE CIRCLE AS BRANCHED DOUBLE COVERS OF THE 3-SPHERE
ON HYPERBOLIC SURFACE BUNDLES OVER THE CIRCLE AS BRANCHED DOUBLE COVERS OF THE 3-SPHERE SUSUMU HIROSE AND EIKO KIN Astract. The ranched virtual fiering theorem y Sakuma states that every closed orientale
More informationBRAID GROUPS ALLEN YUAN. 1. Introduction. groups. Furthermore, the study of these braid groups is also both important to mathematics
BRAID GROUPS ALLEN YUAN 1. Introduction In the first lecture of our tutorial, the knot group of the trefoil was remarked to be the braid group B 3. There are, in general, many more connections between
More informationarxiv: v1 [math.gr] 20 Jan 2012
A THOMPSON GROUP FOR THE BASILICA JAMES BELK AND BRADLEY FORREST arxiv:1201.4225v1 [math.gr] 20 Jan 2012 Abstract. We describe a Thompson-like group of homeomorphisms of the Basilica Julia set. Each element
More informationAN INTRODUCTION TO THE FUNDAMENTAL GROUP
AN INTRODUCTION TO THE FUNDAMENTAL GROUP DAVID RAN Abstract. This paper seeks to introduce the reader to the fundamental group and then show some of its immediate applications by calculating the fundamental
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationFAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES
FAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES MARGARET NICHOLS 1. Introduction In this paper we study the complex structures which can occur on algebraic curves. The ideas discussed
More informationRoots of crosscap slides and crosscap transpositions
Period Math Hung (207) 75:43 49 DOI 0007/s0998-07-020-3 Roots of crosscap slides and crosscap transpositions Anna Parlak Michał Stukow Published online: August 207 The Author(s) 207 This article is an
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationRealizability and exceptionality of candidate surface branched covers: methods and results
arxiv:0709.050v [math.gt] 3 Sep 007 Realizability and exceptionality of candidate surface branched covers: methods and results Let f : Ekaterina Pervova February 6, 008 Abstract Carlo Petronio Σ denote
More informationLifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions
Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By
More informationOn surface-knots with triple point number at most three
On surface-knots with triple point number at most three A. Al Kharusi and T. Yashiro Abstract arxiv:1711.04838v1 [math.at] 13 Nov 2017 In this paper, we show that if a diagram of a surface-knot F has at
More informationFuchsian groups. 2.1 Definitions and discreteness
2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this
More informationPrimitivity of monodromy groups of branched coverings: a non-orientable case
Primitivity of monodromy groups of branched coverings: a non-orientable case Natalia A. Viana Bedoya and Daciberg Lima Gonçalves Abstract In the present work we characterize even-fold branched coverings
More informationMinimal transitive factorizations of a permutation of type (p, q)
FPSAC 2012, Nagoya, Japan DMTCS proc. AR, 2012, 679 688 Minimal transitive factorizations of a permutation of type (p, q Jang Soo Kim 1, Seunghyun Seo 2 and Heesung Shin 3 1 School of Mathematics, University
More informationTHE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES
Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main
More informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM SAMUEL BLOOM Abstract. In this paper, we define the fundamental group of a topological space and explore its structure, and we proceed to prove Van-Kampen
More informationHyperelliptic Lefschetz fibrations and the Dirac braid
Hyperelliptic Lefschetz fibrations and the Dirac braid joint work with Seiichi Kamada Hisaaki Endo (Tokyo Institute of Technology) Differential Topology 206 March 20, 206, University of Tsukuba March 20,
More informationHigh-dimensional knots corresponding to the fractional Fibonacci groups
F U N D A M E N T A MATHEMATICAE 161 (1999) High-dimensional knots corresponding to the fractional Fibonacci groups by Andrzej S z c z e p a ń s k i (Gdańsk) and Andreĭ V e s n i n (Novosibirsk) Abstract.
More informationREPRESENTING HOMOLOGY AUTOMORPHISMS OF NONORIENTABLE SURFACES
REPRESENTING HOMOLOGY AUTOMORPHISMS OF NONORIENTABLE SURFACES JOHN D. MCCARTHY AND ULRICH PINKALL Abstract. In this paper, we prove that every automorphism of the first homology group of a closed, connected,
More informationPictures and Syzygies: An exploration of pictures, cellular models and free resolutions
Pictures and Syzygies: An exploration of pictures, cellular models and free resolutions Clay Shonkwiler Department of Mathematics The University of the South March 27, 2005 Terminology Let G = {X, R} be
More informationSOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS
Proyecciones Vol. 21, N o 1, pp. 21-50, May 2002. Universidad Católica del Norte Antofagasta - Chile SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS RUBÉN HIDALGO Universidad Técnica Federico Santa María
More informationThis document is downloaded from DR-NTU, Nanyang Technological University Library, Singapore.
This document is downloaded from DR-NTU, Nanyang Technological University Library, Singapore. Title Multiple extensions of generalized hexagons related to the simple groups McL and Co3. Author(s) Cuypers,
More informationFLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS
FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS HANFENG LI Abstract. We construct examples of flabby strict deformation quantizations not preserving K-groups. This answers a question of Rieffel negatively.
More informationarxiv: v1 [math.gt] 11 Oct 2013
Homogeneous links and closed homogeneous arxiv:1310.3123v1 [math.gt] 11 Oct 2013 braids Marithania Silvero Departamento de Álgebra. Facultad de Matemáticas. Universidad de Sevilla. Spain. marithania@us.es
More informationON UNIQUENESS OF ESSENTIAL TANGLE DECOMPOSITIONS OF KNOTS WITH FREE TANGLE DECOMPOSITIONS
ON UNIQUENESS OF ESSENTIAL TANGLE DECOMPOSITIONS OF KNOTS WITH FREE TANGLE DECOMPOSITIONS MAKOTO OZAWA 1. Introduction Let B be a 3-ball and t = t 1... t n a union of mutually disjoint n arcs properly
More informationSELF-EQUIVALENCES OF DIHEDRAL SPHERES
SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)
More informationSeifert forms and concordance
ISSN 1364-0380 (on line) 1465-3060 (printed) 403 Geometry & Topology Volume 6 (2002) 403 408 Published: 5 September 2002 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT Seifert forms and concordance
More informationOn graphs whose Hosoya indices are primitive Pythagorean triples
Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 (Print), ISSN 2367 8275 (Online) Vol. 22, 2016, No. 1, 59 80 On graphs whose Hosoya indices are primitive Pythagorean triples Tomoe Kadoi
More informationTOPOLOGICAL ENTROPY FOR DIFFERENTIABLE MAPS OF INTERVALS
Chung, Y-.M. Osaka J. Math. 38 (200), 2 TOPOLOGICAL ENTROPY FOR DIFFERENTIABLE MAPS OF INTERVALS YONG MOO CHUNG (Received February 9, 998) Let Á be a compact interval of the real line. For a continuous
More informationPatterns and minimal dynamics for graph maps
Patterns and minimal dynamics for graph maps Lluís Alsedà Departament de Matemàtiques Universitat Autònoma de Barcelona http://www.mat.uab.cat/ alseda XV Encuentro de Topología Castellò de la Plana, September
More informationPseudo Sylow numbers
Pseudo Sylow numbers Benjamin Sambale May 16, 2018 Abstract One part of Sylow s famous theorem in group theory states that the number of Sylow p- subgroups of a finite group is always congruent to 1 modulo
More informationCounting conjugacy classes of subgroups in a finitely generated group
arxiv:math/0403317v2 [math.co] 16 Apr 2004 Counting conjugacy classes of subgroups in a finitely generated group Alexander Mednykh Sobolev Institute of Mathematics, Novosibirsk State University, 630090,
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES
VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We
More informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
More informationFUNDAMENTAL GROUPS OF COMPLEMENTS OF PLANE CURVES AND SYMPLECTIC INVARIANTS
FUNDAMENTAL GROUPS OF COMPLEMENTS OF PLANE CURVES AND SYMPLECTIC INVARIANTS D. AUROUX, S. K. DONALDSON, L. KATZARKOV, AND M. YOTOV Abstract. Introducing the notion of stabilized fundamental group for the
More informationDessins d enfants and transcendental lattices of singular K3 surfaces. Dessins d enfants and transcendental lattices of extremal elliptic surfaces
Dessins d enfants and transcendental lattices of singular K3 surfaces Dessins d enfants and transcendental lattices of extremal elliptic surfaces Saitama, 2008 March Ichiro Shimada (Hokkaido University)
More informationDETERMINATION OF GENERALIZED HORSESHOE MAPS INDUCING ALL LINK TYPES
DETERMINATION OF GENERALIZED HORSESHOE MAPS INDUCING ALL LINK TYPES MIKAMI HIRASAWA AND EIKO KIN Abstract. Let ϕ be an orientation preserving automorphism of the -disk, and Φ an isotopy from the identity
More informationA geometric interpretation of Milnor s triple linking numbers
ISSN 1472-2739 (on-line) 1472-2747 (printed) 557 Algebraic & Geometric Topology Volume 3 (2003) 557 568 Published: 19 June 2003 ATG A geometric interpretation of Milnor s triple linking numbers Blake Mellor
More informationGeneric lemniscates of algebraic functions
Math. Ann. 307, 417 444 (1997) Generic lemniscates of algebraic functions Ingrid Bauer, Fabrizio Catanese Dipartimento di Matematica della Universita di Pisa, via Buonarroti 2, I-56127 Pisa, Italy (e-mail:
More informationThe coincidence Nielsen number for maps into real projective spaces
F U N D A M E N T A MATHEMATICAE 140 (1992) The coincidence Nielsen number for maps into real projective spaces by Jerzy J e z i e r s k i (Warszawa) Abstract. We give an algorithm to compute the coincidence
More informationNEWLY FOUND FORBIDDEN GRAPHS FOR TRIVIALIZABILITY
NEWLY FOUND FORBIDDEN GRAPHS FOR TRIVIALIZABILITY RYO NIKKUNI Department of Mathematics, School of Education, Waseda University, Nishi-Waseda -6-, Shinjuku-ku, Tokyo, 69-8050, Japan nick@kurenai.waseda.jp
More informationThe mapping class group of a genus two surface is linear
ISSN 1472-2739 (on-line) 1472-2747 (printed) 699 Algebraic & Geometric Topology Volume 1 (2001) 699 708 Published: 22 November 2001 ATG The mapping class group of a genus two surface is linear Stephen
More informationarxiv:math/ v1 [math.gt] 27 Oct 2000
arxiv:math/0010267v1 [math.gt] 27 Oct 2000 ON THE LINEARITY OF CERTAIN MAPPING CLASS GROUPS MUSTAFA KORKMAZ Abstract. S. Bigelow proved that the braid groups are linear. That is, there is a faithful representation
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationTitleON THE S^1-FIBRED NILBOTT TOWER. Citation Osaka Journal of Mathematics. 51(1)
TitleON THE S^-FIBRED NILBOTT TOWER Author(s) Nakayama, Mayumi Citation Osaka Journal of Mathematics. 5() Issue 204-0 Date Text Version publisher URL http://hdl.handle.net/094/2987 DOI Rights Osaka University
More informationHURWITZ EQUIVALENCE OF BRAID MONODROMIES AND EXTREMAL ELLIPTIC SURFACES. Alex Degtyarev
HURWITZ EQUIVALENCE OF BRAID MONODROMIES AND EXTREMAL ELLIPTIC SURFACES Alex Degtyarev Abstract. We discuss the equivalence between the categories of certain ribbon graphs and subgroups of the modular
More informationORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS
ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS SIMON M. SMITH Abstract. If G is a group acting on a set Ω and α, β Ω, the digraph whose vertex set is Ω and whose arc set is the orbit (α, β)
More informationA NOTE ON SPACES OF ASYMPTOTIC DIMENSION ONE
A NOTE ON SPACES OF ASYMPTOTIC DIMENSION ONE KOJI FUJIWARA AND KEVIN WHYTE Abstract. Let X be a geodesic metric space with H 1(X) uniformly generated. If X has asymptotic dimension one then X is quasi-isometric
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationS ps S qs S rs S 0s. N pqr = s. S 2 2g
On generalizations of Verlinde's formula P. Bantay Inst. for Theor. Phys., Eotvos Univ. July, 000 Abstract It is shown that traces of mapping classes of finite order may be expressed by Verlinde-like formulae.
More informationarxiv:math/ v1 [math.gt] 15 Aug 2003
arxiv:math/0308147v1 [math.gt] 15 Aug 2003 CIRCLE PACKINGS ON SURFACES WITH PROJECTIVE STRUCTURES AND UNIFORMIZATION SADAYOSHI KOJIMA, SHIGERU MIZUSHIMA, AND SER PEOW TAN Abstract. Let Σ g be a closed
More informationTORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS
TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be
More informationarxiv:math/ v1 [math.gt] 14 Dec 2004
arxiv:math/0412275v1 [math.gt] 14 Dec 2004 AN OPEN BOOK DECOMPOSITION COMPATIBLE WITH RATIONAL CONTACT SURGERY BURAK OZBAGCI Abstract. We construct an open book decomposition compatible with a contact
More informationFactoring Families of Positive Knots on Lorenz-like Templates
Southern Illinois University Carbondale OpenSIUC Articles and Preprints Department of Mathematics 10-2008 Factoring Families of Positive Knots on Lorenz-like Templates Michael C. Sullivan Southern Illinois
More informationarxiv: v1 [math.gt] 2 Jun 2015
arxiv:1506.00712v1 [math.gt] 2 Jun 2015 REIDEMEISTER TORSION OF A 3-MANIFOLD OBTAINED BY A DEHN-SURGERY ALONG THE FIGURE-EIGHT KNOT TERUAKI KITANO Abstract. Let M be a 3-manifold obtained by a Dehn-surgery
More informationarxiv: v1 [math.at] 16 Jul 2015
ON THE HOMOTOPY TYPE OF THE COMPLEMENT OF AN ARRANGEMENT THAT IS A 2-GENERIC SECTION OF THE PARALLEL CONNECTION OF AN ARRANGEMENT AND A PENCIL OF LINES arxiv:1507.04706v1 [math.at] 16 Jul 2015 KRISTOPHER
More informationPSEUDO DIAGRAMS OF KNOTS, LINKS AND SPATIAL GRAPHS
PSEUDO DIAGRAMS OF KNOTS, LINKS AND SPATIAL GRAPHS RYO HANAKI Abstract. A pseudo diagram of a spatial graph is a spatial graph projection on the 2-sphere with over/under information at some of the double
More informationCIRCLE IMMERSIONS THAT CAN BE DIVIDED INTO TWO ARC EMBEDDINGS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 2, February 2010, Pages 743 751 S 0002-9939(09)10140-5 Article electronically published on October 1, 2009 CIRCLE IMMERSIONS THAT CAN
More information4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**
4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published
More informationThe Classification of Nonsimple Algebraic Tangles
The Classification of Nonsimple Algebraic Tangles Ying-Qing Wu 1 A tangle is a pair (B, T ), where B is a 3-ball, T is a pair of properly embedded arcs. When there is no ambiguity we will simply say that
More informationGeneralized lantern relations and planar line arrangements
Contemporary Mathematics Volume 572, 2012 http://dx.doi.org/10.1090/conm/572/11359 Generalized lantern relations and planar line arrangements Eriko Hironaka Abstract. In this paper we show that to each
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationarxiv: v4 [math.gr] 2 Sep 2015
A NON-LEA SOFIC GROUP ADITI KAR AND NIKOLAY NIKOLOV arxiv:1405.1620v4 [math.gr] 2 Sep 2015 Abstract. We describe elementary examples of finitely presented sofic groups which are not residually amenable
More informationREVERSALS ON SFT S. 1. Introduction and preliminaries
Trends in Mathematics Information Center for Mathematical Sciences Volume 7, Number 2, December, 2004, Pages 119 125 REVERSALS ON SFT S JUNGSEOB LEE Abstract. Reversals of topological dynamical systems
More informationNORMAL GENERATION OF UNITARY GROUPS OF CUNTZ ALGEBRAS BY INVOLUTIONS. 1. Introduction
NORMAL GENERATION OF UNITARY GROUPS OF CUNTZ ALGEBRAS BY INVOLUTIONS A. AL-RAWASHDEH Page 1 of 10 Abstract. In purely infinite factors, P. de la Harpe proved that a normal subgroup of the unitary group
More informationA NOTE ON STEIN FILLINGS OF CONTACT MANIFOLDS
A NOTE ON STEIN FILLINGS OF CONTACT MANIFOLDS ANAR AKHMEDOV, JOHN B. ETNYRE, THOMAS E. MARK, AND IVAN SMITH Abstract. In this note we construct infinitely many distinct simply connected Stein fillings
More informationGeometric representations of the braid groups
Geometric representations of the braid groups Fabrice Castel January 2010 Abstract: Let us denote by Σ g,b the orientable connected compact surface of genus g with b boundary components. In this paper,
More informationFLAT MANIFOLDS WITH HOLONOMY GROUP K 2 DIAGONAL TYPE
Ga sior, A. and Szczepański, A. Osaka J. Math. 51 (214), 115 125 FLAT MANIFOLDS WITH HOLONOMY GROUP K 2 DIAGONAL TYPE OF A. GA SIOR and A. SZCZEPAŃSKI (Received October 15, 212, revised March 5, 213) Abstract
More informationON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES
ON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES THANG T. Q. LÊ Abstract. We show that the Chebyshev polynomials form a basic block of any positive basis of the Kauffman bracket skein algebras
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationarxiv:math/ v1 [math.gt] 7 Jan 1998
A Presentation of the Mapping Class Groups arxiv:math/9801025v1 [math.gt] 7 Jan 1998 Feng Luo Dept. of Math., Rutgers University, New Brunswick, NJ 08903 e-mail: fluo@math.rutgers.edu Abstract. Using the
More informationComplete graphs whose topological symmetry groups are polyhedral
Digital Commons@ Loyola Marymount University and Loyola Law School Mathematics Faculty Works Mathematics 1-1-2011 Complete graphs whose topological symmetry groups are polyhedral Eric Flapan Blake Mellor
More informationKNOTS WITH BRAID INDEX THREE HAVE PROPERTY-P
Journal of Knot Theory and Its Ramifications Vol. 12, No. 4 (2003) 427 444 c World Scientific Publishing Company KNOTS WITH BRAID INDEX THREE HAVE PROPERTY-P W. MENASCO and X. ZHANG, Department of Mathematics,
More informationPERIODIC POINTS ON THE BOUNDARIES OF ROTATION DOMAINS OF SOME RATIONAL FUNCTIONS
Imada, M. Osaka J. Math. 51 (2014), 215 224 PERIODIC POINTS ON THE BOUNDARIES OF ROTATION DOMAINS OF SOME RATIONAL FUNCTIONS MITSUHIKO IMADA (Received March 28, 2011, revised July 24, 2012) Abstract We
More informationOn the existence of unramified p-extensions with prescribed Galois group. Osaka Journal of Mathematics. 47(4) P P.1165
Title Author(s) Citation On the existence of unramified p-extensions with prescribed Galois group Nomura, Akito Osaka Journal of Mathematics. 47(4) P.1159- P.1165 Issue Date 2010-12 Text Version publisher
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationOn metric characterizations of some classes of Banach spaces
On metric characterizations of some classes of Banach spaces Mikhail I. Ostrovskii January 12, 2011 Abstract. The first part of the paper is devoted to metric characterizations of Banach spaces with no
More informationThe cycle polynomial of a permutation group
The cycle polynomial of a permutation group Peter J. Cameron School of Mathematics and Statistics University of St Andrews North Haugh St Andrews, Fife, U.K. pjc0@st-andrews.ac.uk Jason Semeraro Department
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationON THE NIELSEN-THURSTON-BERS TYPE OF SOME SELF-MAPS OF RIEMANN SURFACES WITH TWO SPECIFIED POINTS
Imayoshi, Y., Ito, M. and Yamamoto, H. Osaka J. Math. 40 (003), 659 685 ON THE NIELSEN-THURSTON-BERS TYPE OF SOME SELF-MAPS OF RIEMANN SURFACES WITH TWO SPECIFIED POINTS Dedicated to Professor Hiroki Sato
More information