On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8

Size: px
Start display at page:

Download "On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8"

Transcription

1 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 Lie group MASAKI KAMEKO MAMORU MIMURA We show that the Rothenberg Steenrod spectral sequence converging to the mod 3 cohomology of the classifying space of the exceptional Lie group does not collapse at the E 2 level. 55R40; 55T99 1 Introduction One of the most powerful tools in the study of the mod p cohomology of classifying spaces of connected compact Lie groups is the Rothenberg Steenrod spectral sequence. For a connected compact Lie group G, there is a strongly convergent first quadrant spectral sequence of graded F p algebras {Er p,q, d r : Er p,q Er p+r,q r+1 } such that E p,q 2 = Cotor p,q H G (F p, F p ) and E = gr H BG. The Rothenberg Steenrod spectral sequence, sometimes mentioned as the Eilenberg Moore spectral sequence, has been successful in computing the mod p cohomology of classifying spaces of connected compact Lie groups. In all known cases, for an odd prime p, the Rothenberg Steenrod spectral sequence converging to the mod p cohomology of the classifying space of a connected compact Lie group collapses at the E 2 level. So, one might expect that this collapse should always occur. In this paper, however, we show that this is not the case for the mod 3 cohomology of the classifying space of the exceptional Lie group. Theorem 1.1 The Rothenberg Steenrod spectral sequence converging to the mod 3 cohomology of the classifying space of the exceptional Lie group does not collapse at the E 2 level. Published: 29 January 2007 DOI: /gtm

2 214 Masaki Kameko and Mamoru Mimura We prove Theorem 1.1 by computing the ring of invariants of the mod 3 cohomology of a nontoral elementary abelian 3 subgroup of. According to Andersen, Grodal, Møller and Viruel [1], up to conjugates, there are exactly two maximal nontoral elementary abelian 3 subgroups, which they call E 5a and E 5b. They described the action of Weyl groups on these nontoral elementary abelian 3 subgroups explicitly. In this paper, we compute the ring of invariants of the polynomial part of the mod 3 cohomology of BE 5a. By comparing degrees of algebra generators of the above ring of invariants with those of algebra generators of the cotorsion product Cotor H (F 3, F 3 ) computed by Mimura and Sambe [2], we prove Theorem 1.1. In Section 2, we set up a tool, Theorem 2.5, for the computation of certain rings of invariants. In Section 3, we recall some facts on maximal nontoral elementary abelian p subgroups of simply connected compact simple Lie groups and their Weyl groups. Then using Theorem 2.5, we compute some of rings of invariants of the above Weyl groups. In Section 4, we complete the proof of Theorem 1.1. The first named author was partially supported by the Japan Society for the Promotion of Science, Grant-in-Aid for Scientific Research (C) Invariant theory In this section, we consider the invariant theory over the finite field F q of q elements where q = p k with k 1 and p is a prime number. For a finite set {v 1,..., v n }, we denote by F q {v 1,..., v n } the n dimensional vector space over F q spanned by {v 1,..., v n }. Let us write GL n (F q ) for the set of invertible n n matrices whose entries are in F q. We also write M m,n (F q ) for the set of m n matrices whose entries are in F q. Let G be a subgroup of GL n (F q ). The group G acts on the n dimensional vector space V = F q {v 1,..., v n } as follows: for g in G, n gv i = a j,i (g)v j, j=1 where a i,j (g) is the (i, j) entry of the matrix g. We denote by {x 1,..., x n } the dual basis of {v 1,..., v n } and write V for the dual of V, that is, V = Hom Fq (V, F q ) = F q {x 1,..., x n }. We denote by F q [V] = F q [x 1,..., x n ]

3 The Rothenberg Steenrod spectral sequence 215 the polynomial algebra over F q in n variables x 1,..., x n. Then the group G acts on both V and F q [V] as follows: for g in G, (gx)(v) = x(g 1 v) for x in V, v in V; g(y z) = (gy) (gz) for y, z in F q [V]. Using entries of a matrix g G, we may describe the action of g as follows: Proposition 2.1 gx i = n a i,j (g 1 )x j. j=1 Proof ( n ) (gx i )(v j ) = x i (g 1 v j ) = x i a k,j (g 1 )v k = a i,j (g 1 ). In order to prove Theorem 2.5 below, we recall a strategy of Wilkerson [4, Section 3]. It can be stated in the following form. Theorem 2.2 Let G be a subgroup of GL n (F q ) acting on V as above. Let f 1,..., f n be homogeneous polynomials in F q [V]. We have F q [V] G = F q [f 1,..., f n ] if and only if the following three conditions hold: (1) f 1,..., f n are G invariant; (2) F q [V] is integral over the subalgebra R generated by f 1,..., f n ; (3) deg f 1 deg f n = G. In the statement of Theorem 2.2, deg f is the homogeneous degree of f, that is, we define the degree deg x i of indeterminate x i to be 1. For the proof of this theorem, we refer the reader to Corollaries and and Proposition in Smith s book [3] and Wilkerson s paper [4, Section 3]. To state Theorem 2.5, we need to set up the notation. Let G 1 GL m (F q ) and G 2 GL n m (F q ). Let V 1 = F q {v 1,..., v m } and V 2 = F q {v m+1,..., v n }. Let G 1 and G 2 act on V 1 and V 2 by m n m g 1 v i = a k,i (g 1 )v k and g 2 v j = a k,j m (g 2 )v m+k, respectively, where i = 1,..., m and j = m + 1,..., n. The following proposition is immediate from the definition and Proposition 2.1.

