--- abstract: 'Let $G$ be a split semisimple group over a function field. We prove the temperedness at unramified places of automorphic representations of $G$, subject to a local assumption at one place, stronger than supercuspidality, and assuming the existence of cyclic base change with good properties. Our method relies on the geometry of $\Bun_G$. It is independent of the work of Lafforgue on the global Langlands correspondence.' address: - | ETH Institute for Theoretical Studies\ ETH Zurich\ 8092 Zürich, Switzerland - | Department of Mathematics\ Cornell University\ Ithaca, NY 14853, USA author: - Will Sawin - Nicolas Templier title: 'On the Ramanujan conjecture for automorphic forms over function fields I. Geometry' --- Main result =========== Let $F$ be the function field of a smooth projective curve over a finite field $k$. The Ramanujan conjecture that every cuspidal automorphic representation of $\operatorname{GL}(n)$ is tempered is established by L. Lafforgue @Lafforgue:chtoucas. For general reductive groups, cuspidal automorphic representations that are known to be tempered arise in the works of Lomeli @Lomeli:functoriality-classical for generic representations of split classical groups, and of Heinloth-Ngô-Yun @HNY:Kloosterman and Yun @Yun:epipelagic [@Yun:motives-Serre] for rigid representations. For a reductive group $G$, it is well-known that the cuspidality condition is not sufficient to imply temperedness, which led to the formulation of Arthur's conjectures @Arthur:unipotent-II. For example, there are two classical constructions of cuspidal non-tempered automorphic representations for $\operatorname{GSp}_4$ by Saito-Kurokawa and Howe–Piatetskii-Shapiro @Howe-PS:corvallis. Thus we need a condition on $\pi$ stronger than cuspidality. We shall impose that $\pi_u$ is supercuspidal for one place $u$. This is still not sufficient as the above examples @Howe-PS:corvallis show, and Arthur's conjecture points towards the condition that $\pi_u$ belongs to a supercuspidal $L$-packet. We shall introduce a further condition that $\pi_u$ is *monomial geometric supercuspidal*, and establish the Ramanujan conjecture in this case. The concept will be discussed in details below. In brief it means that $\pi_u$ is compactly induced from a character on a "nice enough" open subgroup of $G(F_u)$. We also need another <span>Condition </span> from Section \[s:BC\] below, on the existence of an automorphic base change for constant field extensions. \[t:intro:main\] Assume that $G$ is split semisimple, and that $\operatorname{char}(F)>2$. Suppose that - for at least one place $u$, the representation $\pi_u$ is monomial geometric supercuspidal; - $\pi$ is base-changeable in the sense of <span>Condition </span>. Then $\pi$ is tempered at every unramified place. Langlands's theorem on the analytic continuation of Eisenstein series implies that CAP representations are non-tempered at every unramified place. Combined with Theorem \[t:intro:main\], it follows that $\pi$ is not CAP. Recently, V. Lafforgue @Lafforgue:reductifs-chtoucas constructed global parameters using shtukas and excursion operators. An automorphic consequence is that $\pi$ is tempered at one unramified place if and only if it is tempered at every unramified place, which was @Clozel:park-city [Conj. 4]. The present paper focuses on establishing a Ramanujan bound on average, see below, and deducing Theorem \[t:intro:main\]. It is part of a series of two articles, and the next @Sawin-Templier:II-bc will focus on providing examples of representations that satisfy <span>Condition </span>, and on establishing the functorial image between inner-forms which will enable us to reduce cases of the Ramanujan bounds for general reductive groups to the split semisimple case. Monomial geometric supercuspidal representations {#sub:intro-mgs} ------------------------------------------------ The definition of monomial geometric supecuspidal is motivated by features of the problem and our method to attack it. We rely on studying families defined by local conditions. If we can show temperedness for one member of the family, the same argument applies to every member of the family. So we must impose a strong enough local condition. At minimum, we should avoid Eisenstein series, and a supercuspidal representation is the easiest way to achieve this. Our method is geometric, and requires a geometric way to check the local condition. Monomial local conditions (the condition that a representation contains a vector which transforms according to a one-dimensional character $\chi: J \to \mathbb C^\times$ under the action of a subgroup $J$) can be represented geometrically in a natural way as long as $J$ is the group of rational points of an algebraic subgroup and $\chi$ is the trace function of a character sheaf. This is certainly not the most general possible way to construct a geometric object that defines a local condition – in fact the geometric Langlands program suggests that there should be geometric objects corresponding to all automorphic representations, in a suitable sense – but it is easy to work with and contains many important examples. A general formalism of monomial local conditions for automorphic representations was already used by Yun @YunRigidity [2.6.2]. Our setup (Section \[s:geometric-setup\]) is essentially Yun's formalism restricted to a special case for both geometric and notational simplicity (and for this reason we use somewhat different notation). Geometric objects behave similarly over different fields. In our case, the relevant geometric objects are defined over the constant field, and so it is possible to base change them along a constant field extension. If we use any geometric property to prove temperedness, this property will be maintained over constant field extensions, and so temperedness must hold not only for all members of the family, but also for all members of the analogous family after extension of the constant field. In particular, these representations must not be Eisenstein series. Again, the easiest way to ensure this is to ensure that our character $(J,\chi)$ still prescribes a supercuspidal representation after a constant field extension. This yields the notion of monomial geometric supercuspidal datum (Definition \[def:geometric-ind-data\]). Another advantage of adding the monomial and geometric modifiers to the supercuspidal local condition is that it allows us to sidestep the unipotent supercuspidal representations. The usual construction of these is not by a monomial representation but rather from representations of finite groups of Lie type. We expect that no monomial geometric construction of unipotent representations exists. For example in Deligne–Lusztig theory, irreducible representations are induced from characters on elliptic tori, but this fails to work uniformly after finite field extensions, since every torus eventually splits. The local conditions we define are "geometric" in precisely the sense of the geometric Langlands program. However, there is one major difference in our approach. Progress in the geometric Langlands program has mainly focused on first studying automorphic forms that are everywhere unramified, and then generalizing to unipotent or more general ramification, before beginning to tackle the general case. In our problem, we find it is convenient to study highly ramified automorphic forms - in particular, including local factors with wildly ramified Langlands parameters - which necessitates working in a more general setup. We do this because when one of the local factors is supercuspidal, the Hecke kernels in the family will correspond to pure perverse sheaves (Theorem \[mainduality-semisimple\]), although we also believe the more general setup is interesting on its own terms. More formally, let $G$ be a quasi-split reductive group over a field $\kappa$. We start with the data of an algebraic subgroup $H$ of $G{ [\hspace{-0,5mm}[ {t} ]\hspace{-0,5mm}] }$ containing the subgroup of elements congruent to $1$ modulo $t^m$ for some $m$, and a character sheaf ${\mathcal{L}}$ on $H$ which is trivial on that subgroup. We say this data is geometrically supercuspidal if for every parabolic subgroup $P\subset G_{\overline \kappa}$ with radical $N$, and every $g\in G_{\overline \kappa}{ [\hspace{-0,5mm}[ {t} ]\hspace{-0,5mm}] }$, the restriction of ${\mathcal{L}}_{\overline \kappa}$ to the identity component of $gN g^{-1}\cap H_{\overline \kappa}$ is non-trivial. If $\kappa={\mathbb{F}}_q$ is a finite field, this occurs if and only if $\operatorname{c\--ind}^{G(\mathbb F_{q^n} { (\hspace{-0,7mm}( {t} )\hspace{-0,7mm}) })}_{J_n} \chi_n$ is admissible supercuspidal for every integer $n\ge 1$, where $J_n:=H(\mathbb F_{q^n} )$ and $\chi_n$ is the trace function of $H$ over $\mathbb F_{q^n}$ (Lemma \[checking-supercuspidality\]). Ramanujan bound for $\operatorname{GL}(n)$ {#sub:intro:gln} ------------------------------------------ For the general linear group, the Ramanujan bound is the statement that a cuspidal automorphic representation of $\operatorname{GL}(n)$ over a function field $F$ is tempered at every place. One can distinguish two main approaches: - Laumon @Laumon:book:cohomology-Drinfeld under a cohomological condition at one place, extending Drinfeld's first proof @Drinfeld:elliptic-II for $\operatorname{GL}(2)$, using elliptic modules. - L. Lafforgue @Lafforgue:chtoucas in general, extending Drinfeld's second proof @Drinfeld:Petersson for $\operatorname{GL}(2)$, using shtukas. Our approach is yet different, even in the case of $\operatorname{GL}(n)$, under the mgs condition. Rather than using moduli spaces of elliptic modules or shtukas, we study moduli spaces $\Bun_{\operatorname{GL}(n)}$ of vector bundles, as in the geometric Langlands program. Functions on these moduli spaces give rise to families of automorphic forms satisfying certain local conditions. We will prove temperedness using estimates for an entire family at once, rather than working with individual automorphic forms in the family. Outline of the proof -------------------- We embed $\pi$ in a suitable automorphic family ${\mathcal{V}}$. It consists of automorphic representations $\Pi$ of $G({\mathbb{A}}_F)$, such that $\Pi_u$ has a non-zero $(J,\chi)$-invariant vector, with bounded ramification at a finite set of places, and unramified elsewhere. More generally, for every integer $n\ge 1$, we define $F_n= F \otimes_{{\mathbb{F}}_q} {\mathbb{F}}_{q^n}$ and $\mathcal V_n$ as a multi-set of automorphic representations of $G({\mathbb{A}}_{F_n})$, counted with multiplicity, and with similar prescribed behavior. All $\Pi\in \mathcal V_n$ are cuspidal. Let $v$ be an unramified place. To study the temperedness of $\pi_v$, we shall consider the local components $\Pi_v$ for $\Pi\in {\mathcal{V}}_n$. More precisely, for a coweight $\lambda$, we shall consider the collection of all traces of Hecke operators $\tr_\lambda(\Pi_v)$ for $\Pi\in {\mathcal{V}}_n$. We express the kernel of this Hecke operator as the trace function of a complex of sheaves, which we will show, under our mgs local hypothesis, is a pure perverse sheaf (Theorem \[mainduality-semisimple\]). This will imply, by standard estimates for the trace functions of perverse sheaves, a bound for the trace of a Hecke operator in the family (Theorem \[t:average-Ramanujan\]), which takes the form $$\label{intro:average} \sum_{\Pi \in {\mathcal{V}}_n} |\tr_{\lambda}(\Pi_v)|^2 \le C_\lambda \cdot q^{nd}$$ Here $d$ depends on the underlying group and level conditions, and $C_{\lambda}$ is the dimension of some cohomology groups and it is essential for us that it is independent of $n$ (it also depends on the underlying group, level conditions, and place $v$). In examining this formula it is helpful to observe that, in the case $\lambda=0$, it implies that the total number of automorphic representations in the family ${\mathcal{V}}_n$ is $O(q^{nd})$. By comparing the definition of $d$ to the relevant adelic volume we can see that this is the correct order of magnitude for this count. Furthermore, under the Ramanujan conjecture, the estimate we obtain for the individual terms $|\tr_{\lambda}(\Pi_v)|$ is $\dim(V_\lambda)$. So this bound is exactly the size one would hope for, except for the constant $C_\lambda$. Because $C_\lambda$ is constant in $n$ while every other term is exponential in $n$, the quality of this estimate improves as $n$ goes to infinity. To take advantage of this, we will use automorphic base change for constant field extensions to amplify the estimate, and deduce $|\tr_{\lambda}(\pi_v)| \le \dim(V_{\lambda}) \cdot q^{\frac{d}{2}}$ for our original representation $\pi$. Varying $\lambda$, we can further bootstrap this estimate to $$|\tr_{\lambda}(\pi_v)| \le \dim(V_{\lambda}),$$ which is the temperedness of the unramified representation $\pi_v$. Recall from @Clozel:park-city the following conjecture: $\pi$ should be tempered at every unramified place as soon as $\pi_u$ is the Steinberg representation for some place $u$. Compared to this, our situation consists in replacing the Steinberg condition by a more ramified condition. Our method of proof doesn't extend to the case of the Steinberg representation because the Euler-Poincaré function is an alternating sum, which we do not know how to geometrize globally to a pure sheaf on $\Bun_G$. Contrasting Drinfeld's modular varieties and $\Bun_G$ {#sub:Drinfeld-var} ----------------------------------------------------- The moduli spaces of shtukas and $\Bun_G$ are both stacks whose geometry carries information about automorphic forms over function fields, but they carry it in different ways and have different properties. Each moduli space of shtukas can be related to a particular family of automorphic forms with a particular set of Hecke operators acting it. The geometry of the moduli space casts light on this family. More precisely, the cohomology of the moduli space relative to the base is expected to be a sum over automorphic forms with fixed level structure of local systems constructed from their Langlands parameters. The arithmetic structure on the moduli space carries additional information about the automorphic forms in this family. For instance, the Galois action on the cohomology of a moduli space of $GL_r$-shtukas with level structure determines the Galois action on the Langlands parameters of the cusp forms of that level @Lafforgue:chtoucas [Lemma VI.26 and Theorem VI.27]. On the other hand, $\Bun_G$, and its variants with level structure, are each related to a sequence of spaces of automorphic forms, one over each finite field extension $\mathbb F_{q^n}$ of the base field $\mathbb F_q$. The spaces of automorphic forms arise as the spaces of functions on the $\mathbb F_{q^n}$-points of $\Bun_G$, i.e., they are defined arithmetically in terms of rational points (Remark \[space-of-automorphic-forms\]). Because geometry is insensitive to base change, the geometry of $\Bun_G$ is only related to asymptotic information about this sequence of spaces as $q^n\to \infty$ (or possibly other subtler sorts of information that are invariant on passing to subsequences). For instance, by the Lefschetz fixed point formula, the dimension of the space of automorphic forms equals the number of $\mathbb F_{q^n}$-points which equals the supertrace of Frobenius on the cohomology (Lemma \[arithmetic-to-geometry\] and Proposition \[p:spectral-trace\]), so the cohomology of $\Bun_G$ gives information about the dimension of all the spaces of automorphic forms in the sequence. (Although for any nonabelian $G$ these spaces will have infinitely many $\mathbb F_{q^n}$-points, and so something must be done to remove Eisenstein series before this can be made precise – in our paper, supercuspidal local conditions, defined in Section \[s:compactly-induced\], are used.) This fundamental difference can explain many of the more basic difference between the geometry of the moduli space of shtukas and $\Bun_G$. For instance, their dimensions. Because the cohomology of the compactified moduli space of shtukas should be a sum of contributions associated to different automorphic forms, with each contribution the tensor product of the representations associated to the Hecke operator at legs composed with the Langlands parameter, the dimension, which appears as the degree and the size of the Weil numbers in the cohomology, should be determined only by the Hecke operators at the legs. In particular, raising the level does not raise the dimension, and corresponds to taking a finite étale cover. On the other hand, the top cohomology of $\Bun_G$ should be the leading term in the dimension of the space of automorphic forms, and therefore the size of the Weil numbers, and thus the dimension, should be determined by the asymptotic growth rate of the dimension of the sequence of families of automorphic forms as $q^n \to \infty$. Thus, adding level structure, which multiplies the expected main term in the trace formula by a polynomial in $q^n$, should raise the dimension, and instead corresponds to a fibration of stacks by a linear algebraic group. In fact, the dimension of $\Bun_G$ is $(\dim G) ( g-1)$, and the dimension with full level $D$ structure for an effective divisor $D$ is $(\dim G) ( g+ |D|- 1)$, which matches the size of the adelic volume contribution to the number of cusp forms of $G$ on $\mathbb F_{q^n}(X)$ in the trace formula. Further, the number of forms with a nonzero $(J,\chi)$-equivariant vector has leading exponent $(\dim G) ( g+ |D|- 1) - \dim H$ (see §\[sub:sums-Weil\]). This also suggests differences in their potential arithmetic applications. The moduli spaces of shtukas are well-suited to prove the automorphic-to-Galois direction of the Langlands correspondence because each automorphic form, and its associated Langlands parameter, appears in their cohomology. Of course this is exactly why Drinfeld @Drinfeld:elliptic-II introduced them and how L. Lafforgue @Lafforgue:chtoucas and V. Lafforgue @Lafforgue:reductifs-chtoucas used them, and it seems likely that researchers will continue to deduce information about the Langlands correspondence from study of these moduli spaces in the future. But $\Bun_G$ is not well-suited for this purpose, as with the number of automorphic forms going to infinity as $q^n \to \infty$, it is harder to pick out a single one. Though an analogue of the automorphic-to-Galois direction of the Langlands correspondence is part of the geometric Langlands program over the complex numbers, it is not clear what, if any, the finite field analogue might be. On the other hand, $\Bun_G$ does seem well-suited to answer asymptotic questions about how analytic quantities, such as averages of Hecke operators, behave when $q^n \to \infty$, as we demonstrate in the present paper. The Ramanujan conjecture seems to lie in the intersection of these two domains – it can be attacked using Langlands parameters, but also can be viewed as a question of the $q^n \to \infty$ limit. Thus there is potential to use both approaches to prove new cases of the Ramanujan conjecture. Results on families ------------------- Because our method to prove the main theorem relies on families of automorphic forms defined by geometric monomial local conditions, along the way we obtain some new results about these families. We expect further results can be obtained this way using our work in the future. For this reason we discuss the strengths and weaknesses of restricting to monomial representations from the point of view of families (rather than with regards to proving the Ramanujan conjecture for individual automorphic forms). Given a family of automorphic forms unramified away from some finite set of places, and defined by some local conditions at the remaining places, questions such as the following have considered: 1. Can the number of forms in the family be expressed as a finite sum of Weil numbers? 2. What about the trace of a Hecke operator on this space of forms? 3. Can the Weil numbers that appear in these sums be calculated explicitly? 4. Can these sums be approximated, or can the largest Weil numbers appearing in them be estimated? Question (1) and question (3) were answered affirmatively by Drinfeld @Drinfeld:count in the case of everywhere unramified automorphic forms on $GL_2$, by Flicker for forms that are Steinberg at one place and unramified everywhere else, and by Deligne and Flicker @Deligne-Flicker for forms on $GL_n$ that are Steinberg at at least two places, and unramified everywhere else. Of course answering (3) is sufficient to answer question (4). In this paper we answer question (1) in the case of monomial geometric conditions, supercuspidal at at least one place, and unramified elsewhere (Proposition \[p:count-Weil\]). And most importantly we answer question (2), in the form that $\sum_{\Pi\in {\mathcal{V}}_n} q^{n\langle \lambda, \rho \rangle} |\tr_\lambda(\Pi_v)|^2$ is a signed sum of length $C_\lambda$ of $n$th powers of $q$-Weil integers of weight $\le 2d+\langle \lambda,2\rho\rangle$. This is actually how we establish the main estimate . See Theorem \[weil-numbers-semisimple\] and §\[sub:sums-Weil\] for details. Local conditions ---------------- There are many different kinds of local conditions that appear in the theory of automorphic forms. As mentioned before, we work with local conditions that demand the representation contain an eigenvector of a compact open subgroup $J$ with eigenvalue $\chi$, where $J$ and $\chi$ arise from geometric objects - an algebraic subgroup of $G(\kappa[t]/t^m)$ for some $m$ and a character sheaf on that algebraic subgroup. The theory of inertial types produces many examples where this condition, for a suitable choice of $J,\chi$, characterizes the representation up to an unramified twist (e.g. the twist-minimal supercuspidal representations of $GL_2$ with conductor not congruent to $2$ modulo $4$). However, not all representations can be characterized up to an unramified twist this way (e.g. the twist-minimal supercuspidal representations of $GL_2$ with conductor congruent to $2$ mod $4$). But it may still be possible to characterize the representation up to a tamely ramified twist or other mild variant. Choosing $J,\chi$ whose associated local condition uniquely picks out a given representation is very similar to the problem of constructing the representation as an induced representation (but slightly easier as one is allowed to produce the representation with multiplicity). Yu has shown how to construct a wide class of supercuspidal representations using Deligne-Lusztig representations of algebraic groups over finite fields and Heisenberg-Weil representations. (For instance, in the $GL_2$ twist-minimal case with conductor congruent to $2$ mod $4$, Deligne-Lusztig theory is needed for conductor $2$ and Heisenberg-Weil representations are needed for higher conductor). The matrix coefficients of the Weil representation were expressed as the trace function of a perverse sheaf in a 1982 letter of Deligne, and the same was done in @GurevichHadani to the coefficients in a basis consisting of the matrices appearing in the Heisenberg representation. It is likely that much of what we do can be generalized using this geometrization. Sheaves whose trace functions are the traces of discrete series representations were constructed @Lusztig85 but we do not know if there is any way to do the same for matrix coefficients (it is not clear what basis to use). It could also be possible to replicate our methods using just the trace and not all the matrix coefficients, but we are less certain of it. Using these tools to make these representations geometric would follow the strategy of @CR17. Note, however, some differences with their work. Their goal was to geometrize the trace of the automorphic representation, while our construction has the effect of geometrizing a test function, and they handled $p$-adic groups while we work in the equal characteristic case. For our problem, new difficulties appear when adding Heisenberg-Weil and Deligne-Lusztig representations and their more complicated sheaves. Because restricting to one-dimensional characters, and their associated character sheaves, will simplify things at several points, we leave the full theory to a later date. Preliminaries ============= Unramified groups ----------------- Let $k$ be a finite field. A connected reductive group over $k{ (\hspace{-0,7mm}( {t} )\hspace{-0,7mm}) }$ is unramified if it is quasi-split and splits over $\overline{k}{ (\hspace{-0,7mm}( {t} )\hspace{-0,7mm}) }$. The following is well-known. Since we couldn't locate the result in the literature, we provide a quick proof. \[l:unramified\] An unramified group over $k{ (\hspace{-0,7mm}( {t} )\hspace{-0,7mm}) }$ is the base change $G_{k{ (\hspace{-0,7mm}( {t} )\hspace{-0,7mm}) }}$ of a quasi-split reductive group $G$ over $k$. Bruhat-Tits @BT84 [4.6.10], and @Landvogt:LNM:compactification-BT [Chap. II], establish the existence of a model ${\mathcal{G}}$ that is a smooth affine group schemes over $k{ [\hspace{-0,5mm}[ {t} ]\hspace{-0,5mm}] }$, with reductive special fiber. Let $G:={\mathcal{G}}_\kappa$ be this special fiber. According to @Conrad:reductive-gp-schemes [Remark 7.2.4], the classification of forms of a reductive group over a Henselian local field with finite residue field is the same as the classification over the residue field. Indeed let $\mathcal{G}$, and $\mathcal{G}'$ be two connected reductive group schemes over $k{ [\hspace{-0,5mm}[ {t} ]\hspace{-0,5mm}] }$. Suppose their special fibers over $k$ are isomorphic. The scheme of isomorphisms from $\mathcal{G}$ to $\mathcal{G}'$ is smooth, and has a point over $k$, so has a section over $k{ [\hspace{-0,5mm}[ {t} ]\hspace{-0,5mm}] }$. In particular if we take $\mathcal{G}'$ to be a constant group scheme $G$, we get that $\mathcal{G}$ is constant as well. The same notion of unramified group arises in mixed characteristic, that is over a finite extension $K$ of ${\mathbb{Q}}_p$. In that context, it is standard that there is a smooth model $\mathcal{G}$ over the local ring $\mathfrak{o}_K$, and that $\mathcal{G}( \mathfrak{o}_K )$ is a hyperspecial maximal subgroup. This is analogous to Lemma \[l:unramified\], where the model is given by $G_{k{ [\hspace{-0,5mm}[ {t} ]\hspace{-0,5mm}] }}$, and the hyperspecial maximal subgroup by $G(k{ [\hspace{-0,5mm}[ {t} ]\hspace{-0,5mm}] })$, only that in equal characteristic the statement is simpler, and it is not necessary to introduce the group scheme $\mathcal{G}$. In mixed characteristic, the lifting argument still works, but there is no notion of constant group scheme over $\mathfrak{o}_K$ (though an analogue could likely be constructed using Witt vectors). \[trivialization-generic\] Let $G$ be a reductive group over a finite field $k$. Let $X$ be a smooth connected algebraic curve over $k$. Then every $G$-torsor on $X$ admits a trivialization over the generic point. Let $F = \mathbb F_q(X)$. By @Ngo06 [Lemma 1.1], it is sufficient to check that the kernel $\ker^1(F,G)$ of the natural map from $H^1(F,G)$ to the product over all places $x$ of $H^1(F_x,G)$ is trivial. By @thang11 [Theorem 2.6(1)], the kernel $\ker^1(F,G)=\ker^1(F, Z(\widehat{G}))$. (Our case can also be deduced from a result of Harder @Harder:Chevalley-fn-fields [thm. 2.4.1] that if $G$ is split and simply-connected semisimple, then $H^1(F,G)$ is trivial.) Then $Z(\widehat{G})$ is a finite abelian group with an action of $\Frob_q$. Every torsor can be described as an action of the Galois group of $F$ on a finite set. We must check that, if it is a nontrivial torsor, then it remains nontrivial upon restriction to the Frobenius element at some place. If the Galois action factors through the Galois group of $k$, then it also factors through a finite cyclic quotient of the Galois group, and thus the Frobenius element at any place of degree prime to the order of this cyclic quotient generates the whole group, and so the torsor is nontrivial if and only if it is nontrivial at one of these places. If it does not factor through the Galois group of $k$, we may pass to a finite extension of $k$ where the Galois action on $G$ is trivial, and then because the Galois action remains nontrivial upon restriction, by Chebotarev some Frobenius element must act nontrivially, which implies it is a nontrivial torsor for a group with trivial Frobenius action. Satake isomorphism {#sub:Satake} ------------------ In this subsection, let $G$ be a split connected reductive group over a finite field $k$. Let $\Lambda$ be the set of coweights of $G$ and let $\Lambda^+$ be the positive Weyl chamber. Let $F=k{ (\hspace{-0,7mm}( {t} )\hspace{-0,7mm}) }$, ${\mathfrak{o}}=k{ [\hspace{-0,5mm}[ {t} ]\hspace{-0,5mm}] }$, $K=G({\mathfrak{o}})$, and consider the unramified Hecke algebra $${\mathcal{H}}(G) = {\mathcal{H}}(G(F),K) = {\mathcal{C}}_c(K \backslash G(F) / K,{\mathbb{C}}).$$ The below results hold more generally over the base ring ${\mathbb{Z}}[q^{\frac12},q^{-\frac12}]$ rather than ${\mathbb{C}}$, see e.g. @Gross:satake. Let $T\subset G$ be a maximal torus. There is an identification $ {\mathbb{C}}[X_*(T)] \simeq {\mathcal{C}}_c(T(F)/T({\mathfrak{o}}))$, where a cocharacter $\lambda:{\mathbb{G}}_m \to T$ corresponds to the characteristic function $1_{\lambda(t)T({\mathfrak{o}})}$. The Weyl group $W = N_G(T) / Z_G(T)$ acts on both sides of the above isomorphism, in particular we can form the subalgebras $${\mathbb{C}}[X_*(T)]^W\simeq {\mathcal{C}}_c(T(F)/T({\mathfrak{o}}))^W.$$ Choose a Borel subgroup $B=TU$. Let $\delta:B(F)\to q^{\mathbb{Z}}$ be the modulus character, where $q$ is the size of $k$. Denote by $\delta^{\frac12}:B(F)\to q^{\frac12{\mathbb{Z}}}$, the positive square-root. For every $\lambda\in X_*(T)$, we have $\delta^{\frac12}(\lambda(t)) = q^{-\langle \rho,\lambda \rangle}$, where $\rho\in X^*(T)\otimes_{\mathbb{Z}}{\mathbb{C}}$ is the half-sum of the positive roots. The Satake transform ${\mathcal{S}}(f)$ of a function $f\in {\mathcal{H}}(G)={\mathcal{H}}(G(F),K)$ is defined by $${\mathcal{S}}(f)(s) := \delta^{\frac12}(s) \int_{U(F)} f(su) du ,\quad s\in T(F),$$ where $du$ is the Haar measure on $U(F)$ that gives $U(F)\cap K= U({\mathfrak{o}})$ volume one. The value of the integral depends only on $s$ modulo $T({\mathfrak{o}})$. It induces a ${\mathbb{C}}$-algebra isomorphism ${\mathcal{S}}:{\mathcal{H}}(G) \to {\mathcal{C}}_c(T(F)/T({\mathfrak{o}}))^W$. There is a bijection between isomorphism classes of $K$-unramified representations $\pi$, algebra homomorphisms $\tr(\pi): {\mathcal{H}}(G) \to {\mathbb{C}}$, $W$-conjugacy classes of unramified characters $\chi:T(F)/T({\mathfrak{o}})\to {\mathbb{C}}^\times$, and semisimple conjugacy classes $t_\pi$ in $\widehat G({\mathbb{C}})$. The character $\chi$ is such that $\pi$ is the $K$-unramified representation $\pi_\chi$ that is the irreducible quotient of the principal series induced from $\chi$. The relationship with the Satake isomorphism is that we have $$\tr(\pi_\chi)(f) = \int_{T(F)/T({\mathfrak{o}})} \chi(s) {\mathcal{S}}(f)(s) ds,\quad f\in {\mathcal{H}}(G).$$ The relationship between $\chi$ and $t_\pi$ is via the identification $$\Hom(X_*(T),{\mathbb{C}}^\times)= \Hom(X^*(\widehat T),{\mathbb{C}}^\times) = \widehat T({\mathbb{C}}).$$ Let $\chi_\lambda \in {\mathbb{C}}[X^*(\widehat T)]^W$ be the trace of the representation $V_\lambda$ of $\widehat G({\mathbb{C}})$ with highest weight $\lambda\in \Lambda^+ \subseteq \Lambda= X^*(T)=X_*(\widehat T)$. Let $a_\lambda\in {\mathcal{H}}(G)\simeq {\mathbb{C}}[X_*(T)]^W$ be the corresponding element in the Hecke algebra. The relationship between $\tr(\pi)$ and $t_\pi$ is that for every $\lambda\in \Lambda^+$, $$\tr(\pi)(a_\lambda) = \chi_\lambda(t_\pi)= \tr(t_\pi | V_\lambda).\qedhere$$ For a coweight $\lambda\in \Lambda^+$, and a $K$-unramified irreducible representation $\pi$, define $$\tr_\lambda(\pi) := \tr(\pi)(a_\lambda) = \tr(t_\pi | V_\lambda).$$ We have that $\pi$ is tempered if and only if $\chi$ is unitary, if and only if $t_\pi$ is a compact element, if and only if for every $\lambda$, $$|\tr_\lambda (\pi)|\le \dim V_\lambda.$$ In fact, it is sufficient to have $|\tr_\lambda (\pi)|\le C \cdot \dim V_\lambda$, for some constant $C$ that is independent of $\lambda$, or more generally $|\tr_\lambda (\pi)|\le C_\epsilon \cdot q^{\epsilon}$ for every $\epsilon>0$, where $C_\epsilon$ is independent of $\lambda$. We have been using consistently the unitary normalization of the of the Satake transform, of the Satake parameter $t_\pi$, and of parabolic induction. There is also an algebraic normalization, which is that $q^{\langle \lambda ,\rho \rangle} a_\lambda$ corresponds to the trace function of the IC sheaf of $\overline{\operatorname{Gr}_\lambda}$. This will be used in Lemma \[adelization-semisimple\] below, and yields to integrality properties of the Weil numbers that appear in the trace formula. For the trivial representation $\mathbf{1}$, we have $\tr_\lambda(\mathbf{1}) = \tr(\mathbf{1})(a_\lambda)$. The Satake parameter $t_{\mathbf{1}}$ is equal to the principal semisimple element $\rho(q)\in \widehat T({\mathbb{C}})$, where $\rho$ is seen as a cocharacter $X_*(\widehat T)_{\mathbb{C}}$. In particular, we obtain $$\sum_{x\in K\backslash G /K} a_\lambda(x) =\tr(\mathbf{1})(a_\lambda) =\tr(\rho(q)|V_\lambda) = q^{\langle \lambda,\rho \rangle} \left( 1+ O(q^{-\frac12}) \right).$$ We conclude that $\tr_\lambda(\mathbf{1}) = q^{\frac{d(\lambda)}{2}}$, where $$d(\lambda):= \langle \lambda, 2\rho \rangle = \dim \operatorname{Gr}_\lambda \in {\mathbb{Z}}_{\ge 0},$$ which we interpret as the degree of the Hecke operator of coweight $\lambda$. Base change ----------- Notation is as in the previous subsection, and we consider the degree $n$ extension $k'={\mathbb{F}}_{q^n}$ of $k={\mathbb{F}}_q$. There is a base change algebra homomorphism $b:{\mathcal{H}}(G_{k'}) \to {\mathcal{H}}(G)$, see e.g. @Kottwitz:base-change. For any $K$-unramified irreducible representation $\pi$ of $G(k{ (\hspace{-0,7mm}( {t} )\hspace{-0,7mm}) })$, there corresponds a unique $K'$-unramified irreducible representation $\Pi$ of $G(k'{ (\hspace{-0,7mm}( {t} )\hspace{-0,7mm}) })$ such that $\tr(\Pi)(f) = \tr(\pi)(b(f))$ for every $f\in {\mathcal{H}}(G_{k'})$. Indeed the corresponding Satake parameters satisfy the relation $t_\Pi = t_\pi^n$. In particular the representation $\pi$ is tempered if and only if the base change representation $\Pi$ is tempered. We can identify the positive Weyl chaber $\Lambda \subset X_*(T)$ for the groups $G$ and $G_{k'}$. We have then the relation, $$\tr_\lambda(\Pi) = \tr(t^n_\pi | V_\lambda),$$ which will be used often in relation to taking the limit as $n\to \infty$. Character sheaves ----------------- For a connected algebraic group $H$, say a *character sheaf* on $H$ is a rank one lisse sheaf $\mathcal L$ with an isomorphism between $\mathcal L \boxtimes \mathcal L$ and the pullback of $\mathcal L$ along the multiplication map $H \times H \to H$. Given a character sheaf ${\mathcal{L}}$, we have an isomorphism $\mathcal L_e = \mathcal L_e \otimes \mathcal L_e$, hence an isomorphism $\Ql = \mathcal L_e$. Using the isomorphism between $\mathcal L \boxtimes \mathcal L$ and the pullback of $\mathcal L$, and associativity, we can define two isomorphism between $\mathcal L \boxtimes \mathcal L \boxtimes \mathcal L$ and the pullback of $\mathcal L$ to $H \times H \times H$. These two isomorphisms are necessarily equal, because they are maps between lisse sheaves on a connected scheme and are equal on the identity point. For convenience, we give here many important facts about character sheaves, almost all of which are surely well-known. \[trace-function-character-sheaf\] Let $H$ be an algebraic group over a finite field $\mathbb F_q$. The trace function of a character sheaf is a one-dimensional character of $H(\mathbb F_q)$. Let $\mathcal L$ be a character sheaf and let $\chi$ be the trace function of $\mathcal L$ on $H(\mathbb F_q)$. Then by the definition of a character sheaf, for $x,y \in H(\mathbb F_q)$, $\chi(xy)=\chi(x)\chi(y)$. Moreover because $\mathcal L$ is a rank one lisse sheaf, $\chi$ is nonzero. Hence it is an homomorphism to $\Ql^\times$ and thus a character. Not every character of $H(\mathbb F_q)$ necessarily arises from a character sheaf. Consider the group of matrices of the form $$\begin{pmatrix} 1 & a & b \\ 0 & 1 & a^p \\ 0 & 0 & 1 \end{pmatrix}$$ under matrix multiplication. Any character sheaf, restricted to the subgroup when $a=0$, is a lisse character sheaf on $\mathbb A^1$. By evaluating the character sheaf on a commutator, one can see that this sheaf is necessarily trivial when pulled back along the map $(x,y) \to (x^py - xy^p)$ whose generic fiber is geometrically irreducible, and hence the sheaf is trivial when restricted to this subgroup. However, not all characters of $H(\mathbb F_p)$ are trivial on this subgroup. Let $\sigma$ be the Frobenius automorphism of $H( \overline{\mathbb F}_q)$. The Lang isogeny is the covering $H \to H$ sending $g$ to $ \sigma(g) g^{-1}$, which is finite étale Galois with automorphism group $H(\mathbb F_q)$. \[characters-come-from-Lang\] $H$ be an algebraic group over a finite field $\mathbb F_q$, $\mathcal L$ a character sheaf on $H$, and $\chi$ its character. Then the pullback of $\mathcal L$ along the Lang isogeny is trivial, and as a representation of the fundamental group, $L$ is equal to the composition of the map $\pi_1( H_{\mathbb F_q})\to H(\mathbb F_q) $ with the character $\chi^{-1}: H \to \overline{\mathbb Q}_\ell^\times$. for the first fact, observe that the pullback of $\mathcal L$ along the Lang isogeny is $\sigma^* \mathcal L \otimes \mathcal L^{-1} = \overline{\mathbb Q}_\ell$ as $\mathcal L$ is defined over $\mathbb F_q$ and hence invariant under $\sigma$. It follows that the monodromy representation of $\mathcal L$ factors through $H(\mathbb F_q)$. By examining the Frobenius elements at points of $H(\mathbb F_q)$, we obtain $\chi$ - the inverse is obtained because of the difference between arithmetic and geometric Frobenius. \[character-sheaf-uniqueness\] Let $H$ be an algebraic group over a finite field $\mathbb F_q$. Every one-dimensional character of $H(\mathbb F_q)$ arises from at most one character sheaf. The order of the arithmetic monodromy group of the character sheaf, the geometric monodromy group of the character sheaf, and the character all agree. These statements follow immediately from Lemma \[characters-come-from-Lang\]. For the second, it is sufficient to observe that the image of the geometric fundamental group inside $H(\mathbb F_q)$ is also $H(\mathbb F_q)$, because the total space $H$ of the Lang isogeny is geometrically connected. To check that a character arises from a character sheaf, we will mainly use the following lemma: \[character-sheaf-construction\] (i) Let $H$ be an abelian algebraic group over $\mathbb F_q$. Every one-dimensional character of $H(\mathbb F_q)$ arises from a unique character sheaf. The trace function over $H(\mathbb F_{q^n})$ over this sheaf is the composition of the original character with the norm map. (ii) Let $f: H_1 \to H_2$ is an algebraic group homomorphism and let $\mathcal L$ be a character sheaf on $H_2$. Then $f^* \mathcal L$ is a character sheaf on $H_1$ whose trace function is the composition of the trace function of $\mathcal L$ with $h$. Hence every character of the $\mathbb F_q$-points of an algebraic group that factors through a homomorphism to an abelian algebraic group arises from a unique character sheaf. For assertion (i), one uses the construction of Lemma \[characters-come-from-Lang\] to construct a sheaf from a character, and then checks immediately the necessary isomorphism to make it a character sheaf. Assertion (ii) is a direct calculation. When performing harmonic analysis calculations with character sheaves, it is helpful to have a description of character sheaves directly in terms of points. This is provided, based on central extensions, by the following lemmas: \[sheaf-central\]Let $\tilde{H}$ be a central extension $1 \to \Ql^\times \to \tilde{H} \to H(\overline{\mathbb F}_q) \to 1$ with an action of $\sigma$ such that both maps involved are equivariant. Then there exists a unique character sheaf $\mathcal L$ on $H$ whose trace function over $\mathbb F_{q^n}$ is given by $g \mapsto \sigma^n ( \tilde{g} ) \tilde{g}^{-1}$ for $\tilde{g}$ any lift of $g$ from $H(\overline{\mathbb F}_q)$ to $\tilde{H} (\overline{\mathbb F}_q)$. Furthermore, every character sheaf arises from a central extension in this way. For the purposes of this proof, it is simpler to define the trace function using the geometric Frobenius, and then we invert to get the true trace function. Given a central extension $\tilde{H}$, we form the associated character $\chi: H(\mathbb F_q) \to \Ql^\times$, $g \mapsto \sigma(\tilde{g}) \tilde{g}^{-1}$. It is easy to check that this is actually a group homomorphism. Take the cover $H \to H$ that sends $h$ to $\sigma(h) h ^{-1}$, which is a finite étale Galois cover with Galois group the right action of $H(\mathbb F_q)$, giving a homomorphism $\pi_1(H_{\mathbb F_q}) \to H(\mathbb F_q)$, and compose with $\chi$ to produce a homomorphism $\pi_1 (H) \to \Ql^\times$ and hence a rank one sheaf. Let us check that the trace function of this sheaf over $\mathbb F_{q^n}$ is given by $ g\mapsto \sigma^n(\tilde{g}) \tilde{g}^{-1}$. Let $g$ be an element of $H(\mathbb F_{q^n})$ and let $\sigma(h) h^{-1}=g$. Then the trace function is given by viewing $h'=\sigma^n(h)$, which also satisfies $\sigma(h') h'^{-1} =g$, as a right translate of $h$ by an element of $H(\mathbb F_q)$ and then applying $\chi$. In other words, the trace function is $\chi( h^{-1} \sigma^n(h))$. Choose $\tilde{h}$ a lift of $h$, let $\tilde{g}= \sigma(\tilde{h}) \tilde{h}^{-1}$, so that $$\chi ( h^{-1} \sigma^n(h)) = \sigma( \tilde{h}^{-1} \sigma^n(\tilde{h}) ) \left( \tilde{h}^{-1} \sigma^n(\tilde{h})\right)^{-1} = \sigma(\tilde{h})^{-1} \sigma^{n+1}(\tilde{h}) \sigma^n(\tilde{h})^{-1} \tilde{h}= \tilde{h}\sigma(\tilde{h})^{-1} \sigma^{n+1}(\tilde{h}) \sigma^n(\tilde{h})^{-1}$$ $$= \tilde{g}^{-1} \sigma^n (\tilde{g})= \sigma^n(\tilde{g}) \tilde{g}^{-1},$$ where we use the fact that we are working with an element of the center and hence may freely conjugate it by any element. Second, let us check that the trace function over $\mathbb F_{q^n}$ is actually a character. This follows because $$\sigma^n(\tilde{g}_1\tilde{g}_2) (\tilde{g}_1 \tilde{g}_2)^{-1} = \sigma^n (\tilde{g}_1 ) \sigma^{n}(\tilde{g}_2) \tilde{g}_2^{-1} \tilde{g}_1^{-1} = \sigma^n (\tilde{g}_1 ) \tilde{g}_1^{-1} \sigma^{n}(\tilde{g}_2) \tilde{g}_2^{-1}$$ where we use that $\sigma^{n}(\tilde{g}_2) \tilde{g}_2^{-1} $ is central. It now follows by the Chebotarev density theorem that the sheaf admits an isomorphism $\mathcal L \boxtimes \mathcal L = m^* \mathcal L$ because these two sheaves have the same trace function over every finite field. The uniqueness follows from Lemma \[character-sheaf-uniqueness\]. Given a character sheaf $\mathcal L$, define $\tilde{H} (\overline{\mathbb F}_q)$ to be the set of pairs of a point $x \in {H} (\overline{\mathbb F}_q)$ and a nonzero section of $\mathcal L_x$. Multiplication is given by $(x,s_x)(y,s_y) = (xy, s_x \otimes s_y)$ where we use the isomorphism $\mathcal L_x \otimes \mathcal L_y = \mathcal L_{xy}$ induced by taking stalks in the isomorphism $\mathcal L \boxtimes \mathcal L= m^* \mathcal L$ that is part of the definition of a character sheaf. Associativity for this multiplication follows from associativity for the isomorphism. To find units and inverses, it is sufficient to find them in the stalk over the identity of $H$, where they are obvious. By definition, the trace function is the trace of Frobenius on the stalk, which because the stalk is one-dimensional is the eigenvalue of Frobenius on the stalk, which can be calculated as $\sigma^n(s_x) s_x^{-1}$ for $s_x$ a section of the stalk, which is equal to $\sigma^n(x,s_x) (x,s_x)^{-1}$ for $(x,s_x)$ a lift of $x$. \[all-factorizable\] 1. For $H_1, H_2$ two algebraic groups, any character sheaf on $H_1 \times H_2$ is $\mathcal L_1 \boxtimes \mathcal L_2$ for $\mathcal L_1$ and $\mathcal L_2$ character sheaves on $H_1$ and $H_2$. 2. For $H$ an algebraic group over $\mathbb F_{q^n}$, any character sheaf on $\operatorname{Res}_{\mathbb F_{q^n}}^{\mathbb F_q} H$ is the Weil restriction of a character sheaf on $H$. <!-- --> 1. Let $\mathcal L$ be the character sheaf, let $\mathcal L_1$ be its pullback to $H_1$, and let $\mathcal L_2$ be its pullback to $H_2$. Then $\mathcal L_1 \boxtimes \mathcal L_2$ and $\mathcal L$ have the same trace function, hence are equal. 2. Let $\mathcal L$ be the character sheaf, let $\mathcal L'$ be its pullback to $(\operatorname{Res}_{\mathbb F_{q^n}}^{\mathbb F_q} H)_{\mathbb F_{q^n}}$ and then to $H$, embedded diagonally. Then $\mathcal L$ and $\operatorname{Res}_{\mathbb F_{q^n}}^{\mathbb F_q} \mathcal L'$ have the same trace function and thus are equal. Weil Restrictions ----------------- We work with the convention that, for an algebraic group $G$ over $k$ and a finite-dimensional ring $R$ over $k$, $G \lWR R \rWR$ is the algebraic group whose $S$-points for a ring $S$ over $k$ are the $R \otimes_k S$ points of $G$. Equivalently, $G \lWR R \rWR$ is the Weil restriction $\operatorname{Res}_k G_R$ from $R$ to $k$ of the base-change $G_R$. If we view $k^n$ as a ring by pointwise multiplication, then $G \lWR k^n \rWR = G^n$. More generally, $G \lWR R_1 \times R_2 \rWR = G \lWR R_1 \rWR \times G \lWR R_2 \rWR$. For another generalization, if $k'$ is a separable $k$-algebra of degree $n$, and $\overline{k}$ is the algebraic closure of $k$, then $\left( G \lWR k' \rWR \right)_{\overline{k}} = G_{\overline{k}}^n$. $G \lWR k[t]/t^2 \rWR $ is an extension of $G$ by the Lie algebra $\mathfrak g$ of $G$, where $\mathfrak g$ is viewed as an additive group scheme. More generally, $G \lWR k[t]/t^n \rWR $ is an $n-1$-fold iterated extension of $G$ by $\mathfrak g$. By definition, we have $G \lWR R \rWR (k) = G(R)$, which we will use several times. This method of constructing a scheme whose $k$-points are $G(R)$ has many good properties. For us, the most important is that it is stable under base change, i.e., for any field $k'$ over $k$, $G_{k'} \lWR R \otimes_k k' \rWR = \left( G \lWR R \rWR \right)_{k'}$. Sheaves on Stacks ----------------- \[ext-relation\] Let $Y$ be a stack of finite type over an algebraically closed field and let $K_1$ and $K_2$ be bounded complexes of $\ell$-adic sheaves on $Y$. 1. $H^i_c (Y, DK_1 \otimes K_2)$ is naturally dual to $\operatorname{Ext}^{-i}_Y ( K_2, K_1)$; 2. If $K_1$ and $K_2$ are perverse, then $H^i_c (Y, DK_1 \otimes K_2)$ vanishes for $i> 0$; 3. If $K_1$ and $K_2$ are perverse and semisimple, then $H^0_c(Y, DK_1 \otimes K_2) = \Hom(K_1,K_2)$. For part 1, by the definition of cohomology with compact supports @LO08 [9.1], $$H^i_c (Y, DK_1 \otimes K_2) = \left( H^{-i} ( Y, D ( DK_1 \otimes K_2) )\right)^{\vee}.$$ By @LO08 [Proposition 6.0.12 and Theorem 7.3.1], $$H^{-i} ( Y, D ( DK_{1} \otimes K_{2}) ) = H^{-i} (y, \mHom (K_{2}, K_{1})),$$ which in turn is equal to $ \operatorname{Ext}^{-i}_{Y}(K_{2},K_{1} ),$ by definition of $\operatorname{Ext}$, see @LO08 [Remark 5.0.11]. Part 2 follows because perverse sheaves are the heart of a t-structure by @LO09 [Theorem 5.1] and so their $\operatorname{Ext}^{-i}$ vanishes for $i>0$. Part 3 follows because for semisimple perverse sheaves $\operatorname{Ext}^0 ( K_{2}, K_{1}) = \Hom(K_{2}, K_{1})$ is dual to $\Hom (K_{1}, K_{2})$, verifying the first claim. \[cohbound-weak\] Let $\iota: \overline{\mathbb Q}_\ell \to \mathbb C$ be an embedding. Let $Y$ be an Artin stack of finite type over $\mathbb F_q$ with affine stabilizers and let $K_1$ and $K_2$ be bounded complexes of $\ell$-adic sheaves on $Y$, $\iota$-pure of weights $w_1$ and $w_2$. Then for any $j \in \mathbb Z$, $$\sum_{i =-\infty}^j (-1)^i \tr \left( \Frob_{q^e} , \iota ( H^i_c (Y_{\overline{\mathbb F}_q}, DK_1 \otimes K_{2} )) \right)= O\left(\left(q^e\right)^{ \frac{j + w_2 -w_1 }{2}}\right),$$ where the constant in the big $O$ is independent of $e$ but may depend on $(Y,K_1,K_2)$. In proving this lemma we will use $\iota$ to view $\overline{\mathbb Q}_\ell$ as a subfield of $\mathbb C$, and thus avoid writing $\iota$. The tensor product $DK_1 \otimes K_{2}$ is necessarily mixed of weight $\leq w_2-w_1$ so by @Sun12L [Theorem 1.4], $H^i_c (Y_{\overline{\mathbb F}_q}, DK_1 \otimes K_{2} )$ is mixed of weight $\leq i+ w_2-w_1$. Let $j' $ be an integer satisfying $j' \leq j-1$ and $j' + w_2- w_2 \leq 0$. By mixedness, all eigenvalues of $\Frob_{q}$ acting on the cohomology groups $ H^i_c (Y_{\overline{\mathbb F}_q}, DK_1 \otimes K_{2} ) ) $ are $ \leq q^{ \frac{j' + w_2 - w_1}{2}}$ when $i \leq j'$, and in particular are $\leq 1$. Let $|\Frob_{q}|$ be the operator that acts on generalized eigenspaces of $\Frob_{q}$ with eigenvalue the absolute value of the corresponding eigenvalue of $\Frob_{q} $. Then we have $$\left| \sum_{i =-\infty}^{j'} (-1)^i \tr\left(\Frob_{q^e} , H^i_c (Y_{\overline{\mathbb F}_q}, DK_1 \otimes K_{2} ) \right) \right|$$ $$\leq \sum_{i =-\infty}^{j'} \tr\left(|\Frob_{q}|^e,H^i_c (Y_{\overline{\mathbb F}_q}, DK_1 \otimes K_{2} ) \right) .$$ Then because all eigenvalues of $\Frob_{q}$ are $\leq q^{ \frac{j' + w_2 -w_1}{2} }$, for any $0<s \leq e$, we have $$\begin{aligned} &\sum_{i =-\infty}^{j'} \tr(|\Frob_{q}|^e, H^i_c (Y_{\overline{\mathbb F}_q}, DK_1 \otimes K_{2} ) )\\ \leq q^{ (e-s) \frac{j' + w_2-w_1}{2} }& \left( \sum_{i =-\infty}^{j'} \tr(|\Frob_{q}|^s, H^i_c (Y_{\overline{\mathbb F}_q}, DK_1 \otimes K_{2} ) ) \right) \end{aligned}$$ (by @Sun12L [Theorem 4.2(i)]) $$\leq q^{ (e-s) \frac{j' + w_2-w_1}{2} } O(1) .$$ Now because $j' \leq j-1$, we have $q^{ e \frac{j' +w_2-w_1}{2} } < q^{ e\frac{j+ w_2-w_1}{2} } $ so, for $s$ sufficiently small we have $$q^{ (e-s) \frac{j' +w_2-w_1}{2} } < q^{ e\frac{j+ w_2-w_1}{2} } = \left(q^e\right) ^{ \frac{j+ w_2-w_1}{2}}$$ and so this term is $O\left( \left(q^e\right) ^{ \frac{j+ w_2-w_1}{2}}\right)$, as desired. Any remaining terms satisfy $$(-1)^i \tr(\Frob_{q^e} , H^i_c (Y_{\overline{\mathbb F}_q}, DK_1 \otimes K_{2} ) ) = O\left(\left(q^e\right) ^{ \frac{i + w_2-w_1}{2}}\right) = O\left(\left( q^e\right) ^{ \frac{j + d(W_2) - d(W_1)}{2}}\right)$$ where the constant in the big $O$ is the dimension of that cohomology group. Linear recursive sequences and tensor power trick ------------------------------------------------- The following is a variant of Gelfand's formula $\lim\limits_{n\to \infty} ||t^n||^{\frac1n}$ for the spectral radius of an endomorphism. \[<span>@Deligne:Weil-I [§3]</span>, @Bombieri-Katz\] \[l:recursive-sequence\] Let $V$ be a finite-dimensional complex vector space, and $t\in \End(V)$. Then $$\rho:= \limsup\limits_{n\to \infty} |\tr(t^n | V)|^{\frac1n}$$ is the spectral radius of $t$, and $$|\tr(t^n | V )| \le \dim V \cdot \rho^n,\quad \text{for every $n\ge 0$}.$$ Let $\lambda_1,\ldots,\lambda_{\dim(V)}$ denote the eigenvalues of $t$, so that $\tr(t^n | V ) = \sum_{i} \lambda_i^n$. The power series $$\sum^\infty_{n=1} \tr(t^n|V) \frac{z^n}{n} = - \log \det(1-zt|V) = - \sum_i \log (1-\lambda_i z)$$ has radius of convergence equal to $\rho^{-1}$ by the Cauchy–Hadamard theorem (note that $n^{\frac1n} \to 1$ as $n\to \infty$). Since it cannot be extended to an holomorphic function past the singularities at $z=\lambda_i^{-1}$, we deduce that $\rho$ is equal to $\max_i |\lambda_i|$, the spectral radius of $t$. This establishes the first assertion, and then the inequality of the second assertion follows. Compactly induced representations {#s:compactly-induced} ================================= Vanishing of Jacquet modules {#s:vanishing-Jacquet} ---------------------------- Let $G(F)$ be a reductive group over a non-archimedean field local $F$. Let $P$ be a parabolic subgroup with Levi decomposition $P=MN$. The Jacquet module $(\pi_N,V_N)$ of a smooth representation $(\pi,V)$ of $G(F)$ is the $M$-module of the $N$-coinvariants of $V$. This is an exact functor. \[l:vanishing-Jacquet\] Let $\chi$ be a character on an open-compact subgroup $J$. The following assertions are equivalent: (i) The $N$-Jacquet module of the induced representation $\operatorname{c\--ind}^{G(F)}_J \chi$ vanishes; (ii) for every $g\in {G(F)}$, the restriction of $\chi$ to $gNg^{-1}\cap J$ is non-trivial; (iii) for every $g_1,g_2\in {G(F)}$, $\int_N f_\chi(g_1 n g_2)dn=0$, where $$f_\chi(g) := \begin{cases} \chi(g),& \text{if $g\in J$},\\ 0,&\text{if $g\not\in J$}. \end{cases}$$ We first show the direction (i) $\rightarrow$ (ii). We view $\operatorname{c\--ind}_{J}^{{G(F)}} \chi$ as the space of smooth compactly supported functions $f$ on ${G(F)}$ satisfying $f(gh)=f(g)\chi(h)$ for $h\in J$. Take $f$ in this space to be the function supported on $g^{-1} J$ such that $f(g^{-1}h)=\chi(h)$ for $h \in J$. Then $f \mapsto \int_{n\in N} f(ng^{-1}) $ factors through the Jacquet module of $\operatorname{c\--ind}_{J}^{{G(F)}} \chi$, hence vanishes, so $$0=\int_{n\in N} f(ng^{-1}) = \int_{n\in N \cap g^{-1}Jg} \chi(gng^{-1}) = \int_{ h\in gN g^{-1} \cap J} \chi(h),$$ where the integrations are with respect to Haar measures. This implies that the restriction of $\chi$ to the subgroup $gNg^{-1}\cap J$ is non-trivial. For the direction (ii) $\rightarrow$ (i), observe that a basis of $\operatorname{c\--ind}_{J}^{{G(F)}} \chi$ consists of, for each coset $gJ$ of $J$ in ${G(F)}$ with chosen representative $g$, the function $f_g: gh \mapsto \chi(h)$ supported on $gJ$. For $ h \in g N g^{-1} \cap J$, the right translation of $f_g$ by $h$ is equal to $\chi(h) f_g$, and the right translation of $f_g$ by $h$ is equal to the left translation of $f_g$ by an element of $N$, which implies that the image of $f_g$ and $\chi(h) f_g$ in the module of $N$-coinvariants is equal. Assuming that $\chi$ is nontrivial when restricted to $g N g^{-1} \cap J$, this implies that the image of $f_g$ in the module of $N$-coinvariants is zero. Making this assumption for all $g$, the image of all basis vectors in the modulo of $N$-coinvariants is zero, and so the module vanishes. For the implication (ii) $\Rightarrow$ (iii), suppose that $g_1 n_0 g_2\in J$ for some $n_0\in N$. Then the condition $g_1 n g_2 \in J$ is equivalent to $g_2^{-1} n^{-1}_0 n g_2 \in J$. Therefore $$\int_{n\in N} f_\chi(g_1 n g_2) = \chi(g_1 n_0 g_2) \int_{h\in g_2^{-1} N g_2\cap J} \chi(h) = 0.$$ The implication (iii) $\Rightarrow$ (ii) follows by taking $g_1=g$ and $g_2=g^{-1}$. \[l:Frob-reciprocity\] The following assertions on the smooth irreducible representation $\pi$ are equivalent: there is a non-zero $(J,\chi)$-invariant vector; it is a quotient of $\operatorname{c\--ind}^{G(F)}_J \chi$. If one of these conditions holds and the $N$-Jacquet module of $\operatorname{c\--ind}_J^{G(F)} \chi$ vanishes, then $\pi_N=0$. The equivalence of $\Hom_J(\chi,\pi)\neq 0$ and $\Hom(\operatorname{c\--ind}^{G(F)}_J \chi, \pi)\neq 0$ is a form of Frobenius reciprocity @Cas [Thm. 3.2.4]. The second assertion is consequence of the exactness of the Jacquet functor. An admissible representation $\pi$ is supercuspidal if $\pi_N=0$ for every proper parabolic subgroup $P=MN$. It is equivalent @Cas [Thm. 5.3.1] that all the matrix coefficients have compact support mod center. If $(\pi,V)$ is irreducible, then it is sufficient to verify that one nonzero matrix coefficient has compact support mod center. We deduce from Lemma \[l:vanishing-Jacquet\] and Lemma \[l:Frob-reciprocity\] the following which will be used often. \[c:vanishing-Jmod\] Suppose that the restriction of $\chi$ to $N\cap J$ is non-trivial for every proper parabolic subgroup $P=MN$, or equivalently that $\operatorname{c\--ind}_J^{G(F)} \chi$ has vanishing Jacquet modules. Then every smooth irreducible representation with a non-zero $(J,\chi)$-invariant vector is supercuspidal, and the function $f_\chi$ is a cuspidal function. It is proved in @Bushnell:c-ind that the following assertions on the induced representation $\operatorname{c\--ind}^{G(F)}_J \chi$ are equivalent: it is admissible, it is supercuspidal, it is a finite direct
{'source': 'arXiv_out/1805'}