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 the orbit $G\cdot\cal O$ where $G$ is a Lie supergroup with Lie superalgebra ${\mathfrak g.}$
We construct a family of twisted generalized Weyl algebras which includes Weyl-Clifford superalgebras and quotients of the enveloping algebras of $\mathfrak{gl}(m|n)$ and $\mathfrak{osp}(m|2n)$. We give a condition for when a canonical representation by differential operators is faithful. Lastly, we give a description of the graded support of these algebras in terms of pattern-avoiding vector compositions.
We construct the finite dimensional simple integral modules for the (degenerate) affine Hecke-Clifford algebra (AHCA). Our construction includes an analogue of Zelevinsky's segment representations, a complete combinatorial description of the simple calibrated modules, and a classification of the simple integral modules. Additionally, we construct an analogue of the Arakawa-Suzuki functor for the Lie superalgebra of type Q.
On the generalized graded cellular bases for cyclotomic quiver Hecke-Clifford superalgebras
School of Mathematics and Statistics Beijing Institute of Technology（北京理工大学数学与统计学院）；Academy of Mathematics and Systems Science Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Max-Planck-Institut für Mathematik（马克斯·普朗克数学研究所）
This note uses a variation of graded Morita theory for finite dimensional superalgebras to determine explicitly the graded basic superalgebras for all real and complex Clifford superalgebras. As an application, the Grothendieck groups of the category of left $\mathbb{Z}_2$-graded modules over all real and complex Clifford superalgebras are described explicitly.
The Hecke-Clifford superalgebra is a super-analogue of the Iwahori-Hecke algebra of type A. The classification of its simple modules is done by Brundan, Kleshchev and Tsuchioka using a method of categorification of affine Lie algebras. In this paper, we introduce another way to produce its simple modules with a generalized theory of cellular algebras which is originally developed by Graham and Lehrer. In our construction the key is that there is a right action of the Clifford superalgebra on the super-analogue of the Specht module. With the help of the notion of the Morita context, a simple mo…
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 …
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.
Brundan and Kleshchev showed that some parts of the representation theory of the affine Hecke-Clifford superalgebras and its finite-dimensional "cyclotomic" quotients are controlled by the Lie theory of type $A^{(2)}_{2l}$ when the quantum parameter $q$ is a primitive $(2l+1)$-th root of unity. We show in this paper that similar theorems hold when $q$ is a primitive $4l$-th root of unity by replacing the Lie theory of type $A^{(2)}_{2l}$ with that of type $D^{(2)}_{l}$.
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 introduce a new family of superalgebras, the quantum walled Brauer-Clifford superalgebras ${\mathsf {BC}}_{r,s}(q)$. The superalgebra ${\mathsf {BC}}_{r,s}(q)$ is a quantum deformation of the walled Brauer-Clifford superalgebra ${\mathsf {BC}}_{r,s}$ and a super version of the quantum walled Brauer algebra. We prove that ${\mathsf {BC}}_{r,s}(q)$ is the centralizer superalgebra of the action of ${\mathfrak U}_{q}({\mathfrak q}(n))$ on the mixed tensor space $\mathbf{V}_{q}^{r,s}=\mathbf{V}_{q}^{\otimes r} \otimes (\mathbf{V}_q^*)^{\otimes s}$ when $n \ge r+s$, where ${\mathbf V}_{q}=\mathbb…
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})
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 …
We introduce a new family of superalgebras which should be considered as a super version of the Khovanov-Lauda-Rouquier algebras. Let $I$ be the set of vertices of a Dynkin diagram with parity. To this data, we associate a family of graded superalgebras, the quiver Hecke superalgebras. When there are no odd vertices, these algebras are nothing but the usual Khovanov-Lauda-Rouquier algebras. We then define another family of graded superalgebras, the quiver Hecke-Clifford superalgebras, and show that they are weakly Morita superequivalent to the quiver Hecke superalgebras. Moreover, we prove tha…
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).
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…
Ian Grojnowski has developed a purely algebraic way to connect the representation theory of affine Hecke algebras at an (l+1)-th root of unity to the highest weight theory of the affine Kac-Moody algebra of type A_l^(1). The present article is devoted to extending Grojnowski's machinery to the twisted case: we replace the affine Hecke algebras with the affine Hecke-Clifford superalgebras of Jones and Nazarov, and the Kac-Moody algebra A_l^(1) with the twisted algebra A_2l^(2). In particular, we obtain an algebraic construction purely in terms of the representation theory of Hecke-Clifford supe…
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{…
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…
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.
In this paper we study finite W-algebras for basic classical superalgebras and Q(n) associated to the regular even nilpotent coadjoint orbits. We prove that this algebra satisfies the Amitsur-Levitzki identity and therefore all its irreducible representations are finite-dimensional. In the case of Q(n) we give an explicit description of the W-algebra in terms of generators and relation and realize it as a quotient of the super-Yangian of Q(1).
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 …
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.
We prove that the Duflo-Serganova functor $DS_x$ attached to an odd nilpotent element $x$ of $\mathfrak{osp}(m|2n)$ is semisimple, i.e. sends a semisimple representation $M$ of $\mathfrak{osp}(m|2n)$ to a semisimple representation of $\mathfrak{osp}(m-2k|2n-2k)$ where $k$ is the rank of $x$. We prove a closed formula for $DS_x(L(λ))$ in terms of the arc diagram attached to $λ$.
It is shown that the Clifford superalgebra Cl(n|m) generated by m pairs of Bose operators (odd elements) anticommuting with n pairs of Fermi operators (even elements) can be deformed to Cl_q(n|m) such that the latter is a homomorphic image of the quantum superalgebra U_q[osp(2n+1|2m)]. The Fock space F(n|m) of Cl_q(n|m) is constructed. At q being a root of unity (q=\exp ({iπl/k})) q-bosons (and q-fermions) are operators acting in a finite-dimensional subspace F_{l/k}(n|m) of F(n|m). Each F_{l/k}(n|m) is turned through the above mentioned homomorphism into an irreducible (root of unity) U_q[osp…
As a natural generalization quantum Schur algebras associated with the Hecke algebra of the symmetric group, we introduce the quantum Schur superalgebra of type Q associated with the Hecke-Clifford superalgebra, which, by definition, is the endomorphism algebra of the induced module over the Hecke-Clifford superalgebra from certain permutation modules over the Hecke algebra of the symmetric group. We will describe certain integral bases for these superalgebras in terms of matrices and will establish the base change property for them. We will also identify the quantum Schur superalgebra of type…
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 show that irreducible unitary representations of nilpotent super Lie groups can be obtained by induction from a distinguished class of sub super Lie groups. These sub super Lie groups are natural analogues of polarizing subgroups that appear in classical Kirillov theory. We obtain a concrete geometric parametrization of irreducible unitary representations by nonnegative definite coadjoint orbits. As an application, we prove an analytic generalization of the Stone-von Neumann theorem for Heisenberg-Clifford super Lie groups.
We show that, for an arbitrary quasi-reductive Lie superalgebra with a triangular decomposition and a character $ζ$ of the nilpotent radical, the associated Backelin functor $Γ_ζ$ sends Verma modules to standard Whittaker modules provided the latter exist. As a consequence, this gives a complete solution to the problem of determining the composition factors of the standard Whittaker modules in terms of composition factors of Verma modules in the category $\mathcal O$. In the case of the ortho-symplectic Lie superalgebras, we show that the Backelin functor $Γ_ζ$ and its target category, respect…
In \cite{BKN} the authors initiated a study of the representation theory of classical Lie superalgebras via a cohomological approach. Detecting subalgebras were constructed and a theory of support varieties was developed. The dimension of a detecting subalgebra coincides with the defect of the Lie superalgebra and the dimension of the support variety for a simple supermodule was conjectured to equal the atypicality of the supermodule. In this paper the authors compute the support varieties for Kac supermodules for Type I Lie superalgebras and the simple supermodules for $\mathfrak{gl}(m|n)$. T…
In this paper, we discuss the representations of $n$-ary multiplicative Hom-Nambu-Lie superalgebras as a generalization of the notion of representations for $n$-ary multiplicative Hom-Nambu-Lie algebras. We also give the cohomology of an $n$-ary multiplicative Hom-Nambu-Lie superalgebra and obtain a relation between extensions of an $n$-ary multiplicative Hom-Nambu-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 $n$-ary multiplicative Hom-Nambu-Lie superalgebras and prove that …
In this work it is considered the vector space composed by the infinitesimal deformations of the model $\mathbb{Z}_3$-filiform Lie algebra $L^{n,m,p}$. By using these deformations all the $\mathbb{Z}_3$-filiform Lie algebras can be obtained, hence the importance of these deformations. The results obtained in this work together to those obtained in [Integrable deformations of nilpotent color Lie superalgebras, J. Geom. Phys. 61(2011)1797-1808] and [Corrigendum to Integrable deformations of nilpotent color Lie superalgebras, J. Geom. Phys. 62(2012)1571], leads to compute the total dimension of t…
The minimal representation of a semisimple Lie group is a 'small' infinite-dimensional irreducible unitary representation. It is thought to correspond to the minimal nilpotent coadjoint orbit in Kirillov's orbit philosophy. The Segal-Bargmann transform is an intertwining integral transformation between two different models of the minimal representation for Hermitian Lie groups of tube type. In this paper we construct a Fock model for the minimal representation of the orthosymplectic Lie superalgebra $\mathfrak{osp}(m,2|2n)$. We also construct an integral transform which intertwines the Schrödi…
Using tensor categories, we present new constructions of several of the exceptional simple Lie superalgebras with integer Cartan matrix in characteristic $p = 3$ and $p = 5$ from the complete classification of modular Lie superalgebras with indecomposable Cartan matrix and their simple subquotients over algebraically closed fields by Bouarroudj, Grozman, and Leites in 2009. Specifically, let $\mathbfα_p$ denote the kernel of the Frobenius endomorphism on the additive group scheme $\mathbb{G}_a$ over an algebraically closed field of characteristic $p$. The Verlinde category $\mathrm{Ver}_p$ is …
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.
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.
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…
In this paper, we investigate the structure of highest weight modules over the quantum queer superalgebra $U_q(q(n))$. The key ingredients are the triangular decomposition of $U_q(q(n))$ and the classification of finite dimensional irreducible modules over quantum Clifford superalgebras. The main results we prove are the classical limit theorem and the complete reducibility theorem for $U_q(q(n))$-modules in the category $O_q^{\geq 0}$.
We describe several different representations of nilpotent step two Lie groups in spaces of monogenic Clifford valued functions. We are inspired by the classic representation of the Heisenberg group in the Segal-Bargmann space of holomorphic functions. Connections with quantum mechanics are described. Keywords: Segal-Bargmann space, Heisenberg group, coherent states, wavelet transform, reproducing kernel, nilpotent Lie group, monogenic functions, Dirac operator, Clifford algebra, (second) quantization, quantum field theory.
Let $e$ be an arbitrary even nilpotent element in the general linear Lie superalgebra $\mathfrak{gl}_{M|N}$ and let $\mathcal{W}_e$ be the associated finite $W$-superalgebra. Let $Y_{m|n}$ be the super Yangian associated to the Lie superalgebra $\mathfrak{gl}_{m|n}$. A subalgebra of $Y_{m|n}$, called the shifted super Yangian and denoted by $Y_{m|n}(σ)$, is defined and studied. Moreover, an explicit isomorphism between $\mathcal{W}_e$ and a quotient of $Y_{m|n}(σ)$ is established.
We continue the study of glider representations of finite groups $G$ with given structure chain of subgroups $e \subset G_1 \subset \ldots \subset G_d = G$. We give a characterization of irreducible gliders of essential length $e \leq d$ which in the case of $p$-groups allows to prove some results about classical representation theory. The paper also contains an introduction to generalized character theory for glider representations and an extension of the decomposition groups in the Clifford theory. Furthermore, we study irreducible glider representations for finite nilpotent groups.
Let $\mathfrak{g}$ be a simple finite-dimensional Lie superalgebra with a non-degenerate supersymmetric even invariant bilinear form, $f$ a nilpotent element in the even part of $\mathfrak{g}$, $Γ$ a good grading of $\mathfrak{g}$ for $f$ and $\mathcal{W}^{k}(\mathfrak{g},f;Γ)$ the $\mathcal{W}$-algebra associated with $\mathfrak{g},f,k,Γ$ defined by the generalized Drinfeld-Sokolov reduction. In this paper, we present each $\mathcal{W}$-algebra as the intersection of kernels of the screening operators, acting on the tensor vertex superalgebra of an affine vertex superalgebra and a neutral fre…
We develop a general theory of $W$-algebras in the context of supersymmetric vertex algebras. We describe the structure of $W$-algebras associated with odd nilpotent elements of Lie superalgebras in terms of their free generating sets. As an application, we produce explicit free generators of the $W$-algebra associated with the odd principal nilpotent element of the Lie superalgebra $\mathfrak{gl}(n+1|n).$
In this article are given explicit expressions for differential operators representing the action of any element of any Lie superalgebra g on a module induced or coinduced from an h-module V, where h is any subsuperalgebra of g. For the special case where g=g_+h, and g_ is a finite-dimensional subsuperalgebra of g, whose adjoint action on g is nilpotent, there is given a practical algorithm of calculation of this action. The program in C++ making the calculations for this case is also written.
