AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD-LINK-COMPLEMENT GROUP
|
|
- Godwin Park
- 6 years ago
- Views:
Transcription
1 Matsumoto, K., Nishi, H. and Yoshida, M. Osaka J. Math. 43 (006), AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD-LINK-COMPLEMENT GROUP Dedicated to Professor Takeshi Sasaki on his sixtieth birthday KEIJI MATSUMOTO, HARUKO NISHI and MASAAKI YOSHIDA (Received July 8, 005, revised December 5, 005) Abstract We construct automorphic functions on the real 3-dimensional hyperbolic space H 3 for the Whitehead-link-complement group W GL (Z[i]) and for a few groups commensurable with W. These automorphic functions give embeddings of the orbit spaces of H 3 under these groups, and arithmetical characterizations of them. Contents. Introduction A hyperbolic structure on the complement of the Whitehead link Discrete subgroups of GL (C), especially Symmetry of the Whitehead link Symmetries of L Fixed loci Orbit spaces under W S¼ 0 ( + i) and The orbifold H 3Æ W The orbifold H 3 S¼ 0 ( + i) The orbifold H Theta functions Theta functions on D Embedding of H 3 into D and the pull-back of the theta functions Automorphic functions for ¼ T () and an embedding of H 3 ¼ T () Automorphic functions for and an embedding of H Automorphic functions for W Fundamental properties of and Isotropy subgroups An arithmetical characterization of the Whitehead-link-complement group Embeddings of the quotient spaces Automorphic functions for W vanishing along F j An embedding of H 3 S¼ 0 ( + i) An embedding of H 3Æ W An embedding of H 3 W Mathematics Subject Classification. F55, 4P05, 57M5.
2 840 K. MATSUMOTO, H. NISHI AND M. YOSHIDA. Introduction Fig.. Whitehead link with its symmetry axes Fig. shows the Whitehead link L = L 0 L ½ in S 3 = R 3. The Whiteheadlink-complement S 3 L is known to admit a hyperbolic structure: there is a group W acting properly discontinuously on the 3-dimensional hyperbolic space H 3, and there is a homeomorphism h : H 3 W = S 3 L No one has ever tried to make the homeomorphism h explicit. In this paper we construct automorphic functions for W (analytic functions defined in H 3 which are invariant under W ), and express the homeomorphism h in terms of these automorphic functions. Since our embedding of H 3 W requires many automorphic functions (codimension of the embedding is high), we find several extensions of W, and give their embeddings, which have lower embedding dimensions. In particular, for the extension W ¼ such that W ¼ W ( = (ZZ) ) represents the group of symmetries (orientation-preserving ambient homotopies) of L S 3, we find five automorphic functions, say, h h 5, so that the map H 3 x (h (x) h 5 (x)) ¾ R 5 gives an embedding of H 3 W ¼. Its image is explicitly presented as part of an affine algebraic variety.
3 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 84 Our automorphic functions are made from theta functions over the ring Z[i]. Our proofs heavily depends on properties of these theta functions, and on quadratic relations among them established in [], [3] and [5].. A hyperbolic structure on the complement of the Whitehead link Let H 3 be the upper half space model H 3 = (z t) ¾ C R t 0 of the 3-dimensional real hyperbolic space. The group GL (C) and an involution T act on H 3 as g ḡ t g + (g z + g )(g z + g ) det(g)t (z t) = g t + (g z + g )(g z + g ) g t + (g z + g )(g z + g ) T (z t) = ( z t) where g = (g jk ) ¾ GL (C). Let GL T (C) be the group generated by GL (C) and an involution T with relations T g = ḡ T for g ¾ GL (C). The Whitehead-link-complement S 3 L admits a hyperbolic structure (cf. [6], [7]): Let W be the discrete subgroup W of GL (C) generated by the two elements g = We have the homeomorphism i 0 and g = 0 + i H 3 W = S 3 L We call W the Whitehead-link-complement group. A fundamental domain, which will be denoted by FD, for W in H 3 is given in Fig. (cf. [7]); two pyramids are shown. Each face of the pyramids is a mirror of a reflection belonging to GL (Z[i]) T. The faces (together with the corresponding reflections) of the two pyramids and their patching rules are as follows:
4 84 K. MATSUMOTO, H. NISHI AND M. YOSHIDA Fig.. Fundamental domain FD of W in H 3 The faces of the two pyramids No. face reflection No. face reflection # #3 #5 #7 #9 Im(z) = 0, Re(z) 0, Re(z) = 0, 0 Im(z), Im(z) =, Re(z), Re(z) =, 0 Im(z), z +i T, # T, #4 i T, #6 0 T, #8 0 +t =, i 0 i T, #0 Im(z) = 0, 0 Re(z), Re(z) = 0, Im(z) 0, Im(z) =, 0 Re(z), Re(z) =, Im(z) 0, z i T, i 0 0 T, T, +t =, i 0 +i Patching rule face element of W its image face element of W its image i i # #5 # #6 0 0 i i #3 #4 #7 # #9 #0 + i The group W has two cusps. They are represented by the vertices of the pyramids: (z t) = ( +½) (0 0) ( i 0) ( 0) ( i 0) T, T.
5 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 843 REMARK. The translation t := 0 is an element of W. Indeed one finds the relation g t g g g g g g g = in [7]. We can decide whether a given matrix is an element of W by Theorem 5 in Discrete subgroups of GL (C), especially Λ We define some discrete subgroups of GL (C): ¼ = GL (Z[i]) ¼ 0 ( + i) = g = (g jk ) ¾ ¼ g ¾ ( + i)z[i] S¼ 0 ( + i) = g ¾ ¼ 0 ( + i) det(g) = ¼( + i) = g ¾ ¼ g g g g ¾ ( + i)z[i] ¼() = g ¾ ¼ g g g g ¾ Z[i] W = T W T = ḡ g ¾ W Ŵ = W W W = Å W W «CONVENTION. Since we are interested only in the action of these groups on H 3, we regard these groups as subgroups of the projectified group PGL (C); in other words, every element of the groups represented by a scalar matrix is regarded as the identity. For any subgroup G in ¼ we denote G T the group generated by G and T in GL T (C). It is known ([5]) that the group ¼ T () is a Coxeter group generated by the eight reflections 0 i T T T T i + i i 0 T T T T i + i i i The mirrors of the reflections are four walls Im(z) = 0, Re(z) = 0, Re(z) =, Im(z) =, and four northern hemispheres with radius and centers i, + i, + i,, respectively, see Fig. 3. Note that the Weyl chamber bounded by these eight mirrors is an (ideal) octahedron in the hyperbolic space H 3. The group ¼ T () is well-studied in [5]. To relate ¼ T () with the Whiteheadlink-complement group W, we consider the smallest group which contains both ¼ T () and W : = Å ¼ T () W «Lemma.. ¼ T () is a normal subgroup of, and ¼ T () is isomorphic to the dihedral group of order eight.. [ W ] = 8, W is not a normal subgroup of : T W T = W.
6 844 K. MATSUMOTO, H. NISHI AND M. YOSHIDA Fig. 3. Weyl chamber of ¼ T () Proof.. We extend the reflection group ¼ T () by adding the reflection g T with mirror Im z =, and the -fold rotation with axis the geodesic arc joining the points (z t) = (0 0) and ( + i 0), which is given by i 0 R = i i These reflection and rotation preserve the Weyl chamber above, and generate a group isomorphic to the dihedral group of order eight. Since we have and 0 0 i 0 i i 0 0 = i ¾ ¼ T () 0 i = g this extended group coincides with.. By comparing the Weyl chamber of ¼ T () with the fundamental domain FD of W, we see that W has the same co-volume with ¼ T (). Thus [ W ] = 8. From the proof of this lemma, we have Corollary. The domain bounded by the four walls a : Im(z) = 0 b : Re(z) = 0 c : Im(z) = d : Re(z) =
7 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 845 Fig. 4. Fundamental domain of and the big hemisphere #9 in is a fundamental domain of, see Fig. 4. The hemisphere part is folded by the rotation R above. We use this fundamental domain in 5.3. Lemma. We have = S¼ T 0 ( + i) and [S¼ 0( + i) W ] = 4. Proof. It is clear that S¼0 T ( + i). Since ¼ T 0 ( + i) ¼ T () = 6 and ¼ T 0 ( + i) S¼T 0 ( + i) = we have = S¼0 T ( + i). So far we defined many subgroups of ¼ T = GL T (Z[i]); their inclusion relation can be depicted as follows: ¼0 T ( + i) ¼ T ( + i) = S¼0 T ( + i) S¼ T ( + i) S¼ 0 ( + i) W = Å W W «¼ T () W W ¼() Ŵ = W W
8 846 K. MATSUMOTO, H. NISHI AND M. YOSHIDA When two groups are connected by a segment, the one below is a subgroup of the one above of index. More explanation about these groups will be given in Symmetry of the Whitehead link In this section, we study the symmetries of the Whitehead link, and express each symmetry as an extension of the group W. 4.. Symmetries of L. The -rotations with axes F F and F 3 in Fig. are orientation preserving homeomorphisms of S 3 keeping L fixed; they form a group (ZZ). Here the axes are defined in Fig. ; F (resp. F ) meet L ½ (resp. L 0 ) at two points, and F 3 meets L ½ at two points and L 0 at two points. Recall that there is a homeomorphism S 3 L = H 3 W where the strings L 0 and L ½ correspond to the cusps of W represented by 0 := (0 0) and ½ := ( +½) ¾ H 3 respectively. Under this identification, we show Proposition. The three -rotations with axes F F and F 3 can be represented by the transformations respectively, of H 3 modulo W. z z + z z + and z z This assertion will be clear as soon as we study the fixed points of these transformations in the next subsection. Note that the three rotations modulo W (and the identity) form a group isomorphic to (ZZ), since [z z + ] ¾ W (see Remark ). We make some convention. The symbols and stand for the points in the W - orbits of + i = respectively. Let be the projection i Ô and = ¾ H 3 : H 3 (z t) z ¾ C: z-plane In the figures on the z-plane, a thick segment stands for a geodesic curve (in the upper half space H 3 ) on the hemispheres with center ( ( i) 0) and radius Ô (the big hemispheres #9 and #0 in ); its image under is the given segment. The eight geodesics in the fundamental domain FD shown in Fig., given as the intersections of walls # #9 #3 #9 #5 #9 #7 #9 # #0 #4 #0 #6 #0 #8 #0
9 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 847 Fig. 5. Identification of eight geodesics in FD are identified modulo W freely later. as is seen in Fig. 5. This identification will be used 4.. Fixed loci. We study the fixed points of the transformations in Proposition in H 3 W. Recall that the translations [z z + i] and [z z + ] belong to W.. The transformation of H 3 W represented by [z z + ] fixes pointwise the following geodesics in FD: z = z = z = i z = + i In fact, for example, we have + = + i i + = i + i i mod mod i Thus the set of fixed points consists of two geodesics both starting and ending at ½ ¾ H 3, and passing through and, respectively. These can be easily understood by the diagram: ½ ½ ½ ½ This implies that this transformation represents the rotation with axis F.. The transformation [z z + ] fixes pointwise the following geodesics in FD: geodesic joining 0 and (i 0) through geodesic joining (i 0) and ( 0) through In fact, the former can be seen by the translation of the z-plane by i, and the identification of the eight geodesics shown in Fig. 5; and the latter by the same translation
10 848 K. MATSUMOTO, H. NISHI AND M. YOSHIDA Fig. 6. The fixed loci of [z z + ] [z z + ] [z z] and the transformation patching the big hemispheres #9 and #0 appeared in. Thus the set of fixed points consists of two geodesics both starting and ending at 0 ¾ H 3, and passing through and, respectively. These can be easily understood by the diagram: This implies that this transformation represents the rotation with axis F. 3. The transformation [z z] fixes pointwise the following geodesics in FD: geodesic joining 0 and ( + i 0) through z = 0 z = z = + i z = i One can check these in the same way as the above two cases. These can be visualized as ½ ½ ½ ½ 0 This implies that this transformation represents the rotation with axis F 3. The fixed loci in FD, as well as in H 3 W, of the rotations [z z + ], [z z + ] and [z z] are also called the axes F F and F 3 ; they are depicted in FD as in Fig. 6. A bullet stands for a vertical line: the inverse image of the point under. and that 5. Orbit spaces under W SΓ 0 ( + i) and Λ Note that W W S¼ 0 ( + i), W Æ W = S¼0 ( + i) Æ W = S¼0 ( + i) = S¼ 0 ( + i)w = (ZZ) [z z + ] ¾ W W [z z] ¾ S¼ 0 ( + i) W [z z] ¾ S¼ 0 ( + i)
11 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 849 Fig. 7. A fundamental domain for W and the orbifold H 3Æ W By quotienting out the symmetry of the Whitehead link, we will see an essence of the Whitehead link. In fact, though the Whitehead link has at least five crossings, we will see that the quotient space has only one crossing; of course the ambient space necessarily has orbifold singularities. 5.. The orbifold H 3Æ W. Fig. 7 (left) shows a fundamental domain for W in FD; every wall has a counterpart to be identified with (under the order--rotations around the geodesics z = ( i), together with the patching rules of the walls tabulated in ). In the figure, a very thick segment stands for a vertical plane: the inverse image of the segment under. The quotient of S 3, where L lives, by the -rotation around the axis F is again a 3-sphere but with orbifold-singularities of index along a curve; in Fig. 7 (right), this curve is labeled by F and the numeral is attached. 5.. The orbifold H 3 SΓ 0 ( + i). Fig. 8 (left) shows a fundamental domain for S¼ 0 ( + i) in FD bounded by the four walls and the rectangle (part of the hemisphere #9 cut out by the four walls). Every wall has a counterpart to be identified with (under the order--rotations around the geodesics z = i ( + i), together with the displacement [z z + i]). The rectangle is divided into two squares; the upper square is folded (identified) by the rotation centered along the geodesic joining and (i 0), and the lower one is folded by the rotation centered along the geodesics joining and 0 = (0 0). The quotient of S 3, where L lives, by the -rotations around the axes F F and F 3 this is equivalent to the quotient of the orbifold H 3Æ W obtained in the previous subsection by the -rotation around the horizontal axis shown in Fig. 7 (right) is
12 850 K. MATSUMOTO, H. NISHI AND M. YOSHIDA Fig. 8. A fundamental domain for S¼ 0 ( + i) and the orbifold H 3 S¼ 0 ( + i) Fig. 9. A better picture of the fundamental domain for S¼ 0 (+i) corresponding to the left figure in Fig. 8 again a 3-sphere but with orbifold-singularities of index along three curves; in Fig. 8 (right), these curves are labeled by F F and F 3, and the numeral is attached to each of these The orbifold H 3 Λ. Fig. 0 (left) shows a fundamental domain for in FD bounded by the four walls a b c and d defined in Corollary, and the square (part of the hemisphere #9 cut out by the four walls). Every wall has no counterpart to be identified with. The square is folded (identified) by the rotation centered with the geodesic joining and 0 = (0 0). Thus the orbifold H 3 must be a 3-ball bounded by the -sphere divided by four (triangular) walls, which are shown in Fig. 0 (right).
13 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 85 Fig. 0. A fundamental domain for and the boundary of H 3 On the other hand the orbifold H 3 should be equivalent to the quotient of the orbifold H 3 S¼ 0 (+i) obtained in the previous subsection by the reflection represented by T : z z. The mirror of the reflection in the orbifold H 3 S¼ 0 ( + i) is shown in Fig. as the union of four triangles, they are labeled by a b c and d for the obvious reason. 6. Theta functions In 6., 6., 6.3, we introduce some results for theta functions defined on a Hermitian symmetric domain D, and restrict them on H 3 embedded in D; refer to [], [], [3] and [5]. In 6.4, the final subsection, we give an embedding of H Theta functions on D. The symmetric domain D of type I is defined as D = ¾ M (C) i is positive definite The group U (C) = g ¾ GL 4 (C) g Jg = J = O I O I and an involution T act on D as g = (g + g )(g + g ) T = t where g = (g jk ) ¾ U (C), and g jk are matrices. Theta functions ¾ b a () on D are defined as a ¾ () = e[(n + a)(n + a) + Re(nb )] b n¾z[i]
14 85 K. MATSUMOTO, H. NISHI AND M. YOSHIDA Fig.. The mirror of the reflection in the orbifold H 3 S¼ 0 (+i) is shown as the union of four parts where ¾ D, a b ¾ Q[i] and e[x] = exp[ix]. By definition, we have the following theta-transformation-formulas. FACT.. If b ¾ (Z[i]( + i)), then ¾ a ib () = a ¾ b (). If b ¾ (Z[i]), then ¾ b a () = a ¾ b ().. For k ¾ Z and m n ¾ Z[i], we have i k a a ¾ () = i k ¾ () b b a + m a ¾ () = e[ Re(mb )]¾ () b + n b 3. We have a ¾ b ag (g g ) = ¾ b(g () for g ¾ ) ¼
15 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 853 a ā ¾ (T ) = ¾ () b b It is shown in [3] that theta functions ¾ a b () satisfy the following quadratic relations. Proposition. We have a + c a c 4¾ ()¾ () b + d b d = e[ Re(( + i)(b + d)e )]¾ e + ( + i)a f + ( + i)b e f ¾ +i Z[i] Z[i] Especially, a 4¾ b () = e[ Re(( + i)be )]¾ e + ( + i)a f + ( + i)b e f ¾ +i Z[i] Z[i] e + ( + i)c ()¾ f + ( + i)d e ()¾ f 6.. Embedding of H 3 into D and the pull-back of the theta functions. We embed H 3 into D by : H 3 (z t) i t + z z ¾ D; t z accordingly, we define the homomorphism ÆÔ g det(g) O : GL (C) g O g ÆÔ det(g) which we denote by the same symbol, sorry. They satisfy (g (z t)) = (g) (z t) for any g ¾ GL (C) (T (z t)) = T (z t) ¾ U (C) We denote the pull back of ¾ a b () under the embedding : H3 D by ¾ a b (z t). The following is shown in [] and [5]. FACT.. For a b ¾ (Z[i]), each ¾ a b (z t) is real valued. If Re(ab ) + Im(ab ) ¾ Z[i] then ¾ a b (z t) is identically zero.. If b = (0 0) then ¾ a b (z t) is non-negative. 3. For a b ¾ (Z[i]( + i)), each ¾ a b (z t) is invariant under the action of ¼ T (). 4. The function ¾ = ¾ 00 (z t) is positive and invariant under the action of ¼ T. () ()
16 854 K. MATSUMOTO, H. NISHI AND M. YOSHIDA 6.3. Automorphic functions for Γ T () and an embedding of H 3 Γ T (). Set p p p ¾ = ¾ (z t) = ¾ (z t) p q ¾ Z[i] q q q and x 0 = ¾ x = ¾ + i + i + i + i x = ¾ + i i x 3 = ¾ 0 + i + i 0 One of the main results in [5] is Theorem. The map : H 3 (z t) x 0 (x x x 3 ) ¾ R 3 induces an isomorphism between H 3 ¼ T () and the octahedron Oct = (t t t 3 ) ¾ R 3 t + t + t 3 minus the six vertices ( 0 0) (0 0) (0 0 ). There are essentially ten non-zero ¾ a b () for a b ¾ (Z[i]). Their restrictions on H 3 are expressed in terms of x 0 x 3 in [5]; we cite these expression as FACT 3. + i + i 0 0 ¾ = ¾ = i + i x 0 + x x x3 + i ¾ = ¾ = i x 0 x + x x3 0 + i 0 0 ¾ = ¾ = i 0 x 0 x x + x Automorphic functions for Λ and an embedding of H 3 Λ. Once an embedding of H 3 ¼ T () is obtained, in terms of x j, for a supergroup of ¼ T (), an embedding of H 3 can be obtained by polynomials of the x j s invariant under the finite group ¼ T (); this is a routine process. Since we have = ¼ T () g g, we study the actions of the generators g and g of the Whiteheadlink-complement group W on the theta functions ¾ a b for a b ¾ ( + i)z[i]. The theta-transformation-formulas (Fact ) leads to the following.
17 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 855 Proposition 3. The generators g and g induce linear transformations of x x and x 3 : ¼ x x x 3 ½ g = ¼ ½¼ x x x 3 ½ ¼ ½ ¼ x x g = x 3 ½¼ x x x 3 Theorem. The functions x + x x x x 3 and x x x 3 are invariant under the action of. The map : H 3 (z t) ( 3 4 ) = ¾ R 4 where j = x j x 0, induces an embedding of H 3 into the subdomain of the variety 3 = 4 (homeomorphic to a 3-ball with two holes) bounded by the four triangular faces, which are the images (under H 3 ¼ T () x ¾ H 3 ) of a : x x + x 3 = x 0 b : x + x + x 3 = x 0 c : x x = 0 d : x + x = 0 Proof. Since = ¼ T () g g, we have the first half of this theorem. The definition of the group in 3, the fundamental domain of in 5.3, and Theorem lead to the latter half. ½ () The two matrices appeared in Proposition 3 generate a subgroup REMARK. of GL 3 (Z) isomorphic to the dihedral group of order eight. () By Proposition 3, we have x x g = x + x x x x + x x x g = x + x x x x + x The group generated by these matrices is isomorphic to the dihedral group of order eight. Proposition 4. The functions 0 + i + i + i + i 0 ¾ ¾ + ¾ are invariant under the action of. Proof. Since ¾ +i+i 00 implies the identities of real valued functions: ¾ 0 + i 0 0 ¾ +i0 00 = and ¾ + i + i 0 0 ¾ + i and ¾ 0+i are non-negative by Fact, Fact 3 00 Õ x 0 x x + x 3
18 856 K. MATSUMOTO, H. NISHI AND M. YOSHIDA + i + i + i 0 ¾ + ¾ ¾ i + i i 0 ¾ 0 0 Õ = Ô Õx 0 + x x x 3 + x0 x + x x 3 = Õ x 0 + x x x 3 x 0 x + x x 3 They are invariant under the action of by Proposition Automorphic functions for W We would like to give an explicit embedding of H 3 W. Though we already found an embedding of H 3, since W is a subgroup of, we must find new functions invariant under the action of W, which are not invariant under. In this section, we construct such automorphic functions and 3 for W by utilizing theta functions with characteristics in Z[i]. We define these functions and show their fundamental properties in 7.. We show in 7. that the groups S¼ 0 ( + i), W = Å W W «and W can be regarded as isotropy subgroups of some of these functions. An arithmetical characterization of the Whitehead-link-complement group W is given in Fundamental properties of Φ Φ and Φ 3. Set 0 + i 0 y = ¾ y = ¾ z = ¾ + i 0 + i 0 0 z = ¾ + i + i We define functions and 3 as = x 3 z z = (x x )y + (x + x )y 3 = x x y y Theorem 3. The functions and 3 are invariant under the action of W. Only the signs of them change by the action of g = I + ( p q r s ) ¾ ¼() as follows: g = e[re(( + i)p + ( i)s)] g = e[re(r( i))] 3 g = 3 Under the action of T, the function is invariant, and 3 becomes 3. REMARK 3. The function is transformed into (x x )y (x + x )y by the action of T. This function is not invariant under the action of W but invariant under the action of W = ḡ g ¾ W = T W T. By Fact, we can easily get the following proposition, which is a key to prove Theorem 3. Proposition 5. We have y 0 g = y 0 y y z g = z 0 z 0 z
19 y AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 857 y z z g = y 0 0 y g = z 0 0 By the action of g = I + ( p q r s ) ¾ ¼(), the functions y y z and z change as z y g = e[re(r( i))]y y g = e[re(r( i))]y z g = e[re(r)]z z g = e[re(( + i)p + r + ( i)s)]z By the action of elements T, = 0 signs of y y z z change as follows:, = 0 and 3 = 0 0 in ¼ T (), the T 3 y + + y + z + + z + + Proof of Theorem 3. Proposition 5 implies that the product z z is invariant under the action of g and that its sign changes by the action of g. Proposition 3 implies the same for x 3. Thus = x 3 z z is invariant under the action of W. Remark () and Proposition 5 show that (x x )y and (x + x )y are invariant under the action of g and that they are interchanged by the action of g. Thus their fundamental symmetric polynomials and 3 are invariant under the action of W. Proposition 5 leads to transformation formulas for and 3 with respect to ¼ T (), since x x x 3 are invariant under the action of ¼ T (). REMARK 4. Representatives of S¼ 0 (+i)w can be given by I 3. The elements [z z + ] [z z + ] and [z z] appeared in 4. are equivalent to and 3 modulo W, respectively. These can be verified by using Theorem Isotropy subgroups. Let Iso j be the subgroup of = S¼0 T (+i) consisting of elements which leave j invariant. Theorem 4. We have S¼ 0 ( + i) = Iso 3 W = Iso Iso 3 W = Iso Iso Iso 3 W : W = W : W = W : Ŵ = W : Ŵ = where W = Å W W «and Ŵ = W W. The Whitehead-link-complement group W is a normal subgroup of S¼ 0 ( + i); the quotient group S¼ 0 ( + i)w is isomorphic to Z Z.
20 858 K. MATSUMOTO, H. NISHI AND M. YOSHIDA REMARK 5. () The square of any element of S¼ 0 ( + i) belongs to W. () The Whitehead-link-complement group W is not a normal subgroup of, since T W T = W = W. Proof. We first show that S¼ 0 ( + i) = Iso 3. Note that the group S¼ 0 ( + i) is generated by W and ¼(). Theorem 3 shows that 3 is invariant under the action of W and ¼(). Thus we have S¼ 0 (+i) Iso 3. Theorem 3 also shows that 3 T = 3, which means that T ¾ Iso 3. Since [ : S¼ 0 ( + i)] =, we have S¼ 0 ( + i) = Iso 3. We next show that W = Iso Iso Iso 3. It is clear that W Iso Iso Iso 3. By Theorem 3, only the signs of and change by the action of S¼ 0 (+i) = Iso 3, we have [Iso 3 : Iso Iso 3 ] = and [Iso 3 : Iso Iso 3 ] =. Since the element belongs to Iso but not to Iso, we have [Iso 3 : Iso Iso Iso 3 ] = 4 The fact [S¼ 0 ( + i) : W ] = 4 shows that W is equal to Iso Iso Iso 3. Since W is a subgroup of S¼ 0 ( + i) consisting of elements keeping and invariant (only the signs of and change by the action of S¼ 0 ( + i)), W is a normal subgroup of S¼ 0 ( + i) with S¼ 0 ( + i)w ³ Z. We finally show that W = Iso Iso 3. Since W = T W T and is invariant under the actions of W and T by Theorem 3, we have W Iso. And we have W S¼ 0 (+ i) = Iso 3. Thus W Iso Iso 3. Since W g = 0 i = g 0 we have g =, which implies g ¾ W and W W. Thus we have The fact [S¼ 0 ( + i) : W ] = 4 shows that S¼ 0 ( + i) = Iso 3 Iso Iso 3 W W Iso Iso 3 = W W : W = Now it is clear that W : W = W : Ŵ = W : Ŵ =. Proposition 6. The functions (x x )y and (x + x )y are invariant under the action of Ŵ = W W. The group Ŵ is a normal subgroup of of index 6. Proof. The function is the sum of these two functions, which are invariant under the action of W. The function T is the difference of these functions, which are invariant under the action of W. Thus + T and T are invariant under the action of Ŵ.
21 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 859 For g ¾ S¼ 0 ( + i) we have seen that gwg = W, which implies gw g. Thus we have gŵ g = Ŵ. On the other hand, we have T W T = W and T W T = W ; these imply T Ŵ T = Ŵ. REMARK 6. The functions in Proposition 6 give a representation of S¼ 0 ( + i). The representation matrices are ; 0 this shows that the quotient group S¼ 0 ( + i)ŵ is isomorphic to the dihedral group of order eight An arithmetical characterization of the Whitehead-link-complement group. The Whitehead-link-complement group W is defined as the group generated by two elements g and g. It is hard to decide whether a given -matrix is in W. In this subsection, we give a criterion for elements of SL (Z[i]) to belong to W. The functions j play a key role. The main theorem of this subsection is the following. Theorem 5. An element g = ( p q r s ) ¾ S¼ 0 ( + i) satisfying Re(s) mod belongs to W = Å W W «if and only if Re(p) + Im(s) ( ) Re(q)+Im(q) (Im(p) + Re(s)) + ( ) Re(r) + Im(q) (Re(q) + Im(q))(Re(r) + Im(r)) The element g ¾ W belongs to W if and only if mod Re(p + q) + Re(r) ( )Re(q)+Im(q) Im(r) mod The element g ¾ W belongs to Ŵ = W W if and only if r ¾ Z[i]. Note that, by multiplying i I, we can always normalize g so that () Re(s) mod The rest of this subsection is devoted to a proof of this theorem. We study the action of g ¾ S¼ 0 ( + i) on and. For any element g ¾ S¼ 0 ( + i), since r ¾ ( + i)z[i] and det(g) =, we have p s ¾ ( + i)z[i], i.e., Re(p) Im(p) mod Re(s) Im(s) mod
22 860 K. MATSUMOTO, H. NISHI AND M. YOSHIDA By Fact () and (3) (in 6.) we may regard () (g s r ) as q p when we compute the action of g ¾ S¼ 0 ( + i) on ¾ a b s with characteristic b ¾ (Z[i]). In order to prove the first statement of theorem, we give some lemmas which can be proved by Fact and straightforward calculations. Lemma 3. We have p x 3 g = e[re(r)]x 3 g = r q s ¾ S¼ 0 ( + i) Lemma 4. given by For g ¾ S¼ 0 ( + i) satisfying Re(s) mod, the function z g is Re(r) e Re(r + s) + Im(s) e z (z t) if r ¾ Z[i] z (z t) if r ¾ Z[i] Lemma 5. For g ¾ S¼ 0 ( + i) satisfying Re(s) mod, the function z g is given by Re(p + r + s) Im(p s) e + Re(q) z if r ¾ Z[i] q ¾ ( + i)z[i] Re(p s) + Im(p + r + s) e + Im(q) z if r ¾ Z[i] q ¾ ( + i)z[i] Re(p + r) Im(p) e z if r ¾ Z[i] q ¾ ( + i)z[i] Re(p) + Im(p + r) e z if r ¾ Z[i] q ¾ ( + i)z[i] Lemmas 3, 4, 5 yield the following proposition. Å Proposition «7. An element g ¾ S¼ 0 ( + i) satisfying Re(s) mod belongs to W W = Iso Iso 3 if and only if Re(p + s) Im(p s) + Re(q) mod if q ¾ ( + i)z[i] r ¾ Z[i] Re(p + s) Im(p s) mod if q ¾ ( + i)z[i] r ¾ Z[i]
23 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 86 Re(p + r + s) + Im(p + r + s) + Im(q) 0 mod if q ¾ ( + i)z[i] r ¾ Z[i] Re(p + r + s) + Im(p + r + s) 0 mod if q ¾ ( + i)z[i] r ¾ Z[i] This proposition yields the first statement of Theorem 5. We next give a necessary and sufficient condition for g ¾ S¼ 0 ( + i) to belong to Iso Iso 3. Fact and straightforward calculations imply the following. Lemma 6. For an element g ¾ S¼ 0 ( + i), if q ¾ ( + i)z[i] then x g = e[re(q)]x x g = e[re(p + q + r + s)]x if q ¾ ( + i)z[i] then x g = e[re(p + q)]x x g = e[re(q + s)]x Lemma 6 yields the following. Lemma 7. x x g = A x x g = x + x x + x p r q s ¾ S¼ 0 ( + i) where matrix A is given by if q ¾ ( + i)z[i] Re(q) ¾ Z Re(p + q + r + s) ¾ Z if q ¾ ( + i)z[i] Re(q) ¾ Z Re(p + q + r + s) ¾ Z if q ¾ ( + i)z[i] Re(q) ¾ Z Re(p + q + r + s) ¾ Z if q ¾ ( + i)z[i] Re(q) ¾ Z Re(p + q + r + s) ¾ Z if q ¾ ( + i)z[i] Re(p + q) ¾ Z Re(q + s) ¾ Z if q ¾ ( + i)z[i] Re(p + q) ¾ Z Re(q + s) ¾ Z if q ¾ ( + i)z[i] Re(p + q) ¾ Z Re(q + s) ¾ Z if q ¾ ( + i)z[i] Re(p + q) ¾ Z Re(q + s) ¾ Z
24 86 K. MATSUMOTO, H. NISHI AND M. YOSHIDA Fact and straightforward calculations imply the following. Lemma 8. By the action of an element g ¾ S¼ 0 ( + i) satisfying Re(s) mod, y is transformed into Re(r) + Im(r) Re(r) + Im(r) e and y is transformed into e Re(p) + e e Im(p) + e Re(p) + Im(p) + y if r ¾ Z[i] e Re(r) + Im(r) Re(r) + Im(r) Re(r) + Im(r) Re(r) + Im(r) Lemma 8 implies the following Lemma. y if r ¾ Z[i] y if r ¾ Z[i] q ¾ ( + i)z[i] y if r ¾ Z[i] q ¾ ( + i)z[i] y if r ¾ Z[i] q ¾ ( + i)z[i] y if r ¾ Z[i] q ¾ ( + i)z[i] Lemma 9. y y g = A y y g = p r q s ¾ S¼ 0 ( + i) Re(s) mod where matrix A is given by if r ¾ ( + i)z[i] P ¾ Z if r ¾ ( + i)z[i] r ¾ Z[i] P ¾ Z if if r ¾ Z[i] r ¾ Z[i] Re(r) + Im(r) Re(r) + Im(r) ¾ Z ¾ Z P + P + if r ¾ ( + i)z[i] P ¾ Z if r ¾ ( + i)z[i] r ¾ Z[i] P ¾ Z if r ¾ Z[i] Re(r) + Im(r) ¾ Z P + Re(r) + Im(r) Re(r) + Im(r) Re(r) + Im(r) ¾ Z ¾ Z ¾ Z
25 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 863 if r ¾ Z[i] Re(r) + Im(r) ¾ Z P + Re(r) + Im(r) ¾ Z where = ( ) Re(q)+Im(q) and P = Re(p + q) + Im(q). Proposition 8. Iso if and only if An element g ¾ S¼ 0 ( + i) satisfying Re(s) mod belongs to Re(p + q) + Re(r) ( )Re(q)+Im(q) Im(r) mod Proof. Since only the sign of changes by the action of g ¾ S¼ 0 ( + i), if x x x +x is transformed into A x x x +x by the action of g then y y is transformed into A y y by the action of g, where A = in Lemmas 7 and 9. Thus g ¾ S¼ 0 ( + i) belongs to Iso if and only if the sign of the transformation matrix A for the action of g on x x x +x coincides with that on y y. () the case A =. By Lemma 7, g ¾ S¼ 0 ( + i) satisfies q ¾ ( + i)z[i] Re(q) + Re(p + q + r + s) ¾ Z i.e., By Lemma 9, we have Re(q) + Im(q) 0 mod Re(p + r) mod r ¾ Z[i] P = Re(p + q) + Im(q) ¾ Z The coincident condition for the signs is Thus we have Re(q) Re(r) + Im(r) Re(p + q) + () the case A =. By Lemma 7, g ¾ S¼ 0 ( + i) satisfies Re(r) + Im(r) Re(r) Im(r) Re(p + r) + mod mod q ¾ ( + i)z[i] Re(q) + Re(p + q + r + s) ¾ Z i.e., Re(q) + Im(q) 0 mod Re(p + r) 0 mod
26 864 K. MATSUMOTO, H. NISHI AND M. YOSHIDA By Lemma 9, we have r ¾ Z[i] and Re(r) + Im(r) + P + Re(r) + Im(r) = Re(p + q) + Im(q + r) + + ( )Re(q)+Im(q) Re(r) Re(p + r) + Im(r) Re(p) mod The coincident condition for the signs is Re(q) Thus we have Re(r) + Im(r) Re(p + q) + + (3) the case A =. By Lemma 7, g ¾ S¼ 0 ( + i) satisfies Re(r) + Im(r) Re(r) Im(r) Re(p + r) + mod mod q ¾ ( + i)z[i] Re(p + q) + Re(q + s) ¾ Z i.e., By Lemma 9, we have Re(q) + Im(q) mod Re(p) mod r ¾ Z[i] P = Re(p + q) + Im(q) ¾ Z The coincident condition for the signs is Re(p + q) + (4) the case A =. By Lemma 7, g ¾ S¼ 0 ( + i) satisfies Re(r) + Im(r) mod q ¾ ( + i)z[i] Re(p + q) + Re(q + s) ¾ Z i.e., Re(q) + Im(q) mod Re(p) 0 mod By Lemma 9, we have r ¾ Z[i] and Re(r) + Im(r) Re(r) + Im(r) + P + Re(p + q) + Im(q + r) Re(p) 0 mod
27 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 865 The coincident condition for the signs is Re(p + q) + Re(r) + Im(r) mod This proposition yields the second statement of Theorem 5. We show the last statement of Theorem 5. The element g ¾ W satisfying Re(s) mod belongs to Ŵ if and only if the transformation matrix A for the action of g on x x x +x is or Thus we have the condition r ¾ Z[i], which is kept under the multiplication i I to g. 8. Embeddings of the quotient spaces In the previous section, we constructed automorphic functions and 3 for W. The map H 3 (z t) 4 x 3 0 x0 3 x0 4 induces a map H 3 W R 7, which is generically injective but not quite. In 8., we construct, for each j = 3, automorphic functions f j f j for W such that their common zero is F k F l, where j k l = 3. Here the curves F F F 3 H 3 are defined as the W -orbits of the fixed loci of the transformations 3, respectively ( 4., Remark 4 in 7.). These functions give, in 8., 8.3 and 8.4, embeddings of the quotient spaces H 3 S¼ 0 ( + i) H 3 W and H 3 W, respectively. 8.. Automorphic functions for W vanishing along F j. We use W -invariant functions as follows: f 00 = x x y y = 3 f 0 = x x z z z 3 z 4 f = x 3 z z = f = x x z z f 3 = x 3 x x z3 z 4 f 4 = x x x x z3 z 4 f 0 = (x x )z z 3 + (x + x )z z 4 f = z z (x x )z z 3 + (x + x )z z 4 f = x x (x x )z z 4 + (x + x )z z 3
28 866 K. MATSUMOTO, H. NISHI AND M. YOSHIDA f 30 = (x x )y + (x + x )y = f 3 = (x x )z z 3 (x + x )z z 4 f 3 = z 3 z 4 (x x )z z 4 + (x + x )z z 3 where Set z 3 = ¾ 0 i 0 z 4 = ¾ + i i + i f i j = f i j Æ x deg( f i j ) 0 where deg( f ) denotes the total degree of the polynomial f with respect to x i y j z k. Proposition 9. The functions f j p are invariant under the action of W. These functions change the signs by the actions of and 3 as in the table 3 f 0 j f j + f j + f 3 j + This proposition can be obtained by Proposition 5 and the following lemma. Lemma 0. We have z3 0 g = z 4 0 z3 z 4 z3 g = z z3 z 4 By the action of T 3 ¾ ¼ T (), the signs of z 3 z 4 change as T 3 z z 4 + Proposition and Fact 3 yield the following proposition, which is a key to study the zero locus of f j p.
29 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 867 Proposition 0. We have 0 4z = 4¾ 0 00 = ¾ ¾ 00 0+i +¾ +i0 0+i 00 = (x 0 + x + x + x 3 )(x 0 x x + x 3 ) +i 4z = 4¾ +i 00 = ¾ ¾ 00 0+i +¾ +i0 0+i 00 = (x 0 + x x x 3 )(x 0 x + x x 3 ) 0i 4z3 = 4¾ i 0+i = ¾ ¾ +¾ 00 +i0 00 = (x 0 + x x + x 3 )(x 0 x + x + x 3 ) +ii 4z4 = 4¾ +i 00 0+i 0+i = ¾ ¾ +¾ 00 +i0 00 = (x 0 + x + x x 3 )(x 0 x x x 3 ) ¾ ¾ 00 +i0 ¾ ¾ 00 +¾ +i0 00 +¾ +i0 ¾ 00 +i0 +i+i +i0 +i+i ¾ 0+i +i+i ¾ +i+i +i+i ¾ +i+i ¾ +i0 0+i +i0 0+i +i+i +i0 +i+i ¾ 0+i REMARK 7. The functions z +z, z z, z 3 +z 4, z 3 z 4, z z 3 +z z 4 and z z 4 +z z 3 are invariant under the action of. They can be expressed in terms of 4 and x 0 : z + z = z 3 + z 4 = x z z = 6 3 x0 + z 3 z 4 = 6 3 x x 0 + x 4 0 x x 0 + x 4 0 x z z 3 + z z 4 = x x 4 0 x z z 4 + z z 3 = 8 3 x x 4 0 x REMARK 8. Proposition 0 implies z z = x 0x 3 x x
30 868 K. MATSUMOTO, H. NISHI AND M. YOSHIDA z 3 z 4 = x 0x 3 + x x z 3 z = z z 4 = x x z z 4 = z 3 z = x 0x 3 z z 3 z z 4 = x 0x 3 x 0 x x + x 3 z z 4 + z z 3 = x x x 0 x x + x 3 These functions are invariant under the action of g and their signs change by the action g. The product of x 3 (resp. x x ) and each of these is invariant under the action and can be expressed in terms of 4 and x 0. Theorem 6. The analytic sets V V and V 3 of the ideals I = f f f 3 f 4 I = f f I 3 = f 3 f 3 are (set-theoretically) equal to F F 3 F F 3 and F F, respectively. Corollary. The analytic set V jk of the ideals I j I k is set-theoretically equal to F l for j k l = 3. Proof of Theorem 6. Since the sets F j are the fixed loci of j modulo W and f kl are invariant under the action of W, it is clear that V j F k F l for j k l = 3. We first show V F F 3. Since we have f = x 3 f = x x 3 = 3 = 3 = f 3 = x 3 x x f 4 = x x x x (x 0 + x + x + 3 x 3 ) 3 = 3 = (x 0 + x + x + 3 x 3 ) 3 = 3 = 3 = (x 0 + x + x + 3 x 3 ) (x 0 + x + x + 3 x 3 ) they are invariant also under the action of ¼ T (). So we express the common zeros of them in terms of x j. The twelve edges of the octahedron Oct = x = [x 0 x x x 3 ] ¾ P 3 (R) x + x + x 3 x 0
31 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 869 (recall that H 3 ¼ T () is realized as Oct minus the vertices, in Theorem ) and the segments x ¾ Oct x = x 3 = 0 x ¾ Oct x = x 3 = 0 x ¾ Oct x 0 + x + x + x 3 = x x = 0 x ¾ Oct x 0 x x + x 3 = x x = 0 x ¾ Oct x 0 + x x x 3 = x + x = 0 x ¾ Oct x 0 x + x x 3 = x + x = 0 come into the game. Theorem shows that V is the union of the inverse images of, which coincides with F F 3. We next show V 3 F F. Since we have the products f 3 T = (x x )z z 3 + (x + x )z z 4 f 3 T = z 3 z 4 (x x )z z 4 + (x + x )z z 3 f 3 = ( f 3 )( f 3 T ) = (x x ) z z 3 (x + x ) z z 4 f 3 = ( f 3 )( f 3 T ) = z 3 z 4 (x x ) z z 4 (x + x ) z z 3 are invariant under the action of ¼ T (). We express the common zero of f 3 and f 3 in terms of x j. By Proposition 0, we have f 3 = 4 x x x x x 3x 0 x x x 3 x 0 x + x x 0 x x + x 3 x3 + x x (x + x 0 x )(x 0 + x + x )(x x + x 0 )(x 0 x x ) f 3 = 64 x x x0 + x x x3 x 0 x + x x3 3 = (x 0 + x + x + 3 x 3 ) Thus V 3 is a subset of the union of the common zeroes of f 3 and the factors of f 3. We study the restriction of f 3 on the algebraic set of each factor of f 3. In the octahedron Oct, the factors x0 + x x x 3 and x 0 x + x x 3 vanish only on [x 0 x x x 3 ] = [ 0 0 ] [ 0 0] and [ 0 0 ] [ 0 0], respectively. The functions f 3 vanishes on these points. On x j = 0, f 3 reduces to x 0xk x 3 x0 xk + x 3 where j k =. On x 0 + x + x + 3 x 3 = 0 ( 3 = ), f 3 reduces to 3 x 0 (x 3 x ) (x 0 + x )(x 0 + x )(x 0 + x + x )
32 870 K. MATSUMOTO, H. NISHI AND M. YOSHIDA Thus the common zero of f 3 and f 3 in the fundamental domain FD of H 3 W in Fig. is the union of F F and the geodesic joining (z t) = (0 0) ( +i 0) through = ( +i) ÆÔ which is the inverse image of of [x 0 x x x 3 ] ¾ Oct x = x 3 = 0. We have only to show that f 3 does not vanish on [x 0 x x x 3 ] ¾ Oct x = x 3 = 0. Since (z z z 3 z 4 ) = 3 = (x 0 + x + x + 3 x 3 ) the function z z z 3 z 4 never vanish in the interior of FD. Thus we have z z z 3 z 4 0 or z z z 3 z 4 0 in the interior of FD. Since f 3 reduces to x (z z 3 + z z 4 ) on the set [x 0 x x x 3 ] ¾ Oct x = x 3 = 0 included in F and f 3 vanishes on this set, the sign of z z 3 is different from that of z z 4, which implies z z z 3 z 4 0 in the interior of FD. On the other hand, f 3 reduces to x (z z 3 z z 4 ) on the set [x 0 x x x 3 ] ¾ Oct x = x 3 = 0. Since the sign of z z 3 is different from that of z z 4 in the interior of FD, z z 3 z z 4 never vanish in the interior of FD. Hence f 3 never vanishes in the interior of [x 0 x x x 3 ] ¾ Oct x = x 3 = 0 x = 0. We finally show V F F 3. Since we have the products f T = z z (x x )z z 3 (x + x )z z 4 f T = x x (x x )z z 4 + (x + x )z z 3 f = ( f )( f T ) = z z (x x ) z z 3 (x + x ) z z 4 f = ( f )( f T ) = x x (x x ) z z 4 + (x + x ) z z 3 are invariant under the action of ¼ T (). We express the common zero of them in terms of x j. By Proposition 0, we have f = 6 f 3 3 = 3 = (x 0 + x + x + 3 x 3 ) f = 4 x x x x x 0 + x x x 3 x 0 x + x x 3 Thus V is a subset of the union of the common zeroes of f and the factors of f. We study the restriction of f on the algebraic set of each factor of f. Since we have studied the restriction of f 3 on the algebraic set of each factor of f 3, we have only to consider the restriction of z z = 6 3 = 3 = (x 0 + x + x + 3 x 3 )
33 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 87 on the algebraic set of each factor of f and that of f on the sets x x = 0. We can see that the common zero of f and f in FD is the union of F F 3 and the geodesic joining (z t) = ( 0) (i 0) through = ( + i) ÆÔ which is the inverse image of of [x 0 x x x 3 ] ¾ Oct x = x 3 = 0. In order to show that f does not vanish on [x 0 x x x 3 ] ¾ Oct x = x 3 = 0, follow the proof of the non-vanishing of f 3 on [x 0 x x x 3 ] ¾ Oct x = x 3 = An embedding of H 3 SΓ 0 ( + i). Theorem 7. The map ³ 0 : H 3 S¼ 0 ( + i) (z t) ( 4 f 0 ) ¾ R 5 is injective, where f 0 = f 0 x 6 0. Its image Image(³ 0) is determined by the image Image() under : H 3 (z t) ( 4 ) and the relation 56 f 0 = x x = 4 3 = 3 = (x 0 + x + x + 3 x 3 ) 3 x x x 4 0 x as a double cover of Image() branching along its boundary. If we replace f 0 by f 00, the map is injective as well, but the expression of the image becomes a bit more complicated for f 00. Proof. Proposition 0 and Remark 7 give the expression f 0 in terms of 4 and x 0. Since the function f 0 is invariant under the action of S¼ 0 ( + i) and changes its sign by the action of T, the map ³ 0 induces a double cover Image(³ 0 ) ( 4 f 0 ) ( 4 ) ¾ Image() which ramifies along the zero locus of f 0 : H 3 S¼ 0 ( + i) Ý H 3 ³ 0 Image(³0 ) Ý Image() The natural map (studied in 5. and 5.3) H 3 S¼ 0 ( + i) H 3 is a double cover of a 3-ball (minus two points) by a 3-sphere (minus two points) branching along the boundary of the 3-ball. Thus we have only to show that the function f 0 vanishes only along the boundary a b c d of the 3-ball H 3 (see Theorem ).
34 87 K. MATSUMOTO, H. NISHI AND M. YOSHIDA By Remark (), we have (x +x )(g T ) = (x +x ). Thus x +x vanishes on the mirror (z t) ¾ H 3 Im(z) = of the reflection g T. By Theorem, x +x vanishes only on d in the fundamental domain in Fig. 0 (left). Similarly, x x vanishes only on the mirror c in the fundamental domain in Fig. 0 (left). By Theorem and Proposition 0, z z z 3 z 4 vanishes only on a b in the fundamental domain in Fig. 0 (left). We briefly observe the image Image(³ 0 ). The two cusps ½ and 0, and the points and (defined in 4.) are mapped to ½ := ( ) 0 := ( ) := ( ) := The images F F and F 3 of the axes F F and F 3 (see 4.) are union of curves joining these points: F : ½ F : 0 F 3 : 0 ½ Four of these curves come to each cusp. We parameterize these curves (0 t ) and present them as follows: and F F F 3 ½ (0 0 ( t) 0 0) as t 0 t ½ t 4 6 ( t ( t) t) 0 as t ½ (t 0 ( t) 0 0) as t 0 t ½ t 4 6 ( t ( t) t) 0 as t (( t) ( t) t ( t) ) as t 0 t t t t as t 0 4 F 3 0 (( t) ( t) t ( t) ) as t 0 ½ 0 (( t) 0 t 0 0) as t 0 These curves can be illustrated as in Fig.. Each of the two cusps ½ and 0 is shown as a hole. These holes can be deformed into sausages as in Fig. 3. Note that this is just the orbifold H 3 S¼ 0 ( + i) shown in Fig. 8 (right), if we replace the curves L ½ andl 0 by their tubular neighborhoods.
35 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 873 Fig.. Orbifold singularities in Image(³ 0 ) and the cusps and 0 ½ Fig. 3. The cusp-holes are deformed into two sausages Recall that four of the orbifold-singular-loci stick into each cusp-hole, of which boundary is a -sphere, and that the double cover of a -sphere branching at four points is a torus An embedding of H 3Æ W. Theorem 8. The map ³ : H 3Æ W (z t) (³ 0 f f 4 ) ¾ R 9 is injective, where f i j = f i j Æ x deg( f i j ) 0. The products f p f q ( p q 4) can be ex-
36 874 K. MATSUMOTO, H. NISHI AND M. YOSHIDA pressed as polynomials of x 0, 4 and f 0. The image Image(³ 0 ) together with these relations determines the image Image(³ ) under the map ³. Proof. Each f p is Æ invariant under the action of W and its sign changes under the action of S¼ 0 (+i) W. By Proposition 0 and Remark 7, f f 4 and f f f 3 f 4 can be expressed in terms of j and x 0 ; they are invariant under the action of. The product f p f q (p =, q = 3 4) is invariant under the action of S¼ 0 ( + i) by Proposition 9 and they can be expressed in terms of x 0 j, and f 0. Thus if one of the values of f f 4 is not zero at a point (z t) ¾ H 3, then this non-zero value together with the image ³ 0 (z t) determines the vector ( f (z t) f 4 (z t)). Thus we have the commutative diagram H 3Æ W Ý H 3 S¼ 0 ( + i) ³ Image(³ ) Ý ³ 0 Image(³0 ) of ³ 0 ³ and the two (vertical) double covers. Since ³ 0 is an isomorphism and the left vertical map ramifies exactly along F F 3 ( 5., 5.), the map ³ is injective thanks to Theorem 6. Though the embedding dimension is too high to see the shape of the image directly unfortunately, the theorem above and the argument in 5 asserts the following: The boundary of a small neighborhood of the cusp ³ (0) is a torus, which is the double cover of that of the cusp ³ 0 (0); note that two F -curves and two F 3 -curves stick into ³ 0 (0). The boundary of a small neighborhood of the cusp ³ (½) remains to be a -sphere; note that two F -curves and two F 3 -curves stick into ³ 0 (½), and that four F -curves stick into ³ (½). Topologically, the sausage L 0 in Fig. 3 (and Fig. 8 (right)) is covered by a doughnut, a tubular neighborhood of the curve L 0 in Fig. 7 (right) An embedding of H 3 W. Theorem 9. The map ³ : H 3 W (z t) (³ f f f 3 f 3 ) ¾ R 3 is injective, where f i j = f i j x deg( f i j ) 0. The products f q f r f 3q f 3r and f p f q f 3r (p = 4, q r = ) can be expressed as polynomials of x 0, 4 and f 0. The image Image(³ ) together with these relations determines the image Image(³) under the map ³.
37 AUTOMORPHIC FUNCTIONS FOR THE WHITEHEAD LINK 875 Proof. By Proposition 0, the products f q f r f 3q f 3r and f p f q f 3r (p = 4, q r = ) are invariant under the action of S¼ 0 ( + i) by Proposition 9. They can be expressed in terms of x 0, 4 and f 0. For example, f = 4 x + x z z4 + z z 3 f3 = x + x z z3 + z z 4 x x z z 3 z z 4 x x z z 4 z 3 z + f0 f 0 f 3 f 3 = z 3 z 4 x x z z x + x z + z + z 3 + z 4 f0 f f 3 = z z f 3 f f 3 = x + x x0 f 3 f 4 f 4 z + z + x x x0 f + f f f 3 = 64 x 0 + x x x 3 x 0 x + x x 3 f4 ; (Remark 7 and 8 help us to find these expressions.) So the values of f, f, f 3 and f 3 at any point in H3 are determined by those of x 0 4 and f 0. Moreover, if one of the values of f, f, f 3 and f 3 is not zero at a point (z t) ¾ H 3, then this non-zero value together with the image ³ (z t) determines the vector Thus we have the commutative diagram ( f (z t) f (z t) f 3 (z t) f 3 (z t)) H 3 W Ý H 3Æ W ³ Image(³) Ý ³ Image(³ ) of ³ ³ and the two (vertical) double covers. Since ³ is an isomorphism and the left vertical map ramifies exactly along F ( 5.), the map ³ is injective thanks to Corollary. Though the embedding dimension is too high to see the shape of the image directly unfortunately, the theorem above and the argument in 5 asserts the following: The boundary of a small neighborhood of the cusp ³(½) is a torus, which is the double cover of that of the cusp ³ (½); recall that four F -curves stick into ³ (½). The boundary of a small neighborhood of the cusp ³(0) is a torus, which is the unbranched double cover of that of the cusp ³ (0), a torus. Eventually, the two sausages in Fig. 3 (and Fig. 8 (right)) are covered by two linked doughnuts, tubular neighborhoods of the curves L 0 and L ½ in Fig.. Note that, in the (high dimensional) ambient space, the two tori look as if they are not linked, however they are linked in the Image(³).
38 876 K. MATSUMOTO, H. NISHI AND M. YOSHIDA References [] E. Freitag: Modulformen zweiten Grades zum rationalen und Gaußschen Zahlkörper, Sitzungsber. Heidelb. Akad. Wiss. (967), 49. [] K. Matsumoto: Theta functions on the bounded symmetric domain of type I and the period map of 4-parameter family of K 3 surfaces, Math. Ann. 95 (993), [3] K. Matsumoto: Algebraic relations among some theta functions on the bounded symmetric domain of type I rr, Kyushu J. Math. 60 (006), [4] K. Matsumoto, T. Sasaki and M. Yoshida: The monodromy of the period map of a 4-parameter family of K 3 surfaces and the Aomoto-Gel fand hypergeometric function of type (3 6), Internat. J. of Math. 3 (99), 64. [5] K. Matsumoto and M. Yoshida: Invariants for some real hyperbolic groups, Internat. J. of Math. 3 (00), [6] W. Thurston: Geometry and Topology of 3-manifolds, Lecture Notes, Princeton Univ., 977/78. [7] N. Wielenberg: The structure of certain subgroups of the Picard group, Math. Proc. Cambridge Philos. Soc. 84 (978), [8] M. Yoshida: Hypergeometric Functions, My Love, Aspects of Mathematics, E3, Friedr Vieweg & Sohn, Braunschweig, 997. Keiji Matsumoto Department of Mathematics Hokkaido University Sapporo Japan matsu@math.sci.hokudai.ac.jp Haruko Nishi Department of Mathematics Kyushu University Fukuoka Japan nishi@math.kyushu-u.ac.jp Masaaki Yoshida Department of Mathematics Kyushu University Fukuoka Japan myoshida@math.kyushu-u.ac.jp
Invariant functions with respect to the Whitehead-link
Invariant functions with respect to the Whitehead-link Keiji Matsumoto (joint work with Haruko Nishi and Masaaki Yoshida) 1 Introduction The Gauss hypergeometric equation E(α, β, γ) x(1 x) d2 f df + {γ
More information2 Covers of the complex projective line
Geometry & Topology Monographs 13 (2008) 483 497 483 Automorphic functions for a Kleinian group MASAAKI YOSHIDA In the paper Automorphic functions for a Whitehead-complement group [5], Matsumoto, Nishi
More informationMONODROMY OF THE HYPERGEOMETRIC DIFFERENTIAL EQUATION OF TYPE (3, 6) III. Contents 1. Introduction 1
MONODROMY OF THE HYPERGEOMETRIC DIFFERENTIAL EQUATION OF TYPE (3, 6) III KEIJI MATSUMOTO, TAKESHI SASAKI, AND MASAAKI YOSHIDA Abstract. For the hypergeometric system E(3, 6; α) of type (3, 6), two special
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 informationLINK COMPLEMENTS AND THE BIANCHI MODULAR GROUPS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 5, Number 8, Pages 9 46 S 000-9947(01)0555-7 Article electronically published on April 9, 001 LINK COMPLEMENTS AND THE BIANCHI MODULAR GROUPS MARK
More informationBianchi Orbifolds of Small Discriminant. A. Hatcher
Bianchi Orbifolds of Small Discriminant A. Hatcher Let O D be the ring of integers in the imaginary quadratic field Q( D) of discriminant D
More informationThe kappa function. [ a b. c d
The kappa function Masanobu KANEKO Masaaki YOSHIDA Abstract: The kappa function is introduced as the function κ satisfying Jκτ)) = λτ), where J and λ are the elliptic modular functions. A Fourier expansion
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 informationCommensurability between once-punctured torus groups and once-punctured Klein bottle groups
Hiroshima Math. J. 00 (0000), 1 34 Commensurability between once-punctured torus groups and once-punctured Klein bottle groups Mikio Furokawa (Received Xxx 00, 0000) Abstract. The once-punctured torus
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 informationDETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP
Yaguchi, Y. Osaka J. Math. 52 (2015), 59 70 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
More informationOn the topology of H(2)
On the topology of H(2) Duc-Manh Nguyen Max-Planck-Institut für Mathematik Bonn, Germany July 19, 2010 Translation surface Definition Translation surface is a flat surface with conical singularities such
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationAlgebraic Topology Homework 4 Solutions
Algebraic Topology Homework 4 Solutions Here are a few solutions to some of the trickier problems... Recall: Let X be a topological space, A X a subspace of X. Suppose f, g : X X are maps restricting to
More informationGeometric structures on the Figure Eight Knot Complement. ICERM Workshop
Figure Eight Knot Institut Fourier - Grenoble Sep 16, 2013 Various pictures of 4 1 : K = figure eight The complete (real) hyperbolic structure M = S 3 \ K carries a complete hyperbolic metric M can be
More informationSMOOTH FINITE ABELIAN UNIFORMIZATIONS OF PROJECTIVE SPACES AND CALABI-YAU ORBIFOLDS
SMOOTH FINITE ABELIAN UNIFORMIZATIONS OF PROJECTIVE SPACES AND CALABI-YAU ORBIFOLDS A. MUHAMMED ULUDAĞ Dedicated to Mehmet Çiftçi Abstract. We give a classification of smooth complex manifolds with a finite
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 informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationMODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION
Masuda, K. Osaka J. Math. 38 (200), 50 506 MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION KAYO MASUDA (Received June 2, 999). Introduction and result Let be a reductive complex algebraic
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 informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationHyperbolicity of mapping-torus groups and spaces
Hyperbolicity of mapping-torus groups and spaces François Gautero e-mail: Francois.Gautero@math.unige.ch Université de Genève Section de Mathématiques 2-4 rue du Lièvre, CP 240 1211 Genève Suisse July
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationINERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS. Osaka Journal of Mathematics. 53(2) P.309-P.319
Title Author(s) INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS Ramesh, Kaslingam Citation Osaka Journal of Mathematics. 53(2) P.309-P.319 Issue Date 2016-04 Text Version publisher
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
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 informationFor Ramin. From Jonathan December 9, 2014
For Ramin From Jonathan December 9, 2014 1 Foundations. 1.0 Overview. Traditionally, knot diagrams are employed as a device which converts a topological object into a combinatorial one. One begins with
More informationThe Geometrization Theorem
The Geometrization Theorem Matthew D. Brown Wednesday, December 19, 2012 In this paper, we discuss the Geometrization Theorem, formerly Thurston s Geometrization Conjecture, which is essentially the statement
More informationTotally Marked Rational Maps. John Milnor. Stony Brook University. ICERM, April 20, 2012 [ ANNOTATED VERSION]
Totally Marked Rational Maps John Milnor Stony Brook University ICERM, April 20, 2012 [ ANNOTATED VERSION] Rational maps of degree d 2. (Mostly d = 2.) Let K be an algebraically closed field of characteristic
More informationPRELIMINARY LECTURES ON KLEINIAN GROUPS
PRELIMINARY LECTURES ON KLEINIAN GROUPS KEN ICHI OHSHIKA In this two lectures, I shall present some backgrounds on Kleinian group theory, which, I hope, would be useful for understanding more advanced
More informationMATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS
Key Problems 1. Compute π 1 of the Mobius strip. Solution (Spencer Gerhardt): MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS In other words, M = I I/(s, 0) (1 s, 1). Let x 0 = ( 1 2, 0). Now
More informationSome non-trivial PL knots whose complements are homotopy circles
Some non-trivial PL knots whose complements are homotopy circles Greg Friedman Vanderbilt University May 16, 2006 Dedicated to the memory of Jerry Levine (May 4, 1937 - April 8, 2006) 2000 Mathematics
More information38 CHAPTER 2. COMPUTATIONAL METHODS. f n. n 1. X n 1. g n. X n
38 CHAPTER 2. COMPUTATIONAL METHODS 15 CW-complexes II We have a few more general things to say about CW complexes. Suppose X is a CW complex, with skeleton filtration = X 1 X 0 X 1 X and cell structure
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationDIFFEOMORPHISMS OF SURFACES AND SMOOTH 4-MANIFOLDS
DIFFEOMORPHISMS OF SURFACES AND SMOOTH 4-MANIFOLDS SDGLDTS FEB 18 2016 MORGAN WEILER Motivation: Lefschetz Fibrations on Smooth 4-Manifolds There are a lot of good reasons to think about mapping class
More informationBRUHAT-TITS BUILDING OF A p-adic REDUCTIVE GROUP
Trends in Mathematics Information Center for Mathematical Sciences Volume 4, Number 1, June 2001, Pages 71 75 BRUHAT-TITS BUILDING OF A p-adic REDUCTIVE GROUP HI-JOON CHAE Abstract. A Bruhat-Tits building
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 informationGENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY. Sampei Usui
GENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY Sampei Usui Abstract. This article is a geometric application of polarized logarithmic Hodge theory of Kazuya Kato and Sampei Usui. We prove generic Torelli
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationCELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1
CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA PAOLO DEGIORGI Abstract. This paper will first go through some core concepts and results in homology, then introduce the concepts of CW complex, subcomplex
More informationThe Classification of Automorphism Groups of Rational Elliptic Surfaces With Section
University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations Spring 5-16-011 The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section Tolga Karayayla tkarayay@math.upenn.edu
More informationDiscrete groups and the thick thin decomposition
CHAPTER 5 Discrete groups and the thick thin decomposition Suppose we have a complete hyperbolic structure on an orientable 3-manifold. Then the developing map D : M H 3 is a covering map, by theorem 3.19.
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationAn eightfold path to E 8
An eightfold path to E 8 Robert A. Wilson First draft 17th November 2008; this version 29th April 2012 Introduction Finite-dimensional real reflection groups were classified by Coxeter [2]. In two dimensions,
More informationReducibility of generic unipotent standard modules
Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationBending deformation of quasi-fuchsian groups
Bending deformation of quasi-fuchsian groups Yuichi Kabaya (Osaka University) Meiji University, 30 Nov 2013 1 Outline The shape of the set of discrete faithful representations in the character variety
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More information3-manifolds and their groups
3-manifolds and their groups Dale Rolfsen University of British Columbia Marseille, September 2010 Dale Rolfsen (2010) 3-manifolds and their groups Marseille, September 2010 1 / 31 3-manifolds and their
More informationTHE FUNDAMENTAL GROUP OF THE DOUBLE OF THE FIGURE-EIGHT KNOT EXTERIOR IS GFERF
THE FUNDAMENTAL GROUP OF THE DOUBLE OF THE FIGURE-EIGHT KNOT EXTERIOR IS GFERF D. D. LONG and A. W. REID Abstract We prove that the fundamental group of the double of the figure-eight knot exterior admits
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationAlgebraic Topology I Homework Spring 2014
Algebraic Topology I Homework Spring 2014 Homework solutions will be available http://faculty.tcu.edu/gfriedman/algtop/algtop-hw-solns.pdf Due 5/1 A Do Hatcher 2.2.4 B Do Hatcher 2.2.9b (Find a cell structure)
More informationGeometry. Separating Maps of the Lattice E 8 and Triangulations of the Eight-Dimensional Torus. G. Dartois and A. Grigis.
Discrete Comput Geom 3:555 567 (000) DOI: 0.007/s004540000 Discrete & Computational Geometry 000 Springer-Verlag New York Inc. Separating Maps of the Lattice E 8 and Triangulations of the Eight-Dimensional
More informationIntrinsic geometry and the invariant trace field of hyperbolic 3-manifolds
Intrinsic geometry and the invariant trace field of hyperbolic 3-manifolds Anastasiia Tsvietkova University of California, Davis Joint with Walter Neumann, based on earlier joint work with Morwen Thistlethwaite
More informationTrace fields of knots
JT Lyczak, February 2016 Trace fields of knots These are the knotes from the seminar on knot theory in Leiden in the spring of 2016 The website and all the knotes for this seminar can be found at http://pubmathleidenunivnl/
More informationNON-ARITHMETIC UNIFORMIZATION OF SOME REAL MODULI SPACES
NON-ARITHMETIC UNIFORMIZATION OF SOME REAL MODULI SPACES DANIEL ALLCOCK, JAMES A. CARLSON, AND DOMINGO TOLEDO Abstract. Some real moduli spaces can be presented as real hyperbolic space modulo a non-arithmetic
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,
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 informationRiemann surfaces. Paul Hacking and Giancarlo Urzua 1/28/10
Riemann surfaces Paul Hacking and Giancarlo Urzua 1/28/10 A Riemann surface (or smooth complex curve) is a complex manifold of dimension one. We will restrict to compact Riemann surfaces. It is a theorem
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationA complement to the theory of equivariant finiteness obstructions
F U N D A M E N T A MATHEMATICAE 151 (1996) A complement to the theory of equivariant finiteness obstructions by Paweł A n d r z e j e w s k i (Szczecin) Abstract. It is known ([1], [2]) that a construction
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationOn the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8
213 226 213 arxiv version: fonts, pagination and layout may vary from GTM published version On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional
More information1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3
Compact course notes Topology I Fall 2011 Professor: A. Penskoi transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Spaces and operations 2 1.1 Continuity and metric
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 informationOxford 13 March Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall
Oxford 13 March 2017 Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall In 1956 Milnor amazed the world by giving examples of smooth manifolds homeomorphic but not diffeomorphic
More informationRiemann surfaces. 3.1 Definitions
3 Riemann surfaces In this chapter we define and give the first properties of Riemann surfaces. These are the holomorphic counterpart of the (real) differential manifolds. We will see how the Fuchsian
More informationGlobalization and compactness of McCrory Parusiński conditions. Riccardo Ghiloni 1
Globalization and compactness of McCrory Parusiński conditions Riccardo Ghiloni 1 Department of Mathematics, University of Trento, 38050 Povo, Italy ghiloni@science.unitn.it Abstract Let X R n be a closed
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More informationarxiv: v2 [math.gt] 19 Oct 2014
VIRTUAL LEGENDRIAN ISOTOPY VLADIMIR CHERNOV AND RUSTAM SADYKOV arxiv:1406.0875v2 [math.gt] 19 Oct 2014 Abstract. An elementary stabilization of a Legendrian knot L in the spherical cotangent bundle ST
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 informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationClassification of (n 1)-connected 2n-dimensional manifolds and the discovery of exotic spheres
Classification of (n 1)-connected 2n-dimensional manifolds and the discovery of exotic spheres John Milnor At Princeton in the fifties I was very much interested in the fundamental problem of understanding
More informationBASIC VECTOR VALUED SIEGEL MODULAR FORMS OF GENUS TWO
Freitag, E. and Salvati Manni, R. Osaka J. Math. 52 (2015), 879 894 BASIC VECTOR VALUED SIEGEL MODULAR FORMS OF GENUS TWO In memoriam Jun-Ichi Igusa (1924 2013) EBERHARD FREITAG and RICCARDO SALVATI MANNI
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
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 informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationMATH 215B. SOLUTIONS TO HOMEWORK (6 marks) Construct a path connected space X such that π 1 (X, x 0 ) = D 4, the dihedral group with 8 elements.
MATH 215B. SOLUTIONS TO HOMEWORK 2 1. (6 marks) Construct a path connected space X such that π 1 (X, x 0 ) = D 4, the dihedral group with 8 elements. Solution A presentation of D 4 is a, b a 4 = b 2 =
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationA note on Samelson products in the exceptional Lie groups
A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, 2008 1 Introduction Samelson products have been studied extensively for the classical groups ([5],
More informationThe Geometry of Character Varieties
The Geometry of Character Varieties Kate Petersen Florida State December 10, 2011 Kate Petersen ( Florida State) Character Varieties December 10, 2011 1 / 22 The character variety, X (M), of a finite volume
More informationMAPPING CLASS ACTIONS ON MODULI SPACES. Int. J. Pure Appl. Math 9 (2003),
MAPPING CLASS ACTIONS ON MODULI SPACES RICHARD J. BROWN Abstract. It is known that the mapping class group of a compact surface S, MCG(S), acts ergodically with respect to symplectic measure on each symplectic
More informationDeformation groupoids and index theory
Deformation groupoids and index theory Karsten Bohlen Leibniz Universität Hannover GRK Klausurtagung, Goslar September 24, 2014 Contents 1 Groupoids 2 The tangent groupoid 3 The analytic and topological
More informationThe Geometry of Root Systems. Brian C. Hall
The Geometry of Root Systems A E Z S Brian C. Hall T G R S T G R S 1 1. I Root systems arise in the theory of Lie groups and Lie algebras, but can also be studied as mathematical objects in their own right.
More informationPolynomial mappings into a Stiefel manifold and immersions
Polynomial mappings into a Stiefel manifold and immersions Iwona Krzyżanowska Zbigniew Szafraniec November 2011 Abstract For a polynomial mapping from S n k to the Stiefel manifold Ṽk(R n ), where n k
More informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationRigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen
Rigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen 1. Give necessary and sufficent conditions on T = ( a b c d) GL2 (C) such that T is in U(1,1), i.e. such
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
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 information