DETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP

Size: px
Start display at page:

Download "DETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP"

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

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 information

SUPPLEMENT TO A CHORD DIAGRAM OF A RIBBON SURFACE-LINK

SUPPLEMENT 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 information

arxiv: v1 [math.gt] 17 Aug 2010

arxiv: 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 information

A note on graphs and rational balls

A 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 information

Citation Osaka Journal of Mathematics. 43(2)

Citation 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 information

Cross-index of a graph

Cross-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 information

On the irreducibility of Hurwitz spaces of coverings with an arbitrary number of special points

On 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 information

arxiv: v1 [math.gt] 15 Jul 2017

arxiv: 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 information

RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW

RUSSELL 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 information

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE 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 information

On Linear and Residual Properties of Graph Products

On 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 information

P.S. Gevorgyan and S.D. Iliadis. 1. Introduction

P.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 information

arxiv: v1 [math.gt] 2 Jun 2016

arxiv: 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 information

arxiv:math/ v1 [math.gt] 3 Jun 2003

arxiv: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 information

arxiv:math/ v1 [math.gt] 14 Nov 2003

arxiv: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 information

NON-TRIVIALITY OF GENERALIZED ALTERNATING KNOTS

NON-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 information

PSEUDO-ANOSOV MAPS AND SIMPLE CLOSED CURVES ON SURFACES

PSEUDO-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 information

arxiv:math/ v1 [math.gt] 16 Aug 2000

arxiv: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 information

On 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 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 information

ON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS

ON 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 information

ON 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 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 information

BRAID 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. 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 information

arxiv: v1 [math.gr] 20 Jan 2012

arxiv: 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 information

AN INTRODUCTION TO THE FUNDAMENTAL GROUP

AN 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 information

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY 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 information

FAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES

FAMILIES 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 information

Roots of crosscap slides and crosscap transpositions

Roots 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 information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. 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 information

Realizability and exceptionality of candidate surface branched covers: methods and results

Realizability 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 information

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

Lifting 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 information

On surface-knots with triple point number at most three

On 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 information

Fuchsian groups. 2.1 Definitions and discreteness

Fuchsian 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 information

Primitivity of monodromy groups of branched coverings: a non-orientable case

Primitivity 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 information

Minimal transitive factorizations of a permutation of type (p, q)

Minimal 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 information

THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES

THE 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 information

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents

FUNDAMENTAL 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 information

Hyperelliptic Lefschetz fibrations and the Dirac braid

Hyperelliptic 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 information

High-dimensional knots corresponding to the fractional Fibonacci groups

High-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 information

REPRESENTING HOMOLOGY AUTOMORPHISMS OF NONORIENTABLE SURFACES

REPRESENTING 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 information

Pictures and Syzygies: An exploration of pictures, cellular models and free resolutions

Pictures 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 information

SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS

SOME 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 information

This document is downloaded from DR-NTU, Nanyang Technological University Library, Singapore.

This 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 information

FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS

FLABBY 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 information

arxiv: v1 [math.gt] 11 Oct 2013

arxiv: 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 information

ON UNIQUENESS OF ESSENTIAL TANGLE DECOMPOSITIONS OF KNOTS WITH FREE TANGLE DECOMPOSITIONS

ON 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 information

SELF-EQUIVALENCES OF DIHEDRAL SPHERES

SELF-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 information

Seifert forms and concordance

Seifert 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 information

On graphs whose Hosoya indices are primitive Pythagorean triples

On 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 information

TOPOLOGICAL ENTROPY FOR DIFFERENTIABLE MAPS OF INTERVALS

TOPOLOGICAL 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 information

Patterns and minimal dynamics for graph maps

Patterns 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 information

Pseudo Sylow numbers

Pseudo 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 information

Counting conjugacy classes of subgroups in a finitely generated group

Counting 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 information

VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES

VARIETIES 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 information

Bredon, Introduction to compact transformation groups, Academic Press

Bredon, 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 information

FUNDAMENTAL GROUPS OF COMPLEMENTS OF PLANE CURVES AND SYMPLECTIC INVARIANTS

