Maximal subalgebras of Cartan type in the exceptional Lie algebras (Q268170): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(8 intermediate revisions by 7 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1007/s00029-015-0199-5 / rank | |||
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 | |||
Property / describes a project that uses | |||
Property / describes a project that uses: GAP / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962869504 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1409.3861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Irreducible almost simple subgroups of classical algebraic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Closed orbits and uniform $S$-instability in geometric invariant theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\text{Ext}^1\)-quivers for the Witt algebra \(W(1,1)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über Wittsche Lie-Ringe / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur les groupes de Lie algébriques sur un corps de caractéristique \(p > 0\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5813958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5813959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5457599 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Restricted Lie algebras with maximal 0-PIM / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simple restricted modules for the restricted Hamiltonian algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the smoothness of normalisers, the subalgebra structure of modular Lie algebras, and the cohomology of small representations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic groups and modular Lie algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4670625 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4187957 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Jordan block sizes of unipotent elements in exceptional algebraic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The maximal subgroups of positive dimension in exceptional algebraic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Centres of centralizers of unipotent elements in simple algebraic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimal \(\text{SL}(2)\)-homomorphisms. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal subalgebras of simple modular Lie algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Analogue of the Jacobson-Morozov Theorem for Lie Algebras of Reductive Groups of Good Characteristics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3416332 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: RIGID ORBITS AND SHEETS IN REDUCTIVE LIE ALGEBRAS OVER FIELDS OF PRIME CHARACTERISTIC / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: EXTENSIONS OF THE WITT ALGEBRA AND APPLICATIONS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The maximal subgroups of classical algebraic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal subgroups of exceptional algebraic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039778 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Graded modules of graded Lie algebras of Cartan type. III: Irreducible modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simple Lie algebras over fields of positive characteristic. I: Structure theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simple Lie algebras over fields of positive characteristic. II: Classifying the absolute toral rank two case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3758097 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3765948 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Irreducible subgroups of exceptional algebraic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A construction of certain maximal subgroups of the algebraic groups \(E_ 6\) and \(F_ 4\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Construction of the Maximal A 1 � S in the Exceptional Algebraic Groups / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S00029-015-0199-5 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:55, 9 December 2024
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
0 references
0 references
0 references