SearcharxivSearch

arXiv subjects

Rachel Ollivier

Publications and source records attributed to Rachel Ollivier.

14 recordsLinked to original sources

On the center of the generic affine Hecke algebra

We identify the center of the generic affine Hecke algebra $H_q$ corresponding to some root datum with the semigroup algebra $\mathbb C[q][\check X^+]$ of the dominant chamber of its coweight lattice. This is done by first identifying a maximal commutative subalgebra $A_q \subset H_q$ with the Rees algebra associated to the semigroup algebra of the coweight lattice for the filtration induced by the length function. We explain how this subalgebra $A_q$ can also be identified with (quantum) cohomology of the toric variety given by the fan corresponding to the coroot lattice (a Hessenberg variety).

math.RT

Parahoric Hecke Ext-algebras in characteristic $p$

Let $\mathfrak{F}$ be a nonarchimedean local field of residual characteristic $p$, and let $G$ denote the group of $\mathfrak{F}$-points of a connected reductive group over $\mathfrak{F}$. For an open compact subgroup $\mathcal{U}$ of $G$ and a unital commutative ring $k$, we let $\mathbf{X}_{\mathcal{U}}$ denote the space of compactly supported $k$-valued functions on $G/\mathcal{U}$. Building on work of Ollivier--Schneider, we investigate the graded $\textrm{Ext}$-algebra $E_{\mathcal{U}}^* := \textrm{Ext}_G^*(\mathbf{X}_{\mathcal{U}},\mathbf{X}_{\mathcal{U}})^{\textrm{op}}$. In particular, we describe the Yoneda product, an involutive anti-automorphism, and (when $k$ is a field of characteristic $p$ and $\mathcal{U}$ has no $p$-torsion) a duality operation. We allow for the reductive group to be non-split, and for the open compact subgroup $\mathcal{U}$ to be non-pro-$p$. Specializing further to the case $G = \textrm{SL}_2(\mathbb{Q}_p)$ with $p \geq 5$ and a coefficient field of characteristic $p$, we obtain more precise results when $\mathcal{U}$ is equal to an Iwahori subgroup $J$ or a hyperspecial maximal compact subgroup $K$. In particular, we compute the structure of $E_J^*$ as an $E_J^0$-bimodule, obtain an explicit description of the center $\mathcal{Z}(E_J^*)$ of $E_J^*$, and construct a surjective morphism of algebras $\mathcal{Z}(E_J^*) \longrightarrow E_K^*$ (analogous to the compatibility between Bernstein and Satake isomorphisms in characteristic 0). From this we deduce the (somewhat surprising) fact that $E_K^*$ is not graded-commutative, contrary to what happens for almost all $\ell$-modular characteristics.

math.RT

Rigid dualizing complexes of affine Hecke algebras

We identify the rigid dualizing complex of the (generic) affine Hecke algebra $H_q$ attached to a reduced root system and deduce some structural properties as a consequence. For example, we show that the classical Hecke algebra $H_{q^\pm}$ as well as $H_q/q$ are, under a certain condition on the root system, Frobenius over their centers with Nakayama automorphism given by an explicit involution.

math.RT

On the pro-$p$ Iwahori Hecke Ext-algebra of ${\rm SL}_2(\mathbb Q_p)$

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 trivial representation. When $\mathfrak F=\mathbb Q_p$ with $p\geq 5$, we have $d=3$. In that case we describe $E^*$ as an $H$-bimodule and give the structure as an algebra of the centralizer in $E^*$ of the center of $H$. We deduce results on the values of the functor $H^*(I, {}_-)$ which attaches to a (finite length) smooth $k$-representation $V$ of $G$ its cohomology with respect to $I$. We prove that $H^*(I,V)$ is always finite dimensional. Furthermore, if $V$ is irreducible, then $V$ is supersingular if and only if $H^*(I,V)$ is a supersingular $H$-module.

math.RT

The modular pro-$p$ Iwahori-Hecke ${\operatorname{Ext}}$-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{Mod}(G)}^*(\mathbf X, \mathbf X)$. Its degree zero piece $E^0$ is the usual pro-$p$ Iwahori-Hecke algebra $H$. We describe the product in $E^*$ and provide an involutive anti-automorphism of $E^*$. When $I$ is a Poincaré group of dimension $d$, the ${\operatorname{Ext}}$-algebra $E^*$ is supported in degrees $i\in\{0\dots d\}$ and we establish a duality theorem between $E^i$ and $E^{d-i}$. Under the same hypothesis (and assuming that $\mathbf G$ is almost simple and simply connected), we compute $E^d$ as an $H$-module on the left and on the right. We prove that it is a direct sum of the trivial character, and of supersingular modules.

math.RT

Parabolic induction in characteristic p

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 functors in general; they do if p is invertible in R. When R is an algebraically closed field of characteristic p, we show in the local case that an irreducible admissible R-representation V of G is supercuspidal (or equivalently supersingular) if and only if the H-module V^I of its invariants by the pro-p Iwahori I admits a supersingular subquotient, if and only if V^I is supersingular.

