Searcharxiv⌕ Search

arXiv subjects

Alexander Premet

Publications and source records attributed to Alexander Premet.

At least 19 recordsLinked to original sources
arXiv2024

Hesselink strata in small characteristic and Lusztig-Xue pieces

Let $G$ be a simple algebraic group over an algebraically closed field of characteristic $p\ge 0$ and $\mathfrak{g}={\rm Lie}(G)$. We show that the nilpotent pieces ${\rm LX}(\Delta)$ introduced by Lusztig coincide with the corresponding Hesselink strata $\mathcal{H}(\Delta)$ and hence form a partition of the nilpotent cone of $\mathfrak{g}$. Similar results are obtained for the unipotent pieces of $G$. Here $\Delta$ runs through the set of all weighted Dynkin diagrams of $G$. Thanks to the results obtained by Lusztig, Xue and Voggesberger this boils down to establishing the partition property of the pieces ${\rm LX}(\Delta)$ for groups of type ${\rm E_7}$ in characteristic $2$ and for groups of type ${\rm E_8}$ in characteristic $2$ and $3$.

math.RT↗
arXiv2023

Sandwich elements and the Richardson property

Let $\mathcal{L}$ be finite dimensional restricted Lie algebra over an algebraically closed field $k$ of characteritic $p>3$. A finite dimensional restricted $\mathcal{L}$-module $V$ is called Richardson if $V$ is faithful and there exists a subspace $R$ of $\mathfrak{gl}(V)$ such that $[\mathcal{L},R]\subseteq R$ and $\mathfrak{gl}(V)=\mathcal{L}\oplus R$, where we identify $\mathcal{L}$ with its image in $\mathfrak{gl}(V)$. In this paper we show that if $\mathcal{L}$ admits an irreducible Richardson module then it is isomorphic (as a restricted Lie algebra) to the Lie algebra of a reductive $k$-group.

math.RT↗
arXiv2022

The number of multiplicity-free primitive ideals associated with the rigid nilpotent orbits

In this paper we describe the number of multiplicity-free primitive ideals associated with the rigid nilpotent orbits in finite-dimensional simple Lie algebras. Thanks to the results obtained earlier we need to solve the problem for the two largest rigid nilpotent orbits in Lie algebras of type ${\rm E}_8$. As a corollary we compute the number of small modules in the corresponding reduced enveloping algebras over algebraically closed fields of characteristic $p>5$.

math.RT↗
arXiv2020

Modular representations of Lie algebras of reductive groups and Humphreys' conjecture

Let $G$ be connected reductive algebraic group defined over an algebraically closed field of characteristic $p > 0$ and suppose that $p$ is a good prime for the root system of $G$, the derived subgroup of $G$ is simply connected and the Lie algebra $\mathfrak{g} = \operatorname{Lie}(G)$ admits a non-degenerate Ad$(G)$-invariant symmetric bilinear form. Given a linear function $\chi$ on $\mathfrak{g}$ we denote by $U_\chi(\mathfrak{g})$ the reduced enveloping algebra of $\mathfrak{g}$ associated with $\chi$. By the Kac-Weisfeiler conjecture (now a theorem), any irreducible $U_\chi(\mathfrak{g})$-module has dimension divisible by $p^{d(\chi)}$ where $2d(\chi)$ is the dimension of the coadjoint $G$-orbit containing $\chi$. In this paper we give a positive answer to the natural question raised in the 1990s by Kac, Humphreys and the first-named author and show that any algebra $U_\chi(\mathfrak{g})$ admits a module of dimension $p^{d(\chi)}$.

math.RT↗
arXiv2017

Classification of the maximal subalgebras of exceptional Lie algebras over fields of good characteristic

