# Satake diagram

Lie groups and Lie algebras :
Classical groups
General linear GL(n)
Special linear SL(n)
Orthogonal O(n)
Special orthogonal SO(n)
Unitary U(n)
Special unitary SU(n)
Symplectic Sp(n) :
Simple Lie groups
Classical
A$_n$
B$_n$
C$_n$
D$_n$
Exceptional
G$_2$
F$_4$
E$_6$
E$_7$
E$_8$ :
Other Lie groups
Circle
Lorentz
Poincaré
Conformal group
Diffeomorphism
Loop
Euclidean :
Lie algebras
Lie group–Lie algebra correspondence
Exponential map
Adjoint representation
Killing formIndex
Simple Lie algebra
Loop algebra
Affine Lie algebra :
Semisimple Lie algebra
Dynkin diagrams
Cartan subalgebra
Root systemWeyl group
Real formComplexification
Split Lie algebra
Compact Lie algebra :
Representation theory
Lie group representation
Lie algebra representation
Representation theory of semisimple Lie algebras
Representations of classical Lie groups
Theorem of the highest weight
Borel–Weil–Bott theorem :
Lie groups in physics
Particle physics and representation theory
Lorentz group representations
Poincaré group representations
Galilean group representations :
Scientists
Sophus Lie
Henri Poincaré
Wilhelm Killing
Élie Cartan
Hermann Weyl
Claude Chevalley
Harish-Chandra
Armand Borel :
Glossary
Table of Lie groups :
vte :
In the mathematical study of Lie algebras and Lie groups, a Satake diagram is a generalization of a Dynkin diagram introduced by Satake (1960, p.109) whose configurations classify simple Lie algebras over the field of real numbers. The Satake diagrams associated to a Dynkin diagram classify real forms of the complex Lie algebra corresponding to the Dynkin diagram.
More generally, the Tits index or Satake–Tits diagram of a reductive algebraic group over a field is a generalization of the Satake diagram to arbitrary fields, introduced by Jacques Tits (1966), that reduces the classification of reductive algebraic groups to that of anisotropic reductive algebraic groups.
Satake diagrams are not the same as Vogan diagrams of a Lie group, although they look similar.

## Definition

A Satake diagram is obtained from a Dynkin diagram by blackening some vertices, and connecting other vertices in pairs by arrows, according to certain rules.
Suppose that G is an algebraic group defined over a field k, such as the reals. We let S be a maximal split torus in G, and take T to be a maximal torus containing S defined over the separable algebraic closure K of k. Then G(K) has a Dynkin diagram with respect to some choice of positive roots of T. This Dynkin diagram has a natural action of the Galois group of K/k. Also some of the simple roots vanish on S. The Satake–Tits diagram is given by the Dynkin diagram D, together with the action of the Galois group, with the simple roots vanishing on S colored black. In the case when k is the field of real numbers, the absolute Galois group has order 2, and its action on D is represented by drawing conjugate points of the Dynkin diagram near each other, and the Satake–Tits diagram is called a Satake diagram.

## Examples

* Compact Lie algebras correspond to the Satake diagram with all vertices blackened.
* Split Lie algebras correspond to the Satake diagram with only white (i.e., non blackened) and unpaired vertices.
* A table can be found at (Onishchik & Vinberg 1994, Table 4, pp. 229–230).

## Differences between Satake and Vogan diagrams

Both Satake and Vogan diagrams are used to classify semisimple Lie groups or algebras (or algebraic groups) over the reals and both consist of Dynkin diagrams enriched by blackening a subset of the nodes and connecting some pairs of vertices by arrows. Satake diagrams, however, can be generalized to any field (see above) and fall under the general paradigm of Galois cohomology, whereas Vogan diagrams are defined specifically over the reals. Generally speaking, the structure of a real semisimple Lie algebra is encoded in a more transparent way in its Satake diagram, but Vogan diagrams are simpler to classify.
The essential difference is that the Satake diagram of a real semisimple Lie algebra ${\mathfrak {g}}$ with Cartan involution θ and associated Cartan pair ${\mathfrak {g}}={\mathfrak {k}}\oplus {\mathfrak {p}}$ (the +1 and −1 eigenspaces of θ) is defined by starting from a maximally noncompact θ-stable Cartan subalgebra ${\mathfrak {h}}$, that is, one for which $\theta ({\mathfrak {h}})={\mathfrak {h}}$ and ${\mathfrak {h}}\cap {\mathfrak {k}}$ is as small as possible (in the presentation above, ${\mathfrak {h}}$ appears as the Lie algebra of the maximal split torus S), whereas Vogan diagrams are defined starting from a maximally compact θ-stable Cartan subalgebra, that is, one for which $\theta ({\mathfrak {h}})={\mathfrak {h}}$ and ${\mathfrak {h}}\cap {\mathfrak {k}}$ is as large as possible.
The unadorned Dynkin diagram (i.e., that with only white nodes and no arrows), when interpreted as a Satake diagram, represents the split real form of the Lie algebra, whereas it represents the compact form when interpreted as a Vogan diagram.