4 216 Masaki Kameko and Mamoru Mimura Proposition 2.3 The following hold: (1) If f (x 1,..., x m ) F q [V 1 ] is G 1 invariant, then for all g 1 G 1, we have ( m f a 1,k (g 1 1 )x k,..., m ) a m,k (g 1 1 )x k = f (x 1,..., x m ); (2) If f (x m+1,..., x n ) F q [V 2 ] is G 2 invariant, then for all g 2 G 2, we have f ( n m a 1,k (g 1 n m 2 )x m+k,..., Suppose that G consists of the matrices of the form g 1 m 0 0 g 2 ) a n m,k (g 1 2 )x m+k = f (x m+1,..., x n ). where g 1 G 1 GL m (F q ), g 2 G 2 GL n m (F q ) and m 0 M m,n m (F q ). We denote respectively by Ḡ 0, Ḡ 1, Ḡ 2 the subgroups of G consisting of matrices of the form 1 m m 0, g 1 0, 1 m 0, 0 1 n m 0 1 n m 0 g 2 where g 1 G 1, g 2 G 2, m 0 M m,n m (F q ) and 1 k is the identity matrix in M k,k (F q ). We denote by ḡ 1, ḡ 2 the elements in Ḡ 1, Ḡ 2 corresponding to g 1, g 2, respectively. Considering V2 as a subspace of V, let us define OX in F q [V][X] by OX = (X + x). x V 2 The following proposition is well-known (see Wilkerson [4, Section 1])., Proposition 2.4 There are c n m,k F q [V 2 ] such that where c n m,n m = 1. n m OX = ( 1) n m k c n m,k X qk, k=0 Now, we state our main theorem of this section.

5 The Rothenberg Steenrod spectral sequence 217 Theorem 2.5 With the above assumption on G, suppose that rings of invariants F q [V 1 ] G 1 and F q [V 2 ] G 2 are polynomial algebras F q [f 1,..., f m ] and F q [f m+1,..., f n ], respectively, where f 1,..., f m are homogeneous polynomials in m variables x 1,..., x m and f m+1,..., f n are homogeneous polynomials in (n m) variables x m+1,..., x n. Then the ring of invariants F q [V] G is also a polynomial algebra F q [ f 1,..., f m, f m+1,..., f n ], where for i = 1,..., m, f i = f i (Ox 1,..., Ox m ). To prove Theorem 2.5, we verify that the conditions (1), (2) and (3) in Theorem 2.2 hold for the polynomials f 1,..., f m, f m+1,..., f n in Theorem 2.5. Step 1 To prove that f 1,..., f m, f m+1,..., f n are G invariant, it suffices to prove the following propositions. Proposition 2.6 Suppose f (x 1,..., x m ) F q [V 1 ] G 1. Then f (Ox 1,..., Ox m ) is G invariant in F q [V]. Proposition 2.7 Suppose f (x m+1,..., x n ) F q [V 2 ] G 2. Then f (x m+1,..., x n ) is G invariant in F q [V]. To simplify the argument, we use the following. Lemma 2.8 f F q [V] is G invariant if f is Ḡ 0 invariant, Ḡ 1 invariant and Ḡ 2 invariant. Proof We may express each g in G as a product of elements ḡ 0, ḡ 1, ḡ 2 in Ḡ 0, Ḡ 1, Ḡ 2 respectively, say g = ḡ 0 ḡ 1 ḡ 2 as follows: g 1 m 0 = 1 m m 0 g 1 2 g m 0. 0 g n m 0 1 n m 0 g 2 Firstly, we prove Proposition 2.6. Lemma 2.9 O is an F q linear homomorphism from V to F q [V].

6 218 Masaki Kameko and Mamoru Mimura Proof For α, β F q and for x, y V, we have (αx + βy) qk = αx qk + βy qk. By Proposition 2.4, we have n m O(αx + βy) = ( 1) n m k c n m,k (αx + βy) qk k=0 n m = ( 1) n m k c n m,k (αx qk + βy qk ) k=0 = αox + βoy. Lemma 2.10 The following hold for k = 1,..., m: (1) ḡ 0 Ox k = Ox k ; m (2) ḡ 1 Ox k = a k,l (g 1 1 )Ox l; l=1 (3) ḡ 2 Ox k = Ox k. Proof (1) We have ḡ 0 x k = x k + y for some y in V2, and ḡ 0x = x for any x in V2. Then y + x ranges over V2 as x ranges over V 2. Hence, we have ḡ 0 Ox k = (x k + y + x) = Ox k. x V 2 (2) We have ḡ 1 x k = m l=1 a k,l(g 1 1 )x l, and ḡ 1 x = x for any x in V2. Hence, by Lemma 2.9, we have ḡ 1 Ox k = ( m ) a k,l (g 1 1 )x l + x x V 2 l=1 l=1 ( m ) = O a k,l (g 1 1 )x l = m l=1 a k,l (g 1 1 )Ox l. (3) We have ḡ 2 x k = x k. Then ḡ 2 x ranges over V2 as x ranges over V 2. Hence, ḡ 2 Ox k = (x k + ḡ 2 x) = Ox k. x V 2 Proof of Proposition 2.6 By Lemma 2.8, it suffices to show that f (Ox 1,..., Ox m )

