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 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.
We provide an explicit isomorphism between a quotient of the Bannai--Ito algebra and the Brauer algebra. We clarify also the connection with the action of the Lie superalgebra osp(1|2) on the threefold tensor product of its fundamental representation. Finally, a conjecture is proposed to describe the centralizer of osp(1|2) acting on three copies of an arbitrary finite irreducible representation in terms of a quotient of the Bannai-Ito algebra.
The Bannai-Ito algebra $B(n)$ of rank $(n-2)$ is defined as the algebra generated by the Casimir operators arising in the $n$-fold tensor product of the $osp(1,2)$ superalgebra. The structure relations are presented and representations in bases determined by maximal Abelian subalgebras are discussed. Comments on realizations as symmetry algebras of physical models are offered.
We continue the study of positive energy (lowest weight) unitary irreducible representations of the superalgebras osp(1|2n,R). We present the full list of these UIRs. We give the Proof of the case osp(1|8,R).
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).
Atypicality is a fundamental combinatorial invariant for simple supermodules of a basic Lie superalgebra. Boe, Nakano, and the author gave a conjectural geometric interpretation of atypicality via support varieties. Inspired by low dimensional topology, Geer, Patureau-Mirand, and the author gave a generalization of the Kac-Wakimoto atypicality conjecture. We prove both of these conjectures for the Lie superalgebra osp(m|2n).
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.
Let Uq(g) be the quantum affine superalgebra associated with an affine Kac-Moody superalgebra g which belongs to the three series osp(1|2n)^(1),sl(1|2n)^(2) and osp(2|2n)^(2). We develop vertex operator constructions for the level 1 irreducible integrable highest weight representations and classify the finite dimensional irreducible representations of Uq(g). This makes essential use of the Drinfeld realisation for Uq(g), and quantum correspondences between affine Kac-Moody superalgebras, developed in earlier papers.
We introduce a modified quantum enveloping algebra as well as a (modified) covering quantum algebra for the ortho-symplectic Lie superalgebra osp(1|2). Then we formulate and compute the corresponding canonical bases, and relate them to the counterpart for sl(2). This provides a first example of canonical basis for quantum superalgebras.
In [ZH], R.B. Zhang found a way to link certain formal deformations of the Lie algebra o(2l+1) and the Lie superalgebra osp(1,2l). The aim of this article is to reformulate the Zhang transformation in the context of the quantum enveloping algebras "à la" Drinfeld-Jimbo and to show how this construction can explain the main theorem of [GL2]: the annihilator of a Verma module over the Lie superalgebra osp(1,2l) is generated by its intersection with the centralizer of the even part of the enveloping algbra.
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.
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…
The character formula of any finite dimensional irreducible module for Lie superalgebra $\mathfrak{osp}(3|2m)$ is obtained in terms of characters of generalized Verma 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 continue the study of positive energy (lowest weight) unitary irreducible representations of the superalgebras $osp(1|2n,R)$. We update previous results and present the full list of these UIRs. We give also some character formulae for these representations.
We establish that for the type I Lie superalgebras $sl(m/n)$ and $osp(2/2n)$, each Kac module admits a 1 parameter family of indecomposable double extensions. The result follows from the explicit evaluation of the $H^1$ Lie superalgebra cohomology valued in the tensor product of the module and its dual.
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.
The paper is devoted to a computation of the Lie superalgebras of holomorphic vector fields on isotropic flag supermanifolds of maximal type corresponding to the Lie superalgebras $\mathfrak{osp}_{2m|2n}(\mathbb C)$ and $π\mathfrak{sp}_{n}(\mathbb C)$. The result is that under some restrictions on the flag type any holomorphic vector field is fundamental with respect to the natural action of the Lie superalgebras $\mathfrak{osp}_{2m|2n}(\mathbb C)$ or $π\mathfrak{sp}_{n}(\mathbb C)$.
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 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 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…
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 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 $λ$.
For each quantum superalgebra $U_q[osp(m|n)]$ with $m>2$, an infinite family of Casimir invariants is constructed. This is achieved by using an explicit form for the Lax operator. The eigenvalue of each Casimir invariant on an arbitrary irreducible highest weight module is also calculated.
We compute the Lie superalgebras of holomorphic vector fields on isotropic flag supermanifolds of maximal type corresponding to the Lie superalgebra $\mathfrak{osp}_{2m-1|2n}(\mathbb C)$.
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…
Let k be an algebraically closed field of characteristic p> 0. For a basic classical Lie superalgebra, we show its restricted cohomology algebra is a finitely generated algebra. Thus the cohomological support theory can be established. As a consequence, we show that the restricted enveloping algebra of a basic classical Lie superalgebra g is always wild except g=sl(2) or g=osp(1|2) or g=C(2). Moreover, all finite dimensional indecomposable restricted representations of u(osp(1|2)), the restricted enveloping algebra of Lie superalgebra osp(1|2), are determined.
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.
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 consider a superextension of the extended Jordanian twist, describing nonstandard quantization of anti-de-Sitter ($AdS$) superalgebra $osp(1|4)$ in the form of Hopf superalgebra. The super-Jordanian twisting function and corresponding basic coproduct formulae for the generators of $osp(1|4)$ are given in explicit form. The nonlinear transformation of the classical superalgebra basis not modifying the defining algebraic relations but simplifying coproducts and antipodes is proposed. Our physical application is to interpret the new super-Jordanian deformation of $osp(1|4)$ superalgebra as def…
The $\mathbb{Z}/2\mathbb{Z}$--graded intertwining operators are introduced. We study these operators in the case of ``degenerate'' N=1 minimal models, with the central charge $c=3/2$. The corresponding fusion ring is isomorphic to the Grothendieck ring for the Lie superalgebra ${\mathfrak osp}(1|2)$. We also discus multiplicity--2 fusion rules and logarithmic intertwiners.
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.
The purpose of this work is to illustrate in a family of interesting examples how to study the representation theory of vertex operator superalgebras by combining the theory of vertex algebra extensions and modular forms. Let $L_k\left(\mathfrak{osp}(1 | 2)\right)$ be the simple affine vertex operator superalgebra of $\mathfrak{osp}(1|2)$ at an admissible level $k$. We use a Jacobi form decomposition to see that this is a vertex operator superalgebra extension of $L_k(\mathfrak{sl}_2)\otimes \text{Vir}(p, (p+p')/2)$ where $k+3/2=p/(2p')$ and $\text{Vir}(u, v)$ denotes the regular Virasoro vert…
We study a particular class of infinite-dimensional representations of $\mathfrak{osp}(1|2n)$. These representations $L_n(p)$ are characterized by a positive integer $p$, and are the lowest component in the $p$-fold tensor product of the metaplectic representation of $\mathfrak{osp}(1|2n)$. We construct a new polynomial basis for $L_n(p)$ arising from the embedding $\mathfrak{osp}(1|2np) \supset \mathfrak{osp}(1|2n)$. The basis vectors of $L_n(p)$ are labelled by semi-standard Young tableaux, and are expressed as Clifford algebra valued polynomials with integer coefficients in $np$ variables. …
We classify simple bounded weight modules over the complex simple Lie superalgebras $\mathfrak{sl}(\infty |\infty)$ and $\mathfrak{osp} (m | 2n)$, when at least one of $m$ and $n$ equals $\infty$. For $\mathfrak{osp} (m | 2n)$ such modules are of spinor-oscillator type, i.e., they combine into one the known classes of spinor $\mathfrak{o} (m)$-modules and oscillator-type $\mathfrak{sp} (2n)$-modules. In addition, we characterize the category of bounded weight modules over $\mathfrak{osp} (m | 2n)$ (under the assumption $\dim \, \mathfrak{osp} (m | 2n) = \infty$) by reducing its study to alread…
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 $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 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…
Construction of matryoshka nested indecomposable N-replications of Kac-modules of quasi-reductive Lie superalgebras, including the sl(m/n) and osp(2/2n) series
本文构造了一类新的有限维不可分解表示,通过递归嵌入 N 个不可约表示副本并用广义 Cabibbo 角耦合,以解释标准模型中三代费米子的存在,并将构造推广到拟约化李超代数。
Following Feigin and Fuchs, we compute the first cohomology of the Lie superalgebra $\mathcal{K}(1)$ of contact vector fields on the (1,1)-dimensional real superspace with coefficients in the superspace of linear differential operators acting on the superspaces of weighted densities. We also compute the same, but $\mathfrak{osp}(1|2)$-relative, cohomology. We explicitly give 1-cocycles spanning these cohomology. We classify generic formal $\mathfrak{osp}(1|2)$-trivial deformations of the $\mathcal{K}(1)$-module structure on the superspaces of symbols of differential operators. We prove that an…
We introduce a subalgebra $\overline F$ of the Clifford vertex superalgebra ($bc$ system) which is completely reducible as a $L^{Vir} (-2,0)$-module, $C_2$-cofinite, but it is not conformal and it is not isomorphic to the symplectic fermion algebra $\mathcal{SF}(1)$. We show that $\mathcal{SF}(1)$ and $\overline{F}$ are in an interesting duality, since $\overline{F}$ can be equipped with the structure of a $\mathcal{SF}(1)$-module and vice versa. Using the decomposition of $\overline F$ and a free-field realization from arXiv:1711.11342, we decompose $L_k(\mathfrak{osp}(1\vert 2))$ at the crit…
We propose a generalization of Schramm-Loewner evolution (SLE) that has internal degrees of freedom described by an affine Lie superalgebra. We give a general formulation of SLE corresponding to representation theory of an affine Lie superalgebra whose underlying finite dimensional Lie superalgebra is basic classical type, and write down stochastic differential equations on internal degrees of freedom in case that the corresponding affine Lie superalgebra is $\widehat{\mathfrak{osp}(1|2)}$. We also demonstrate computation of local martingales associated with the solution from a representation …
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…
The main goal of our paper is to establish a connection between the Weyl modules of the current Lie superalgebras (twisted and untwisted) attached to $\mathfrak{osp}(1,2)$ and the nonsymmetric Macdonald polynomials of types $A_2^{(2)}$ and $A_2^{(2)\dagger}$. We compute the dimensions and construct bases of the Weyl modules. We also derive explicit formulas for the t=0 and t=\infty specializations of the nonsymmetric Macdonald polynomials. We show that the specializations can be described in terms of the Lie superalgebras action on the Weyl modules.
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.
The category of representations with a strongly typical central character of a basic classical Lie superalgebra is proven to be equivalent to the category of representations of its even part corresponding to an appropriate central character. For a Lie superalgebra $osp(1,2l)$ the category of representations with a "generic" weakly atypical central character is described.
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) $.
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…
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).
We extend Kostant's result on annihilator ideals of non-singular simple Whittaker modules over Lie algebras to (possibly singular) simple Whittaker modules over Lie superalgebras. We describe these annihilator ideals in terms of certain primitive ideals coming from the category $\mathcal O$ for quasireductive Lie superalgebras. To determine these annihilator ideals, we develop annihilator-preserving equivalences between certain full subcategories of the Whittaker category $\tilde{\mathcal N}$ and the categories of certain projectively presentable modules in the category $\mathcal O$. These equ…
We study the cohomology of Lie superalgebras for the full complex of forms: superforms, pseudoforms and integral forms. We use the technique of spectral sequences to abstractly compute the Chevalley-Eilenberg cohomology. We first focus on the superalgebra $\mathfrak{osp}(2|2)$ and show that there exist non-empty cohomology spaces among pseudoforms related to sub-superalgebras. We then extend some classical theorems by Koszul, as to include pseudoforms and integral forms. Further, we conjecture that the algebraic Poincaré duality extends to Lie superalgebras, as long as all the complexes of for…
It is known that the defining triple relations of m pairs of parafermion operators and n pairs of paraboson operators with relative parafermion relations can be considered as defining relations for the Lie superalgebra osp(2m+1|2n) in terms of 2(m+n) generators. With the common Hermiticity conditions, this means that the parastatistics Fock space of order p corresponds to an infinite-dimensional unitary irreducible representation V(p) of osp(2m+1|2n), with lowest weight (-p/2,...,- p/|p/2,...,p/2). These representations (also in the simplest case m=n=1) had never been constructed due to comput…
In recent work, we examined the algebraic structure underlying a class of elements supercommuting with realization of the Lie superalgebra $\mathfrak{osp}(1|2)$ inside a generalization of the Weyl Clifford algebra. This generalization contained in particular the deformation by means of Dunkl operators, yielding a rational Cherednik algebra instead of the Weyl algebra. The aim of this work is to show that this is the full supercentralizer, give a (minimal) set of generators, and to describe the relation with the $(\mathrm{Pin}(d),\mathfrak{osp}(2m+1|2n))$ Howe dual pair.