A note on Samelson products in the exceptional Lie groups
|
|
- Lily Chloe Webster
- 5 years ago
- Views:
Transcription
1 A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, Introduction Samelson products have been studied extensively for the classical groups ([5], [9], [10]), but few results are known for exceptional Lie groups. In [13], Ōshima determines the Samelson product π n (G 2 ) π 11 (G 2 ) π n+11 (G 2 ) for n = 3, 11. Let G(l) be the compact, simply connected, exceptional simple Lie group of rank l, where l = 2, 4, 6, 7, 8. Define the set of integers N(l) and the prime r(l) as in the following table. l G(l) N(l) r(l) 2 G 2 {2, 6} 7 4 F 4 {2, 6, 8, 12} 13 6 E 6 {2, 5, 6, 8, 9, 12} 13 7 E 7 {2, 6, 8, 10, 12, 14, 18} 19 8 E 8 {2, 8, 12, 14, 18, 20, 24, 30} 31 If p is a prime and p r(l), then G(l) is p-regular (see [14]), that is, there is a homotopy equivalence j N(l) S 2j 1 (p) G(l) (p), where (p) stands for the localization at the prime p in the sense of Bousfield and Kan [3]. For k N(l) define ɛ 2k 1 π 2k 1 (G(l) (p) ) = Z (p) by the composition S 2k 1 i j N(l) S 2j 1 (p) G(l) (p), where i is the canonical inclusion. The purpose of this paper is to show: 1
2 Theorem 1.1. If k 1, k 2 N(l) satisfy k 1 +k 2 = r(l)+1, then the Samelson product ɛ 2k1 1, ɛ 2k2 1 0 in π 2r(l) (G(l) (r(l)) ). Theorem 1.2. If k 1 and k 2 N(l) satisfy k 1 + k 2 = r(l) + 1, then the Samelson product ɛ 2k1 1, ɛ 2k2 1, ɛ 2r(l) 3 0 in π 4r(l) 3 (G(l) (r(l)) ). Corollary 1.1. The nilpotency class of the localized self homotopy group [G(l), G(l)] r(l) greater than or equal to 3. is In order to prove Theorem 1.1, we use the following lemma which will be proved in 3 and 4. Let p be a prime greater than 5. Then we have H (BG(l); F p ) = F p [y 2j ; j N(l)], y 2j = 2j. (1.1) Lemma 1.1. Modulo ( H (BG(l); Z/p)) 3, we have ξ 1 y 4 y 60 + ξ 2 y 16 y 48 + ξ 3 y 24 y 40 + ξ 4 y 28 y 36 (l, p) = (8, 31) P 1 ξ 1 y 4 y 36 + ξ 2 y 12 y 28 + ξ 3 y 16 y 24 + ξ 4 y20 2 (l, p) = (7, 19) y 4 ξ 1 y 4 y 24 + ξ 2 y 12 y 16 + ξ 3 y 10 y 18 (l, p) = (6, 13) ξ 1 y 4 y 24 + ξ 2 y 12 y 16 (l, p) = (4, 13) for ξ j (Z/p). Proof of Theorem 1.1. The proof for l = 2 is done in [13]. Put l = 4, 6, 7. Then we follow the proof of [8, Theorem 1.1]. Consider the map ɛ 2k : S2k BG(l) (p) which is the adjoint of ɛ 2k 1. Suppose that the Whitehead product [ɛ 2k 1, ɛ 2k 2 ] = 0 for k 1, k 2 N(l) and k 1 + k 2 = p + 1 (p = r(l)). Then we have a homotopy commutative diagram: S 2k 1 S 2k 2 ɛ 2k 1 ɛ 2k 2 BG(l)(p) S 2k 1 S 2k 2 θ BG(l) (p), where the left vertical arrow is the inclusion. It is clear that P 1 θ (y 4 ) = 0. On the other hand, we have θ (P 1 y 4 ) 0. Then we obtain [ɛ 2k 1, ɛ 2k 2 ] 0 and thus, by adjointness of Whitehead products and Samelson products, we have established ɛ 2k1 1, ɛ 2k Proof of Theorem 1.2. If p = r(l), G(l) is p-regular and then π 2p (G(l) (p) ) = j N(l) π 2p (S 2j 1 (p) ) = π 2p (S(p)) 3 2
3 for a dimensional reason (see [15]). If k 1, k 2 N(l) and k 1 + k 2 = p + 1, there is an integer ξ k 1,k 2 Z (p) satisfying a homotopy commutative diagram S 2p α 1 S 3 ξ ɛ 2k1 1,ɛ 2k2 1 G(l) (p), k 1,k 2 ɛ 3 where α 1 is a generator of the p-primary component of π 2p (S 3 ) which is isomorphic to Z/p. In particular, we have a homotopy commutative diagram: S 2p α 1 S 3 ξ ɛ 3,ɛ 2p 1 Then there is a homotopy commutative diagram: G(l) (p) 2,p 1 ɛ 3 S 2p S 2p 3 α 1 1 S 2p 3 S 3 S 2p 3 S 2p α 1 S 3 ɛ 2k1 1,ɛ 2k2 1 ɛ 2p 3 ξ k 1,k ɛ 3 ɛ 2p 3 ξ 2 k 1,k ɛ 3,ɛ 2p 3 2 ξ k 1,k ξ 2 2,p 1 ɛ 3 γ G(l) (p) G(l) (p) G(l) (p) G(l) (p) G(l) (p), where γ is the commutator map of G(l) (p). Since α 1 (α 1 1 S 2p 3) 0 in π 4p+1 (S(p) 3 ) (see [14] and [15]), we have established Theorem 1.2. Proof of Corollary 1.1. Define θ i [G(l) (p), G(l) (p) ] for i N(l) by the composition q G(l) (p) S 2k 1 1 ɛ 2k 1 1 G(l) (p), where q is the projection. If l 4, there are k 1, k 2 N(l) satisfying k 1 < k 2 < p = r(l) and k 1 + k 2 = p + 1. Then it follows from Theorem 1.2 that the commutator [[θ k1, θ k2 ], θ p 1 ] in [G(l) (p), G(l) (p) ] = [G(l), G(l)] (p) is nontrivial ([3]) and therefore the proof is completed. 2 W (E 8 )-invariant polynomials Let p be a prime > 5. Then we have H (BG(l); Z (p) ) = Z (p) [ỹ 2j ; j N(l)], ρ(ỹ i ) = y i, where ρ is the modulo p reduction and y i are as in (1.1). Let T be a maximal torus of G(l) and let W (G(l)) be the Weyl group of G(l). Consider the fibre sequence: G(l)/T BT λ l BG(l) 3
4 Then λ l (ỹ 2j) is W (G(l))-invariant and the sequence {λ l (ρ(ỹ 2j)); j N(l)} is a regular sequence. Let α i (i = 1,..., 8) be the simple roots E 8. Then, as is well known, the dominant root α of E 8 is given by α = 2α 1 + 3α 2 + 4α 3 + 6α 4 + 5α 5 + 4α 6 + 3α 7 + 2α 8. Recall that the completed Dynkin diagram of E 8 is: α 1 α 3 α 4 α 5 α 6 α 7 α 8 α α 2 Let e i be the dual of (0,..., 0, 1, i 0,..., 0) R 8 for i = 1,..., 8. Then we can put α 1 = 1 2 (e 1 + e 8 ) 1 2 (e 2 + e 3 + e 4 + e 5 + e 6 + e 7 ) α 2 =e 1 + e 2 α i =e i 2 e i 3 (3 i 8). Hence we have α = e 7 + e 8 (see [7]). Put t 1 = e 1, t 8 = e 8 and t i = e i for i = 2,..., 7. are generator of H (BT ). Let ϕ i and ϕ be the reflections on the hyperplanes α i = 0 and α = 0 respectively. Then it is well known that W (E 8 ) is generated by ϕ 1,..., ϕ 8. Let W be the subgroup of W (E 8 ) generated by ϕ 2,..., ϕ 8, ϕ. Namely, W is the Weyl group of Ss(16) in E 8 which is a compact connected simple Lie group of type D 8. Put ϕ = ϕ 1. Then it is straight forward to check ϕ(t i ) = t i 1 (t t 8 ) (2.1) for i = 1,..., 8. We can regard t 1,..., t 8 are a basis of H 2 (BT ; Z (p) ). Define polynomials c i and p i by 8 (1 + t i ) = i=1 8 i=0 c i and 8 8 (1 t 2 i ) = ( 1) i p i i=1 i=0 respectively. Then since W is the Weyl group of Ss(16) in E 8 as is noted above, we have H (BT ; Z (p) ) W = Z (p) [p 1,..., p 7, c 8 ]. 4
5 It follows from (2.1) that 8 ϕ(c i ) = i=0 8 (1 + ϕ(t i )) = i=1 8 (1 1c t i ) = i=1 8 (1 1c 4 1) 8 k c k k=0 and then we obtain ϕ(c 1 ) = c 1, ϕ(c 2 ) = c 2 and ϕ(c i ) c i 1(8 k + 1)c 4 i 1c 1 mod (c 2 1) (2.2) for i = 3,..., 8. In particular, we have ϕ(p 1 ) = p 1 and the ideals (c 1 ), (c 2 1, p 1 ) = (c 2 1, c 2 ), (c 2 1, p 2 1) = (c 2 1, c 2 2) are W (E 8 )-invariant. Then it follows from (2.2) that ϕ(p j ) p j + h j c 1 mod (c 2 1) for i = 2,..., 8, where h 2 = 3c 2 3, h 3 = 1(5c c 3 c 2 ), h 4 = 1(7c c 5 c 2 c 4 c 3 ), h 5 = 1(5c 2 7c 2 3c 6 c 3 + c 5 c 4 ), h 6 = 1(5c 2 8c 3 3c 7 c 4 + c 6 c 5 ), h 7 = 1(3c 2 8c 5 c 7 c 6 ). Summarizing, we have established: Lemma 2.1. Modulo (c 2 1), we have ϕ(p 4 ) p (c 7c 1 + 3c 5 c 2 c 1 c 4 c 3 c 1 ), ϕ(p 2 2) p c 4 c 3 c 1 + 3c 3 c 2 2c 1, ϕ(c 8 ) c c 7c 1, ϕ(p 3 p 1 ) p 3 + 5c 5 c 2 c 1 + c 3 c 2 2c 1, ϕ(p 2 p 2 1) p 2 + 6c 3 c 2 2c 1. Corollary 2.1. If f H 16 (BT ; Z (p) ) satisfies ϕ(f) f such that f = α f 16 + α p 4 1, mod (c 2 1), then there exist α, α Z (p) where f 16 = 120p p c 8 36p 3 p 1 + p 2 p 2 1. We also have established: Lemma 2.2. Modulo (c 2 1, c 2 2) = (c 2 1, p 2 1), we have ϕ(p 0 ) p 6 5c 2 8c 3 c 1 + 3c 2 7c 4 c 1 1c 2 6c 5 c 1, ϕ(p 5 p 1 ) p 5 p 1 3c 6 c 3 c 2 c 1 + c 5 c 4 c 2 c 1, ϕ(p 4 p 2 ) p 4 p 2 + 3c 8 c 3 c 1 + 7c 7 c 4 c 1 + 3c 6 c 3 c 2 c 1 + 3c 5 c 4 c 2 c 1, 3c 5 c 2 3c c2 4c 3 c 1, ϕ(c 8 p 2 ) c 8 p 2 + 3c 2 8c 3 c 1 1c 2 7c 4 c 1, ϕ(p 2 3) p c 6 c 5 c 1 + 2c 6 c 3 c 2 c c 5 c 4 c 2 c 1 5c 5 c 2 3c 1 c 3 3c 2 c 1, ϕ(p 3 p 2 p 1 ) p 3 p 2 p 1 + 6c 6 c 3 c 2 c c 5 c 4 c 2 c 1 3c 3 3c 2 c 1, ϕ(p 3 2) p c 2 4c 3 c 1. 5
6 Corollary 2.2. If f H 24 (BT ; Z (p) ) satisfies ϕ(f) f such that f β f 24 mod (p 2 1), where mod (c 2 1, p 2 1), there exists β Z (p) f 24 = 60p 6 5p 5 p 1 5p 4 p c 8 p 2 + 3p 2 3 p 3 p 2 p p3 2. Now we make a choice of generators of H (BE 8 ; Z (p) ) as follows: Theorem 2.1. We can choose ỹ 16 and ỹ 24 such that λ 8(ỹ 16 ) = f 16 and λ 8(ỹ 24 ) = f 24 mod (p 2 1). Proof. First of all, we can choose ỹ 4 such that λ 8(ỹ 4 ) = p 1. Then since ϕ(λ 8(ỹ 16 )) = λ 8(ỹ 16 ), it follows from Corollary 2.1 that we can choose ỹ 16 such that λ 8(ỹ 16 ) = α f 16 for some α Z (p). Suppose that (α, p) = p. Then {λ 8(ρ(ỹ 4 )), λ 8(ρ(ỹ 16 ))} is not a regular sequence and this is a contradiction. Thus we obtain (α, p) = 1. The case of ỹ 24 is quite similar. 3 Proof of Lemma 1.1 for l = 8 We abbreviate the modulo 31 reduction of t i, c i, p i by the same t i, c i, p i respectively. We write the modulo 31 reduction of f i by f i for i = 16, 24. Put T n = t 2n t 2n 8. Then, by Girard s formula ([11]), we have: ( 1) k T k = k ( 1) (i i1+ +i8 1 + i 8 1)! p i 1 i i 1 +2i i 1! i 8! 1 p i 8 8. (3.1) 8 On the other hand, we have λ 8(y 4 ) = p 1 = T 1, P 1 T 1 = 2T 16 and then λ 8(P 1 y 4 ) = 2T 16 (3.2) We denote the subalgebra F 31 [p 1,..., p 7, c 8 ] of H (BT ; F 31 ) by R. Note that Imλ 8 R. Define an algebra homomorphism π 1 : R F 31 [x 1, x 5 ]/(x 2 1) by π 1 (p i ) = 0 (i = 2, 3, 4, 7), π 1 (p 1 ) = x 1, π 1 (p 5 ) = x 5, π 1 (p 6 ) = 1 12 x 1x 5, π 1 (c 8 ) = 0. Put φ 1 = π 1 λ 8. Then we have φ 1 (y 2 4) = and, by Theorem 2.1, φ 1 (y 16 ) = φ 1 (y 24 ) = 0. Hence, for a degree reason, we can put P 1 y 4 = ξ 1 y 4 y 60 + γ 1 for ξ 1 F 31 and γ 1 Kerφ 1. It follows from (3.1) that 2T 16 p 1 p 3 5 p 2 5p 6 mod Kerπ 1 and hence we obtain π 1 (2T 16 ) = x 1x Thus, by (3.2), we have established φ 1 (P 1 y 4 ) = π 1 (2T 16 ) 0 which implies ξ 1 0. Define an algebra homomorphism π 2 : R F 31 [x 4, x 4] by π 2 (p i ) = 0 (i = 1, 2, 3, 5, 6, 7), π 2 (p 4 ) = x 4, π 2 (c 8 ) = x 4. 6
7 Put φ 2 = π 2 λ 8. Then we have φ 2 (y 4 ) = 0 and, for a degree reason, φ 2 (y 24 ) = φ 2 (y 28 ) = 0. Thus, for a dimensional reason, we can put P 1 y 4 = ξ 2 y 16 y 48 + ξ 2y γ 2 for ξ 2, ξ 2 F 31 and γ 2 Kerφ 2. Now, by (3.1), we have 2T 16 = 1 4 p4 4 p 2 4p p2 8 mod Kerπ 2 and then π 2 (2T 16 ) = 1 4 x4 4 x 42 x x 44, where p 8 = c 2 8. This implies that if ξ 2 = 0, then ξ 2 0. On the other hand, it follows from Theorem 2.1 that φ 2 (y 16 ) = 120(x x 4). Suppose that ξ 2 = 0. Then ξ 2 0 as above and thus, by (3.2), φ(p 1 y 4 ) = ξ 2(120(x x 4)) 4 = 1 4 x4 4 x 42 x x 44. This is a contradiction and therefore ξ 2 0. Define an algebra homomorphism π 3 : R R 3 = K[x 5, x 6 ] by π 3 (p i ) = 0 (i = 1, 2, 3, 4, 7), π 3 (p 5 ) = x 5, π 3 (p 6 ) = x 6, π 3 (c 8 ) = 0. Put φ 3 = π 3 λ 8. Then it follows that φ 3 (y 4 ) = φ 3 (y 16 ) = φ 3 (y 28 ) = 0 and hence we can put P 1 y 4 = ξ 3 y 24 y 40 + γ 3 for ξ 3 F 31 and γ 3 Kerφ 3. By (3.1), we have 2T 16 = p 2 5p 6 mod Kerπ 3 and then π 3 (2T 16 ) = x 2 5x 6 0 which implies ξ 3 0 by (3.2). Define π 4 : R F 31 [x 3, x 7 ] by π 4 (p i ) = 0 (i = 1, 2, 4, 5), π 4 (p 3 ) = x 3, π 4 (p 6 ) = 1 20 x2 3, π 4 (p 7 ) = x 7, π 4 (c 8 ) = 0. Put φ 4 = π 4 λ 8. Then we have φ 4 (y 4 ) = φ 4 (y 16 ) = 0 and, by Theorem 2.1, φ 4 (y 28 ) = 0. Thus, for a dimensional reason, we can put P 1 y 4 = ξ 4 y 28 y 36 + γ 4 for ξ 4 F 31 and γ 4 Kerφ 4. It follows from (3.1) that 2T 16 = 2p 3 p 6 p 7 + p 3 3p 7 mod Kerπ 4 and then π 4 (2T 16 ) = 2 20 x3 3x 7 + x 3 3x 7 = x3 3x 7 0. Thus, for (3.2), we obtain ξ 4 0. Now we have established Lemma 1.1 for l = 8. 4 Proof of Lemma 1.1 for l = 4, 6, 7 Let us first recall the construction of G(l) for l = 4, 6, 7. Consider the following commutative diagram of the natural inclusions: SU(2) SU(3) G 2 Spin(4) Spin(6) Spin(7) Spin(16) 7
8 Note that we have the canonical map i : Spin(16) Ss(16) E 8 as in the previous section. Then i(g 2 ), i(su(3)), i(su(2)) are the closed subgroups of E 8 and we know that F 4, E 6, E 7 are the identity component of the centralizers of the image of the above i(g 2 ), i(su(3)), i(su(2)) in E 8 respectively (see [1]). Consider the natural inclusion Spin(k) Spin(16 k) Spin(16) for k = 4, 5, 6, 7. Then we obtain a commutative diagram of inclusions: Spin(9) j 1 Spin(10) j 2 Spin(11) Spin(12) i 1 i 2 i 3 i 4 F 4 k 1 E 6 k 2 E 7 E 7 Next we recall classical results due to [2], [6] and [16] on the cohomology of homogeneous spaces given by the above inclusions: Lemma 4.1. The integral cohomology of E 6 /F 4, E 6 /Spin(10) and E 7 /E 6 are given as follows. 1. H (E 6 /F 4 ; Z) = Λ(x 9, x 17 ), x j = j. 2. H (E 6 /Spin(10); Z) = Z[x 8 ]/(x 3 8) Λ(x 17 ), x j = j. 3. H (E 7 /E 6 ; Z) = Z{1, z 10, z 18, z 37, z 45, z 55 } Z/2{z 28 }, z j = j, where R{a 1, a 2,...} stands for a free module with a basis a 1, a 2,... over a ring R. Hereafter, we let p be a prime greater than 5. Then the mod p cohomology of BG(l) is given by (1.1). Then, by the standard spectral sequence argument together with 4.1, we obtain: Lemma We can choose generators y 2i H (BE 6 ; F p ) such that { k1(y 0 i = 5, 9 2i ) = i N(4) y 2i 2. We can choose generators y 2i H (BE 7 ; F p ) such that y10 2 i = 10 k2(y 2i ) = y 10 y 18 i = 14 i N(4). Recall that we have H (BSpin(2l + 1); F p ) = F p [p 1,..., p l ], H (BSpin(2l); F p ) = F p [p 1,..., p l 1, c l ], y 2i 8
9 where p i is the i-th universal Pontrjagin class and c l is the Euler class. Let T l be the standard maximal torus of Spin(2l + ɛ) for ɛ = 0, 1 and let t 1,..., t l be the standard generators of H 2 (BT l ; F p ). Then the canonical map λ : BT l BSpin(2l + 1) satisfies l ( 1) j λ (p j ) = j=0 l (1 t 2 i ), (4.1) i=1 where p 0 = 1 and c 2 l = p l (see [4]). Specializing to our case, we have j 1(p k ) = p k (k = 1, 2, 3, 4), j 2(p k ) = p k (k = 1, 2, 3, 4), j 1(c 5 ) = 0, j 2(p 5 ) = c 2 5. It follows from [4, (3) in 19] that we can choose y 2i H (BF 4 ; F p ) for i = 2, 6, 8 such as 4.1 The case of l = 7 i 1(y 4 ) = p 1, i 1(y 12 ) = 6p 3 + p 2 p 1, i 1(y 16 ) = 12p 4 + p p2 1p 2. (4.2) We put l = 7 and p = 19 in the above observation. Put T n = t 2n t 2n 5. Then we have Girard s formula (3.1). By (4.1), we have i 3y 4 = p 1 = T 1 and then i 3(P 1 y 4 ) = P 1 i 3(y 4 ) = P 1 T 1 = 2T 10. (4.3) Define an algebra homomorphism π 1 : F 19 [p 1,..., p 5 ] F 19 [x 1, x 2, x 5 ]/(x 2 1, x 3 2, x 2 5) by π 1 (p i ) = x i (i = 1, 2, 5), π 1 (p 3 ) = 1 6 x 2x 1, π 1 (p 4 ) = 1 12 x2 2 Then we have π 1 (p ) = π 1 (p 1 p 3 ) = 0. Put φ 1 = π 1 i 3. Then it follows from Lemma 4.2, (4.2) and a degree reason that φ 1 (y 2 4) = φ 1 (y 12 ) = φ(y 16 ) = φ 1 (y 20 ) = 0. Hence, for a degree reason, we can put P 1 y 4 = ξ 1 y 4 y 36 + γ 1 for ξ 1 F 19 and γ 1 Kerφ 1. On the other hand, by (4.3), we have 2T 10 3p 1 p 2 2p 5 p 1 p 4 p 5 p 2 p 3 p 5 mod Kerπ 1 and then π 1 (2T 10 ) = 35x 12 1x 2 2x 5 0. Thus, by (4.3), we have obtained ξ 1 0. Define an algebra homomorphism π 2 : F 19 [p 1,..., p 5 ] F 19 [x 2, x 3, x 5 ]/(x 2 2, x 2 3, x 2 5) by π 2 (p i ) = x i (i = 2, 3, 5), π 2 (p i ) = 0 (i = 1, 4). Put φ 1 = π 2 i 3. Then it follows from Lemma 4.2, (4.2) and a degree reason that φ 2 (y 4 ) = φ 2 (y 16 ) = φ 2 (y 2 20) = 0 and hence we can put P 1 y 4 = ξ 2 y 12 y 28 + γ 2 9
10 for ξ 2 F 19 and γ 2 Kerφ 2. Now, by (3.1), we have π 2 (2T 10 ) = x 2 x 3 x 5 and then, by (4.3), ξ 2 0. Define algebra homomorphisms π 3 : F 19 [p 1,..., p 5 ] F 19 [x 2 ] and π 4 : F 19 [p 1,..., p 5 ] F 19 [x 5 ] by π 3 (p 2 ) = x 2, π 3 (p i ) = 0 (i 2), π 4 (p i ) = 0, π 4 (p 5 ) = x 5 (i 5). Put φ i = π i i 3 for i = 3, 4. Then it follows from Lemma 4.2, (4.2) and a degree reason that φ 3 (y 4 ) = φ 3 (y 12 ) = φ 3 (y 20 ) = 0 and φ 4 (y 4 ) = φ 4 (y 12 ) = φ 4 (y 16 ) = 0. Thus we can put P 1 y 4 = ξ 3 y 16 y 24 + γ 3 = ξ 4 y γ 4 for ξ 3, ξ 4 F 19, γ 3 Kerφ 3 and γ 4 Kerφ 4. On the other hand, by (3.1), we have 2T 10 = 1 5 p5 2 mod Kerπ 3 and 2T 10 = 1 2 p2 5 mod Kerπ 4. Then π 3 (2T 10 ) = 1 5 x5 2 0 and π 4 (2T 10 ) = 1 2 x2 5 0 which imply ξ 3 0 and ξ 4 0. Therefore the proof of Lemma 1.1 for l = 7 is completed. 4.2 The case of l = 4, 6 We first consider the case l = 4 and p = 13. As in the above sections, we put T n = t 2n 1 + t 2n 4. Then we have Girard s formula (3.1) and i 1(P 1 y 4 ) = 2T 7. (4.4) Define an algebra homomorphism π 1 : F 13 [p 1,..., p 4 ] F 13 [x 1, x 2 ]/(x 2 1) by π 1 (p 1 ) = x 1, π 1 (p 2 ) = x 2, π 1 (p 3 ) = 1 6 x 1x 2, π 1 (p 4 ) = 1 12 x2 2. Put φ 1 = π 1 i 1. Then it follows from (4.2) that φ 1 (y 2 4) = φ 1 (y 12 ) = φ 1 (y 16 ) = 0 and thus we can put P 1 y 4 = ξ 1 y 4 y 24 + γ 1 for ξ 1 F 13 and γ 1 Kerφ 1. By (3.1), we have 2T 7 = (3p 1 p 3 2 2p 1 p 2 p 4 2p 2 2p 3 + p 3 p 4 ) mod Kerπ 1 and then π 1 (T 7 ) 0. Thus, for (4.4), we have obtained ξ 1 0. We define an algebra homomorphism π 1 : F 13 [p 1,..., p 4 ] F 13 [x 3, x 4 ] by π 2 (p i ) = 0 (i = 1, 2), π 2 (p i ) = x i (i = 3, 4). Put φ 2 = π 2 i 1. Then, by (4.2), we have φ 2 (y 4 ) = 0 and then we can put P 1 y 4 = ξ 2 y 12 y 16 + γ 2 for ξ 2 F 13 and γ 2 Kerφ 2. It follows from (3.1) that 2T 10 = p 3 p 4 mod Kerπ 2 and then π 2 (2T 7 ) 0 which implies ξ 2 0 by (4.4). Thus the proof of Lemma (1.1) for l = 4 is completed. 10
11 Next we consider the case l = 6 and p = 13. By Lemma 4.2 and the above result for l = 4, we only have to show ξ 3 0 in Lemma 1.1. As is seen in [12, Theorem 5.18], we have P 1 σ(y 4 ) = ξ 3 σ(y 28 ) in H (E 7 ; F 13 ) for some ξ 3 0 F 13, where σ denotes the cohomology suspension. By Lemma 4.2, we have k2(y 28 ) = y 10 y 18 and then we obtain P 1 y 4 ξ 3 y 10 y 18 mod (y 4, y 12, y 16 ) in H (BE 6 ; F 13 ). Therefore the proof of Lemma 1.1 is accomplished. References [1] J.F. Adams, Lectures on Exceptional Lie Groups, Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, [2] S. Araki, On the non-commutativity of Pontrjagin rings mod 3 of some compact exceptional groups, Nagoya Math. J. 17 (1960), [3] A.K. Bousfield and D.M. Kan, Homotopy Limits, Completions and Localizations, Lecture Notes in Mathematics, 304, Springer-Verlag, Berlin-New York, [4] A. Borel and F. Hirzebruch, Characteristic classes and homogeneous spaces I, Amer. J. Math. 80 (1958), [5] R. Bott, A note on the Samelson products in the classical groups, Comment. Math. Helv. 34 (1960), [6] L. Conlon, On the topology of EIII and EIV, Proc. Amer. Math. Soc. 16 ()1965), [7] A. Kono, Hopf algebra structure of simple Lie groups, J. Math. Kyoto Univ. 17 (1977), [8] A. Kono and H. Ōshima, Commutativity of the group of self homotopy classes of Lie groups, Bull. London Math. Soc. 36 (2004), [9] A.T. Lundell, The embeddings O(n) U(n) and U(n) Sp(n), and a Samelson product, Michigan Math. J., 13 (1966), [10] M. Mahowald, A Samelson product in SO(2n), Bol. Soc. Math. Mexicana, 10 (1965), [11] J.W. Milnor and J.D. Stasheff, Characteristic classes, Ann. of Math. Studies 76, Princeton Univ. Press, Princeton N.J., [12] M. Mimura and H. Toda, Topology of Lie groups I, II, Translations of Mathematical Monographs 91, American Mathematical Society, Providence, RI,
12 [13] H. Ōshima, Samelson products in the exceptional Lie group of rank 2, J. Math. Kyoto Univ. 45 (2005), [14] J.P. Serre, Groupes d homotopie et classes de groupes abéliens, Ann. of Math. 12 (1953), [15] H. Toda, Composition Methods in Homotopy Groups of Spheres, Ann. of Math. Studies 49 Princeton University Press, Princeton, N.J., [16] T. Watanabe, The integral cohomology ring of the symmetric space EVII, J. Math. Kyoto Univ. 15 (1975), H. Hamanaka, Department of Natural Science, Hyogo University of Teacher Education, Yashiro, Hyogo , Japan hammer@sci.hyogo-u.ac.jp A. Kono, Department of Mathematics, Kyoto University, Kyoto , Japan kono@math.kyoto-u.ac.jp 12
The Mod 3 Homology of the Space of Loops on the Exceptional Lie Groups and the Adjoint Action
The Mod Homology of the Space of Loops on the Exceptional Lie Groups and the Adjoint Action Hiroaki HAMANAKA Department of Mathematics, Kyoto University and Shin-ichiro HARA Nagaoka University of Technology.
More informationSAMELSON PRODUCTS IN Sp(2) 1. Introduction We calculated certain generalized Samelson products of Sp(2) and give two applications.
SAMELSON PRODUCTS IN Sp(2) HIROAKI HAMANAKA, SHIZUO KAJI, AND AKIRA KONO 1. Introduction We calculated certain generalized Samelson products of Sp(2) and give two applications. One is the classification
More informationCohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions
Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions by Shizuo Kaji Department of Mathematics Kyoto University Kyoto 606-8502, JAPAN e-mail: kaji@math.kyoto-u.ac.jp Abstract
More informationA Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds
arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn
More informationTHE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS. Osaka Journal of Mathematics. 52(1) P.15-P.29
Title THE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS Author(s) Theriault, Stephen Citation Osaka Journal of Mathematics. 52(1) P.15-P.29 Issue Date 2015-01 Text Version publisher URL https://doi.org/10.18910/57660
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 informationMULTIPLICATIVE FIBRE MAPS
MULTIPLICATIVE FIBRE MAPS BY LARRY SMITH 1 Communicated by John Milnor, January 9, 1967 In this note we shall outline a result concerning the cohomology of a multiplicative fibre map. To fix our notation
More informationOn the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8
Geometry & Topology Monographs 10 (2007) 213 226 213 On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8 MASAKI KAMEKO MAMORU
More informationTHE NUMBER OF MULTIPLICATIONS ON //-SPACES OF TYPE (3, 7)
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 50, July 1975 THE NUMBER OF MULTIPLICATIONS ON //-SPACES OF TYPE (3, 7) M. ARKOWITZ,1 C. P. MURLEY AND A. O. SHAR ABSTRACT. The technique of homotopy
More informationOn Dense Embeddings of Discrete Groups into Locally Compact Groups
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS 4, 31 37 (2003) ARTICLE NO. 50 On Dense Embeddings of Discrete Groups into Locally Compact Groups Maxim S. Boyko Institute for Low Temperature Physics and Engineering,
More informationWilliam G. Dwyer Clarence W. Wilkerson
Maps of BZ/pZ to BG William G. Dwyer Clarence W. Wilkerson The purpose of this note is to give an elementary proof of a special case of the result of [Adams Lannes 2 Miller-Wilkerson] characterizing homotopy
More informationComparing the homotopy types of the components of Map(S 4 ;BSU(2))
Journal of Pure and Applied Algebra 161 (2001) 235 243 www.elsevier.com/locate/jpaa Comparing the homotopy types of the components of Map(S 4 ;BSU(2)) Shuichi Tsukuda 1 Department of Mathematical Sciences,
More informationEXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES
EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES RAVI A.RAO AND RICHARD G. SWAN Abstract. This is an excerpt from a paper still in preparation. We show that there are
More informationUnstable K 1 -group [Σ 2n 2 CP 2, U(n)] and homotopy type of certain gauge groups
Unstable K 1 -group [Σ n CP, U(n)] an homotopy type of certain gauge groups by Hiroai Hamanaa Department of Natural Science Hyogo University of Eucation Yashiro, Hyogo 673-19, JAPAN e-mail: hammer@sci.hyogo-u.ac.jp
More informationAnother proof of the global F -regularity of Schubert varieties
Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give
More informationON ADIC GENUS AND LAMBDA-RINGS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9947(XX)0000-0 ON ADIC GENUS AND LAMBDA-RINGS DONALD YAU Abstract. Sufficient conditions on a space are given
More informationMirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere
Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere A gift to Professor Jiang Bo Jü Jie Wu Department of Mathematics National University of Singapore www.math.nus.edu.sg/ matwujie
More informationCohomology operations and the Steenrod algebra
Cohomology operations and the Steenrod algebra John H. Palmieri Department of Mathematics University of Washington WCATSS, 27 August 2011 Cohomology operations cohomology operations = NatTransf(H n ( ;
More informationThe Adjoint Action of a Homotopy-associative H-space on its Loop Space.
The Adjoint Action of a Homotopy-associative H-space on its Loop Space. Nicholas Nguyen Department of Mathematics University of Kentucky January 17th, 2014 Assumptions Unless specied, All topological spaces:
More informationThe Homotopic Uniqueness of BS 3
The Homotopic Uniqueness of BS 3 William G. Dwyer Haynes R. Miller Clarence W. Wilkerson 1 Introduction Let p be a fixed prime number, F p the field with p elements, and S 3 the unit sphere in R 4 considered
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 informationGeometric dimension of stable vector bundles over spheres
Morfismos, Vol. 18, No. 2, 2014, pp. 41 50 Geometric dimension of stable vector bundles over spheres Kee Yuen Lam Duane Randall Abstract We present a new method to determine the geometric dimension of
More informationFINITE CHEVALLEY GROUPS AND LOOP GROUPS
FINITE CHEVALLEY GROUPS AND LOOP GROUPS MASAKI KAMEKO Abstract. Let p, l be distinct primes and let q be a power of p. Let G be a connected compact Lie group. We show that there exists an integer b such
More informationA UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3
Homology, Homotopy and Applications, vol. 11(1), 2009, pp.1 15 A UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3 JELENA GRBIĆ and STEPHEN THERIAULT (communicated by Donald M. Davis) Abstract We study a universal
More informationCOHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II
COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II LECTURES BY JOACHIM SCHWERMER, NOTES BY TONY FENG Contents 1. Review 1 2. Lifting differential forms from the boundary 2 3. Eisenstein
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 informationThe spectra ko and ku are not Thom spectra: an approach using THH
The spectra ko and ku are not Thom spectra: an approach using THH Vigleik Angeltveit, Michael Hill, Tyler Lawson October 1, Abstract We apply an announced result of Blumberg-Cohen-Schlichtkrull to reprove
More informationThe homotopy types of Sp(2)-gauge groups
The homotopy types of -gauge groups Stephen D. Theriault bstract There are countably many equivalence classes of principal -bundles over S 4, classified by the integer value of the second Chern class.
More informationSTABLY FREE MODULES KEITH CONRAD
STABLY FREE MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. When an R-module has a particular module-theoretic property after direct summing it with a finite free module, it is said to
More informationOsaka Journal of Mathematics. 37(2) P.1-P.4
Title Katsuo Kawakubo (1942 1999) Author(s) Citation Osaka Journal of Mathematics. 37(2) P.1-P.4 Issue Date 2000 Text Version publisher URL https://doi.org/10.18910/4128 DOI 10.18910/4128 rights KATSUO
More informationTHE HOMOTOPY TYPE OF THE SPACE OF RATIONAL FUNCTIONS
THE HOMOTOPY TYPE OF THE SPACE OF RATIONAL FUNCTIONS by M.A. Guest, A. Kozlowski, M. Murayama and K. Yamaguchi In this note we determine some homotopy groups of the space of rational functions of degree
More informationNilpotency of Atomic Steenrod Squares
An. Ştiinţ. Univ. Al. I. Cuza Iaşi. Mat. (N.S.) Tomul LXIII, 2017, f. 3 Nilpotency of Atomic Steenrod Squares Özgür Ege Ismet Karaca Received: 17.VII.2014 / Accepted: 30.IV.2015 Abstract In this paper,
More informationSeminar on compact Lie groups and homogeneous spaces
Seminar on compact Lie groups and homogeneous spaces The rst objective of the seminar is to convey a feeling for the special properties of Lie groups. We are going to concentrate mostly on the following
More informationW. G. Dwyer. 1 From compact Lie groups to p-compact groups
Doc. Math. J. DMV 1 Ä ÖÓÙÔ Ò p¹óñô Ø ÖÓÙÔ W. G. Dwyer Abstract. A p-compact group is the homotopical ghost of a compact Lie group; it is the residue that remains after the geometry and algebra have been
More informationTRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap
TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold
More informationComputers work exceptionally on Lie groups
Computers work exceptionally on Lie groups Shizuo Kaji Fukuoka University First Global COE seminar on Mathematical Research Using Computers at Kyoto University Oct. 24, 2008 S.Kaji (Fukuoka U.) Computers
More informationSPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY
SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY M. F. ATIYAH, V. K. PATODI AND I. M. SINGER 1 Main Theorems If A is a positive self-adjoint elliptic (linear) differential operator on a compact manifold then
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 informationSOME EXERCISES. By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra.
SOME EXERCISES By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra. 1. The algebraic thick subcategory theorem In Lecture 2,
More informationRational Hopf G-spaces with two nontrivial homotopy group systems
F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational
More informationOn adic genus, Postnikov conjugates, and lambda-rings
On adic genus, Postnikov conjugates, and lambda-rings Donald Yau April 25, 2002 Department of Mathematics, MIT Room 2-588, 77 Massachusetts Avenue, Cambridge, MA 02139, USA Abstract Sufficient conditions
More informationA note on rational homotopy of biquotients
A note on rational homotopy of biquotients Vitali Kapovitch Abstract We construct a natural pure Sullivan model of an arbitrary biquotient which generalizes the Cartan model of a homogeneous space. We
More informationCharacteristic classes and Invariants of Spin Geometry
Characteristic classes and Invariants of Spin Geometry Haibao Duan Institue of Mathematics, CAS 2018 Workshop on Algebraic and Geometric Topology, Southwest Jiaotong University July 29, 2018 Haibao Duan
More informationKO -theory of complex Stiefel manifolds
KO -theory of complex Stiefel manifolds Daisuke KISHIMOTO, Akira KONO and Akihiro OHSHITA 1 Introduction The purpose of this paper is to determine the KO -groups of complex Stiefel manifolds V n,q which
More informationTopics in Representation Theory: Roots and Weights
Topics in Representation Theory: Roots and Weights 1 The Representation Ring Last time we defined the maximal torus T and Weyl group W (G, T ) for a compact, connected Lie group G and explained that our
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES WILLIAM FULTON NOTES BY DAVE ANDERSON 1 For a Lie group G, we are looking for a right principal G-bundle EG BG,
More informationOn exceptional completions of symmetric varieties
Journal of Lie Theory Volume 16 (2006) 39 46 c 2006 Heldermann Verlag On exceptional completions of symmetric varieties Rocco Chirivì and Andrea Maffei Communicated by E. B. Vinberg Abstract. Let G be
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 informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More informationTHE STRONG TOPOLOGICAL MONODROMY CONJECTURE FOR COXETER HYPERPLANE ARRANGEMENTS
THE STRONG TOPOLOGICAL MONODROMY CONJECTURE FOR COXETER HYPERPLANE ARRANGEMENTS ASILATA BAPAT AND ROBIN WALTERS ABSTRACT. The Bernstein Sato polynomial, or the b-function, is an important invariant of
More informationGeneric section of a hyperplane arrangement and twisted Hurewicz maps
arxiv:math/0605643v2 [math.gt] 26 Oct 2007 Generic section of a hyperplane arrangement and twisted Hurewicz maps Masahiko Yoshinaga Department of Mathematice, Graduate School of Science, Kobe University,
More informationThe Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras
The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple
More informationThree-manifolds and Baumslag Solitar groups
Topology and its Applications 110 (2001) 113 118 Three-manifolds and Baumslag Solitar groups Peter B. Shalen Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago,
More informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
More informationComplex Bordism and Cobordism Applications
Complex Bordism and Cobordism Applications V. M. Buchstaber Mini-course in Fudan University, April-May 2017 Main goals: --- To describe the main notions and constructions of bordism and cobordism; ---
More informationSOME ASPECTS OF STABLE HOMOTOPY THEORY
SOME ASPECTS OF STABLE HOMOTOPY THEORY By GEORGE W. WHITEHEAD 1. The suspension category Many of the phenomena of homotopy theory become simpler in the "suspension range". This fact led Spanier and J.
More informationABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS
ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS S. C. FEATHERSTONHAUGH, A. CARANTI, AND L. N. CHILDS Abstract. The main theorem of this paper is that if (N, +) is a finite abelian
More informationLocalizing groups with action
Localizing groups with action by Georg Peschke Publicacions Matemátiques 33 (1989) 227 234 1 Localization and genus in group theory and homotopy theory Georg Peschke 1 Abstract: When localizing the semidirect
More informationA VANISHING RESULT FOR TORIC VARIETIES ASSOCIATED WITH ROOT SYSTEMS. 1. Introduction
A VANISHING RESULT FOR TORIC VARIETIES ASSOCIATED WITH ROOT SYSTEMS Abstract. Consider a root system R and the corresponding toric variety V R whose fan is the Weyl fan and whose lattice of characters
More informationBERNOULLI NUMBERS, HOMOTOPY GROUPS, AND A THEOREM OF ROHLIN
454 BERNOULLI NUMBERS, HOMOTOPY GROUPS, AND A THEOREM OF ROHLIN By JOHN W. MILNOR AND MICHEL A. KERVAIRE A homomorphism J: 7T k _ 1 (SO w ) -> n m+k _ 1 (S m ) from the homotopy groups of rotation groups
More informationSETS OF DEGREES OF MAPS BETWEEN SU(2)-BUNDLES OVER THE 5-SPHERE
SETS OF DEGREES OF MAPS BETWEEN SU(2)-BUNDLES OVER THE 5-SPHERE JEAN-FRANÇOIS LAFONT AND CHRISTOFOROS NEOFYTIDIS ABSTRACT. We compute the sets of degrees of maps between SU(2)-bundles over S 5, i.e. between
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationThe relationship between framed bordism and skew-framed bordism
The relationship between framed bordism and sew-framed bordism Pyotr M. Ahmet ev and Peter J. Eccles Abstract A sew-framing of an immersion is an isomorphism between the normal bundle of the immersion
More informationBI-LIPSCHITZ GEOMETRY OF WEIGHTED HOMOGENEOUS SURFACE SINGULARITIES
BI-LIPSCHITZ GEOMETRY OF WEIGHTED HOMOGENEOUS SURFACE SINGULARITIES LEV BIRBRAIR, ALEXANDRE FERNANDES, AND WALTER D. NEUMANN Abstract. We show that a weighted homogeneous complex surface singularity is
More informationarxiv: v1 [math.rt] 14 Nov 2007
arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof
More informationTHE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS
THE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS BY J. P. MAY 1 Communicated by F. P. Peterson, November 13, 1967 In this note, we state some results on the cohomology
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 informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI
ON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI 1. introduction Consider the space X n = RP /RP n 1 together with the boundary map in the Barratt-Puppe sequence
More informationProduct splittings for p-compact groups
F U N D A M E N T A MATHEMATICAE 147 (1995) Product splittings for p-compact groups by W. G. D w y e r (Notre Dame, Ind.) and C. W. W i l k e r s o n (West Lafayette, Ind.) Abstract. We show that a connected
More informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
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 informationCharacteristic classes of vector bundles
Characteristic classes of vector bunles Yoshinori Hashimoto 1 Introuction Let be a smooth, connecte, compact manifol of imension n without bounary, an p : E be a real or complex vector bunle of rank k
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationSPINNING AND BRANCHED CYCLIC COVERS OF KNOTS. 1. Introduction
SPINNING AND BRANCHED CYCLIC COVERS OF KNOTS C. KEARTON AND S.M.J. WILSON Abstract. A necessary and sufficient algebraic condition is given for a Z- torsion-free simple q-knot, q >, to be the r-fold branched
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationDecay to zero of matrix coefficients at Adjoint infinity by Scot Adams
Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams I. Introduction The main theorems below are Theorem 9 and Theorem 11. As far as I know, Theorem 9 represents a slight improvement
More information38. APPLICATIONS 105. Today we harvest consequences of Poincaré duality. We ll use the form
38. APPLICATIONS 105 38 Applications Today we harvest consequences of Poincaré duality. We ll use the form Theorem 38.1. Let M be an n-manifold and K a compact subset. An R-orientation along K determines
More informationTRANSFERRED CHERN CLASSES IN MORAVA K-THEORY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 132, Number 6, Pages 1855 1860 S 0002-9939(03)07265-4 Article electronically published on December 18, 2003 TRANSFERRED CHERN CLASSES IN MORAVA K-THEORY
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationReal affine varieties and obstruction theories
Real affine varieties and obstruction theories Satya Mandal and Albert Sheu University of Kansas, Lawrence, Kansas AMS Meeting no.1047, March 27-29, 2009, at U. of Illinois, Urbana, IL Abstract Let X =
More informationnx ~p Us x Uns2"'-1,» i
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 4, April 1986 LOOP SPACES OF FINITE COMPLEXES AT LARGE PRIMES C. A. MCGIBBON AND C. W. WILKERSON1 ABSTRACT. Let X be a finite, simply
More informationBETTI NUMBERS OF FIXED POINT SETS AND MULTIPLICITIES OF INDECOMPOSABLE SUMMANDS
J. Aust. Math. Soc. 74 (2003), 65 7 BETTI NUMBERS OF FIXED POINT SETS AND MULTIPLIITIES OF INDEOMPOSABLE SUMMANDS SEMRA ÖZTÜRK KAPTANOĞLU (Received 5 September 200; revised 4 February 2002) ommunicated
More informationPublications of Douglas C. Ravenel
ix Publications of Douglas C. Ravenel Books 1. Complex Cobordism and Stable Homotopy Groups of Spheres, Academic Press, New York, 1986. 2. Nilpotence and periodicity in stable homotopy theory, Annals of
More informationSome remarks on the root invariant
Contemporary Mathematics Volume 00, 0000 Some remarks on the root invariant ROBERT R. BRUNER Abstract. We show how the root invariant of a product depends upon the product of the root invariants, give
More informationFree Loop Cohomology of Complete Flag Manifolds
June 12, 2015 Lie Groups Recall that a Lie group is a space with a group structure where inversion and group multiplication are smooth. Lie Groups Recall that a Lie group is a space with a group structure
More informationChow rings of Complex Algebraic Groups
Chow rings of Complex Algebraic Groups Shizuo Kaji joint with Masaki Nakagawa Workshop on Schubert calculus 2008 at Kansai Seminar House Mar. 20, 2008 Outline Introduction Our problem (algebraic geometory)
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 informationWEAKLY COMPLEX HOMOGENEOUS SPACES
WEAKLY COMPLEX HOMOGENEOUS SPACES ANDREI MOROIANU, UWE SEMMELMANN Abstract. We complete our recent classification [GMS11] of compact inner symmetric spaces with weakly complex tangent bundle by filling
More informationCONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP
CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat
More informationON THE CONJUGATION INVARIANT PROBLEM IN THE MOD p DUAL STEENROD ALGEBRA
italian journal of pure and applied mathematics n. 34 2015 (151 158) 151 ON THE CONJUGATION INVARIANT PROBLEM IN THE MOD p DUAL STEENROD ALGEBRA Neşet Deniz Turgay Bornova-Izmir 35050 Turkey e-mail: Deniz
More informationCharacteristic classes in the Chow ring
arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More informationOn orderability of fibred knot groups
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On orderability of fibred knot groups By BERNARD PERRON Laboratoire de Topologie, Université de Bourgogne, BP 47870 21078 - Dijon Cedex,
More informationIdeals Of The Ring Of Higher Dimensional Dual Numbers
Journal of Advances in Algebra (AA). ISSN 0973-6964 Volume 9, Number 1 (2016), pp. 1 8 Research India Publications http://www.ripublication.com/aa.htm Ideals Of The Ring Of Higher Dimensional Dual Numbers
More informationOn the Homotopy Type of CW-Complexes with Aspherical Fundamental Group
On the Homotopy Type of CW-Complexes with Aspherical Fundamental Group J. Harlander a, Jacqueline A. Jensen b, a Department of Mathematics, Western Kentucky University, Bowling Green, KY 42101, USA b Department
More informationON TRANSFORMATION GROUPS WHICH ACT ON TORUS MANIFOLDS
ON TRANSFORMATION GROUPS WHICH ACT ON TORUS MANIFOLDS SHINTARÔ KUROKI ABSTRACT. We study the question of what 2n-dimensional torus manifolds (M, T can have an extension (M, G with codimension zero (transitive
More informationHIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS
HIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS XUEJUN GUO 1 ADEREMI KUKU 2 1 Department of Mathematics, Nanjing University Nanjing, Jiangsu 210093, The People s Republic of China guoxj@nju.edu.cn The
More informationHOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE
HOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE J. WU Abstract. The homotopy theory of the suspensions of the real projective plane is largely investigated. The homotopy groups are computed
More informationExercises on characteristic classes
Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives
More informationMAXIMAL NILPOTENT QUOTIENTS OF 3-MANIFOLD GROUPS. Peter Teichner
Mathematical Research Letters 4, 283 293 (1997) MAXIMAL NILPOTENT QUOTIENTS OF 3-MANIFOLD GROUPS Peter Teichner Abstract. We show that if the lower central series of the fundamental group of a closed oriented
More information