Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups...
Transcript of Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups...
![Page 1: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/1.jpg)
Combinatorics in Representations of Finite
Classical Groups
Bhama Srinivasan
University of Illinois at Chicago
University of Florida, September 2007
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 1 /
19
![Page 2: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/2.jpg)
Role of Combinatorics
Combinatorics plays a role in the Representation Theory (Ordinary
and Modular) of:
(i) Symmetric Groups
(ii) General linear groups (over Fq and C )
(iii) Classical groups (over Fq and C )
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 2 /
19
![Page 3: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/3.jpg)
Main Problems
Some main problems of modular representation theory:
Describe the irreducible modular representations, e.g. their
degrees
Describe the blocks
Find the decomposition matrix D, the transition matrix between
ordinary and Brauer characters.
Global to local: Describe information on the block B by ”local
information”, i.e. from blocks of subgroups of the form NG (P),
P a p-group
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 3 /
19
![Page 4: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/4.jpg)
Symmetric Groups Ordinary characters
Ordinary characters of Sn: parametrized by partitions of n
Given partition � , have �� 2 Irr(Sn)
� has associated Young tableau
Hook length formula:
��(1) = n!=Y
hij
Here hij is the hook length of node (i ; j)
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 4 /
19
![Page 5: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/5.jpg)
Symmetric Groups Ordinary characters
Given � , have �� 2 Irr(Sn)
p positive integer: Have p-hooks, p-core of �.
Theorem (Brauer-Nakayama) Characters ��, �� of Sn are in the
same p-block (p prime) if and only if � and � have the same p-core.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 4 /
19
![Page 6: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/6.jpg)
Symmetric Groups Ordinary characters
Recently, concept of p-weight of � = number of p-hooks removed to
get to the p-core.
Theorem (Chuang-Rouquier, 2005) Two p-blocks of Sn with the
same p-weight are derived equivalent, i.e. the derived categories of
the block algebras are equivalent.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 5 /
19
![Page 7: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/7.jpg)
Finite Groups of Lie type
G connected reductive group over Fq, F = Fq
q a power pn of the prime p
F Frobenius endomorphism, F : G ! G
G = GF finite reductive group
T torus, closed subgroup ' F� � F� � � � � � F�
L Levi subgroup, centralizer CG(T) of a torus T
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 6 /
19
![Page 8: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/8.jpg)
Finite Groups of Lie type
G connected reductive group over Fq, F = Fq
q a power pn of the prime p
F Frobenius endomorphism, F : G ! G
G = GF finite reductive group
T torus, closed subgroup ' F� � F� � � � � � F�
L Levi subgroup, centralizer CG(T) of a torus T
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 6 /
19
![Page 9: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/9.jpg)
Finite Groups of Lie type
G connected reductive group over Fq, F = Fq
q a power pn of the prime p
F Frobenius endomorphism, F : G ! G
G = GF finite reductive group
T torus, closed subgroup ' F� � F� � � � � � F�
L Levi subgroup, centralizer CG(T) of a torus T
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 6 /
19
![Page 10: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/10.jpg)
Ordinary Representation Theory (Modern) Harish-Chandra Theory
Let P be an F -stable parabolic subgroup of G and L an F -stable Levi
subgroup of P so that L 6 P 6 G .
Harish-Chandra induction is the following map:
RGL : K0(KL) ! K0(KG ).
If 2 Irr(L) then RGL ( ) = IndG
P ( ) where is the character of P
obtained by inflating to P .
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 7 /
19
![Page 11: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/11.jpg)
Ordinary Representation Theory (Modern) Harish-Chandra Theory
Let P be an F -stable parabolic subgroup of G and L an F -stable Levi
subgroup of P so that L 6 P 6 G .
Harish-Chandra induction is the following map:
RGL : K0(KL) ! K0(KG ).
If 2 Irr(L) then RGL ( ) = IndG
P ( ) where is the character of P
obtained by inflating to P .
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 7 /
19
![Page 12: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/12.jpg)
Ordinary Representation Theory (Modern) Harish-Chandra Theory
� 2 Irr(G ) is::::::::cuspidal if h�;RG
L ( )i = 0 for any L 6 P < G where P
is a proper parabolic subgroup of G . The pair (L; �) a cuspidal pair if
� 2 Irr(L) is cuspidal.
Irr(G ) partitioned into Harish-Chandra families: A family is the set of
constituents of RGL (�) where (L; �) is cuspidal.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 8 /
19
![Page 13: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/13.jpg)
Ordinary Representation Theory (Modern) Deligne-Lusztig Theory
Now let ` be a prime not dividing q.
Suppose L is an F -stable Levi subgroup, not necessarily in an
F -stable parabolic P of G.
The Deligne-Lusztig linear operator:
RGL : K0(QlL) ! K0(QlG ).
Every � in Irr(G ) is in RGT (�) for some (T; �), where T is an
F -stable maximal torus and � 2 Irr(T ).
The::::::::::unipotent characters of G are the irreducible characters
� in RGT (1) as T runs over F -stable maximal tori of G.
If L 6 P 6 G , where P is a F -stable parabolic subgroup, RGL is just
Harish-Chandra induction.Bhama Srinivasan (University of Illinois at Chicago) Classical Groups
University of Florida, September 2007 9 /19
![Page 14: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/14.jpg)
Ordinary Representation Theory (Modern) Deligne-Lusztig Theory
Now let ` be a prime not dividing q.
Suppose L is an F -stable Levi subgroup, not necessarily in an
F -stable parabolic P of G.
The Deligne-Lusztig linear operator:
RGL : K0(QlL) ! K0(QlG ).
Every � in Irr(G ) is in RGT (�) for some (T; �), where T is an
F -stable maximal torus and � 2 Irr(T ).
The::::::::::unipotent characters of G are the irreducible characters
� in RGT (1) as T runs over F -stable maximal tori of G.
If L 6 P 6 G , where P is a F -stable parabolic subgroup, RGL is just
Harish-Chandra induction.Bhama Srinivasan (University of Illinois at Chicago) Classical Groups
University of Florida, September 2007 9 /19
![Page 15: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/15.jpg)
Ordinary Representation Theory (Modern) Deligne-Lusztig Theory
Now let ` be a prime not dividing q.
Suppose L is an F -stable Levi subgroup, not necessarily in an
F -stable parabolic P of G.
The Deligne-Lusztig linear operator:
RGL : K0(QlL) ! K0(QlG ).
Every � in Irr(G ) is in RGT (�) for some (T; �), where T is an
F -stable maximal torus and � 2 Irr(T ).
The::::::::::unipotent characters of G are the irreducible characters
� in RGT (1) as T runs over F -stable maximal tori of G.
If L 6 P 6 G , where P is a F -stable parabolic subgroup, RGL is just
Harish-Chandra induction.Bhama Srinivasan (University of Illinois at Chicago) Classical Groups
University of Florida, September 2007 9 /19
![Page 16: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/16.jpg)
Ordinary Representation Theory (Modern) Deligne-Lusztig Theory
Example: G = GL(n; q). If L is the subgroup of diagonal matrices
contained in the (Borel) subgroup of upper triangular matrices, we
can do Harish-Chandra induction. But if L is a torus (Coxeter torus)
of order qn � 1, we must do Deligne-Lusztig induction to obtain
generalized characters from characters of L.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 10 /
19
![Page 17: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/17.jpg)
Ordinary Representation Theory (Modern) e-Harish-Chandra Theory
As before, G is a finite reductive group. If e is a positive integer,
�e(q) is the e-th cyclotomic polynomial. The order of G is the
product of a power of q and certain cyclotomic polynomials. A torus
T of G is a �e-torus if T has order a power of �e(q).
The centralizer in G of a �e-torus is an e-split Levi subgroup of G .
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 11 /
19
![Page 18: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/18.jpg)
Ordinary Representation Theory (Modern) e-Harish-Chandra Theory
As before, G is a finite reductive group. If e is a positive integer,
�e(q) is the e-th cyclotomic polynomial. The order of G is the
product of a power of q and certain cyclotomic polynomials. A torus
T of G is a �e-torus if T has order a power of �e(q).
The centralizer in G of a �e-torus is an e-split Levi subgroup of G .
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 11 /
19
![Page 19: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/19.jpg)
Ordinary Representation Theory (Modern) e-Harish-Chandra Theory
Example. In GLn e-split Levi subgroups L are isomorphic toQi GL(mi ; q
e)� GL(r ; q).
An e-cuspidal pair (L; �) is defined as in the Harish-Chandra case,
using only e-split Levi subgroups. Thus � 2 Irr(G ) is e-cuspidal if
h�;RGL ( )i = 0 for any e-split Levi subgroup L.
The unipotent characters of G are divided into e-Harish-Chandra
families, as in the usual Harish-Chandra case of e = 1.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 12 /
19
![Page 20: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/20.jpg)
Ordinary Representation Theory (Modern) e-Harish-Chandra Theory
Example. In GLn e-split Levi subgroups L are isomorphic toQi GL(mi ; q
e)� GL(r ; q).
An e-cuspidal pair (L; �) is defined as in the Harish-Chandra case,
using only e-split Levi subgroups. Thus � 2 Irr(G ) is e-cuspidal if
h�;RGL ( )i = 0 for any e-split Levi subgroup L.
The unipotent characters of G are divided into e-Harish-Chandra
families, as in the usual Harish-Chandra case of e = 1.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 12 /
19
![Page 21: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/21.jpg)
Ordinary Representation Theory (Modern) e-Harish-Chandra Theory
Example. In GLn e-split Levi subgroups L are isomorphic toQi GL(mi ; q
e)� GL(r ; q).
An e-cuspidal pair (L; �) is defined as in the Harish-Chandra case,
using only e-split Levi subgroups. Thus � 2 Irr(G ) is e-cuspidal if
h�;RGL ( )i = 0 for any e-split Levi subgroup L.
The unipotent characters of G are divided into e-Harish-Chandra
families, as in the usual Harish-Chandra case of e = 1.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 12 /
19
![Page 22: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/22.jpg)
Ordinary Representation Theory (Modern) e-Harish-Chandra Theory
Definition. A unipotent block of G is a block which contains
unipotent characters.
SURPRISE: Brauer Theory and Lusztig Theory are compatible!
THEOREM (Cabanes-Enguehard) Let B be a unipotent block of G , `
odd and good, e the order of q mod `. Then the unipotent
characters in B are precisely the constituents of RGL (�) where the
pair (L; �) is e-cuspidal.
Thus the unipotent blocks of G are parametrized by e-cuspidal pairs
(L; �) up to G -conjugacy.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 13 /
19
![Page 23: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/23.jpg)
General linear groups
G = GL(n; q), ` a prime not dividing q, e the order of q mod `.
The unipotent characters of G are indexed by partitions of n.
Degrees again by a hook length formula:
��(1) = jG j=Y
(qhij�1)
Theorem (Fong-Srinivasan, 1982) ��, �� are in the same `-block if
and only if �, � have the same e-core.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 14 /
19
![Page 24: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/24.jpg)
General linear groups
Interpretation : ��, �� are in the same `-block if and only if they are
constituents of RGL ( ) where L is a product of tori of order qe�1 and
GL(m; q), = 1� ��, � is an e-core.
�,� are obtained from � by adding e-hooks. Blocks are classified by
e-cores.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 15 /
19
![Page 25: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/25.jpg)
General linear groups
Interpretation : ��, �� are in the same `-block if and only if they are
constituents of RGL ( ) where L is a product of tori of order qe�1 and
GL(m; q), = 1� ��, � is an e-core.
�,� are obtained from � by adding e-hooks. Blocks are classified by
e-cores.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 15 /
19
![Page 26: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/26.jpg)
Classical Groups Symbols
G = Sp(2n; q); SO(2n + 1; q); SO�(2n; q), q odd.
e is the order of q mod `.
A symbol is a pair (Λ1;Λ2) of subsets of N. Notion of e-hooks,
e-cohooks, e-cores of symbols defined. 0 1 2
1 3
!,
0 1 4
1 3
!,
0 1
1 3 4
!
Get the second and third symbols from the first by adding a 2-hook,
2-cohook.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 16 /
19
![Page 27: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/27.jpg)
Classical Groups Symbols
G = Sp(2n; q); SO(2n + 1; q); SO�(2n; q), q odd.
e is the order of q mod `.
A symbol is a pair (Λ1;Λ2) of subsets of N. Notion of e-hooks,
e-cohooks, e-cores of symbols defined. 0 1 2
1 3
!,
0 1 4
1 3
!,
0 1
1 3 4
!
Get the second and third symbols from the first by adding a 2-hook,
2-cohook.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 16 /
19
![Page 28: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/28.jpg)
Classical Groups Symbols
In G = Sp(2n; q); SO(2n + 1; q); SO�(2n; q), unipotent blocks are
again classified by e-cores of symbols. (Fong-Srinivasan,1989)
Theorem of Asai gives the RGL (�) map where � is parametrized by
symbols: Add e-hooks or e-cohooks.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 17 /
19
![Page 29: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/29.jpg)
Disconnected groups Non-unipotent blocks
Aim: Bijection of non-unipotent blocks with unipotent blocks of
suitable subgroups, e.g. centralizers of semisimple elements.
Theorem of Bonnafe- Rouquier: Case when centralizers are Levi.
Theorem on unipotent blocks of G = Sp(2n; q), SO(2n + 1; q),
SO�(2n; q) generalized to ”quadratic unipotent” blocks. Centralizers
of semisimple elements are products of symplectic, orthogonal
groups. Blocks of O(2n + 1; q), O�(2n; q) involved; pairs of
symbols, e-hooks, e-cohooks arise.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 18 /
19
![Page 30: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/30.jpg)
Disconnected groups Non-unipotent blocks
Aim: Bijection of non-unipotent blocks with unipotent blocks of
suitable subgroups, e.g. centralizers of semisimple elements.
Theorem of Bonnafe- Rouquier: Case when centralizers are Levi.
Theorem on unipotent blocks of G = Sp(2n; q), SO(2n + 1; q),
SO�(2n; q) generalized to ”quadratic unipotent” blocks. Centralizers
of semisimple elements are products of symplectic, orthogonal
groups. Blocks of O(2n + 1; q), O�(2n; q) involved; pairs of
symbols, e-hooks, e-cohooks arise.
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 18 /
19
![Page 31: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/31.jpg)
Disconnected groups Non-unipotent blocks
Let G be “twisted” GL(n; q), i.e. GL(n; q) extended by an
automorphism of order 2. Have blocks of G parametrized by pairs of
partitions, connected with blocks of subgroups of the form
Sp(2r ; q)� O(n � 2r ; q).
Recall H.Weyl: GLn is the ”all-embracing majesty”!
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 19 /
19
![Page 32: Combinatorics in Representations of Finite Classical Groupssrinivas/Gainesville.pdfSymmetric Groups Ordinary characters Recently, concept of p-weight of = number of p-hooks removed](https://reader035.fdocuments.us/reader035/viewer/2022081522/5f039c637e708231d409e79b/html5/thumbnails/32.jpg)
Disconnected groups Non-unipotent blocks
Let G be “twisted” GL(n; q), i.e. GL(n; q) extended by an
automorphism of order 2. Have blocks of G parametrized by pairs of
partitions, connected with blocks of subgroups of the form
Sp(2r ; q)� O(n � 2r ; q).
Recall H.Weyl: GLn is the ”all-embracing majesty”!
Bhama Srinivasan (University of Illinois at Chicago) Classical GroupsUniversity of Florida, September 2007 19 /
19