The universal central extensions and their extension kernels of the matrix Lie superalgebra sl(m, n, A), the Steinberg Lie superalgebra st(m, n, A) in category {\bf SLeib} of Leibniz superalgebras are determined under a weak assumption (compared with \cite{MP}) using the first Hochschild homology and the first cyclic homology group.
Dialgebras are generalizations of associative algebras which give rise to Leibniz algebras instead of Lie algebras. In this paper we study super dialgebras and Leibniz superalgebras, which are $\z_2$-graded dialgebras and Leibniz algebras. We also study universal central extesions of Leibniz superalgebras and obtain some results as in the case of Lie superalgebras. We determine universal central extensions of basic classical Lie superalgebras in the category of Leibniz superalgebras. They play a key role in studying Leibniz superalgebras graded by finite root systems.
The structure of Lie algebras, Lie superalgebras and Leibniz algebras graded by finite root systems has been studied by several researchers since 1992. In this paper, we study the structure of Leibniz superalgebras graded by finite root systems, which gives an approach to study various classes of Leibniz superalgebras.
The aim of this paper is to study the cohomology of Hom-Leibniz superalgebras. We construct the $q$-deformed Heisenberg-Virasoro superalgebra of Hom-type and provide as application the computations of the derivations and second cohomology group. Moreover, we extend to graded case the Takhtajan's construction of a cohomology of $n$-ary Hom-Nambu-Lie algebras starting from cohomology of Hom-Leibniz algebras.
There are several researches on Lie algebras and Lie superalgebras graded by finite root systems. In this paper, we study Leibniz algebras graded by finite root systems and obtain some results in simply-laced cases.
In this paper we define integral forms for the universal enveloping superalgebras of the map superalgebras of Cartan type complex Lie superalgebras, and exhibit explicit integral bases for these integral forms.
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.
Three kinds of universal central extension are considered for a perfect Lie algebra. More precisely, one can consider such a Lie algebra as a Lie triple system, or a Leibniz algebra and construct appropriate central extensions. We show that Lie triple system universal central extension is isomorphic either to Lie or Leibniz algebra universal central extension considered as a Lie triple system in appropriate way.
We complete the solution of the problem of finding the universal central extension of the matrix superalgebras $\mathfrak{sl}(m, n, A)$ where $A$ is an associative superalgebra and computing $H_2\big(\mathfrak{sl}(m, n, A)\big)$. The Steinberg Lie superalgebra $\mathfrak{st}(m, n, A)$ has a very important role and we will also find out $H_2\big(\mathfrak{st}(m, n, A)\big)$. In Chen and Sun (arXiv:1311.7079, 2013) it is solved the problem where $m+n \geq 5$ and in Chen and Guay (Algebr. Represent. Theory, 2013) it is solved when $n=0$, so here we work out the three remaining cases $\mathfrak{sl…
Let $\mathfrak{g}$ be a finite dimensional complex simple classical Lie superalgebra and $A$ be a commutative, associative algebra with unity over $\mathbb{C}$. In this paper we define an integral form for the universal enveloping algebra of the map superalgebra $\mathfrak{g}\otimes A$, and exhibit an explicit integral basis for this integral form.
Let $\ggg=\ggg_\bz+\ggg_\bo$ be a basic classical Lie superalgebra over an algebraically closed field $k$ of characteristic $p>2$, and $G$ be an algebraic supergroup satisfying $\Lie(G)=\ggg$, with the purely even subgroup $G_\ev$ which is a reductive group. The center $\cz:=\cz(\ggg)$ of the universal enveloping algebra of $\ggg$ easily turns out to be a domain. In this paper, we prove that the quotient field of $\cz$ coincides with that of the subalgebra generated by the $G_{\ev}$-invariant ring $\cz^{G_\ev}$ of $\cz$ and the $p$-center $\cz_0$ of $U(\ggg_\bz)$.
We define global and local Weyl modules for $q \otimes A$, where $q$ is the queer Lie superalgebra and $A$ is an associative commutative unital $\mathbb{C}-$algebra. We prove that global Weyl modules are universal highest weight objects in certain category upto parity reversing functor $Π$. Then with the assumption that $A$ is finitely generated and with a special technical condition which simple root system of $q$ satisfy it is shown that the local Weyl modules are finite dimensional. Further they are universal highest map-weight objects in certain category upto $Π$. Finally we prove a tensor…
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.
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…
We explicitly compute the first and second cohomology groups of the classical Lie superalgebras $sl_{m|n}$ and $osp_{2|2n}$ with coefficients in the finite dimensional irreducible modules and the Kac modules. We also show that the second cohomology groups of these Lie superalgebras with coefficients in the respective universal enveloping algebras (under the adjoint action) vanish. The latter result in particular implies that the universal enveloping algebras $U(sl_{m|n})$ and $U(osp_{2|2n})$ do not admit any non-trivial formal deformations of Gerstenhaber type.
A class of representations of a Lie superalgebra (over a commutative superring) in its symmetric algebra is studied. As an application we get a direct and natural proof of a strong form of the Poincare'-Birkhoff-Witt theorem, extending this theorem to a class of nilpotent Lie superalgebras. Other applications are presented. Our results are new already for Lie algebras.
In this short note we study the center of the universal enveloping algebra of the strange Lie superalgebra Q(N). We obtain an analogue of the well known Perelomov-Popov formula (1968) for central elements of this algebra - an expression of the central characters through the highest weight parameters.
We calculate the blocks of the category of finite-dimensional representations of W(0,n), with n > 2, and show that all are of wild type. As an application, we show that the centre of the universal enveloping algebra is trivial.
The universal $R$-matrix of the quantum affine superalgebra associated to the Lie superalgebra $\mathfrak{gl}(1,1)$ is realized as the Casimir element of certain Hopf pairing, based on the explicit coproduct formula of all the Drinfeld loop generators.
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…
Two super-analogs of the Schur-Weyl duality are considered: the duality of actions in $(\mathbb{C}^{m|n})^{\otimes N}$ of the Lie superalgebra $\mathfrak{gl}(m,n)$ and the symmetric group $S_N$, and the duality of actions of the Lie superalgebra $Q(n)$ and a certain finite group $Se(N)$ in $(\mathbb{C}^{n|n})^{\otimes N}$. We construct an isomorphism of symmetric and universal enveloping algebras of these Lie superalgebras called special symmetrization. Using this isomorphism of vector spaces we describe explicitly the duality between the centers of the corresponding universal enveloping algeb…
Associated to the two types of finite dimensional simple superalgebras, there are the general linear Lie superalgebra and the queer Lie superalgebra. The universal enveloping algebras of these Lie superalgebras act on the tensor spaces of the natural representations and, thus, define certain finite dimensional quotients, the Schur superalgebras and the queer Schur superalgebra. In this paper, we introduce the quantum analogue of the queer Schur superalgebra and investigate the presentation problem for both the queer Schur superalgebra and its quantum analogue.
Lie antialgebras is a class of supercommutative algebras recently appeared in symplectic geometry. We define the notion of enveloping algebra of a Lie antialgebra and study its properties. We show that every Lie antialgebra is canonically related to a Lie superalgebra and prove that its enveloping algebra is a quotient of the enveloping algebra of the corresponding Lie superalgebra.
We obtain a realization of the Lie superalgebra $D(2, 1 ; α)$ in differential operators on the supercircle $S^{1|2}$ and in $4\times 4$ matrices over a Weyl algebra. A contraction of $D(2, 1 ; α)$ is isomorphic to the universal central extension $\hat{\p\sł}(2|2)$ of $\p\sł(2|2)$. We realize it in $4\times 4$ matrices over the associative algebra of pseudodifferential operators on $S^1$. Correspondingly, there exists a three-parameter family of irreducible representations of $\hat{\p\sł}(2|2)$ in a $(2|2)$--dimensional complex superspace.
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…
We find the characteristic identities for the split Casimir operator in the defining and adjoint representations of the $osp(M|N)$ and $s\ell(M|N)$ Lie superalgebras. These identities are used to build the projectors onto invariant subspaces of the representation $T^{\otimes 2}$ of the $osp(M|N)$ and $s\ell(M|N)$ Lie superalgebras in the cases when $T$ is the defining and adjoint representations. For defining representations, the $osp(M|N)$- and $s\ell(M|N)$-invariant solutions of the Yang-Baxter equation are expressed as rational functions of the split Casimir operator. For the adjoint repres…
Take the matrix Lie superalgebra $gl_{N|N}$ with the standard generators $E_{ij}$ where $i,j=-N,...,-1,1,...,N$. Define an involutive automorphism of $gl_{N|N}$ by sending $E_{ij}$ to $E_{-i,-j}$. Then the corresponding twisted subalgebra $g$ in the polynomial current Lie superalgebra $gl_{N|N}[u]$, has a natural Lie co-superalgebra structure. Here we quantise the universal enveloping algebra $U(g)$ as a co-Poisson Hopf superalgebra. For the quantised algebra we give a description of the centre, and construct the double in the sense of Drinfeld. We also construct a class of irreducible represe…
There is a surprising isomorphism between the quantised universal enveloping algebras of osp(1|2n) and so(2n+1). This same isomorphism emerged in recent work of Mikhaylov and Witten in the context of string theory as a T-duality composed with an S-duality. We construct similar Hopf superalgebra isomorphisms for families of pairs of quantum affine superalgebras. An immediate consequence is that the representation categories of the quantum affine superalgebras in each pair are equivalent as strict tensor categories.
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 parti…
The classical invariant theory for the queer Lie superalgebra is an investigation of the $\mathrm{U}(\mathfrak{q}_n)$-invariant sub-superalgebra of the symmetric superalgebra $\mathrm{Sym}(V^{\oplus r}\oplus V^{*\oplus s})$ for $V=\mathbb{C}^{n|n}$. We establish the first fundamental theorem of invariant theory for the quantum queer superalgebra $\mathrm{U}_q(\mathfrak{q}_n)$. The key ingredient is a quantum analog $\mathcal{O}_{r,s}$ of the symmetric superalgebra $\mathrm{Sym}(V^{\oplus r}\oplus V^{*\oplus s})$ that is created as a braided tensor product of a quantization $\mathsf{A}_{r,n}$ o…
We define global and local Weyl modules for Lie superalgebras of the form $\mathfrak{g} \otimes A$, where $A$ is an associative commutative unital $\mathbb{C}$-algebra and $\mathfrak{g}$ is a basic Lie superalgebra or $\mathfrak{sl}(n,n)$, $n \ge 2$. Under some mild assumptions, we prove universality, finite-dimensionality, and tensor product decomposition properties for these modules. These properties are analogues of those of Weyl modules in the non-super setting. We also point out some features that are new in the super case.
Let $\mathcal{L}=\mathcal{L}_{+}\oplus \mathcal{L}_{-}$ be a finite dimensional color Lie superalgebra over a field of characteristic 0 with universal enveloping algebra $U(\mathcal{L})$. We show that $\limfunc{gldim}(U(\mathcal{L}_{+}))= \limfunc{lFPD}(U(\mathcal{L}))= \limfunc{rFPD}(U(\mathcal{L}))= \limfunc{injdim}_{U(\mathcal{L})}(U(\mathcal{L}))= \dim (\mathcal{L}_{+})$. We also prove that $U(\mathcal{L})$ is Auslander-Gorenstein and Cohen-Macaulay and thus that it has a QF classical quotient ring.
We introduce a class of novel $\mathbb{Z}_2 \times \mathbb{Z}_2$-graded color superalgebras of infinite dimension. It is done by realizing each member of the class in the universal enveloping algebra of a Lie superalgebra which is a module extension of the Virasoro algebra. Then the complete classification of central extensions of the $\mathbb{Z}_2 \times \mathbb{Z}_2$-graded color superalgebras is presented. It turns out that infinitely many members of the class have non-trivial extensions. We also demonstrate that the color superalgebras (with and without central extensions) have adjoint and…
A well known theorem of Duflo claims that the annihilator of a Verma module in the enveloping algebra of a complex semisimple Lie algebra is generated by its intersection with the centre. For a Lie superalgebra this result fails to be true. For instance, in the case of the orthosymplectic Lie superalgebra osp(1,2), Pinczon gave in [Pi] an example of a Verma module whose annihilator is not generated by its intersection with the centre of universal enveloping algebra. More generally, Musson produced in [Mu1] a family of such "singular" Verma modules for osp(1,2l) cases. In this article we give a…
In this paper, we give a finite number of defining relations satisfied by a finite number of generators for the elliptic Lie algebras and superalgebras ${\frak g}_R$ with rank $\geq 2$. Here the $R$'s denote the reduced and non-reduced elliptic root systems with rank $\geq 2$. We also show that if ${\cal L}$ is an extended affine Lie algebra (EALA) whose non-isotropic roots form the $R$, then there exists a natural homomorphism ${\cal F}:{\frak g}_R \to{\cal L}$, which also give a universal central extension (UCE) surjective map from $[{\frak g}_R,{\frak g}_R]$ to the core of ${\cal L}$. (More…
We study stabilization of finite-dimensional representations of the periplectic Lie superalgebras $\mathfrak{p}(n)$ as $n \to \infty$. The paper gives a construction of the tensor category $Rep(\underline{P})$, possessing nice universal properties among tensor categories over the category $\mathtt{sVect}$ of finite-dimensional complex vector superspaces. First, it is the "abelian envelope" of the Deligne category corresponding to the periplectic Lie superalgebra, in the sense of arXiv:1511.07699. Secondly, given a tensor category $\mathcal{C}$ over $\mathtt{sVect}$, exact tensor functors $Rep(…
This thesis is concerned with superconformal Chern-Simons theories with matter in 3 dimensions. The interest in these theories is two-fold. On the one hand, it is a new family of theories in which to test the AdS/CFT correspondence and on the other, they are important to study one of the main objects of M-theory (M2-branes). All these theories have something in common: they can be written in terms of 3-Leibniz algebras. Here we study the structure theory of such algebras, paying special attention to a subclass of them that gives rise to maximal supersymmetry and that was the first to appear in…
We prove an analogue of the MacMahon Master Theorem for the right quantum superalgebras. In particular, we obtain a new and simple proof of this theorem for the right quantum algebras. In the super case the theorem is then used to construct higher order Sugawara operators for the affine Lie superalgebra $\widehat{\mathfrak{gl}}(m|n)$ in an explicit form. The operators are elements of a completed universal enveloping algebra of $\widehat{\mathfrak{gl}}(m|n)$ at the critical level. They occur as the coefficients in the expansion of a noncommutative Berezinian and as the traces of powers of gener…
Birational equivalence of the Zassenhaus varieties for basic classical Lie superalgebras and their purely-even reductive Lie subalgebras in odd characteristic
In the article at hand, we sketch how, by utilizing nilpotency to its fullest extent (Engel, Super Engel) while using methods from the theory of universal enveloping algebras, a complete description of the indecomposable representations may be reached. In practice, the combinatorics is still formidable, though. It turns out that the method applies to both a class of ordinary Lie algebras and to a similar class of Lie superalgebras. Besides some examples, due to the level of complexity we will only describe a few precise results. One of these is a complete classification of which ideals can occ…
In the 1990s, in work of Le Bruyn and Smith and in work of Le Bruyn and Van den Bergh, it was proved that point modules and line modules over the homogenization of the universal enveloping algebra of a finite-dimensional Lie algebra describe useful data associated to the Lie algebra. In particular, in the case of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$, there is a correspondence between Verma modules and certain line modules that associates a pair $(\mathfrak{h},\,ϕ)$, where $\mathfrak{h}$ is a two-dimensional Lie subalgebra of $\mathfrak{sl}_2(\mathbb{C})$ and $ϕ\in \mathfrak{h}^*$ sati…