Let $\bullet^†$ be the map in sense of the Losev, which sends the set of two sided ideals of a finite W-algebras to that of the universal enveloping algebra of corresponding Lie algebras. The Premet conjecture which was proved in \cite{Lo11}, says that, restricted to the set of primitive ideals with finite codimension, any fiber of the map $\bullet^†$ is a single orbit under an action of a finite group. In this article we formulate and prove a similar fact in the super case. This will give a classification to the set of finite dimensional irreducible representations of W-superalgebras provided $C_{e}$ is a trivial group and the set of primitive ideals of the corresponding universal enveloping algebra of Lie superalgebra is known.
Let $\mathfrak{g}=\mathfrak{g}_{\bar{0}}+\mathfrak{g}_{\bar{1}}$ be a basic Lie superalgebra, $\mathcal{W}_0$ (resp.$\mathcal{W}$) be the finite W-(resp.super-) algebras constructed from a fixed nilpotent element in $\mathfrak{g}_{\bar{0}}$. Based on a relation between finite W-algebra $\mathcal{W}_0$ and W-superalgebra $\mathcal{W}$ found recently by the author and Shu, we study the finite dimensional representations of finite W-superalgebras in this paper. We first formulate and prove a version of Premet's conjecture for the finite W-superalgebras from basic simple Lie superalgebras. As in t…
The Slodowy slice is an especially nice slice to a given nilpotent conjugacy class in a semisimple Lie algebra. Premet introduced noncommutative quantizaions of the Poisson algebra of polynomial functions on the Slodowy slice. In this paper, we define and study Harish-Chandra bimodules over Premet's algebras. We apply the technique of Harish-Chandra bimodules to prove a conjecture of Premet concerning primitive ideals, and to construct `noncommutative resolutions' of Slodowy slices via translation functors.
We prove the Kac-Wakimoto conjecture for the periplectic Lie superalgebra $\mathfrak{p}(n)$, stating that any simple module lying in a block of non-maximal atypicality has superdimension zero.
Atypicality is a fundamental combinatorial invariant for simple supermodules of a basic Lie superalgebra. Boe, Nakano, and the author gave a conjectural geometric interpretation of atypicality via support varieties. Inspired by low dimensional topology, Geer, Patureau-Mirand, and the author gave a generalization of the Kac-Wakimoto atypicality conjecture. We prove both of these conjectures for the Lie superalgebra osp(m|2n).
Premet has conjectured that the nilpotent variety of any finite-dimensional restricted Lie algebra is an irreducible variety. In this paper, we prove this conjecture in the case of Hamiltonian Lie algebra. and show that its nilpotent variety is normal and a complete intersection. In addition, we generalize the Chevalley Restriction theorem to Hamiltonian Lie algebra. Accordingly, we give the generators of the invariant polynomial ring.
We consider the finite W-superalgebras for a basic classical Lie superalgebra g associated with an even nilpotent element in g both over the field of complex numbers field and and over a filed of positive characteristic. We present the PBW theorem for these finite W-superalgebrfas. Then we formulate a conjecture about the minimal dimensional representations of of complex finite W-superalgebras, and demonstrate it with some examples. Under the assumption that the conjecture holds, we finally show that the lower bound of dimensions predicted in the super version of Kac-Weisfeiler conjecture form…
We develop a new method to solve the irreducible character problem for a wide class of modules over the general linear superalgebra, including all the finite-dimensional modules, by directly relating the problem to the classical Kazhdan-Lusztig theory. We further verify a parabolic version of a conjecture of Brundan on the irreducible characters in the BGG category $\mc{O}$ of the general linear superalgebra. We also prove the super duality conjecture.
An purely algebraic proof of the PBW theorem of U_q(gl(m,n)) is given. Lusztig's conjecture is extended to the super case. The Lusztig's tensor product theorem is established.
We establish a maximal parabolic version of the Kazhdan-Lusztig conjecture \cite[Conjecture 5.10]{CKW} for the BGG category $\mathcal{O}_{k,ζ}$ of $\mathfrak{q}(n)$-modules of "$\pm ζ$-weights", where $k\leq n$ and $ζ\in\mathbb{C} \setminus \frac{1}{2} \mathbb{Z}$. As a consequence, the irreducible characters of these $\mathfrak{q}(n)$-modules in this maximal parabolic category are given by the Kazhdan-Lusztig polynomials of type $A$ Lie algebras. As an application, closed character formulas for a class of $\mathfrak{q}(n)$-modules resembling polynomial and Kostant modules of the general linea…
In the framework of canonical and dual canonical bases of Fock spaces, Brundan in 2003 formulated a Kazhdan-Lusztig type conjecture for the characters of the irreducible and tilting modules in the BGG category for the general linear Lie superalgebra for the first time. In this paper, we prove Brundan's conjecture and its variants associated to all Borel subalgebras in full generality.
The exceptional infinite-dimensional linearly compact simple Lie superalgebra ${E}(5,10)$, which Kac believes, is the algebra of symmetries of the ${SU}_{5}$ Grand Unified Model. In this paper, we give a proof of Kac and Rudakov's conjecture about the classification of all the degenerate generalized Verma module over ${E}(5,10)$. Also, we work out all the nontrivial singular vectors degree by degree. It is a potential that the representation theory of ${E}(5,10)$ will shed new light on various features of the the ${SU}_{5}$ Grand unified model.
Consider the W-algebra $W$ attached to the smallest nilpotent orbit in a simple Lie algebra $\frak g$ over an algebraically closed field of characteristic 0. We show that if an analogue of the Gelfand-Kirillov conjecture holds for such a W-algebra then it holds for the universal enveloping algebra $\mathrm U(\frak g)$. This together with a result of A. Premet implies that the analogue of the Gelfand-Kirillov conjecture fails for some $W$-algebras attached to some nilpotent orbits in Lie algebras of types $B_n~(n\ge 3)$, $D_n~(n\ge 4)$, $E_6, E_7, E_8$, $F_4$.
In this paper we formulate a conjecture about the minimal dimensional representations of the finite $W$-superalgebra $U(\mathfrak{g}_\bbc,e)$ over the field of complex numbers and demonstrate it with examples including all the cases of type $A$. Under the assumption of this conjecture, we show that the lower bounds of dimensions in the modular representations of basic Lie superalgebras are attainable. Such lower bounds, as a super-version of Kac-Weisfeiler conjecture, were formulated by Wang-Zhao in \cite{WZ} for the modular representations of a basic Lie superalgebra ${\ggg}_{\bbk}$ over an a…
Let $\mathfrak g=\mathfrak g_{\bar 0}\oplus\mathfrak g_{\bar 1}$ be the queer Lie superalgebra and let $L$ be a finite-dimensional non-trivial irreducible $\mathfrak g$-module. Restricting the $\mathfrak g$-action on $L$ to $\mathfrak g_{\bar 0}$, we show that the space of $\mathfrak g_{\bar 0}$-invariants $L^{\mathfrak g_{\bar 0}}$ is trivial. As a consequence we establish a conjecture first formulated by Gorelik, Grantcharov and Mazorchuk on the triviality of the supercharacter of irreducible $\mathfrak g$-modules in the case when the modules are finite dimensional.
A way to construct (conjecturally all) simple finite dimensional modular Lie (super)algebras over algebraically closed fields of characteristic not 2 is offered. In characteristic 2, the method is supposed to give only simple Lie (super)algebras graded by integers and only some of the non-graded ones). The conjecture is backed up with the latest results computationally most difficult of which are obtained with the help of Grozman's software package SuperLie.
We prove Conjecture 5.7 in [arXiv:1409.2532], describing all inclusions between primitive ideals for the general linear superalgebra in terms of the Ext1-quiver of simple highest weight modules. For arbitrary basic classical Lie superalgebras, we formulate two types of Kazhdan-Lusztig quasi-orders on the dual of the Cartan subalgebra, where one corresponds to the above conjecture. Both orders can be seen as generalisations of the left Kazhdan-Lusztig order on Hecke algebras and are related to categorical braid group actions. We prove that the primitive spectrum is always described by one of th…
We consider the finite $W$-algebra $U(\g,e)$ associated to a nilpotent element $e \in \g$ in a simple complex Lie algebra $\g$ of exceptional type. Using presentations obtained through an algorithm based on the PBW-theorem, we verify a conjecture of Premet, that $U(\g,e)$ always has a 1-dimensional representation, when $\g$ is of type $G_2$, $F_4$, $E_6$ or $E_7$. Thanks to a theorem of Premet, this allows one to deduce the existence of minimal dimension representations of reduced enveloping algebras of modular Lie algebras of the above types. In addition, a theorem of Losev allows us to deduc…
We initiate the representation theory of restricted Lie superalgebras over an algebraically closed field of characteristic p>2. A superalgebra generalization of the celebrated Kac-Weisfeiler Conjecture is formulated, which exhibits a mixture of p-power and 2-power divisibilities of dimensions of modules. We establish the Conjecture for basic classical Lie superalgebras.
We investigate cohomological support varieties for finite-dimensional Lie superalgebras defined over fields of odd characteristic. Verifying a conjecture from our previous work, we show the support variety of a finite-dimensional supermodule can be realized as an explicit subset of the odd nullcone of the underlying Lie superalgebra. We also show the support variety of a finite-dimensional supermodule is zero if and only if the supermodule is of finite projective dimension. As a consequence, we obtain a positive characteristic version of a theorem of Bøgvad, showing that if a finite-dimensiona…
In the late 1980s, Premet conjectured that the nilpotent variety of any finite dimensional restricted Lie algebra over an algebraically closed field of characteristic $p>0$ is irreducible. This conjecture remains open, but it is known to hold for a large class of simple restricted Lie algebras, e.g. for Lie algebras of connected reductive algebraic groups, and for Cartan series $W, S$ and $H$. In this paper, with the assumption that $p>3$, we confirm this conjecture for the minimal $p$-envelope $W(1;n)_p$ of the Zassenhaus algebra $W(1;n)$ for all $n\geq 2$.
W-algebras of finite type are certain finitely generated associative algebras closely related to the universal enveloping algebras of semisimple Lie algebras. In this paper we prove a conjecture of Premet that gives an almost complete classification of finite dimensional irreducible modules for W-algebras. Also we study a relation between Harish-Chandra bimodules and bimodules over $W$-algebras.
In this paper, we study the representations of the periplectic Lie superalgebra using the Duflo-Serganova functor. Given a simple $\mathfrak{p}(n)$-module $L$ and a certain element $x\in \mathfrak{p}(n)$ of rank $1$, we give an explicit description of the composition factors of the $\mathfrak{p}(n-1)$-module $DS_x(L)$, which is defined as the homology of the complex $$ΠM \xrightarrow{x} M \xrightarrow{x} ΠM.$$ In particular, we show that this $\mathfrak{p}(n-1)$-module is multiplicity-free. We then use this result to give a simple explicit combinatorial formula for the superdimension of a simp…
To each symmetric graded Frobenius superalgebra we associate a W-algebra. We then define a linear isomorphism between the trace of the Frobenius Heisenberg category and a central reduction of this W-algebra. We conjecture that this is an isomorphism of graded superalgebras.
Casimir operators -- the generators of the center of the enveloping algebra -- are described for simple or close to them ``classical'' finite dimensional Lie superalgebras with nondegenerate symmetric even bilinear form in Sergeev A., The invariant polynomials on simple Lie superalgebras. Represent. Theory 3 (1999), 250--280; math-RT/9810111 and for the ``queer'' series in Sergeev A., The centre of enveloping algebra for Lie superalgebra Q(n, C). Lett. Math. Phys. 7, no. 3, 1983, 177--179. Here we consider the remaining cases, and state conjectures proved for small values of parameter. Under d…
The problem of computing the characters of the finite dimensional irreducible representations of the Lie superalgebra $\mathfrak{gl}(m|n)$ over $\C$ was solved a few years ago by V. Serganova. In this article, we present an entirely different approach. One consequence is a direct and elementary proof of a conjecture made by van der Jeugt and Zhang for the composition multiplicities of Kac modules. This does not seem to follow easily from Serganova's formula, since that involves certain alternating sums. We also compute Ext's between simple modules in the category of finite dimensional represen…
We provide an explicit isomorphism between a quotient of the Bannai--Ito algebra and the Brauer algebra. We clarify also the connection with the action of the Lie superalgebra osp(1|2) on the threefold tensor product of its fundamental representation. Finally, a conjecture is proposed to describe the centralizer of osp(1|2) acting on three copies of an arbitrary finite irreducible representation in terms of a quotient of the Bannai-Ito algebra.
We prove that the cohomology ring of a finite-dimensional restricted Lie superalgebra over a field of characteristic $p > 2$ is a finitely-generated algebra. Our proof makes essential use of the explicit projective resolution of the trivial module constructed by J. Peter May for any graded restricted Lie algebra. We then prove that the cohomological finite generation problem for finite supergroup schemes over fields of odd characteristic reduces to the existence of certain conjectured universal extension classes for the general linear supergroup $GL(m|n)$ that are similar to the universal exte…
We give an analog of a Chevalley-Serre presentation for the Lie superalgebras W(n) and S(n) of Cartan type. These are part of a wider class of Lie superalgebras, the so-called tensor hierarchy algebras, denoted W(g) and S(g), where g denotes the Kac-Moody algebra A_r, D_r or E_r. Then W(A_{n-1}) and S(A_{n-1}) are the Lie superalgebras W(n) and S(n). The algebras W(g) and S(g) are constructed from the Dynkin diagram of the Borcherds-Kac-Moody superalgebras B(g) obtained by adding a single grey node (representing an odd null root) to the Dynkin diagram of g. We redefine the algebras W(A_r) and …
We study inclusions between primitive ideals in the universal enveloping algebra of general linear superalgebras. For classical Lie superalgebras, any primitive ideal is the annihilator of a simple highest weight module. It therefore suffices to study the quasi-order on highest weights determined by the relation of inclusion between primitive ideals. For the specific case of reductive Lie algebras, this quasi-order is essentially the left Kazhdan-Lusztig quasi-order. For Lie superalgebras, the classification is unknown in general, safe from some low dimensional specific cases. We derive an alt…
Tensor hierarchy algebras are infinite-dimensional generalisations of Cartan-type Lie superalgebras. They are not contragredient, exhibiting an asymmetry between positive and negative levels. These superalgebras have been a focus of attention due to the fundamental role they play for extended geometry. In the present paper, we examine tensor hierarchy algebras which are super-extensions of over-extended (often, hyperbolic) Kac--Moody algebras. They contain novel algebraic structures. Of particular interest is the extension of a over-extended algebra by its fundamental module, an extension that…
We prove the conjecture of Gaiotto and Rapčák that the $Y$-algebras $Y_{L,M,N}[ψ]$ with one of the parameters $L,M,N$ zero, are simple one-parameter quotients of the universal two-parameter $\mathcal{W}_{1+\infty}$-algebra, and satisfy a symmetry known as triality. These $Y$-algebras are defined as the cosets of certain non-principal $\mathcal{W}$-algebras and $\mathcal{W}$-superalgebras by their affine vertex subalgebras, and triality is an isomorphism between three such algebras. Special cases of our result provide new and unified proofs of many theorems and open conjectures in the literatur…
Many ${\mathcal W}$-(super)algebras which are defined by the generalized Drinfeld-Sokolov reduction are also known or expected to have coset realizations. For example, it was conjectured by Ito that the principal ${\mathcal W}$-superalgebra ${\mathcal W}^k(\mathfrak{sl}(n+1|n))$ is isomorphic to the coset of $V^{l+1}(\mathfrak{gl}_n)$ inside $V^{l}(\mathfrak{sl}_{n+1}) \otimes {\mathcal E}(n)$ for generic values of $l$. Here ${\mathcal E}(n)$ denotes the rank $n$ $bc$-system, which carries an action of $V^1(\mathfrak{gl}_n)$, and $k$ and $l$ are related by $(k + 1) (l + n + 1) = 1$. This conje…
We show that the blocks of category O for the Lie superalgebra q_n associated to half-integral weights carry the structure of a tensor product categorification for the infinite rank Kac-Moody algebra of type C. This allows us to prove two conjectures formulated by Cheng, Kwon and Lam. We then focus on the full subcategory consisting of finite-dimensional representations, which we show is a highest weight category with blocks that are Morita equivalent to certain generalized Khovanov arc algebras.
We prove Feigin-Frenkel type dualities between subregular W-algebras of type A, B and principal W-superalgebras of type $\mathfrak{sl}(1|n), \mathfrak{osp}(2|2n)$. The type A case proves a conjecture of Feigin and Semikhatov. Let $(\mathfrak{g}_1,\mathfrak{g}_2) = (\mathfrak{sl}_{n+1},\mathfrak{sl}(1|n+1))$ or $(\mathfrak{so}_{2n+1}, \mathfrak{osp}(2|2n))$ and let $r$ be the lacity of $\mathfrak{g}_1$. Let k be a complex number and $\ell$ defined by $r(k+h^\vee_1)(\ell+h^\vee_2)=1$ with $h^\vee_i$ the dual Coxeter numbers of the $\mathfrak g_i$. Our first main result is that the Heisenberg cos…
In this paper we prove a Nullstellensatz for supersymmetric polynomials. This gives a bijection between radical ideals and superalgebraic sets. These are algebraic sets which are invariant under the Weyl groupoid of Sergeev and Veselov, \cite{SV2}. Note that the algebra of supersymmetric polynomials is not Noetherian, so the usual Nullstellensatz does not apply. However it deos satisfy the ascending chain condition on radical ideals and this allows for the decomposition of superalgebraic sets into irreducible components. Analogous results hold for the a ring of Laurent supersymmetric polynomia…
These notes record three lectures given at the workshop "Higher symmetries in Physics", held at the Universidad Complutense de Madrid in November 2008. In them we explain how to construct a Lie (super)algebra associated to a spin manifold, perhaps with extra geometric data, and a notion of privileged spinors. The typical examples are supersymmetric supergravity backgrounds; although there are more classical instances of this construction. We focus on two results: the geometric constructions of compact real forms of the simple Lie algebras of type B_4, F_4 and E_8 from S^7, S^8 and S^15, respec…
We prove the long-standing conjecture on the coset construction of the minimal series principal $W$-algebras of $ADE$ types in full generality. We do this by first establishing Feigin's conjecture on the coset realization of the universal principal $W$-algebras, which are not necessarily simple. As consequences, the unitarity of the "discrete series" of principal $W$-algebras is established, a second coset realization of rational and unitary $W$-algebras of type $A$ and $D$ are given and the rationality of Kazama-Suzuki coset vertex superalgebras is derived.
Fusion rules and rigidity for weight modules over the simple admissible affine $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator superalgebras
Osaka Metropolitan University（大阪公立大学）；University of Colorado Boulder（科罗拉多大学博尔德分校）；Universitat de València（瓦伦西亚大学）；Cardiff University（卡迪夫大学）；Research Institute for Mathematical Sciences Kyoto University（京都大学数学科学研究所）
For a finite dimensional representation $V$ of a finite reflection group $W$, we consider the rational Cherednik algebra $\mathsf{H}_{t,c}(V,W)$ associated with $(V,W)$ at the parameters $t\neq 0$ and $c$. The Dunkl total angular momentum algebra $O_{t,c}(V,W)$ arises as the centraliser algebra of the Lie superalgebra $\mathfrak{osp}(1|2)$ containing a Dunkl deformation of the Dirac operator, inside the tensor product of $\mathsf{H}_{t,c}(V,W)$ and the Clifford algebra generated by $V$. We show that, for every value of the parameter $c$, the centre of $O_{t,c}(V,W)$ is isomorphic to a univaria…
We prove some conjectures about vertex algebras which emerge in gauge theory constructions associated to the geometric Langlands program. In particular, we present the conjectural kernel vertex algebra for the $S T^2 S$ duality transformation in $SU(2)$ gauge theory. We find a surprising coincidence, which gives a powerful hint about the nature of the corresponding duality wall. Concretely, we determine the branching rules for the small $N=4$ superconformal algebra at central charge $-9$ as well as for the generic large $N=4$ superconformal algebra at central charge $-6$. Moreover we obtain th…
