Unipotent classes of reductive groups
Chevie.Ucl
Chevie.Ucl.GreenTable
Chevie.Ucl.ICCTable
Chevie.Ucl.UnipotentClass
Chevie.Ucl.UnipotentClasses
Chevie.Ucl.XTable
Chevie.Ucl.UnipotentValues
Chevie.Ucl.distinguished_parabolics
Chevie.Ucl.induced_linear_form
Chevie.Ucl.special_pieces
Chevie.Ucl
â ModuleThis module gives information about the unipotent conjugacy classes of a connected reductive group over an algebraically closed field k
, and various invariants attached to them. The unipotent classes depend on the characteristic of k
; their classification differs when the characteristic is not good (that is, when it divides one of the coefficients of the highest root). In good characteristic, the unipotent classes are in bijection with nilpotent orbits on the Lie algebra.
We give the following information for a unipotent element u
of each class:
the centralizer $C_ð (u)$, that we describe by the reductive part of $C_ð (u)^0$, by the group of components $A(u):=C_ð (u)/C_ð (u)^0$, and by the dimension of its radical.
in good characteristic, the Dynkin-Richardson diagram.
the Springer correspondence, attaching characters of the Weyl group or relative Weyl groups to each character of
A(u)
.
The Dynkin-Richarson diagram is attached to a nilpotent element $e$ of the Lie algebra $ð€$. By the Jacobson-Morozov theorem there exists an $ð°ð©â$ subalgebra of $ð€$ containing $e$ as the element $\begin{pmatrix}0&1\\0&0 \end{pmatrix}$. Let $ð$ be the torus $\begin{pmatrix}h&0\\0&h^{-1} \end{pmatrix}$ of $SLâ$ and let $ð$ be a maximal torus containing $ð$, so that $ð$ is the image of a one-parameter subgroup $Ïâ Y(ð)$. Consider the root decomposition $ð€=â_{αâΊ}ð€_α$ given by $ð$ and the root system Ί
; then $αâŠâšÏ,αâ©$ defines a linear form on $Ί$, determined by its value on simple roots Î
. It is possible to choose a system of simple roots such that $âšÏ,αâ©â¥ 0$ for $αâÎ $, and then $âšÏ,αâ©â{0,1,2}$ for any $αâÎ $. The Dynkin diagram of $Î $ decorated by these values $0,1,2$ is called the Dynkin-Richardson diagram of $e$, and in good characteristic is a complete invariant of its $ð€$-orbit.
Another classification of unipotent elements was given by Bala-Carter. A standard parabolic subgroup ð
of ð
parameterised by a subset IâÎ
is distinguished if the linear form Ï
taking the value 2
for 뱉 I
and 0
for other simple roots satisfies 2nâ+semisimplerank(ð)=nâ
, where náµ¢
is the number of roots in Ί
where Ï
takes the value i
. Given a distinguished parabolic ð
, there is a unique unipotent class which is dense in the unipotent radical of ð
. This class has the linear form described by the Dynkin-Richardson diagram equal to Ï
. Such unipotent classes are called distinguished. The theorem of Bala-Carter says that every unipotent class is distinguished in the smallest Levi subgroup ð
which contains it, and that such pairs of ð
and the distinguished parabolic ð
of ð
taken up to ð
-conjugacy are in bijection with unipotent classes of ð
.
Let $â¬$ be the variety of all Borel subgroups and let $â¬áµ€$ be the subvariety of Borel subgroups containing the unipotent element u
. Then $dim C_ð(u)=rank ð + 2 dim â¬_u$ and in good characteristic this dimension can be computed from the Dynkin-Richardson diagram: the dimension of the class of u
is the number of roots α
such that $âšÏ,αâ©â{0,1}$.
We now describe the Springer correspondence. Indecomposable locally constant $ð$-equivariant sheaves on a unipotent class $C$, called local systems, are parameterised by irreducible characters of $A(u)$ for uâ C
. The ordinary Springer correspondence is a bijection between irreducible characters of the Weyl group and a large subset of the local systems containing all trivial local systems (those parameterised by the trivial character of $A(u)$ for each $u$). More generally, the generalised Springer correspondence associates to each local system a (unique up to $ð$-conjugacy) cuspidal pair of a Levi subgroup $ð$ of $ð$ and a cuspidal local system on an unipotent class of $ð$, such that the set of local systems associated to a given cuspidal pair is parameterised by the characters of the relative Weyl group $W_ð (ð):=N_ð (ð)/ð$. There are only few cuspidal pairs (at most one in each dimension for classical groups).
The Springer correspondence gives information on the character values of a finite reductive groups as follows: assume that $k$ is the algebraic closure of a finite field $ðœ_q$ and that $F$ is the Frobenius attached to an $ðœ_q$-structure of $ð$. Let $C$ be an $F$-stable unipotent class and let $uâ C^F$; we call $C$ the geometric class of $u$ and the $ð^F$-classes inside $C^F$ are parameterised by the $F$-conjugacy classes of $A(u)$, denoted $H¹(F,A(u))$ (most of the time we can find $u$ such that $F$ acts trivially on $A(u)$ and $H¹(F,A(u))$ is then just the conjugacy classes). To an $F$-stable character $Ï$ of $A(u)$ we associate the characteristic function of the corresponding local system (actually associated to an extension $ÏÌ$ of $Ï$ to $A(u).F$); it is a class function $Y_{u,Ï}$ on $ð^F$ which can be normalized so that: $Y_{u,Ï}(uâ)=ÏÌ(cF)$ if $uâ$ is geometrically conjugate to $u$ and its $ð^F$-class is parameterised by the $F$-conjugacy class $cF$ of $A(u)$, otherwise $Y_{u,Ï}(uâ)=0$. If the pair $u,Ï$ corresponds via the Springer correspondence to the character $Ï$ of $W_ð(ð)$, then $Y_{u,Ï}$ is also denoted $Yᵪ$. There is another important class of functions indexed by local systems: to a local system on class $C$ is attached an intersection cohomology complex, which is a complex of sheaves supported on the closure $CÌ$. To such a complex of sheaves is associated its characteristic function, a class function of $ð^F$ obtained by taking the alternating trace of the Frobenius acting on the stalks of the cohomology sheaves. If $Y_Ï$ is the characteristic function of a local system, the characteristic function of the corresponding intersection cohomology complex is denoted by $X_Ï$. This function is supported on $CÌ$, and Lusztig has shown that $X_Ï=âᵩ P_{Ï,Ï} Yᵪ$ where $P_{Ï,Ï}$ are integer polynomials in $q$ and $Yᵪ$ are attached to local systems on classes lying in $CÌ$.
Lusztig and Shoji have given an algorithm to compute the matrix $P_{Ï,Ï}$, which is implemented in Chevie. The relation to characters of $ð(ðœ_q)$, considering for simplicity the ordinary Springer correspondence, is that the restriction to the unipotent elements of the almost character $R_Ï$ is equal to $q^{bᵪ} Xᵪ$, where $bᵪ$ is $dim â¬áµ€$ for an element u
of the class C
such that the support of Ï
is $CÌ$. The restrictions of the Deligne-Lusztig characters $R_w$ for wâ W
on the unipotents are called the Green functions and can also be computed by Chevie. The values of all unipotent characters on unipotent elements can also be computed in principle by applying Lusztig's Fourier transform matrix (see the section on the Fourier matrix) but there is a difficulty in that the $Xᵪ$ must first be multiplied by some roots of unity which are not known in all cases (and when known may depend on the congruence class of $q$ modulo some small primes).
Finally, we describe how unipotent classes of ð
are parameterised in various quasisimple groups. In classical types, the classes are parametrised by partitions corresponding to the Jordan form in the standard representation. Thus,
- for
Aâ
we have partitions ofn+1
. - for
B_n
we have partitions of2n+1
where even parts occur an even number of times. In characteristic 2, types B and C are isogenous so have the same classification; thus see the next paragraph. - for
C_n
we have partitions of2n
where odd parts occur an even number of times. In characteristic 2, there are2áµ
classes attached to a partition wherek
is the number of even parts which occur an even number of times. - for
D_n
we have partitions of2n
where even parts occur an even number of times, excepted there are two classes when all parts are even. In characteristic 2, we have partitions of2n
where odd parts occur an even number of times, excepted there are2áµ+ÎŽ
classes attached to a partition wherek
is the number of even parts which occur an even number of times, andÎŽ
is 2 when all parts are even and 0 otherwise.
In exceptional groups, the names of the classes are derived from the Bala-Carter classification. The name for a class parametrised by (ð,ð)
is of the form l(p)
where l
is the name of ð
and (p)
is present if there is more than one distinguished parabolic in ð
and describes which one it is. Before the classification of Bala-Carter was universally adopted, Shoji and Mizuno used a different scheme where sometimes a class was parametrised by a reductive subgroup of maximal rank which was not a Levi. These older labels can be obtained instead by giving the IO
property :shoji=>true
or :mizuno=>true
. In a bad characteristic p
, there are extra classes. Each of them is associated to a class c
in good characteristic and is named (c)â
.
We illustrate the above descriptions on some examples:
julia> UnipotentClasses(rootdatum(:sl,4))
UnipotentClasses(slâ)
1111<211<22<31<4
ââââââ¬ââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
âu âD-R d⬠ᵀ B-C C_ð(u) Aâ(Ίâ³) Aâ(AâÃAâΊâ)/-1 .(Aâ)/ζâ .(Aâ)/ζâ³â
ââââââŒââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
â4 â222 0 222 q³.Zâ 1:4 -1:2 ζâ:Id ζâ³:Idâ
â31 â202 1 22. qâŽ.Ίâ Id:31 â
â22 â020 2 2.2 qâŽ.Aâ.Zâ 2:22 11:11 â
â211 â101 3 2.. qâµ.AâΊâ Id:211 â
â1111â000 6 ... Aâ Id:1111 â
ââââââŽââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
The first column of the table gives the name of the unipotent class, here a partition describing the Jordan form. The partial order on unipotent classes given by Zariski closure is given before the table. The column D-R
, which is only shown in good characteristic, gives the Dynkin-Richardson diagram for each class; the column dBu
gives the dimension of the variety $⬠ᵀ$. The column B-C
gives the Bala-Carter classification of $u$, that is in the case of $slâ$ it shows $u$ as a regular unipotent in a Levi subgroup by giving the Dynkin-Richardson diagram of a regular unipotent (all 2's) for the entries corresponding to the Levi and .
for the entries which not corresponding to the Levi. The column C(u)
describes the group $C_ð(u)$: a power $qáµ$ describes that the unipotent radical of $C_ð(u)$ has dimension $d$ (thus $qáµ$ rational points); then follows a description of the reductive part of the neutral component of $C_ð(u)$, given by the name of its root datum. Then if $C_ð(u)$ is not connected, the description of $A(u)$ is given using a different vocabulary: a cyclic group of order 4 is given as Z4
, and a symmetric group on 3 points would be given as S3
.
For instance, the first class 4
has $C_ð(u)^0$ unipotent of dimension 3
and $A(u)$ equal to Z4
, the cyclic group of order 4. The class 22
has $C_G(u)$ with unipotent radical of dimension 4
, reductive part of type A1
and $A(u)$ is Z2
, that is the cyclic group of order 2. The other classes have $C_ð(u)$ connected. For the class 31
the reductive part of $C_G(u)$ is a torus of rank 1.
Then there is one column for each Springer series, giving for each class the pairs 'a:b' where 'a' is the name of the character of $A(u)$ describing the local system involved and 'b' is the name of the character of the (relative) Weyl group corresponding by the Springer correspondence. At the top of the column is written the name of the relative Weyl group, and in brackets the name of the Levi affording a cuspidal local system; next, separated by a /
is a description of the central character associated to the Springer series (omitted if this central character is trivial): all local systems in a given Springer series have same restriction to the center of $ð$. To find what the picture becomes for another algebraic group in the same isogeny class, for instance the adjoint group, one simply discards the Springer series whose central character becomes trivial on the center of $ð$; and each group $A(u)$ has to be quotiented by the common kernel of the remaining characters. Here is the table for the adjoint group:
julia> UnipotentClasses(coxgroup(:A,3))
UnipotentClasses(Aâ)
1111<211<22<31<4
ââââââ¬âââââââââââââââââââââââââââââ
âu âD-R d⬠ᵀ B-C C_ð(u) Aâ(Ίâ³)â
ââââââŒâââââââââââââââââââââââââââââ€
â4 â222 0 222 q³ Id:4â
â31 â202 1 22. qâŽ.Ίâ Id:31â
â22 â020 2 2.2 qâŽ.Aâ Id:22â
â211 â101 3 2.. qâµ.AâΊâ Id:211â
â1111â000 6 ... Aâ Id:1111â
ââââââŽâââââââââââââââââââââââââââââ
Here is another example:
julia> UnipotentClasses(coxgroup(:G,2))
UnipotentClasses(Gâ)
1<Aâ<AÌâ<Gâ(aâ)<Gâ
ââââââââ¬âââââââââââââââââââââââââââââââââââââââââââ
âu âD-R d⬠ᵀ B-C C_ð(u) Gâ(Ίâ²) .(Gâ)â
ââââââââŒâââââââââââââââââââââââââââââââââââââââââââ€
âGâ â 22 0 22 q² Id:Ïâââ â
âGâ(aâ)â 20 1 20 qâŽ.Sâ 21:Ïâ²âââ 3:Ïâââ 111:Idâ
âAÌâ â 01 2 .2 q³.Aâ Id:Ïâââ â
âAâ â 10 3 2. qâµ.Aâ Id:Ïâ³âââ â
â1 â 00 6 .. Gâ Id:Ïâââ â
ââââââââŽâââââââââââââââââââââââââââââââââââââââââââ
which illustrates that on class Gâ(aâ)
there are two local systems in the principal series of the Springer correspondence, and a further cuspidal local system. It also illustrates how we display in general the Bala-Carter classification. If a class is attached to (ð,ð)
then the simple roots in the complement of ð
have a .
. Those in ð
have a 0
or a 2
, the 2
s characterizing ð
. So, from the B-C
column, we see that that Gâ(aâ)
is not in a proper Levi, in which case the Bala-Carter diagram coincides with the Dynkin-Richardson diagram.
The characteristics 2 and 3 are not good for G2
. To get the unipotent classes and the Springer correspondence in bad characteristic, one gives a second argument to the function UnipotentClasses
:
julia> UnipotentClasses(coxgroup(:G,2),3)
UnipotentClasses(Gâ,3)
1<Aâ,(AÌâ)â<AÌâ<Gâ(aâ)<Gâ
ââââââââ¬ââââââââââââââââââââââââââââââââââââââââââââ
âu âd⬠ᵀ B-C C_ð(u) Gâ(Ίâ²) .(Gâ) .(Gâ) .(Gâ)â
ââââââââŒââââââââââââââââââââââââââââââââââââââââââââ€
âGâ â 0 22 q².Zâ 1:Ïâââ ζâ:Id ζâ²:Idâ
âGâ(aâ)â 1 20 qâŽ.Zâ 2:Ïâââ 11:Id â
âAÌâ â 2 .2 qⶠId:Ïâââ â
âAâ â 3 2. qâµ.Aâ Id:Ïâ³âââ â
â(AÌâ)â â 3 ?? qâµ.Aâ Id:Ïâ²âââ â
â1 â 6 .. Gâ Id:Ïâââ â
ââââââââŽââââââââââââââââââââââââââââââââââââââââââââ
The function ICCTable
gives the transition matrix between the functions $Xᵪ$ and $Y_Ï$.
julia> uc=UnipotentClasses(coxgroup(:G,2));
julia> t=ICCTable(uc)
Coefficients of Xᵪ on Yᵩ for series L=Gâââ=Ίâ² W_G(L)=Gâ
ââââââââ¬ââââââââââââââââââââââââââââââ
â âGâ Gâ(aâ)âœÂ²Â¹âŸ Gâ(aâ) AÌâ Aâ 1â
ââââââââŒââââââââââââââââââââââââââââââ€
âXÏâââ â 1 . 1 1 1 1â
âXÏâ²ââââ . 1 . 1 . q²â
âXÏâââ â . . 1 1 1 Ίââ
âXÏâââ â . . . 1 1 Ίââ
âXÏâ³ââââ . . . . 1 1â
âXÏâââ â . . . . . 1â
ââââââââŽââââââââââââââââââââââââââââââ
An example which illustrates how to get the shoji
names of classes
julia> uc=UnipotentClasses(coxgroup(:F,4));
julia> uc.classes[10:end]
7-element Vector{UnipotentClass}:
UnipotentClass(Câ(aâ))
UnipotentClass(Fâ(aâ))
UnipotentClass(Câ)
UnipotentClass(Bâ)
UnipotentClass(Fâ(aâ))
UnipotentClass(Fâ(aâ))
UnipotentClass(Fâ)
julia> xdisplay(uc.classes[10:end],shoji=true)
7-element Vector{UnipotentClass}:
UnipotentClass(Aâ+Bâ)
UnipotentClass(Aâ+AÌâ)
UnipotentClass(Câ)
UnipotentClass(Bâ)
UnipotentClass(Câ+Aâ)
UnipotentClass(Bâ)
UnipotentClass(Fâ)
Here the row labels and the column labels show the two ways of indexing local systems: the row labels give the character of the relative Weyl group and the column labels give the class and the name of the local system as a character of A(u)
: for instance, G2(a1)
is the trivial local system of the class G2(a1)
, while G2(a1)(21)
is the local system on that class corresponding to the 2-dimensional character of $A(u)=Aâ$.
The data on unipotent classes for arbitrary reductive groups are obtained as follows. The data for a quasi-simple simply connected group ðŸ
have been entered by hand for each type. In such a group to each Springer series is attached a character of A(Z)
, the group of components of the center. For any reductive group ðŸ'
of the same type with center Z'
the group A(Z')
is a quotient of the group A(Z)
. The Springer series for ðŸ'
are those such that the corresponding character of A(Z)
factors through A(Z')
(for computing A(Z')
see algebraic_center
). The geometric unipotent classes of ðŸ
and ðŸ'
are in bijection. For u
a unipotent element of ðŸ'
(which we can consider also as a unipotent element of ðŸ
) the group Aâ=A(u)
in ðŸ'
is a quotient of A=A(u)
in ðŸ
that we can compute as follows: the Springer correspondence for ðŸ'
tells us which characters of A
survive in ðŸ'
. Then A'
is the quotient of A
by the common kernel of these characters.
Chevie.Ucl.UnipotentClasses
â TypeUnipotentClasses(W[,p])
W
should be a CoxeterGroup
record for a Weyl group or RootDatum
describing a reductive algebraic group ð
. The function returns a record containing information about the unipotent classes of ð
in characteristic p
(if omitted, p
is assumed to be any good characteristic for ð
). This contains the following fields:
group
: a pointer to W
p
: the characteristic of the field for which the unipotent classes were computed. It is 0
for any good characteristic.
orderclasses
: a list describing the Hasse diagram of the partial order induced on unipotent classes by the closure relation. That is .orderclasses[i]
is the list of j
such that $CÌⱌâ CÌáµ¢$ and there is no class $Câ$ such that $CÌⱌâ CÌââ CÌáµ¢$.
classes
: a list of records holding information for each unipotent class (see below).
springerseries
: a list of records, each of which describes a Springer series of ð
.
The records describing individual unipotent classes have the following fields:
name
: the name of the unipotent class.
parameter
: a parameter describing the class (for example, a partition describing the Jordan form, for classical groups).
Au
: the group A(u)
.
dynkin
: present in good characteristic; contains the Dynkin-Richardson diagram, given as a list of 0,1,2 describing the coefficient on the corresponding simple root.
red
: the reductive part of $C_ð(u)$.
dimBu
: the dimension of the variety ðáµ€
.
The records for classes contain additional fields for certain groups: for instance, the names given to classes by Mizuno in Eâ, Eâ, Eâ
or by Shoji in Fâ
. See the help for UnipotentClass
for more details.
The records describing individual Springer series have the following fields:
levi
:the indices of the reflections corresponding to the Levi subgroup ð
where lives the cuspidal local system ι
from which the Springer series is induced.
relgroup
: The relative Weyl group $N_ð(ð,ι)/ð$. The first series is the principal series for which .levi=[]
and .relgroup=W
.
locsys
: a list of length nconjugacy_classes(.relgroup)
, holding in i
-th position a pair describing which local system corresponds to the i
-th character of $N_ð(ð,ι)$. The first element of the pair is the index of the concerned unipotent class u
, and the second is the index of the corresponding character of A(u)
.
Z
: the central character associated to the Springer series, specified by its value on the generators of the center.
julia> W=rootdatum(:sl,4)
slâ
julia> uc=UnipotentClasses(W);
julia> uc.classes
5-element Vector{UnipotentClass}:
UnipotentClass(1111)
UnipotentClass(211)
UnipotentClass(22)
UnipotentClass(31)
UnipotentClass(4)
The show
function for unipotent classes accepts all the options of showtable
and of charnames
. Giving the option mizuno
(resp. shoji
) uses the names given by Mizuno (resp. Shoji) for unipotent classes. Moreover, there is also an option fourier
which gives the Springer correspondence tensored with the sign character of each relative Weyl group, which is the correspondence obtained via a Fourier-Deligne transform (here we assume that p
is very good, so that there is a nondegenerate invariant bilinear form on the Lie algebra, and also one can identify nilpotent orbits with unipotent classes).
Here is how to display the non-cuspidal part of the Springer correspondence of the unipotent classes of Eâ
using the notations of Mizuno for the classes and those of Frame for the characters of the Weyl group and of Spaltenstein for the characters of Gâ
(this is convenient for checking our data with the original paper of Spaltenstein):
julia> uc=UnipotentClasses(rootdatum(:E6sc));
julia> xdisplay(uc;cols=[5,6,7],spaltenstein=true,frame=true,mizuno=true,
order=false)
ââââââââ¬ââââââââââââââââââââââââââââââââââââââââââââââââââââââ
âu â Eâ(Ίââ¶) Gâ(AâÃAâΊâ²)/ζâ Gâ(AâÃAâΊâ²)/ζâ²â
ââââââââŒââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
âEâ â 1:1â ζâ:1 ζâ²:1â
âEâ(aâ)â 1:6â ζâ:εâ ζâ²:εââ
âDâ
â Id:20â â
âAâ
+Aâ â -1:15â 1:30â ζâ:ΞⲠζâ²:Ξâ²â
âAâ
â 1:15_q ζâ:ΞⳠζâ²:Ξâ³â
âDâ
(aâ)â Id:64â â
âAâ+Aâ â Id:60â â
âDâ â Id:24â â
âAâ â Id:81â â
âDâ(aâ)â111:20â 3:80â 21:90â â
âAâ+Aâ â Id:60â â
â2Aâ+Aââ 1:10â ζâ:ε_c ζâ²:ε_câ
âAâ â Id:81ââ² â
âAâ+2Aââ Id:60ââ² â
â2Aâ â 1:24âⲠζâ:ε ζâ²:εâ
âAâ+Aâ â Id:64ââ² â
âAâ â 11:15ââ² 2:30ââ² â
â3Aâ â Id:15_qâ² â
â2Aâ â Id:20ââ² â
âAâ â Id:6ââ² â
â1 â Id:1ââ² â
ââââââââŽââââââââââââââââââââââââââââââââââââââââââââââââââââââ
Chevie.Ucl.UnipotentClass
â TypeA struct UnipotentClass
representing the class C
of a unipotent element u
of the reductive group ð
with Weyl group W
, contains always the following information
.name
The name ofC
.parameter
A parameter describingC
. Sometimes the same as.name
; a partition describing the Jordan form, for classical groups..dimBu
The dimension of the variety of Borel subgroups containingu
.
For some types there is a field .mizuno
or .shoji
giving alternate names used in the literature.
A UnipotentClass
contains also some of the following information (all of it for some types and some characteristics but sometimes much less)
.dynkin
the Dynkin-Richardson diagram ofC
(a vector giving a weight 0, 1 or 2 to the simple roots)..dimred
the dimension of the reductive part ofC_G(u)
..red
aCoxeterCoset
recording the type of the reductive part ofC_G(u)
, with the twisting induced by the Frobenius if any..Au
the groupA_G(u)=C_G(u)/C^0_G(u)
..balacarter
encodes the Bala-Carter classification ofC
, which says thatu
is distinguished in a LeviL
(the Richardson class in a parabolicP_L
) as a vector listing the indices of the simple roots inL
, with those not inP_L
negated..rep
a list of indices for roots such that ifU=UnipotentGroup(W)
thenprod(U,u.rep)
is a representative ofC
..dimunip
the dimension of the unipotent part ofC_G(u)
..AuAction
anExtendedCoxeterGroup
recording the action ofA_G(u)
onred
.
Chevie.Ucl.ICCTable
â TypeICCTable(uc,seriesNo=1;q=Pol())
This function gives the table of decompositions of the functions $X_ι$ in terms of the functions $Y_ι$. Here ι
is a ð
-equivariant local system on the class C
of a unipotent element u
. Such a local system is parametrised by the pair (u,Ï)
of u
and a character of the group of components A(u)
of $C_ð (u)$. The function $Y_ι$ is the characteristic function of this local system and $X_ι$ is the characteristic function of the corresponding intersection cohomology complex on CÌ
. The Springer correspondence says that the local systems can also be indexed by characters of a relative Weyl group. Since the coefficient of Xᵪ
on Yᵩ
is 0
if Ï
and Ï
are not characters of the same relative Weyl group (are not in the same Springer series), the table is for one Springer series, specified by the argument 'seriesNo' (this defaults to 'seriesNo=1' which is the principal series). The decomposition multiplicities are graded, and are given as polynomials in one variable (specified by the argument q
; if not given Pol()
is assumed).
julia> uc=UnipotentClasses(coxgroup(:A,3));t=ICCTable(uc)
Coefficients of Xᵪ on Yᵩ for series L=Aâââ=Ίâ³ W_G(L)=Aâ
âââââââ¬âââââââââââââââââ
â â4 31 22 211 1111â
âââââââŒâââââââââââââââââ€
âX4 â1 1 1 1 1â
âX31 â. 1 1 Ίâ Ίââ
âX22 â. . 1 1 Ίââ
âX211 â. . . 1 Ίââ
âX1111â. . . . 1â
âââââââŽâââââââââââââââââ
In the above the multiplicities are given as products of cyclotomic polynomials to display them more compactly. However the format of such a table can be controlled more precisely.
For instance, one can ask to not display the entries as products of cyclotomic polynomials and not display the zeroes as '.'
julia> xdisplay(t;cycpol=false,dotzero=false)
Coefficients of Xᵪ on Yᵩ for A3
âââââââ¬âââââââââââââââââââ
â â4 31 22 211 1111â
âââââââŒâââââââââââââââââââ€
âX4 â1 1 1 1 1â
âX31 â0 1 1 q+1 q²+q+1â
âX22 â0 0 1 1 q²+1â
âX211 â0 0 0 1 q²+q+1â
âX1111â0 0 0 0 1â
âââââââŽâââââââââââââââââââ
Since show
uses the function showtable
, all the options of this function are also available. We can use this to restrict the entries displayed to a given sublist of the rows and columns (here the indices correspond to the number in Chevie of the corresponding character of the relative Weyl group of the given Springer series):
julia> uc=UnipotentClasses(coxgroup(:F,4));
julia> t=ICCTable(uc);
julia> sh=[13,24,22,18,14,9,11,19];
julia> xdisplay(t,rows=sh,cols=sh)
Coefficients of Xᵪ on Yᵩ for series L=Fâââ=Ίâ⎠W_G(L)=Fâ
âââââââââ¬âââââââââââââââââââââââââââââââââââââââââââââ
â âAâ+AÌâ Aâ AÌâ Aâ+AÌâ AÌâ+Aâ BââœÂ¹Â¹âŸ Bâ Câ(aâ)âœÂ¹Â¹âŸâ
âââââââââŒâââââââââââââââââââââââââââââââââââââââââââââ€
âXÏââââ â 1 . . . . . . .â
âXÏâ³âââ â 1 1 . . . . . .â
âXÏâ²âââ â 1 . 1 . . . . .â
âXÏâ³âââ â 1 1 . 1 . . . .â
âXÏâ²âââ â Ίâ 1 1 1 1 . . .â
âXÏâââ â q² . . . . 1 . .â
âXÏâ³âââ â Ίâ Ίâ . 1 . . 1 .â
âXÏâ²âââ â q² . Ίâ . 1 . . 1â
âââââââââŽâââââââââââââââââââââââââââââââââââââââââââââ
The function 'ICCTable' returns an object with various pieces of information which can help further computations.
.scalar
: this contains the table of multiplicities Pᵪᵩ
of the Xᵪ
on the Yᵩ
. One should pay attention that by default, the table is not displayed in the same order as the stored |.scalar|, which is in order in Chevie of the characters in the relative Weyl group; the table is transposed, then lines and rows are sorted by dimBu,class no,index of character in A(u)
while displayed.
.group
: The group W
.
.relgroup
: The relative Weyl group for the Springer series.
.series
: The index of the Springer series given for W
.
.dimBu
: The list of $dimâ¬áµ€$ for each local system (u,Ï)
in the series.
:L
: The matrix of (unnormalized) scalar products of the functions $Yᵩ$ with themselves, that is the $(Ï,Ï)$ entry is $â_{gâð(ðœ_q)} Yᵩ(g) Yᵪ(g)$. This is thus a symmetric, block-diagonal matrix where the diagonal blocks correspond to geometric unipotent conjugacy classes. This matrix is obtained as a by-product of Lusztig's algorithm to compute $Pᵩᵪ$.
Chevie.Ucl.XTable
â TypeXTable(uc;classes=false)
This function presents in a different way the information obtained from ICCTable
. Let $XÌ_{u,Ï}=q^{1/2(codim C-dim Z(ð ))}X_{u,Ï}$ where C
is the class of u
and Z(ð )
is the center of Levi subgroup on which lives the cuspidal local system attached to the local system (u,Ï)
.
Then XTable(uc)
gives the decomposition of the functions $XÌ_{u,Ï}$ on local systems. t=XTable(uc,classes==true)
gives the values of the functions $XÌ_{u,Ï}$ on unipotent classes. A side effect of classes=true
is to compute the cardinal of the unipotent conjugacy classes, available in t.cardClass
; in this case displaying t
will show the cardinal of the centralizers of unipotent elements, available in t.centClass
.
julia> W=coxgroup(:G,2)
Gâ
julia> XTable(UnipotentClasses(W))
Values of character sheaves XÌᵪ on local systems Ï
ââââââââââââ¬ââââââââââââââââââââââââââââââââââââââââââââ
âXÌᵪ|Ï â 1 Aâ AÌâ Gâ(aâ)âœÂ¹Â¹Â¹âŸ Gâ(aâ)âœÂ²Â¹âŸ Gâ(aâ) Gââ
ââââââââââââŒââââââââââââââââââââââââââââââââââââââââââââ€
âX_Ïâââ^Gâ â 1 1 1 . . 1 1â
âX_Ïâââ^Gâ â qⶠ. . . . . .â
âX_Ïâ²âââ^Gââ q³ . q . q . .â
âX_Ïâ³âââ^Gââ q³ q³ . . . . .â
âX_Ïâââ^Gâ â qΊâ q q . . q .â
âX_Ïâââ^Gâ âq²Ίâ q² q² . . . .â
âX_Id^. â . . . q² . . .â
ââââââââââââŽââââââââââââââââââââââââââââââââââââââââââââ
The functions XÌ
in the first column are decorated by putting as an exponent the relative groups $W_ð (ð)$.
julia> XTable(UnipotentClasses(W);classes=true)
Values of character sheaves XÌᵪ on unipotent classes
ââââââââââââ¬ââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
âXÌᵪ|class â 1 Aâ AÌâ Gâ(aâ) Gâ(aâ)ââââ Gâ(aâ)âââ Gââ
ââââââââââââŒââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
âX_Ïâââ^Gâ â 1 1 1 1 1 1 1â
âX_Ïâââ^Gâ â qⶠ. . . . . .â
âX_Ïâ²âââ^Gââ q³ . q 2q . -q .â
âX_Ïâ³âââ^Gââ q³ q³ . . . . .â
âX_Ïâââ^Gâ â qΊâ q q q q q .â
âX_Ïâââ^Gâ â q²Ίâ q² q² . . . .â
âX_Id^. â . . . q² -q² q² .â
ââââââââââââŒââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
â|C_ð(u)| âqâ¶ÎŠâ²Ίâ²ΊâΊâ qâ¶ÎŠâΊâ qâŽÎŠâΊâ 6q⎠2q⎠3q⎠q²â
ââââââââââââŽââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
julia> XTable(UnipotentClasses(W,2))
Values of character sheaves XÌᵪ on local systems Ï
ââââââââââââ¬âââââââââââââââââââââââââââââââââââââââââââââââââââ
âXÌᵪ|Ï â 1 Aâ AÌâ Gâ(aâ)âœÂ¹Â¹Â¹âŸ Gâ(aâ)âœÂ²Â¹âŸ Gâ(aâ) GââœÂ¹Â¹âŸ Gââ
ââââââââââââŒâââââââââââââââââââââââââââââââââââââââââââââââââââ€
âX_Ïâââ^Gâ â 1 1 1 . . 1 . 1â
âX_Ïâââ^Gâ â qⶠ. . . . . . .â
âX_Ïâ²âââ^Gââ q³ . q . q . . .â
âX_Ïâ³âââ^Gââ q³ q³ . . . . . .â
âX_Ïâââ^Gâ â qΊâ q q . . q . .â
âX_Ïâââ^Gâ âq²Ίâ q² q² . . . . .â
âX_Id^. â . . . q² . . . .â
âX_Id^. â . . . . . . q .â
ââââââââââââŽâââââââââââââââââââââââââââââââââââââââââââââââââââ
julia> XTable(UnipotentClasses(rootdatum(:sl,4)))
Values of character sheaves XÌᵪ on local systems Ï
ââââââââââ¬âââââââââââââââââââââââââââââââââââââââââââââ
âXÌᵪ|Ï â1111 211 22âœÂ¹Â¹âŸ 22 31 4 4^(ζâ) 4âœâ»Â¹âŸ 4^(ζâ³)â
ââââââââââŒâââââââââââââââââââââââââââââââââââââââââââââ€
âXââââ^Aââ qⶠ. . . . . . . .â
âXâââ^Aâ âq³Ίâ q³ . . . . . . .â
âXââ^Aâ âq²Ίâ q² . q² . . . . .â
âXââ^Aâ â qΊâ qΊâ . q q . . . .â
âXâ^Aâ â 1 1 . 1 1 1 . . .â
âXââ^Aâ â . . q³ . . . . . .â
âXâ^Aâ â . . q² . . . . q .â
âX_Id^. â . . . . . . q³ââ . .â
âX_Id^. â . . . . . . . . q³âââ
ââââââââââŽâââââââââââââââââââââââââââââââââââââââââââââ
Chevie.Ucl.GreenTable
â TypeGreenTable(uc;classes=false)
Keeping the same notations as in the description of 'XTable', this function returns a table of the functions $Q_{wF}$, attached to elements $wFâ W_ð (ð)â
F$ where $W_ð (ð)$ are the relative weyl groups attached to cuspidal local systems. These functions are defined by $Q_{wF}=â_{u,Ï} ÏÌ(wF) XÌ_{u,Ï}$. An point to note is that in the principal Springer series, when ð
is a maximal torus, the function $Q_{wF}$ coincides with the Deligne-Lusztig character $R^ð _{ð_W}(1)$. As for 'XTable', by default the table gives the values of the functions on local systems. If classes=true
is given, then it gives the values of the functions $Q_{wF}$ on conjugacy classes.
julia> W=coxgroup(:G,2)
Gâ
julia> GreenTable(UnipotentClasses(W))
Values of Green functions Q_wF on local systems Ï
ââââââââââââ¬âââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
âQᎵ_wF|Ï â 1 Aâ AÌâ Gâ(aâ)âœÂ¹Â¹Â¹âŸ Gâ(aâ)âœÂ²Â¹âŸ Gâ(aâ) Gââ
ââââââââââââŒâââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
âQ_Aâ^Gâ â Ίâ²ΊâΊâ ΊâΊâ (2q+1)Ίâ . q 2q+1 1â
âQ_AÌâ^Gâ â-ΊâΊâΊâΊâ -ΊâΊâ Ίâ . q 1 1â
âQ_Aâ^Gâ â-ΊâΊâΊâΊâ ΊâΊâ -Ίâ . -q 1 1â
âQ_Gâ^Gâ â Ίâ²Ίâ²Ίâ -ΊâΊâ² -ΊâΊâ . -q Ίâ 1â
âQ_Aâ^Gâ â Ίâ²Ίâ²Ίâ Ίâ²Ίâ -ΊâΊâ . q -Ίâ 1â
âQ_Aâ+AÌâ^Gââ Ίâ²ΊâΊâ -ΊâΊâ (2q-1)Ίâ . -q -2q+1 1â
âQ_^. â . . . q² . . .â
ââââââââââââŽâââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
The functions $Q_{wF}$ depend only on the conjugacy class of wF
, so in the first column the indices of 'Q' are the names of the conjugacy classes of $W_ð(ð)$. The exponents are the names of the groups $W_ð(ð)$.
julia> GreenTable(UnipotentClasses(W);classes=true)
Values of Green functions Q_wF on unipotent classes
âââââââââââââ¬âââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
âQᎵ_wF|classâ 1 Aâ AÌâ Gâ(aâ) Gâ(aâ)ââââ Gâ(aâ)âââ Gââ
âââââââââââââŒâââââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
âQ_Aâ^Gâ â Ίâ²ΊâΊâ ΊâΊâ (2q+1)Ίâ 4q+1 2q+1 Ίâ 1â
âQ_AÌâ^Gâ â-ΊâΊâΊâΊâ -ΊâΊâ Ίâ 2q+1 1 -Ίâ 1â
âQ_Aâ^Gâ â-ΊâΊâΊâΊâ ΊâΊâ -Ίâ -2q+1 1 Ίâ 1â
âQ_Gâ^Gâ â Ίâ²Ίâ²Ίâ -ΊâΊâ² -ΊâΊâ -Ίâ Ίâ 2q+1 1â
âQ_Aâ^Gâ â Ίâ²Ίâ²Ίâ Ίâ²Ίâ -ΊâΊâ Ίâ -Ίâ -2q+1 1â
âQ_Aâ+AÌâ^Gâ â Ίâ²ΊâΊâ -ΊâΊâ (2q-1)Ίâ -4q+1 -2q+1 -Ίâ 1â
âQ_^. â . . . q² -q² q² .â
âââââââââââââŽâââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
julia> GreenTable(UnipotentClasses(rootdatum(:sl,4)))
Values of Green functions Q_wF on local systems Ï
ââââââââââ¬âââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
âQᎵ_wF|Ï â 1111 211 22âœÂ¹Â¹âŸ 22 31 4 4^(ζâ) 4âœâ»Â¹âŸ 4^(ζâ³)â
ââââââââââŒâââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
âQââââ^Aââ Ίâ²ΊâΊâ (3q²+2q+1)Ίâ . (2q+1)Ίâ 3q+1 1 . . .â
âQâââ^Aâ â-ΊâΊâΊâΊâ -q³+q²+q+1 . Ίâ Ίâ 1 . . .â
âQââ^Aâ â Ίâ²ΊâΊâ -ΊâΊâ . 2q²-q+1 -Ίâ 1 . . .â
âQââ^Aâ â Ίâ²Ίâ²Ίâ -ΊâΊâ . -ΊâΊâ 1 1 . . .â
âQâ^Aâ â -Ίâ³ΊâΊâ Ίâ²Ίâ . -Ίâ -Ίâ 1 . . .â
âQââ^Aâ â . . q²Ίâ . . . . q .â
âQâ^Aâ â . . -q²Ίâ . . . . q .â
âQ_^. â . . . . . . q³ââ . .â
âQ_^. â . . . . . . . . q³âââ
ââââââââââŽâââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
Chevie.Ucl.UnipotentValues
â FunctionUnipotentValues(uc,classes=false)
This function returns a table of the values of unipotent characters on local systems (by default) or on unipotent classes (if classes=true
).
julia> W=coxgroup(:G,2)
Gâ
julia> UnipotentValues(UnipotentClasses(W);classes=true)
Values of unipotent characters for Gâ on unipotent classes
âââââââââ¬ââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
â â 1 Aâ AÌâ Gâ(aâ) Gâ(aâ)ââââ Gâ(aâ)âââ Gââ
âââââââââŒââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
âÏâââ â 1 1 1 1 1 1 1â
âÏâââ â qⶠ. . . . . .â
âÏâ²âââ â qΊâΊâ/3 -qΊâΊâ/3 q (q+5)q/3 -qΊâ/3 qΊâ/3 .â
âÏâ³âââ â qΊâΊâ/3 (2q²+1)q/3 . qΊâ/3 -qΊâ/3 (q+2)q/3 .â
âÏâââ â qΊâ²Ίâ/6 (2q+1)qΊâ/6 qΊâ/2 (q+5)q/6 -qΊâ/6 qΊâ/6 .â
âÏâââ â qΊâ²Ίâ/2 qΊâ/2 qΊâ/2 -qΊâ/2 qΊâ/2 -qΊâ/2 .â
âGâ[-1] â qΊâ²Ίâ/2 -qΊâ/2 -qΊâ/2 -qΊâ/2 qΊâ/2 -qΊâ/2 .â
âGâ[1] â qΊâ²Ίâ/6 (2q-1)qΊâ/6 -qΊâ/2 (q+5)q/6 -qΊâ/6 qΊâ/6 .â
âGâ[ζâ] âqΊâ²Ίâ²/3 -qΊâΊâ/3 . qΊâ/3 -qΊâ/3 (q+2)q/3 .â
âGâ[ζâ²]âqΊâ²Ίâ²/3 -qΊâΊâ/3 . qΊâ/3 -qΊâ/3 (q+2)q/3 .â
âââââââââŽââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
julia> UnipotentValues(UnipotentClasses(W,3);classes=true)
Values of unipotent characters for Gâ on unipotent classes
âââââââââ¬ââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
â â 1 Aâ AÌâ Gâ(aâ) Gâ(aâ)âââ Gâ Gâ_(ζâ)
âââââââââŒââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
âÏâââ â 1 1 1 1 1 1 1
âÏâââ â qⶠ. . . . . .
âÏâ²âââ â qΊâΊâ/3 -qΊâΊâ/3 q/3 qΊâ/3 -qΊâ/3 -2q/3 q/3
âÏâ³âââ â qΊâΊâ/3 (2q²+1)q/3 q/3 qΊâ/3 -qΊâ/3 -2q/3 q/3
âÏâââ â qΊâ²Ίâ/6 (2q+1)qΊâ/6 (3q+1)q/6 qΊâ/6 -qΊâ/6 2q/3 -q/3
âÏâââ â qΊâ²Ίâ/2 qΊâ/2 qΊâ/2 -qΊâ/2 qΊâ/2 . .
âGâ[-1] â qΊâ²Ίâ/2 -qΊâ/2 -qΊâ/2 -qΊâ/2 qΊâ/2 . .
âGâ[1] â qΊâ²Ίâ/6 (2q-1)qΊâ/6 (-3q+1)q/6 qΊâ/6 -qΊâ/6 2q/3 -q/3
âGâ[ζâ] âqΊâ²Ίâ²/3 -qΊâΊâ/3 q/3 qΊâ/3 -qΊâ/3 q/3 (-ζâ+2ζâ²)q/3
âGâ[ζâ²]âqΊâ²Ίâ²/3 -qΊâΊâ/3 q/3 qΊâ/3 -qΊâ/3 q/3 (2ζâ-ζâ²)q/3
âââââââââŽââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
âââââââââ¬ââââââââââââââââââââââââââ
â â Gâ_(ζâ²) (AÌâ)ââ
âââââââââŒââââââââââââââââââââââââââ€
âÏâââ â 1 1â
âÏâââ â . .â
âÏâ²âââ â q/3 (2q²+1)q/3â
âÏâ³âââ â q/3 -qΊâΊâ/3â
âÏâââ â -q/3 (2q+1)qΊâ/6â
âÏâââ â . qΊâ/2â
âGâ[-1] â . -qΊâ/2â
âGâ[1] â -q/3 (2q-1)qΊâ/6â
âGâ[ζâ] â (2ζâ-ζâ²)q/3 -qΊâΊâ/3â
âGâ[ζâ²]â(-ζâ+2ζâ²)q/3 -qΊâΊâ/3â
âââââââââŽââââââââââââââââââââââââââ
Chevie.Ucl.induced_linear_form
â Functioninduced_linear_form(W, K, h)
This routine can be used to find the class in the algebraic group ð
which contains a given unipotent class of a reductive subgroup of maximum rank ð
of ð
.
The argument h
is a linear form on the roots of ð
, given by its value on the simple roots; this linear form is extended to the roots of ð
by 0
on the orthogonal of the roots of K
; and finally the resulting form is conjugated by an element of the Weyl group so that it takes positive values on the simple roots. If the initial form describes a Dynkin-Richardson diagram for ð
, the result will describe a Dynkin-Richardson diagram for ð
.
julia> W=coxgroup(:F,4)
Fâ
julia> H=reflection_subgroup(W,[1,3])
Fâââââ=AâÃAÌâΊâ²
julia> induced_linear_form(W,H,[2,2])
4-element Vector{Int64}:
0
1
0
0
julia> uc=UnipotentClasses(W);
julia> uc.classes[4].dynkin
4-element Vector{Int64}:
0
1
0
0
julia> uc.classes[4]
UnipotentClass(Aâ+AÌâ)
The example above shows that the class containing the regular class of the Levi subgroup of type AâÃAÌâ
is the class Aâ+AÌâ
.
Chevie.Ucl.special_pieces
â Function'special_pieces(<uc>)'
The special pieces forme a partition of the unipotent variety of a reductive group ð
which was defined the first time in Spaltenstein1982 chap. III as the fibers of d^2
, where d
is a "duality map". Another definition is as the set of classes in the Zariski closure of a special class and not in the Zariski closure of any smaller special class, where a special class in the support of the image of a special character by the Springer correspondence.
Each piece is a union of unipotent conjugacy classes so is represented in Chevie as a list of class numbers. Thus the list of special pieces is returned as a list of lists of class numbers. The list is sorted by increasing piece dimension, while each piece is sorted by decreasing class dimension, so the special class is listed first.
julia> W=coxgroup(:G,2)
Gâ
julia> special_pieces(UnipotentClasses(W))
3-element Vector{Vector{Int64}}:
[1]
[4, 3, 2]
[5]
julia> special_pieces(UnipotentClasses(W,3))
3-element Vector{Vector{Int64}}:
[1]
[4, 3, 2, 6]
[5]
The example above shows that the special pieces are different in characteristic 3.
Chevie.Ucl.distinguished_parabolics
â Functiondistinguished_parabolics(W)
the list of distinguished parabolic subgroups of W
in the sense of Richardson, each given as the list of the corresponding indices. The distinguished unipotent conjugacy classes of W
consist of the dense unipotent orbit in the unipotent radical of such a parabolic.
julia> W=coxgroup(:F,4)
Fâ
julia> distinguished_parabolics(W)
4-element Vector{Vector{Int64}}:
[]
[3]
[1, 3]
[1, 3, 4]