We introduce a Dirac operator $D$ for the quantum group $U_q(\mathfrak{sl}_2)$, as an element of the tensor product of $U_q(\mathfrak{sl}_2)$ with the Clifford algebra on two generators. We study the properties of $D$, including an analogue of Vogan's conjecture. We compute the cohomology of $D$ acting on various $U_q(\mathfrak{sl}_2)$-modules.
We calculate the cohomology of $\mathfrak{sl}_3(k)$ over an algebraically closed field $k$ of characteristic $p>3$ with coefficients in simple modules and Weyl modules. We also give descriptions of the corresponding cohomology of $\mathfrak{gl}_3(k)$.
Let $k$ be an algebraically closed field of characteristic $p>2$. We determine the Hochschild cohomology of $U(\mathfrak{sl}_2(k))$ and the invariants of $\mathfrak{sl}_2(k)$ and $\mathsf{SL}_2(k)$ in the adjoint action on the divided power algebra $D(\mathfrak{sl}_2(k))$.
A subalgebra of a Lie algebra $\mathfrak{h}\subset\mathfrak{g}$ determines $\mathfrak{h}$-representation $ρ$ on $\mathfrak{m}=\mathfrak{g}/\mathfrak{h}$. In this note we discuss how to reconstruct $\mathfrak{g}$ from $(\mathfrak{h},\mathfrak{m},ρ)$. In other words, we find all the ingredients for building non-reductive Klein geometries. The Lie algebra cohomology plays a decisive role here.
Given a finite dimensional Lie algebra $\mathfrak{g}$, let $Γ_\circ(\mathfrak{g})$ be the set of irreducible $\mathfrak{g}$-modules with non-vanishing cohomology. We prove that a $\mathfrak{g}$-module $V$ belongs to $Γ_\circ(\mathfrak{g})$ only if $V$ is contained in the exterior algebra of the solvable radical $\mathfrak{s}$ of $\mathfrak{g}$, showing in particular that $Γ_\circ(\mathfrak{g})$ is a finite set and we deduce that $H^*(\mathfrak{g},V)$ is an $L$-module, where $L$ is a fixed subgroup of the connected component of $\operatorname{Aut}(\mathfrak{g})$ which contains a Levi factor. We…
A morphism Lie algebra is a triple $(\mathfrak{g}, \mathfrak{h}, ϕ)$ consisting of two Lie algebras $\mathfrak{g}, \mathfrak{h}$ and a Lie algebra homomorphism $ϕ: \mathfrak{g} \rightarrow \mathfrak{h}$. We define representations and cohomology of morphism Lie algebras. As applications of our cohomology, we study some aspects of deformations, abelian extensions of morphism Lie algebras and classify skeletal morphism sh Lie algebras. Finally, we consider the cohomology of morphism Lie groups and find a relation with the cohomology of morphism Lie algebras.
We apply the sheaf cohomology BGG method developed by the authors and Lachowska-Qi to the computation of Hochschild cohomology groups of various blocks of the small quantum group. All our computations of the center of the corresponding block agree with the conjectures of Lachowska-Qi. In the case of the nontrivial singular block for $\mathfrak{g} = \mathfrak{sl}_3$, we obtain the H*$(\mathfrak{u}, \mathbb{C}) = \mathbb{C}[\mathcal{N}]$-module structure of HH*$(\mathfrak{u}_λ)$.
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 compute the first cohomology spaces $H^1(\mathfrak{osp}(1|2);\mathfrak{D}_{λ,μ})$ ($λ, μ\in\mathbb{R}$) of the Lie superalgebra $\mathfrak{osp}(1|2)$ with coefficients in the superspace $\mathfrak{D}_{λ,μ}$ of linear differential operators acting on weighted densities on the supercircle $S^{1|1}$. The structure of these spaces was conjectured in \cite{gmo}. In fact, we prove here that the situation is a little bit more complicated. (To appear in LMP.)
In this note we show that the theory of non abelian extensions of a Lie algebra $\mathfrak{g}$ by a Lie algebra $\mathfrak{h}$ can be understood in terms of a differential graded Lie algebra $L$. More precisely we show that the non-abelian cohomology $H^2_{nab}(\mathfrak{g},\mathfrak{h})$ is $\mathcal{MC}(L)$, the $π_0$ of the Deligne groupoid of $L$.
Let $G$ be a connected real reductive group with maximal compact subgroup $K$ of the same rank as $G$. In the recent paper of Huang, Pandžić and Vogan, it was shown that the admissible $Θ$--stable parabolic subalgebras $\mathfrak{q}$ of $\mathfrak{g}$ are in one-to-one correspodence with the faces of $W ρ$ intersecting the $\mathfrak{k}$--dominant Weyl chamber and that $A_{\mathfrak{q}}(0)$--modules can be classified by their Dirac cohomology in geometric terms. They described in detail the cases when $\mathfrak{g}_0$ is of type $A$, $B$, $F$ and $C$ except for $\mathfrak{g}_0 = \mathfrak{sp}(…
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…
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…
Building on Seidel-Solomon's fundamental work, we define the notion of a $\mathfrak{g}$-equivariant Lagrangian brane in an exact symplectic manifold $M$ where $\mathfrak{g} \subset SH^1(M)$ is a sub-Lie algebra of the symplectic cohomology of $M$. When $M$ is a (symplectic) mirror to an (algebraic) homogeneous space $G/P$, homological mirror symmetry predicts that there is an embedding of $\mathfrak{g}$ in $SH^1(M)$. This allows us to study a mirror theory to classical constructions of Borel-Weil and Bott. We give explicit computations recovering all finite dimensional irreducible representati…
We consider the $μ$-densities spaces $\mathcal{F}_μ$ with $μ\in\mathbb{R}$, we compute the space $\mathrm{H}^1_\mathrm{diff}(\mathfrak{aff}(1),\mathrm{D}_{λ,μ})$ where $λ=(λ_1,\dots,λ_n)\in\mathbb{R}^n$ and $\mathrm{D}_{λ,μ}$ is the space of $n$-ary differential operators from $\mathcal{F}_{λ_1}\otimes\cdots\otimes\mathcal{F}_{λ_n}$ to $\mathcal{F}_μ$. We also compute the super analog space $\mathrm{H}^1_\mathrm{diff}(\mathfrak{aff}(1|1),\mathfrak{D}_{λ,μ})$.
In this note we describe the cohomology ring of the Grassmannian of $k$-planes in $n$-dimensional complex vector space as an $\mathrm{GL}_n$-module. We give explicit formulas for the operators of its principal $\mathfrak{sl}_2$-triple. It is proved that one of these operators corresponds to the shifted cohomology degree operator and the second operator coincides with the Lefschetz map on cohomology (as in the hard Lefschetz theorem). We check that the cohomology ring of the complex Grassmannian as a $\mathrm{GL}_n$-representation is isomorphic to the $k$-th exterior power of the standard $n$-d…
We establish an explicit formula for the character of an irreducible finite-dimensional representation of $\mathfrak{gl}(m|n)$. The formula is a finite sum with integer coefficients in terms of a basis $\mathcal{E}_μ$ (Euler characters) of the character ring. We prove a simple formula for the behaviour of the ``superversion'' of $\mathcal{E}_μ$ in the $\mathfrak{gl}(m|n)$ and $\mathfrak{osp}(m|2n)$-case under the map $ds$ on the supercharacter ring induced by the Duflo-Serganova cohomology functor $DS$. As an application we get combinatorial formulas for superdimensions, dimensions and $\mathf…
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.
Let $F$ be a totally real field, $\mathfrak{p}$ an unramified place of $F$ dividing $p$ and $\overline{r}: \mathrm{Gal}(\overline{F}/F)\rightarrow\mathrm{GL}_2(\overline{\mathbb{F}}_p)$ a continuous irreducible modular representation. The work of Buzzard, Diamond and Jarvis associates to $\overline{r}$ an admissible smooth representation of $\mathrm{GL}_2(F_\mathfrak{p})$ on the mod $p$ cohomology of Shimura curves attached to indefinite division algebras which split at $\mathfrak{p}$. When $\overline{r}|_{\mathrm{Gal}(\overline{F_\mathfrak{p}}/F_\mathfrak{p})}$ is tamely ramified and generic …
We recover the classification of the maximally supersymmetric bosonic backgrounds of eleven-dimensional supergravity by Lie algebraic means. We classify all filtered deformations of the $\mathbb Z$-graded subalgebras $\mathfrak{h}=\mathfrak{h}_{-2}\oplus\mathfrak{h}_{-1}\oplus\mathfrak{h}_{0}$ of the Poincaré superalgebra $\mathfrak{g}=\mathfrak{g}_{-2}\oplus\mathfrak{g}_{-1}\oplus\mathfrak{g}_{0}=V\oplus S\oplus \mathfrak{so}(V)$ which differ only in zero degree, that is $\mathfrak{h}_0\subset\mathfrak{g}_0$ and $\mathfrak{h}_j=\mathfrak{g}_j$ for $j<0$. Aside from the Poincaré superalgebra i…
The explicit Verlinde formula for the dimension of conformal blocks, attached to a marked projective curve $Σ$, a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ and integrable highest weight modules of a fixed central charge of the corresponding affine Lie algebra $\hat{L}(\mathfrak{g})$ attached to the marked points, requires (among several other important ingredients) a Lie algebra cohomology vanishing result due to C. Teleman for the positive part $\hat{L}^+(\mathfrak{g})$ with coefficients in the tensor product of an integrable highest weight module with copies of finite dimensional e…
For the $p$-dimensional filiform Lie algebra ${\mathfrak m}_2(p)$ over a field ${\mathbb F}$ of prime characteristic $p\ge 5$ with nonzero Lie brackets $[e_1,e_i] = e_{i+1}$ for $1<i<p$ and $[e_2,e_i]=e_{i+2}$ for $2<i<p-1$, we show that there is a family ${\mathfrak m}_2^λ(p)$ of restricted Lie algebra structures parameterized by elements $λ\in {\mathbb F}^p$. We explicitly describe bases for the ordinary and restricted 1- and 2-cohomology spaces with trivial coefficients, and give formulas for the bracket and $[p]$-operations in the corresponding restricted one-dimensional central extensions…
Let $G=\operatorname{O}(1,n+1)$ with maximal compact subgroup $K$ and let $Π$ be a unitary irreducible representation of $G$ with non-trivial $(\mathfrak{g},K)$-cohomology. Then $Π$ occurs inside a principal series representation of $G$, induced from the $\operatorname{O}(n)$-representation $\bigwedge\nolimits^p(\mathbb{C}^n)$ and characters of a minimal parabolic subgroup of $G$ at the limit of the complementary series. Considering the subgroup $G'=\operatorname{O}(1,n)$ of $G$ with maximal compact subgroup $K'$, we prove branching laws and explicit Plancherel formulas for the restrictions to…
In this paper, we show that the Dirac cohomology $H_{D}(L(λ))$ of a simple highest weight module $L(λ)$ in $\mathcal{O}^\mathfrak{p}$ can be parameterized by a specific set of weights: a subset $\mathcal{W}_I(λ)$ of the orbit of the Weyl group $W$ acting on $λ+ρ$. As an application, we show that any simple module in $\mathcal{O}^\mathfrak{p}$ is determined up to isomorphism by its Dirac cohomology. We describe four parameterizations of $H_D(L(λ))$ when $λ$ is regular. Two of these parameterizations are geometric in terms of a partial ordering on the dual of the Cartan subalgebra and a generali…
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 …
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 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 prove the analog of Kostant's Theorem on Lie algebra cohomology in the context of quantum groups. We prove that Kostant's cohomology formula holds for quantum groups at a generic parameter $q$, recovering an earlier result of Malikov in the case where the underlying semisimple Lie algebra $\mathfrak{g} = \mathfrak{sl}(n)$. We also show that Kostant's formula holds when $q$ is specialized to an $\ell$-th root of unity for odd $\ell \ge h-1$ (where $h$ is the Coxeter number of $\mathfrak{g}$) when the highest weight of the coefficient module lies in the lowest alcove. This can be regarded as …
Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $ξ$ of $\mathbb{E}$-triangles. In this paper, we study complete cohomology of objects in $(\mathcal{C},\mathbb{E},\mathfrak{s})$ by applying $ξ$-projective resolutions and $ξ$-injective coresolutions constructed in $(\mathcal{C},\mathbb{E},\mathfrak{s})$. Vanishing of complete cohomology detects objects with finite $ξ$-projective dimension and finite $ξ$-injective dimension. As a consequence, we obtain some criteria for the validity of the Wakamatsu Tilting Conjecture and give a necessary and sufficie…
Using the cubic Dirac operator and an extended notion of Dirac cohomology we generalize results of Huang-Pandzic, which appeared in JAMS (Sept. 6, 2001 electronic) on a conjecture of D. Vogan
The paper explores the indecomposable submodule structures of quantum divided power algebra $\mathcal{A}_q(n)$ defined in \cite{HU} and its truncated objects $\mathcal{A}_q(n, \bold m)$. An "intertwinedly-lifting" method is established to prove the indecomposability of a module when its socle is non-simple. The Loewy filtrations are described for all homogeneous subspaces $\mathcal{A}^{(s)}_q(n)$ or $\mathcal{A}_q^{(s)}(n, \bold m)$, the Loewy layers and dimensions are determined. The rigidity of these indecomposable modules is proved. An interesting combinatorial identity is derived from our …
We define a pair of symplectic Dirac operators $(D^+,D^-)$ in an algebraic setting motivated by the analogy with the algebraic orthogonal Dirac operators in representation theory. We work in the settings of $\mathbb Z/2$-graded quadratic Lie algebras $\mathfrak g=\mathfrak k+\mathfrak p$ and of graded affine Hecke algebras $\mathbb H$.
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.
Mathematics Institute, Georg-August-University of Göttingen(哥廷根大学数学研究所);Department of Mathematics, Aristotle University of Thessaloniki(萨洛尼卡亚里士多德大学数学系);Institut für Mathematik, Julius-Maximilians-Universität Würzburg(维尔茨堡大学数学研究所)
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.
Let $X$ denote the non-compact globally Hermitian symmetric space of type $DIII$, namely, $\text{SO}(n,\mathbb{H})/\text{U}(n)$. Let $Λ$ be a uniform torsionless lattice in $\text{SO}(n,\mathbb{H})$. In this note we construct certain complex analytic submanifolds in the locally symmetric space $X_Γ:=Γ\backslash \text{SO}(n,\mathbb{H})/\text{U}(n)$ for certain finite index sub lattices $Γ\subset Λ$ and show that their dual cohomology classes in $H^*(X_Γ;\mathbb{C})$ are not in the image of the Matsushima homomorphism $H^*(X_u; \mathbb{C})\to H^*(X_Γ;\mathbb{C})$, where $X_u=\text{SO}(2n)/\text{…
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).
We modify the definition of Dirac cohomology in such a way that the standard properties of the usual Dirac cohomology, valid for modules with infinitesimal character, become valid also for modules with only generalized infinitesimal character.
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 …
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.
For an acyclic quiver, we establish a connection between the cohomology of quiver Grassmannians and the dual canonical bases of the algebra $U_q^-(\mathfrak{g})$, where $U_q^-(\mathfrak{g})$ is the negative half of the quantized enveloping algebra associated with the quiver. In order to achieve this goal, we study the cohomology of quiver Grassmannians by Lusztig's category. As a consequence, we describe explicitly the Poincaré polynomials of rigid quiver Grassmannians in terms of the coefficients of dual canonical bases, which are viewed as elements of quantum shuffle algebras. By this result…
The aim of this paper is to put some recent results of Huang-Pandzic (conjectured by Vogan) and Kostant on Dirac cohomology in a broader perspective.This is achieved by introducing an induction functor in the noncommutative equivariant cohomology. In this context, the results of Huang-Pandzic and Kostant are interpreted as special cases (corresponding to the manifold being a point) of more general results on noncommutative equivariant cohomology introduced by Alekseev-Meinrenken.
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.
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.