Nilpotent subalgebras of semisimple Lie algebras (Q1018111): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2022572905 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999894 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5580319 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nilpotent subspaces of maximal dimension in semi-simple Lie algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3924381 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4670625 / 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: Nilpotent orbits in good characteristic and the Kempf-Rousseau theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4063618 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5662587 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Torsion in reductive groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal, unipotent subgroup schemes of reductive groups / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:27, 1 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nilpotent subalgebras of semisimple Lie algebras |
scientific article |
Statements
Nilpotent subalgebras of semisimple Lie algebras (English)
0 references
13 May 2009
0 references
Let \(k\) be an algebraically closed field of characteristic \(p>0.\) Let \(G\) be a semisimple linear algebraic group over \(k\) with fixed maximal torus \(T.\) Let \(\Phi=\Phi\left( G,T\right) \) be its root system, \(\Phi^{+}\) a positive system in \(\Phi,\) and \(\left\{ \alpha_{1},\dots,\alpha_{\ell}\right\} \) the corresponding basis. Suppose that is irreducible. Then there is a unique root \(\beta\) of maximal height with respect to the chosen basis. Write \(\alpha _{1}^{\vee},\dots,\alpha_{\ell}^{\vee},\beta^{\vee}\) for the corresponding coroots to \(\alpha_{1},\dots,\alpha_{\ell},\beta\) respectively, and define integers \(m_{i}^{\prime},\,1\leq i\leq\ell\) by \(\beta^{\vee}=\sum m_{i}^{\prime}\alpha_{i}^{\vee}\) We say \(p\) is \textit{torsion} for \(\Phi\) if \(m_{i}^{\prime}=p\) for some \(i\). Additionally, we say \(p\) is torsion for \(G\) if it is torsion for some irreducible component of some root system or if \(p\) divides the order of the fundamental group of \(G\). If \(p\) is a non-torsion prime for \(G\) and \(U\) is a unipotent subgroup of \(G\), then \(G\) is contained in a Borel subgroup of \(G\). For \(\mathfrak{g}\) the Lie algebra for \(G\) and \(\mathfrak{n}\) a nil subalgebra of \(\mathfrak{g},\) it follows from this result that if \(p\) it non-torsion for \(G\) then \(\mathfrak{n}\) lies in a Borel subalgebra of \(G\). Conversely, J. P. Serre asked it there exists a nil subalgebra which is not contained in a Borel subalgebra in the case \(p\) is torsion for \(G\). This note provides examples of such subalgebras, examples which are presented in two cases. As an explicit class, consider \(G=\)SL\(_{mp}\) for some positive integer \(m\). Let \(E_{ij}\) be the elementary \(mp\times mp\) matrix whose \(\left( r,s\right) \) entry is \(\delta_{ir}\delta_{js},\) and let \(X=\sum_{j=0}^{m-1}\sum _{i=1}^{p-1}E_{jp+i,jp+i+1}\) and \(Y=\sum_{j=0}^{m-1}\sum_{i=1}^{p-1} E_{jp+i+1,jp+i}.\) Then \(X^{p}=Y^{p}=0\) and \(\left[ X,Y\right] =I,\) thus the Lie algebra generated by \(X\) and \(Y\) is nilpotent and there is not a Borel subalgebra containing \(X\) and \(Y\). For other simply connected \(G\) explicit examples such as this are given -- these ``Heisenberg-type subalgebras'' all have an \(X\) and a \(Y\) with \(X^{p}=Y^{p}=0\) and \(\left[ X,Y\right] \) a nontrivial element in the center of \(\mathfrak{g}.\) These results are generalized to groups isogenous to \(G.\) The other case deals with certain commutative subalgebras. These are explicitly constructed when \(p\leq5.\) In each the authors construct a 3-dimensional commutative restricted subalgebra of \(\mathfrak{g}\) spanned by three elements \(e,X,Y\) with \(e^{p}=X^{p}=Y^{p}=0\) which does not lie in a Borel subalgebra.
0 references
Lie algebras
0 references
nilpotent subalgebras
0 references
Borel subalgebras
0 references