math.NT

A canonical torsion theory for pro-p Iwahori-Hecke modules

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 from $p$ then this hypothesis is always satisfied and the torsionfree class is the whole category Mod$(H)$. If $k$ contains the residue field of $\mathfrak F$ then we study the case $G = \mathbf{SL_2}(\mathfrak F)$. We show that our hypothesis is satisfied, and we describe explicitly the torsionfree and the torsion classes. If $\mathfrak F\neq \mathbb Q_p$ and $p\neq 2$, then an $H$-module is in the torsion class if and only if it is a union of supersingular finite length submodules; it lies in the torsionfree class if and only if it does not contain any nonzero supersingular finite length module. If $\mathfrak{F} = \mathbb{Q}_p$, the torsionfree class is the whole category Mod$(H)$, and we give a new proof of the fact that Mod$(H)$ is equivalent to Mod${}^I(G)$. These results are based on the computation of the $H$-module structure of certain natural cohomology spaces for the pro-$p$-Iwahori subgroup $I$ of $G$.

math.RT

Resolutions for principal series representations of p-adic GL(n)

Let F be a nonarchimedean locally compact field with residue characteristic p and G(F) the group of F-rational points of a connected reductive group. Following Schneider and Stuhler, one can realize, in a functorial way, any smooth complex finitely generated representation of G(F) as the 0-homology of a certain coefficient system on the semi-simple building of G(F). It is known that this method does not apply in general for smooth mod p representations of G(F), even when G= GL(2). However, we prove that a principal series representation of GL(n,F) over a field with arbitrary characteristic can be realized as the 0-homology of the corresponding coefficient system.

math.RT

Compatibility between Satake and Bernstein-type isomorphisms in characteristic p

We study the center of the pro-p Iwahori-Hecke ring H of a connected split p-adic reductive group G. For k an algebraically closed field with characteristic p, we prove that the center of the k-algebra H_k:= H\otimes_Z k contains an affine semigroup algebra which is naturally isomorphic to the Hecke algebra attached to any irreducible smooth k-representation of a given hyperspecial maximal compact subgroup of G. This isomorphism is obtained using the inverse Satake isomorphism constructed in arXiv:1207.5557. We apply this to classify the simple supersingular H_k-modules, study the supersingular block in the category of finite length H_k-modules, and relate the latter to supersingular representations of G.

math.RT

An inverse Satake isomorphism in characteristic p

Let F be a local field with finite residue field of characteristic p and k an algebraic closure of the residue field. Let G be the group of F-points of a F-split connected reductive group. In the apartment corresponding to a chosen maximal split torus of T, we fix a hyperspecial vertex and denote by K the corresponding maximal compact subgroup of G. Given an irreducible smooth k-representation $ρ$ of K, we construct an isomorphism from the affine semigroup k-algebra of the dominant cocharacters of T onto the Hecke algebra $H(G, ρ)$. In the case when the derived subgroup of G is simply connected, we prove furthermore that our isomorphism is the inverse to the Satake isomorphism constructed by Herzig.

math.RT

Pro-p Iwahori-Hecke algebras are Gorenstein

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 modules of H (respectively H'). We obtain the analogous Gorenstein and Auslander-Gorenstein properties for the graded rings associated to H and H'. When k has characteristic p, we prove that in most cases H and H' have infinite global dimension. In particular, we deduce that the category of smooth k-representations of G=PGL(2,Q_p) generated by their invariant vectors under the pro-p-Iwahori subgroup has infinite global dimension (at least if k is algebraically closed).

math.RT

Modules universels de GL(3) sur un corps p-adique en caractéristique p

Let F be a p-adic field with residue class field k. We investigate the structure of certain mod p universal modules for GL(3,F) over the corresponding Hecke algebras. To this end, we first study the structure of some mod p universal modules for the finite group GL(n,k) as modules over the corresponding Hecke algebras. We then relate this finite case to the p-adic one by using homological coefficient systems on the the affine Bruhat-Tits building of GL(3). Suppose now that k has cardinality p. We prove that the mod p universal module of GL(3,F) relative to the Iwahori subroup is flat and projective over the Iwahori-Hecke algebra. When replacing the Iwahori subgroup of GL(3,F) by its pro-p-radical, we prove that the corresponding module is flat over the pro-p Iwahori-Hecke algebra if and only if p=2.

math.RT

Modules simples en caracteristique p des algebres de Hecke affines de type A_2

Soit F un corps local non archimedien de caracteristique residuelle p. On designe par R un corps algebriquement clos de caracteristique p et par Q une cloture algebrique du corps des nombres p-adiques. On classifie les modules simples de dimension finie de la R-algebre de Hecke-Iwahori du groupe lineaire Gl_3(F). Ils sont obtenus par reduction modulo p des modules simples de la Q-algebre de Hecke-Iwahori qui possedent une structure entiere.

math.RT