On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8
|
|
- Dwain Anderson
- 5 years ago
- Views:
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
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 informationMù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 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 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 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 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 informationRepresentations 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 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 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 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 informationCOURSE 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 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 informationRepresentations 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 informationHonors 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 informationHilbert 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 informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationNoetherian 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 informationPacific Journal of Mathematics
Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationHomework 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 informationA 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 informationTHE 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 informationAlgebra 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 information12. 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 informationFor 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 informationFILTERED 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 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 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 informationSUMS 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 informationClassification 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 informationMAT 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 informationPolynomial 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 informationOn 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 informationELEMENTARY 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 informationMath 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 informationON 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 information1.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 informationRing 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 informationAlgebra 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 information4.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 informationSTEENROD 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 informationChern 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 informationBUNDLES, 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 informationRings 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 informationANALYSIS 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 informationALGEBRA 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 informationSynopsis 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 informationMATH 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 informationProblems 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 informationLIE 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 informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More information4.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 informationHOMEWORK 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 informationA 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 informationThe 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 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 informationALGEBRA 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 informationSome 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 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 informationTHE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES
Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main
More informationDedekind 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 informationAuslander 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 informationGraduate 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 informationAlgebra 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 informationProblem 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 informationSUBCATEGORIES 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 informationAlgebraic 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 informationINTRODUCTION 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 informationPractice 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 informationAuslander 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 informationTHE 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 informationAlgebraic 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 informationNote 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 informationSPHERICAL 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 informationNONCOMMUTATIVE 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 informationA 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 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 informationMathematical 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 informationON 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 informationarxiv: 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 informationNOTES 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 informationALGEBRA 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 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 informationReview 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 informationMath 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 informationA 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 informationNotes 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 informationMATH 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 informationLECTURE 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 informationarxiv: 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 informationNORMAL 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 informationALGEBRA 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 informationNoncommutative 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 informationGroup 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 informationRepresentations. 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 informationSELF-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 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 informationMath 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 informationSELF-EQUIVALENCES OF DIHEDRAL SPHERES
SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)
More informationFusion 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