ON THE CHIEF FACTORS OF PARABOLIC MAXIMAL SUBGROUPS IN FINITE SIMPLE GROUPS OF NORMAL LIE TYPE
|
|
- Gloria Patterson
- 6 years ago
- Views:
Transcription
1 Siberian Mathematical Journal, Vol. 55, No. 4, pp , 2014 Original Russian Text Copyright c 2014 Korableva V.V. ON THE CHIEF FACTORS OF PARABOLIC MAXIMAL SUBGROUPS IN FINITE SIMPLE GROUPS OF NORMAL LIE TYPE V. V. Korableva UDC Abstract: For every finite group of normal Lie type, we specify the description of the parabolic factors of a parabolic maximal subgroup occurring in the unipotent radical. For every module, we determine the highest weight and dimension. The results are presented in the tables where these parameters are given. DOI: /S Keywords: finite group of Lie type, parabolic subgroup, chief factor Introduction One of the fundamental problems of group theory is the study of the subgroup structure of a given group. In the postclassification theory of finite groups, investigating their subgroups and representations has become an actual problem. The important class of permutation representation of finite groups of Lie type is given by its parabolic representations; i.e., the representations on the cosets modulo parabolic subgroups. In our previous works, we obtained a description for the primitive parabolic permutation representations of all groups of (normal and twisted) Lie type. This article continues the study of the properties of these representations; namely, the chief factors are studied of parabolic maximal subgroups in finite simple groups of normal Lie type. Let G be a finite simple group of normal Lie type (a Chevalley group) over a finite field K of characteristic p and let P = UL be a parabolic maximal subgroup in G, where U is the unipotent radical and L is the Levi complement in P. Suppose that p 2 for the groups of type B l, C l, F 4 and p>3 for the groups of type G 2. Then the results of [1] imply that the factors of the lower central series of U are chief factors of P and irreducible KL-modules. The number of these factors is independent of the field K but depends on the Lie type of G. In the exceptional cases, the commutator relations influencing the structure of unipotent subgroups behave in a special way and require special consideration. In this article the author specifies the description of the factors of parabolic maximal subgroups P occurring in the unipotent radical under the above-indicated conditions. These chief factors are irreducible KL-modules. For every such module, we find the highest weight and dimension. 1. Notation and Auxiliary Results The modular representations are an important tool in the study of the subgroup structure of finite groups. The irreducible representations of finite groups of Lie type can be parametrized by highest weights as it was done in the theory of representations of complex semisimple Lie algebras (for example, see [2 5]). We will use the definitions and notation connected with the groups of Lie type from [6]. Let Φ be arootsystemforagroupg, let π be the set of simple roots in Φ, and let Φ + be the corresponding set of positive roots. It is known that G = x (t) t K, Φ, and for each root Φ, the root subgroup X = {x (t) t K} is isomorphic to the field K. Given a G-module M and a character χ of a Cartan The author was supported by the Russian Foundation for Basic Research (Grant ) and the Laboratory of Quantum Topology of Chelyabinsk State University (Grant 14.Z of the Government of the Russian Federation). Chelyabinsk. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 55, No. 4, pp , July August, Original article submitted February 4, /14/ c 2014 Springer Science+Business Media, Inc.
2 subgroup H in G, the nonzero space M χ = {v M h v = χ(h)v for all h H} is called a weight space and χ is called a weight of the G-module M (or the weight of the corresponding representation). A G-module M can be decomposed into a direct sum of weight spaces. There exists a one-dimensional subspace in M invariant under the action of a Borel subgroup in G. A vector v generating such a space is called a maximal vector for M. This is equivalent to the fact that v 0 belongs to some weight space M χ and is fixed under the action of all root subgroups X with positive roots. For an irreducible G-module M, the weight χ is called its highest weight. Given a subset J in π, denotebyφ J the set of roots in Φ spanned by J and put Φ + J =Φ+ Φ J. Let P be the standard parabolic subgroup in G corresponding to the root system Φ J. A subgroup P is known to admit the Levi decomposition: P = UL, where U = X Φ + \ Φ + J is the unipotent radical and L = H, X Φ J is the Levi complement in P. Denote the jth term of the lower central series of U by U (j), where j 1andU = U (1). Given Φ +, write = J + J, where J = α J c αα and J = α π\j d αα (0 c α,d α Z). The number ht() = α J c α + α π\j d α is called the height of the root. Following [1], call the number level() = α π\j d α the level of the root and refer to shape() = J as the shape of. Given j 1, put U j = X Φ +, level() j. The Chevalley commutator formula [6, Theorem 5.2.2] implies that every subgroup U j is normal in P and the quotient group U j /U j+1 is isomorphic to X, where the product is taken in some fixed order over all positive roots for which level() =j. For all roots Φ + \ Φ + J with level() =j and shape() =S, put ( V S = X )U j+1 /U j+1. Then write shape()=s level()=j U j /U j+1 = V S, where S ranges over the set of different shapes of level j in Φ + \ Φ + J. For each j 1, the group L acts by conjugation on U j /U j+1. If Φ + \ Φ J and level() =j then put cx (t)u j+1 = x (ct)u j+1 for c, t K. Thus, U j /U j+1 becomes a KL-module. The Chevalley commutator formula easily yields Lemma 1. If S is the shape of the roots of level j in Φ + \ Φ + J then (1) the vector space V S over the field K is isomorphic to the external direct sum of root subgroups X for which shape() =S and level() =j, (2) V S is normalized by L and is a KL-submodule in U j /U j+1. If A and B are normal subgroups in P, while B is a subgroup in A, and the quotient group A/B is a minimal normal subgroup in P/B, then A/B is called a chief factor of P. The following result is essential in finding the chief factors of a parabolic subgroup and composing the corresponding tables. Lemma 2 [1, Theorem 2; 4, Theorem 17.6]. Suppose that G is a finite simple group of normal Lie type over a finite field K of characteristic p, p 2, for the groups of type B l, C l, F 4 and p>3 for the groups of type G 2 ; while P = UL is the parabolic subgroup in G corresponding to a root system Φ J with unipotent radical U, and Levi complement L in P ; the subgroups U j and U (j) for j 1 are as above. Then (1) U j = U (j) for each j 1; (2) for every shape S, among all roots Φ + \ Φ + J for which shape() =S, there exists a unique root S of maximal height, and the module V S is an irreducible KL-module of highest weight S ; (3) if K > 5, S and S are different shapes then V S and V S are nonequivalent KL-modules; 623
3 (4) for each j 1, the module U j /U j+1 is a direct sum of irreducible modules V S, where the sum is taken in arbitrary order over all different shapes S of roots of level j in Φ + \ Φ + J. In particular, U j/u j+1 is a completely reducible KL-module; (5) V S is a chief factor for P. Put π = {p 1,...,p l }, k {1,...,l}, J =Π\{p k }, P J = P k and Φ J =Φ k. Then, for = l i=1 c ip i Φ + and j 1, we have level() =c k,shape() =c k p k, U j = X c k j = c k j X,and U j /U j+1 = V jpk = X. 2. The Exceptional Groups We will provide the tables of chief factors for a parabolic maximal subgroup in an exceptional group of normal Lie type. In the first column of the table for each parabolic maximal subgroup P k in G, we indicate all chief factors V S occurring in its unipotent radical. The module V S is isomorphic (in the additive notation) to a direct sum of root subgroups X, which are one-dimensional weight spaces of weight. In the second column, we write down all such weights. In the third column, we write down the highest weight S of the irreducible KL-module V S ; and, finally, in the last column, the dimension of V S. Denote an arbitrary root l i=1 c ip i inφbyc 1 c 2...c l. The unit subgroup and the integer unity will be designated as 1. Let K = GF (q), where q is a power of a prime p. For the group G 2 (q) with the Dynkin diagram c k =j the set of positive roots consists of the elements 10, 01, 11, 21, 31, 32. Up to conjugacy, G 2 (q) has two parabolic maximal subgroups. Write down the Levi decomposition for each of them: P 1 = X 10,X 11,X 21,X 31,X 32 H, X ±01, P 2 = X 01,X 11,X 21,X 31,X 32 H, X ±10. The chief factors in P 1 are given by V 1p1 = U 1 /U 2 = X10 X 11, V 2p1 = U 2 /U 3 = X21,andV 3p1 = U 3 /1 = X 31 X 32. Therefore, xu 2 is a maximal vector for the irreducible KL-module U 1 /U 2 for any nonunit element x X p1 +p 2. The element yu 3 is a maximal vector for the irreducible KL-module U 2 /U 3 for every nonunit element y X 2p1 +p 2. Similarly, for P 2 we get V 1p2 = U 1 /U 2 = X01 X 11 X 21 X 31, and V 2p2 = U 2 /1 = X 32. Put the so-obtained results in Table 1. Table 1. G = G 2 (q), p>3. V S = X S dim V S V 1p1 10, V 2p V 3p1 31, V 1p2 01, 11, 21, V 2p For the group F 4 (q) with the Dynkin diagram 624
4 the set of positive roots Φ + consists of the elements 1000, 0100, 0010, 0001, 1100, 0110, 0011, 1110, 0120, 0111, 1120, 1111, 0121, 1220, 1121, 0122, 1221, 1122, 1231, 1222, 1232, 1242, 1342, Up to conjugacy, F 4 (q) has four parabolic maximal subgroups P k = H, X Φ + Φ k,1 k 4. For each of these subgroups, put down in the table the chief factors, the weights of one-dimensional spaces contained in the corresponding irreducible module, the highest weight of the module, and its dimension (see Table 2). V S Table 2. G = F 4 (q), p 2. Roots with V S = X S dim V S V 1p1 1000, 1100, 1110, 1120, 1111, 1220, 1121, 1221, 1122, 1231, 1222, 1232, 1242, V 2p V 1p2 0100, 1100, 0110, 1110, 0120, 0111, 1120, 1111, 0121, 1121, 0122, V 2p2 1220, 1221, 1231, 1222, 1232, V 3p2 1342, V 1p3 0010, 0110, 0011, 1110, 0111, V 2p3 0120, 1120, 0121, 1220, 1121, 0122, 1221, 1122, V 3p3 1231, V 4p3 1242, 1342, V 1p4 0001, 0011, 0111, 1111, 0121, 1121, 1221, V 2p4 0122, 1122, 1222, 1232, 1242, 1342, In each of the groups E l (q), where l is equal to 6, 7, or 8, there are l parabolic maximal subgroups P k = H, X Φ + Φ k,1 k l. For these groups, compose the tables similar to those for G 2 (q) and F 4 (q) (see Tables 3 5). For E 6 (q) with the Dynkin diagram the set of positive roots Φ + consists of the elements , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
5 V S Table 3. G = E 6 (q). Roots with V S = X S dim V S V 1p , , , , , , , , , , , , , , , V 1p , , , , , , , , , , , , , , , , , , , V 2p V 1p , , , , , , , , , , , , , , , , , , , V 2p , , , , V 1p , , , , , , , , , , , , , , , , , V 2p , , , , , , , , V 3p , V 1p , , , , , , , , , , , , , , , , , , , V 2p , , , , V 1p , , , , , , , , , , , , , , , For E 7 (q) with the Dynkin diagram the set of positive roots Φ + consists of the elements , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
6 V S Table 4. G = E 7 (q). Roots with V S = X S dim V S V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 2p V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 2p , , , , , , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 2p , , , , , , , , , , , , , , V 3p , V 1p , , , , , , , , , , , , , , , , , , , , , , , V 2p , , , , , , , , , , , , , , , , , V 3p , , , , , , V 4p , , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 2p , , , , , , , , , , , , , ,
7 V S Table 4. G = E 7 (q) (continued). Roots with V S = X S dim V S V 3p , , , , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 2p , , , , , , , , , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , For E 8 (q) with the Dynkin diagram the set of positive roots Φ + of type E 8 consists of the elements , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
8 V S Table 5. G = E 8 (q). Roots with V S = X S dim V S V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 2p , , , , , , , , , , , , , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 2p , , , , , , , , , , , , , , , , , , , , , , , , , , , V 3p , , , , , , , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
9 V S Table 5. G = E 8 (q) (continued). Roots with V S = X S dim V S V 2p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 3p , , , , , , , , , , , , , V 4p , , , , , , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 2p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 3p , , , , , , , , , , , , , , , , , , , V 4p , , , , , , , , , , , , , , V 5p , , , , , V 6p , , , , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
10 V S Table 5. G = E 8 (q) (continued). Roots with V S = X S dim V S V 2p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 3p , , , , , , , , , , , , , , , , , , , V 4p , , , , , , , , , V 5p , , , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 2p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 3p , , , , , , , , , , , , , , , V 4p , , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
11 V S Table 5. G = E 8 (q) (continued). Roots with V S = X S dim V S V 2p , , , , , , , , , , , , , , , , , , , , , , , , , , V 3p , V 1p , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , V 2p Table 6. Positive Roots for Classical Groups. G Φ + A l (q) p 1,p 12,...,p 1l,p 2,p 23,...,p 2l,...,p l 1,p l 1l,p l B l (q) p 1,p 12,...,p 1l,p 2,p 23,...,p 2l,...,p l 1,p l 1l,p l ; p 1 +2p 2l,p 12 +2p 3l,...,p 1l 1 +2p l,p 2 +2p 3l,p 23 +2p 4l,...,p 2l 1 +2p l,..., p l 2 +2p l 1l,p l 2l 1 +2p l,p l 1 +2p l C l (q) p 1,p 12,...,p 1l,p 2,p 23,...,p 2l,...,p l 1,p l 1l,p l ; p 1 +2p 2l 1 + p l, p 12 +2p 3l 1 + p l,...,p 1l 2 +2p l 1 + p l,p 2 +2p 3l 1 + p l, p 23 +2p 4l 1 + p l,...,p 2l 2 +2p l 1 + p l,...,p l 2 +2p l 1 + p l ; 2p 1l 1 + p l, 2p 2l 1 + p l,...,2p l 2l 1 + p l, 2p l 1 + p l D l (q) p 1,p 12,...,p 1l,p 2,p 23,...,p 2l,...,p l 2,p l 2l 1,p l 2l,p l 1 ; p 1 +2p 2l 2 + p l 1l,p 12 +2p 3l 2 + p l 1l,...,p 1l 3 +2p l 2 + p l 1l, p 2 +2p 3l 2 + p l 1l,p 23 +2p 4l 2 + p l 1l,...,p 2l 3 +2p l 2 + p l 1l,..., p l 3 +2p l 2 + p l 1l ; p 1l 2 + p l,p 2l 2 + p l,...,p l 3l 2 + p l,p l 2 + p l,p l 3. The Classical Groups The classical groups of normal Lie are given by A l (q), B l (q), C l (q), and D l (q). For 1 i j l denote a positive root p i + p i p j by p ij and, in particular, p i = p ii. In this notation, write down all positive roots for each classical group (see Table 6). 632 Proposition. Suppose that G {A l (q),b l (q),c l (q),d l (q)}, K = GF (q) and P is the parabolic
12 maximal subgroup in G obtained by removing the kth vertex from the Dynkin diagram in the standard ordering of the vertices: Assume that q is odd for the groups of type B l and C l, while U is the unipotent radical of P, and the subgroups U j and V jpk, j 1, are as above. Then (1) If G = A l (q) then, for each 1 k l, (a) U = U 1 is an abelian group; (b) dim V 1pk = k(l k +1). (2) If G = B l (q) then (a) U = U 1 is an abelian group for k =1; (b) the fragment of the chief series of P lying in U has the form U = U 1 >U 2 > 1 for 2 k l; (c) dim V 1pk = k(2l 2k +1)for 1 k l; (d) dim V 2pk = k(k 1)/2 for 2 k l. (3) If G = C l (q) then (a) the fragment of the chief series of P lying in U has the form U = U 1 >U 2 > 1 for 1 k l 1; (b) U = U 1 is an abelian group k = l; (c) dim V 1pk =2k(l k) for 1 k l 1 and dim V 1pl = l(l +1)/2; (d) dim V 2pk = k(k +1)/2 for 1 k l 1. (4) If G = D l (q) then (a) the fragment of the chief series of P lying in U has the form U = U 1 >U 2 > 1 for 2 k l 2; (b) U = U 1 is an abelian group k {1,l 1,l}; (C) dim V 1pk =2k(l k) for 1 k l 2 and dim V 1pk = l(l 1)/2 for k {l 1,l}; (d) dim V 2pk = k(k 1)/2 for 2 k l 2. Proof. Case G = A l (q). If 1 k l then Φ + \ Φ + k = {p 1k,p 1k+1,...,p 1l,p 2k,p 2k+1,...,p 2l,...,p k 1k,p k 1k+1,...,p k 1l, p k,p kk+1,p kk+2,...,p kl }. For Φ + \ Φ + k,wehaveshape() =1p k and U = U 1. Therefore, U is an abelian group and there exists only one chief factor V 1pk = U 1 /1ofP included in U. For every t K, the element x p1l (t) U is a maximal vector and the root p 1l is the highest weight of the KL-module V 1pk. Since dim V 1pk = Φ + \ Φ + k = k(l k + 1), Case (1) of the proposition is proved. Case G = B l (q). If 1 k l then Φ + \ Φ + k = {p 1k,p 1k+1,...,p 1l,p 2k,p 2k+1,...,p 2l,...,p k 1k,p k 1k+1,..., p k 1l,p k,p kk+1,...,p kl ; p 1 +2p 2l,p 12 +2p 3l,...,p 1l 1 +2p l, p 2 +2p 3l,p 23 +2p 4l,...,p 2l 1 +2p l,...,p k 1 +2p kl,p k 1k +2p k+1l,...,p k 1l 1 +2p l,p k +2p k+1l,p kk+1 +2p k+2l,...,p kl 1 +2p l }; 633
13 in particular, Φ + \ Φ + 1 = {p 1,p 12,...,p 1l ; p 1 +2p 2l,p 12 +2p 3l,...,p 1l 1 +2p l }. For Φ + \ Φ + 1,wehave shape() =1p 1, U = U 1 is an abelian group, there exists only one chief factor V 1p1 = U 1 /1forP included in U, and dim V 1p1 =2l 1. For every t K, the element x p1 +2p 2l (t) U is a maximal vector and the root p 1 +2p 2l is the highest weight of the KL-module V 1p1. If Φ + \ Φ + k and 2 k l 1 then shape() =1p k or shape() =2p k. We have the series U = U 1 >U 2 > 1 and two chief factors V 1pk = U 1 /U 2 and V 2pk = U 2 /1ofP.Therootp 1k +2p k+1l is the highest weight of the KL-module V 1pk and p 1 +2p 2l is the highest weight of V 2pk. If k = l then Φ + \ Φ + l = {p 1l,p 2l,...,p l 1l,p l ; p 1 +2p 2l,p 12 +2p 3l,...,p 1l 1 +2p l,p 2 +2p 3l, p 23 +2p 4l,...,p 2l 1 +2p l,...,p l 1 +2p l }. The roots p 1l,p 2l,...,p l 1l,p l have shape 1p l, and the remaining roots in Φ + \ Φ + l have shape 2p l ; therefore, we obtain a fragment U = U 1 >U 2 > 1 of the central series of P with two factors V 1pl = U 1 /U 2 and V 2pl = U 2 /1. The root p 1l is the highest weight of the first KL-module, whereas p 1 +2p 2l is the highest weight of the second. Now, it is easy to compute the dimensions of V 1pk and V 2pk. Case G = C l (q). If 1 k l 2 then Φ + \ Φ + k = {p 1k,p 1k+1,...,p 1l,p 2k,p 2k+1,...,p 2l,...,p k 1k,p k 1k+1,..., p k 1l,p k,p kk+1,...,p kl ; p 1 +2p 2l 1 + p l,p 12 +2p 3l 1 + p l,...,p 1l 2 +2p l 1 + p l,p 2 +2p 3l 1 + p l,p 23 +2p 4l 1 + p l,..., p 2l 2 +2p l 1 + p l,...,p k 1 +2p kl 1 + p l,p k 1k +2p k+1l 1 + p l,...,p k 1l 2 +2p l 1 + p l,p k +2p k+1l 1 + p l,p kk+1 +2p k+2l 1 + p l,...,p kl 2 +2p l 1 + p l ;2p 1l 1 + p l, 2p 2l 1 + p l,...,2p kl 1 + p l }, Φ + \ Φ + l 1 = {p 1l 1,p 1l,p 2l 1,p 2l,...,p l 2l 1,p l 2l,p l 1,p l 1l ; p 1 +2p 2l 1 + p l, p 12 +2p 3l 1 + p l,...,p 1l 2 +2p l 1 + p l,p 2 +2p 3l 1 + p l, p 23 +2p 4l 1 + p l,...,p 2l 2 +2p l 1 + p l,...,p l 2 +2p l 1 + p l ; 2p 1l 1 + p l, 2p 2l 1 + p l,...,2p l 2l 1 + p l, 2p l 1 + p l }, Φ + \ Φ + l = {p 1l,p 2l,...,p l 1l,p l ; p 1 +2p 2l 1 + p l,p 12 +2p 3l 1 + p l,..., p 1l 2 +2p l 1 + p l,p 2 +2p 3l 1 + p l,...,p 2l 2 +2p l 1 + p l,..., p l 3 +2p l 2l 1 + p l,p l 3l 2 +2p l 1 + p l,p l 2 +2p l 1 + p l ; 2p 1l 1 + p l, 2p 2l 1 + p l,...,2p l 2l 1 + p l, 2p l 1 + p l }. If Φ + \ Φ + k and 1 k l 2 then shape() = 1p k or shape() = 2p k. We have the series U = U 1 >U 2 > 1 and two chief factors V 1pk and V 2pk of P. The root p 1k +2p k+1l 1 + p l is the highest weight of the first KL-module V 1pk, whereas 2p 1l 1 + p l is the highest weight of the second. For k = l 1 the situation is similar excluding the highest weight of V 1pl 1. If Φ + \ Φ + l then shape() =1p l,andu is an abelian group. For every t K, the element x 2p1l 1 +p l (t) U is a maximal vector and the root 2p 1l 1 + p l is the highest weight of V 1pl. Calculate the number of roots for each shape and thus find the dimensions of V 1pk and V 2pk,1 k l. Case G = D l (q). Given a root, from Φ + \ Φ + 1 = {p 1,p 12,...,p 1l ; p 1l 2 + p l ; p 1 +2p 2l 2 + p l 1l,p 12 +2p 3l 2 + p l 1l,...,p 1l 3 +2p l 2 + p l 1l } 634
14 V S for A l (q) Table 7. Roots with V S = V 1pk p 1k,p 1k+1,...,p 1l,p 2k,p 2k+1,...,p 2l,...,p k 1k,p k 1k+1,..., k is arbitrary p k 1l,p k,p kk+1,...,p kl X V S for B l (q) V 1p1 p 1,p 12,...,p 1l ; p 1 +2p 2l,p 12 +2p 3l,...,p 1l 1 +2p l V 1pk p 1k,p 1k+1,...,p 1l,p 2k,p 2k+1,...,p 2l,...,p k,p kk+1,...,p kl ; 2 k l 1 p 1k +2p k+1l,p 1k+1 +2p k+2l,...,p 1l 1 +2p l,p 2k +2p k+1l, p 2k+1 +2p k+2l,...,p 2l 1 +2p l,...,p k +2p k+1l, p kk+1 +2p k+2l,...,p kl 1 +2p l V 2pk p 1 +2p 2l,p 12 +2p 3l,...,p 1k 1 +2p kl,p 2 +2p 3l, 2 k l 1 p 23 +2p 4l,...,p 2k 1 +2p kl,...,p k 2 +2p k 1l, V 1pl p k 2k 1 +2p kl,p k 1 +2p kl p 1l,p 2l,...,p l 1l,p l V 2pl p 1 +2p 2l,p 12 +2p 3l,...,p 1l 1 +2p l, V S for C l (q) p 2 +2p 3l,p 23 +2p 4l,...,p 2l 1 +2p l,...,p l 1 +2p l V 1pk p 1k,p 1k+1,...,p 1l,p 2k,p 2k+1,...,p 2l,...,p k 1k,p k 1k+1, 1 k l 2...,p k 1l,p k,p kk+1,...,p kl ; p 1k +2p k+1l 1 + p l, p 1k+1 +2p k+2l 1 + p l,...,p 1l 2 +2p l 1 + p l, p 2k +2p k+1l 1 + p l,...,p 2l 2 +2p l 1 + p l,...,p k 1k +2p k+1l 1 + p l,p k 1k+1 +2p k+2l 1 + p l,..., p k 1l 2 +2p l 1 + p l,p k +2p k+1l 1 + p l, p kk+1 +2p k+2l 1 + p l,...,p kl 2 +2p l 1 + p l V 2pk p 1 +2p 2l 1 + p l,p 12 +2p 3l 1 + p l,...,p 1k 1 +2p kl 1 + p l, 1 k l 2 p 2 +2p 3l 1 + p l,...,p 2k 1 +2p kl 1 + p l,..., V 1pl 1 p k 1 +2p kl 1 + p l ;2p 1l 1 + p l, 2p 2l 1 + p l,...,2p kl 1 + p l p 1l 1,p 1l,p 2l 1,p 2l,...,p l 2l 1,p l 2l,p l 1,p l 1l V 2pl 1 p 1 +2p 2l 1 + p l,p 12 +2p 3l 1 + p l,...,p 1l 2 +2p l 1 + p l, p 2 +2p 3l 1 + p l,p 23 +2p 4l 1 + p l,...,p 2l 2 +2p l 1 + p l,...,p l 2 +2p l 1 + p l ; 2p 1l 1 + p l, 2p 2l 1 + p l,...,2p l 2l 1 + p l, 2p l 1 + p l V 1pl p 1l,p 2l,...,p l 1l,p l ; p 1 +2p 2l 1 + p l,p 12 +2p 3l 1 + p l,..., p 1l 2 +2p l 1 + p l,p 2 +2p 3l 1 + p l,p 23 +2p 4l 1 + p l,..., p 2l 2 +2p l 1 + p l,...,p l 2 +2p l 1 + p l ; 2p 1l 1 + p l, 2p 2l 1 + p l,...,2p l 2l 1 + p l, 2p l 1 + p l we have shape() =1p 1 ; hence, U is an abelian group. For every t K, the element x p1 +2p 2l 2 +p l 1l (t) U is a maximal vector and the root p 1 +2p 2l 2 +p l 1l is the highest weight of the KL-module V 1p1. Since dim V 1p1 = Φ + \ Φ + 1,wehavedimV 1p k =2l
15 Table 7 (continued). V S for D l (q) V 1p1 p 1,p 12,...,p 1l ; p 1l 2 + p l,p 1 +2p 2l 2 + p l 1l, p 12 +2p 3l 2 + p l 1l,...,p 1l 3 +2p l 2 + p l 1l V 1pk p 1k,p 1k+1,...,p 1l,p 2k,p 2k+1,...,p 2l...,p k 1k,p k 1k+1,..., 2 k l 3 p k 1l,p k,p kk+1,...,p kl ; p 1l 2 + p l,p 2l 2 + p l,...,p kl 2 + p l ; p 1k +2p k+1l 2 + p l 1l,p 1k+1 +2p k+2l 2 + p l 1l,..., p 1l 3 +2p l 2 + p l 1l,p 2k +2p k+1l 2 + p l 1l, p 2k+1 +2p k+2l 2 + p l 1l,...,p 2l 3 +2p l 2 + p l 1l,..., p k 1k +2p k+1l 2 + p l 1l,p k 1k+1 +2p k+2l 2 + p l 1l,..., p k 1l 3 +2p l 2 + p l 1l,p k +2p k+1l 2 + p l 1l, p kk+1 +2p k+2l 2 + p l 1l,...,p kl 3 +2p l 2 + p l 1l V 2pk p 1 +2p 2l 2 + p l 1l,p 12 +2p 3l 2 + p l 1l,..., 2 k l 3 p 1k 1 +2p kl 2 + p l 1l,p 2 +2p 3l 2 + p l 1l,..., p 2k 1 +2p kl 2 + p l 1l,...,p k 1 +2p kl 2 + p l 1l V 1pl 2 p 1l 2,p 1l 1,p 1l,p 2l 2,p 2l 1,p 2l,...,p l 2,p l 2l 1,p l 2l ; p 1l 2 + p l,p 2l 2 + p l,...,p l 2 + p l V 2pl 2 p 1 +2p 2l 2 + p l 1l,p 12 +2p 3l 2 + p l 1l,..., p 1l 3 +2p l 2 + p l 1l,p 2 +2p 3l 2 + p l 1l,p 23 +2p 4l 2 + p l 1l,...,p 2l 3 +2p l 2 + p l 1l,...,p l 4 +2p l 3l 2 + p l 1l, p l 4,l 3 +2p l 2 + p l 1l,p l 3 +2p l 2 + p l 1l V 1pl 1 p 1l 1,p 1l,p 2l 1,p 2l,...,p l 2l 1,p l 2l,p l 1 ; p 1 +2p 2l 2 + p l 1l,p 12 +2p 3l 2 + p l 1l,..., p 1l 3 +2p l 2 + p l 1l,p 2 +2p 3l 2 + p l 1l,..., p 2l 3 +2p l 2 + p l 1l,...,p l 3 +2p l 2 + p l 1l V 1pl p 1l,p 2l,...,p l 2l ; p 1 +2p 2l 2 + p l 1l,p 12 +2p 3l 2 + p l 1l,...,p 1l 3 +2p l 2 + p l 1l,p 2 +2p 3l 2 + p l 1l, p 23 +2p 4l 2 + p l 1l,...,p 2l 3 +2p l 2 + p l 1l,...,p l 3 +2p l 2 + p l 1l ; p 1l 2 + p l,p 2l 2 + p l,...,p l 3l 2 + p l,p l 2 + p l,p l For 2 k l 3, we infer Φ + \ Φ + k = {p 1k,p 1k+1,...,p 1l,p 2k,p 2k+1,...,p 2l,...,p k,p kk+1,...,p kl ; p 1l 2 + p l,p 2l 2 + p l,...,p kl 2 + p l ; p 1 +2p 2l 2 + p l 1l, p 12 +2p 3l 2 + p l 1l,...,p 1l 3 +2p l 2 + p l 1l,p 2 +2p 3l 2 + p l 1l,...,p 2l 3 +2p l 2 + p l 1l,...,p k 1 +2p kl 2 + p l 1l, p k 1k +2p k+1l 2 + p l 1l,...,p k 1l 3 +2p l 2 + p l 1l, p k +2p k+1l 2 + p l 1l,...,p kl 3 +2p l 2 + p l 1l }. The roots p 1k,p 1k+1,...,p 1l,p 2k,p 2k+1,...,p 2l,...,p k,p kk+1,...,p kl ; p 1l 2 + p l, p 2l 2 + p l,...,p kl 2 + p l ; p 1k +2p k+1l 2 + p l 1l,p 1k+1 +2p k+2l 2 + p l 1l,..., p 1l 3 +2p l 2 + p l 1l,p 2k +2p k+1l 2 + p l 1l,p 2k+1 +2p k+2l 2 + p l 1l,..., p 2l 3 +2p l 2 + p l 1l,...,p k 1k +2p k+1l 2 + p l 1l,p k 1k+1 +2p k+2l 2 + p l 1l,...,p k 1l 3 +2p l 2 + p l 1l,p k +2p k+1l 2 + p l 1l,...,p kl 3 +2p l 2 + p l 1l 636
16 Table 8. The Chief Factors, the Highest Weights, and the Powers for Classical Groups. G k V S S dim V S A l (q) is arbitrary V 1pk p 1l k(l k +1) B l (q), p 2 1 k l 1 V 1pk p 1k +2p k+1l k(2l 2k +1) B l (q), p 2 2 k l V 2pk p 1 +2p 2l k(k 1)/2 B l (q), p 2 l V 1pl p 1l l C l (q), p 2 1 k l 2 V 1pk p 1k +2p k+1l 1 + p l 2k(l k) C l (q), p 2 1 k l 2 V 2pk 2p 1l 1 + p l k(k +1)/2 C l (q), p 2 l 1 V 1pl 1 p 1l 2(l 1) C l (q), p 2 l 1 V 2pl 1 2p 1l 1 + p l l(l 1)/2 C l (q), p 2 l V 1pl 2p 1l 1 + p l l(l +1)/2 D l (q) 1 k l 3 V 1pk p 1k +2p k+1l 2 + p l 1l 2k(l k) D l (q) l 2 V 1pl 2 p 1l 4(l 2) D l (q) 2 k l 2 V 2pk p 1 +2p 2l 2 + p l 1l k(k 1)/2 D l (q) l 1 V 1pl 1 p 1 +2p 2l 2 + p l 1l l(l 1)/2 D l (q) l V 1pl p 1 +2p 2l 2 + p l 1l l(l 1)/2 have shape 1p k, whereas the remaining roots in Φ + \ Φ + k have shape 2p k; therefore, for 2 k l 3 we get the chief series U = U 1 >U 2 > 1. The root p 1k +2p k+1l 2 + p l 1l is the highest weight of the KL-module V 1pk = U 1 /U 2,andp 1 +2p 2l 2 + p l 1l is the highest weight of V 2pk = U 2 /1. Next, Φ + \ Φ + l 2 = {p 1l 2,p 1l 1,p 1l,p 2l 2,p 2l 1,p 2l,...,p l 2,p l 2l 1,p l 2l ; p 1 +2p 2l 2 + p l 1l,p 12 +2p 3l 2 + p l 1l,...,p 1l 3 +2p l 2 + p l 1l, p 2 +2p 3l 2 + p l 1l,p 23 +2p 4l 2 + p l 1l,...,p 2l 3 +2p l 2 + p l 1l,...,p l 4 +2p l 3l 2 + p l 1l,p l 4l 3 +2p l 2 + p l 1l, p l 3 +2p l 2 + p l 1l ; p 1l 2 + p l,p 2l 2 + p l,...,p l 2 + p l }. The roots p 1l 2,p 1l 1,p 1l,p 2l 2,p 2l 1,p 2l,...,p l 2,p l 2l 1,p l 2l ; p 1l 2 + p l,p 2l 2 + p l,...,p l 2 + p l have shape 1p l 2, and the remaining roots in Φ + \ Φ + l 2 have shape 2p l 2; therefore, for k = l 2, we have the series U = U 1 >U 2 > 1, and two chief factors V 1pl 2 = U 1 /U 2 and V 2pl 2 = U 2 /1ofP. The root p 1l is the highest weight of the KL-module V 1pl 2,andp 1 +2p 2l 2 + p l 1l is the highest wight of V 2pl 2. Consider k {l 1,l}. We infer Φ + \ Φ + l 1 = {p 1l 1,p 1l,p 2l 1,p 2l,...,p l 2l 1,p l 2l,p l 1 ; p 1 +2p 2l 2 + p l 1l, p 12 +2p 3l 2 + p l 1l,...,p 1l 3 +2p l 2 + p l 1l,p 2 +2p 3l 2 + p l 1l, p 23 +2p 4l 2 + p l 1l,...,p 2l 3 +2p l 2 + p l 1l,...,p l 3 +2p l 2 + p l 1l }, Φ + \ Φ + l = {p 1l,p 2l,...,p l 2l ; p 1 +2p 2l 2 + p l 1l,p 12 +2p 3l 2 + p l 1l,..., p 1l 3 +2p l 2 + p l 1l,p 2 +2p 3l 2 + p l 1l,p 23 +2p 4l 2 + p l 1l,..., p 2l 3 +2p l 2 + p l 1l,...,p l 3 +2p l 2 + p l 1l ; p 1l 2 + p l,p 2l 2 + p l,...,p l 3l 2 + p l,p l 2 + p l,p l }. For all Φ + \ Φ + l 1 or Φ+ \ Φ + l,wehaveshape() =1p l 1 or shape() =1p l respectively, and hence U is an abelian group and there is only one chief factor. The dimensions of the modules are now easily computable. The proposition is proved. 637
17 We now compile Table 7. In the first column of the table, indicate the chief factors V S = V jpk occurring in the unipotent radical of each parabolic maximal subgroup P k in a classical group. Recall that the module V S is isomorphic to the direct sum of root subgroups X, which are one-dimensional weight spaces of weight. In the second column, we write down all these weights. We give all remaining information about the chief factors of parabolic maximal subgroups in the classical groups in the last combined Table 8. In the first column we indicate G {A l (q),b l (q),c l (q),d l (q)}; in the second column, write down the number of the vertex k that is removed from the Dynkin diagram for obtaining a parabolic maximal subgroup P = P k in G; in the third column of the table, for P k,we point out all chief factors V S = V jpk occurring in its unipotent radical. In the fourth column, we write down the highest weight of the irreducible KL-module V S ; and, finally, the last column will contain the dimension of V S. References 1. Azad H., Barry M., and Seitz G., On the structure of parabolic subgroups, Comm. Algebra, 18, No. 2, (1990). 2. Bourbaki N., Groups and Lie Algebras. Chapters 7 and 8 [Russian translation], Mir, Moscow (1978). 3. Humphreys J., Modular Representation of Finite Groups of Lie Type, Cambridge Univ. Press, Cambridge (2006). 4. Malle G. and Testerman D., Linear Algebraic Groups and Finite Groups of Lie Type, Cambridge Univ. Press, Cambridge (2011). 5. Steinberg R., Lectures on Chevalley Groups, Yale University, New Haven (1968). 6. Carter R. W., Simple Groups of Lie Type, Wiley, London (1972). V. V. Korableva Chelyabinsk State University, Chelyabinsk, Russia address: vvk@csu.ru 638
arxiv: v1 [math.rt] 14 Nov 2007
arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationBackground on Chevalley Groups Constructed from a Root System
Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described
More informationBibliography. Groups and Fields. Matrix Theory. Determinants
Bibliography Groups and Fields Alperin, J. L.; Bell, Rowen B. Groups and representations. Graduate Texts in Mathematics, 162. Springer-Verlag, New York, 1995. Artin, Michael Algebra. Prentice Hall, Inc.,
More informationOn the Self-dual Representations of a p-adic Group
IMRN International Mathematics Research Notices 1999, No. 8 On the Self-dual Representations of a p-adic Group Dipendra Prasad In an earlier paper [P1], we studied self-dual complex representations of
More informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More information`-modular Representations of Finite Reductive Groups
`-modular Representations of Finite Reductive Groups Bhama Srinivasan University of Illinois at Chicago AIM, June 2007 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations AIM,
More informationTHREE CASES AN EXAMPLE: THE ALTERNATING GROUP A 5
THREE CASES REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE LECTURE II: DELIGNE-LUSZTIG THEORY AND SOME APPLICATIONS Gerhard Hiss Lehrstuhl D für Mathematik RWTH Aachen University Summer School Finite Simple
More informationMath 249B. Tits systems
Math 249B. Tits systems 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ + Φ, and let B be the unique Borel k-subgroup
More informationReducibility of generic unipotent standard modules
Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture I
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture I Set-up. Let K be an algebraically closed field. By convention all our algebraic groups will be linear algebraic
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics SPHERICAL NILPOTENT ORBITS IN POSITIVE CHARACTERISTIC RUSSELL FOWLER AND GERHARD RÖHRLE Volume 237 No. 2 October 2008 PACIFIC JOURNAL OF MATHEMATICS Vol. 237, No. 2, 2008
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 informationMATRIX GENERATORS FOR THE REE GROUPS 2 G 2 (q)
MATRIX GENERATORS FOR THE REE GROUPS 2 G 2 (q) Gregor Kemper Frank Lübeck and Kay Magaard May 18 2000 For the purposes of [K] and [KM] it became necessary to have 7 7 matrix generators for a Sylow-3-subgroup
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 informationThe Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras
The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple
More informationA CONJUGACY CRITERION FOR HALL SUBGROUPS IN FINITE GROUPS
Siberian Mathematical Journal, Vol. 51, No. 3, pp. 402 409, 2010 Original Russian Text Copyright c 2010 Vdovin E. P. and Revin D. O. A CONJUGACY CRITERION FOR HALL SUBGROUPS IN FINITE GROUPS E. P. Vdovin
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 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 informationOn the Irreducibility of the Commuting Variety of the Symmetric Pair so p+2, so p so 2
Journal of Lie Theory Volume 16 (2006) 57 65 c 2006 Heldermann Verlag On the Irreducibility of the Commuting Variety of the Symmetric Pair so p+2, so p so 2 Hervé Sabourin and Rupert W.T. Yu Communicated
More informationON THE ORDERS OF AUTOMORPHISM GROUPS OF FINITE GROUPS
Submitted exclusively to the London Mathematical Society DOI: 0./S0000000000000000 ON THE ORDERS OF AUTOMORPHISM GROUPS OF FINITE GROUPS JOHN N. BRAY and ROBERT A. WILSON Abstract In the Kourovka Notebook,
More informationSIMPLE GROUPS ADMIT BEAUVILLE STRUCTURES
SIMPLE GROUPS ADMIT BEAUVILLE STRUCTURES ROBERT GURALNICK AND GUNTER MALLE Dedicated to the memory of Fritz Grunewald Abstract. We prove a conjecture of Bauer, Catanese and Grunewald showing that all finite
More informationConjugacy Classes in Semisimple Algebraic Groups (Revisions)
Conjugacy Classes in Semisimple Algebraic Groups (Revisions) Subtract 4 from each page number in the Index. (This production error seems to be corrected in the paperback reprint.) 7 In line 3 replace M
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 informationLecture 4: LS Cells, Twisted Induction, and Duality
Lecture 4: LS Cells, Twisted Induction, and Duality B. Binegar Department of Mathematics Oklahoma State University Stillwater, OK 74078, USA Nankai Summer School in Representation Theory and Harmonic Analysis
More informationLECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
More informationModular representations of symmetric groups: An Overview
Modular representations of symmetric groups: An Overview Bhama Srinivasan University of Illinois at Chicago Regina, May 2012 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations
More informationAHAHA: Preliminary results on p-adic groups and their representations.
AHAHA: Preliminary results on p-adic groups and their representations. Nate Harman September 16, 2014 1 Introduction and motivation Let k be a locally compact non-discrete field with non-archimedean valuation
More informationVARIATIONS ON THE BAER SUZUKI THEOREM. 1. Introduction
VARIATIONS ON THE BAER SUZUKI THEOREM ROBERT GURALNICK AND GUNTER MALLE Dedicated to Bernd Fischer on the occasion of his 75th birthday Abstract. The Baer Suzuki theorem says that if p is a prime, x is
More informationCategory O and its basic properties
Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationDUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE
DUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE C. RYAN VINROOT Abstract. We prove that the duality operator preserves the Frobenius- Schur indicators of characters
More informationSubgroups of Linear Algebraic Groups
Subgroups of Linear Algebraic Groups Subgroups of Linear Algebraic Groups Contents Introduction 1 Acknowledgements 4 1. Basic definitions and examples 5 1.1. Introduction to Linear Algebraic Groups 5 1.2.
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationMultiplicity free actions of simple algebraic groups
Multiplicity free actions of simple algebraic groups D. Testerman (with M. Liebeck and G. Seitz) EPF Lausanne Edinburgh, April 2016 D. Testerman (with M. Liebeck and G. Seitz) (EPF Lausanne) Multiplicity
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationDECOMPOSITION OF TENSOR PRODUCTS OF MODULAR IRREDUCIBLE REPRESENTATIONS FOR SL 3 (WITH AN APPENDIX BY C.M. RINGEL)
DECOMPOSITION OF TENSOR PRODUCTS OF MODULAR IRREDUCIBLE REPRESENTATIONS FOR SL 3 (WITH AN APPENDIX BY CM RINGEL) C BOWMAN, SR DOTY, AND S MARTIN Abstract We give an algorithm for working out the indecomposable
More informationLOCALLY ELUSIVE CLASSICAL GROUPS. 1. Introduction
LOCALLY ELUSIVE CLASSICAL GROUPS TIMOTHY C. BURNESS AND MICHAEL GIUDICI Abstract. Let G be a transitive permutation group of degree n with point stabiliser H and let r be a prime divisor of n. We say that
More informationEigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups
Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationPrimitive Ideals and Unitarity
Primitive Ideals and Unitarity Dan Barbasch June 2006 1 The Unitary Dual NOTATION. G is the rational points over F = R or a p-adic field, of a linear connected reductive group. A representation (π, H)
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationOVERGROUPS OF IRREDUCIBLE LINEAR GROUPS, II
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Xxxx XXXX, Pages 000 000 S 0002-9947XX)0000-0 OVERGROUPS OF IRREDUCIBLE LINEAR GROUPS, II BEN FORD ABSTRACT. Determining the subgroup
More informationTITS SYSTEMS, PARABOLIC SUBGROUPS, PARABOLIC SUBALGEBRAS. Alfred G. Noël Department of Mathematics Northeastern University Boston, MA
TITS SYSTEMS, PARABOLIC SUBGROUPS, PARABOLIC SUBALGEBRAS Alfred G. Noël Department of Mathematics Northeastern University Boston, MA In this paper we give a brief survey of the basic results on B-N pairs
More informationCharacter sheaves and modular generalized Springer correspondence Part 2: The generalized Springer correspondence
Character sheaves and modular generalized Springer correspondence Part 2: The generalized Springer correspondence Anthony Henderson (joint with Pramod Achar, Daniel Juteau, Simon Riche) University of Sydney
More informationFinite Groups of Lie Type
CHAPTER 1 Finite Groups of Lie Type We begin with a brief review of the standard ways in which finite groups of Lie type are classified, constructed, and described. One complication is the multiplicity
More informationNotes on D 4 May 7, 2009
Notes on D 4 May 7, 2009 Consider the simple Lie algebra g of type D 4 over an algebraically closed field K of characteristic p > h = 6 (the Coxeter number). In particular, p is a good prime. We have dim
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationJordan Blocks of Richardson Classes in the Classical Groups and the Bala-Carter Theorem
Jordan Blocks of Richardson Classes in the Classical Groups and the Bala-Carter Theorem W. Ethan Duckworth March, 2005 Department of Mathematical Sciences Loyola College Baltimore, MD 21210 educkworth@loyola.edu
More informationOn the Harish-Chandra Embedding
On the Harish-Chandra Embedding The purpose of this note is to link the Cartan and the root decompositions. In addition, it explains how we can view a Hermitian symmetric domain as G C /P where P is a
More informationIVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =
LECTURE 7: CATEGORY O AND REPRESENTATIONS OF ALGEBRAIC GROUPS IVAN LOSEV Introduction We continue our study of the representation theory of a finite dimensional semisimple Lie algebra g by introducing
More informationBirational geometry and deformations of nilpotent orbits
arxiv:math/0611129v1 [math.ag] 6 Nov 2006 Birational geometry and deformations of nilpotent orbits Yoshinori Namikawa In order to explain what we want to do in this paper, let us begin with an explicit
More informationRepresentations of semisimple Lie algebras
Chapter 14 Representations of semisimple Lie algebras In this chapter we study a special type of representations of semisimple Lie algberas: the so called highest weight representations. In particular
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationHermitian Symmetric Domains
Hermitian Symmetric Domains November 11, 2013 1 The Deligne torus, and Hodge structures Let S be the real algebraic group Res C/R G m. Thus S(R) = C. If V is a finite-dimensional real vector space, the
More informationON SOME PARTITIONS OF A FLAG MANIFOLD. G. Lusztig
ON SOME PARTITIONS OF A FLAG MANIFOLD G. Lusztig Introduction Let G be a connected reductive group over an algebraically closed field k of characteristic p 0. Let W be the Weyl group of G. Let W be the
More informationCity Research Online. Permanent City Research Online URL:
Linckelmann, M. & Schroll, S. (2005). A two-sided q-analogue of the Coxeter complex. Journal of Algebra, 289(1), 128-134. doi: 10.1016/j.jalgebra.2005.03.026,
More informationThe Cartan Decomposition of a Complex Semisimple Lie Algebra
The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More informationHeights of characters and defect groups
[Page 1] Heights of characters and defect groups Alexander Moretó 1. Introduction An important result in ordinary character theory is the Ito-Michler theorem, which asserts that a prime p does not divide
More informationA Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface
Documenta Math. 111 A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface Indranil Biswas Received: August 8, 2013 Communicated by Edward Frenkel
More informationSection VI.33. Finite Fields
VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,
More informationREPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012
REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre
More informationA method for construction of Lie group invariants
arxiv:1206.4395v1 [math.rt] 20 Jun 2012 A method for construction of Lie group invariants Yu. Palii Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia and Institute
More informationDecomposing Bent Functions
2004 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 49, NO. 8, AUGUST 2003 Decomposing Bent Functions Anne Canteaut and Pascale Charpin Abstract In a recent paper [1], it is shown that the restrictions
More informationADELIC VERSION OF MARGULIS ARITHMETICITY THEOREM. Hee Oh
ADELIC VERSION OF MARGULIS ARITHMETICITY THEOREM Hee Oh Abstract. In this paper, we generalize Margulis s S-arithmeticity theorem to the case when S can be taken as an infinite set of primes. Let R be
More informationIrreducible almost simple subgroups of classical algebraic groups. Timothy C. Burness. Soumaïa Ghandour. Claude Marion. Donna M.
Irreducible almost simple subgroups of classical algebraic groups Timothy C. Burness Soumaïa Ghandour Claude Marion Donna M. Testerman Author address: T.C. Burness, School of Mathematics, University of
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More information0 A. ... A j GL nj (F q ), 1 j r
CHAPTER 4 Representations of finite groups of Lie type Let F q be a finite field of order q and characteristic p. Let G be a finite group of Lie type, that is, G is the F q -rational points of a connected
More informationCHAPTER 6. Representations of compact groups
CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive
More informationSymplectic varieties and Poisson deformations
Symplectic varieties and Poisson deformations Yoshinori Namikawa A symplectic variety X is a normal algebraic variety (defined over C) which admits an everywhere non-degenerate d-closed 2-form ω on the
More informationA CHARACTERIZATION OF DYNKIN ELEMENTS
A CHARACTERIZATION OF DYNKIN ELEMENTS PAUL E. GUNNELLS AND ERIC SOMMERS ABSTRACT. We give a characterization of the Dynkin elements of a simple Lie algebra. Namely, we prove that one-half of a Dynkin element
More informationAlgebra I Fall 2007
MIT OpenCourseWare http://ocw.mit.edu 18.701 Algebra I Fall 007 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.701 007 Geometry of the Special Unitary
More informationOn a question of B.H. Neumann
On a question of B.H. Neumann Robert Guralnick Department of Mathematics University of Southern California E-mail: guralnic@math.usc.edu Igor Pak Department of Mathematics Massachusetts Institute of Technology
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationTHERE IS NO Sz(8) IN THE MONSTER
THERE IS NO Sz(8) IN THE MONSTER ROBERT A. WILSON Abstract. As a contribution to an eventual solution of the problem of the determination of the maximal subgroups of the Monster we show that there is no
More informationMaximal subgroups of exceptional groups: representing groups in groups
Maximal subgroups of exceptional groups: representing groups in groups David A. Craven University of Birmingham Representations of Finite and Algebraic Groups, Les Houches. 9th February, 2015. Joint with
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 informationSOME GOOD-FILTRATION SUBGROUPS OF SIMPLE ALGEBRAIC GROUPS CHUCK HAGUE AND GEORGE MCNINCH
SOME GOOD-FILTRATION SUBGROUPS OF SIMPLE ALGEBRAIC GROUPS CUCK AGUE AND GEORGE MCNINC ABSTRACT. Let G be a connected and reductive algebraic group over an algebraically closed field of characteristic p
More informationA PROOF OF BOREL-WEIL-BOTT THEOREM
A PROOF OF BOREL-WEIL-BOTT THEOREM MAN SHUN JOHN MA 1. Introduction In this short note, we prove the Borel-Weil-Bott theorem. Let g be a complex semisimple Lie algebra. One basic question in representation
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationHomogeneous Coordinate Ring
Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in
More informationON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS
ON TYPES OF MATRICES AND CENTRALIZERS OF MATRICES AND PERMUTATIONS JOHN R. BRITNELL AND MARK WILDON Abstract. It is known that that the centralizer of a matrix over a finite field depends, up to conjugacy,
More informationSpherical varieties and arc spaces
Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected
More information294 Meinolf Geck In 1992, Lusztig [16] addressed this problem in the framework of his theory of character sheaves and its application to Kawanaka's th
Doc. Math. J. DMV 293 On the Average Values of the Irreducible Characters of Finite Groups of Lie Type on Geometric Unipotent Classes Meinolf Geck Received: August 16, 1996 Communicated by Wolfgang Soergel
More informationCartan s Criteria. Math 649, Dan Barbasch. February 26
Cartan s Criteria Math 649, 2013 Dan Barbasch February 26 Cartan s Criteria REFERENCES: Humphreys, I.2 and I.3. Definition The Cartan-Killing form of a Lie algebra is the bilinear form B(x, y) := Tr(ad
More informationTHE 2-MODULAR DECOMPOSITION MATRICES OF THE SYMMETRIC GROUPS S 15, S 16, AND S 17
THE 2-MODULAR DECOMPOSITION MATRICES OF THE SYMMETRIC GROUPS S 15, S 16, AND S 17 Abstract. In this paper the 2-modular decomposition matrices of the symmetric groups S 15, S 16, and S 17 are determined
More informationMath 249B. Standard parabolic subgroups: theory and examples 1. Introduction Let G be a connected reductive k-group, P 0 a minimal parabolic
Math 249B. Standard parabolic subgroups: theory and examples 1. Introduction Let G be a connected reductive k-group, P 0 a minimal parabolic k-subgroup, and k the basis of k Φ := Φ(G, S) corresponding
More informationGEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS
GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
More informationIRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents
IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two
More informationLecture 11 The Radical and Semisimple Lie Algebras
18.745 Introduction to Lie Algebras October 14, 2010 Lecture 11 The Radical and Semisimple Lie Algebras Prof. Victor Kac Scribe: Scott Kovach and Qinxuan Pan Exercise 11.1. Let g be a Lie algebra. Then
More informationGraded modules over classical simple Lie algebras
Graded modules over classical simple Lie algebras Alberto Elduque Universidad de Zaragoza (joint work with Mikhail Kochetov) Graded modules. Main questions Graded Brauer group Brauer invariant Solution
More information