Let $G$ be a simply connected, nilpotent Lie group with Lie algebra $\gee$. The group $G$ acts on the dual space $\gee^*$ by the coadjoint action. %% which partitions $\gee^*$ into coadjoint orbits. By the orbit method of Kirillov, the simple unitary representations of $G$ are in bijective correspondence with the coadjoint orbits in $\gee^*$, which in turn are in bijective correspondence with the primitive ideals of the universal enveloping algebra of $\gee$. The number of simple $\gee$-modules which have a common eigenvector for a particular subalgebra of $\gee$ and are annihilated by a particular primitive ideal $I$ is shown by Benoist to depend on geometric properties of a certain subvariety of the coadjoint orbit corresponding to $I$. We determine the exact number of such modules when the coadjoint orbit is two-dimensional.
Bell and Musson showed that the algebras obtained by factoring the universal enveloping superalgebra of a Lie superalgebra by graded-primitive ideals are isomorphic to tensor products of Weyl algebras and Clifford algebras. We describe certain cases where the factors are purely Weyl algebras and determine how the sizes of these Weyl algebras depend on the graded-primitive ideals.
In this paper, we find a family $SL^{n,m}$, in any arbitrary dimensions, of cohomologically rigid solvable Lie superalgebras with nilradical the model filiform Lie superalgebra $L^{n,m}$. Moreover, we exhibit a family of cohomologically rigid solvable Lie superalgebras with nilradical the model nilpotent Lie superalgebra of generic characteristic sequence. Both cases correspond to solvable Lie superalgebras of maximal dimension for a given nilradical. Contrariwise, we will show that the family of Lie superalgebras $SL^{n,m}$ can be deformed if defined over a field of odd characteristic.
Let L be a restricted Lie superalgebra with its enveloping algebra u(L) over a field F of characteristic p>2. A polynomial identity is called non-matrix if it is not satisfied by the algebra of 2\times 2 matrices over F. We characterize L when u(L) satisfies a non-matrix polynomial identity. In particular, we characterize L when u(L) is Lie solvable, Lie nilpotent, or Lie super-nilpotent.
In this paper the authors introduce an analog of the nilpotent cone, ${\mathcal N}$, for a classical Lie superalgebra, ${\mathfrak g}$, that generalizes the definition for the nilpotent cone for semisimple Lie algebras. For a classical simple Lie superalgebra, ${\mathfrak g}={\mathfrak g}_{\bar{0}}\oplus {\mathfrak g}_{\bar{1}}$ with $\text{Lie }G_{\bar{0}}={\mathfrak g}_{\bar{0}}$, it is shown that there are finitely many $G_{\bar{0}}$-orbits on ${\mathcal N}$. Later the authors prove that the Duflo-Serganova commuting variety, ${\mathcal X}$, is contained in ${\mathcal N}$ for any classical …
Let $\FRAK{g}$ be a classical simple Lie superalgebra. To every nilpotent orbit $\cal O$ in $\FRAK{g}_0$ we associate a Clifford algebra over the field of rational functions on $\cal O$. We find the rank, $k(\cal O)$ of the bilinear form defining this Clifford algebra, and deduce a lower bound on the multiplicity of a $U(\FRAK{g})$-module with $\cal O$ or an orbital subvariety of $\cal O$ as associated variety. In some cases we obtain modules where the lower bound on multiplicity is attained using parabolic induction. The invariant $k(\cal O)$ is in many cases, equal to the odd dimension of th…
Let $\mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}}$ be a finite-dimensional simple Lie superalgebra of type $D(2,1;α)$, $G(3)$ or $F(4)$ over $\mathbb{C}$. Let $G$ be the simply connected semisimple algebraic group over $\mathbb{C}$ such that $\mathrm{Lie}(G)=\mathfrak{g}_{\bar{0}}$. Suppose $e\in\mathfrak{g}_{\bar{0}}$ is nilpotent. We describe the centralizer $\mathfrak{g}^{e}$ of $e$ in $\mathfrak{g}$ and its centre $\mathfrak{z}(\mathfrak{g}^{e})$ especially. We also determine the labelled Dynkin diagram for $e$. We prove theorems relating the dimension of $\left(\mathfra…
Let \mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}} be a basic classical Lie superalgebra over an algebraically closed field \mathbb{K} whose characteristic p>0 is a good prime for \mathfrak{g}. Let G_{\bar{0}} be the reductive algebraic group over \mathbb{K} such that \mathrm{Lie}(G_{\bar{0}})=\mathfrak{g}_{\bar{0}}. Suppose e\in\mathfrak{g}_{\bar{0}} is nilpotent. Write \mathfrak{g}^{e} for the centralizer of e in \mathfrak{g} and \mathfrak{z}(\mathfrak{g}^{e}) for the centre of \mathfrak{g}^{e}. We calculate a basis for \mathfrak{g}^{e} and \mathfrak{z}(\mathfrak{g}^{e}) by …
The purpose of this paper is to study Hom-Lie superalgebras, that is a superspace with a bracket for which the superJacobi identity is twisted by a homomorphism. This class is a particular case of $Γ$-graded quasi-Lie algebras introduced by Larsson and Silvestrov. In this paper, we characterize Hom-Lie admissible superalgebras and provide a construction theorem from which we derive a one parameter family of Hom-Lie superalgebras deforming the orthosymplectic Lie superalgebra. Also, we prove a $\mathbb{Z}_2$-graded version of a Hartwig-Larsson-Silvestrov Theorem which leads us to a construction…
Let $\bar{G}$ be the simple algebraic supergroup $\mathrm{SL}(m|n)$ or $\mathrm{OSp}(m|2n)$ over $\mathbb{C}$. Let $\mathfrak{g}=\mathrm{Lie}(\bar{G})=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}}$ and let $G=\bar{G}(\mathbb{C})$ where $\mathbb{C}$ is considered as a superalgebra concentrated in even degree. Suppose $e\in\mathfrak{g}_{\bar{0}}$ is nilpotent. We describe the centralizer $\mathfrak{g}^{e}$ of $e$ in $\mathfrak{g}$ and its centre $\mathfrak{z}(\mathfrak{g}^{e})$. In particular, we give bases for $\mathfrak{g}^{e}$, $\mathfrak{z}(\mathfrak{g}^{e})$ and $\left(\mathfrak{z}(\ma…
We determine the Lie superalgebras over fields of characteristic zero that are graded by the root system A(n,n) of the special linear Lie superalgebra psl(n+1,n+1).
Given an algebraically closed field $\Bbbk$ of characteristic zero, a Lie superalgebra $\mathfrak{g}$ over $\Bbbk$ and an associative, commutative $\Bbbk$-algebra $A$ with unit, a Lie superalgebra of the form $\mathfrak{g} \otimes_\Bbbk A$ is known as a map superalgebra. Map superalgebras generalize important classes of Lie superalgebras, such as, loop superalgebras (where $A=\Bbbk[t, t^{-1}]$), and current superalgebras (where $A=\Bbbk[t]$). In this paper, we define Weyl functors, global and local Weyl modules for all map superalgebras where $\mathfrak{g}$ is either $\mathfrak{sl} (n,n)$ with…
In this paper we study the finite W-algebra for the queer Lie superalgebra Q(n) associated with the non-regular even nilpotent coadjoint orbits in the case when the corresponding nilpotent element has Jordan blocks each of size l. We prove that this finite W-algebra is isomorphic to a quotient of the super-Yangian of Q({n/l})
Symplectic (respectively orthogonal) triple systems provide constructions of Lie algebras (resp. superalgebras). However, in characteristic 3, it is shown that this role can be interchanged and that Lie superalgebras (resp. algebras) can be built out of symplectic triple systems (resp. orthogonal triple systems) with a different construction. As a consequence, new simple finite dimensional Lie superalgebras, as well as new models of some nonclassical simple Lie algebras, are obtained over fields of characteristic 3.
In this paper, we introduce the relevant concepts of $n$-ary multiplicative Hom-Nambu-Lie superalgebras and construct three classes of $n$-ary multiplicative Hom-Nambu-Lie superalgebras. As a generalization of the notion of derivations for $n$-ary multiplicative Hom-Nambu-Lie algebras, we discuss the derivations of $n$-ary multiplicative Hom-Nambu-Lie superalgebras. In addition, the theory of one parameter formal deformation of $n$-ary multiplicative Hom-Nambu-Lie superalgebras is developed by choosing a suitable cohomology.
We introduce the PBW degeneration for basic classical Lie superalgebras and construct for all type I, $\mathfrak{osp}(1,2n)$ and exceptional Lie superalgebras new monomial bases. These bases are parametrized by lattice points in convex lattice polytopes, sharing useful properties such as the integer decomposition property. This paper is the first step towards extending the framework of PBW degenerations to the Lie superalgebra setting.
Let $\mathfrak{g}=\mathfrak{g}_{\bar 0}+\mathfrak{g}_{\bar 1}$ be a basic Lie superalgebra over $\mathbb{C}$, and $e$ a minimal nilpotent element in $\mathfrak{g}_{\bar 0}$. Set $W_χ'$ to be the refined $W$-superalgebra associated with the pair $(\mathfrak{g},e)$, which is called a minimal $W$-superalgebra. In this paper we present a set of explicit generators of minimal $W$-superalgebras and the commutators between them. In virtue of this, we show that over an algebraically closed field $\mathds{k}$ of characteristic $p\gg0$, the lower bounds of dimensions in the modular representations of ba…
We construct a duality functor on the category of continuous representations of linearly compact Lie superalgebras, using representation theory of Lie conformal superalgebras. We compute the dual representations of the generalized Verma modules.
In this paper, we introduce the notion of BiHom-Lie conformal superalgebras. We develop its representation theory and define the cohomology group with coefficients in a module. Finally, we introduce conformal derivations of BiHom-Lie conformal superalgebras and study some of their properties.
For a twisted affine Lie superalgebra with nonzero odd part, we study {tight irreducible weight modules} with bounded weight multiplicities and show that if the action of nonzero real vectors of each affine component of the zero part is neither completely injective nor completely locally nilpotent, then these modules are parabolically induced.
We initiate and develop the theory of finite $W$-superalgebras $\mathcal{W}_χ$ associated to the queer Lie superalgebra $\g=\q(N)$ and a nilpotent linear functional $χ\in \ev\g^*$. We show that the definition of the $W$-superalgebra is independent of various choices. We also establish a Skryabin type equivalence between the category of $\mathcal{W}_χ$-modules and a category of certain $\g$-modules.
We classify irreducible representations of finite $W$-algebra of the queer Lie superalgebra $Q(n)$ associated with the principal nilpotent coadjoint orbits. We use this classification and our previous results to obtain a classification of simple finite-dimensional representations of the super Yangian $YQ(1)$.
We classify good Z-gradings of basic Lie superalgebras over an algebraically closed field of characteristic zero. Good Z-gradings are used in quantum Hamiltonian reduction for affine Lie superalgebras, where they play a role in the construction of super W-algebras. We also describe the centralizer of a nilpotent even element and of an sl(2)-triple in gl(m|n) and osp(m|2n).
The purpose of this paper is to define the representation and the cohomology of Hom-Lie superalgebras. Moreover we study Central extensions and provide as application the computations of the derivations and second cohomology group of q-deformed Witt superalgebra.
A contragredient Lie superalgebra is a superalgebra defined by a Cartan matrix. In general, a contragredient Lie superalgebra is not finite dimensional, however it has a natural Z-grading by finite dimensional components. A contragredient Lie superalgebra has finite growth if the dimensions of these graded components depend polynomially on the degree. We discuss the classification of finite-growth contragredient Lie superalgebras. (Joint work with Vera Serganova)
Following analogous constructions for Lie algebras, we define Whittaker modules and Whittaker categories for finite-dimensional simple Lie superalgebras. Results include a decomposition of Whittaker categories for a Lie superalgebra according to the action of an appropriate sub-superalgebra; and, for basic classical Lie superalgebras of type I, a description of the strongly typical simple Whittaker modules.
A Lie superalgebra is called quasi-Frobenius if it admits a closed anti-symmetric non-degenerate bilinear form. We study the notion of double extensions of quasi-Frobenius Lie superalgebra when the form is either orthosymplectic or periplectic. We show that every quasi-Frobenius Lie superalgebra that satisfies certain conditions can be obtained as a double extension of a smaller quasi-Frobenius Lie superalgebra. We classify all 4-dimensional quasi-Frobenius Lie superalgebras, and show that such Lie superalgebras must be solvable. We study the notion of $T^*$-extensions (or Lagrangian extension…
Let $Γ$ be a countable abelian semigroup and $A$ be a countable abelian group satisfying a certain finiteness condition. Suppose that a group $G$ acts on a $(Γ\times A)$-graded Lie superalgebra ${\frak L}=\bigoplus_{(α,a) \in Γ\times A} {\frak L}_{(α,a)}$ by Lie superalgebra automorphisms preserving the $(Γ\times A)$-gradation. In this paper, we show that the Euler-Poincaré principle yields the generalized denominator identity for ${\frak L}$ and derive a closed form formula for the supertraces $\text{str}(g|{\frak L}_{(α,a)})$ for all $g\in G$,$(α,a) \in Γ\times A$. We discuss the application…
We derive explicit formulas for the inverses of the Cartan matrices of the simple Lie algebras and the basic classical Lie superalgebras, as well as for their infinite generalizations.
For the orthogonal Lie algebra O(2n+1), in addition to the conventional set of orthogonal polynomials, another set is produced with the help of the Lie superalgebra OSP(1|2n). Difficulties related with expression of Dyson's constant for the Lie superalgebras are discussed.
An $n$-Lie superalgebra of parity 0 is called a first-class $n$-Lie superalgebra. In this paper, we give the representation and cohomology for a first-class $n$-Lie superalgebra and obtain a relation between extensions of a first-class $n$-Lie superalgebra $\mathfrak{b}$ by an abelian one $\mathfrak{a}$ and $Z^1(\mathfrak{b}, \mathfrak{a})_{\bar{0}}$. We also introduce the notion of $T^*$-extensions of first-class $n$-Lie superalgebras and prove that every finite-dimensional nilpotent metric first-class $n$-Lie superalgebra $(\g,< ,>_{\g})$ over an algebraically closed field of characteristic …
We study character rings of quasireductive Lie superalgebras and give a new proof of the Sergeev-Veselov theorem describing the character rings of finite-dimensional Kac-Moody superalgebras.
In this paper we construct a large class of modules for toroidal Lie superalgebras. Toroidal Lie superalgebras are universal central extension of G tensor A where G is a basic classical Lie superalgebra and A is a Laurent polynomial ring in sevaral variables. The case where G is simple finite dimensional Lie algebra is included.
This article classifies the real forms of Lie Superalgebra by Vogan diagrams, developing Borel and de Seibenthal theorem of semisimple Lie algebras for Lie superalgebras. A Vogan diagram is a Dynkin diagram of triplet $(\mathfrak{g}_{C},\mathfrak{h_{\bar{0}}},\triangle^{+})$, where $\mathfrak{g}_{C}$ is a real Lie superalgebra, $\mathfrak{h_{\bar{0}}}$ cartan subalgebra, $\triangle^{+}$ positive root system. Although the classification of real forms of contragradient Lie superalgebras is already done. But our method is a quicker one to classify.
We show that a set of monic polynomials in the free Lie superalgebra is a Gröbner-Shirshov basis for a Lie superalgebra if and only if it is a Gröbner-Shirshov basis for its universal enveloping algebra. We investigate the structure of Gröbner-Shirshov bases for Kac-Moody superalgebras and give explicit constructions of Gröbner-Shirshov bases for classical Lie superalgebras.
We define an analogue of Shapovalov forms for Q-type Lie superalgebras and factorize the corresponding Shapovalov determinants which are responsible for simplicity of highest weight modules. We apply the factorization to obtain a description of the centres of Q-type Lie superalgebras.
Finite dimensional modular Lie superalgebras over algebraically closed fields with indecomposable Cartan matrices are classified under some technical, most probably inessential, hypotheses. If the Cartan matrix is invertible, the corresponding Lie superalgebra is simple otherwise the quotient of the derived Lie superalgebra modulo center is simple (if its rank is greater than 1). Eleven new exceptional simple modular Lie superalgebras are discovered. Several features of classic notions, or notions themselves, are clarified or introduced, e.g., Cartan matrix, several versions of restrictedness …
Over algebraically closed fields of characteristic p>2, prolongations of the simple finite dimensional Lie algebras and Lie superalgebras with Cartan matrix are studied for certain simplest gradings of these algebras. Several new simple Lie superalgebras are discovered, serial and exceptional, including superBrown and superMelikyan superalgebras. Simple Lie superalgebras with Cartan matrix of rank 2 are classified.
The main goal of this paper is to develop the structure theory of Hom-Lie superalgebras in characteristic 2. We discuss their representations, semidirect product, $α^k$-derivations and provide a classification in low dimension. We introduce another notion of restrictedness on Hom-Lie algebras in characteristic 2, different from one given by Guan and Chen. This definition is inspired by the process of queerification of restricted Lie algebras in characteristic 2. We also show that any restricted Hom-Lie algebra in characteristic 2 can be queerified to give rise to a Hom-Lie superalgebra. Moreov…
We prove a formula for $S_n$ characters which are indexed by the partitions in the $(k,\ell)$ hook. The proof applies a combinatorial part of the theory of Lie superalgebras.
Recently Alberto Elduque listed all simple and graded modulo 2 finite dimensional Lie algebras and superalgebras whose odd component is the spinor representation of the orthogonal Lie algebra equal to the even component, and discovered one exceptional such Lie superalgebra in characteristic 5. For this Lie superalgebra all inequivalent Cartan matrices (in other words, inequivalent systems of simple roots) are listed together with defining relations between analogs of its Chevalley generators.
Let \mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}} be a basic classical Lie superalgebra over \mathbb{C}, e\in\mathfrak{g}_{\bar{0}} a nilpotent element and \mathfrak{g}^{e} the centralizer of e in \mathfrak{g}. We study various properties of nilpotent elements in \mathfrak{g}, which have previously only been considered in the case of Lie algebras. In particular, we prove that e is reachable if and only if e satisfies the Panyushev property for \mathfrak{g}=\mathfrak{sl}(m|n), m\neq n or \mathfrak{psl}(n|n) and \mathfrak{osp}(m|2n). For exceptional Lie superalgebras \mathfrak{…
Vogan raised the idea of Dirac cohomology to study representations of semisimple Lie groups and Lie algebras. He conjectured that the infinitesimal character of Harish-Chandra modules are determined by their Dirac cohomology. Huang and Pandžić proved this conjecture and initiated the research on Dirac cohomology for Lie superalgebras based on Kostant's results. The aim of the present paper is to study Dirac cohomology of unitary representations for the general linear superalgebra and its relation to nilpotent Lie superalgebra cohomology.
We discuss the classification of good Z-gradings of basic Lie superalgebras. This problem arose in connection to W-algebras, where good Z-gradings play a role in their construction.
This is a companion article to my papers on Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebras gl(m|n) (much revised!) and q(n). The goal is to develop the general theory of tilting modules for Lie superalgebras, working in a general graded setting very similar to work of Soergel (Character formulae for tilting modules over Kac-Moody algebras, Represent. Theory 2 (1998), 432-438) in the Lie algebra case. Examples are given involving the Lie superalgebras gl(m|n) and q(n), but maybe this will also be useful for the other classical and affine Lie superalgebras.
The analogs of Chevalley generators are offered for simple (and close to them) Z-graded complex Lie algebras and Lie superalgebras of polynomial growth without Cartan matrix. We show how to derive the defining relations between these generators and explicitly write them for a "most natural" ("distinguished" in terms of Penkov and Serganova) system of simple roots. The results are given mainly for Lie superalgebras whose component of degree zero is a Lie algebra (other cases being left to the reader). Observe presentations of exceptional Lie superalgebras and Lie superalgebras of hamiltonian ve…
We prove denominator identities for the periplectic Lie superalgebra $\mathfrak{p}(n)$, thereby completing the problem of finding denominator identities for all simple classical finite-dimensional Lie superalgebras.
We investigate a new cohomology of Lie superalgebras, which may be compared to a de Rham cohomology of Lie supergroups involving both differential and integral forms. It is defined by a BRST complex of Lie superalgebra modules, which is formulated in terms of a Weyl superalgebra and incorporates inequivalent representations of the bosonic Weyl subalgebra. The new cohomology includes the standard Lie superalgebra cohomology as a special case. Examples of new cohomology groups are computed.
We study the finite W-superalgebra $W_e$ associated to a nilpotent element $e$ in a general linear Lie superalgebra. Under certain restriction on the Jordan type of $e$, we give a realization of $W_e$ in terms of a quotient of a shifted super Yangian.
In this paper we use the Etingof-Kazhdan quantization of Lie bi-superalgebras to investigate some interesting questions related to Drinfeld-Jimbo type superalgebra associated to a Lie superalgebra of classical type. It has been shown that the D-J type superalgebra associated to a Lie superalgebra of type A-G, with the distinguished Cartan matrix, is isomorphic to the E-K quantization of the Lie superalgebra. The first main result in the present paper is to extend this to arbitrary Cartan matrices. This paper also contains two other main results: 1) a theorem stating that all highest weight mod…
