In this paper, we classify all irreducible weight modules with finite dimensional weight spaces over the $W$-algebra $W(2, 2)$. Meanwhile, all indecomposable modules with one dimensional weight spaces over the $W$-algebra $W(2, 2)$ are also determined.
The non-degenerate spherical principal series of quantum Harish-Chandra modules is constructed. These modules appear in the theory of quantum bounded symmertic domains.
The Slodowy slice is an especially nice slice to a given nilpotent conjugacy class in a semisimple Lie algebra. Premet introduced noncommutative quantizaions of the Poisson algebra of polynomial functions on the Slodowy slice. In this paper, we define and study Harish-Chandra bimodules over Premet's algebras. We apply the technique of Harish-Chandra bimodules to prove a conjecture of Premet concerning primitive ideals, and to construct `noncommutative resolutions' of Slodowy slices via translation functors.
This paper is devoted to the Harish-Chandra-type decomposition of the global nonsymmetric spherical functions in terms of their asymptotic expansions and the q,t-generalization of the celebrated c-function. This is for any reduced root systems in the q,t-setting; we pay special attention to the case of A1, where this decomposition is very explicit.
In this paper, we classify all simple jet modules for the Neveu-Schwarz algebra $\widehat{\mathfrak{k}}$ and its contact subalgebra $\mathfrak{k}^+$. Based on these results, we give a classification of simple Harish-Chandra modules for $\widehat{\mathfrak{k}}$ and $\mathfrak{k}^+$.
Let $A=\mathbb{C}[t_1^{\pm1},t_2^{\pm1}]$ be the algebra of Laurent polynomials in two variables and $B$ be the set of skew derivations of $A$. Let $L$ be the universal central extension of the derived Lie subalgebra of the Lie algebra $A\rtimes B$. Set $\widetilde{L}=L\oplus\mathbb{C} d_1\oplus\mathbb{C} d_2$, where $d_1$, $d_2$ are two degree derivations. A Harish-Chandra module is defined as an irreducible weight module with finite dimensional weight spaces. In this paper, we prove that a Harish-Chandra module of the Lie algebra $\widetilde{L}$ is a uniformly bounded module or a generalized…
It is obtained that an irreducible weight module with finite weight multiplicities over a higher rank Virasoro or super-Virasoro algebra is either a module of the intermediate series, or a so-called finitely-dense module.
We construct an explicit Harish-Chandra isomorphism, from the quantum Hamiltonian reduction of the algebra D_q(GL_2) of quantum differential operators on GL_2, to the spherical double affine Hecke algebra associated to GL2. The isomorphism holds for all deformation parameters non-zero q, t, such that t does not equal to +/-i, and q is not a non-trivial root of unity. We also discuss its extension to the root of unity case.
We define an affine Jacquet functor and use it to describe the structure of induced affine Harish-Chandra modules at noncritical levels, extending the theorem of Kac and Kazhdan [KK] on the structure of Verma modules in the Bernstein-Gelfand-Gelfand categories O for Kac-Moody algebras. This is combined with a vanishing result for certain extension groups to construct a block decomposition of the categories of affine Harish-Chandra modules of Lian and Zuckerman [LZ]. The latter provides an extension of the works of Rocha-Caridi, Wallach [RW] and Deodhar, Gabber, Kac [DGK] on block decomposition…
Characteristic cycles,leading term cycles,associated varieties and Harish-Chandra cells are computed for the family of highest weight Harish-Chandra modules for Sp(2n, R) having regular integral infinitesimal character.
In this paper we study a quantum analogue of a degenerate principal series of $U_q \mathfrak{su}_{n,n}$-modules ($0<q<1$) related to the Shilov boundary of the quantum $n \times n$-matrix unit ball. We give necessary and sufficient conditions for the modules to be simple and unitarizable and investigate their equivalence. These results are q-analogues of known classical results on reducibility and unitarizability of SU(n,n)-modules obtained by Johnson, Sahi, Zhang, Howe and Tan.
We study Harish-Chandra representations of Yangian for gl(2). We prove an analogue of Kostant theorem showing that resterited Yangians for gl(2) are free modules over certain maximal commutative subalgebras. We also study the categories of generic Harish-Chandra modules, describe their simple modules and indecomposable modules in tame blocks.
In this paper, it is proved that all irreducible Harish-Chandra modules over the $\Q$ Heisenberg-Virasoro algebra are of intermediate series (all weight spaces are 1-dimensional).
In this paper we continue the study of the category of modular Harish-Chandra bimodules initiated by Bezrukavnikov and Riche and also study the modular version of the BGG category $\mathcal{O}$. We prove a version of the Bezrukavnikov-Mirkovic-Rumynin localization theorem for the Harish-Chandra bimodules and for the category $\mathcal{O}$. We also relate the category of Harish-Chandra bimodules to the affine Hecke category building on the prior work of Bezrukavnikov and Riche.
The main result of the paper is a natural construction of the spherical subalgebra in a symplectic reflection algebra associated with a wreath-product in terms of quantum hamiltonian reduction of an algebra of differential operators on a representation space of an extended Dynkin quiver. The existence of such a construction has been conjectured in [EG]. We also present a new approach to reflection functors and shift functors for generalized preprojective algebras and symplectic reflection algebras associated with wreath-products.
In this paper, using the theory of $\A$-cover developed in \cite{B1,BF1}, we completely classify all simple Harish-Chandra modules over the high rank $W$-algebra $W(2,2)$. As a byproduct, we obtain the classification of simple Harish-Chandra modules over the classical $W$-algebra $W(2,2)$ studied in \cite{LGZ,CLW,GLZ1}.
Characteristic cycles and leading term cycles of irreducible highest weight Harish-Chandra modules of regular integral infinitesimal character are determined. In the simply laced cases they are irreducible, but in the nonsimply laced cases they are more complicated.
Many examples are given of irreducible Harish-Chandra modules for type C having reducible leading term cycles. Examples are also given of irreducibles in category O having reducible associated varieties in type C.
We show that the coefficients of Kazhdan-Lusztig-Vogan polynomials attached to certain blocks of Harish-Chandra modules satisfy a monotonicity property relative to the closure order on K-orbits in the flag variety.
We show that all the K-finite matrix elements of irreducible Harish-Chandra modules can can be expressed in spherical functions using finite number of operations
We study the effect of the Howe correspondence on Harish-Chandra series for type I dual pairs ($\mathbf{U}_m(\mathbb{F}_q),\mathbf{U}_n(\mathbb{F}_q$)) and ($\mathbf{Sp}_{2m}(\mathbb{F}_q),\mathbf{O}^\pm_{2n}(\mathbb{F}_q)$), where $\mathbb{F}_q$ denotes the finite field with $q$ elements ($q$ odd). We use the Lusztig correspondence to reduce the study of the Howe correspondence between Harish-Chandra series to a correspondence between unipotent Harish-Chandra series. Finally, we provide two applications of these results.
We show how to compute annihilators and associated varieties of simple Harish-Chandra modules for Sp(p,q) with trivial infinitesimal character from a pair of domino tableaux attached to a parameter for such a module.
In this paper, we give a new approach to classify all simple Harish-Chandra modules for the N=1 Ramond algebra based on the so called A-cover theory developed in \cite{BF}
An elementary and self-contained approach to smooth Frechet globalizations of Harish-Chandra modules is presented. We provide applications to the theory of Eisenstein series and Automatic Continuity.
We survey some results on tensor products of irreducible Harish-Chandra bimodules. It turns out that such tensor products are semisimple in suitable Serre quotient categories. We explain how to identify the resulting semisimple tensor categories and describe some applications to representation theory.
The distribution of the unipotent modules (in non-defining prime characteristic) of the finite unitary groups into Harish-Chandra series is investigated. We formulate a series of conjectures relating this distribution with the crystal graph of an integrable module for a certain quantum group. Evidence for our conjectures is presented, as well as proofs for some of their consequences for the crystal graphs involved. In the course of our work we also generalize Harish-Chandra theory for some of the finite classical groups, and we introduce their Harish-Chandra branching graphs.
In this paper we study the category of Harish-Chandra bimodules $HC_{χ,ψ}$ in the Deligne category $\text{Rep}(GL_t)$. In particular, we answer Question 3.25 posed in Pavel Etingof's paper arXiv:1407.0373 and determine for which central characters $χ$ and $ψ$ this category is not zero.
We formulate and prove a Paley-Wiener theorem for Harish-Chandra modules for a real reductive group. As a corollary we obtain a new and elementary proof of the Helgason conjecture.
We construct categories of Harish-Chandra bimodules for affine Lie algebras analogous to Harish-Chandra bimodules with infinitesimal characters for simple Lie algebras, addressing an old problem raised by I. Frenkel and Malikov. Under an integrality hypothesis, we establish monoidal equivalences between blocks of our affine Harish-Chandra bimodules and versions of the affine Hecke category. To do so, we introduce a new singular localization onto Whittaker flag manifolds. The argument for the latter specializes to a somewhat alternative treatment of regular localization, and identifies the cate…
We prove a general existence result for infinite-dimensional admissible (g;k)-modules, where g is a reductive finite-dimensional complex Lie algebra and k is a reductive in g algebraic subalgebra.
We make a first step towards a classification of simple generalized Harish-Chandra modules which are not Harish-Chandra modules or weight modules of finite type. For an arbitrary algebraic reductive pair of complex Lie algebras $(\g,\k)$, we construct, via cohomological induction, the fundamental series $F^\cdot (\p,E)$ of generalized Harish-Chandra modules. We then use $F^\cdot (\p,E)$ to characterize any simple generalized Harish-Chandra module with generic minimal $\k$-type. More precisely, we prove that any such simple $(\g,\k)$-module of finite type arises as the unique simple submodule o…
We give a cohomological treatment of a character theory for (g,K)-modules. This leads to a nice formalism extending to large categories of not necessarily admissible (g,K)-modules. Due to results of Hecht, Schmid and Vogan the classical results of Harish-Chandra's global character theory extend to this general setting. As an application we consider a general setup, for which we show that algebraic characters answer discretely decomposable branching problems.
We prove a category equivalence between algebraic supergroups and Harish-Chandra pairs over a commutative ring which is $2$-torsion free. The result is applied to re-construct the Chevalley $\mathbb{Z}$-supergroups constructed by Fioresi and Gavarini [8] and by Gavarini [9, 10]. For a wide class of algebraic supergroups we describe their representations by using their super-hyperalgebras.
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 …
Over an arbitrary field of characteristic $\ne 2$, we define the notion of Harish-Chandra pairs, and prove that the category of those pairs is anti-equivalent to the category of algebraic affine supergroup schemes. The result is applied to characterize some classes of affine supergroup schemes such as those which are (a) simply connected, (b) unipotent or (c) linearly reductive in positive characteristic.
We consider the category of Harish-Chandra modules for ${\rm SL}_2(\mathbb R)$ as a module over the category of finite-dimensional representations of ${\rm SL}(2)$ with respect to the tensor product. In this note we use classical results about principal series to obtain a classification of $\otimes$-submodules of the category of Harish-Chandra modules of ${\rm SL}_2(\mathbb R)$. The resulting classification recovers the classical classification of irreducible Harish-Chandra modules. Our methods are expected to generalize to arbitrary reductive pairs and more general base fields.
We continue the study of Harish-Chandra bimodules in the setting of the Deligne categories $\mathrm{Rep}(G_t)$, that was started in the previous work of the first author (arXiv:2002.01555). In this work we construct a family of Harish-Chandra bimodules that generalize simple finite dimensional bimodules in the classical case. It turns out that they have finite $K$-type, which is a non-vacuous condition for the Harish-Chandra bimodules in $\mathrm{Rep}(G_t)$. The full classification of (simple) finite $K$-type bimodules is yet unknown. This construction also yields some examples of central char…
The irreducible characters of a finite reductive group are partitioned into Harish-Chandra series that are labelled by cuspidal pairs. In this note, we describe how one can algorithmically calculate those cuspidal pairs using results of Lusztig.
For any complex reductive Lie algebra g and any locally finite g-module V, we extend to the tensor product of U(g) with V the Harish-Chandra description of g-invariants in the universal enveloping algebra U(g).
In the case of cyclic quiver we prove that the deformed Harish-Chandra map whose existence was conjectured by Etingof and Ginzburg is well defined. As an application we prove Kirillov-type formula for the cyclotomic Bessel function.
In this paper, we introduce the Harish-Chandra homomorphism for the quantum superalgebra $\mathrm{U}_q(\mathfrak{g})$ associated with a simple basic Lie superalgebra $\mathfrak{g}$ and give an explicit description of its image. We use it to prove that the center of $\mathrm{U}_q(\mathfrak{g})$ is isomorphic to a subring of the ring $J(\mathfrak{g})$ of exponential super-invariants in the sense of Sergeev and Veselov, establishing a Harish-Chandra type theorem for $\mathrm{U}_q(\mathfrak{g})$. As a byproduct, we obtain a basis of the center of $\mathrm{U}_q(\mathfrak{g})$ with the aid of quasi-…
Given a simple Harish-Chandra module for this group of trivial infinitesimal character, parametrized by a signed involution, we produce combinatorial recipes for attaching to it a pair of tableaux from which its annihilator and associated variety can be read off.