7 The Rothenberg Steenrod spectral sequence 219 is Ḡ i invariant for i = 0, 1, 2. By Lemma 2.10 (1) and (3), it is clear that the above element is invariant with respect to the action of Ḡ i for i = 0, 2. By Lemma 2.10 (2) and by Proposition 2.3 (1), we have ( m ḡ 1 f (Ox 1,..., Ox m ) = f a 1,k (g 1 1 )Ox k,..., Secondly, we prove Proposition 2.7. = f (Ox 1,..., Ox m ). Lemma 2.11 The following hold for k = m + 1,..., n: (1) ḡ 0 x k = x k ; (2) ḡ 1 x k = x k ; n m (3) ḡ 2 x k = a k m,l (g 1 2 )x m+l. l=1 m ) a m,k (g 1 1 )Ox k Proof (1) and (2) are immediate from the definitions of ḡ 0 and ḡ 1. (3) follows immediately from the fact that a k,l (ḡ 1 2 ) = a k m,l m(g 1 2 ) for l m + 1 and that a k,l (ḡ 1 2 ) = 0 for l m. Proof of Proposition 2.7 As in the proof of Proposition 2.6, it suffices to show that f (x m+1,..., x n ) is Ḡ i invariant for i = 0, 1, 2. It is clear from Lemma 2.11 (1) (2) that the above element is Ḡ i invariant for i = 0, 1. By Lemma 2.11 (3) and by Proposition 2.3 (2), ḡ 2 f (x m+1,..., x n ) = f ( n m a 1,k (g 1 = f (x m+1,..., x n ). n m 2 )x m+k,..., ) a n m,k (g 1 2 )x m+k Step 2 We prove that the inclusion R F q [V] is an integral extension, for R the subalgebra of F q [V] generated by f 1,..., f m, f m+1,..., f n. Let S be the subalgebra of F q [V] generated by f 1,..., f m, c n m,0,..., c n m,n m 1. Since G 2 GL n m (F q ), we see that c n m,k R. So, S is a subalgebra of R. Therefore, it suffices to prove the following proposition.

8 220 Masaki Kameko and Mamoru Mimura Proposition 2.12 For k = 1,..., n, the element x k is integral over S. Proof Firstly, we prove that x k is integral over S for k = 1,..., m. By Theorem 2.2, x k is integral over F q [V 1 ] G 1. Hence, there exists a monic polynomial F(X) and polynomials ϕ j s over F q in m variables for j = 0,..., r 1 such that r 1 F(X) = X r + ϕ j (f 1 (x 1,..., x m ),..., f m (x 1,..., x m ))X j j=0 and that F(x k ) = 0 in F q [x 1,..., x m ]. Replacing x i in the equality F(x k ) = 0 above by Ox i for i = 1,..., m, we have the following equality in F q [V]: Let r 1 (Ox k ) r + ϕ j (f 1 (Ox 1,..., Ox m ),..., f m (Ox 1,..., Ox m ))(Ox k ) j = 0. j=0 r 1 F (X) = (OX) r + ϕ j ( f 1,..., f m )(OX) j. j=0 By Proposition 2.4, F (X) is a monic polynomial in S[X]. Since, by definition, f i = f i (Ox 1,..., Ox m ), it is clear that F (x k ) = 0 in F q [V]. Hence x k is integral over S. Secondly, we verify that x k is integral over S for k = m + 1,..., n. By Proposition 2.4, OX is a monic polynomial in S[X]. It is immediate from the definition that Ox = 0 for x V 2. Therefore, x k is integral over S. Step 3 Finally, we compute the product of degrees of f 1,..., f m, f m+1,..., f n. Since deg Ox is of degree q n m for x V, we have deg f i = deg f i q n m. By Theorem 2.2, we have and Therefore deg f 1 deg f m = G 1 deg f m+1 deg f n = G 2. deg f 1 deg f m deg f m+1 deg f n = deg f 1 deg f n q m(n m) = G 1 G 2 q m(n m) = G. This completes the proof of Theorem 2.5.

