Complexity of Lie algebra representations and nilpotent elements of the stabilizers of linear forms
type: Item
instance of: scholarly article
title: Complexity of Lie algebra representations and nilpotent elements of the stabilizers of linear forms
zbMATH Open document ID: 0913.17011
DOI: 10.1007/PL00004612
author: Alexander Premet
published in: Mathematische Zeitschrift
publication date: 1999-06-06T00:00:00Z
review text: Let \(G\) be a reductive group over an algebraically closed field of characteristic \(p>0,\) \(\mathfrak g= \text{Lie}(G).\) Let \(u(\mathfrak{g}, \chi)\) be the quotient of the universal enveloping algebra \(U(\mathfrak{g})\) over the two-sided ideal generated by all elements \(x^p-x^{[p]}-\chi (x)^p\cdot 1, x\in \mathfrak{g},\) where \(\chi \) is a linear function on \(\mathfrak{g}.\) In the paper the support varieties \(\mathcal N _{\mathfrak{g}}(N)\) of the modules \(N\) over \(u(\mathfrak{g}, \chi)\) are investigated under the assumptions that \(G^{(1)}\) is simply connected and \(p\) is a good prime number for the root system \(R=R(G),\) i.e. \(p\) is bigger than any coefficient of any positive root of \(R\) with respect to a basis of \(R.\) Let \(N_p(\mathfrak{g})\) denote the closed, conical subset of \(\mathfrak{g}\) consisting of all \(x\in \mathfrak{g}\) such that \(x^{[p]}=0,\) \(\mathfrak{z}_{\mathfrak{g}}(\chi)\) denote the stabilizer of \(\chi \) in \(\mathfrak{g}.\) Earlier the author proved that for \(\mathfrak{g}\) semisimple, \(\mathcal N _{\mathfrak{g}}(N)\subset N_p(\mathfrak{g})\cap \mathfrak{z}_{\mathfrak{g}}(\chi)\) for any \(u(\mathfrak{g}, \chi)\)-module \(N\) and conjectured that there exists a finite dimensional \(u(\mathfrak{g}, \chi)\)-module \(E\) such that \(\mathcal N _{\mathfrak{g}}(E)=N_p(\mathfrak{g})\cap \mathfrak{z}_{\mathfrak{g}}(\chi)\) [see \textit{A. Premet}, J. Lond. Math. Soc. (2) 55, 236-250 (1997; Zbl 0889.17019)]. In the present paper this conjecture is proved under the above assumptions on \(p\) and \(G.\) Since any closed, conical subset of \(\mathcal N _{\mathfrak{g}}(E)\) is equal to \(\mathcal N _{\mathfrak{g}}(N)\) for some \(u(\mathfrak{g}, \chi)\)-module \(N\), this result gives the description of all support varieties for \(u(\mathfrak{g}, \chi)\)-modules. Further it is applied to investigate the \(\chi \in \mathfrak{g}^*\) such that \(u(\mathfrak{g}, \chi)\) is of finite or tame type. In particular, all forms …
Mathematics Subject Classification ID: 17B50
Mathematics Subject Classification ID: 20G05
zbMATH DE Number: 1186180
zbMATH Keywords: reductive group
zbMATH Keywords: Lie algebra representation
zbMATH Keywords: support variety
zbMATH Keywords: complexity
Wikidata QID: Q115390579
reviewed by: Michael Kuznetsov
MaRDI profile type: Publication
full work available at URL: pl00004612
OpenAlex ID: W1984588571
description: scientific article; zbMATH DE number 1186180