LieAlgebras[SatakeAssociate] - find the non-compact simple root associated to a given non-compact root in the Satake diagram
Calling Sequences
SatakeAssociate(α, Δ0, Δc )
Parameters
α - a column vector, a non-compact root of a non-compact, simple Lie algebra
Δ0 - a list of column vectors, the simple roots of a non-compact simple Lie algebra
Δc - (optional) a list of column vectors, defining the compact roots of non-compact simple Lie algebra
Description
Examples
Let Δ be the root system for a non-compact, simple Lie algebra. Let Δ+be a set of positive roots, Δc the compact roots, Δ0 be the simple roots and Δ0 c the compact simple roots. We chose the positive roots to be closed under complex conjugation. Then for each root α∈Δ0 /Δ0 c, there is a unique root α' ∈Δ0 /Δ0 csuch that α‾−α'∈spanΔ0. The root α' is called the Satake associate of α.
The command SatakeAssociate(α, Δ0, Δc ) returns the Satake associate of α.
withDifferentialGeometry:withLieAlgebras:
Example 1.
Here is the Satake diagram for su4, 4 and the corresponding simple roots.
SatakeDiagramsu(4, 4
α1,α2,α3,α4,α5,α6,α7≔seqVectorv,v=−2I,I,0,1,−1,0,0,I,−2I,I,0,1,−1,0,0,I,−2I,0,0,1,−1,0,0,0,0,0,0,2,0,−I,2I,0,0,1,−1,−I,2I,−I,0,1,−1,0,2I,−I,0,1,−1,0,0
Δ0≔α1,α2,α3,α4,α5,α6,α7:
All the roots are non-compact so that the Satake associate is just the complex conjugate, for example,
α1,SatakeAssociateα1,Δ0,α7
The root α4 is its own associate.
SatakeAssociateα4,Δ0,α4
Example 2
Here is the Satake diagram for so7, 2 and the corresponding simple roots.
SatakeDiagramso(7,2)
α1,α2,α3,α4≔seqVectorv,v=1,−1,0,0,0,1,−I,0,0,0,I,−I,0,0,0,I
Δ0≔α1,α2,α3,α4:
Roots α3 and α4 are compact. The root α1 is real and is therefore its own Satake associate. The root α2 satisfies
mapconjugate,α2−α2,2α3+2α4
and is therefore also its own Satake associate.
Example 3.
Here is the Satake diagram for so5, 3 and the corresponding simple roots.
SatakeDiagramso(5, 3)
α1,α2,α3,α4≔seqVectorv,v=1,−1,0,0,0,1,−1,0,0,0,1,−I,0,0,1,I
There are no compact roots. The roots α1 and α2 are real and therefore are their own Satake associates. Because there are no compact roots the Satake associate of α3 is its complex conjugate which is α4.
α3,SatakeAssociateα3,Δ0,α4
Example 4.
Here is the Satake diagram for so*10 and the corresponding simple roots.
SatakeDiagramso*(10)
α1,α2,α3,α4,α5≔seqVectorv,v=0,0,2I,0,0,1,−1,−I,−I,0,0,0,0,2I,0,0,1,0,−I,−I,0,1,0,−I,I
The roots α1 and α3 are compact. Since
mapconjugate,α2−α2=α1+α3
the Satake associate of α2 is itself. Since
mapconjugate,α4−α5=α3
the Satake associate of α4 is α5.
These calculations agree with the output of the command SatakeAssociate.
α2,SatakeAssociateα2,α1,α2,α3,α4,α5
α4,SatakeAssociateα4,α1,α2,α3,α4,α5,α5
See Also
DifferentialGeometry
CompactRoots
Details for Satake Diagram
DynkinDiagram
LieAlgebras
PositiveRoots
Simple Roots
SatakeDiagram
SimpleLieAlgebraData
SimpleLieAlgebraProperties
Download Help Document
