Varieties of Borel subalgebras for the Jacobson-Witt Lie algebras (Q6085848)

From MaRDI portal
scientific article; zbMATH DE number 7762870
Language Label Description Also known as
English
Varieties of Borel subalgebras for the Jacobson-Witt Lie algebras
scientific article; zbMATH DE number 7762870

    Statements

    Varieties of Borel subalgebras for the Jacobson-Witt Lie algebras (English)
    0 references
    0 references
    0 references
    8 November 2023
    0 references
    In a previous paper [J. Algebra Appl. 21, No. 11, Article ID 2250210, 17 p. (2022; Zbl 07596133)], the authors defined the notion of a \(B\)-subalgebra of a Jacobson-Witt algebra \(W_n\) and showed that over an algebraically closed field \(\mathbb{K}\) of characteristic \(p>3\) there are \(n+1\) conjugacy classes of \(B\)-subalgebras of \(W_n\) under its automorphism group \(G\) with representatives \(\mathfrak{b}_r\) (\(0\le r\le n\)). Note that \(G= G_0\ltimes U\) for some unipotent group \(U\) and \(G_0\cong \mathrm{GL}_n(\mathbb{K}\)). Moreover, recall that a \(B\)-subalgebra is a maximal triangulable subalgebra satisfying an extra grading condition, and a Lie algebra \(T\) is called triangulable if every element of its derived subalgebra \([T,T]\) acts nilpotently on \(T\). In the present paper the authors study the geometric structure of the set \(\mathcal{B}\) of all \(B\)-subalgebras of \(W_n\), and certain of its subsets, namely, the set \(\mathcal{B}_\mathrm{homo}\) of all homogeneous \(B\)-subalgebras relative to the standard grading of \(W_n\), the set \(\mathcal{B}_r\) of all \(B\)-subalgebras that are conjugate to \(\mathfrak{b}_r\), and the set \(\mathcal{B}_{\mathrm{homo},r}:=\mathcal{B}_r\cap \mathcal{B}_\mathrm{homo}\) (\(0\le r\le n\)) which are considered as analogues of the flag variety of a classical semi-simple Lie algebra. Finally, let \(\mathcal{F\ell}_n\cong\mathrm{GL}_n(\mathbb{K})/ B_+\) be the projective variety consisting of all complete flags in \(\mathbb{K}^n\) which is just called flag variety by the authors, where \(B_+\) denotes the subgroup of all upper-triangular matrices in \(\mathrm{GL}_n(\mathbb{K})\). Then the following statements are proved: \begin{enumerate} \item[1)] \(\mathrm{Stab}_{G_0}(\mathfrak{b}_r)=B_+\) and the variety \(\mathcal{B}_{\mathrm{homo},r}=G_0\cdot\mathfrak{b}_r\) is isomorphic to \(\mathcal{F\ell}_n\) for any \(r\in\{0,1,\dots,n\}\). \item[2)] If \(p\) does not divide \(n+1\), then \(\mathcal{B}_\mathrm{homo} =\bigcup\limits_{r=0}^n\mathcal{B}_{\mathrm{homo},r}\) is isomorphic to a closed subvariety of \(\mathcal{F\ell}_{n+1}\) with \(n+1\) closed connected components \(\mathcal{B}_{\mathrm{homo},r}\) (\(0\le r\le n\)). \item[3)] \(\mathcal{B}=\bigcup\limits_{r=0}^n\mathcal{B}_r\) is a subvariety of \(\mathcal{F\ell}_s\), where \(s:=p^n-1\). \item[4)] \(\mathcal{B}_r=G\cdot\mathfrak{b}_r\cong G/\mathrm{Stab}_G (\mathfrak{b}_r)\) for any \(r\in\{0,1,\dots,n\}\). In particular, \(\mathcal{B}_0 \cong\mathcal{F\ell}_n\). \item[5)] \(\mathcal{B}_r\) is the total space of a fiber bundle over the base space \(\mathcal{F\ell}_n\) with fiber \(\mathbb{A}^{d_r}\), where \[d_r=\dim(U\cdot\mathfrak{b}_r)=\frac{n^2+3n-r^2-r}{2}p^r- \frac{p^r-1}{p-1}-\frac{n(n+1)}{2}-(n-r)(r+1)\] for any \(r\in\{0,1,\dots,n\}\). \end{enumerate} It is well known that \(i:\mathfrak{sl}_{n+1}(\mathbb{K})\to W_n\) is a monomorphism of restricted Lie algebras when \(p\) does not divide \(n+1\). Let \(\mathrm{pr}:W_n\to \mathfrak{sl}_{n+1}(\mathbb{K})\) denote the vector space splitting of \(i\). Then the authors prove the following statements: \begin{enumerate} \item[6)] There is an embedding of \(\mathcal{F\ell}_{n+1}\) into \(\mathrm{pr} (\mathcal{B})\). \item[7)] There is an embedding of every Bruhat cell of \(\mathcal{F\ell}_{n+1}\) into \(\mathcal{B}\). \end{enumerate} Along the way all the above results are illustrated in the special case of the Witt algebra \(W_1\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    semi-simple Lie algebra
    0 references
    Lie algebra of classical type
    0 references
    Jacobson-Witt algebra
    0 references
    graded Lie algebra
    0 references
    restricted Lie algebra
    0 references
    maximal torus
    0 references
    Borel subalgebra
    0 references
    maximal triangulable subalgebra
    0 references
    automorphism group
    0 references
    conjugacy class
    0 references
    flag variety
    0 references
    connected component
    0 references
    orbit
    0 references
    fiber bundle
    0 references
    Bruhat cell
    0 references