This paper computes the Dirac index of all the weakly fair $A_{\mathfrak{q}}(λ)$ modules of $U(p, q)$. Although counter-examples have been found to a conjecture of Vogan on the unitary dual of $U(p, q)$ phrased by Trapa in 2001, we believe that any irreducible unitary representation of $U(p, q)$ with non-zero Dirac cohomology must be a weakly fair $A_{\mathfrak{q}}(λ)$ module.
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}(…
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$.
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…
We introduce the local and global indices of Dirac operators for the rational Cherednik algebra $\mathsf{H}_{t,c}(G,\mathfrak{h})$, where $G$ is a complex reflection group acting on a finite-dimensional vector space $\mathfrak{h}$. We investigate precise relations between the (local) Dirac index of a simple module in the category $\mathcal{O}$ of $\mathsf{H}_{t,c}(G,\mathfrak{h})$, the graded $G$-character of the module, the Euler-Poincaré pairing, and the composition series polynomials for standard modules. In the global theory, we introduce integral-reflection modules for $\mathsf{H}_{t,c}(G…
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.
Given a classical symmetric pair, $(G,K)$, with $\mathfrak g = Lie(G)$, we provide descriptions of the Hilbert series of the algebra of $K$-invariant vectors in the associated graded algebra of $\mathcal U(\mathfrak g)$ viewed as a $K$-representation under restriction of the adjoint representation. The description illuminates a certain stable behavior of the Hilbert series, which is investigated in a case-by-case basis. We note that the stable Hilbert series of one symmetric pair often coincides with others. Also, for the case of the real form $U(p,q)$ we derive a closed expression for the Hil…
The Lie algebra generated by $m\ $ $p$-dimensional Grassmannian Dirac operators and $m\ $ $p$-dimensional vector variables is identified as the orthogonal Lie algebra $\mathfrak{so}(2m+1)$. In this paper, we study the space $\mathcal{P}$ of polynomials in these vector variables, corresponding to an irreducible $\mathfrak{so}(2m+1)$ representation. In particular, a basis of $\mathcal{P}$ is constructed, using various Young tableaux techniques. Throughout the paper, we also indicate the relation to the theory of parafermions.
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 paper, we study the representation theory of super $W(2,2)$ algebra ${\mathfrak{L}}$. We prove that ${\mathfrak{L}}$ has no mixed irreducible modules and give the classification of irreducible modules of intermediate series. We determinate the conjugate-linear anti-involution of ${\mathfrak{L}}$ and give the unitary modules of intermediate series.
This paper is a review of results on generalized Harish-Chandra modules in the framework of cohomological induction. The main results, obtained during the last 10 years, concern the structure of the fundamental series of $(\mathfrak{g},\mathfrak{k})-$modules, where $\mathfrak{g}$ is a semisimple Lie algebra and $\mathfrak{k}$ is an arbitrary algebraic reductive in $\mathfrak{g}$ subalgebra. These results lead to a classification of simple $(\mathfrak{g},\mathfrak{k})-$modules of finite type with generic minimal $\mathfrak{k}-$types, which we state. We establish a new result about the Fernando-…
There exist principal $\mathfrak{sl}_2$ subalgebras for hyperbolic Kac-Moody Lie algebras. In the case of rank 2 symmetric hyperbolic Kac-Moody Lie algebras, certain $\mathfrak{sl}_2$ subalgebras are constructed. These subalgebras are generalizations of principal $\mathfrak{sl}_2$ subalgebras. We show that the rank 2 symmetric hyperbolic Kac-Moody Lie algebras themselves are irreducibly decomposed under the action of this $\mathfrak{sl}_2$ subalgebras. Furthermore, we classify irreducible components of the decomposition. In particular, we obtain multiplicities of unitary principal series and c…
For the Lie algebras $g_n= \mathfrak{o}_{2n+1},\mathfrak{sp}_{2n},\mathfrak{o}_{2n}$ a simple construction of a base in an irreducible representation is given. The construction of this base uses the method of $Z$-invariants of Zhelobenko and the technique of Wigner coefficients, which was applied by Biedenharn and Baird to the construction of a Gelfand-Tsetlin base in the case $\mathfrak{gl}_n$. A relation between matrix elements and Wigner coefficients for $g_n$ and analogous objects for $\mathfrak{gl}_{n+1}$ is established.
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…
Let ${\mathfrak g}$ be a finite dimensional Lie algebra over a field of characteristic 0, with solvable radical ${\mathfrak r}$ and nilpotent radical ${\mathfrak n}=[{\mathfrak g},{\mathfrak r}]$. Given a finite dimensional ${\mathfrak g}$-module $U$, its nilpotency series $ 0\subset U({\mathfrak n}^1)\subset\cdots\subset U({\mathfrak n}^m)=U$ is defined so that $U({\mathfrak n}^1)$ is the 0-weight space of ${\mathfrak n}$ in $U$, $U({\mathfrak n}^2)/U({\mathfrak n}^1)$ is the 0-weight space of ${\mathfrak n}$ in $U/U({\mathfrak n}^1)$, and so on. We say that $U$ is linked if each factor of it…
Let $G$ be a simple real Lie group with maximal parabolic subgroup $P$ whose nilradical is abelian. Then $X=G/P$ is called a symmetric $R$-space. We study the degenerate principal series representations of $G$ on $C^\infty(X)$ in the case where $P$ is not conjugate to its opposite parabolic. We find the points of reducibility, the composition series and all unitarizable constituents. Among the unitarizable constituents we identify some small representations having as associated variety the minimal nilpotent $K_{\mathbb{C}}$-orbit in $\mathfrak{p}_{\mathbb{C}}^*$, where $K_{\mathbb{C}}$ is the …
In this paper, we introduce a class of infinite Lie conformal algebras $\mathfrak{B}(α,β,p)$, which are the semi-direct sums of Block type Lie conformal algebra $\mathfrak{B}(p)$ and its non-trivial conformal modules of $\Z$-graded free intermediate series. The annihilation algebras are a class of infinite-dimensional Lie algebras, which include a lot of interesting subalgebras: Virasoro algebra, Block type Lie algebra, twisted Heisenberg-Virasoro algebra and so on. We give a complete classification of all finite non-trivial irreducible conformal modules of $\mathfrak{B}(α,β,p)$ for $α,β\in\C,…
Using representation theory, we compute the spectrum of the Dirac operator on the universal covering group of $SL_2(\mathbb R)$, exhibiting it as the generator of $KK^1(\mathbb C, \mathfrak A)$, where $\mathfrak A$ is the reduced $C^*$-algebra of the group. This yields a new and direct computation of the $K$-theory of $\mathfrak A$. A fundamental role is played by the limit-of-discrete-series representation, which is the frontier between the discrete and the principal series of the group. We provide a detailed analysis of the localised spectra of the Dirac operator and compute the Dirac cohomo…
In the paper using the method of $Z$-invariants of Zhelobenko we construct base vectors of Gelfand-Tsetlin type in a representation of $\mathfrak{o}_{2n+1}$, based on restrictions $\mathfrak{o}_{2n+1}\downarrow\mathfrak{o}_{2n-1}$. The construction is based on a discovered relation between restriction problems $\mathfrak{o}_{2n+1}\downarrow\mathfrak{o}_{2n-1}$ and $\mathfrak{gl}_{n+1}\downarrow\mathfrak{gl}_{n-1}$.
Let $\mathfrak{g}$ be a complex semisimple Lie algebra. The Beilinson-Bernstein localization theorem establishes an equivalence of the category of $\mathfrak{g}$-modules of a fixed infinitesimal character and a category of modules over a twisted sheaf of differential operators on the flag variety of $\mathfrak{g}$. In this expository paper, we give four detailed examples of this theorem when $\mathfrak{g}=\mathfrak{sl}(2,\mathbb{C})$. Specifically, we describe the $\mathcal{D}$-modules associated to finite-dimensional irreducible $\mathfrak{g}$-modules, Verma modules, Whittaker modules, discre…
Up to equivalence, this paper classifies all the irreducible unitary representations with non-zero Dirac cohomology for the simple Lie group $E_{6(-14)}$, which is of Hermitian symmetric type. Each FS-scattered Dirac series of $E_{6(-14)}$ is realized as a composition factor of certain $A_{\mathfrak{q}}(λ)$ module. Along the way, we have also obtained all the fully supported irreducible unitary representations of $E_{6(-14)}$ with integral infinitesimal characters.
In this paper we use the canonical complex structure $\mathbb{J}$ on $\mathbb{R}^{2n}$ to introduce a twist of the symplectic Dirac operator. As a matter of fact, these operators can be interpreted as the bosonic analogues of the Dirac operators on a Hermitian manifold. Moreover, we prove that the algebra of these symplectic Dirac operators is isomorphic to the Lie algebra $\mathfrak{su}(1,2)$ which leads to the Howe dual pair $(\mathsf{U}(n),\mathfrak{su}(1,2))$.
We introduce a Banach Lie group $G$ of unitary operators subject to a natural trace condition. We compute the homotopy groups of $G$, describe its cohomology and construct an $S^1$-central extension. We show that the central extension determines a non-trivial gerbe on the action Lie groupoid $G\ltimes \mathfrak{k}$, where $\mathfrak{k}$ denotes the Hilbert space of self-adjoint Hilbert-Schmidt operators. With an eye towards constructing elements in twisted K-theory, we prove the existence of a cubic Dirac operator $\mathbb{D}$ in a suitable completion of the quantum Weil algebra $\mathcal{U}(\…
Let $F$ be an algebraically closed field and consider the Lie algebra ${\mathfrak g}=\langle x\rangle\ltimes {\mathfrak a}$, where $\mathrm{ad}\, x$ acts diagonalizably on the abelian Lie algebra ${\mathfrak a}$. Refer to a ${\mathfrak g}$-module as admissible if $[{\mathfrak g},{\mathfrak g}]$ acts via nilpotent operators on it, which is automatic if $\mathrm{char}(F)=0$. In this paper we classify all indecomposable ${\mathfrak g}$-modules $U$ which are admissible as well as uniserial, in the sense that $U$ has a unique composition series.
Let $G$ be $Sp(2n, \mathbb{R})$ or $SO^*(2n)$. We compute the Dirac index of a large class of unitary representations considered by Vogan in Section 8 of [Vog84], which include all weakly fair $A_{\mathfrak{q}}(λ)$ modules and (weakly) unipotent representations of $G$ as two extreme cases. We conjecture that these representations exhaust all unitary representations of $G$ with nonzero Dirac cohomology. In general, for certain irreducible unitary module of an equal rank group, we clarify the link between the possible cancellations in its Dirac index, and the parities of its spin-lowest $K$-type…
The notion of algebraic Dirac induction was introduced by P. Pandžić and D. Renard. This is a construction which gives representations with prescribed Dirac cohomology. They proved that all holomorphic discrete series representations can be constructed via Dirac induction. All discrete series representations of the group $SO_{e}(4,1)$ are nonholomorphic. In this paper we prove that they can also be constructed using algebraic Dirac induction.
I present several applications of the Dirac inequality to the determination of isolated unitary representations and associated "spectral gaps" in the case of unramified principal series. The method works particularly well in order to attach irreducible unitary representations to the large nilpotent orbits (e.g., regular, subregular) in the Langlands dual complex Lie algebra. The results could be viewed as a $p$-adic analogue of Salamanca-Riba's classification of irreducible unitary $(\mathfrak g,K)$-modules with strongly regular infinitesimal character.
In a joint paper P. Pandžić and D. Renard proved that holomorphic and antiholomorphic discrete series representations can be constructed via algebraic Dirac induction. The group $SU(2,1)$, except for those two types, also has a third type of discrete series representations that are neither holomorphic nor antiholomorphic. In this paper we show that nonholomorphic discrete series representations of the group $SU(2,1)$ can also be constructed using algebraic Dirac induction.
In this paper we consider (polynomial) solution spaces for the symplectic Dirac operator (with a focus on $1$-homogeneous solutions). This space forms an infinite-dimensional representation space for the symplectic Lie algebra $\mathfrak{sp}(2m)$. Because $\mathfrak{so}(m)\subset \mathfrak{sp}(2m)$, this leads to a branching problem which generalises the classical Fischer decomposition in harmonic analysis. Due to the infinite nature of the solution spaces for the symplectic Dirac operators, this is a non-trivial question: both the summands appearing in the decomposition and their explicit emb…
By further sharpening the Helgason-Johnson bound in 1969, this paper classifies all the irreducible unitary representations with non-zero Dirac cohomology of the Hermitian symmetric real form $E_{7(-25)}$.
This paper classifies the Dirac series for complex $E_7$. As applications, we verify a few conjectures raised in 2011, 2019 and 2020 for this exceptional Lie group. In particular, according to Conjecture 1.1 of Barbasch and Pandzic [BP], our classification should be helpful for understanding the unitary dual of complex $E_7$.
In the modular representation theory of finite unitary groups when the characteristic $\ell$ of the ground field is a unitary prime, the $\hat{\mathfrak{sl}}_e$-crystal on level $2$ Fock spaces graphically describes the Harish-Chandra branching of unipotent representations restricted to the tower of unitary groups. However, how to determine the cuspidal support of an arbitrary unipotent representation has remained an open question. We show that for $\ell$ sufficiently large, the $\mathfrak{sl}_\infty$-crystal on the same level $2$ Fock spaces provides the remaining piece of the puzzle for the …
Up to equivalence, this paper classifies all the irreducible unitary representations with non-zero Dirac cohomology for the following simple real exceptional Lie groups: ${\rm EI}=E_{6(6)}, {\rm EIV}=E_{6(-26)}, {\rm FI}=F_{4(4)}, {\rm FII}=F_{4(-20)}$. Along the way, we find an irreducible unitary representation of $F_{4(4)}$ whose Dirac index vanishes, while its Dirac cohomology is non-zero. This disproves a conjecture raised in 2015 asserting that there should be no cancellation between the even part and the odd part of the Dirac cohomology.
In a previous paper, the authors studied the radical filtration of a Weyl module $Δ_ζ(λ)$ for quantum enveloping algebras $U_ζ(\overset\circ{\mathfrak g})$ associated to a finite dimensional complex semisimple Lie algebra $\overset\circ{\mathfrak g}$. There $ζ^2=\sqrt[e]{1}$ and $λ$ was, initially, required to be $e$-regular. Some additional restrictions on $e$ were required---e.g., $e>h$, the Coxeter number, and $e$ odd. Translation to a facet gave an explicit semisimple series for all quantum Weyl modules with singular, as well as regular, weights. That is, the sections of the filtration are…
This paper computes the Dirac cohomology $H_D(π)$ of irreducible unitary Harish-Chandra modules $π$ of complex classical groups viewed as real reductive groups. More precisely, unitary representations with nonzero Dirac cohomology are shown to be unitarily induced from unipotent representations. When nonzero, there is a unique, multiplicity free $K-$type in $π$ contributing to $H_D(π)$. This confirms conjectures formulated by the first named author and Pandzic in 2011.
The unitary dual of $GL(n, \mathbb{R})$ was classified by Vogan in the 1980s. Focusing on the irreducible unitary representations of $GL(n, \mathbb{R})$ with half-integral infinitesimal characters, we find that Speh representations and the special unipotent representations are building blocks. By looking at the $K$-types of them, and by using a Blattner-type formula, we obtain all the irreducible unitary $(\mathfrak{g}, K)$-modules with non-zero Dirac cohomology of $GL(n, \mathbb{R})$, as well as a formula for (one of) their spin-lowest $K$-types. Moreover, analogous to the $GL(n,\mathbb{C})$ …
Using the sharpened Helgason-Johnson bound, this paper classifies all the irreducible unitary representations with non-zero Dirac cohomology of $E_{7(-5)}$. As an application, we find that the cancellation between the even part and the odd part of the Dirac cohomology continues to happen for certain unitary representations of $E_{7(-5)}$. Assuming the infinitesimal character being integral, we further improve the Helgason-Johnson bound for $E_{7(-5)}$. This should help people to understand (part of) the unitary dual of this group.
We consider modules $M$ over Lie algebroids ${\mathfrak g}_A$ which are of finite type over a local noetherian ring $A$. Using ideals $J\subset A$ such that ${\mathfrak g}_A \cdot J\subset J $ and the length $\ell_{{\mathfrak g}_A}(M/JM)< \infty$ we can define in a natural way the Hilbert series of $M$ with respect to the defining ideal $J$. This notion is in particular studied for modules over the Lie algebroid of $k$-linear derivations ${\mathfrak g}_A=T_{A/k}(I)$ that preserve an ideal $I\subset A$, for example when $A={\mathcal O}_n$, the ring of convergent power series. Hilbert series ove…
We conjecture an explicit bound on the prime characteristic of a field, under which the Weyl modules of affine $\mathfrak{sl}_2$ and the minimal series modules of Virasoro algebra remain irreducible, and Goddard-Kent-Olive coset construction for affine $\mathfrak{sl}_2$ is valid.
In the present article, we combine some techniques in the harmonic analysis together with the geometric approach given by modules over sheaves of rings of twisted differential operators ($\mathcal{D}$-modules), and reformulate the composition series and branching problems for objects in the Bernstein-Gelfand-Gelfand parabolic category $\mathcal{O}^\mathfrak{p}$ geometrically realized on certain orbits in the generalized flag manifolds. The general framework is then applied to the scalar generalized Verma modules supported on the closed Schubert cell of the generalized flag manifold $G/P$ for $…
In this paper we study properties of a certain bilinear form on finite dimensional $\mathfrak{sl}_2(\mathbb{R})$-modules, and how these properties behave with respect to tensor products of modules. An attempt to determine the signature of this form leads to an interesting identity for the hypergeometric series ${}_3F_2$, which is known as the Karlsson-Minton identity.