Endomorphism algebras and Hecke algebras for reductive p-adic groups
Maarten Solleveld
备注：
New in second version: - compatibility of the constructions with parabolic induction is discusssed - the presentation of the arguments for temperedness is improved - a paragraph about a smaller progenerator of Rep(G)^s, and how that works out in the non-cuspidal case. In 2023 a problem with the part on temperedness in paragraph 9.1 surfaced. This is repaired in an appendix to version 3
设 G 为既约 p-adic 群，Rep(G)^s 为光滑复 G 表示范畴中的一个 Bernstein 块。我们通过分析该范畴的一个生成元 Π 的 G-自同态代数来研究 Rep(G)^s 的结构。我们证明 Rep(G)^s 与（扭曲）仿射 Hecke 代数“几乎”等价。该结论通过多种方式得到精确表述，最重要的是通过一族（扭曲）分次代数。这意味着，就有限长度表示而言，Rep(G)^s 和 End_G(Π)-Mod 可以被视为扭曲仿射 Hecke 代数的模范畴。我们得出两个推论。首先，我们证明 Rep(G)^s 与 End_G(Π)-Mod 之间的范畴等价保持了有限长度表示的缓和性。其次，我们利用与 Rep(G)^s 规范关联的复环面和有限群，对 Rep(G)^s 中的不可约表示进行了分类。这证明了 ABPS 猜想的一个版本，并使我们能够用 G 的 Levi 子群的超尖点表示来表达不可约 G 表示的集合。我们的方法不依赖于类型的存在，并适用于完全一般的情况。
英文摘要：
Let G be a reductive p-adic group and let Rep(G)^s be a Bernstein block in the category of smooth complex G-representations. We investigate the structure of Rep(G)^s, by analysing the algebra of G-endomorphisms of a progenerator Πof that category.
We show that Rep(G)^s is "almost" Morita equivalent with a (twisted) affine Hecke algebra. This statement is made precise in several ways, most importantly with a family of (twisted) graded algebras. It entails that, as far as finite length representations are concerned, Rep(G)^s and End_G (Π)-Mod can be treated as the module category of a twisted affine Hecke algebra.
We draw two consequences. Firstly, we show that the equivalence of categories between Rep(G)^s and End_G (Π)-Mod preserves temperedness of finite length representations. Secondly, we provide a classification of the irreducible representations in Rep(G)^s, in terms of the complex torus and the finite group canonically associated to Rep(G)^s. This proves a version of the ABPS conjecture and enables us to express the set of irreducible $G$-representations in terms of the supercuspidal representations of the Levi subgroups of $G$.
Our methods are independent of the existence of types, and apply in complete generality.
This article gives conceptual statements and proofs relating parabolic induction and Jacquet functors on split reductive groups over a non-Archimedean local field to the associated Iwahori-Hecke algebra as tensoring from and restricting to parabolic subalgebras. The main tool is Bernstein's presentation of the Iwahori-Hecke algebra.
The paper constructs new Hecke endomorphism algebras with a stratified structure. A novel feature of the proof is to approach difficult Ext^1 vanishing conditions by building entire exact category structures in which the analogous vanishing conditions are easier to check. This work is the second in a series aimed at proving a conjecture of the authors published in 1998. The conjecture concerns the enlargement, in a context of Kazhdan-Lusztig cell theory, of Hecke endomorphism algebras related to cross-characteristic representation theory of finite groups of Lie type. This second version correc…
We study irreducible representations of the Hecke algebra of the pair $({\rm PGL}_2 (F[ε] / (ε^2)) , {\rm PGL}_2 (\mathcal{O}[ε] / (ε^2)))$ where $F$ is a local non-Archimedean field of characteristic different than $2$ and $\mathcal{O} \subset F$ is its ring of integers. We expect to apply our analysis to the study of the spectrum of Hecke operators on the space of cuspidal functions on the space of principal ${\rm PGL}_2$-bundles on curves over rings $\mathbb{F}_q [ε] / (ε^2)$.
We establish a transfer of unitarity for a Bernstein component of the category of smooth representations of a reductive p-adic group to the associated Hecke algebra, in the framework of the theory of types, whenever the Hecke algebra is an affine Hecke algebra with geometric parameters, in the sense of Lusztig (possibly extended by a group of automorphisms of the root datum). It is known that there is a large class of such examples (detailed in the paper). As a consequence, we establish relations between the unitary duals of different groups, in the spirit of endoscopy.
We introduce graded Hecke algebras H based on a (possibly disconnected) complex reductive group G and a cuspidal local system L on a unipotent orbit of a Levi subgroup M of G. These generalize the graded Hecke algebras defined and investigated by Lusztig for connected G. We develop the representation theory of the algebras H. obtaining complete and canonical parametrizations of the irreducible, the irreducible tempered and the discrete series representations. All the modules are constructed in terms of perverse sheaves and equivariant homology, relying on work of Lusztig. The parameters come d…
In this paper, we study the asymptotic behavior of the traces of Hecke operators for spherical discrete automorphic representations of fixed level on general split reductive groups over $\mathbb{Q}$. Under a condition on the analytic behavior of intertwining operators, which is known for the classical groups and the exceptional group $G_2$, we obtain the expected asymptotics in terms of the spherical Plancherel measure and an explicit estimate for the remainder.
Let H(G) be the Hecke algebra of a reductive p-adic group G. We formulate a conjecture for the ideals in the Bernstein decomposition of H(G). The conjecture says that each ideal is geometrically equivalent to an algebraic variety. Our conjecture is closely related to Lusztig's conjecture on the asymptotic Hecke algebra. We prove our conjecture for SL(2) and GL(n). We also prove part (1) of our conjecture for the Iwahori ideals of the groups PGL(n) and SO(5).
Let $π, π'$ be tempered representations of an affine Hecke algebra with positive parameters. We study their Euler--Poincaré pairing $EP (π,π')$, the alternating sum of the dimensions of the Ext-groups. We show that $EP (π,π')$ can be expressed in a simple formula involving an analytic R-group, analogous to a formula of Arthur in the setting of reductive p-adic groups. Our proof applies equally well to affine Hecke algebras and to reductive groups over nonarchimedean local fields of arbitrary characteristic.
Let F be a non-Archimedean local field and let G be a connected reductive affine algebraic F-group. Let I be an Iwahori subgroup of G(F) and denote by H(G; I) the Iwahori-Hecke algebra, i.e. the convolution algebra of complex-valued functions on G(F) which are left- and right-invariant by I-translations. This article proves that the Iwahori-Hecke algebra H(G; I) has both an Iwahori-Matsumoto Presentation and a Bernstein Presentation analogous to those for affine Hecke algebras on root data found in Lusztig's "Affine Hecke algebras and their graded version", and gives a basis (in other words, a…
We study the endomorphism algebras of a modular Gelfand-Graev representation of a finite reductive group by investigating modular properties of homomorphisms constructed by Curtis and Curtis-Shoji.
A Hecke endomorphism algebra is a natural generalisation of the $q$-Schur algebra associated with the symmetric group to a Coxeter group. For Weyl groups, B. Parshall, L. Scott and the first author \cite{DPS,DPS4} investigated the stratification structure of these algebras in order to seek applications to representations of finite groups of Lie type. In this paper we investigate the presentation problem for Hecke endomorphism algebras associated with arbitrary Coxeter groups. Our approach is to present such algebras by quivers with relations. If $R$ is the localisation of $\mathbb Z[q]$ at the…
Cocenters of Hecke algebras $\mathcal H$ play an important role in studying mod $\ell$ or $\mathbb C$ harmonic analysis on connected $p$-adic reductive groups. On the other hand, the depth $r$ Hecke algebra $\mathcal H_{r^+}$ is well suited to study depth $r$ smooth representations. In this paper, we study depth $r$ rigid cocenters $\overline{\mathcal H}^{\mathrm{rig}}_{r^+}$ of a connected reductive $p$-adic group over rings of characteristic zero or $\ell\neq p$. More precisely, under some mild hypotheses, we establish a Jordan decomposition of the depth $r$ rigid cocenter, hence find an exp…
An enhanced algebraic group $\uG$ of $G=\GL(V)$ over $\bbc$ is a product variety $\GL(V)\times V$, endowed with an enhanced cross product. Associated with a natural tensor representation of $\uG$, there are naturally Levi and parabolic Schur algebras $\mathcal{L}$ and $\mathcal{P}$ respectively. We precisely investigate their structures, and study the dualities on the enhanced tensor representations for variant groups and algebras. In this course, an algebraic model of so-called degenerate double Hecke algebras (DDHA) is produced, and becomes a powerful implement. The connection between $\math…
The (Iwahori-)Hecke algebra in the title is a $q$-deformation $\sH$ of the group algebra of a finite Weyl group $W$. The algebra $\sH$ has a natural enlargement to an endomorphism algebra $\sA=\End_\sH(\sT)$ where $\sT$ is a $q$-permutation module. In type $A_n$ (i.e., $W\cong {\mathfrak S}_{n+1}$), the algebra $\sA$ is a $q$-Schur algebra which is quasi-hereditary and plays an important role in the modular representation of the finite groups of Lie type. In other types, $\sA$ is not always quasi-hereditary, but the authors conjectured 20 year ago that $\sT$ can be enlarged to an $\sH$-module …
We initiate the systematic study of endomorphism algebras of permutation modules and show they are obtainable by a descent from a certain "generic" Hecke algebra, infinite-dimensional in general, coming from the universal enveloping algebra of gl_n (or sl_n). The endomorphism algebras and the generic algebras are cellular. We give several equivalent descriptions of these algebras, find a number of explicit bases, and describe indexing sets for their irreducible representations.
Let $F$ be a local non archimedian field of characteristic $0$, and $G$ a non-connected reductive group over $F$. We denote $G^0$ the connected component of the identity and assume the quotient $G/G^0$ is abelian. For $f$ a locally constant compactly supported function on $G$ and $π$ a complex smooth representation of $G$, we define the Fourier transform of $f$ evaluated at $π$ to be $π(f) = \int_{G} f(g) π(g) \, dg$, which is an endomorphism of the underlying vector space of $π$. We give a description of the image of this Fourier transform map : given, for every $π$ in a certain family of ind…
This paper describes the module categories for a family of generic Hecke algebras that specialize to the complex reflection groups G(r,1,n) and to the certain endomorphism rings of permutation characters of finite general linear groups. In particular, complete sets of inequivalent, irreducible modules for semisimple specializations of these algebras are constructed.
This article introduces the duplex Hecke algebra, which is an infinite dimensional algebra generated by two Hecke algebras. This concept originates from the degenerate duplex Hecke algebra in the theory of Schur-Weyl duality related to enhanced reductive algebraic groups. We will study the finite dimensional natural representation of the duplex Hecke algebra on tensor space and prove that the duplex Hecke algebra forms a duality with the Levi type quantum group.
Let $G$ be a $p$-adic classical group. The representations in a given Bernstein component can be viewed as modules for the corresponding Hecke algebra---the endomorphism algebra of a pro-generator of the given component. Using Heiermann's construction of these algebras, we describe the Bernstein components of the Gelfand--Graev representation for $G=$SO$(2n+1)$.
We generalize the geometric construction of quiver Hecke algebras from Varagnolo and Vasserot to a setup with arbitrary connected reductive groups. This corresponds to replacing quiver representations by generalized quiver representations introduced by Derksen and Weyman. The class of algebras which we construct contains (affine) nil Hecke algebras, skew group rings of Weyl groups with polynomial rings and quiver Hecke algebras. We describe an explicit faithful representation in a polynomial ring and we calculate the generators and relations for these algebras.
Hiraga, Ichino and Ikeda have conjectured an explicit expression for the Plancherel density of the group of points of a reductive group defined over a local field $F$, in terms of local Langlands parameters. In these lectures we shall present a proof of these conjectures for Lusztig's class of representations of unipotent reduction if $F$ is $p$-adic and $G$ is of adjoint type and splits over an unramified extension of $F$. This is based on the author's paper [Spectral transfer morphisms for unipotent affine Hecke algebras, Selecta Math. (N.S.) 22 (2016), no. 4, 2143--2207]. More generally for…
In this paper we are interested in the geometric local theta correspondence at the Iwahori level for dual reductive pairs $(G,H)$ of type II over a non-Archimedean field of characteristic $p\neq 2$ in the framework of the geometric Langlands program. We consider the geometric version of the $I_{H}\times I_{G}$-invariants of the Weil representation $\mathcal{S}^{I_{H}\times I_{G}}$ as a bimodule under the of action Iwahori-Hecke algebras $\mathcal{H}_{I_{G}}$ and $\mathcal{H}_{I_{H}}$ and we give some partial geometric description of the corresponding category under the action of Hecke functors…
These are notes for the Aisenstadt lectures given in may/june 2002 at CRM, Montreal, enlarged and updated in 2014 by taking into account the recent results of Elias and Williamson on Soergel bimodules. The main object is the study of Iwahori-Hecke algebras arising from reductive groups over finite or p-adic fields. We try to extend various results known in the equal parameter case to the case of not necessarily equal parameters.
We prove that for every Bushnell-Kutzko type that satisfies a certain rigidity assumption, the equivalence of categories between the corresponding Bernstein component and the category of modules for the Hecke algebra of the type induces a bijection between irreducible unitary representations in the two categories. This is a generalization of the unitarity criterion of Barbasch and Moy for representations with Iwahori fixed vectors.
The algorithm of computing generalized Green functions of a finite reductive group contains some unkonwn scalars occuring from the F_q structure of irreducible local systems on unipotent classes on G. In this paper, we determine such scalars in the case where G = SL_n with Frobenius map F of split or non-split type. In the case where F is of non-split type, we use the theory of graded Hecke algebras and their representations on the equivariant homology group due to Lusztig.
Let H be a Hecke algebra arising as an endomorphism algebra of the representation of a Chevalley group G over F_q induced by a unipotent cuspidal representation of a Levi quotient L of a parabolic subgroup. We assume that L is not a torus. In this paper we outline a geometric interpretation of the coefficients of the canonical basis of H in terms of perverse sheaves. We illustrate this in detail in the case where the Weyl group of G is of type B_4 and that of L is of type B_2.
We study a generalization of graded Hecke algebras introduced by Drinfeld in 1986, in which the role of a finite group G is played by a reductive algebraic group. This includes continuous generalizations of symplectic reflection algebras and of rational Cherednik algebras. We prove direct and converse PBW theorems, and also study versions of our algebras in which the group G is replaced with its Lie algebra. We also begin to develop the representation theory of continuous Hecke algebras, which unifies representation theories of real reductive groups, Drinfeld-Lusztig degenerate affine Hecke al…
For a connected reductive group $G$ defined over $\mathbb{F}_q$ and equipped with the induced Frobenius endomorphism $F$, we study the relation among the following three $\mathbb{Z}$-algebras: (i) the $\mathbb{Z}$-model $\mathsf{E}_G$ of endomorphism algebras of Gelfand-Graev representations of $G^F$; (ii) the Grothendieck group $\mathsf{K}_{G^\ast}$ of the category of representations of $G^{\ast F^\ast}$ over $\overline{\mathbb{F}_q}$ (Deligne-Lusztig dual side); (iii) the ring $\mathsf{B}_{G^\vee}$ of the scheme $(T^\vee/\!\!/ W)^{F^\vee}$ over $\mathbb{Z}$ (Langlands dual side). The compari…
For W a finite (2-)reflection group and B its (generalized) braid group, we determine the Zariski closure of the image of B inside the corresponding Iwahori-Hecke algebra. The Lie algebra of this closure is reductive and generated in the group algebra of W by the reflections of W. We determine its decomposition in simple factors. In case W is a Coxeter group, we prove that the representations involved are unitarizable when the parameters of the representations have modulus 1 and are close to 1. We consequently determine the topological closure in this case.
In this paper we make a detailed comparison between the Paley-Wiener theorems of J. Arthur and P. Delorme. We prove that these theorems are equivalent from an a priori point of view. We also give an alternative formulation of the theorems in terms of the Hecke algebra of bi-K-finite distributions supported on K. Our techniques involve derivatives of holomorphic families of continuous representations and Harish-Chandra modules.
Let G be a reductive algebraic group with a Borel subgroup B. We define the quasi-coherent Hecke category for the pair (G,B). For any regular Noetherian G-scheme X we construct a monoidal action of the Hecke category on the derived category of B-equivariant quasi-coherent sheaves on X. Using the action we define the Demazure Descent Data on the latter category and prove that the Descent category is equivalent to the derived category of G-equivariant sheaves on X.
We give a detailed calculation of the Hochschild and cyclic homology of the algebra $\CIc(G)$ of locally constant, compactly supported functions on a reductive p-adic group G. We use these calculations to extend to arbitrary elements the definition the higher orbital integrals introduced in \cite{Blanc-Brylinski} for regular semisimple elements. Then we extend to higher orbital integrals some results of Shalika. We also investigate the effect of the ``induction morphism'' on Hochschild homology.
We define the Iwahori-Hecke algebra for an almost split Kac-Moody group over a local non-archimedean field. We use the hovel associated to this situation, which is the analogue of the Bruhat-Tits building for a reductive group. The fixer K of some chamber in the standard apartment plays the role of the Iwahori subgroup. We can define the Iwahori-Hecke algebra as the algebra of some K-bi-invariant functions on the group with support consisting of a finite union of double classes. As two chambers in the hovel are not always in a same apartment, this support has to be in some large subsemigroup o…
We investigate the structure of root data by considering their decomposition as a product of a semisimple root datum and a torus. Using this decomposition we obtain a parameterisation of the isomorphism classes of all root data. By working at the level of root data we introduce the notion of a smooth regular embedding of a connected reductive algebraic group, which is a refinement of the commonly used regular embeddings introduced by Lusztig. In the absence of Steinberg endomorphisms such embeddings were constructed by Benjamin Martin. In an unpublished manuscript Asai proved three key reducti…
For any two involutions y,w in a Weyl group (y\le w), let P_{y,w} be the polynomial defined in [KL]. In this paper we define a new polynomial P^σ_{y,w} whose i-th coefficient is a_i-b_i where the i-th coefficient of P_{y,w} is a_i+b_i (a_i,b_i are natural numbers). These new polynomials are of interest for the theory of unitary representations of complex reductive groups. We present an algorithm for computing these polynomials.
We study the structure constants defining two related rings: the spherical Hecke algebra of a split connected reductive group over a non-Archimedean local field, and the representation ring of the Langlands dual group.
Let G denote a connected reductive group over a nonarchimedean local field F. Let K denote a special maximal parahoric subgroup of G(F). We establish a Satake isomorphism for the Hecke algebra H of K-bi-invariant compactly supported functions on G(F). The key ingredient is a Cartan decomposition describing the double coset space K\G(F)/K. We also describe how our results relate to the treatment of Cartier, where K is replaced by a special maximal compact open subgroup K' of G(F) and where a Satake isomorphism is established for the Hecke algebra of K'-bi-invariant compactly supported functions…
Let w be an element of the Weyl group of a reductive group G defined and split over a finite field. We consider the variety of triples (g,B,B') where g is a unipotent element of G and B, B' are Borel subgroups of G such that B contains g and B',gB'g^{-1} are in relative position w. We show that the number of rational points of this variety can be expressed in terms of a trace on the Iwahori-Hecke algebra. We also show that this variety is smooth, irreducible, if w is elliptic, of minimal length in its conjugacy class.
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…
Schneider-Stuhler and Vigneras have used cosheaves on the affine Bruhat-Tits building to construct natural finite type projective resolutions for admissible representations of reductive p-adic groups in characteristic not equal to p. We use a system of idempotent endomorphisms of a representation with certain properties to construct a cosheaf and a sheaf on the building. We establish that these are acyclic and compute homology and cohomology with these coefficients. This implies Bernstein's result that certain subcategories of the category of representations are Serre subcategories. Furthermor…
This paper is a following to math.RT/0410454. For a finite group of Lie type we study the endomorphisms, commuting with the group action, of a Deligne-Lusztig variety associated to a regular element of the Weyl group. We state some general conjectures, in particular that the endomorphism algebra induced on the cohomology is a cyclotomic Hecke algebra, and prove them in some cases. On the way we also prove results on centralizers in braid groups.
We prove that cuspidal automorphic D-modules have non-vanishing Whittaker coefficients, generalizing known results in the geometric Langlands program from GL_n to general reductive groups. The key tool is a microlocal interpretation of Whittaker coefficients. We establish various exactness properties in the geometric Langlands context that may be of independent interest. Specifically, we show Hecke functors are t-exact on the category of tempered D-modules, strengthening a classical result of Gaitsgory (with different hypotheses) for GL_n. We also show that Whittaker coefficient functors are t…
The families of characters, defined by Lusztig for Weyl groups, play an important role in the representation theory of finite reductive groups. The definition of Rouquier for the families of characters in terms of blocks of the Hecke algebra has made possible the generalization of this notion to the case of complex reflection groups. In this article, we study the Rouquier blocks of the cyclotomic Hecke algebras and we show that they depend on numerical data determined by the generic Hecke algebra. Moreover, we provide the algorithm and the results of their determination for all exceptional com…
