Source author record

Alexander Premet

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
4topics
4close collaborators

Published work

9 publications

preprint2015arXiv

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

Let GG be a simple simply-connected algebraic group over an algebraically closed field kk of characteristic p>0p>0 with g=Lie(G)\mathfrak{g}={\rm Lie}(G). We discuss various properties of nilpotent orbits in g\mathfrak{g}, which have previously only been considered over C\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 ge\mathfrak{g}_e of its the derived subalgebra [ge,ge][\mathfrak{g}_e,\mathfrak{g}_e]. Some of these calculations are used to show that the list of rigid nilpotent orbits in g\mathfrak{g}, the classification of sheets of g\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.

preprint2014arXiv

Regular derivations of truncated polynomial rings

Let k\Bbbk be an algebraically closed field of characteristic p>2p>2. Let On=k[X1,…,Xn]/(X1p,…,Xnp)\mathcal{O}_n=\Bbbk[X_1,\ldots,X_n]/(X_1^p,\ldots, X_n^p), a truncated polynomial ring in nn variables, and denote by L\mathcal{L} the derivation algebra of On\mathcal{O}_n. It is known that the ring of all polynomial functions on L\mathcal{L} invariant under the action of the group of Aut(L)\mathrm{Aut}(\mathcal{L}) is freely generated by nn elements. Furthermore, the related quotient morphism is faithfully flat and all its fibres are irreducible complete intersections. An element x∈Lx\in\mathcal{L} is called regular{\it regular} if the centraliser of xx in L\mathcal{L} has the smallest possible dimension. In this preprint we give an explicit description of regular elements of L\mathcal{L} and show that a precise analogue of Kostant's differential criterion for regularity holds in L\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 L\mathcal{L}.

preprint2013arXiv

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.

preprint2011arXiv

The Hesselink stratification of nullcones and base change

Let GG be a connected reductive algebraic group over an algebraically closed field of characteristic p≥0p \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 GG which can be viewed as an extension of the Dynkin--Kostant theory, but is valid without restriction on pp. We also obtain analogous results for the adjoint action of GG on its Lie algebra $\gl$ and the coadjoint action of GG on $\gl^*$.

preprint2010arXiv

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.

preprint2009arXiv

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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.