We study the Howe dualities involving the reductive dual pairs $(O(d),spo(2m|2n))$ and $(Sp(d),osp(2m|2n))$ on the (super)symmetric tensor of $\C^d\otimes\C^{m|n}$. We obtain complete decompositions of this space with respect to their respective joint actions. We also use these dualities to derive a character formula for these irreducible representations of $spo(2m|2n)$ and $osp(2m|2n)$ that appear in these decompositions.
We construct all the irreducible representations of spin quiver Hecke algebras for orthosymplectic Lie superalgebras $osp(1|2n),$ and show that their highest weights are given by the dominant words. We use the dominant Lyndon words to construct the cuspidal modules and show that the irreducible representations are the simple heads of standard representations constructed by induction from the cuspidal modules.
Drinfeld Realization for Quantum Affine Orthosymplectic Superalgebras
Instituto de Ciências Exatas, Universidade Federal de Minas Gerais（米纳斯吉拉斯联邦大学精确科学学院）；Shenzhen International Center for Mathematics, Southern University of Science and Technology（南方科技大学深圳国际数学中心）
We introduce a semisimple tensor category $\mc{O}^{int}_q(m|n)$ of modules over an quantum ortho-symplectic superalgebra. It is a natural counterpart of the category of finitely dominated integrable modules over the quantum classical (super) algebra of type $B_{m+n}$, $C_{m+n}$, $D_{m+n}$ or $B(0,m+n)$ from a viewpoint of super duality. We classify the irreducible modules in $\mc{O}^{int}_q(m|n)$ and show that an irreducible module in $\mc{O}^{int}_q(m|n)$ has a unique crystal base in case of type $B$ and $C$. An explicit description of the crystal graph is given in terms of a new combinatoria…
We determine the Verma multiplicities of standard filtrations of projective modules for integral atypical blocks in the BGG category $\mathcal{O}$ for the orthosymplectic Lie superalgebras $\mathfrak{osp}(3|4)$ by way of translation functors. We then explicitly determine the composition factor multiplicities of Verma modules using BGG reciprocity.
Orthosymplectic Lie superalgebras are fundamental symmetries in modern physics, such as massive supergravity. However, their representations are far from being thoroughly understood. In the present paper, we completely determine the structure of their various supersymmetric polynomial representations obtained by swapping bosonic multiplication operators and differential operators in the canonical supersymmetric polynomial representations. In particular, we obtain certain new infinite-dimensional irreducible representations and new composition series of indecomposable representations for these …
We prove an Amitsur-Levitzki type theorem for the Lie superalgebras osp(1,2n) inspired by Kostant's cohomological interpretation of the classical theorem. We show that the Lie superalgebras gl(p,q) cannot satisfy an Amitsur-Levitzki type super identity if p, q are non zero and conjecture that neither can any other classical simple Lie superalgebra with the exception of osp(1,2n).
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…
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 $λ$.
The composition factors and their multiplicities are determined for generalised Verma modules over the orthosymplectic Lie superalgebra osp(k|2). The results enable us to obtain explicit formulae for the formal characters and dimensions of the finite-dimensional irreducible modules. Applying these results, we also compute the first and second cohomology groups of the Lie superalgebra with coefficients in finite-dimensional Kac modules and irreducible modules.
We introduce the orthosymplectic superalgebra osp(m|2n) as the algebra of Killing vector fields on Riemannian superspace R^{m|2n} which stabilize the origin. The Laplace operator and norm squared on R^{m|2n}, which generate sl(2), are orthosymplectically invariant, therefore we obtain the Howe dual pair (osp(m|2n),sl(2)). We study the osp(m|2n)-representation structure of the kernel of the Laplace operator. This also yields the decomposition of the supersymmetric tensor powers of the fundamental osp(m|2n)-representation under the action of sl(2) x osp(m|2n). As a side result we obtain informat…
We utilise characteristic identities to construct eigenvalue formulae for invariants and reduced matrix elements corresponding to irreducible representations of osp(m|n). In presenting these results, we further develop our programme of constructive representation theory via characteristic identities.
We introduce and obtain multimode paraboson coherent states. In appropriate subspaces these coherent states provide a decomposition of unity where the measure, when expressed using the cat-type states, is positive definite. Bicoherent states where the mutually commuting lowering operators are diagonalized are also obtained. Matrix elements in the coherent state basis are calculated.
Given a complex orthosymplectic superspace $V$, the orthosymplectic Lie superalgebra $\mathfrak {osp}(V)$ and general linear algebra ${\mathfrak {gl}}_N$ both act naturally on the coordinate super-ring $\mathcal{S}(N)$ of the dual space of $V\otimes{\mathbb C}^N$, and their actions commute. Hence the subalgebra $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ of $\mathfrak {osp}(V)$-invariants in $\mathcal{S}(N)$ has a ${\mathfrak {gl}}_N$-module structure. We introduce the space of super Pfaffians as a simple ${\mathfrak {gl}}_N$-submodule of $\mathcal{S}(N)^{\mathfrak {osp}(V)}$, give an explicit formu…
A Schroedinger type equation on the superspace R^{D|2n} is studied, which involves a potential inversely proportional to the negative of the osp(D|2n) invariant "distance" away from the origin. An osp(2,D+1|2n) dynamical supersymmetry for the system is explicitly constructed, and the bound states of the system are shown to form an irreducible highest weight module for this superalgebra. A thorough understanding of the structure of the irreducible module is obtained. This in particular enables the determination of the energy eigenvalues and the corresponding eigenspaces as well as their respect…
We construct two infinite-dimensional irreducible representations for $D(2,1;α)$: a Schrödinger model and a Fock model. Further, we also introduce an intertwining isomorphism. These representations are similar to the minimal representations constructed for the orthosymplectic Lie supergroup and for Hermitian Lie groups of tube type. The intertwining isomorphism is the analogue of the Segal-Bargmann transform for the orthosymplectic Lie supergroup and for Hermitian Lie groups of tube type.
We study the ideal of maximal minors in Littlewood varieties, a class of quadratic complete intersections in spaces of matrices. We give a geometric construction for a large class of modules, including all powers of this ideal, and show that they have a linear free resolution over the complete intersection and that their Koszul dual is an infinite-dimensional irreducible representation of the orthosymplectic Lie superalgebra. We calculate the algebra of cohomology operators acting on this free resolution. We prove analogous results for powers of the ideals of maximal minors in the variety of l…
We introduce the spinor representations for osp(m|2n). These generalize the spinors for so(m) and the symplectic spinors for sp(2n) and correspond to representations of the supergroup with supergroup pair (Spin(m) x Mp(2n),osp(m|2n)). We prove that these spinor spaces are uniquely characterized as the completely pointed osp(m|2n)-modules. Then the tensor product of this representation with irreducible finite dimensional osp(m|2n)-modules is studied. Therefore we derive a criterion for complete reducibility of tensor product representations. We calculate the decomposition into irreducible osp(m…
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…
We construct a minimal representation of the orthosymplectic Lie supergroup $OSp(p,q|2n)$, generalising the Schrödinger model of the minimal representation of $O(p,q)$ to the super case. The underlying Lie algebra representation is realized on functions on the minimal orbit inside the Jordan superalgebra associated with $\mathfrak{osp}(p,q|2n)$, so that our construction is in line with the orbit philosophy. Its annihilator is given by a Joseph-like ideal for $\mathfrak{osp}(p,q|2n)$, and therefore the representation is a natural generalization of a minimal representations to the context of Lie…
We decompose the fibers of the Springer resolution for the odd nilcone of the Lie superalgebra $\osp(2n+1,2n)$ into locally closed subsets. We use this decomposition to prove that almost all fibers are connected. However, in contrast with the classical Springer fibers, we prove that the fibers can be disconnected and non equidimensional.
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…
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…
The complexity of a module is the rate of growth of the minimal projective resolution of the module while the $z$-complexity is the rate of growth of the number of indecomposable summands at each step in the resolution. Let $\mathfrak{g}=\mathfrak{osp}(k|2)$ ($k>2$) be the type II orthosymplectic Lie superalgebra of types $B$ or $D$. In this paper, we compute the complexity and the $z$-complexity of the simple finite-dimensional $\mathfrak{g}$-supermodules. We then give geometric interpretations using support and associated varieties for these complexities.
We define a natural basis for the algebra of $\frak{gosp}(1|2n)$-invariant differential operators on the affine superspace $\mathbb{C}^{1|2n}$. We prove that these operators lie in the image of the centre of the enveloping algebra of $\frak{gosp}(1|2n)$. Using this result, we compute explicit formulas for the eigenvalues of these operators on irreducible summands of $\mathcal{P}(\mathbb{C}^{1|2n})$. This settles the Capelli eigenvalue problem for orthosymplectic Lie superalgebras in the cases that were not addressed in Sahi-Salmasian-Serganova. Our main technique relies on an explicit calculat…
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.
The first fundamental theorem of invariant theory for the orthosymplectic supergroup ${\rm OSp}(V)$ (where $V$ has superdimension $(m|2n)$) in the endomorphism algebra setting states that there is a surjective algebra homomorphism $F_r^r: B_r(m-2n)\rightarrow {\rm{End}}_{{\rm OSp}(V)}(V^{\otimes r})$ from the Brauer algebra of degree $r$ to the endomorphism algebra of $V^{\otimes r}$ over ${\rm OSp}(V)$. The second fundamental theorem in this setting seeks to describe ${\rm Ker} F_r^r$ as a $2$-sided ideal of $B_r(m-2n)$. We show that ${\rm Ker} F_r^r\neq 0$ if and only if $r\geq r_c:=(m+1)(n+…
We prove that Euler supercharacters for orthosymplectic Lie superalgebras can be obtained as a certain specialization of super Jacobi polynomials. A new version of Weyl type formula for super Schur functions and specialized super Jacobi polynomials play a key role in the proof.
A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a supergroup is reductive if and only if its connected component is reductive. The connected component is reductive if and only if the Lie superalgebra divided by its center is a product of simple Lie algebras of classical type and Lie superalgebras spo(1,2r) of the orthosymplectic types BC_r.
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…
We classify irreducible super unitary representations of an orthosymplectic Lie superalgebra $ \mathfrak{osp}(M/N; \mathbb{R} ) $ using the notion of super dual pairs in $ \mathfrak{osp}(M/N) $.
When the relative commutation relations between a set of m parafermions and n parabosons are of ``relative parafermion type'', the underlying algebraic structure is the classical orthosymplectic Lie superalgebra osp(2m+1|2n). The relative commutation relations can also be chosen differently, of ``relative paraboson type''. In this second case, the underlying algebraic structure is no longer an ordinary Lie superalgebra, but a Z_2 x Z_2$-graded Lie superalgebra, denoted here by pso(2m+1|2n). The identification of this new algebraic structure was performed by Tolstoy, amongst others. In the pres…
Using the Moyal *-product and orthosymplectic supersymmetry, we construct a natural non trivial supertrace and an associated non degenerate invariant supersymmetric bilinear form for the Lie superalgebra structure of the Weyl algebra. We decompose adjoint and twisted adjoint actions. We define a renormalized supertrace and a formal inverse Weyl transform in a deformation quantization framework and develop some examples.
It is known that the defining relations of the orthosymplectic Lie superalgebra osp(1|2n) are equivalent to the defining (triple) relations of n pairs of paraboson operators $b^\pm_i$. In particular, with the usual star conditions, this implies that the ``parabosons of order p'' correspond to a unitary irreducible (infinite-dimensional) lowest weight representation V(p) of osp(1|2n). Apart from the simple cases p=1 or n=1, these representations had never been constructed due to computational difficulties, despite their importance. In the present paper we give an explicit and elegant constructi…
Let $(G,G')$ be a reductive dual pair in $Sp(W)$ with rank $G\leq$ rank $G'$ and $G'$ semisimple. The image of the Casimir element of the universal enveloping algebra of $G'$ under the Weil representation $ω$ is a Capelli operator. It is a hermitian operator acting on the smooth vectors of the representation space of $ω$. We compute the resonances of a natural multiple of a translation of this operator for small split orthosymplectic dual pairs. The corresponding resonance representations turn out to be $GG'$-modules in Howe's correspondence. We determine them explicitly.
The orthosymplectic supergroup OSp(m|2n) is introduced as the supergroup of isometries of flat Riemannian superspace R^{m|2n} which stabilize the origin. It also corresponds to the supergroup of isometries of the supersphere S^{m-1|2n}. The Laplace operator and norm squared on R^{m|2n}, which generate sl(2), are orthosymplectically invariant, therefore we obtain the Howe dual pair (osp(m|2n),sl(2)). This Howe dual pair solves the problems of the dual pair (SO(m)xSp(2n),sl(2)), considered in previous papers. In particular we characterize the invariant functions on flat Riemannian superspace and…
We classify the quasi-finite irreducible highest weight modules over the infinite rank Lie superalgebras $\hgltwo$, $\hC$ and $\hD$, and determine the necessary and sufficient conditions for quasi-finite irreducible highest weight modules to be unitarizable with respect to natural $\ast$-structures of the Lie superalgebras. The unitarizable irreducible modules are constructed in terms of Fock spaces of free quantum fields, and explicit formulae for their formal characters are also obtained by investigating Howe dualities between the infinite rank Lie superalgebras and classical Lie groups.
We explain how Lie superalgebras of types gl and osp provide a natural framework generalizing the classical Schur and Howe dualities. This exposition includes a discussion of super duality, which connects the parabolic categories O between classical Lie superalgebras and Lie algebras. Super duality provides a conceptual solution to the irreducible character problem for these Lie superalgebras in terms of the classical Kazhdan-Lusztig polynomials.
In this paper we give a re-normalization of the supertrace on the category of representations of Lie superalgebras of type I, by a kind of modified superdimension. The genuine superdimensions and supertraces are generically zero. However, these modified superdimensions are non-zero and lead to a kind of supertrace which is non-trivial and invariant. As an application we show that this new supertrace gives rise to a non-zero bilinear form on a space of invariant tensors of a Lie superalgebra of type I. The results of this paper are completely classical results in the theory of Lie superalgebras…
The spinor representations of the orthosymplectic Lie superalgebras osp(m|n) are considered and constructed. These are infinite-dimensional irreducible representations, of which the superdimension coincides with the dimension of the spinor representation of so(m-n). Next, we consider the self dual tensor representations of osp(m|n) and their generalizations: these are also infinite-dimensional and correspond to the highest irreducible component of the $p^{th}$ power of the spinor representation. We determine the character of these representations, and deduce a superdimension formula. From this…
Howe's duality is considered from a unifying point of view based on Lie superalgebras. New examples are offered. In particular, we construct several simplest spinor-oscillator representations and compute their highest weights for the 'stringy' Lie superalgebras (i.e., Lie superalgebras of complex vector fields (or their nontrivial central extensions) on the supercircle $S^{1|n}$ and its two-sheeted cover associated with the Möbius bundle).