Let $G$ be an exceptional simple algebraic group over an algebraically closed field $k$ and suppose that the characteristic $p$ of $k$ is a good prime for $G$. In this paper we classify the maximal Lie subalgebras $\mathfrak{m}$ of the Lie algebra $\mathfrak{g}={\rm Lie}(G)$. Specifically, we show that one of the following holds: $\mathfrak{m}={\rm Lie}(M)$ for some maximal connected subgroup $M$ of $G$, or $\mathfrak{m}$ is a maximal Witt subalgebra of $\mathfrak{g}$, or $\mathfrak{m}$ is a maximal $\it{\mbox{exotic semidirect product}}$. The conjugacy classes of maximal connected subgroups of G are known thanks to the work of Seitz, Testerman and Liebeck--Seitz. All maximal Witt subalgebras of $\mathfrak{g}$ are $G$-conjugate and they occur when $G$ is not of type ${\rm E}_6$ and $p-1$ coincides with the Coxeter number of $G$. We show that there are two conjugacy classes of maximal exotic semidirect products in $\mathfrak{g}$, one in characteristic $5$ and one in characteristic $7$, and both occur when $G$ is a group of type ${\rm E}_7$.

math.RA↗
arXiv2015

A modular analogue of Morozov's theorem on maximal subalgebras of simple Lie algebras

Let $G$ be a simple algebraic group over an algebraically closed field of characteristic $p>0$ and suppose that $p$ is a very good prime for $G$. We prove that any maximal Lie subalgebra $M$ of $\mathfrak{g} = {\rm Lie}(G)$ with ${\rm rad}(M) \ne 0$ has the form $M = {\rm Lie}(P)$ for some maximal parabolic subgroup $P$ of $G$. We show that the assumption on $p$ is necessary by providing a counterexample for groups type ${\rm E}_8$ over fields of characteristic $5$. Our arguments rely on the main results and methods of the classification theory of finite dimensional simple Lie algebras over fields prime characteristic.

math.RA↗
arXiv2015

Rigid orbits and sheets in reductive Lie algebras over fields of prime characteristic

Let $G$ be a simple simply-connected algebraic group over an algebraically closed field $k$ of characteristic $p>0$ with $\mathfrak{g}={\rm Lie}(G)$. We discuss various properties of nilpotent orbits in $\mathfrak{g}$, which have previously only been considered over $\mathbb{C}$. Using a combination of theoretical and computational methods, we extend to positive characteristic various calculations of de Graaf with nilpotent orbits in exceptional Lie algebras. In particular, we classify those orbits which are reachable, those which satisfy a certain related condition due to Panyushev, and determine the codimension in the centraliser $\mathfrak{g}_e$ of its the derived subalgebra $[\mathfrak{g}_e,\mathfrak{g}_e]$. Some of these calculations are used to show that the list of rigid nilpotent orbits in $\mathfrak{g}$, the classification of sheets of $\mathfrak{g}$ and the distribution of the nilpotent orbits amongst them are independent of good characteristic, remaining the same as in the characteristic zero case. We also give a comprehensive account of the theory of sheets in reductive Lie algebras over algebraically closed fields of good characteristic.

math.RT↗
arXiv2014

Regular derivations of truncated polynomial rings

Let $\Bbbk$ be an algebraically closed field of characteristic $p>2$. Let $\mathcal{O}_n=\Bbbk[X_1,\ldots,X_n]/(X_1^p,\ldots, X_n^p)$, a truncated polynomial ring in $n$ variables, and denote by $\mathcal{L}$ the derivation algebra of $\mathcal{O}_n$. It is known that the ring of all polynomial functions on $\mathcal{L}$ invariant under the action of the group of $\mathrm{Aut}(\mathcal{L})$ is freely generated by $n$ elements. Furthermore, the related quotient morphism is faithfully flat and all its fibres are irreducible complete intersections. An element $x\in\mathcal{L}$ is called ${\it regular}$ if the centraliser of $x$ in $\mathcal{L}$ has the smallest possible dimension. In this preprint we give an explicit description of regular elements of $\mathcal{L}$ and show that a precise analogue of Kostant's differential criterion for regularity holds in $\mathcal{L}$. We also show that a fibre of the above mentioned quotient morphism is normal if and only if it consists of regular semisimple elements of $\mathcal{L}$.

math.RA↗
arXiv2014

Multiplicity-free primitive ideals associated with rigid nilpotent orbits

We prove that any finite W-algebra U(g,e) admits a one-dimensional representation fixed by the action of the component group of the centraliser of e. As a consequence, for any nilpotent orbit O in g there exists a multiplicity-free (and hence completely prime) primitive ideal of the universal enveloping algebra U(g) whose associated variety coincides with the Zariski closure of O.

