We classify all pairs (m,e), where m is a positive integer and e is a nilpotent element of a semisimple Lie algebra, which arise in the classification of simple rational W-algebras.
We show that, in compact semisimple Lie groups and Lie algebras, any neighbourhood of the identity gets mapped, under the commutator map, to a neighbourhood of the identity.
Let g be a finite dimensional complex semisimple Lie algebra, and let V be a finite dimensional represenation of g. We give a closed formula for the mth Frobenius-Schur indicator, m>1, of V in representation-theoretic terms. We deduce that the indica
tors take integer values, and that for a large enough m, the mth indicator of V equals the dimension of the zero weight space of V. For the classical Lie algebras sl(n), so(2n), so(2n+1) and sp(2n), this is the case for m greater or equal to 2n-1, 4n-5, 4n-3 and 2n+1, respectively.
A complete set of inequivalent realizations of three- and four-dimensional real unsolvable Lie algebras in vector fields on a space of an arbitrary (finite) number of variables is obtained.
We prove most of Lusztigs conjectures from the paper Bases in equivariant K-theory II, including the existence of a canonical basis in the Grothendieck group of a Springer fiber. The conjectures also predict that this basis controls numerics of repre
sentations of the Lie algebra of a semi-simple algebraic group over an algebraically closed field of positive characteristic. We check this for almost all characteristics. To this end we construct a non-commutative resolution of the nilpotent cone which is derived equivalent to the Springer resolution. On the one hand, this noncommutative resolution is shown to be compatible with the positive characteristic version of Beilinson-Bernstein localization equivalences. On the other hand, it is compatible with the t-structure arising from the equivalence of Arkhipov-Bezrukavnikov with the derived category of perverse sheaves on the affine flag variety of the Langlands dual group, which was inspired by local geometric Langlands duality. This allows one to apply Frobenius purity theorem to deduce the desired properties of the basis. We expect the noncommutative counterpart of the Springer resolution to be of independent interest from the perspectives of algebraic geometry and geometric Langlands duality.