Generalized restricted Lie algebras and representations of the Zassenhaus algebra (Q1270966): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1006/jabr.1997.7344 / rank | |||
Property / DOI | |||
Property / DOI: 10.1006/JABR.1997.7344 / rank | |||
Normal rank |
Latest revision as of 17:11, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalized restricted Lie algebras and representations of the Zassenhaus algebra |
scientific article |
Statements
Generalized restricted Lie algebras and representations of the Zassenhaus algebra (English)
0 references
22 January 1999
0 references
The remarkable result of this paper is a description of all irreducible representations of the Zassenhaus algebra \(W(1:n)\) over an algebraically closed field \(F\) of characteristic \(p>3.\) In the standard basis \(\{ e_i, i=-1,\ldots ,p^n-2\}\) of \(L=W(1: n)\) \[ [e_i, e_j]=c_{ij}e_{i+j}, c_{ij}=\binom {i+j+1}j -\binom {i+j+1}i, \] \(\{ L_i=\langle{} e_j, j\geq i \rangle{}, i\geq -1\}\) is the standard filtration of \(L\). It is well known that \(L_0\) is a \(p\)-subalgebra of \(L\) with respect to the natural embedding \(L\) into \(\mathcal L=\text{Der }L=L+\langle{} e_{-1}^{p^k}, 0<k<n \rangle{}.\) Let \(\rho \) be an irreducible representation of \(L\) on a space \(V\). There exists a linear function \(\varTheta \in L^*\) such that \[ \rho (e_{-1})^{p^n}=\varTheta (e_{-1})^{p^n}I, \] \[ \rho (e_i)^p-\rho (e_i^{[p]})=\varTheta (e_i)^p, i\geq 0. \] The author shows that the representation \(\rho \) (and the function \(\varTheta ,\) as well) may be continued to \(\mathcal L.\) Thus, \(\rho \) may be considered as an irreducible representation of the \(p\)-algebra \(\mathcal L\) with \(p\)-character \(\varTheta\). Let \(r\) be the minimal integer \(i\) such that \(\varTheta (L_i)=0.\) All irreducible modules for \(r=-1\) (i.e. \(\varTheta =0\)) are well known. If \(0\leq r<p^n-1\) then \(V\cong \text{Ind }^{\mathcal L}_Q(Fu, \varTheta).\) Here \(Q\) is a special subalgebra in \(L_0\), \(Fu\) is a one-dimensional \(Q\)-module and induction is understood in terms of the \(\varTheta\)-reduced enveloping algebra \(U(\mathcal L)/J\) where \(J\) is an ideal generated by \(e^p-e^{[p]}-\varTheta (e)^p1, e\in \mathcal L.\) Thus, \(\dim V=p^{n+\dim L_0/Q}.\) If \(r=p^n-1\) then as \(L_0\)-module \(V\cong \text{Ind }^{L_0}_{L_s}(Fu, \varTheta), s=\frac{p^n-1}2 \) where \(Fu\) is a one-dimensional \(L_{\frac{p^n-1}2}\)-module. Thus, \(\dim V=p^{\frac{p^n-1}2}.\)
0 references
generalized restricted Lie algebra
0 references
Zassenhaus algebra
0 references
representation
0 references
0 references
0 references
0 references
0 references