math.RT↗
arXiv2013

Derived subalgebras of centralisers and finite W-algebras

Let g = Lie(G) be the Lie algebra of a simple algebraic group G over an algebraically closed field of characteristic 0. Let e be a nilpotent element of g and let g_e = Lie(G_e) where G_e stands for the stabiliser of e in G. For g classical, we give an explicit combinatorial formula for the codimension of [g_e, g_e] in g_e and use it to determine those e in g for which the largest commutative quotient U(g,e)^{ab} of the finite W-algebra U(g,e) is isomorphic to a polynomial algebra. It turns out that this happens if and only if e lies in a unique sheet of g. The nilpotent elements with this property are called non-singular in the paper. Confirming a recent conjecture of Izosimov we prove that a nilpotent element e in g is non-singular if and only if the maximal dimension of the geometric quotients S/G, where S is a sheet of g containing e, coincides with the codimension of [g_e,g_e] in g_e and describe all non-singular nilpotent elements in terms of partitions. We also show that for any nilpotent element e in a classical Lie algebra g the closed subset of Specm U(g,e)^{ab} consisting of all points fixed by the natural action of the component group of G_e is isomorphic to an affine space. Analogues of these results for exceptional Lie algebras are also obtained and applications to the theory of primitive ideals are given.

math.RT↗
arXiv2011

The Hesselink stratification of nullcones and base change

Let $G$ be a connected reductive algebraic group over an algebraically closed field of characteristic $p \ge 0$. We give a case-free proof of Lusztig's conjectures [Unipotent elements in small characteristic, {\em Transform. Groups} 10 (2005), 449--487] on so-called unipotent pieces. This presents a uniform picture of the unipotent elements of $G$ which can be viewed as an extension of the Dynkin--Kostant theory, but is valid without restriction on $p$. We also obtain analogous results for the adjoint action of $G$ on its Lie algebra $\gl$ and the coadjoint action of $G$ on $\gl^*$.

math.RT↗
arXiv2010

Enveloping algebras of Slodowy slices and Goldie rank

It is known that any primitive ideal I of U(g) whose associated variety contains a nilpotent element e in its open G-orbit admits a finite generalised Gelfand-Graev model which is a finite dimensional irreducible module over the finite W-algebra U(g,e). We prove that if V is such a model for I, then the Goldie rank of the primitive quotient U(g)/I always divides the dimension of V. For g=sl(n), we use a result of Joseph to show that the Goldie rank of U(g)/I equals the dimension of V and we show that the equality conntinues to hold outside type A provided that the Goldie field of U(g)/I is isomorphic to a Weyl skew-field. As an application of this result, we disprove Joseph's conjecture on the structure of the Goldie fields of primitive quotients of U(g) formulated in the mid-70s.

math.RT↗
arXiv2009

Vanishing of trace forms in low characteristics

Every finite-dimensional representation of an algebraic group G gives a trace symmetric bilinear form on the Lie algebra of G. We give criteria in terms of root system data for the existence of a representation such that this form is nonzero or nondegenerate. As a corollary, we show that a Lie algebra of type E8 over a field of characteristic 5 does not have a so-called "quotient trace form", answering a question posed in the 1960s.

math.RT↗
arXiv2008

Commutative quotients of finite W-algebras

Let U(g,e) be the finite W-algebra associated with a nilpotent element e in a simple Lie algebra g and assume that e is induced from a nilpotent element e_0 in a Levi subalgebra l of g. We show that if the finite W-algebra U(l,e_0) has a 1-dimensional representation, then so does U(g,e). For g classical (and in may other cases), we compute the Krull dimension of the largest commutative quotient of U(g,e). Some applications to representation theory of modular counterparts of g are given.

math.RT↗
arXiv2008

Simple Lie algebras of small characteristic VI. Completion of the classification

Let L be a finite-dimensional simple Lie algebra over an algebraically closed field of F characteristic p>3. We prove that if the p-envelope of L in the derivation algebra of L contains nonstandard tori of maximal dimension, then p=5 and L is isomorphic to one of the Melikian algebras. Together with our earlier results this implies that any finite-dimensional simple Lie algebra over F is of classical, Cartan or Melikian type.

math.RT↗