Suppose $F$ is a finite extension of $\mathbb{Q}_p$, $G$ is the group of $F$-points of a connected reductive $F$-group, and $I_1$ is a pro-$p$-Iwahori subgroup of $G$. We construct two spectral sequences relating derived functors on mod-$p$ representations of $G$ to the analogous functors on Hecke modules coming from pro-$p$-Iwahori cohomology. More specifically: (1) using results of Ollivier--Vignéras, we provide a link between the right adjoint of parabolic induction on pro-$p$-Iwahori cohomology and Emerton's functors of derived ordinary parts; and (2) we establish a "Poincaré duality spectral sequence" relating duality on pro-$p$-Iwahori cohomology to Kohlhaase's functors of higher smooth duals. As applications, we calculate various examples of the Hecke modules $\textrm{H}^i(I_1,π)$.
The pro-$p$-Iwahori Hecke algebra has an involution $ι$ defined in terms of Iwahori-Matsumoto basis. Then for a module $π$ of pro-$p$-Iwahori Hecke, $π^ι= π\circ ι$ is also a module. We calculate $π^ι$ for simple modules $π$. We also calculate the dual of $π$.
For a $p$-adic field $F$, the space of pro-$p$-Iwahori invariants of a universal supersingular mod $p$ representation $τ$ of ${\rm GL}_2(F)$ is determined in the works of Breuil, Schein, and Hendel. The representation $τ$ is introduced by Barthel and Livné and this is defined in terms of the spherical Hecke operator. In earlier work of Anandavardhanan-Borisagar, an Iwahori-Hecke approach was introduced to study these universal supersingular representations in which they can be characterized via the Iwahori-Hecke operators. In this paper, we construct a certain quotient $π$ of $τ$, making use o…
Let $G$ be the unramified unitary group $U(2, 1)(E/F)$ over a non-archimedean local field $F$ of odd residue characteristic $p$. In this paper, for any supersingular representation of $G$ that contains the Steinberg weight, we prove its pro-$p$-Iwahori invariants, as a right module over the pro-$p$-Iwahori--Hecke algebra of $G$, is \emph{not} simple.
Let $G$ be a split connected reductive group defined over a nonarchimedean local field of residual characteristic $p$, and let $\mathcal{H}$ be the pro-$p$-Iwahori--Hecke algebra associated to a fixed choice of pro-$p$-Iwahori subgroup. We explore projective resolutions of simple right $\mathcal{H}$-modules. In particular, subject to a mild condition on $p$, we give a classification of simple right $\mathcal{H}$-modules of finite projective dimension, and consequently show that "most" simple modules have infinite projective dimension.
We study the Iwahori-component of the Gelfand-Graev representation of a central cover of a split linear reductive group and utilize our results for three applications. In fact, it is advantageous to begin at the pro-$p$ level. Thus to begin we study the structure of a genuine pro-$p$ Iwahori-Hecke algebra, establishing Iwahori-Matsumoto and Bernstein presentations. With this structure theory we first describe the pro-$p$ part of the Gelfand-Graev representation and then the more subtle Iwahori part. For the first application we relate the Gelfand-Graev representation to the metaplectic represe…
Let p be a prime number, and F a nonarchimedean local field of residual characteristic p. We explore the interaction between the pro-p-Iwahori-Hecke algebras of the group GL_n(F) and its derived subgroup SL_n(F). Using the interplay between these two algebras, we deduce two main results. The first is an equivalence of categories between Hecke modules in characteristic p over the pro-p-Iwahori-Hecke algebra of SL_2(Q_p) and smooth mod-p representations of SL_2(Q_p) generated by their pro-p-Iwahori-invariants. The second is a "numerical correspondence" between packets of supersingular Hecke modu…
Let $K$ be a non-discrete non-Archimedean local field with residue characteristic $p$. Let $G$ be the group of $K$ rational points of a algebraic connected reductive group defined over $K$. In this article we compute the extensions between characters of affine pro-$p$ Iwahori--Hecke algebra $\mathcal{H}^{\text{aff}}$ over an algebraically closed field $R$ of characteristic $p$. In rank one case we deduce the relation between the blocks and $L$-packets.
Let $p\geq 5$ be a prime number, $G$ a split connected reductive group defined over a $p$-adic field, and $I_1$ a choice of pro-$p$-Iwahori subgroup. Let $C$ be an algebraically closed field of characteristic $p$ and $\mathcal{H}$ the pro-$p$-Iwahori--Hecke algebra over $C$ associated to $I_1$. In this note, we compute the action of $\mathcal{H}$ on $\textrm{H}^1(I_1,C)$ and $\textrm{H}^{\textrm{top}}(I_1,C)$ when the root system of $G$ is irreducible. We also give some partial results in the general case.
Let $p\geq 3$ be a prime number and $F$ a $p$-adic field. Let $I_1$ denote the pro-$p$-Iwahori subgroup of $\textrm{GL}_n(F)$, and $\mathcal{H}$ the pro-$p$-Iwahori--Hecke algebra of $\textrm{GL}_n(F)$ with respect to $I_1$ (over a coefficient field of characteristic $p$). We compute the structure of $\textrm{H}^1(I_1,π)$ as an $\mathcal{H}$-module, where $π$ is a mod-$p$ principal series representation of $\textrm{GL}_n(F)$. We also give some partial results about the structure of $\textrm{H}^1(I_1,π)$ for a general split reductive group with irreducible root system.
Let $G$ be the group of rational points of a split connected reductive group over a nonarchimedean local field of residue characteristic $p$. Let $I$ be a pro-$p$ Iwahori subgroup of $G$ and let $R$ be a commutative quasi-Frobenius ring. If $H=R[I\backslash G/I]$ denotes the pro-$p$ Iwahori-Hecke algebra of $G$ over $R$ we clarify the relation between the category of $H$-modules and the category of $G$-equivariant coefficient systems on the semisimple Bruhat-Tits building of $G$. If $R$ is a field of characteristic zero this yields alternative proofs of the exactness of the Schneider-Stuhler r…
We study the structure of parabolic inductions of a pro-$p$-Iwahori Hecke algebra. In particular, we give a classification of irreducible modulo $p$ representations of pro-$p$-Iwahori Hecke algebra in terms of supersingular representations. Since supersingular representations are classified by Ollivier and Vigneras, it completes the classification of irreducible modulo $p$ representations.
We prove that the affine Yokonuma-Hecke algebra defined by Chlouveraki and Poulain d'Andecy is a particular case of the pro-$p$-Iwahori-Hecke algebra defined by Vignéras.
In this article we generalize results of Clozel and Ray (for $SL_2$ and $SL_n$ respectively) to give explicit ring-theoretic presentation in terms of a complete set of generators and relations of the Iwasawa algebra of the pro-$p$ Iwahori subgroup of a connected, split, reductive group $\mathbb{G}$ over $\mathbb{Q}_p$.
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.
Let $\mathfrak F$ be a locally compact nonarchimedean field of positive residue characteristic $p$ and $k$ a field of characteristic $p$. Let $G$ be the group of $\mathfrak{F}$-rational points of a connected reductive group over $\mathfrak{F}$ which we suppose $\mathfrak F$-split. Given a pro-$p$ Iwahori subgroup $I$ of $G$, we consider the space $\mathbf X$ of $k$-valued functions with compact support on $G/I$. It is naturally an object in the category ${\operatorname{Mod}}{(G)}$ of all smooth $k$-representations of $G$. We study the graded Ext-algebra $E^*={\operatorname{Ext}}_{\operatorname…
Let $\mathbf{G}$ be a connected reductive group defined over a locally compact non-archimedean field $F$, let $\mathbf{P}$ be a parabolic subgroup with Levi $\mathbf{M}$ and compatible with a pro-$p$ Iwahori subgroup of $G := \mathbf{G}(F)$. Let $R$ be a commutative unital ring. We introduce the parabolic pro-$p$ Iwahori--Hecke $R$-algebra $\mathcal{H}_R(P)$ of $P := \mathbf{P}(F)$ and construct two $R$-algebra morphisms $Θ^P_M\colon \mathcal{H}_R(P)\to \mathcal{H}_R(M)$ and $Ξ^P_G\colon \mathcal{H}_R(P) \to \mathcal{H}_R(G)$ into the pro-$p$ Iwahori--Hecke $R$-algebra of $M := \mathbf{M}(F)$ …
Let $G={\rm SL}_2(\mathfrak F) $ where $\mathfrak F$ is a finite extension of $\mathbb Q_p$. We suppose that the pro-$p$ Iwahori subgroup $I$ of $G$ is a Poincaré group of dimension $d$. Let $k$ be a field containing the residue field of $\mathfrak F$. In this article, we study the graded Ext-algebra $E^*={\operatorname{Ext}}_{\operatorname{Mod}(G)}^*(k[G/I], k[G/I])$. Its degree zero piece $E^0$ is the usual pro-$p$ Iwahori-Hecke algebra $H$. We study $E^d$ as an $H$-bimodule and deduce that for an irreducible admissible smooth representation of $G$, we have $H^d(I,V)=0$ unless $V$ is the tri…
Let $\mathfrak F$ be a locally compact nonarchimedean field with residue characteristic $p$ and $G$ the group of $\mathfrak{F}$-rational points of a connected split reductive group over $\mathfrak{F}$. We define a torsion pair in the category Mod$(H)$ of modules over the pro-$p$-Iwahori Hecke $k$-algebra $H$ of $G$, where $k$ is an arbitrary field. We prove that, under a certain hypothesis, the torsionfree class embeds fully faithfully into the category Mod${}^I(G)$ of smooth $k$-representations of $G$ generated by their pro-$p$-Iwahori fixed vectors. If the characteristic of $k$ is different …
We establish a connection between certain unique models, or equivalently unique functionals, for representations of p-adic groups and linear characters of their corresponding Hecke algebras. This allows us to give a uniform evaluation of the image of spherical and Iwahori-fixed vectors in the unramified principal series for this class of models. We provide an explicit alternator expressionfor the image of the spherical vectors under these functionals in terms of the representation theory of the dual group.
Let $W$ be an Iwahori Weyl group and $W(1)$ be an extension of $W$ by an abelian group. Vigneras gave a description of the $R$-algebra $\mathcal{H}_R(q_{\tilde{s}}, c_{\tilde{s}})$ associated to $W(1)$, and also gave a basis of the center of $\mathcal{H}_R(q_{\tilde{s}}, c_{\tilde{s}})$ using the Bernstein presentation of $\mathcal{H}_R(q_{\tilde{s}}, c_{\tilde{s}})$. In this paper, we restrict to the case where $q_{\tilde{s}}=0$ and use the Iwahori-Matsumoto presentation to give a basis of the center of $\mathcal{H}_R(0, c_{\tilde{s}})$.
The purpose of this paper is to describe a general procedure for computing analogues of Young's seminormal representations of the symmetric groups. The method is to generalize the Jucys-Murphy elements in the group algebras of the symmetric groups to arbitrary Weyl groups and Iwahori-Hecke algebras. The combinatorics of these elements allows one to compute irreducible representations explicitly and often very easily. In this paper we do these computations for Weyl groups and Iwahori-Hecke algebras of types $A_n$, $B_n$, $D_n$, $G_2$. Although these computations are in reach for types $F_4$, $E…
We show that the center of the Iwahori--Hecke algebra of the symmetric group $S_n$ carries a natural filtered algebra structure, and that the structure constants of the associated graded algebra are independent of $n$. A series of conjectures and open problems are also included.
Mod $p$ Iwasawa algebras of pro-$p$ Iwahori subgroups
McGill University（麦吉尔大学）；Rutgers University（罗格斯大学）；UC San Diego（加州大学圣地亚哥分校）；University of Michigan（密歇根大学）；CUNY Baruch College（纽约市立大学巴鲁克学院）；Duke University（杜克大学）
The Test Function Conjecture due to Haines and Kottwitz predicts that the geometric Bernstein center is a source of test functions required by the Langlands-Kottwitz method for expressing the local semisimple Hasse-Weil zeta function of a Shimura variety in terms of automorphic L-functions. Haines and Rapoport found an explicit formula for such test functions in the Drinfeld case with pro-p Iwahori level structure. This article generalizes the Haines-Rapoport formula for the Drinfeld case to a broader class of split groups. The main theorem presents a new formula for test functions with pro-p …
Let F be a locally compact nonarchimedean field with residue characteristic p and G the group of F-rational points of a connected split reductive group over F. For k an arbitrary field, we study the homological properties of the Iwahori-Hecke k-algebra H' and of the pro-p Iwahori-Hecke k-algebra H of G. We prove that both of these algebras are Gorenstein rings with self-injective dimension bounded above by the rank of G. If G is semisimple, we also show that this upper bound is sharp, that both H and H' are Auslander-Gorenstein and that there is a duality functor on the finitely generated modu…
Let $G$ denote a possibly discrete topological group admitting an open subgroup $I$ which is pro-$p$. If $H$ denotes the corresponding Hecke algebra over a field $k$ of characteristic $p$ then we study the adjunction between $H$-modules and $k$-linear smooth $G$-representations in terms of various model structures. If $H$ is a Gorenstein ring we single out a full subcategory of smooth $G$-representations which is equivalent to the category of all Gorenstein projective $H$-modules via the functor of $I$-invariants. This applies to groups of rational points of split connected reductive groups ov…
This is an extended and corrected version of the author's Diplomarbeit. A class of algebras called generic pro-$p$ Hecke algebras is introduced, enlarging the class of generic Hecke algebras by considering certain extensions of (extended) Coxeter groups. Examples of generic pro-$p$ Hecke algebras are given by pro-$p$-Iwahori Hecke algebras and Yokonuma-Hecke algebras. The notion of an orientation of a Coxeter group is introduced and used to define `Bernstein maps' intimately related to Bernstein's presentation and to Cherednik's cocycle. It is shown that certain relations in the Hecke algebra …
Let $G$ be a connected reductive group over a non-archimedean local field $F$ and $I$ be an Iwahori subgroup of $G(F)$. Let $I_n$ is the $n$-th Moy-Prasad filtration subgroup of $I$. The purpose of this paper is two-fold: to give some nice presentations of the Hecke algebra of connected, reductive groups with $I_n$-level structure; and to introduce the Tits group of the Iwahori-Weyl group of groups $G$ that split over an unramified extension of $F$. The first main result of this paper is a presentation of the Hecke algebra $\mathcal H(G(F),I_n)$, generalizing the previous work of Iwahori-Matsu…
Let $H_k(W,q)$ be the Iwahori--Hecke algebra associated with a finite Weyl group $W$, where $k$ is a field and $0 \neq q \in k$. Assume that the characteristic of $k$ is not ``bad'' for $W$ and let $e$ be the smallest $i \geq 2$ such that $1+q+q^2+... +q^{i-1}=0$. We show that the number of simple $H_k(H,q)$-modules is ``generic'', i.e., it only depends on $e$. The proof uses some computations in the {\sf CHEVIE} package of {\sf GAP} and known results due to Dipper--James, Ariki--Mathas, Rouquier and the author.
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…
Let $\H_n$ be the Iwahori-Hecke algebra of the symmetric group $S_n$, and let $Z(\H_n)$ denote its centre. Let $B={b_1,b_2,...,b_t}$ be a basis for $Z(\H_n)$ over $R=\Z[q,q^{-1}]$. Then $B$ is called \emph{multiplicative} if, for every $i$ and $j$, there exists $k$ such that $b_ib_j= b_k$. In this article we prove that there are no multiplicative bases for $Z(\Z S_n)$ and $Z(\H_n)$ when $n\ge 3$. In addition, we prove that there exist exactly two multiplicative bases for $Z(\Z S_2)$ and none for $Z(\H_2)$.
We establish the functorial transfer of generic, automorphic representations from the quasi-split general spin groups to general linear groups over arbitrary number fields, completing an earlier project. Our results are definitive and, in particular, we determine the image of this transfer completely and give a number of applications.
By Tits' deformation argument, a generic Iwahori--Hecke algebra $H$ associated to a finite Coxeter group $W$ is abstractly isomorphic to the group algebra of $W$. Lusztig has shown how one can construct an explicit isomorphism, provided that the Kazhdan--Lusztig basis of $H$ satisfies certain deep properties. If $W$ is crystallographic and $H$ is a one-parameter algebra, then these properties are known to hold thanks to a geometric interpretation. In this paper, we develop some new general methods for verifying these properties, and we do verify them for two-parameter algebras of type $I_2(m)$…
We consider the Iwahori-Hecke algebra associated to an almost split Kac-Moody group $G$ (affine or not) over a nonarchimedean local field $K$. It has a canonical double-coset basis $(T_{\mathbf w})_{\mathbf w\in W^+}$ indexed by a sub-semigroup $W^+$ of the affine Weyl group $W$. The multiplication is given by structure constants $a^ {\mathbf u}_{\mathbf w,\mathbf v}\in N=Z_{\geq0}$ : $T_{\mathbf w}*T_{\mathbf v}=\sum_{\mathbf u\in P_{\mathbf w,\mathbf v}} a^ {\mathbf u}_{\mathbf w,\mathbf v} T_{\mathbf u}$. A conjecture, by Bravermann, Kazhdan, Patnaik, Gaussent and the authors, tells that $a…
A celebrated result of Farahat and Higman constructs an algebra $\mathrm{FH}$ which "interpolates" the centres $Z(\mathbb{Z}S_n)$ of group algebras of the symmetric groups $S_n$. We extend these results from symmetric group algebras to type $A$ Iwahori-Hecke algebras, $H_n(q)$. In particular, we explain how to construct an algebra $\mathrm{FH}_q$ "interpolating" the centres $Z(H_n(q))$. We prove that $\mathrm{FH}_q$ is isomorphic to $\mathcal{R}[q,q^{-1}] \otimes_{\mathbb{Z}} Λ$ (where $\mathcal{R}$ is the ring of integer-valued polynomials, and $Λ$ is the ring of symmetric functions). The iso…
We study the $p$-adic loop group Iwahori-Hecke algebra $\mathcal{H}(G^+,I)$ constructed by Braverman, Kazhdan, and Patnaik and give positive answers to two of their conjectures. First, we algebraically develop the "double coset basis" of $\mathcal{H}(G^+,I)$ given by indicator functions of double cosets. We prove a generalization of the Iwahori-Matsumoto formula, and as a consequence, we prove that the structure coefficients of the double coset basis are polynomials in the order of the residue field. The basis is naturally indexed by a semi-group $\mathcal{W}_\mathcal{T}$ on which Braverman, K…
The purpose of this note is to give an insertion scheme proof of the formula, $$p_μ= \sum_{λ\vdash k} χ^λ(μ)s_λ,\formula$$ where $p_μ$ is the power sum symmetric function, $s_λ$ is the Schur function and $χ^λ(μ)$ is the irreducible character of the symmetric group $S_k$ indexed by the partition $λ$ and evaluated at a permutation of cycle type $μ=(μ_1,\ldots,μ_\ell)$. The proof of this formula is by direct application of the Robinson-Schensted-Knuth insertion scheme and a recent formula of Roichman.
Let $F$ be locally compact field with residue characteristic $p$, and $\mathbf{G}$ a connected reductive $F$-group. Let $\mathcal{U}$ be a pro-$p$ Iwahori subgroup of $G = \mathbf{G}(F)$. Fix a commutative ring $R$. If $π$ is a smooth $R[G]$-representation, the space of invariants $π^{\mathcal{U}}$ is a right module over the Hecke algebra $\mathcal{H}$ of $\mathcal{U}$ in $G$. Let $P$ be a parabolic subgroup of $G$ with a Levi decomposition $P = MN$ adapted to $\mathcal{U}$. We complement previous investigation of Ollivier-Vignéras on the relation between taking $\mathcal{U}$-invariants and va…
Peter-Weyl theorem for Iwahori groups and highest weight categories
Tel Aviv University（特拉维夫大学）；University of Haifa（海法大学）；Yanqi Lake Beijing Institute of Mathematical Sciences And Applications (BIMSA)（北京雁栖湖应用数学研究院）；Virginia Tech（弗吉尼亚理工大学）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）
G. E. Murphy showed in 1983 that the centre of every symmetric group algebra has an integral basis consisting of a specific set of monomial symmetric polynomials in the Jucys--Murphy elements. While we have shown in earlier work that the centre of the group algebra of S_3 has exactly three additional such bases, we show in this paper that the centre of the group algebra of S_4 has infinitely many bases consisting of monomial symmetric polynomials in Jucys--Murphy elements, which we characterize completely. The proof of this result involves establishing closed forms for coefficients of class su…
Let G be the group of rational points of a reductive connected group over a finite field (resp. nonarchimedean local field of characteristic p) and R a commutative ring. The unipotent (resp. pro-p Iwahori) invariant functor takes a smooth representation of G to a module over the unipotent (resp. pro-p Iwahori) Hecke R-algebra H of G. We prove that these functors for G and for a Levi subgroup of G commute with the parabolic induction functors, as well as with the right adjoints of the parabolic induction functors. However, they do not commute with the left adjoints of the parabolic induction fu…
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…
Using norms, the second author constructed a basis for the centre of the Hecke algebra of the symmetric group over $\Q[ξ]$ in 1990. An integral "minimal" basis was later given by the first author in 1999, following work of Geck and Rouquier. In principle one can then write elements of the norm basis as integral linear combinations of minimal basis elements. In this paper we find an explicit non-recursive expression for the coefficients appearing in these linear combinations. These coefficients are expressed in terms of readily computable numbers involving orders of symmetric groups and conjuga…