9 The Rothenberg Steenrod spectral sequence Rings of invariants of Weyl groups Let p be an odd prime. Let G be a compact Lie group. We write H BG and H BG for the mod p homology and cohomology of the classifying space BG of G. We write A for an elementary abelian p subgroup of the compact Lie group G. Let ΓH BG = H BG/ 0, where 0 is the ideal of nilpotent elements in H BG. It is clear that ΓH BA is a polynomial algebra ΓH BA = F p [t 1,..., t n ], where the cohomological degree of each t i is 2 and n is the rank of A. We called it the polynomial part of H BA in Section 1. Choosing a basis for A, we may consider the action of GL n (F p ) on A. We recall the relation between the action of GL n (F p ) on A and the one on ΓH BA. For the sake of notational simplicity, let V = H 1 BA. On the one hand, V is identified with A as a GL n (F p ) module, where g GL n (F p ) acts on V as the induced homomorphism Bg. As an F p algebra, ΓH BA is isomorphic to F p [V]. As in the previous section, we may consider the GL n (F p ) module structure on F p [V]. On the other hand, GL n (F p ) acts on H BA by gx = B(g 1 ) x, where x H BA and g GL n (F p ). The relation between these actions is given by the following proposition. Proposition 3.1 As a GL n (F p ) module, ΓH BA = F p [V]. Proof The Bockstein homomorphism induces an isomorphism of GL n (F p ) modules β : H 1 BA ΓH 2 BA. Since, for x V = H 1 BA, v V = H 1 BA, we have (gx)(v) = (x)(g 1 v) = (x)(b(g 1 ) v) = (B(g 1 ) x)(v), we see that ΓH 2 BA = H 1 BA = V as GL n (F p ) modules. Hence, we may conclude that ΓH BA = F p [V] as GL n (F p ) modules. The Weyl group W(A) = N G (A)/C G (A) acts on A as inner automorphisms. So, we have the action of W(A) on ΓH BA. Choosing a basis for A, we consider the Weyl group W(A) as a subgroup of GL n (F p ). In this section, we compute rings of invariants of Weyl groups of the polynomial part of the mod p cohomology of the classifying spaces of maximal nontoral elementary abelian p subgroups of simply connected compact simple Lie groups.

10 222 Masaki Kameko and Mamoru Mimura It is well-known that for an odd prime p, a simply connected compact simple Lie group G does not have nontoral elementary abelian p subgroups except for the cases p = 5, G =, and p = 3, G = F 4, E 6, E 7,. Andersen, Grodal, Møller and Viruel [1] described Weyl groups of maximal nontoral elementary abelian p subgroups and their action on the underlying elementary abelian p subgroup explicitly for p = 3, G = E 6, E 7,. Up to conjugate, there are only 6 maximal nontoral elementary abelian p subgroups of simply connected compact simple Lie groups. For p = 5, G = and for p = 3, G = F 4, E 6, E 7, there is one maximal nontoral elementary abelian p subgroup for each G. We call them EE 3 8, EF 3 4, E3E 4 6, E2E 4 7, following the notation in [1]. For p = 3, G =, there are two maximal nontoral elementary abelian p subgroups, say E 5a and E 5b, where the superscript indicates the rank of elementary abelian p subgroup. For a detailed account on nontoral elementary abelian p subgroups, we refer the reader to [1, Section 8] and its references. In this section, we compute (ΓH BA) W(A) for A = E 4 3E 6, E 4 2E 7, E 5a using Theorem 2.5. Proposition 3.2 We have the following isomorphisms of graded F p algebras: (1) For p = 5, G =, A = E 3, (ΓH BA) W(A) = F 5 [x 62, x 200, x 240 ]; (2) For p = 3, G = F 4, A = E 3 F 4, (ΓH BA) W(A) = F 3 [x 26, x 36, x 48 ]; (3) For p = 3, G = E 6, A = E 4 3E 6, (ΓH BA) W(A) = F 3 [x 26, x 36, x 48, x 54 ]; (4) For p = 3, G = E 7, A = E 4 2E 7, (ΓH BA) W(A) = F 3 [x 26, x 36, x 48, x 108 ]; (5) For p = 3, G =, A = E 5a, (ΓH BA) W(A) = F 3 [x 4, x 26, x 36, x 48, x 324 ], where the subscript of x indicates its cohomological degree. Proof We use Theorem 2.5 for (3), (4) and (5). In these cases, we described G 1, G 2, V 1, V 2, F p[v 1 ] G 1, F p [V 2 ] G 2 in Theorem 2.5. (1) The case p = 5, G =. A = E 3. The Weyl group W(A) is the special linear group SL 3 (F 5 ). The ring of invariants of the special linear group is well-known as Dickson invariants. Then we have F 5 [t 1, t 2, t 3 ] W(A) = F 5 [x 62, x 200, x 240 ], where x 4 62 = c 3,0, x 200 = c 3,2, x 240 = c 3,1 and c 3,k s are Dickson invariants described in Proposition 2.4.

