We establish a duality relation between one of the twisted group algebras of the hyperoctahedral groupf H_k and a Lie superalgebra q(n_0) \oplus q(n_1) for any integers k and n_0, n_1, where q(n_0) and q(n_1) denote the ``queer'' Liesuperalgebras. Note that this twisted group algebra \B'_k belongs to a different cocycle from the one \B_k used by A. N. Sergeev in [8] and by the present author in [11]. We will use the supertensor product \C_k \otimes \B'_k of the 2^k-dimensional Clifford algebra \C_k and \B'_k, as an intermediary for establishing our duality. We show that the algebra \C_k \otimes B'_k and q(n_0) \oplus q(n_1) act on the k-fold tensor product W=V^{\otimes k} of the natural representation V of q(n_0+n_1) ``as mutual centralizers of each other'' (Theorem 4.1). Moreover, we show that \B'_k and q(n_0) \oplus q(n_1) act on a subspace W' of W ``as mutual centralizers of each other'' (Theorem 4.2). This duality relation gives a formula for character values of simple B'_k-modules. This formula is di fferent from a formula (Theorem D) obtained by J. R. Stembridge (cf. [10, Lem 7.5]).
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 give a brief survey of recent developments in the highest weight representation theory and the crystal basis theory of the quantum queer superalgebra $U_q(\mathfrak{q}(n))$.
We develop a reduction procedure which provides an equivalence from an arbitrary block of the BGG category for the queer Lie superalgebra $\mathfrak{q}(n)$ to a "$\mathbb{Z}\pm s$-weights" ($s\in \mathbb{C}$) block of a BGG category for finite direct sum of queer Lie superalgebras. We give descriptions of blocks. We also establish equivalences between certain maximal parabolic subcategories for $\mathfrak{q}(n)$ and blocks of atypicality-one of the category of finite-dimensional modules for $\mathfrak{gl}(\ell|n-\ell)$.
We determine the Grothendieck rings of the category of finite-dimensional modules over Queer Lie superalgebras via their rings of characters. In particular, we show that the ring of characters of the Queer Lie supergroup $Q(n)$ is isomorphic to the ring of Laurent polynomials in $x_{1},\ldots,x_{n}$ for which the evaluation $x_{n-1}=-x_{n}=t$ is independent of $t$. We thus complete the description of Grothendieck rings for all classical Lie superalgebras.
We establish a new Howe duality between a pair of quantum queer superalgebras $(\mathrm{U}_{q^{-1}}(\mathfrak{q}_n), \mathrm{U}_q(\mathfrak{q}_m))$. The key ingredient is the construction of a non-commutative analogue $\mathcal{A}_q(\mathfrak{q}_n,\mathfrak{q}_m)$ of the symmetric superalgebra $S(\mathbb{C}^{mn|mn})$ with the use of quantum coordinate queer superalgebra. It turns out that this superalgebra is equipped with a $\mathrm{U}_{q^{-1}}(\mathfrak{q}_n)\otimes\mathrm{U}_q(\mathfrak{q}_m)$-supermodule structure that admits a multiplicity-free decomposition. We also show that the $(\math…
In this paper, we develop the crystal basis theory for the quantum queer superalgebra $U_q(\mathfrak q(n))$. We define the notion of crystal bases and prove the tensor product rule for $U_q(\mathfrak q(n))$-modules in the category $O_int^{\geq 0}$. Our main theorem shows that every $U_q(\mathfrak q(n))$-module in the category $O_int^{\geq 0}$ has a unique crystal basis.
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.
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…
We give a new interpretation of representation theory of the finite-dimensional half-integer weight modules over the queer Lie superalgebra $\mathfrak{q}(n)$. It is given in terms of Brundan's work of finite-dimensional integer weight $\mathfrak{q}(n)$-modules by means of Lusztig's canonical basis. Using this viewpoint we compute the characters of the finite-dimensional half-integer weight irreducible modules. For a large class of irreducible modules whose highest weights are of special types (i.e., totally connected or totally disconnected) we derive closed-form character formulas that are re…
We study the Duflo-Serganova functor $\operatorname{DS}_x$ for the queer Lie superalgebra $\mathfrak{q}_n$ and for all odd $x$ with $[x,x]$ semisimple. For the case when the rank of $x$ is $1$ we give a formula for multiplicities in terms of the arc diagram attached to $λ$. Further, we prove that $\operatorname{DS}_x(L)$ is semisimple if $L$ is a simple finite-dimensional module and $x$ is of rank $1$ satisfying $x^2=0$.
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…
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.
An equivariant map queer Lie superalgebra is the Lie superalgebra of regular maps from an algebraic variety (or scheme) $X$ to a queer Lie superalgebra $\mathfrak{q}$ that are equivariant with respect to the action of a finite group $Γ$ acting on $X$ and $\mathfrak{q}$. In this paper, we classify all irreducible finite-dimensional representations of the equivariant map queer Lie superalgebras under the assumption that $Γ$ is abelian and acts freely on $X$. We show that such representations are parameterized by a certain set of $Γ$-equivariant finitely supported maps from $X$ to the set of isom…
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…
In this paper, we develop the crystal basis theory for the quantum queer superalgebra $\Uq$. We define the notion of crystal bases, describe the tensor product rule, and present the existence and uniqueness of crystal bases for finite-dimensional $\Uq$-modules in the category $\mathcal{O}_{int}^{\ge 0}$.
Closed formulae are constructed for the characters and dimensions of the finite dimensional simple modules of the queer Lie superalgebra q(n). This is achieved by refining Brundan's algorithm for computing simple q(n)-characters.
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 introduce a new family of superalgebras $\overrightarrow{B}_{r,s}$ for $r, s \ge 0$ such that $r+s>0$, which we call the walled Brauer superalgebras, and prove the mixed Scur-Weyl-Sergeev duality for queer Lie superalgebras. More precisely, let $\mathfrak{q}(n)$ be the queer Lie superalgebra, ${\mathbf V} =\mathbb{C}^{n|n}$ the natural representation of $\mathfrak{q}(n)$ and ${\mathbf W}$ the dual of ${\mathbf V}$. We prove that, if $n \ge r+s$, the superalgebra $\overrightarrow{B}_{r,s}$ is isomorphic to the supercentralizer algebra $_{\mathfrak{q}(n)}({\mathbf V}^{\otimes r} \otimes {\mat…
For the BGG category of $\mathfrak{q}(n)$-modules of half-integer weights, a Kazhdan-Lusztig conjecture à la Brundan is formulated in terms of categorical canonical basis of the $n$th tensor power of the natural representation of the quantum group of type $C$. For the BGG category of $\mathfrak{q}(n)$-modules of congruent non-integral weights, a Kazhdan-Lusztig conjecture is formulated in terms of canonical basis of a mixed tensor of the natural representation and its dual of the quantum group of type $A$. We also establish a character formula for the finite-dimensional irreducible $\mathfrak{…
Consider the complex 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 $η(E_{ij})=E_{-i,-j}$. The queer Lie superalgebra $q_N$ is the fixed point subalgebra in $gl_{N|N}$ relative to the automorphism $η$. Consider the twisted polynomial current Lie superalgebra $g=\{X(t)\in\gl_{N|N}[t]:η(X(t))=X(-t)\}$. The enveloping algebra $U(g)$ of the Lie superalgebra $g$ has a deformation, called the Yangian of $q_N$. For each $M=1,2,...$ denote by $A_N^M$ the centralizer of $q_M\subset q_{N+M}$ i…
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…
It is shown that the direct limit of the semistandard decomposition tableau model for polynomial representations of the queer Lie superalgebra exists, which is believed to be the crystal for the upper half of the corresponding quantum group. An extension of this model to describe the direct limit combinatorially is given. Furthermore, it is shown that the polynomial representations may be recovered from the limit in most cases.
In this paper, we give an explicit combinatorial realization of the crystal B(λ) for an irreducible highest weight U_q(q(n))-module V(λ) in terms of semistandard decomposition tableaux. We present an insertion scheme for semistandard decomposition tableaux and give algorithms of decomposing the tensor product of q(n)-crystals. Consequently, we obtain explicit combinatorial descriptions of the shifted Littlewood-Richardson coefficients.
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…
We show that every integral block of category O for the general linear Lie superalgebra is equivalent to a corresponding block of category O for the queer Lie superalgebra. This implies the truth of the Kazhdan-Lusztig conjecture for the so-called type A blocks of category O for the queer Lie superalgebra, as formulated by Cheng, Kwon and Wang.
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…
The modular representation theory of the queer Lie superalgebra q(n) over characteristic p>2 is developed. We obtain a criterion for the irreducibility of baby Verma modules with semisimple p-characters and a criterion for the semisimplicity of the corresponding reduced enveloping algebras. A (2p)-power divisibility of dimensions of q(n)-modules with nilpotent p-characters is established. The representation theory of q(2) is treated in detail. We formulate a Morita super-equivalence conjecture for q(n) with general p-characters which is verified for n=2.
Degenerating the quantum queer Schur superalgebra ${\mathcal{Q}_q(n,r; R)}$ to the case $q=1$, the queer Schur superalgebra ${\mathcal{Q}(n,r)}$ is obtained. In this article, we reconstruct the universal enveloping algebra ${U({\mathfrak{q}_n})}$ of the queer Lie superalgebra ${\mathfrak{q}_n}$ via ${\mathcal{Q}(n,r)}$, and achieve another explanation of the Schur-Weyl-Sergeev duality. Finally, we depict the Schur-Weyl-Sergeev duality over $\mathbb{Z}$.
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)$.
By using certain quantum differential operators, we construct a super representation for the quantum queer supergroup U_v(q_n). The underlying space of this representation is a deformed polynomial superalgebra in 2n^2 variables whose homogeneous components can be used as the underlying spaces of queer q-Schur superalgebras. We then extend the representation to its formal power series algebra which contains a (super) submodule isomorphic to the regular representation of U_v(q_n). A monomial basis M for U_v(q_n) plays a key role in proving the isomorphism. In this way, we may present the quantum…
Let A_k denote the twisted group algebra of the symmetric group S_k, whose representations correspond to the nonlinear projective representations of S_k. We establish a duality relation between A_k and a Lie superalgebra q(n), sometimes called the ``queer'' Lie superalgebra. This duality clarifies Schur's formula, in the sense that the Schur-Weyl duality clarifies Frobenius' formula.
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})
We classify all simple supermodules over the queer Lie superalgebra $\mathfrak{q}_{2}$ up to classification of equivalence classes of irreducible elements in a certain Euclidean ring.
We study non-standard Verma type modules over the Kac-Moody queer Lie superalgebra $\mathfrak{q}(n)^{(2)}$. We give a sufficient condition under which such modules are irreducible. We also give a classification of all irreducible diagonal $\mathbb{Z}$-graded modules over certain Heisenberg Lie superalgebras contained in $\mathfrak{q}(n)^{(2)}$.
In this paper we describe an approach to generalise minimal representations to the super setting for Lie superalgebras obtained from Jordan superalgebras using the TKK construction. This approach was used successfully to construct a Fock model, a Schrödinger model and intertwining Segal-Bargmann transform for the orthosymplectic Lie supergroup $\mathop{OSp}(p,q|2n)$ and the exceptional Lie supergroup $\mathbb{D}(2,1;α)$. We also describe some obstacles to use this approach for the periplectic and queer Lie superalgebras.
Results of Morse and Schilling show that the set of increasing factorizations of reduced words for a permutation is naturally a crystal for the general linear Lie algebra. Hiroshima has recently constructed two superalgebra analogues of such crystals. Specifically, Hiroshima has shown that the sets of increasing factorizations of involution words and fpf-involution words for a self-inverse permutation are each crystals for the queer Lie superalgebra. In this paper, we prove that these crystals are normal and identify their connected components. To accomplish this, we study two insertion algori…
Let $\mathfrak l:= \mathfrak q(n)\times\mathfrak q(n)$, where $\mathfrak q(n)$ denotes the queer Lie superalgebra. The associative superalgebra $V$ of type $Q(n)$ has a left and right action of $\mathfrak q(n)$, and hence is equipped with a canonical $\mathfrak l$-module structure. We consider a distinguished basis $\{D_λ\}$ of the algebra of $\mathfrak l$-invariant super-polynomial differential operators on $V$, which is indexed by strict partitions of length at most $n$. We show that the spectrum of the operator $D_λ$, when it acts on the algebra $\mathscr P(V)$ of super-polynomials on $V$, …
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…
As is well-known, the dimension of the space spanned by the non-degenerate invariant symmetric bilinear forms (NISes) on any simple finite-dimensional Lie algebra or Lie superalgebra is equal to at most 1 if the characteristic of the algebraically closed ground field is not 2. We prove that in characteristic 2, the superdimension of the space spanned by NISes can be equal to 0, or 1, or $0|1$, or $1|1$; it is equal to $1|1$ if and only if the Lie superalgebra is a queerification (defined in arXiv:1407.1695) of a simple classically restricted Lie algebra with a NIS (for examples, mainly in char…
A classification of the simple highest weight bounded modules of the queer Lie superalgebras q(n) is obtained. To achieve this classification we introduce a new combinatorial tool - the star action. Our result leads in particular to a classification of all simple weight q(n)-modules.
We establish a new Howe duality between a pair of two queer Lie superalgebras (q(m),q(n)). This gives a representation theoretic interpretation of a well-known combinatorial identity for Schur Q-functions. We further establish the equivalence between this new Howe duality and the Schur-Sergeev duality between q(n) and a central extension $\Hy_k$ of the hyperoctahedral group H_k. We show that the zero-weight space of a q(n)-module with highest weight $λ$ given by a strict partition of n is an irreducible module over the finite group $\Hy_n$ parameterized by $λ$. We also discuss some consequence…
We review the list of non-degenerate invariant (super)symmetric bilinear forms (briefly: NIS) on the following simple (relatives of) Lie (super)algebras: (a) with symmetrizable Cartan matrix of any growth, (b) with non-symmetrizable Cartan matrix of polynomial growth, (c) Lie (super)algebras of vector fields with polynomial coefficients, (d) stringy a.k.a. superconformal superalgebras, (e) queerifications of simple restricted Lie algebras. Over algebraically closed fields of positive characteristic, we establish when the deform (i.e., the result of deformation) of the known finite-dimensional …
