Questions tagged [exceptional-groups]
Exceptional Lie groups G2, F4, E6, E7, E8 of dimensions 14, 52, 78, 133, 248 were obtained as result of classification of simple Lie groups performed by Killing and Elie Cartan. The tool used in classification is Dynkin diagram and root system of vectors in Lie algebra of the group. The remaining Lie groups form four infinite families of transformations of n-dimensional space over real (odd and even), complex and quaternionic field.
13
questions
7
votes
0
answers
591
views
A few questions about $E_6$ and its symmetric spaces
Preface
The purpose of my question - on high level - is to understand exceptional symmetric spaces. My latest idea is to embed them into Lie group. There is quite nice embedding of 32-dimensional $E_{...
6
votes
0
answers
264
views
Exceptional symmetric spaces embedded in exceptional Lie group
In Yokota (1959) and Atsuyama (1977) papers one can find embedding of projective space $\mathbb OP^2$ into Lie group $F_4$. Lately I come to following idea to have embedding of all four projective ...
27
votes
4
answers
4k
views
Triality of Spin(8)
Among simple Lie groups, $Spin(8)$ is the most symmetrical one in the sense that $Out(Spin(8))$ is the largest possible group. A description of this outer automorphism groups is as follows. $Spin(8)$ ...
8
votes
1
answer
392
views
$Spin(7)$ as stabilizer of a $4$-form
According to Bryant's work on special holonomy groups, $G_2\subset SO(7)$ may be defined as the group preserving the following 3-form:
$\phi_0=\mathrm{d}x_{123}+\mathrm{d}x_{145}+\mathrm{d}x_{167}+\...
4
votes
0
answers
184
views
A few questions about $E_7$ and its symmetric spaces
My question about $E_6$ survived, so I post next episode. From the Yokota book I found out that there is $-1$ in $E_7$ Lie group. This book defines Lie group $E_7$ using 56-dimensional Freudenthal ...
74
votes
4
answers
5k
views
Groups that do not exist
In the long process that resulted in the classification of finite simple groups, some of the exceptional groups were only shown to exist after people had computed (most of) their character tables and ...
18
votes
1
answer
656
views
$8 \times 31 = 8 \times 31$?
The Lie algebra $\mathfrak{e}_8$ has (at least) two ways to be written as a direct sum of $31$ Cartan subalgebras.
First, Thompson and Smith showed that the (compact or complex) Lie group $\mathrm{E}...
9
votes
1
answer
378
views
Concrete description of an exceptional minuscule variety
Let $G$ be a complete reductive Lie group. A simple root $\alpha$ is said to be minuscule if the multiplicity of the coroot $\alpha^\vee$ in $\beta^\vee$ is at most $1$ for all positive roots $\beta$. ...
7
votes
2
answers
489
views
Is this characterization of (-1)-eigenspaces of the Weyl group of $E_6$ known?
I recently needed to know which circles $S$ in a maximal torus $T^6$ of the compact exceptional group $E_6$ yield one-dimensional subspaces $\mathfrak s$ of the Lie algebra $\mathfrak t^6$ that are ...
6
votes
2
answers
497
views
Constructing real forms of the Tits-Freudenthal magic square for (Rosenfeld) projective planes
If $\mathbb{K},\mathbb{L} \in \{\mathbb{R},\mathbb{C},\mathbb{H},\mathbb{O}\}$ then the Rosenfeld projective ("elliptic"?) plane $\mathbb{P}^2(\mathbb{K}\otimes\mathbb{L})$ is "the" compact Riemannian ...
4
votes
1
answer
213
views
A question on complex semisimple Lie groups and $(\mathbb{C}^2, \omega)$
Consider $(\mathbb{C}^2, \omega)$ where $\omega$ is a non-degenerate complex skew-symmetric bilinear form on $\mathbb{C}^2$. Let us write
$V = (\mathbb{C}^2, \omega)$
There are many spaces one can ...
2
votes
1
answer
293
views
Decomposition into irreducible components of a representation of $Spin(9)$
It is well known that the group $Spin(9)$ acts linearly on the vector space $\mathbb{R}^{16}$ (see for example "Spinors and calibrations" by R. Harvey).
Consider the induced representation of $Spin(9)...
1
vote
1
answer
294
views
A representation of Spin(9,1)
Let $Spin(9,1)$ denote the universal (double) cover of $SO(9,1)$. $Spin(9,1)$ acts linearly on $\mathbb{R}^{16}$ (see e.g. p.29 here https://arxiv.org/pdf/math/0105155v4.pdf ).
Consider the induced ...