We describe an essential improvement of our recent algorithm for computing cohomology of Lie (super)algebra based on partition of the whole cochain complex into minimal subcomplexes. We replace the arithmetic of rational numbers or integers by a much cheaper arithmetic of a modular field and use the inequality between the dimensions of cohomology H over any modular field F_p = Z/pZ and over Q: dim H(F_p) >= dim H(Q). With this inequality we can, by computing over arbitrary F_p, quickly find the (usually, rare) subcomplexes for which dim H(F_p) > 0 and then carry out the full computation over Q within these subcomplexes. We also present the results of application of the corresponding C program to the Lie superalgebra of special vector fields preserving an "odd-symplectic" structure on the (2|2)-dimensional supermanifold. For this algebra, we found some new basis elements of the cohomology in the trivial module.
A Vogan superdiagram is a set of involution and painting on a Dynkin diagram. It selects a real form, or equivalently an involution, from a complex simple Lie superalgebra. We introduce the double Vogan superdiagram, which is two sets of Vogan superdiagrams superimposed on an affine Dynkin diagram. They correspond to pairs of commuting involutions on complex simple Lie superalgebras, and therefore provide an independent classification of the simple locally symmetric or symmetric superpairs.
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 investigate the second cohomology space of the Lie superalgebra $\mathcal{K}(2)$ with coefficients in the superspace of weighted densities on the (1,2)-dimentional real superspace. We explicitly give cocycles spanning this cohomology space.
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…
In this paper we propose the notion of cluster superalgebras which is a supersymmetric version of the classical cluster algebras introduced by Fomin and Zelevinsky. We show that the symplectic-orthogonal supergroup $SpO(2|1)$ admits a cluster superalgebra structure and as a consequence of this, we deduce that the supercommutative superalgebra generated by all the entries of a superfrieze is a subalgebra of a cluster superalgebra. We also show that the coordinate superalgebra of the super Grassmannian $G(2|0; 4|1)$ of chiral conformal superspace (that is, $(2|0)$ planes inside the superspace $\…
Over the $(1,n)$-dimensional real superspace, $n>1$, we classify $\mathcal{K}(n)$-invariant binary differential operators acting on the superspaces of weighted densities, where $\mathcal{K}(n)$ is the Lie superalgebra of contact vector fields. This result allows us to compute the first differential cohomology of %the Lie superalgebra $\mathcal{K}(n)$ with coefficients in the superspace of linear differential operators acting on the superspaces of weighted densities--a superisation of a result by Feigin and Fuchs. We explicitly give 1-cocycles spanning these cohomology spaces.
On a given manifold M, the Nijenhuis bracket makes the superspace of vector-valued differential forms into a Lie superalgebra that can be interpreted as the centralizer of the exterior differential considered as a vector field on the supermanifold associated with the de Rham bundle on M. A similar bracket introduces structures of DG Lie superalgebra in the superspaces of cochains and cohomology with coefficients in the adjoint module for any Lie superalgebra. We use a Mathematica--based package SuperLie (already proven useful in various problems) to explicitly describe these Lie superalgebras …
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 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.
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 an irrational C_2-cofinite vertex operator algebra associatted to a finite dimensional vector space with a nondegenerate skew-symmetric bilinear form. We also classify its equivalence classes of irreducible modules and determine its automorphism group.
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 introduce and define the quantum affine $(m|n)$-superspace (or say quantum Manin superspace) $A_q^{m|n}$ and its dual object, the quantum Grassmann superalgebra $Ω_q(m|n)$. Correspondingly, a quantum Weyl algebra $\mathcal W_q(2(m|n))$ of $(m|n)$-type is introduced as the quantum differential operators (QDO for short) algebra $\textrm{Diff}_q(Ω_q)$ defined over $Ω_q(m|n)$, which is a smash product of the quantum differential Hopf algebra $\mathfrak D_q(m|n)$ (isomorphic to the bosonization of the quantum Manin superspace) and the quantum Grassmann superalgebra $Ω_q(m|n)$. An interested poin…
We study the cohomology of Lie superalgebra of vector fields on affine super-spaces $\mathbb{A}^{m,n}$ with trivial coefficients. Previously known results covered the classical case $\mathbb{A}^m = \mathbb{A}^{m,0}$ as well as the case $\mathbb{A}^{m,n}$ with $m \leq n$. In this paper we perform the computation for super-spaces $\mathbb{A}^{m,1}$.
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 compute the first differential cohomology of the orthosymplectic Lie superalgebra $\mathfrak{osp}(2|2)$ with coefficients in the superspace of linear differential operators acting on the space of weighted densities on the (1,\,2)-dimensional real superspace. We also compute the same, but $\mathfrak{osp}(1|2)$-relative, cohomology. We explicitly give 1-cocycles spanning these cohomology. This work is a simplest generalization of a result by Basdouri and Ben Ammar [Cohomology of $\frak {osp}(1|2)$ with coefficients in $\frak{D}_{λ,μ}$.
We formulate the transfer factor of character lifting from orthogonal groups to symplectic groups by Adams in the framework of symplectic Dirac cohomology for the Lie superalgebras and the Rittenberg-Scheunert correspondence of representations of the Lie superalgebra $\fro\frsp(1|2n)$ and the Lie algebra $\fro(2n+1)$. This leads to formulation of a direct lifting of characters from the linear symplectic group $Sp(2n,\bbR)$ to its nonlinear covering metaplectic group $Mp(2n,\bbR)$.
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…
We compute the first cohomology of the ortosymplectic Lie superalgebra $\mathfrak{osp}(1|2)$ on the (1,1)-dimensional real superspace with coefficients in the superspace $\frak{D}_{λ,ν;μ}$ of bilinear differential operators acting on weighted densities. This work is the simplest superization of a result by Bouarroudj [Cohomology of the vector fields Lie algebras on $\mathbb{R}\mathbb{P}^1$ acting on bilinear differential operators, International Journal of Geometric Methods in Modern Physics (2005), {\bf 2}; N 1, 23-40].
I show that the projective Schur functions may be interpreted as bispherical functions of either the triple (q(n),gl(n,n),q(n)), where q(n) is the "odd" (queer) analog of the general liner Lie algebra, or the triple (p(n),gl(n,n),p(n)), where p(n) is the periplectic Lie superalgebra which preserves the nondegenerate odd, bilinear form (either symmetric or skew symmetric). Making use of this interpretation I characterize projective Schur functions as common eigenfunctions of an algebra differential operators.
Based on the Kazama-Suzuki type coset construction and its inverse coset between the subregular $\mathcal{W}$-algebras for $\mathfrak{sl}_n$ and the principal $\mathcal{W}$-superalgebras for $\mathfrak{sl}_{1|n}$, we prove weight-wise linear equivalences of their representation categories. Our main results are then improvements of these correspondences incorporating the monoidal structures. Firstly, in the rational case, we obtain the classification of simple modules and their fusion rules via simple current extensions from their Heisenberg cosets. Secondly, beyond the rational case, we use ce…
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 obtain a realization of the Lie superalgebra $D(2, 1 ; α)$ in differential operators on the supercircle $S^{1|2}$ and in $4\times 4$ matrices over a Weyl algebra. A contraction of $D(2, 1 ; α)$ is isomorphic to the universal central extension $\hat{\p\sł}(2|2)$ of $\p\sł(2|2)$. We realize it in $4\times 4$ matrices over the associative algebra of pseudodifferential operators on $S^1$. Correspondingly, there exists a three-parameter family of irreducible representations of $\hat{\p\sł}(2|2)$ in a $(2|2)$--dimensional complex superspace.
We introduce categories of homogeneous strict polynomial functors, $\Pol^\I_{d,\k}$ and $\Pol^\II_{d,\k}$, defined on vector superspaces over a field $\k$ of characteristic not equal 2. These categories are related to polynomial representations of the supergroups $GL(m|n)$ and Q(n), respectively. In particular, we prove an equivalence between $\Pol^\I_{d,\k}$, $\Pol^\II_{d,\k}$ and the category of finite dimensional supermodules over the Schur superalgebra $\Sc(m|n,d)$, $\Qc(n,d)$ respectively provided $m,n \ge d$. We also discuss some aspects of Sergeev duality from the viewpoint of the categ…
We study the trace functions in orbiford theory for Z-graded vertex operator superalgebras and obtain a modular invariance result. More precisely, let V be a C_2-cofinite Z-graded vertex operator superalgebra and G a finite automorphism group of V. Then for any commuting pairs (g,h) in G, the hσ-trace functions associated to the simple g-twisted V-modules are holomorphic in the upper half plane where σis the canonical involution on V coming from the superspace structure of V. If V is further g-rational for every g n G, the trace unctions afford a representation for the full modular group SL(2,…
Let $k$ be a field of characteristic $0$. For a superspace $V=V_\bar{0}\oplus V_\bar{1}$ over $k$, we call the vector $(\dim_k V_\bar{0} ,\dim_k V_\bar{1})$ the (${\mathbb Z}_2$-)graded dimension of $V$. Let $J(D_1|D_2)$ be the free Jordan superalgebra generated by $D_1$ even generators and $D_2$ odd generators. In this paper, we study the graded dimensions of the $n$-components of $J(D_1|D_2)$ and find the connection between them and the homology of Tits-Allison-Gao Lie superalgebra of $J(D_1|D_2)$ following the method given by I.Kashuba and O.Mathieu in [KM], where they deal with the free Jo…
Given a Lie superalgebra $\mathfrak{g}$, Gorelik defined the anticentre $\mathcal{A}$ of its enveloping algebra, which consists of certain elements that square to the center. We seek to generalize and enrich the anticentre to the context of supersymmetric pairs $(\mathfrak{g},\mathfrak{k})$, or more generally supersymmetric spaces $G/K$. We define certain invariant distributions on $G/K$, which we call ghost distributions, and which in some sense are induced from invariant distributions on $G_0/K_0$. Ghost distributions, and in particular their Harish-Chandra polynomials, give information abou…
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…
It is shown that $A:=H_{1,η}(G)$, the Sympectic Reflection Algebra, has $T_G$ independent traces, where $T_G$ is the number of conjugacy classes of elements without eigenvalue 1 belonging to the finite group $G$ generated by the system of symplectic reflections. Simultaneously, we show that the algebra $A$, considered as a superalgebra with a natural parity, has $S_G$ independent supertraces, where $S_G$ is the number of conjugacy classes of elements without eigenvalue -1 belonging to $G$. We consider also $A$ as a Lie algebra $A^L$ and as a Lie superalgebra $A^S$. It is shown that if $A$ is a…
We review recent developments in the context of two-dimensional conformally invariant sigma-models. These quantum field theories play a prominent role in the covariant superstring quantization in flux backgrounds and in the analysis of disordered systems. We present supergroup WZW models as primary examples of logarithmic conformal field theories, whose structure is almost entirely determined by the underlying supergeometry. In particular, we discuss the harmonic analysis on supergroups and supercosets and point out the subtleties of Lie superalgebra representation theory that are responsible …
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…
Symplectic reflection algebra $ H_{1, \,ν}(G)$ has a $T(G)$-dimensional space of traces whereas, when considered as a superalgebra with a natural parity, it has an $S(G)$-dimensional space of supertraces. The values of $T(G)$ and $S(G)$ depend on the symplectic reflection group $G$ and do not depend on the parameter $ν$. In this paper, the values $T(G)$ and $S(G)$ are explicitly calculated for the groups $G= Γ\wr S_N$, where $Γ$ is a finite subgroup of $Sp(2,\mathbb C)$.
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.
In 1960's I. Gelfand posed a problem: describe indecomposable representations of any simple infinite dimensional Lie algebra of polynomial vector fields. Here, by applying the elementary technique of Gelfand and Ponomarev, a toy model of the problem is solved: finite dimensional indecomposable representations of vect(0|2), the Lie superalgebra of vector fields on the (0|2)-dimensional superspace, are described. Since vect (0|2) is isomorphic to sl(1|2) and osp(2|2), their representations are also described. The result is generalized in two directions: for sl(1|n) and osp(2|2n). Independently a…
Vertex Superalgebras for Hypertoric Varieties and 3d Abelian Gauge Theories
Research Institute for Mathematical Sciences, Kyoto University（京都大学数学科学研究所）；Okinawa Institute of Science and Technology（冲绳科学技术大学院大学）；Deutsches Elektronen-Synchrotron DESY（德国电子同步加速器）；School of Mathematics, University of Edinburgh（爱丁堡大学数学学院）；DAMTP, University of Cambridge（剑桥大学应用数学与理论物理系）；Fachbereich Mathematik, Universität Hamburg（汉堡大学数学系）；Department of Mathematics and Statistics, Maynooth University（梅努斯大学数学与统计系）
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…
We study stabilization of finite-dimensional representations of the periplectic Lie superalgebras $\mathfrak{p}(n)$ as $n \to \infty$. The paper gives a construction of the tensor category $Rep(\underline{P})$, possessing nice universal properties among tensor categories over the category $\mathtt{sVect}$ of finite-dimensional complex vector superspaces. First, it is the "abelian envelope" of the Deligne category corresponding to the periplectic Lie superalgebra, in the sense of arXiv:1511.07699. Secondly, given a tensor category $\mathcal{C}$ over $\mathtt{sVect}$, exact tensor functors $Rep(…
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 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…
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.
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…
A Lie (super)algebra with a non-degenerate invariant symmetric bilinear form will be called a NIS-Lie (super)algebra. The double extension of a NIS-Lie (super)algebra is the result of simultaneously adding to it a central element and an outer derivation so that the larger algebra has also a NIS. Affine loop algebras, Lie (super)algebras with symmetrizable Cartan matrix over any field, Manin triples, symplectic reflection (super)algebras are among the Lie (super)algebras suitable to be doubly extended. We consider double extensions of Lie superalgebras in characteristic 2, and concentrate on pe…
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 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)$.
The second author gave a formula for the elements of the enveloping algebra of a Lie superalgebra defined by Gorelik under an appropriate unimodularity assumption. We show that this formula is a particular case of a formula for the Jacobian of the exponential map of a symmetric superspace.
We give a new combinatorial interpretation of Howe dual pairs of the form $(\g,{\rm Sp}_{2\ell})$, where $\g$ is a Lie (super)algebra of classical type. This is done by establishing a symplectic analogue of the RSK algorithm associated to this pair, in a uniform way which does not depend on $\g$. We introduce an analogue of jeu de taquin sliding for spinor model of irreducible characters of a Lie superalgebra $\g$ to define $P$-tableau and show that the associated $Q$-tableau is given by a symplectic tableau due to King.
Lie antialgebras is a class of supercommutative algebras recently appeared in symplectic geometry. We define the notion of enveloping algebra of a Lie antialgebra and study its properties. We show that every Lie antialgebra is canonically related to a Lie superalgebra and prove that its enveloping algebra is a quotient of the enveloping algebra of the corresponding Lie superalgebra.
