Vogan raised the idea of Dirac cohomology to study representations of semisimple Lie groups and Lie algebras. He conjectured that the infinitesimal character of Harish-Chandra modules are determined by their Dirac cohomology. Huang and Pandžić proved this conjecture and initiated the research on Dirac cohomology for Lie superalgebras based on Kostant's results. The aim of the present paper is to study Dirac cohomology of unitary representations for the general linear superalgebra and its relation to nilpotent Lie superalgebra cohomology.
The author establishes finite-generation of the cohomology ring of a classical Lie superalgebra relative to an even subsuperalgebra. A spectral sequence is constructed to provide conditions for when this relative cohomology ring is Cohen-Macaulay. With finite generation established, support varieties for modules are defined via the relative cohomology, which generalize those of [BKN-1]
Support varieties for Lie superalgebras over the complex numbers were introduced in \cite{BKN1} using the relative cohomology. In this paper we discuss finite generation of the relative cohomology rings for Lie superalgebras, we formulate a definition for subalgebras which detect the cohomology, also discuss realizability of support varieties. In the last section as an application we compute the relative cohomology ring of the Lie superalgebra $\overline{S}(n)$ relative to the graded zero component $\overline{S}(n)_0$ and show that this ring is finitely generated. We also compute support varie…
An $n$-Lie superalgebra of parity 0 is called a first-class $n$-Lie superalgebra. In this paper, we give the representation and cohomology for a first-class $n$-Lie superalgebra and obtain a relation between extensions of a first-class $n$-Lie superalgebra $\mathfrak{b}$ by an abelian one $\mathfrak{a}$ and $Z^1(\mathfrak{b}, \mathfrak{a})_{\bar{0}}$. We also introduce the notion of $T^*$-extensions of first-class $n$-Lie superalgebras and prove that every finite-dimensional nilpotent metric first-class $n$-Lie superalgebra $(\g,< ,>_{\g})$ over an algebraically closed field of characteristic …
In this paper we introduce generalized Spencer cohomology for finite depth Z-graded Lie (super)algebras. We develop a method of finding filtered deformations of such Z-graded Lie (super)algebras based on this cohomology. As an application we determine all simple filtered deformations of certain Z-graded Lie superalgebras classified in [K3], thus completing the last step in the classification of simple infinite-dimensional linearly compact Lie superalgebras.
Let $mathfrak{g}$ be a restricted Lie superalgebra over an algebraically closed field $k$ of characteristic $p>2$. Let $\mathfrak{u}(\mathfrak{g})$ denote the restricted enveloping algebra of $\mathfrak{g}$. In this paper we prove that the cohomology ring $\HH^\bullet(\fu(\fg), k)$ is finitely generated. This allows one to define support varieties for finite dimensional $\fu(\fg)$-supermodules. We also show that support varieties for finite dimensional $\fu(\fg)$ supermodules satisfy the desirable properties of support variety theory.
We describe the infinitesimal deformations of the standard embedding of the Lie superalgebra $D(2, 1 ; α)$ into the Poisson superalgebra of pseudodifferential symbols on $S^{1|2}$. We show that for the standard embedding of $D(2, 1 ; α)$ into the Poisson superalgebra of differential operators on $S^{1|2}$, the infinitesimal deformations correspond to formal deformations. For the embedding of $D(2, 1 ; α)$ into the derived contact superconformal algebra ${K}'(4)$, the infinitesimal deformations are formal deformations.
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 discuss the representations of $n$-ary multiplicative Hom-Nambu-Lie superalgebras as a generalization of the notion of representations for $n$-ary multiplicative Hom-Nambu-Lie algebras. We also give the cohomology of an $n$-ary multiplicative Hom-Nambu-Lie superalgebra and obtain a relation between extensions of an $n$-ary multiplicative Hom-Nambu-Lie superalgebra $\mathfrak{b}$ by an abelian one $\mathfrak{a}$ and $Z^1(\mathfrak{b}, \mathfrak{a})_{\bar{0}}$. We also introduce the notion of $T^*$-extensions of $n$-ary multiplicative Hom-Nambu-Lie superalgebras and prove that …
In this paper the authors study the behavior of the sheaf cohomology functors $R^{\bullet}\text{ind}_{B}^{G}(-)$ where $G$ is an algebraic group scheme corresponding to a simple classical Lie superalgebra and $B$ is a BBW parabolic subgroup as defined by D. Grantcharov, N. Grantcharov, Nakano and Wu. We provide a systematic treatment that allows us to study the behavior of these cohomology groups $R^{\bullet}\text{ind}_{B}^{G}L_{\mathfrak f}(λ)$ where $L_{\mathfrak f}(λ)$ is an irreducible representation for the detecting subalgebra ${\mathfrak f}$. In particular, we prove an analog of Kempf's…
We investigate a new cohomology of Lie superalgebras, which may be compared to a de Rham cohomology of Lie supergroups involving both differential and integral forms. It is defined by a BRST complex of Lie superalgebra modules, which is formulated in terms of a Weyl superalgebra and incorporates inequivalent representations of the bosonic Weyl subalgebra. The new cohomology includes the standard Lie superalgebra cohomology as a special case. Examples of new cohomology groups are computed.
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 \cite{BKN} the authors initiated a study of the representation theory of classical Lie superalgebras via a cohomological approach. Detecting subalgebras were constructed and a theory of support varieties was developed. The dimension of a detecting subalgebra coincides with the defect of the Lie superalgebra and the dimension of the support variety for a simple supermodule was conjectured to equal the atypicality of the supermodule. In this paper the authors compute the support varieties for Kac supermodules for Type I Lie superalgebras and the simple supermodules for $\mathfrak{gl}(m|n)$. T…
The aim of this paper is to study the cohomology of Hom-Leibniz superalgebras. We construct the $q$-deformed Heisenberg-Virasoro superalgebra of Hom-type and provide as application the computations of the derivations and second cohomology group. Moreover, we extend to graded case the Takhtajan's construction of a cohomology of $n$-ary Hom-Nambu-Lie algebras starting from cohomology of Hom-Leibniz algebras.
The main goal of this paper is to develop the structure theory of Hom-Lie superalgebras in characteristic 2. We discuss their representations, semidirect product, $α^k$-derivations and provide a classification in low dimension. We introduce another notion of restrictedness on Hom-Lie algebras in characteristic 2, different from one given by Guan and Chen. This definition is inspired by the process of queerification of restricted Lie algebras in characteristic 2. We also show that any restricted Hom-Lie algebra in characteristic 2 can be queerified to give rise to a Hom-Lie superalgebra. Moreov…
Using a super-affine version of Kostant's cubic Dirac operator, we prove a very strange formula for quadratic finite-dimensional Lie superalgebras with a reductive even subalgebra.
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.
The purpose of this paper is to define the representation and the cohomology of Hom-Lie superalgebras. Moreover we study Central extensions and provide as application the computations of the derivations and second cohomology group of q-deformed Witt superalgebra.
In this paper, we use geometrical methods adapted from the Borel-Weil-Bott theory to compute the character of every finite dimensional simple module over a basic classical Lie superalgebra.
In this paper we use invariant theory to develop the notion of cohomological detection for Type I classical Lie superalgebras. In particular we show that the cohomology with coefficients in an arbitrary module can be detected on smaller subalgebras. These results are used later to affirmatively answer questions, which were originally posed in \cite{BKN1} and \cite{BaKN}, about realizing support varieties for Lie superalgebras via rank varieties constructed for the smaller detecting subalgebras.
In this paper, we introduce the notion of BiHom-Lie conformal superalgebras. We develop its representation theory and define the cohomology group with coefficients in a module. Finally, we introduce conformal derivations of BiHom-Lie conformal superalgebras and study some of their properties.
We study cohomology for classical Lie superalgebras $\mathfrak{g}$ (e.g. gl(m|n)) over the complex numbers. Using results from invariant theory, we show that there exist subsuperalgebras which detect the cohomology of $\mathfrak{g}.$ Furthermore, drawing inspiration from finite groups and restricted Lie algebras, we introduce the notion of support varieties in this context. One can prove these varieties have many of the desirable properties of such a theory. They also appear to provide new interpretations for certain combinatorics associated with Lie superalgebras.
Over a field of characteristic p>2, firstly, the structure of Kac modules of Lie superalgebra $\tilde{P}(2)$ and the weight space decompositions are given. Secondly, the weight-derivations of $\tilde{P}(2)$ to its Kac modules are computed. Finally, the first cohomology of $\tilde{P}(2)$ with coefficients in Kac modules is determined.
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.
Let ${\mathfrak g}$ be a classical simple Lie superalgebra. In this paper, the author studies the cohomology groups for the subalgebra $\mathfrak{n}^{+}$ relative to the BBW parabolic subalgebras constructed by D. Grantcharov, N. Grantcharov, Nakano and Wu. These classical Lie superalgebras have a triangular decomposition ${\mathfrak g}={\mathfrak n}^{-}\oplus {\mathfrak f} \oplus {\mathfrak n}^{+}$ where $\mathfrak f$ is a detecting subalgebra as introduced by Boe, Kujawa and Nakano. It is shown that there exists a Hochschild-Serre spectral sequence that collapses for all infinite families of…
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)$.
Quantum homogeneous supervector bundles arising from the quantum general linear supergoup are studied. The space of holomorphic sections is promoted to a left exact covariant functor from a category of modules over a quantum parabolic sub-supergroup to the category of locally finite modules of the quantum general linear supergroup. The right derived functors of this functor provides a form of Dolbeault cohomology for quantum homogeneous supervector bundles. We explicitly compute the cohomology groups, which are given in terms of well understood modules over the quantized universal enveloping a…
Let $ 0\rightarrow \mathfrak{a} \rightarrow \mathfrak{e} \rightarrow \mathfrak{g} \rightarrow 0$ be an abelian extension of the Lie superalgebra $\mathfrak{g}$. In this article we consider the problems of extending endomorphisms of $\mathfrak{a}$ and lifting endomorphisms of $\mathfrak{g}$ to certain endomorphisms of $\mathfrak{e}$. We connect these problems to the cohomology of $\mathfrak{g}$ with coefficients in $\mathfrak{a}$ through construction of two exact sequences, which is our main result, involving various endomorphism groups and the second cohomology. The first exact sequence is obt…
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…
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…
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 …
Dirac cohomology is a new tool to study unitary and admissible representations of semisimple Lie groups. It was introduced by Vogan and further studied by Kostant and ourselves \cite{V2}, \cite{HP1}, \cite{Kdircoh}. The aim of this paper is to study the Dirac cohomology for the Kostant cubic Dirac operator and its relation to Lie algebra cohomology. We show that the Dirac cohomology coincides with the corresponding nilpotent Lie algebra cohomology in many cases, while in general it has better algebraic behavior and it is more accessible for calculation.
We study the spectrum of the cohomology rings of cocommutative Hopf superalgebras, restricted and non-restricted Lie superalgebras, and finite supergroup schemes. We also investigate support varieties in these settings and demonstrate that they have the desirable properties of such a theory. We completely characterize support varieties for finite supergroup schemes over algebraically closed fields of characteristic zero, while for non-restricted Lie superalgebras we obtain results in positive characteristic that are strikingly similar to results of Duflo and Serganova in characteristic zero. O…
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…
In this paper, we review the construction of the Dirac operator for graded affine Hecke algebras and calculate the Dirac cohomology of irreducible unitary modules for the graded Hecke algebra of gl(n).
This paper studies the Dirac cohomology of standard modules in the setting of graded Hecke algebras with geometric parameters. We prove that the Dirac cohomology of a standard module vanishes if and only if the module is not twisted-elliptic tempered. The proof makes use of two deep results. One is some structural information from the generalized Springer correspondence obtained by S. Kato and Lusztig. Another one is a computation of the Dirac cohomology of tempered modules by Barbasch-Ciubotaru-Trapa and Ciubotaru. We apply our result to compute the Dirac cohomology of ladder representations …
The first part (Sections 1-6) of this paper is a survey of some of the recent developments in the theory of Dirac cohomology, especially the relationship of Dirac cohomology with (g,K)-cohomology and nilpotent Lie algebra cohomology; the second part (Sections 7-12) is devoted to understanding the unitary elliptic representations and endoscopic transfer by using the techniques in Dirac cohomology. A few problems and conjectures are proposed for further investigations.
The endoscopic transfer factor is expressed as difference of characters for the even and odd parts of the spin modules, or Dirac index of the trivial representation. The lifting of tempered characters in terms of index of Dirac cohomology is calculated explicitly.
We define analogues of the Casimir and Dirac operators for graded affine Hecke algebras, and establish a version of Parthasarathy's Dirac operator inequality. We then prove a version of Vogan's Conjecture for Dirac cohomology. The formulation of the conjecture depends on a uniform geometric parametrization of spin representations of Weyl groups. Finally, we apply our results to the study of unitary representations.
We define an analogue of the Dirac operator for the degenerate affine Hecke-Clifford algebra. A main result is to relate the central characters of the degenerate affine Hecke-Clifford algebra with the central characters of the Sergeev algebra via Dirac cohomology. The action of the Dirac operator on certain modules is also computed. Results in this paper could be viewed as a projective version of the Dirac cohomology of the degenerate affine Hecke algebra.
This paper gives a criterion for the non-vanishing of the Dirac cohomology of $\mathcal{L}_S(Z)$, where $\mathcal{L}_S(\cdot)$ is the cohomological induction functor, while the inducing module $Z$ is irreducible, unitarizable, and in the good range. As an application, we give a formula counting the number of strings in the Dirac series. Using this formula, we classify all the irreducible unitary representations of $E_{6(2)}$ with non-zero Dirac cohomology. Our calculation continues to support Conjecture 5.7' of Salamanca-Riba and Vogan [SV]. Moreover, we find more unitary representations for w…
This paper classifies the equivalence classes of irreducible unitary representations with nonvanishing Dirac cohomology for complex $E_6$. This is achieved by using our finiteness result, and by improving the computing method.
Let $\mathfrak{g}$ be a reductive Lie algebra over $\mathbb{C}$. For any simple weight module of $\mathfrak{g}$ with finite-dimensional weight spaces, we show that its Dirac cohomology is vanished unless it is a highest weight module. This completes the calculation of Dirac cohomology for simple weight modules since the Dirac cohomology of simple highest weight modules was carried out in our previous work. We also show that the Dirac index pairing of two weight modules which have infinitesimal characters agrees with their Euler-Poincaré pairing. The analogue of this result for Harish-Chandra m…
In this paper we will derive an explicit description of the genuine projective representations of the symmetric group $S_n$ using Dirac cohomology and the branching graph for the irreducible genuine projective representations of $S_n$. In 2015 Ciubotaru and He, using the extended Dirac index, showed that the characters of the projective representations of $S_n$ are related to the characters of elliptic graded modules. We derived the branching graph using Dirac theory and combinatorics relating to the cohomology of Borel varieties $\mathcal{B}_e$ of $\mathfrak{g}$ and were able to use Dirac coh…
In this paper we define a new presentation for the Dunkl-Opdam subalgebra of the rational Cherednik algebra. This shows that the Dunkl-Opdam subalgebra is a Drinfeld algebra. We use this fact to define Dirac cohomology for the DO subalgebra. We also formalise generalised graded Hecke algebras and define a Langlands classification to generalised graded Hecke algebras.
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.
Let $\mathfrak{r}$ be a finite dimensional complex Lie superalgebra with a non-degenerate super-symmetric invariant bilinear form, let $\mathfrak{p}$ be a finite dimensional complex super vector space with a non-degenerate super-symmetric bilinear form, and let $ν: \mathfrak{r}\rightarrow\mathfrak{osp}(\mathfrak{p})$ be a Lie superalgebra homomorphism. In this paper, we give a necessary and sufficient condition for $\mathfrak{r}\oplus\mathfrak{p}$ to be a quadratic Lie superalgebra. The criterion obtained is an analogue of a constancy condition given by Kostant in the Lie algebra setting. As a…
We define uniformly the notions of Dirac operators and Dirac cohomology in the framework of the Hecke algebras introduced by Drinfeld. We generalize in this way the Dirac cohomology theory for Lusztig's graded affine Hecke algebras. We apply these constructions to the case of symplectic reflection algebras defined by Etingof-Ginzburg, particularly to rational Cherednik algebras for real or complex reflection groups with parameters t,c. As applications, we give criteria for unitarity of modules in category O and we show that the 0-fiber of the Calogero-Moser space admits a description in terms …
We study Kostant cohomology and Bernstein-Gelfand-Gelfand resolutions for finite dimensional representations of basic classical Lie superalgebras and reductive Lie superalgebras based on them. For each choice of parabolic subalgebra and irreducible representation of such a Lie superalgebra, there is a natural definition of the derivative and coderivative, which define the (co)homology groups. We prove that a necessary condition to have a resolution of an irreducible module in terms of Verma modules is complete reducibility of the cohomology groups. Essentially, if it exists, every such a resol…