11 The Rothenberg Steenrod spectral sequence 223 (2) The case p = 3, G = F 4, A = E 3 F 4. The Weyl group W(A) is the special linear group SL 3 (F 3 ). The ring of invariants are known as Dickson invariants as before: F 3 [t 1, t 2, t 3 ] W(A) = F 3 [x 26, x 36, x 48 ], where x 2 26 = c 3,0, x 36 = c 3,2, x 48 = c 3,1 as above. (3) The case p = 3, G = E 6, A = E3E 4 6. The Weyl group W(A) is the subgroup of GL 4 (F 3 ) consisting of matrices of the form g 1 m 0 0 g 2 where g 1 G 1 = {1}, g 2 G 2 = SL 3 (F 3 ), m 0 M 1,3 (F 3 ). Consider V 1 = F 3{t 1 } and V 2 = F 3{t 2, t 3, t 4 }. Then we have F 3 [V 1 ] G 1 = F 3 [t 1 ] and F 3 [V 2 ] G 2 = F 3 [x 26, x 36, x 48 ], where x 2 26 = c 3,0, x 36 = c 3,2, x 48 = c 3,1 and c 3,k s are Dickson invariants in F 3 [V 2 ]. By Theorem 2.5, we have where x 54 = t V 2 (t 1 + t)., F 3 [t 1, t 2, t 3, t 4 ] W(A) = F 3 [x 26, x 36, x 48, x 54 ], (4) The case p = 3, G = E 7, A = E2E 4 7. The Weyl group W(A) is a subgroup of GL 4 (F 3 ) consisting of matrices of the form g 1 m 0 0 g 2 where g 1 G 1 = GL 1 (F 3 ), g 2 G 2 = SL 3 (F 3 ) and m 0 M 1,3 (F 3 ). Consider V 1 = F 3{t 1 } and V 2 = F{t 2, t 3, t 4 }. Then we have F 3 [V 1 ] G 1 = F 3 [t 2 1 ] and F 3[V 2 ] G 2 = F 3 [x 26, x 36, x 48 ] as in (3). By Theorem 2.5, we have where x 108 = t V 2 (t 1 + t) 2., F 3 [t 1, t 2, t 3, t 4 ] W(A) = F 3 [x 26, x 36, x 48, x 108 ], (5) The case p = 3, G =, A = EE 5a 8. The Weyl group W(A) is a subgroup of GL 5 (F 3 ) consisting of matrices of the form g g 1 m 0 m o 1 m 0 = 0 g g 2, 0 0 ɛ

12 224 Masaki Kameko and Mamoru Mimura where g 1 G 1 = GL 1 (F 3 ), g 2 = (g 2, ɛ) G 2 = SL 3 (F 3 ) GL 1 (F 3 ) GL 4 (F 3 ) and m 0 = (m 0, m 0 ) M 1,4(F 3 ) = M 1,3 (F 3 ) M 1,1 (F 3 ). Consider V1 = F 3{t 1 } and V2 = F 3{t 2, t 3, t 4, t 5 }. Then we have F 3 [V 1 ] G 1 = F 3 [t1 2] and F 3 [V 2 ] G 2 = F 3 [x 26, x 36, x 48, t 2 5 ], where x 26, x 36, x 48 are Dickson invariants in F 3 [t 2, t 3, t 4 ] as in (3). By Theorem 2.5, we have F 3 [t 1, t 2, t 3, t 4, t 5 ] W(A) = F 3 [x 4, x 26, x 36, x 48, x 324 ], where x 4 = t 2 5 and x 324 = t V 2 (t 1 + t) 2. 4 Proof of Theorem 1.1 Let p be a prime, including p = 2. As in the previous section, let G be a compact Lie group and A an elementary abelian p subgroup of G. We denote by i A,G : A G the inclusion. Then the induced homomorphism ΓBi A,G : ΓH BG ΓH BA factors through the ring of invariants of the Weyl group W(A). Proposition 4.1 The inclusion of the image is an integral extension. ImΓBi A,G (ΓH BA) W(A) Proof By the Peter Weyl theorem, for a sufficiently large n, there exists an embedding of a compact Lie group G into a unitary group U(n), say i G,U(n) : G U(n). Through the induced homomorphism Bi G,U(n) : H BU(n) H BG, the mod p cohomology H BG is an H BU(n) module. Recall here that H BU(n) = F p [c 1,..., c n ], where each c i is a Chern class and deg c i = 2i. So, H BU(n) is a Noetherian ring. It is well-known that H BG is a finitely generated H BU(n) module, so that H BG is a Noetherian H BU(n) module. We defined ΓH BG as a quotient module of H BG. Therefore, ΓH BG is also a Noetherian H BU(n) module. Considering the case G = A, we may conclude that ΓH BA is also a Noetherian H BU(n) module. Since the ring of