FUNDAMENTAL 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 information

Dessins 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 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 information

DETERMINATION OF GENERALIZED HORSESHOE MAPS INDUCING ALL LINK TYPES

DETERMINATION 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 information

A geometric interpretation of Milnor s triple linking numbers

A 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 information

Generic lemniscates of algebraic functions

Generic 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 information

The coincidence Nielsen number for maps into real projective spaces

The 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 information

NEWLY FOUND FORBIDDEN GRAPHS FOR TRIVIALIZABILITY

NEWLY 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 information

The mapping class group of a genus two surface is linear

The 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 information

arxiv:math/ v1 [math.gt] 27 Oct 2000

arxiv: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 information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL 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 information

TitleON THE S^1-FIBRED NILBOTT TOWER. Citation Osaka Journal of Mathematics. 51(1)

TitleON 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 information

HURWITZ EQUIVALENCE OF BRAID MONODROMIES AND EXTREMAL ELLIPTIC SURFACES. Alex Degtyarev

HURWITZ 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 information

ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS

ORBITAL 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 information

A NOTE ON SPACES OF ASYMPTOTIC DIMENSION ONE

A 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 information

Classification of effective GKM graphs with combinatorial type K 4

Classification 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 information

S ps S qs S rs S 0s. N pqr = s. S 2 2g

S 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 information

arxiv:math/ v1 [math.gt] 15 Aug 2003

arxiv: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 information

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS

TORIC 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 information

arxiv:math/ v1 [math.gt] 14 Dec 2004

arxiv: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 information

Factoring Families of Positive Knots on Lorenz-like Templates

Factoring 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 information

arxiv: v1 [math.gt] 2 Jun 2015

arxiv: 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 information

arxiv: v1 [math.at] 16 Jul 2015

arxiv: 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 information

PSEUDO DIAGRAMS OF KNOTS, LINKS AND SPATIAL GRAPHS

PSEUDO 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 information

CIRCLE IMMERSIONS THAT CAN BE DIVIDED INTO TWO ARC EMBEDDINGS

CIRCLE 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 information

4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**

4 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 information

The Classification of Nonsimple Algebraic Tangles

The 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 information

Generalized lantern relations and planar line arrangements

Generalized 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 information

8. Prime Factorization and Primary Decompositions

8. 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 information

arxiv: v4 [math.gr] 2 Sep 2015

arxiv: 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 information

REVERSALS ON SFT S. 1. Introduction and preliminaries

REVERSALS 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 information

NORMAL GENERATION OF UNITARY GROUPS OF CUNTZ ALGEBRAS BY INVOLUTIONS. 1. Introduction

NORMAL 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 information

A NOTE ON STEIN FILLINGS OF CONTACT MANIFOLDS

A 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 information

Geometric representations of the braid groups

Geometric 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 information

FLAT MANIFOLDS WITH HOLONOMY GROUP K 2 DIAGONAL TYPE

FLAT 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 information

ON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES

ON 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 information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, 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 information

arxiv:math/ v1 [math.gt] 7 Jan 1998

arxiv: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 information

Complete graphs whose topological symmetry groups are polyhedral

Complete 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 information

KNOTS WITH BRAID INDEX THREE HAVE PROPERTY-P

KNOTS 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 information

PERIODIC POINTS ON THE BOUNDARIES OF ROTATION DOMAINS OF SOME RATIONAL FUNCTIONS

PERIODIC 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 information

On the existence of unramified p-extensions with prescribed Galois group. Osaka Journal of Mathematics. 47(4) P P.1165

On 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 information

Homotopy and homology groups of the n-dimensional Hawaiian earring

Homotopy 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 information

On metric characterizations of some classes of Banach spaces

On 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 information

The cycle polynomial of a permutation group

The 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 information

MTH 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 MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories

More information

ON THE NIELSEN-THURSTON-BERS TYPE OF SOME SELF-MAPS OF RIEMANN SURFACES WITH TWO SPECIFIED POINTS

ON 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