The category of Harish-Chandra bimodules for quantum groups was first appeared in the works about topological quantum field theory of surfaces. In this paper, we study this category when the quantum parameter q is an odd order root of unity. We relate the category to the category of affine Soergel bimodules and to non-commutative Springer resolution.
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.
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.
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.
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 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…
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.
For extra-large Coxeter systems (m(s,r)>3), we construct a natural and explicit set of Soergel bimodules D={D_w}_{w\in W} such that each D_w contains as a direct summand (or is equal to) the indecomposable Soergel bimodule B_w. When decategorified, we prove that D gives rise to a set {d_w}_{w\in W} that is actually a basis of the Hecke algebra. This basis is close to the Kazhdan-Lusztig basis and satisfies a ``positivity condition''.
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 give a description of certain categories of equivariant coherent sheaves on Grothendieck's resolution in terms of the categorical affine Hecke algebra of Soergel. As an application, we deduce a relationship of these coherent sheaf categories to the categories of perverse sheaves considered in the work of Bezrukavnikov-Yun, generalizing results of Arkhipov-Bezrukavnikov. In addition, we deduce that the weak braid group action on sheaves of Riche and Bezrukavnikov-Riche can be upgraded to a strict braid group action.
Let R be the polynomial ring in n variables, acted on by the symmetric group S_n. Soergel constructed a full monoidal subcategory of R-bimodules which categorifies the Hecke algebra, whose objects are now known as Soergel bimodules. Soergel bimodules can be described as summands of Bott-Samelson bimodules (attached to sequences of simple reflections), or as summands of generalized Bott-Samelson bimodules (attached to sequences of parabolic subgroups). A diagrammatic presentation of the category of Bott-Samelson bimodules was given by the author and Khovanov in previous work. In this paper, we …
The quantum Satake correspondence relates dihedral Soergel bimodules to the semisimple quotient of the quantum $\mathfrak{sl}_2$ representation category. It also establishes a precise relation between the simple transitive $2$-representations of both monoidal categories, which are indexed by bicolored $\mathsf{ADE}$ Dynkin diagrams. Using the quantum Satake correspondence between affine $\mathsf{A}_{2}$ Soergel bimodules and the semisimple quotient of the quantum $\mathfrak{sl}_3$ representation category, we introduce trihedral Hecke algebras and Soergel bimodules, generalizing dihedral Hecke …
We study the Hecke algebra modules arising from theta correspondence between certain Harish-Chandra series for type I dual pairs over finite fields. For the product of the pair of Hecke algebras under consideration, we show that there is a generic Hecke algebra module whose specializations at prime powers give the Hecke algebra modules and whose specialization at $1$ can be explicitly described. As an application, we prove the conservation relation on the first occurrence indices for all irreducible representations. As another application, we generalize the results of Aubert-Michel-Rouquier an…
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.
In the previous paper, we defined a new category which categorifies the Hecke algebra. This is a generalization of the theory of Soergel bimodules. To prove theorems, the existences of certain homomorphisms between Bott-Samelson bimodules are assumed. In this paper, we prove this assumption. We only assume the vanishing of certain two-colored quantum binomial coefficients.
We define an exact functor $F_{n,k}$ from the category of Harish-Chandra modules for $GL(n,R)$ to the category of finite-dimensional representations for the degenerate affine Hecke algebra for $gl(k)$. Under certain natural hypotheses, we prove that the functor maps standard modules to standard modules (or zero) and irreducibles to irreducibles (or zero).
We apply the ideas of derived algebraic geometry and topological field theory to the representation theory of reductive groups. Our focus is the Hecke category of Borel-equivariant D-modules on the flag variety of a complex reductive group G (equivalently, the category of Harish Chandra bimodules of trivial central character) and its monodromic variant. The Hecke category is a categorified analogue of the finite Hecke algebra, which is a finite-dimensional semi-simple symmetric Frobenius algebra. We establish parallel properties of the Hecke category, showing it is a two-dualizable Calabi-Yau …
We explicitly calculate a projective bimodule resolution for a special biserial algebra giving rise to the Hecke algebra H_q(S_4) when q=-1. We then determine the dimensions of the Hochschild cohomology groups.
We show a matrix Paley-Wiener theorem for the Hecke algebra of a p-adic group. The proof is based on an analogue of Harish-Chandra's Plancherel formula.
The monoidal category of Soergel bimodules is an incarnation of the Hecke category, a fundamental object in representation theory. We present this category by generators and relations, using the language of planar diagrammatics. We show that Libedinsky's light leaves give a basis for morphism spaces and give a new proof of Soergel's classification of the indecomposable Soergel bimodules.
The Soergel category B of a Coxeter system (W,S) is a bimodule category over a polynomial algebra on which W acts. It's a categorification of the Hecke Algebra of (W,S). In this article we give a combinatorial description of morphism spaces in B. As a corollary, we give an analogous description of the morphisms in O_0-proj, where O_0 is the principal block of the BGG category O. ----- La catégorie B de Soergel d'un système de Coxeter (W,S) est une catégorie de bimodules sur une algèbre de polynômes sur laquelle W agit. C'est une catégorification de l'algèbre de Hecke de (W,S). Dans cet article…
Let $W$ be a Coxeter group and let $M$ be the free $Z[v,v^{-1}]$-module with basis indexed by the involutions of $W$. We show how recent results of Elias and Williamson on Soergel bimodules can be used to give an alternative definition of an action of the Hecke algebra of $W$ on $M$.
We construct a functor from the Hecke category to a groupoid built from the underlying Coxeter group. This fixes a gap in an earlier work of the authors. This functor provides an abstract realization of the localization of the Hecke category at the field of fractions. Knowing explicit formulas for the localization is a key technical tool in software for computations with Soergel bimodules.
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…
We define exact functors from categories of Harish-Chandra modules for certain real classical groups to finite-dimensional modules over an associated graded affine Hecke algebra with parameters. We then study some of the basic properties of these functors. In particular, we show that they map irreducible spherical representations to irreducible spherical representations and, moreover, that they preserve unitarity. In the case of split classical groups, we thus obtain a functorial inclusion of the real spherical unitary dual (with real infinitesimal character) into the corresponding p-adic sphe…
We initiate the study of Gaitsgory's central sheaves using complexes of Soergel bimodules, in extended affine type A. We conjecture that the complex associated to the standard representation can be flattened to a central complex in finite type A, which is the complex sought after in a conjecture of Gorsky-Negut-Rasmussen.
Ideas from Hodge theory have found important applications in representation theory. We give a survey of joint work with Ben Elias which uncovers Hodge theoretic structure in the Hecke category ("Soergel bimodules"). We also outline similarities and differences to other combinatorial Hodge theories.
We attempt to give a gentle (though ahistorical) introduction to Koszul duality phenomena for the Hecke category, focusing on the form of this duality studied in joint work of Achar, Riche, Williamson, and the author. We illustrate some key phenomena and constructions for the simplest nontrivial case of (finite) $\mathrm{SL}_2$ using Soergel bimodules, a concrete algebraic model of the Hecke category.
Let G=U(p,q) and K=U(p)xU(q). In arXiv:0801.1530, the authors construct a functor from the category of Harish-Chandra modules for the pair (G,K) to the category of representations of the degenerate affine Hecke algebra of type B_n. In this paper, we study the image of the principal series modules of G under this functor. We describe the dAHA module structure of the image by constructing a family of common eigenvectors of {y_i}. In the rank 1 case, we write down an explicit formula for the generator y_{1} in terms of central elements of U(g) and calculate the eigenvalue of y_{1} by using the ce…
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…
Let G=GL(N), K=GL(p)xGL(q), where p+q=N, and n be a positive integer. We construct a functor from the category of Harish-Chandra modules for the pair (G,K) to the category of representations of the degenerate affine Hecke algebra of type B_n, and a functor from the category of K-monodromic twisted D-modules on G/K to the category of representations of the degenerate double affine Hecke algebra of type BC_n; the second functor is an extension of the first one. These functors are generalizations of the type A functors from q-alg/9710037 and math/0702670, respectively.
The monoidal category of Soergel bimodules can be thought of as a categorification of the Hecke algebra of a finite Weyl group. We present this category, when the Weyl group is the symmetric group, in the language of planar diagrams with local generators and local defining relations.
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 …
In this paper, we begin with the classification of Harish-Chandra imprimitive representations in non-defining characteristic. We recall the connection of this problem to certain generalizations of Iwahori-Hecke algebras and show that Harish-Chandra induction is compatible with the Morita equivalence by Bonnafé and Rouquier, thus reducing the classification problem to quasi-isolated blocks. Afterwards, we consider imprimitivity of unipotent representations of certain classical groups. In the case of general linear and unitary groups, our reduction methods then lead to results for arbitrary Lusz…
We consider twisted standard filtrations of Soergel bimodules associated to arbitrary Coxeter groups and show that the graded multiplicities in these filtrations can be interpreted as structure constants in the Hecke algebra. This corresponds to the positivity of the polynomials occurring when expressing an element of the canonical basis in a generalized standard basis twisted by a biclosed set of roots in the sense of Dyer, and comes as a corollary of Soergel's conjecture. We then show the positivity of the corresponding inverse polynomials in case the biclosed set is an inversion set of an e…
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$.
In this paper we construct an action of the affine Hecke category (in its "Soergel bimodules" incarnation) on the principal block of representations of a simply-connected semisimple algebraic group over an algebraically closed field of characteristic bigger than the Coxeter number. This confirms a conjecture of G. Williamson and the second author, and provides a new proof of the tilting character formula in terms of antispherical $p$-Kazhdan-Lusztig polynomials.
For a Dynkin quiver $Q$ of type ADE and a sum $β$ of simple roots, we construct a bimodule over the quantum loop algebra and the quiver Hecke algebra of the corresponding type via equivariant K-theory, imitating Ginzburg-Reshetikhin-Vasserot's geometric realization of the quantum affine Schur-Weyl duality. Our construction is based on Hernandez-Leclerc's isomorphism between a certain graded quiver variety and the space of representations of the quiver $Q$ of dimension vector $β$. We identify the functor induced from our bimodule with Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl d…