13 The Rothenberg Steenrod spectral sequence 225 invariants (ΓH BA) W(A) is an H BU(n) submodule of a Noetherian H BU(n) module ΓH BA, it is also a Noetherian H BU(n) module. Hence, the ring of invariants (ΓH BA) W(A) is a finitely generated H BU(n) module. Thus, the inclusion Im ΓBi A,G (ΓH BA) W(A) is an integral extension. In the case p = 3, G =, A = E 5a, the ring of invariants of the Weyl group W(A) is computed in the previous section and it is as a graded F 3 algebra. F 3 [x 4, x 26, x 36, x 48, x 324 ] Now, we recall the computation of the cotorsion product Cotor H (F 3, F 3 ) due to Mimura and Sambe in [2]. From this, we need just an upper bound for the degree of algebra generators of the cotorsion product. Namely, the following result which is immediate from the computation of Mimura and Sambe suffices to prove the noncollapsing of the Rothenberg Steenrod spectral sequence. Proposition 4.2 As a graded F 3 algebra, the cotorsion product Cotor H (F 3, F 3 ) is generated by elements of degree less than or equal to 168. As a consequence of Proposition 4.2, if the Rothenberg Steenrod spectral sequence collapsed at the E 2 level, then H B and ΓH B would be generated by elements of degree less than or equal to 168 as graded F 3 algebras. The image of the induced homomorphism ΓBi A, would also be generated by elements of degree less than or equal to 168. Therefore, Im ΓBi A, would be a subalgebra of F 3 [x 4, x 26, x 36, x 48 ]. It is clear that x 324 is not integral over F 3 [x 4, x 26, x 36, x 48 ], and so the inclusion Im ΓBi A, (ΓH BA) W(A) = F 3 [x 4, x 26, x 36, x 48, x 324 ] would not be an integral extension. This contradicts Proposition 4.1. Hence, the Rothenberg Steenrod spectral sequence does not collapse at the E 2 level.

14 226 Masaki Kameko and Mamoru Mimura References [1] K Andersen, J Grodal, J Møller, A Viruel, The classification of p compact groups for p odd arxiv:math.at/ [2] M Mimura, Y Sambe, On the cohomology mod p of the classifying spaces of the exceptional Lie groups II, III, J. Math. Kyoto Univ. 20 (1980) MR [3] L Smith, Polynomial invariants of finite groups, Research Notes in Mathematics 6, A K Peters Ltd., Wellesley, MA (1995) MR [4] C Wilkerson, A primer on the Dickson invariants, from: Proceedings of the Northwestern Homotopy Theory Conference (Evanston, Ill., 1982), Contemp. Math. 19, Amer. Math. Soc., Providence, RI (1983) MR Toyama University of International Studies Toyama , Japan Department of Mathematics, Okayama University Okayama , Japan kameko@tuins.ac.jp, mimura@math.okayama-u.ac.jp Received: 31 July 2004 Revised: 26 October 2005

On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8

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

Mùi invariants and Milnor operations

Mùi invariants and Milnor operations 107 140 107 arxiv version: fonts, pagination and layout may vary from GTM published version Mùi invariants and Milnor operations MASAKI KAMEKO MAMORU MIMURA We describe Mùi invariants in terms of Milnor

More information

FINITE CHEVALLEY GROUPS AND LOOP GROUPS

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

A note on Samelson products in the exceptional Lie groups

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

ON ADIC GENUS AND LAMBDA-RINGS

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

EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES

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

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

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

nx ~p Us x Uns2"'-1,» i

nx ~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 information

The Homotopic Uniqueness of BS 3

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

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

Hilbert function, Betti numbers. Daniel Gromada

Hilbert function, Betti numbers. Daniel Gromada Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

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

Noetherian property of infinite EI categories

Noetherian property of infinite EI categories Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result

More information

Pacific Journal of Mathematics

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

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

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

Homework 4 Solutions

Homework 4 Solutions Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite

More information

A Primer on Homological Algebra

A Primer on Homological Algebra A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably

More information

THE FUNDAMENTAL GROUP OF A p-compact GROUP

THE FUNDAMENTAL GROUP OF A p-compact GROUP THE FUNDAMENTAL GROUP OF A p-compact GROUP W. G. DWYER AND C. W. WILKERSON 1. Introduction The notion of p-compact group [10] is a homotopy theoretic version of the geometric or analytic notion of compact

More information

Algebra Exam Syllabus

Algebra Exam Syllabus Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate

More information

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End

More information

For Which Pseudo Reflection Groups Are the p-adic Polynomial Invariants Again a Polynomial Algebra?

For Which Pseudo Reflection Groups Are the p-adic Polynomial Invariants Again a Polynomial Algebra? Journal of Algebra 214, 553 570 (1999) Article ID jabr.1998.7691, available online at http://www.idealibrary.com on For Which Pseudo Reflection Groups Are the p-adic Polynomial Invariants Again a Polynomial

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

BETTI NUMBERS OF FIXED POINT SETS AND MULTIPLICITIES OF INDECOMPOSABLE SUMMANDS

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

William G. Dwyer Clarence W. Wilkerson

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

SUMS OF UNITS IN SELF-INJECTIVE RINGS

SUMS OF UNITS IN SELF-INJECTIVE RINGS SUMS OF UNITS IN SELF-INJECTIVE RINGS ANJANA KHURANA, DINESH KHURANA, AND PACE P. NIELSEN Abstract. We prove that if no field of order less than n + 2 is a homomorphic image of a right self-injective ring

More information

Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO

Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO UTMS 2011 8 April 22, 2011 Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs by Toshiyuki Kobayashi and Yoshiki Oshima T UNIVERSITY OF TOKYO GRADUATE SCHOOL OF

More information

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations

More information

Polynomial Hopf algebras in Algebra & Topology

