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.
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.
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 notion of a Harish-Chandra bimodule, i.e. finitely generated $U(\mathfrak{g})$-bimodule with locally finite adjoint action, was generalized to any filtered algebra in a work of Losev [Ivan Losev, Dimensions of irreducible modules over W-algebras and Goldie ranks. arXiv:1209.1083]. Similarly to the classical case we can define the notion of a unitarizable bimodule. We investigate a question when the regular bimodule, i.e. the algebra itself, for a deformation of Kleinian singularity of type $A$ is unitarizable. We obtain a partial classification of unitarizable regular bimodules.
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 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…
In this paper we classify the irreducible Harish-Chandra bimodules with full support over filtered quantizations of conical symplectic singularities under the condition that none of the slices to codimension 2 symplectic leaves has type $E_8$. More precisely, we show that the top quotient $\overline{\operatorname{HC}}(\mathcal{A}_λ)$ of the category of Harish-Chandra bimodules over the quantization $\mathcal{A}_λ$ with parameter $λ$ embeds into the category of representations of the algebraic fundamental group, $Γ$, of the open leaf. The image coincides with the representations of $Γ/Γ_λ$, whe…
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.
The category of character D-modules is realized as Drinfeld center of the abelian monoidal category of Harish-Chandra bimodules. Tensor product of Harish-Chandra bimodules is related to convolution of D-modules via the long intertwining functor (Radon transform) by a result of Beilinson and Ginzburg. Exactness property of the long intertwining functor on a cell subquotient of the Harish-Chandra bimodules category shows that the truncated convolution category can be realized as a subquotient of the category of Harish-Chandra bimodules. Together with the description of the truncated convolution …
We present a categorical point of view on dynamical quantum groups in terms of categories of Harish-Chandra bimodules. We prove Tannaka duality theorems for forgetful functors into the monoidal category of Harish-Chandra bimodules in terms of a slight modification of the notion of a bialgebroid. Moreover, we show that the standard dynamical quantum groups $F(G)$ and $F_q(G)$ are related to parabolic restriction functors for classical and quantum Harish-Chandra bimodules. Finally, we exhibit a natural Weyl symmetry of the parabolic restriction functor using Zhelobenko operators and show that it…
The purpose of this paper is to study categorifications of tensor products of finite dimensional modules for the quantum group for sl(2). The main categorification is obtained using certain Harish-Chandra bimodules for the complex Lie algebra gl(n). For the special case of simple modules we naturally deduce a categorification via modules over the cohomology ring of certain flag varieties. Further geometric categorifications and the relation to Steinberg varieties are discussed. We also give a categorical version of the quantised Schur-Weyl duality and an interpretation of the (dual) canonical …
We solve two problems in representation theory for the periplectic Lie superalgebra pe(n), namely the description of the primitive spectrum in terms of functorial realisations of the braid group and the decomposition of category O into indecomposable blocks. To solve the first problem we establish a new type of equivalence between category O for all (not just simple or basic) classical Lie superalgebras and a category of Harish-Chandra bimodules. The latter bimodules have a left action of the Lie superalgebra but a right action of the underlying Lie algebra. To solve the second problem we esta…
We use the technique of Harish-Chandra bimodules to prove that regular strongly typical blocks of the category $\mathcal{O}$ for the queer Lie superalgebra $\mathfrak{q}_n$ are equivalent to the corresponding blocks of the category $\mathcal{O}$ for the Lie algebra $\mathfrak{gl}_n$.
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 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 …
In this article a general framework for studying analytic representations of a real Lie group G is introduced. Fundamental topological properties of the representations are analyzed. A notion of temperedness for analytic representations is introduced, which indicates the existence of an action of a certain natural algebra A(G) of analytic functions of rapid decay. For reductive groups every Harish-Chandra module V is shown to admit a unique tempered analytic globalization, which is generated by V and A(G) and which embeds as the space of analytic vectors in all Banach globalizations of V.
In this paper we construct two kinds of infinite-dimensional 3-Lie algebras from a given commutative associative algebra, and show that they are all canonical Nambu 3-Lie algebras. We relate their inner derivation algebras to Witt algebras, and then study the regular representations of these 3-Lie algebras and the natural representations of the inner derivation algebras. In particular, for the second kind of 3-Lie algebras, we find that their regular representations are Harish-Chandra modules, and the inner derivation algebras give rise to intermediate series modules of the Witt algebras and c…
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.
We prove that every simple transitive $2$-representation of the fiat $2$-category of Soergel bimodules (over the coinvariant algebra) in type $B_2$ is equivalent to a cell $2$-representation. We also describe some general properties of the $2$-category of Soergel bimodules for arbitrary finite Dihedral groups.
We study the analogue of the Harish-Chandra homomorphism where the universal enveloping algebra is replaced by the Clifford algebra, $Cl(g)$, of a semisimple Lie algebra $g$. Two main goals are achieved. First, we prove that there is a Harish-Chandra type isomorphism between the subalgebra of $g$-invariants in $Cl(g)$ and the Clifford algebra of the Cartan subalgebra of $g$. Second, the Cartan subalgebra is identified, via this isomorphism, with a graded space of the so-called primitive skew-symmetric invariants of $g$. This leads to a distinguished orthogonal basis of the Cartan subalgebra, w…
We calculate all decomposition matrices of the cyclotomic Hecke algebras of the rank 2 exceptional complex reflection groups in characteristic 0. We prove the existence of canonical basic sets in the sense of Geck-Rouquier and show that all modular irreducible representations can be lifted to the ordinary ones.
Harish-Chandra induction and restriction functors play a key role in the representation theory of reductive groups over finite fields. In this paper, extending earlier work of Dat, we introduce and study generalisations of these functors which apply to a wide range of finite and profinite groups, typical examples being compact open subgroups of reductive groups over non-archimedean local fields. We prove that these generalisations are compatible with two of the tools commonly used to study the (smooth, complex) representations of such groups, namely Clifford theory and the orbit method. As a t…
For a real irreducible dual pair there is an integral kernel operator which maps the distribution character of an irreducible admissible representation of the group with the smaller or equal rank to an invariant eigendistribution on the group with the larger or equal rank. The purpose of this article is to transfer this construction to the p-adic case. We provide the precise definition of the integral kernel operator and formulate a conjecture.
We study the derived representation scheme DRep_n(A) parametrizing the n-dimensional representations of an associative algebra A over a field of characteristic zero. We show that the homology of DRep_n(A) is isomorphic to the Chevalley-Eilenberg homology of the current Lie coalgebra gl_n^*(C) defined over a Koszul dual coalgebra of A. We extend this isomorphism to representation schemes of Lie algebras: for a finite-dimensional reductive Lie algebra g, we define the derived affine scheme DRep_g(a) parametrizing the representations (in g) of a Lie algebra a; we show that the homology of DRep_g(…
In this article we analyze the structure of $2$-categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting $2$-category is fiat (in the sense of \cite{MM1}) and classify simple transitive $2$-representations of this $2$-category (under some mild technical assumption). We also study several classes of examples in detail.
A proof of Harish-Chandra's integrability theorem for cuspidal representations of $\mathrm{GL}_n(\mathbb F_\ell((t)))$
Weizmann Institute of Science(魏茨曼科学研究所);Northwestern University(西北大学);The Hebrew University of Jerusalem(耶路撒冷希伯来大学);Ben Gurion University of the Negev(内盖夫本-古里安大学)
For a Coxeter system and a representation $V$ of this Coxeter system, Soergel defined a category which is now called the category of Soergel bimodules and proved that this gives a categorification of the Hecke algebra when $V$ is reflection faithful. Elias and Williamson defined another category even when $V$ is not reflection faithful and they proved that this category is equivalent to the category of Soergel bimodules when $V$ is reflection faithful. Moreover they proved the categorification theorem for their category with less assumptions on $V$. In this paper, we give a "bimodule theoretic…
In this series of papers we want to discuss the highest weight ${\frak k}_r$-finite representations of the pair $({\frak g}_r,{\frak k}_r)$ consisting of ${\frak g}_r$, a real form of a complex basic Lie superalgebra of classical type ${\frak g}$ (${\frak g}\neq A(n,n)$), and the maximal compact subalgebra ${\frak k}_r$ of ${\frak} g_{r,0}$. These representations will be concretely realized through spaces of sections of holomorphic vector bundles on the associated Hermitian superspaces. In this part we shall discuss only the infinitesimal theory of the pair $({\frak g}_r, {\frak k}_r)$. We tre…
Let $G_{\mathbb{R}}$ be a simple real linear Lie group with maximal compact subgroup $K_{\mathbb{R}}$ and assume that ${\rm rank}(G_\mathbb{R})={\rm rank}(K_\mathbb{R})$. In \cite{MPVZ} we proved that for any representation $X$ of Gelfand-Kirillov dimension $\frac{1}{2}\dim(G_{\mathbb{R}}/K_{\mathbb{R}})$, the polynomial on the dual of a compact Cartan subalgebra given by the dimension of the Dirac index of members of the coherent family containing $X$ is a linear combination, with integer coefficients, of the multiplicities of the irreducible components occurring in the associated cycle. In t…
We start with observing that the only connected finite dimensional algebras with finitely many isomorphism classes of indecomposable bimodules are the quotients of the path algebras of uniformly oriented $A_n$-quivers modulo the radical square zero relations. For such algebras we study the (finitary) tensor category of bimodules. We describe the cell structure of this tensor category, determine existing adjunctions between its $1$-morphisms and find a minimal generating set with respect to the tensor structure. We also prove that, for the algebras mentioned above, every simple transitive $2$-r…
Given a supercuspidal representation $σ$ of a parabolic subgroup $P$ of reductive group $G$, we discover a universal hierarchical structure of reducibility of the parabolic induction $Ind^G_P(σ)$, i.e. always irreducible from some Levi-level up. As its applications, we provide a new simple proof of the generic irreducibility property of parabolic induction, and prove Clozel's finiteness conjecture of special exponents under some conditions. Indeed, those conditions are predicted by two conjectures of Shahidi which in some sense are proved for classical groups by Arthur in his monumental book--…
Let $G_{\mathbb{R}}$ be a simple real linear Lie group with maximal compact subgroup $K_{\mathbb{R}}$ and assume that ${\rm rank}(G_\mathbb{R})={\rm rank}(K_\mathbb{R})$. For any representation $X$ of Gelfand-Kirillov dimension $\frac{1}{2} {\rm dim}(G_{\mathbb{R}}/K_{\mathbb{R}})$, we consider the polynomial on the dual of a compact Cartan subalgebra given by the dimension of the Dirac index of members of the coherent family containing $X$. Under a technical condition involving the Springer correspondence, we establish an explicit relationship between this polynomial and the multiplicities of…
If $G$ is a reductive Lie group of Harish-Chandra class, $H$ is a symmetric subgroup, and $π$ is a discrete series representation of $G$, the authors give a condition on the pair $(G,H)$ which guarantees that the direct integral decomposition of $π|_H$ contains each irreducible representation of $H$ with finite multiplicity. In addition, if $G$ is a reductive Lie group of Harish-Chandra class, and $H\subset G$ is a closed, reductive subgroup of Harish-Chandra class, the authors show that the multiplicity function in the direct integral decomposition of $π|_H$ is constant along `continuous para…
Let $G$ be a connected real reductive group with maximal compact subgroup $K$ of equal rank, and let $\mathscr M$ be the category of Harish-Chandra modules for $G$. We relate three differentely defined pairings between two finite length modules $X$ and $Y$ in $\mathscr M$ : the Euler-Poincaré pairing, the natural pairing between the Dirac indices of $X$ and $Y$, and the elliptic pairing. (The Dirac index is a virtual finite dimensional representation of $\widetilde K$, the spin double cover of $K$.) Analogy with the case of Hecke algebras and a formal (but not rigorous) computation lead us to …
Let g be a complex simple Lie algebra and h a Cartan subalgebra. The Clifford algebra C(g) of g admits a Harish-Chandra map. Kostant conjectured (as communicated to Bazlov in about 1997) that the value of this map on a (suitably chosen) fundamental invariant of degree 2m+1 is just the zero weight vector of the simple 2m+1-dimensional module of the principal s-triple obtained from the Langlands dual of g. Bazlov settled this conjecture positively in type A. The Kostant conjecture was reformulated (Alekseev-Bazlov-Rohr) in terms of the Harish-Chandra map for the enveloping algebra U(g) composed …
In this paper we explore relationship between representations of a Jordan algebra $\J$ and the Lie algebra $\g$ obtained from $\J$ by the Tits-Kantor-Koecher construction. More precisely, we construct two adjoint functors $Lie :\JJ\to \ggm$ and $Jor:\ggm\to\JJ$, where $\JJ$ is the category of unital $\J$-bimodules and $\ggm$ is the category of $\g$-modules admitting a short grading. Using these functors we classify $\J$ such that its semisimple part is of Clifford type and the category $\JJ$ is tame.
In a previous work, we have shown that a representation of a $p$-adic group obtained by (normalized) parabolic induction from an irreducible supercuspidal representation $σ$ of a Levi subgroup $M$ contains a subquotient which is square integrable, if and only if Harish-Chandra's $μ$-function has a pole in $σ$ of order equal to the parabolic rank of $M$. The aim of the present article is to interpret this result in terms of Langlands' functoriality principle.
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.