Maximal subalgebras of Cartan type in the exceptional Lie algebras (Q268170): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
In the early 1950's Dynkin classified the maximal subalgebras of finite-dimensional simple Lie algebras over the complex numbers. The paper under review initiates the study of maximal subalgebras of exceptional simple classical Lie algebras in good characteristics. More precisely, let \(G\) be a simple algebraic group of exceptional type over an algebraically closed field of characteristic \(p\) such that \(p\) is a good prime for the root system of \(G\), and let \(\mathfrak{g}\) denote the Lie algebra of \(G\). Note that every maximal subalgebra of \(\mathfrak{g}\) is a \(p\)-subalgebra (i.e., it is closed under the \(p\)-map of the restricted Lie algebra \(\mathfrak{g}\)) as \(\mathfrak{g}\) has no non-zero proper ideals. The authors answer two related questions on the subalgebra structure of the Lie algebra \(\mathfrak{g}\). Firstly, they prove the existence of a \(p\)-subalgebra isomorphic to the \(p\)-dimensional Witt algebra \(W_1\) and characterise when this \(p\)-subalgebra is maximal. This essentially is done by classifying the nilpotent elements \(e\) in \(\mathfrak{g}\) that correspond to the element of degree \(-1\) in the standard basis of \(W_1\). In particular, if the \(p\)-subalgebra isomorphic to \(W_1\) is maximal, then \(e\) is regular, and conversely, if \(e\) is regular and \(\mathfrak{g}\) is not of type \(E_6\), then the \(p\)-subalgebra isomorphic to \(W_1\) is maximal. Secondly, it is proved that every simple subalgebra of \(\mathfrak{g}\) is either isomorphic to \(W_1\) or it is of classical type. Roughly, the reason that non-classical simple Lie algebras cannot fit into exceptional simple classical Lie algebras in good characteristics is the large dimensions of the former compared to the dimensions of the latter. The proof of the first result needs several explicit computations which are done using GAP and are described in an appendix. The proof of the second result uses the Block-Wilson-Premet-Strade classification of finite-dimensional simple Lie algebras over an algebraically closed field of characteristic \(p>3\). Moreover, some techniques are needed to classify certain irreducible representations of non-graded Hamiltonian Lie algebras of absolute toral rank two that only recently were developed in a paper by the reviewer et al. [Transform. Groups 21, No. 2, 377--398 (2016; Zbl 1395.17035)]. | |||
Property / review text: In the early 1950's Dynkin classified the maximal subalgebras of finite-dimensional simple Lie algebras over the complex numbers. The paper under review initiates the study of maximal subalgebras of exceptional simple classical Lie algebras in good characteristics. More precisely, let \(G\) be a simple algebraic group of exceptional type over an algebraically closed field of characteristic \(p\) such that \(p\) is a good prime for the root system of \(G\), and let \(\mathfrak{g}\) denote the Lie algebra of \(G\). Note that every maximal subalgebra of \(\mathfrak{g}\) is a \(p\)-subalgebra (i.e., it is closed under the \(p\)-map of the restricted Lie algebra \(\mathfrak{g}\)) as \(\mathfrak{g}\) has no non-zero proper ideals. The authors answer two related questions on the subalgebra structure of the Lie algebra \(\mathfrak{g}\). Firstly, they prove the existence of a \(p\)-subalgebra isomorphic to the \(p\)-dimensional Witt algebra \(W_1\) and characterise when this \(p\)-subalgebra is maximal. This essentially is done by classifying the nilpotent elements \(e\) in \(\mathfrak{g}\) that correspond to the element of degree \(-1\) in the standard basis of \(W_1\). In particular, if the \(p\)-subalgebra isomorphic to \(W_1\) is maximal, then \(e\) is regular, and conversely, if \(e\) is regular and \(\mathfrak{g}\) is not of type \(E_6\), then the \(p\)-subalgebra isomorphic to \(W_1\) is maximal. Secondly, it is proved that every simple subalgebra of \(\mathfrak{g}\) is either isomorphic to \(W_1\) or it is of classical type. Roughly, the reason that non-classical simple Lie algebras cannot fit into exceptional simple classical Lie algebras in good characteristics is the large dimensions of the former compared to the dimensions of the latter. The proof of the first result needs several explicit computations which are done using GAP and are described in an appendix. The proof of the second result uses the Block-Wilson-Premet-Strade classification of finite-dimensional simple Lie algebras over an algebraically closed field of characteristic \(p>3\). Moreover, some techniques are needed to classify certain irreducible representations of non-graded Hamiltonian Lie algebras of absolute toral rank two that only recently were developed in a paper by the reviewer et al. [Transform. Groups 21, No. 2, 377--398 (2016; Zbl 1395.17035)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jörg Feldvoss / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6568887 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
simple Lie algebra | |||
Property / zbMATH Keywords: simple Lie algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
maximal subalgebra | |||
Property / zbMATH Keywords: maximal subalgebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
exceptional simple Lie algebra of classical type | |||
Property / zbMATH Keywords: exceptional simple Lie algebra of classical type / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
good characteristic | |||
Property / zbMATH Keywords: good characteristic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(p\)-subalgebra | |||
Property / zbMATH Keywords: \(p\)-subalgebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Witt algebra | |||
Property / zbMATH Keywords: Witt algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nilpotent element | |||
Property / zbMATH Keywords: nilpotent element / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
regular nilpotent element | |||
Property / zbMATH Keywords: regular nilpotent element / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
irreducible representation | |||
Property / zbMATH Keywords: irreducible representation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
non-graded Hamiltonian Lie algebra | |||
Property / zbMATH Keywords: non-graded Hamiltonian Lie algebra / rank | |||
Normal rank |
Revision as of 14:56, 27 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maximal subalgebras of Cartan type in the exceptional Lie algebras |
scientific article |
Statements
Maximal subalgebras of Cartan type in the exceptional Lie algebras (English)
0 references
14 April 2016
0 references
In the early 1950's Dynkin classified the maximal subalgebras of finite-dimensional simple Lie algebras over the complex numbers. The paper under review initiates the study of maximal subalgebras of exceptional simple classical Lie algebras in good characteristics. More precisely, let \(G\) be a simple algebraic group of exceptional type over an algebraically closed field of characteristic \(p\) such that \(p\) is a good prime for the root system of \(G\), and let \(\mathfrak{g}\) denote the Lie algebra of \(G\). Note that every maximal subalgebra of \(\mathfrak{g}\) is a \(p\)-subalgebra (i.e., it is closed under the \(p\)-map of the restricted Lie algebra \(\mathfrak{g}\)) as \(\mathfrak{g}\) has no non-zero proper ideals. The authors answer two related questions on the subalgebra structure of the Lie algebra \(\mathfrak{g}\). Firstly, they prove the existence of a \(p\)-subalgebra isomorphic to the \(p\)-dimensional Witt algebra \(W_1\) and characterise when this \(p\)-subalgebra is maximal. This essentially is done by classifying the nilpotent elements \(e\) in \(\mathfrak{g}\) that correspond to the element of degree \(-1\) in the standard basis of \(W_1\). In particular, if the \(p\)-subalgebra isomorphic to \(W_1\) is maximal, then \(e\) is regular, and conversely, if \(e\) is regular and \(\mathfrak{g}\) is not of type \(E_6\), then the \(p\)-subalgebra isomorphic to \(W_1\) is maximal. Secondly, it is proved that every simple subalgebra of \(\mathfrak{g}\) is either isomorphic to \(W_1\) or it is of classical type. Roughly, the reason that non-classical simple Lie algebras cannot fit into exceptional simple classical Lie algebras in good characteristics is the large dimensions of the former compared to the dimensions of the latter. The proof of the first result needs several explicit computations which are done using GAP and are described in an appendix. The proof of the second result uses the Block-Wilson-Premet-Strade classification of finite-dimensional simple Lie algebras over an algebraically closed field of characteristic \(p>3\). Moreover, some techniques are needed to classify certain irreducible representations of non-graded Hamiltonian Lie algebras of absolute toral rank two that only recently were developed in a paper by the reviewer et al. [Transform. Groups 21, No. 2, 377--398 (2016; Zbl 1395.17035)].
0 references
simple Lie algebra
0 references
maximal subalgebra
0 references
exceptional simple Lie algebra of classical type
0 references
good characteristic
0 references
\(p\)-subalgebra
0 references
Witt algebra
0 references
nilpotent element
0 references
regular nilpotent element
0 references
irreducible representation
0 references
non-graded Hamiltonian Lie algebra
0 references