Polynomial Hopf algebras in Algebra & Topology Andrew Baker University of Glasgow/MSRI UC Santa Cruz Colloquium 6th May 2014 last updated 07/05/2014 Graded modules Given a commutative ring k, a graded k-module M = M or M = M means sequence of k-modules

More information

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013

More information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need

More information

Math 530 Lecture Notes. Xi Chen

Math 530 Lecture Notes. Xi Chen Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary

More information

ON SOME EXAMPLES OF GROUP ACTIONS AND GROUP EXTENSIONS

ON SOME EXAMPLES OF GROUP ACTIONS AND GROUP EXTENSIONS ON SOME EXAMPLES OF GROUP ACTIONS AND GROUP EXTENSIONS Alejandro Adem* and Ergün Yalçın Department of Mathematics University of Wisconsin Madison, WI 53706 USA 0 Introduction It is well-known that finite

More information

1.1 Definition of group cohomology

1.1 Definition of group cohomology 1 Group Cohomology This chapter gives the topological and algebraic definitions of group cohomology. We also define equivariant cohomology. Although we give the basic definitions, a beginner may have to

More information

Ring Theory Problems. A σ

Ring Theory Problems. A σ Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group

More information

Chern Classes and the Chern Character

Chern Classes and the Chern Character Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the

More information

BUNDLES, COHOMOLOGY AND TRUNCATED SYMMETRIC POLYNOMIALS

BUNDLES, COHOMOLOGY AND TRUNCATED SYMMETRIC POLYNOMIALS BUNDLES, COHOMOLOGY AND TRUNCATED SYMMETRIC POLYNOMIALS ALEJANDRO ADEM AND ZINOVY REICHSTEIN Abstract. The cohomology of the classifying space BU(n) of the unitary group can be identified with the the

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

ANALYSIS OF SMALL GROUPS

ANALYSIS OF SMALL GROUPS ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal

More information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND

More information

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)]. Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

Problems in Linear Algebra and Representation Theory

Problems in Linear Algebra and Representation Theory Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific

More information

LIE ALGEBRAS: LECTURE 7 11 May 2010

