For a $p$-adic field $F$ of residual cardinality $q$, we provide a triangulated equivalence between the bounded derived category $D^b(\mathcal{B}_{1}(G)_{fg})$ of finitely generated unipotent representations of $G=\mathrm{GL}_2(F)$ and perfect complexes over a dg enriched Schur algebra, in the non-banal case of odd characteristic $l$ dividing $q+1$. The dg Schur algebra is the dg endomorphism algebra of a projective resolution of a direct sum $V$ of the parahoric inductions of the trivial representations of the reductive quotients of $G$, and $V$ is shown to be a classical generator of $D^b(\mathcal{B}_{1}(G)_{fg})$.
In previous work of Gow, Ohmori, Lusztig and the author, the Schur indices of all unipotent characters of finite groups of Lie type have been explicitly determined except for six cases in groups of type $F_4$, $E_7$ and $E_8$. In this paper, we show that the Schur indices of all cuspidal unipotent characters for type $F_4$ and $E_8$ are~1, assuming that the group is defined over a field of ``good'' characteristic. This settles four out of the six open cases. For type $E_7$, we show that the Schur indices are at most~2.
We show that the two cuspidal unipotent characters of a finite Chevalley group $E_7(q)$ have Schur index~2, provided that $q$ is an even power of a (sufficiently large) prime number $p$ such that $p\equiv 1 \bmod 4$. The proof uses a refinement of Kawanaka's generalized Gelfand--Graev representations and some explicit computations with the {\sf CHEVIE} computer algebra system.
This paper contains some conjectures about the unipotent almost characters of a simple p-adic group in terms of a matrix which generalizes the nonabelian Fourier transform matrix introduced by the author in 1979.
Let $W$ be a finite Weyl group and $\sg$ be a non-trivial graph automorphism of $W$. We show a remarkable relation between the $\sg$-twisted involution module for $W$ and the Frobenius--Schur indicators of the unipotent characters of a corresponding twisted finite group of Lie type. This extends earlier results of Lusztig-Vogan for the untwisted case and then allows us to state a general result valid for any finite group of Lie type. Inspired by recent work of Marberg, we also formally define Frobenius--Schur indicators for "unipotent characters" of twisted dihedral groups.
Let $\mathrm G / F$ be a reductive split $p$-adic group and let $\mathrm U$ be the unipotent radical of a Borel subgroup. We study the cohomology with trivial $\mathbb Z_p$-coefficients of the profinite nilpotent group $N = \mathrm U(\mathcal O_F)$ and its Lie algebra $\mathfrak n$, by extending a classical result of Kostant to our integral $p$-adic setup. The techniques used are a combination of results from group theory, algebraic groups and homological algebra.
Let G be a simple adjoint group and let K=k((ε)) where k is an algebraic closure of a finite field F_q. In this paper we define some geometric objects on G(K) which are similar to the (cohomology sheaves of) the unipotent character sheaves on G(k). Using these geometric objects we define the unipotent almost characters of G(K_0) where K_0=F_q((ε)) and state some conjectures relating them to the characters of unipotent representations of G(K_0).
We begin this paper by reviewing the Langlands correspondence for unipotent representations of the exceptional group of type $G_2$ over a $p$-adic field $F$ and present it in an explicit form. Then we compute all ABV-packets, as defined in [CFM+21] following ideas from Vogan's 1993 paper The local Langlands Conjecture, and prove that these packets satisfy properties derived from the expectation that they are generalized A-packets. We attach distributions to ABV-packets for $G_2$ and its endoscopic groups and study a geometric endoscopic transfer of these distributions. This paper builds on ear…
Let G be a semisimple almost simple algebraic group defined and split over a nonarchimedean local field K and let V be a unipotent representation of G(K) (for example, an Iwahori-spherical representation). We calculate the character of V at compact very regular elements of G(K) at compact very regular elements of G(K).
We define an involution on the space of elliptic unipotent Langlands parameters of a reductive $p$-adic group $G$ and verify that when $G$ is split adjoint exceptional, the composition of this involution with the hyperspecial parahoric restriction map agrees with Lusztig's nonabelian Fourier transform for unipotent representations of the finite reductive quotient. This is inspired by recent works of Lusztig on the almost unipotent characters of $p$-adic groups and of Moeglin and Waldspurger on the elliptic Fourier transform of odd orthogonal groups.
In this paper, we consider the relation between two nonabelian Fourier transforms. The first one is defined in terms of the Langlands-Kazhdan-Lusztig parameters for unipotent elliptic representations of a split p-adic group and the second is defined in terms of the pseudocoefficients of these representations and Lusztig's nonabelian Fourier transform for characters of finite groups of Lie type. We exemplify this relation in the case of the p-adic group of type G_2.
We determine the unitary dual of the geometric graded Hecke algebras with {unequal} parameters which appear in Lusztig's classification of unipotent representations for {exceptional} $p$-adic groups. The largest such algebra is of type $F_4.$ Via the Barbasch-Moy correspondence of unitarity applied to this setting, this is equivalent to the identification of the corresponding unitary unipotent representations with real central character of the $p$-adic groups. In order for this correspondence to be applicable here, we show (following Lusztig's geometric classification, and Barbasch and Moy's o…
Let G(K) be the group of K-rational points of a connected adjoint simple algebraic group defined over a non-archimedean local field K. In this paper we classify the unipotent representations of G(K) in terms of the geometry of the Langlands dual group. (This was known earlier in the special case where G(K) is an inner form of a split group.) We also determine which representations are tempered or square integrable.
In this paper we consider the (affine) Schur algebra introduced by Vignéras as the endomorphism algebra of certain permutation modules for the Iwahori-Matsumoto Hecke algebra. This algebra describes, for a general linear group over a $p$-adic field, a large part of the unipotent block over fields of characteristic different from $p$. We show that this Schur algebra is, after a suitable completion, isomorphic to the quiver Schur algebra attached to the cyclic quiver. The isomorphism is explicit, but nontrivial. As a consequence, the completed (affine) Schur algebra inherits a grading. As a bypr…
In 1979 Lusztig proposed a conjectural construction of supercuspidal representations of reductive p-adic groups, which is similar to the well known construction of Deligne and Lusztig in the setting of finite reductive groups. We present a general method for explicitly calculating the representations arising from Lusztig's construction and illustrate it with several examples. The techniques we develop also provide background for the author's joint work with Weinstein on a purely local and explicit proof of the local Langlands correspondence.
Francois Rodier proved that it is possible to view smooth representations of certain totally disconnected abelian groups (the underlying additive group of a finite-dimensional p-adic vector space, for example) as sheaves on the Pontryagin dual group. For nonabelian totally disconnected groups, the appropriate dual space necessarily includes representations which are not one-dimensional, and does not carry a group structure. The general definition of the topology on the dual space is technically unwieldy, so we provide three different characterizations of this topology for a large class of tota…
The wavefront set is a fundamental invariant of an admissible representation arising from the Harish-Chandra-Howe local character expansion. In this paper, we give a precise formula for the wavefront set of an irreducible representation of real infinitesimal character in Lusztig's category of unipotent representations in terms of the Deligne-Langlands-Lusztig correspondence. Our formula generalizes the main result of arXiv:2112.14354, where this formula was obtained in the Iwahori-spherical case. We deduce that for any irreducible unipotent representation with real infinitesimal character, the…
Let $k$ be a $p$-adic field and let $\mathbf{G}(k)$ be the $k$-points of a connected reductive group, inner to split. The set of Aubert-Zelevinsky duals of the constituents of a tempered L-packet form an Arthur packet for $\mathbf{G}(k)$. In this paper, we give an alternative characterization of such Arthur packets in terms of the wavefront set, proving in some instances a conjecture of Jiang-Liu and Shahidi. Pursuing an analogy with real and complex groups, we define some special unions of Arthur packets which we call \emph{weak} Arthur packets and describe their constituents in terms of thei…
The wavefront set is a fundamental invariant arising from the Harish-Chandra-Howe local character expansion of an admissible representation. We prove a precise formula for the wavefront set of an irreducible Iwahori-spherical representation with `real infinitesimal character' and determine a lower bound for this invariant in terms of the Deligne-Langlands-Lusztig parameters. In particular, for the Iwahori-spherical representations with real infinitesimal character, we deduce that the algebraic wavefront set is a singleton, as conjectured by Moeglin and Waldspurger. As a corollary, we obtain an…
We introduce a notion of elliptic fake degrees for unipotent elliptic representations of a semisimple p-adic group. We conjecture, and verify in some cases, that the relation between the formal degrees of unipotent discrete series representations of a semisimple p-adic group and the elliptic fake degrees is given by the exotic Fourier transform matrix introduced by Lusztig in the study of representations of finite groups of Lie type.
Let $F$ be a $p$-adic field and $\mathbf{U}$ be a unipotent group defined over $F$, and set $U=\mathbf{U}(F)$. Let $σ$ be an involution of $\mathbf{U}$ defined over $F$. Adapting the arguments of Yves Benoist in the real case, we prove the following result: an irreducible representation $π$ of $U$ is $U^σ$-distinguished if and only if it is $σ$-self-dual and in this case $\mathrm{Hom}_{U^σ}(π,\mathbb{C})$ has dimension one. When $σ$ is a Galois involution these results imply a bijective correspondence between the set $\mathrm{Irr}(U^σ)$ of isomorphism classes of irreducible representations of …
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.
For the groups SO(2n+1,F), where F is a p-adic field, we consider the tempered irr{é}ducible representations of unipotent reduction. Lusztig has contructed and parametrized these representations. We prove that they satisfy the expected endoscopic identities which determine the parametrization.
For each finite, irreducible Coxeter system $(W,S)$, Lusztig has associated a set of "unipotent characters" $\Uch(W)$. There is also a notion of a "Fourier transform" on the space of functions $\Uch(W) \to \RR$, due to Lusztig for Weyl groups and to Broué, Lusztig, and Malle in the remaining cases. This paper concerns a certain $W$-representation $\varrho_{W}$ in the vector space generated by the involutions of $W$. Our main result is to show that the irreducible multiplicities of $\varrho_W$ are given by the Fourier transform of a unique function $ε: \Uch(W) \to \{-1,0,1\}$, which for various…
Building on recent work of Ardakov and Wadsley, we prove Schur's lemma for absolutely irreducible admissible p-adic Banach space (respectively locally analytic) representations of p-adic Lie groups. We also prove finiteness results for the endomorphism algebra of an irreducible admissible representation.
Let G be a group SO(2n+1) defined over a p-adic field. We compute the wave front set of the anti-tempered irreducible representations of G(F) which are of unipotent reduction. It is the orthogonal orbit dual to the symplectic orbit appearing in the Arthur's parametrization of the representation.
Let G be a reductive p-adic group which splits over an unramified extension of the ground field. Hiraga, Ichino and Ikeda conjectured that the formal degree of a square-integrable G-representation $π$ can be expressed in terms of the adjoint $γ$-factor of the enhanced L-parameter of $π$. A similar conjecture was posed for the Plancherel densities of tempered irreducible G-representations. We prove these conjectures for unipotent G-representations. We also derive explicit formulas for the involved adjoint $γ$-factors.
We consider a group SO(2n+1) over a p-adic field, and tempered irreducible representations of this group, of unipotent reduction. We use the construction due to Lusztig of these representations. In an old paper with Moeglin, we have defined an involution in the complex vector space generated by those representations which are elliptic. It is strongly related to another involution defined by Lusztig for finite groups. We give a new definition of our involution and we prove it commutes, in some sense, with Jacquet functor.
A nonabelian Fourier transform for tempered unipotent representations, II
Sorbonne Université and Université Paris Cité, CNRS, Institut de Mathématiques de Jussieu – Paris Rive Gauche（索邦大学与巴黎西岱大学，法国国家科学研究中心，儒勒·德·阿让松数学研究所-巴黎左岸）；Mathematical Institute, University of Oxford（牛津大学数学研究所）；Department of Mathematics, King’s College London（伦敦国王学院数学系）
We prove the following result in relative representation theory of a reductive p-adic group $G$: Let $U$ be the unipotent radical of a minimal parabolic subgroup of $G$, and let $ψ$ be an arbitrary smooth character of $U$. Let $S \subset Irr(G)$ be a Zariski dense collection of irreducible representations of $G$. Then the span of the Bessel distributions $B_π$ attached to representations $π$ from $S$ is dense in the space $\mathcal S^*(G)^{U\times U,ψ\times ψ}$ of all $(U\times U,ψ\times ψ)$-equivariant distributions on $G.$ We base our proof on the following results: 1. The category of smooth…
Let p and $\ell$ be two distinct primes, F a p-adic field and n an integer. We show that any level 0 block of the category of smooth Z $\ell$-valued representations of GL n (F) is equivalent to the unipotent block of an appropriate product of GL n i (F i). To this end, we first show that the level 0 category of GL n (F) is equivalent to a category of " modules " over a certain Z $\ell$-algebra " with many objects " whose definition only involves n and the residue field of F. Then we use fine properties of Deligne-Lusztig cohomology to split this algebra and produce suitable Morita equivalences…
E. Opdam introduced the tool of spectral transfer morphism (STM) of affine Hecke algebras to study the formal degrees of unipotent discrete series representations. He established a uniqueness property of STM for the affine Hecke algebras associated of unipotent discrete series representations. Based on this result, Opdam gave an explanation for Lusztig's arithmetic/geometric correspondence (in Lusztig's classification of unipotent representations of $p$-adic adjoint simple groups) in terms of harmonic analysis, and partitioned the unipotent discrete series representations into $L$-packets base…
If one restricts an irreducible representation $V_λ$ of $Gl_{2n}$ to the orthogonal group (respectively the symplectic group), the trivial representation appears with multiplicity one if and only if all parts of $λ$ are even (resp. the conjugate partition $λ'$ is even). One can rephrase this statement as an integral identity involving Schur functions, the corresponding characters. Rains and Vazirani considered $q,t$-generalizations of such integral identities, and proved them using affine Hecke algebra techniques. In a recent paper, we investigated the $q=0$ limit (Hall-Littlewood), and provid…
This paper begins the project of defining Arthur packets of all unipotent representations for the $p$-adic exceptional group $G_2$. Here we treat the most interesting case by defining and computing Arthur packets with component group $S_3$. We also show that the distributions attached to these packets are stable, subject to a hypothesis. This is done using a self-contained microlocal analysis of simple equivariant perverse sheaves on the moduli space of homogeneous cubics in two variables. In forthcoming work we will treat the remaining unipotent representations and their endoscopic classifica…
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 1979, Lusztig proposed a cohomological construction of supercuspidal representations of reductive $p$-adic groups, analogous to Deligne-Lusztig theory for finite reductive groups. In this paper we establish a new instance of Lusztig's program. Precisely, let $X$ be the $p$-adic Deligne-Lusztig ind-scheme associated to a division algebra $D$ of invariant k/n over a non-Archimedean local field $K$. We study its homology groups by establishing a Deligne-Lusztig theory for families of finite unipotent groups that arise as subquotients of $D^\times$. The homology of $X$ induces a natural corresp…
Let $\widetilde{G}$ be a split connected reductive group with connected center $Z$ over a local non-Archimedean field $F$ of residue characteristic $p$, let $\widetilde{K}$ be a hyperspecial maximal compact open subgroup in $\widetilde{G}$. Let $R$ be a commutative ring, let $V$ be a finitely generated $R$-free $R[\widetilde{K}]$-module. For an $R$-algebra $B$ and a character $χ:{\mathfrak H}_V(\widetilde{G},\widetilde{K})\to B$ of the spherical Hecke algebra ${\mathfrak H}_V(\widetilde{G},\widetilde{K})={\rm End}_{R[\widetilde{G}]}{\rm ind}_{\widetilde{K}}^{\widetilde{G}}(V)$ we consider the …
We study the decomposition matrices for the unipotent $\ell$-blocks of finite special unitary groups SU$_n(q)$ for unitary primes $\ell$ larger than $n$. Up to very few unknown entries, we give a complete solution for $n=2,\ldots,10$. We also prove a general result for two-column partitions when $\ell$ divides $q+1$. This is achieved using projective modules coming from the $\ell$-adic cohomology of Deligne--Lusztig varieties.
Let $G=\text{GL}_n(q)$ be the general linear group over the finite field $\mathbb{F}_q$ of $q$ elements, and let $k$ be an algebraically closed field of characteristic $r >0$ such that $r$ does not divide $q(q-1)$. In 1999, Cline, Parshall, and Scott showed that under these assumptions, cohomology calculations for $G$ may be translated to Ext$^i$ calculations over a $q$-Schur algebra. The aim of this paper is to extend the results of Cline, Parshall, and Scott and show that Ext$^i$ calculations for $\text{GL}_n(q)$ may also be translated to Ext$^i$ calculations over an appropriate $q$-Schur al…
We prove that when $q$ is a power of $2$, every complex irreducible representation of $\mathrm{Sp}(2n, \mathbb{F}_q)$ may be defined over the real numbers, that is, all Frobenius-Schur indicators are 1. We also obtain a generating function for the sum of the degrees of the unipotent characters of $\mathrm{Sp}(2n, \mathbb{F}_q)$, or of $\mathrm{SO}(2n+1, \mathbb{F}_q)$, for any prime power $q$.
Schur-Weyl duality is a fundamental framework in combinatorial representation theory. It intimately relates the irreducible representations of a group to the irreducible representations of its centralizer algebra. We investigate the analog of Schur-Weyl duality for the group of unipotent upper triangular matrices over a finite field. In this case, the character theory of these upper triangular matrices is "wild" or unattainable. Thus we employ a generalization, known as supercharacter theory, that creates a striking variation on the character theory of the symmetric group with combinatorics bu…
Let $F$ be a $p$-adic field and $π$ be an irreducible smooth representation of $\textrm{Sp}_{2n}(F)$. In this paper, we show that if $π$ and $π^κ$ are both generic for a common generic character of the maximal unipotent of a fixed Borel, then $π\cong π^κ$, where $π^κ$ is the representation induced by the conjugation action of an element $κ\in \textrm{GSp}_{2n}(F)$. This result is a consequence of the standard local Langlands conjecture and local Gan-Gross-Prasad conjecture. As a consequence, we extend the dependence relation of the local Rankin-Selberg gamma factors for $\textrm{Sp}_{2n}\times…
Let $G$ be a split reductive group over a $p$-adic field $F$. Let $B$ be a Borel subgroup and $U$ the maximal unipotent subgroup of $B$. Let $ψ$ be a Whittaker character of $U$. Let $I$ be an Iwahori subgroup of $G$. We describe the Iwahori-Hecke algebra action on the Gelfand-Graev representation $(\mathrm{ind}_{U}^{G}ψ)^I$ by an explicit projective module. As a consequence, for $G=GL(n,F)$, we define and describe Bernstein-Zelevinsky derivatives of representations generated by $I$-fixed vectors in terms of the corresponding Iwahori-Hecke algebra modules. Furthermore, using Lusztig's reduction…
Let $k$ be a number field, $\mathbf{G}$ an algebraic group defined over $k$, and $\mathbf{G}(k)$ the group of $k$-rational points in $\mathbf{G}.$ We determine the set of functions on $\mathbf{G}(k)$ which are of positive type and conjugation invariant, under the assumption that $\mathbf{G}(k)$ is generated by its unipotent elements. An essential step in the proof is the classification of the $\mathbf{G}(k)$-invariant ergodic probability measures on an adelic solenoid naturally associated to $\mathbf{G}(k);$ this last result is deduced from Ratner's measure rigidity theorem for homogeneous spa…
