We examine in detail the Jacobi-Trudi characters over the ortho-symplectic Lie superalgebras spo(2|2m+1) and spo(2n|3). We furthermore relate them to Serganova's notion of Euler characters.
The character formula of any finite dimensional irreducible module $L_λ$ for Lie superalgebra $\mathfrak{osp}(n|2)$ is computed. As a by-product, the decomposition of tensor module $L_λ\otimes \mathbb{C}^{n|2}$, where $\mathbb{C}^{n|2}$ is the natural representation, is obtained.
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.
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…
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.
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 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 classify finite-dimensional tame modules over the ortho-symplectic Lie superalgebras. For these modules we show that their characters are given by the Kac-Wakimoto character formula, thus establishing the Kac-Wakimoto conjecture for the ortho-symplectic Lie superalgebras. We further relate the Kac-Wakimoto formula to the super Jacobi polynomials of Sergeev and Veselov, and show that these polynomials, up to a sign, give the super characters for these tame modules.
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).
We formulate and establish a super duality which connects parabolic categories $O$ between the ortho-symplectic Lie superalgebras and classical Lie algebras of $BCD$ types. This provides a complete and conceptual solution of the irreducible character problem for the ortho-symplectic Lie superalgebras in a parabolic category $O$, which includes all finite-dimensional irreducible modules, in terms of classical Kazhdan-Lusztig polynomials.
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 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.
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.
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.
Let $A$ be an associative simple (central) superalgebra over ${\mathbb C}$ and $L$ an invariant linear functional on it (trace). Let $a\mapsto a^t$ be an antiautomorphism of $A$ such that $(a^t)^ t=(-1)^{p(a)}a$, where $p(a)$ is the parity of $a$, and let $L(a^t)=L(a)$. Then $A$ admits a nondegenerate supersymmetric invariant bilinear form $\langle a, b\rangle=L(ab^t)$. For $A=U({\mathfrak{sl}}(2))/{\mathfrak{m}}$, where ${\mathfrak{m}}$ is any maximal ideal of $U({\mathfrak{sl}}(2))$, Leites and I have constructed orthogonal basis in $A$ whose elements turned out to be, essentially, Chebyshev…
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.
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…
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…
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…
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.
Two new simple modular Lie superalgebras are obtained in characteristics 3 and 5, which share the property that their even parts are orthogonal Lie algebras and the odd parts their spin modules. The characteristic 5 case is shown to be related, by means of a construction of Tits, to the exceptional ten dimensional Jordan superalgebra of Kac.
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…
We classify simple Whittaker modules for classical Lie superalgebras in terms of their parabolic decompositions. We establish a type of Miličić-Soergel equivalence of a category of Whittaker modules and a category of Harish-Chandra bimodules. For classical Lie superalgebras of type I, we reduce the problem of composition factors of standard Whittaker modules to that of Verma modules in their BGG categories $\mathcal O$. As a consequence, the composition series of standard Whittaker modules over the general linear Lie superalgebras $\mathfrak{gl}(m|n)$ and the ortho-symplectic Lie superalgebras…
A Chevalley type integral basis for the ortho-symplectic Lie superalgebra is constructed. The simple modules of the ortho-symplectic supergroup over an algebraically closed field of prime characteristic not equal to 2 are classified, where a key combinatorial ingredient comes from the Mullineux conjecture on modular representations of the symmetric group. A Steinberg tensor product theorem for the ortho-symplectic supergroup is also obtained.
We study a semisimple extension of a Takiff superalgebra which turns out to have a remarkably rich representation theory. We determine the blocks in both the finite-dimensional and BGG module categories and also classify the Borel subalgebras. We further compute all extension groups between two finite-dimensional simple objects and prove that all non-principal blocks in the finite-dimensional module category are Koszul.
We provide a systematic approach to obtain formulas for characters and Kostant ${\mathfrak u}$-homology groups of the oscillator modules of the finite dimensional general linear and ortho-symplectic superalgebras, via Howe dualities for infinite dimensional Lie algebras. Specializing these Lie superalgebras to Lie algebras, we recover, in a new way, formulas for Kostant homology groups of unitarizable highest weight representations of Hermitian symmetric pairs. In addition, two new reductive dual pairs related to the above-mentioned ${\mathfrak u}$-homology computation are worked out.
We study modular invariance of normalized supercharacters of tame integrable modules over an affine Lie superalgebra, associated to an arbitrary basic Lie superalgebra $ \mathfrak{g}. $ For this we develop a several step modification process of multivariable mock theta functions, where at each step a Zwegers' type "modifier" is used. We show that the span of the resulting modified normalized supercharacters is $ SL_2(\mathbb{Z}) $-invariant, with the transformation matrix equal, in the case the Killing form on $\mathfrak{g}$ is non-degenerate, to that for the subalgebra $ \mathfrak{g}^! $ of $…
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.
For classical Lie superalgebras of type I, we provide necessary and sufficient conditions for a Verma supermodule $Δ(λ)$ to be such that every non-zero homomorphism from another Verma supermodule to $Δ(λ)$ is injective. This is applied to describe the socle of the cokernel of an inclusion of Verma supermodules over the periplectic Lie superalgebras $\mathfrak{pe}(n)$ and, furthermore, to reduce the problem of description of $\mathrm{Ext}^1_{\mathcal O}(L(μ),Δ(λ))$ for $\mathfrak{pe}(n)$ to the similar problem for the Lie algebra $\mathfrak{gl}(n)$. Additionally, we study the projective and inj…
This is a survey of some recent results on Sapovalov elements and the Jantzen filtration for contragredient Lie superalgebras. The topics covered include the existence and uniqueness of the Sapovalov elements, bounds on the degrees of their coefficients and the behavior of Sapovalov elements when the Borel subalgebra is changed. There is always a unique term whose coefficient has larger degree than any other term. This allows us to define some new highest weight modules. If X is a set of orthogonal isotropic roots and $λ\in h^*$ is such that $λ+ρ$ is orthogonal to all roots in X, we construct …
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…
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…
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 study the category of finite--dimensional representations for a basic classical Lie superalgebra $\Lg=\Lg_0\oplus \Lg_1$. For the ortho--symplectic Lie superalgebra $\Lg=\mathfrak{osp}(1,2n)$ we show that certain objects in that category admit a fusion flag, i.e. a sequence of graded $\Lg_0[t]$--modules such that the successive quotients are isomorphic to fusion products. Among these objects we find fusion products of finite--dimensional irreducible $\Lg$--modules, truncated Weyl modules and Demazure type modules. Moreover, we establish a presentation for these types of fusion products in t…
The complexity of the simple and the Kac modules over the general linear Lie superalgebra $\mathfrak{gl}(m|n)$ of type $A$ was computed by Boe, Kujawa, and Nakano in 2012. A natural continuation to their work is computing the complexity of the same family of modules over the ortho-symplectic Lie superalgebra $\mathfrak{osp}(2|2n)$ of type $C$. The two Lie superalgebras are both of Type I which will result in similar computations. In fact, our geometric interpretation of the complexity agrees with theirs. We also compute a categorical invariant, z-complexity, introduced in Boe et al., and we in…
Boe, Kujawa and Nakano recently investigated relative cohomology for classical Lie superalgebras and developed a theory of support varieties. The dimensions of these support varieties give a geometric interpretation of the combinatorial notions of defect and atypicality due to Kac, Wakimoto, and Serganova. In this paper we calculate the cohomology ring of the Cartan type Lie superalgebra W(n) relative to the degree zero component W(n)_{0} and show that this ring is a finitely generated polynomial ring. This allows one to define support varieties for finite dimensional W(n)-supermodules which a…
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.
If $\mathfrak{g}$ is a contragredient Lie superalgebra and $γ$ is a root of $\mathfrak{g},$ we prove the existence and uniqueness of Šapovalov elements for $γ$ and give upper bounds on the degrees of their coefficients. Then we use Šapovalov elements to define some new highest weight modules. If $X$ is a set of orthogonal isotropic roots and $λ\in \mathfrak{h}^*$ is such that $λ+ρ$ is orthogonal to all roots in $X$, we construct a highest weight module $M^X(λ)$ with character $ε^λ{p}_X$. Here $p_X$ is a function that counts partitions not involving roots in $X$. Examples of such modules can be…
We classify blocks in the BGG category $\mathcal O$ of modules of non-integral weights for the exceptional Lie superalgebra $G(3)$. We compute the characters for tilting modules of non-integral weights in $\mathcal O$. Reduction methods are established to connect non-integral blocks of $G(3)$ with blocks of the special linear Lie algebra $\mathfrak{sl}(2)$, the exceptional Lie algebra $G_2$, the general linear Lie superalgebras $\mathfrak{gl}(1|1)$, $\mathfrak{gl}(2|1)$ and the ortho-symplectic Lie superalgebra $\mathfrak{osp}(3|2)$.
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…