LIE ALGEBRAS: LECTURE 7 11 May 2010 LIE ALGEBRAS: LECTURE 7 11 May 2010 CRYSTAL HOYT 1. sl n (F) is simple Let F be an algebraically closed field with characteristic zero. Let V be a finite dimensional vector space. Recall, that f End(V

More information

EXERCISES 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) (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 information

4.2 Chain Conditions

4.2 Chain Conditions 4.2 Chain Conditions Imposing chain conditions on the or on the poset of submodules of a module, poset of ideals of a ring, makes a module or ring more tractable and facilitates the proofs of deep theorems.

More information

HOMEWORK Graduate Abstract Algebra I May 2, 2004

HOMEWORK Graduate Abstract Algebra I May 2, 2004 Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it

More information

A Leibniz Algebra Structure on the Second Tensor Power

A Leibniz Algebra Structure on the Second Tensor Power Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any

More information

The mod-2 cohomology. of the finite Coxeter groups. James A. Swenson University of Wisconsin Platteville

The mod-2 cohomology. of the finite Coxeter groups. James A. Swenson University of Wisconsin Platteville p. 1/1 The mod-2 cohomology of the finite Coxeter groups James A. Swenson swensonj@uwplatt.edu http://www.uwplatt.edu/ swensonj/ University of Wisconsin Platteville p. 2/1 Thank you! Thanks for spending

More information

THE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS

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

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

Some notes on linear algebra

Some notes on linear algebra Some notes on linear algebra Throughout these notes, k denotes a field (often called the scalars in this context). Recall that this means that there are two binary operations on k, denoted + and, that

More information

Topics in Representation Theory: Roots and Weights

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

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

THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main

More information

Dedekind Domains. Mathematics 601

Dedekind Domains. Mathematics 601 Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite

More information

Auslander s Theorem for permutation actions on noncommutative algebras

Auslander s Theorem for permutation actions on noncommutative algebras Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Joint with Ellen Kirkman, W. Frank Moore, Robert Won Invariant Theory Throughout,

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

Problem 1.1. Classify all groups of order 385 up to isomorphism.

Problem 1.1. Classify all groups of order 385 up to isomorphism. Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5

More information

SUBCATEGORIES OF EXTENSION MODULES BY SERRE SUBCATEGORIES

SUBCATEGORIES OF EXTENSION MODULES BY SERRE SUBCATEGORIES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 7, July 2012, Pages 2293 2305 S 0002-9939(2011)11108-0 Article electronically published on November 23, 2011 SUBCATEGORIES OF EXTENSION

More information

Algebraic Topology exam

Algebraic Topology exam Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,

More information

INTRODUCTION TO EQUIVARIANT COHOMOLOGY THEORY

INTRODUCTION TO EQUIVARIANT COHOMOLOGY THEORY INTRODUCTION TO EQUIVARIANT COHOMOLOGY THEORY YOUNG-HOON KIEM 1. Definitions and Basic Properties 1.1. Lie group. Let G be a Lie group (i.e. a manifold equipped with differentiable group operations mult

More information

Practice Algebra Qualifying Exam Solutions

Practice Algebra Qualifying Exam Solutions Practice Algebra Qualifying Exam Solutions 1. Let A be an n n matrix with complex coefficients. Define tr A to be the sum of the diagonal elements. Show that tr A is invariant under conjugation, i.e.,

More information

Auslander s Theorem for permutation actions on noncommutative algebras

Auslander s Theorem for permutation actions on noncommutative algebras Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Introduction This project is joint work with my collaborators at Wake Forest University.

More information

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 67 (2006) 2006, Pages 225 259 S 0077-1554(06)00156-7 Article electronically published on December 27, 2006 THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL

More information

Algebraic Number Theory

Algebraic Number Theory TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for

More information

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication. Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

More information

SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS

SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the

More information

NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES

NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,

More information

A NOTE ON RELATIVE UNIMODULAR ROWS

A NOTE ON RELATIVE UNIMODULAR ROWS A NOTE ON RELATIVE UNIMODULAR ROWS KUNTAL CHAKRABORTY AND RAVI A. RAO 1. Witt Group and Relative Witt Group R will denote a cmmutative ring with 1 0, unless stated otherwise. I will denote an ideal of

More information

On adic genus, Postnikov conjugates, and lambda-rings

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

Mathematical Journal of Okayama University

Mathematical Journal of Okayama University Mathematical Journal of Okayama University Volume 48, Issue 1 2006 Article 1 JANUARY 2006 On Euclidean Algorithm Kaoru Motose Hirosaki University Copyright c 2006 by the authors. Mathematical Journal of

More information

ON TENSOR PRODUCTS OF COMPLETE RESOLUTIONS

ON TENSOR PRODUCTS OF COMPLETE RESOLUTIONS ON TENSOR PRODUCTS OF COMPLETE RESOLUTIONS YOUSUF A. ALKHEZI & DAVID A. JORGENSEN Abstract. We construct tensor products of complete resolutions of finitely generated modules over Noetherian rings. As

More information

arxiv: v1 [math.ac] 8 Jun 2010

arxiv: v1 [math.ac] 8 Jun 2010 REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the

More information

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1. NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over

More information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

More information

THE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS. Osaka Journal of Mathematics. 52(1) P.15-P.29

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

Review of Linear Algebra

Review of Linear Algebra Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

A Generalization of VNL-Rings and P P -Rings

A Generalization of VNL-Rings and P P -Rings Journal of Mathematical Research with Applications Mar, 2017, Vol 37, No 2, pp 199 208 DOI:103770/jissn:2095-2651201702008 Http://jmredluteducn A Generalization of VNL-Rings and P P -Rings Yueming XIANG

More information

Notes 10: Consequences of Eli Cartan s theorem.

Notes 10: Consequences of Eli Cartan s theorem. Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups

More information

arxiv: v1 [math.rt] 15 Oct 2008

arxiv: v1 [math.rt] 15 Oct 2008 CLASSIFICATION OF FINITE-GROWTH GENERAL KAC-MOODY SUPERALGEBRAS arxiv:0810.2637v1 [math.rt] 15 Oct 2008 CRYSTAL HOYT AND VERA SERGANOVA Abstract. A contragredient Lie superalgebra is a superalgebra defined

More information

NORMAL SMASH PRODUCTS

NORMAL SMASH PRODUCTS PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 3 1998 NORMAL SMASH PRODUCTS S. Yang and D. Wang* Abstract: Let H be a co-frobenius Hopf algebra over a field k and A a right H-comodule algebra. It is shown that

More information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

More information

Noncommutative invariant theory and Auslander s Theorem

Noncommutative invariant theory and Auslander s Theorem Noncommutative invariant theory and Auslander s Theorem Miami University Algebra Seminar Robert Won Wake Forest University Joint with Jason Gaddis, Ellen Kirkman, and Frank Moore arxiv:1707.02822 November

More information

Group Gradings on Finite Dimensional Lie Algebras

Group Gradings on Finite Dimensional Lie Algebras Algebra Colloquium 20 : 4 (2013) 573 578 Algebra Colloquium c 2013 AMSS CAS & SUZHOU UNIV Group Gradings on Finite Dimensional Lie Algebras Dušan Pagon Faculty of Natural Sciences and Mathematics, University

More information

Representations. 1 Basic definitions

Representations. 1 Basic definitions Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then

More information

SELF-DUAL HOPF QUIVERS

SELF-DUAL HOPF QUIVERS Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of

More information

MULTIPLICATIVE FIBRE MAPS

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

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

SELF-EQUIVALENCES OF DIHEDRAL SPHERES

SELF-EQUIVALENCES OF DIHEDRAL SPHERES SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)

More information

Fusion systems and self equivalences of p-completed classifying spaces of finite groups of Lie type

Fusion systems and self equivalences of p-completed classifying spaces of finite groups of Lie type Fusion systems and self equivalences of p-completed classifying spaces of finite groups of Lie type Carles Broto Universitat Autònoma de Barcelona March 2012 Carles Broto (Universitat Autònoma de Barcelona)

More information