The aim of this paper is to give generalizationof the constructionof the Steinberg tempered character on a connected reductive p-adic group. We prove that this character is invariant by the weak restriction of the Jacquet module by analogy to finite reductive groups.
This is a preliminary version of the first chapter of a book project on the character theory of finite groups of Lie type. It provides the foundations from the general theory of reductive algebraic groups over a finite field.
Let G be a connected reductive group over an algebraic closure of a finite field Fq. In this paper it is proved that the infinite dimensional Steinberg module of kG defined by N. Xi in 2014 is irreducible when k is a field of positive characteristic and char k is not char Fq. For certain special linear groups, we show that the Steinberg modules of the groups are not quasi-finite with respect to some natural quasi-finite sequences of the groups.
Let G be a reductive algebraic group over a field of positive characteristic and denote by C(G) the category of rational G-modules. In this note we investigate the subcategory of C(G) consisting of those modules whose composition factors all have highest weights linked to the Steinberg weight. This subcategory is denoted ST and called the Steinberg component. We give an explicit equivalence between ST and C(G) and we derive some consequences. In particular, our result allows us to relate the Frobenius contracting functor to the projection functor from C(G) onto ST .
We prove an isomorphism for simple perverse sheaves on the affine Grassmannian of a connected reductive algebraic group that is a geometric counterpart (in light of the Finkelberg-Mirković conjecture) of the Steinberg tensor product formula for simple representations of reductive groups over fields of positive characteristic.
For a reductive group G defined over an algebraically closed field of positive characteristic, we show that the Frobenius contraction functor of G-modules is right adjoint to the Frobenius twist of the modules tensored with the Steinberg module twice. It follows that the Frobenius contraction functor preserves injectivity, good filtrations, but not semisiplicity.
For two distinguished prime $\ell$ and $p$, we prove a $\ell$-adic version of the Poisson formula for reductive $p$-adic groups. In order to do this we write an identity for the trace of regular representation and orbital integrals. Next we reduce them to orbital integrals for endoscopy groups and look at this as the special value of $L$-function at $s=0$. And finally show that it is equal to the special value of motivic $L$-function at $s=0$.
Let $G$ be a reductive group over a field of prime characteristic. An indecomposable tilting module for $G$ whose highest weight lies above the Steinberg weight has a character that is divisible by the Steinberg character. The resulting "Steinberg quotient" carries important information about $G$-modules, and in previous work we studied patterns in the weight multiplicities of these characters. In this paper we broaden our scope to include quantum Steinberg quotients, and show how the multiplicities in these characters relate to algebraic Steinberg quotients, Weyl characters, and evaluations o…
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…
Let $G$ be a reductive $p$-adic group. We give a short proof of the fact that $G$ always admits supercuspidal complex representations. This result has already been established by A. Kret using the Deligne-Lusztig theory of representations of finite groups of Lie type. Our argument is of a different nature and is self-contained. It is based on the Harish-Chandra theory of cusp forms and it ultimately relies on the existence of elliptic maximal tori in $G$.
We use coefficient systems on the affine Bruhat-Tits building to study admissible representations of reductive p-adic groups in characteristic not equal to p. We show that the character function is locally constant and provide explicit neighbourhoods of constancy. We estimate the growth of the subspaces of invariants for compact open subgroups.
Cuspidal representations of a reductive p-adic group G over a field of characteristic different from p are relatively injective and projective with respect to extensions that split by a U-equivariant linear map for any subgroup U that is compact modulo the centre. The category of smooth representations over a field whose characteristic does not divide the pro-order of G is the product of the subcategories of cuspidal representations and of subrepresentations of direct sums of parabolically induced representations.
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.
Suppose that $\mathbf{G}$ is a connected reductive group over a finite extension $F/\mathbb{Q}_p$, and that $C$ is a field of characteristic $p$. We prove that the group $\mathbf{G}(F)$ admits an irreducible admissible supercuspidal, or equivalently supersingular, representation over $C$.
Let $\mathcal{G}$ be a split reductive $p$-adic group with connected centre. We show that each Bernstein block in the principal series of $\mathcal{G}$ admits a definite geometric structure, namely that of an extended quotient. For the Iwahori-spherical block, this extended quotient has the form $T//W$ where $T$ is a maximal torus in the Langlands dual group of $\mathcal{G}$ and $W$ is the Weyl group of $\mathcal{G}$.
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…
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…
In this paper we study the complex representations of reductive groups over local non-Archimedean fields. We use the building of the reductive group to give upper-bounds for the absolute value of the character of an admissible representation and for the Weyl integration formula for certain regular elements. The upper-bound for the character of a representation is based on the alternative description, depending on the building, of the character as given by R. Meyer and M. Solleveld [MS12]. Once the character and the Weyl integration formula are related to the building, the upper-bounds will fol…
Introductory and pedagogical treatmeant of the article : P. Broussous "Distinction of the Steinberg representation", with an appendix by François Courtès, IMRN 2014, no 11, 3140-3157. To appear in Proceedings of Chaire Jean Morlet, Dipendra Prasad, Volker Heiermann Ed. 2017. Contains modified and simplified proofs of loc. cit. This article is written in memory of François Courtès who passed away in september 2016.
Let $G$ be a connected reductive group over a non-Archimedean local field. We prove that its parahoric subgroups are definable in the Denef-Pas language, which is a first-order language of logic used in the theory of motivic integration developed by Cluckers and Loeser. The main technical result is the definability of the connected component of the Néron model of a tamely ramified algebraic torus. As a corollary, we prove that the canonical Haar measure on $G$, which assigns volume $1$ to the particular \emph{canonical} maximal parahoric defined by Gross, is motivic. This result resolves a tec…
Let $G$ be a reductive $p$--adic group. Assume that $L\subset G$ is an open--compact subgroup, and $\mathcal H_L$ is the Hecke algebra of $L$--biinivariant complex functions on $G$. It is a well--known and standard result on how to prove existence of a complex smooth irreducible $G$--module out of a maximal left ideal $I\subset \mathcal H_L$. Using theory on Bernstein center we make this construction explicit. This leads us to some very interesting questions.
In this paper we study certain category of smooth modules for reductive $p$--adic groups analogous to the usual smooth complex representations but with the field of complex numbers replaced by a $\mathbb Q$--algebra. We prove some fundamental results in these settings, and as an example we give a classification of admissible unramified irreducible representations proving by reduction to the complex case that if the space of $K$--invariants is finite dimensional in an irreducible smooth unramified representation that the representation is admissible.