arXiv:1909.05467v2 [math.RT] 12 Mar 2020 ojcue h olo hsppri ogv ro fti va this of proof a give ℓ to is paper this of goal The conjecture. 1.1. conjecture. vanishing the of proof a outline lmn fcharacteristic of element F 2 holonomic (2) w emti/ha-hoei otxs (1) contexts: geometric/sheaf-theoretic two otx 2 sted hmstig ewl xanntiilch non-trivial a fix will We setting. Rham de the as (2) context ntestig let setting, the on ojcueo cciiyof acyclicity on conjecture the ai n eRa etns xli t plctost h B the to applications its explain settings, Rham de and -adic nteitouto,w ol iet ealtesaeetof statement the recall to like would we introduction, the In hsppri eult C] In [C1]. to sequel a is paper This sheaves character the and center Categorical and 6. systems central Local of characterizations and 5. transform Mellin functors restriction 4. and Induction 3. Notations 2. Introduction 1. .Pofo hoe 1.5 Theorem References of Proof 7. = ℓ h aihn conjecture. vanishing The ai etn rteexponential the or setting -adic Q ℓ t of ity Abstract. ls fcaatrsevsi mixed-characteristic. in on charact sheaves relies and character conjecture bimodules of vanishing Harish-Chandra class of the center of Drinfeld c reduc proof on a finite The for As kernels Kazhdan. Fourier [C1]. and non-linear in the proposed of struction conjecture vanishing a establishing ntecs char case the in ρ NTECNETRSO BRAVERMAN-KAZHDAN OF CONJECTURES THE ON Bse hae nrdciegop nboth in groups reductive on sheaves -Bessel D mdlso cee over schemes on -modules nti ril epoeacnetr fBaemnadKazhda and Braverman of conjecture a prove we article this In L ψ E eteAtnShee ha nteadtv group additive the on sheaf Artin-Schreier the be θ > p k ρ = Bse hae nrdciegop olw rmacranv certain a from follows groups reductive on sheaves -Bessel or 0 p and loc.cit. Let k D F = mdl nted hmsetting. Rham de the in -module 1. SOHINCHEN TSAO-HSIEN k = C twssonta h gnrlzd Braverman-Kazhdan (generalized) the that shown was it ea lerial lsr fafiiefield finite a of closure algebraically an be Introduction efi rm number prime a fix We . C Contents k ℓ = ntecase the in ai hae nshmsover schemes on sheaves -adic C 1 erfrcnet()a the as (1) context refer We . M ℓ ai n eRa etns ed oby so do We settings. Rham de and -adic θ iegop scnetrdb Braverman by conjectured as groups tive k rDmdls n osrcino a of construction a and D-modules, er rlay eoti emti con- geometric a obtain we orollary, = ∗ h ehiusdvlpdi [BFO] in developed techniques the ihn conjecture. nishing cnrlcmlxs11 complexes -central aemnKzdncnetrs and conjectures, raverman-Kazhdan C aracter ewl osdrtefollowing the consider will We . h aihn ojcuei both in conjecture vanishing the ℓ n[K]o acyclic- on [BK1] in n ψ ieetfrom different G a : F orsodn to corresponding q k → fcharacteristic of ℓ ai etn and setting -adic Q ℓ × Depending . F p eset We . q anishing with ψ 15 35 32 19 in q p 8 7 1 - The vanishing conjecture proposed in [C1] is a generalization of the well-known acyclicity ∗ (1.1) Hc(Ga, Lψ) = 0. of Lψ to general reductive groups. The starting point is the observation that (1.1) can be restated as acyclicity of a certain local system on SL2 over certain affine subspaces. Namely, let tr : SL2 → Ga be the trace map and let U be the unipotent radical of the the standard Borel subgroup B of SL2. ∗ Then (1.1) is equivalent to the following acyclicity of the local system Φ = tr Lψ over U-orbits on the open Bruhat cell: for any x ∈ SL2 \ B we have ∗ ∗ (1.2) Hc(xU, i Φ)=0.

Here i : xU → SL2 is the embedding. Indeed, it follows from the fact that for any x ∈ SL2 \ B, the trace map restricts to an isomorphism tr : xU ≃ Ga between the U-orbit through x and Ga. To state a generalization of (1.2) to general reductive groups, let me first recall some notations and definitions. Let G be a connected reductive group over k. Let T be a maximal tour of G and B be a Borel subgroup containing T with unipotent radical U. Denote by W = NG(T )/T the Weyl t group, where NG(T ) is the normalizer of T in G. Depending on the setting, we denote by π1(T ) the tame ´etale fundamental group of T if char k > 0, or the topological fundamental group of T if t k = C. We denote by C(T )(F ) the set of continuous F -valued characters of π1(T ). For any character χ ∈ C(T )(F ), we write Lχ for the corresponding rank one ℓ-adic/de Rham local system on T . The Weyl group W acts naturally on C(T )(F ) and for any χ ∈ C(T )(F ), we denote ′ ′ ′ by Wχ the stabilizer of χ in W and Wχ ⊂ Wχ, the subgroup of Wχ generated by those reflections ∗ sα such that the pull-back (ˇα) Lχ is isomorphic to the trivial local system, whereα ˇ : Gm → T is the coroot associated to α1.

Denote by DW(T ) the W-equivariant bounded derived category of sheaves on T . For any D ′ F ∈ W(T ) and χ ∈ C(T )(F ), the W-equivariant structure on F together with the natural Wχ- ′ ∗ equivivariant structure on Lχ give rise to an action of Wχ on the cohomology groups Hc(T, F ⊗Lχ) ∗ ′ (resp. H (T, F⊗Lχ)). In particular, we get an action of the subgroup Wχ ⊂ Wχ on the cohomology groups above. Denote by signW : W → {±1} the sign character of W. The key in formulating the generalization of (1.2) to general G is the following definition of central complexes on T introduced in [C1, Definition 1.1]:

Definition 1.1. A W-equivariant complex F ∈ DW(T ) is called central (resp. ∗-central) if for any χ ∈ C(T )(F ), the group Wχ acts on ∗ ∗ Hc(T, F ⊗ Lχ) (resp. H (T, F ⊗ Lχ)) via the sign character signW. It is called strongly central (resp. strongly ∗-central) if the stabilizer ′ Wχ acts on the cohomology groups above by the sign character. ′ Remark 1.1. If the center of G is connected, then it is known that Wχ = Wχ for all χ ∈ C(T )(F ) (see, for example, [DL, Theorem 5.13]), thus the notions of central complexes (resp. ∗-central complezes) and strongly central complexes (resp. strongly ∗-central complexes) are the same. In general, the two notions are different (see Example 1.2).

Example 1.2. Consider the case G = SL2. Let χ ∈ C(T )(F ) be the quadratic character associated 2 ′ to the covering T → T,x → x . We have Wχ = e, Wχ = W, and it is easy to see that the W-equivariant local system F = Lχ corresponding to χ is central but not strongly central.

1 The group Wχ plays an important role in the study of representations of finite reductive groups and character sheaves (see, e.g., [Lu]). 2 G D D Consider the induction functor IndT ⊂B : (T ) → (G) between bounded derived category of sheaves on T and G. For F ∈ DW(T ), the W-equivariant structure on F defines a W-action on G IndT ⊂B(F) and we denote by G W ΦF := IndT ⊂B(F) G the W-invariant factor in IndT ⊂B(F). In [C1, Conjecture 1.2], we proposed the the following conjecture on acyclicity of ΦF over certain affine subspaces in G, called the vanishing conjecture:

Conjecture 1.2. Assume F ∈ DW(T ) is central (resp. ∗-central). For any x ∈ G \ B, we have the following cohomology vanishing ∗ ∗ ∗ ! (1.3) Hc (xU, i ΦF)=0 (resp. H (xU, i ΦF) = 0) where i : xU → G is the natural inclusion map. Equivalently, the derived push-forward π!(ΦF) (resp. π∗(ΦF)) is supported on the closed subset T = B/U ⊂ G/U. Here π : G → G/U is the quotient map. −1 Example 1.3. Let G = SL2 and let trT : T ≃ Gm → Ga,t → t + t be the trace map. Then it is ∗ easy to show that the pull-back F = trT Lψ together with the canonical W-equivaraint structure is central, moreover, we have ∗ ΦF ≃ tr Lψ where tr : SL2 → Ga is the trace map (see, e.g., [C1, Example 1.2 and 1.7]). It follows that Conjecture 1.2 (in this case) is equivalent to (1.2), and hence is also equivalent to the acyclicity of Artin-Schreier sheaf (1.1).

1.2. Braverman-Kazhdan conjectures. Assume k = Fq and G is defined over Fq. In [BK1, BK2], Braverman and Kazhdan associated to each representation ρ : Gˇ → GL(Vρ) of the complex dual group, a Qℓ-valued function

(1.4) γG,ρ,ψ : Irr(G(Fq)) → Qℓ on the set of irreducible representation of the finite group G(Fq), satisfying the following remarkable properties: ′ ′ (1) it is constant on Deligne-Lusztig packets, that is, we have γG,ρ,ψ(π)= γG,ρ,ψ(π ) if π and π appear in the same Deligne-Lusztig representation RT,θ, (2) if π appears in RT,θ, then the value γG,ρ,ψ(π) is given by a certain explicit Gauss-type sum associated to the character θ.

They called γG,ρ,ψ the γ-function associated to ρ.

The function γG,ρ,ψ on Irr(G(Fq)) gives rise to a Qℓ-valued class function φG,ρ,ψ on G(Fq) char- acterized by the property that the operator

Fρ : Func(G(Fq)) → Func(G(Fq)) on the space of functions on G(Fq) given by convolution with φG,ρ,ψ satisfies

Fρ(χπ)= γG,ρ,ψ(π)χπ, where χπ is the character of π ∈ Irr(G(Fq)). In the case G = GLn and ρ = std is the standard representation of Gˇ = GLn(C), the function φG,ρ,ψ is given by ψ ◦ tr (up to some power of q) and the operator Fρ is the linear Fourier transform on the space of functions on GLn(Fq) (or rather, the restriction of the linear Fourier transform on Func(gln(Fq)) to the subspace Func(GLn(Fq)). Thus, one can view Fρ as a kind of non-linear Fourier transform and φG,ρ,ψ as the corresponding Fourier kernel. 3 In loc. cit. Braverman and Kazhdan proposed a geometric construction of φG,ρ,ψ using the theory of ℓ-adic sheaves. To explain their construction, let us fix a F-stable maximal torus T ⊂ G where F : G → G is the geometric Frobenius morphism and consider the restriction of ρ to the dual maximal torus Tˇ ⊂ Gˇ. Then there exists a collection of weights • × λ = {λ1, ..., λr}⊂ X (Tˇ) := Hom(Tˇ , C ) r ˇ such that there is an eigenspace decomposition Vρ = Li=1 Vλi of Vρ, where T acts on Vλi via the character λi. One can regard λ as collection of co-characters of T using the the canonical • isomorphism X (Tˇ) ≃ X•(T ) and define ∗ ∗ ∗ ΦT,ρ,ψ = prλ,!tr Lψ[r]ΦT,ρ,ψ = prλ,∗tr Lψ[r], where r r r r prλ := Y λi : Gm −→ T, tr : Gm −→ Ga, (x1, ..., xr) → X xi. i=1 i=1 ∗ It is shown in [BK2] that both ΦT,ρ,ψ and ΦT,ρ,ψ carry natural W-equivariant structures and the D ∗ 2 resulting objects in W(T ), denote again by ΦT,ρ,ψ and ΦT,ρ,ψ, are called the ρ-Bessel sheaves . ∗ The ρ-Bessel sheaves on G, denoted by ΦG,ρ,ψ and ΦG,ρ,ψ, are defined as G W ∗ G ∗ W ΦG,ρ,ψ = IndT ⊂B(ΦT,ρ,ψ) , ΦG,ρ,ψ = IndT ⊂B(ΦT,ρ,ψ) . It is shown in [BK2, Theorem 4.2] and [CN, Appendix B] that, if ρ satisfies certain positivity ∗ assumption (see [BK2, Section 1.4]), then the ρ-Bessel sheaves ΦT,ρ,ψ and ΦT,ρ,ψ on T are in fact ∗ local systems on the image of prλ, moreover, we have ΦT,ρ,ψ ≃ ΦT,ρ,ψ. This is a generalization of Deligne’s theorem on Kloosterman sheaves [De1].

Braverman and Kazhdan showed that one can endow the ρ-Bessel sheaf ΦG,φ,ψ with a Weil ∗ structure F ΦG,φ,ψ ≃ ΦG,φ,ψ and they proposed the following conjecture:

Conjecture 1.3. Let Tr(ΦG,ρ,ψ) : G(Fq) → Qℓ is the function corresponding to ΦG,ρ via the functions-sheavers correspondence. We have

Tr(ΦG,ρ,ψ)= φG,ρ,ψ

Conjecture 1.3 gives a geometric construction of the non-linear Fourier kernel φG,ρ,ψ. They also showed that Conjecture 1.3 follows from the following conjecture on acyclicity of ρ-Bessel sheaves: Conjecture 1.4. [BK1, Conjecture 9.12] For any x ∈ G \ B, we have the following cohomology vanishing ∗ ∗ ∗ ! ∗ Hc(xU, i ΦG,ρ,ψ)=0 (resp. H (xU, i ΦG,ρ,ψ) = 0) where i : xU → G is the natural inclusion map. Equivalently, the derived push-forward π!(ΦG,ρ,ψ) (resp. π∗(ΦG,ρ,ψ)) is supported on the closed subset T = B/U ⊂ G/U. Here π : G → G/U is the quotient map. The goal of this paper is to give a proof of Conjecture 1.4, and hence Conjecture 1.3. Note that the construction of ρ-Bessel sheaves and Conjecture 1.4 are entirely geometric and have obvious counterparts in the de Rham setting. Moreover, it is shown in [C1] that the ρ-Bessel sheaves on T are in fact strongly central (see Definition 1.1). Thus the vanishing conjecture contains Conjecture 1.4 as a special case and what we actually prove here is the vanishing conjecture (or rather, Conjecture 1.2 for strongly central complexes).

2 In [BK1, BK2], the authors called ΦT,ρ,ψ γ-sheaves on T . However, based on the fact that the classical γ-function is the Mellin transform of the Bessel function, we follow [Ng] and use the term ρ-Bessel sheaves instead of γ-sheaves 4 Remark 1.4. Conjecture 1.3 and Conjecture 1.4 here are (slightly) generalized versions of the original conjectures of Braverman and Kazhdan. The original conjectures require that the representation ρ satisfies the positivity assumption mentioned earlier. In Corollary 1.6 and Corollary 1.7 below, we will prove that their conjecture holds without any assumption on ρ.

1.3. The main result. The following theorem is the main result of the paper which establishes acyclicity of ΦF when F is a strongly central complex (resp. strongly ∗-central complex), and hence the vanishing conjecture for reductive groups with connected center (see Remark 1.1), for almost all characteristics: Theorem 1.5. (Theorem 7.1) There exists a positive integer N depending only on the type of the group G such that the following holds. Assume k = C or char k = p is not dividing Nℓ. Let F ∈ DW(T ) be a strongly central complex (resp. strongly ∗-central complex) on T and let G W D ΦF = IndT ⊂B(F) ∈ (G). Then for any x ∈ G \ B, we have the following cohomology vanishing ∗ ∗ ∗ ! (1.5) Hc (xU, i ΦF)=0 (resp. H (xU, i ΦF) = 0).

Here i : xU → G is the embedding. Equivalently, the derived push-forward π!(ΦF) (resp. π∗(ΦF)) is supported on the closed subset T = B/U ⊂ G/U. Here π : G → G/U is the quotient map. In particular, the vanishing conjecture (Conjecture 1.2) holds for reductive groups with connected center. Remark 1.5. The assumption on the characteristic of k comes from a spreading out argument used in the proof (see Section 1.6).

Remark 1.6. In [C1], we proved the vanishing conjecture in the case G = GLn using mirabolic subgroups (note that GLn has connected center). The argument in loc. cit. was inspired by the work of Cheng and Ngˆo[CN] on Braverman-Kazhdan conjectures for G = GLn. The proof of Theorem 1.5 for general G uses different methods (see Section 1.6).

1.4. Applications. In this subsection we assume the characteristic of k is either zero or not di- viding Nℓ, where N is the positive integer in Theorem 1.5. Corollary 1.6. Conjecture 1.4 holds.

Proof. It is shown in [C1, Theorem 1.4] that the Braverman-Kazhdan’s ρ-Bessel sheaf ΦT,ρ,ψ (resp. ∗ ΦT,ρ,ψ) on T is strongly central (resp. strongly ∗-central). Thus Theorem 1.5 immediately implies the corollary.  Corollary 1.7. Conjecture 1.3 holds.

Proof. It is shown in [BK2, Corollary 6.7] that Conjecture 1.4 implies Conjecture 1.3. Thus Corol- lary 1.6 implies Corollary 1.7. 

Conjecture 1.4 was proved by Braverman and Kazhdan [BK2, Theorem 6.9] in the case when the semi-simple rank of G is less or equal to one, and by Cheng and Ngˆo[CN, Theorem 2.4] in the case G = GLn. Conjecture 1.3 was proved by Braverman and Kazhdan [BK2, Theorem 1.6] when the semi-simple rank of G is less or equal to one or G = GLn under some assumption on ρ. In a recent work, G. Laumon and E. Letellier established Conjecture 1.3 via a different method [LL, Theorem 1.0.2]. It is interesting to note that in loc.cit. they also made no assumption on the representation ρ. 5 Remark 1.7. In [LL, Theorem 1.0.1], Laumon-Letellier also proved a formula for the non-linear Fourier kernel φG,ρ,ψ in terms of Deligne-Lusztig inductions. It will be interesting to prove a similar result in the de Rham setting, that is, write down an explicit formula for the ρ-Bessel D-module ΦG,ρ,ψ, or rather, the corresponding system of differential equations on G. We expect applications of such formula to the Braverman-Kazhdan-Ngˆo’s approach to functional equation of automorphic L-functions [BK1, Ng]. 1.5. Whittaker sheaves on G. In the course of proving Theorem 1.5, we establish several char- acterizations of ∗-central D-modules on T using the Mellin transform, see Theorem 4.3. On the other hand, in their works on Whittaker D-modules, nil Hecke algebras, and quantum Toda lat- tices, Ginzburg [Gi2] and Lonergan [L] prove that the category of Whittaker D-modules on G is equivalent to a certain full subcategory of the category of W-equivariant D-modules on T . It turns out that, as an immediate corollary of Theorem 4.3, the latter full subcategory is equivalent to the category of central D-modules on T . Thus, combining the results in loc. cit. we obtain: Theorem 1.8. (Theorem 4.5) The category of Whittaker D-modules on G is equivalent to the abelian category of central D-modules on T . It was mentioned in the introduction of [Gi2] that Drinfeld asked the question of finding a description of an ℓ-adic counterpart of the category of Whittaker D-modules on G in terms of W-equivariant sheaves on T . Theorem 1.8 suggests that the category of ℓ-adic central perverse sheaves on T might provide an answer to Drinfeld’s question (see Section 4.4). Remark 1.8. In a recent work [BZG], Ben-Zvi and Gunningham constructed a remarkable functor from the category of Whittaker D-modules on G to the category of G-conjugation equivaraint D- module on G, they called it Ngˆofunctor, and they conjectured that the objects in the essential image of the Ngˆofunctor satisfy the cohomology vanishing properties in (1.3), see [BZG, Conjecture 2.9 and 2.14]. Our Theorem 1.5 and Theorem 1.8 might be useful for studying their conjectures. 1.6. Outline of the proof. The proof of Theorem 1.5 consists of three steps: Step 1. We construct for each W-orbit θ in C(T )(F ) a remarkable W-equivariant local system 3 G W Eθ on T and consider the equivariant perverse sheaf or D-module Mθ = IndT ⊂B(Eθ) on G. A key observation is that to prove Theorem 1.5 it suffices to prove the acyclicity of Mθ, that is, the cohomology vanishing properties (1.5) for Mθ. This follows from a computation of the convolution of Mθ with ΦF (Proposition 7.3), where F ∈ DW(T ) is a strongly ∗-central complex, and a result of Laumon on the conservativity of the Mellin transform (Lemma 7.5). Step 2. We use the techniques developed in [BFO] on character D-modules and Drinfeld center of Harish-Chandra bimodules to prove acyclicity of Mθ in the de Rham setting. An important point here is that Eθ is a tame local system on T , and hence the associated D-module Mθ on G is a character D-module and the results in loc. cit. are applicable. A key step in the proof is to show that the Harish-Chandra bimodule corresponding to Eθ, under the Beilinson-Bernstein localization theorem, has a canonical central structure (Proposition 6.7).

Step 3. We construct a mixed characteristic lifting Mθ,A of Mθ over a strictly Henselian ring A with residue field k of characteristic not dividing Nℓ, where N is a positive integer depending only on the type of G. We prove that Mθ,A is universally locally acyclic with respect to the quotient map πA : GA → GA/UA (here GA and UA are models of G and U over A). This allows us to deduce acyclicity of Mθ in the ℓ-adic setting from the de Rham setting. This completes the proof of Theorem 1.5. 3 The author learned the existence of Eθ from R. Bezruakvnikov 6 The results established in this paper reveal interesting connections between the Braverman- Kazhdan conjectures, Whittaker D-modules, character sheaves, and categorical center of Hecke categories. We plan to explore those connections in a future work [C2].

Remark 1.9. The proof of acyclicity of Mθ in the de Rham setting makes use of Harish-Chandra bimodules, and hence is algebraic. It would be interesting to have a geometric proof which treats the cases of various ground fields and sheaf theories uniformly. Presumably, such a proof will provide an explicit bound of the integer N in Theorem 1.5. Remark 1.10. Using a similar but more involved argument, one can show that the vanishing con- jecture holds for reductive groups with disconnected center. Such a generalization is not needed for the proof of Braverman-Kazhdan conjectures, so the details will be worked out in a forthcoming paper [C2].

1.7. Organization. We briefly summarize here the main goals of each section. In Section 2 we collect standard notation in algebraic groups, ℓ-adic sheaves, and D-modules. In Section 3 we study induction and restriction functors. In Section 4, we study characterizations of central and ∗-central complexes using Mellin transfroms. In Section 5 we introduce the ∗-central local systems Eθ and establish some basic properties of them. In Section 6 we prove acyclicity of character sheaves Mθ (Theorem 6.1). In Section 7 we prove Theorem 1.5. Acknowledgement. I especially like to thank G´erard Laumon for useful discussions. The argu- ment using character sheaves in mixed-characteristic to prove the Braverman-Kazhdan conjectures in the ℓ-adic setting, follows a suggestion of his. I also would like to thank Roman Bezrukavnikov, NgˆoBao Chˆau, Victor Ginzburg, and Zhiwei Yun for useful discussions. I am grateful for the support of NSF grant DMS-1702337.

2. Notations 2.1. We denote by B = G/B the flag variety. We denote by g, b, t, n the Lie algebras of G, B, T, U. We denote by Grs (resp. T rs) the open subset consisting of regular semi-simple elements in G (resp. reg T ). We denote by G the open subset consisting of regular elements in G. We denote by Ga the additive group and Gm the multiplicative group. We denote by Gˇ the complex dual group of G ˇ ex and T the dual maximal torus. We denote by Wa = W ⋉ Λ the extended affine Weyl group and Wa = W ⋉ R the affine Weyl group. Here Λ = X•(Tˇ) = Hom(Gm, Tˇ) is the co-character lattice and R ⊂ Λ is the set of co-roots of Gˇ.

2.2. For an algebraic stack X over k, we denote by D(X) the bounded derived category of ℓ-adic sheaves on X in the ℓ-adic setting or the bounded derived category of holonomic D-modules on X in the de Rham setting. D ♥ For a smooth scheme X, we will write 1X ∈ (X) for the constant perverse sheaf Qℓ[dim X] on X in the ℓ-adic setting or the structure sheaf OX in the de Rham setting. ∗ ! For a representable morphism f : X → Y, the six functors f ,f∗,f!, g , ⊗, Hom are understood in the derived sense. For a smooth map f : X → Y of relative dimension d we write f ◦ = f ∗[d]= f ![−d]. For an algebraic group H over k acting on a k-scheme X, we denote by X/H, the corresponding quotient stack and X//H the geometric invariant quotient (if exists). We will write H/adH for the quotient stack of H with respect to the adjoint action. Consider the case when H is a finite group. Then the pull-back along the quotient map X → X/H induces an equivalence between D(X/H) and the (naive) H-equivariant derived category on X, denoted by DH (X), whose objects consist of pair 7 (F, φ), where F ∈ D(X) and φ : a∗F ≃ pr∗F is an isomorphism satisfying the usual compatibility conditions (here a and pr are the action and projection map from H × X to X respectively).4 We will call an object (F, φ) in DH (X) a H-equivariant complex and φ a H-equivariant structure on F. For simplicity, we will write F = (F, φ) for an object in DH (X). We denote by τ≤n,τ≥n the truncation functors corresponding to the standard t-structure on D(X). For any F ∈ D(X), we denote by H n(F) the n-th cohomology sheaf. In the ℓ-adic setting, p p we denote by τ≤n, τ≥n the truncation functors corresponding to the perverse t-structure. For any p n p p F ∈ D(X), the n-th perverse cohomology sheaf is defined as H (F)= τ≥n τ≤n(F)[n]. Depending on the setting, we write D(X)♥ for the heart corresponding to the perverse t-structure in the ℓ-adic setting and the heart corresponding to the standard t-structure in the de Rham setting. For any stack X over k, we denote by Coh(X) and QCoh(X) the categories of coherent and quasi- b b coherent sheaves on X, and Dcoh(X) and Dqcoh(X) the corresponding bounded derived categories. Let F be an quasi-coherent sheaf or D-module on a scheme. We will write Γ(F) and RΓ(F) for the global section and derived global section of F as an quasi-coherent sheaf. For any scheme X we will write OX for the structure sheaf of X and O(X)=Γ(OX ) the ring of global functions on X. Assume k = C. For any smooth scheme X we denote by DX the sheaf of differential operators on X. Let f : X → Y be a principal T -bundle over a smooth scheme Y . A D-module F on X is called T -monodromic if it is weakly T -equivariant (see [BB, Section 2.5]). A object F ∈ D(X) is called T -monodromic if H i(F) is T -monodromic for all i. Let F ∈ D(X) be a T -monodromic object. For any µ ∈ ˇt ≃ t∗, we denote Γµˆ(F) (resp. RΓµˆ(F)) the maximal summand of Γ(F) (resp. RΓ(F)) where t, acting as infinitesimal translations along the action of T , acts with the generalized eigenvalue µ.

3. Induction and restriction functors In this section we collect some known facts about induction and restriction functors.

3.1. Recall the Grothendieck-Springer simultaneous resolution of the Steinberg map c : G → T//W :

q˜ (3.1) G / T e c˜ q   G c / T//W where G is the closed subvariety of G × G/B consisting of pairs (g,xB) such that x−1gx ∈ B. The mapc ˜ eis given by (g,xB) → g, and the mapq ˜ is given by (g,xB) → x−1gx mod U ∈ B/U = T . G D D The induction functor IndT ⊂B : (T ) → (G) is given by G ◦ IndT ⊂B(F) =c ˜∗q˜ (F). G We have the following equivalent constructions of IndT ⊂B. Consider the fiber product

Z = G ×T//W T.

4This holds in a more general situation when the neutral component of H is unipotent. 8 It is known that the map h : G˜ → Z induced from (3.1) is a small map and it follows that ♥ IC(Z)= h!1S ∈ D(Z) is the IC-complex of Z. We have G ∗ (3.2) IndT ⊂B(F) ≃ (pG)∗(pT (F) ⊗ IC(Z))[dim G − dim T ] where pT : Z → T and pG : Z → G are the natural projection map. Let X be a scheme acted on by an algebraic group H and let H′ ⊂ H be a subgroup. There is an averaging functor ′ ′ H/H ′ H/H ′ Av∗ = π∗ : D(X/H ) → D(X/H) (resp. Av = π! : D(X/H ) → D(X/H)) which is the ! ′ right adjoint (resp. left adjoint) of the forgetful functor oblvH/H : D(X/H) → D(X/H′). Here π : X/H′ → X/H is the natural map. If H′ = e is trivial we will omit H′ and simply write H H/e H H/e H H/e Av∗ = Av∗ (resp. Av! = Av∗ ) and oblv = oblv . Note that, for any F ∈ D(T ), its ∗-pull back along B → T = B/U, denoted by FB, can be regarded as an object in D(G/adB) and there is a canonical isomorphism G/e G/B G oblv ◦ Av∗ (FB) ≃ IndT ⊂B(F). G G D D The functor IndT ⊂B admits a righ adjoint ResT ⊂B : (G) → (T ), called the restriction functor, and is given by G ! ResT ⊂B(F) = (qB)∗iB(F) where iB : B → G is the natural inclusion and qB : B → T = B/U is the quotient map. More G D D generally, one could define ResL⊂P : (G) → (L), for any pair (L, P ) where L is a Levi subgroup of a parabolic subgroup P of G. We have the following exactness properties of induction and restriction functors: G Proposition 3.1. (1) The functor IndT ⊂B maps perverse sheaves on T to perverse sheaves on G. G (2) The functor ResL⊂P maps G-conjugation equivariant perverse sheaves on G to L-conjugation equivariant perverse sheaves on L.

Proof. This is [BY, Theorem 5.4]. 

3.2. W-action. Let F ∈ DW(T ). Since the map pT : S → T and the IC-complex IC(S) are W- equivariant, it follows from (3.2) that the W-equivariant structure on F gives rise to a W-action on G IndT ⊂B(F). We denote by G W (3.3) ΦF := IndT ⊂B(F) G the W-invariant factor of IndT ⊂B(F). In the case when F is a W-equivariant perverse local system on T , we have the following descrip- rs rs rs rs rs tion of ΦF: Let q : T → T //W and c : G → T //W be the restriction of the maps in (3.1) to the regular semi-simple locus. As qrs is an ´etale covering, the restriction of F to T rs descends to a perverse local system F′ on T rs//W and we have G W rs ∗ ′ ΦF = IndT ⊂B(F) ≃ j!∗(c ) F [dim G − dim T ]. D ♥ G Let F ∈ W(T ) and let F [W] → EndD(G)♥ (IndT ⊂B(F)) be the map coming from the W-action. By adjunction, we get a map G G G F [W] → EndD(G)♥ (IndT ⊂B(F)) ≃ HomD(G)♥ (F, ResT ⊂B ◦ IndT ⊂B(F)), which gives rise to G G (3.4) F [W] ⊗ F → ResT ⊂B ◦ IndT ⊂B(F). 9 We have the following generalization of [Gu, Theorem 4.6] to the group setting: F D ♥ ∗F G Proposition 3.2. Let ∈ (T ) . (1) There is a canonical isomorphism Lw∈W w ≃ ResT ⊂B ◦ G D ♥ IndT ⊂B(F). (2) Assume further that F ∈ W(T ) . Then the composition

φ ∗ G G (3.5) F [W] ⊗ F ≃ M w F ≃ ResT ⊂B ◦ IndT ⊂B(F), w∈W is equal to (3.4). Here φ is the W-equivariant structure of F.

Proof. We follow the argument in loc. cit.. We shall give a proof in the de Rham setting. The same proof works for the ℓ-adic setting. Consider the product SG = G×G B. There are two natural e maps qS : SG → T and cS : SG → T coming fromq ˜ : G˜ → T andc ˜ : G˜ → T in (3.1). Let S H 0 G G := (qS × cS)∗(ωSG ). Using base changes formulas, it is easy to see that the functor ResT ⊂B ◦ G G G ◦ IndT ⊂B(−) is given by the kernel SG, that is, we have, ResT ⊂B ◦IndT ⊂B(F) ≃ prl,∗(prrF⊗SG), here prl : prr : T × T → T are the left and right projection maps. Now the same proof as in [Gu, Section t S O 4.3], replacing by T , shows that there is a canonical isomorphism of monads G ≃ Lw∈W Γw , here G G F ◦F S ∗F Γw = {x,wx|x ∈ T }⊂ T ×T . It follows that ResT ⊂B ◦IndT ⊂B( ) ≃ prl,∗(prr ⊗ G) ≃ Lw∈W w . This completes the proof of (1). Assume F is W-equivariant. It follows from the construction that G G F ∗F the isomorphism in (1) intertwines the W-action on ResT ⊂B◦IndT ⊂B( ) with the one on Lw∈W w given by the map ∗ ∗ w (φr) ∗ ∗ ∗ ∗ ar : M w F → M w r F ≃ M (rw) F = M w F, w∈W w∈W w∈W w∈W for any r ∈ W. Part (2) follows. 

We will need the following properties of induction functors. Let mG : G × G → G and mT : ′ ′ ′ T ×T → T be the multiplication maps. For any M, M ∈ D(G), we define M∗M := mG,∗(M⊠M ) ∈ ′ ′ ′ D(G). Similarly, for any F, F ∈ D(T ), we define F ∗ F = mT,∗(F ⊠ F ). ♥ U Proposition 3.3. Let M ∈ D(G/adG) and F ∈ D(T ). Assume Av∗ (M) is supported on T = B/U ⊂ G/U. Then we have a natural isomorphism in D(G) G G G IndT ⊂B(F) ∗ M ≃ IndT ⊂B(F ∗ ResT ⊂BM) which is functorial with respect to F.

Proof. This is proved in [BK2, Proposition 2.9]. Let us recall the construction in loc.cit.. For any ♥ H ∈ D(G/adB) and M ∈ D(G/adG) , there is a natural isomorphism G/B G/B G/B Av∗ (H ∗ oblv M) ≃ Av∗ (H) ∗ M. ∗ U When H = FB = qBF is the pull back of F along qB : B → T = B/U, the assumption that Av∗ (M) is supported on T implies that G/B G D FB ∗ oblv M ≃ (F ∗ ResT ⊂B(M))B ∈ (G/adB) and it follows that G G/e G/B G/e G/B G/B IndT ⊂B(F) ∗ M ≃ oblv ◦(Av∗ (FB) ∗ M) ≃ oblv ◦(Av∗ (FB ∗ oblv M)) ≃ G/e G/B G G G ≃ oblv ◦(Av∗ ((F ∗ ResT ⊂B(M))B ) ≃ IndT ⊂B(F ∗ ResT ⊂B(M)).  10 4. Mellin transform and characterizations of central and ∗-central complexes

t 4.1. The scheme of tame characters. Let π1(T ) be the tame ´etale fundamental group of T in the ℓ-adic setting or the topological fundamental group in the de Rham setting. For any continuous t × character character χ : π1(T ) → F , we denote by Lχ the corresponding rank one local system on T . t We first consider the de Rham setting. Set C(T ) = Spec(C[π1(T )]). Then the C-points of t t C(T ) are in bijection with characters of π1(T ). Note that, under the isomorphism π1(T )= X•(T ), t ˇ characters of π1(T ) correspond to elements in the dual torus T . In the ℓ-adic setting, in [GL], a Qℓ-scheme C(T ) is defined, whose Qℓ-points are in bijection with t continuous characters of π1(T ). There is decomposition

C(T )= G {χ}× C(T )ℓ χ∈C(T )f into connected components, where C(T )f ⊂ C(T ) is the subset consisting of tame characters of order prime to ℓ and C(T )ℓ is the connected component of C(T ) containing the trivial character. It is shown in loc. cit. that C(T ) is Noetherian and regular and there is an isomorphism

C(T )ℓ ≃ Spec(Qℓ ⊗Zℓ Zℓ[[x1, ..., xr]]).

In addition, the Qℓ-points of C(T )ℓ are in bijection with pro-ℓ characters of π1(T ) (i.e. characters t of the pro-ℓ quotient π1(T )ℓ of π1(T ) ).

4.2. Mellin transforms. We give a review of Mellin transforms in both de Rham and ℓ-adic settings and establish some basic facts about them.

We first recall the Mellin transform of D-modules on T . Let xi ∈ Λ= X•(Tˇ) ≃ Hom(T, Gm) be ±1 a basis and consider the regular function O(T ) ≃ C[xi ] and the algebra of differential operators D ±1 Γ( T ) ≃ C[xi ]hvii/{vixj = xj(δij +vi)} where vi = xi∂xi ∈ t are a basis for the T -invariant vector fields. Recall that for any D-module F on T , the tensor product F ⊗ ωT with the canonical line bundle ωT on T , carries a natural right D-module structure. Note also that, if we consider Γ(DT ) ±1 as the algebra of difference operators C[vi]hxi i/{vixj = xj(δij + vi)}, then there is a canonical equivalence between the category QCoh(ˇt/Λ) of Λ-equivariant quasi-coherent sheaves on ˇt and the 5 category of right Γ(DT )-modules . The Mellin transform functor is defined as

M : D -mod(T ) → QCoh(ˇt/Λ), N → Γ(N ⊗ ωT ). We have the following properties: (1) The functor M is an equivalence. (2) Let χ ∈ Tˇ(C) ≃ C(T )(C) and let λ ∈ ˇt(C) be a lift of χ along the universal covering exp : ˇt → Tˇ. Then for any F ∈ D -mod(T ) we have ∗ ∗ (4.1) H (T, F ⊗ Lχ) ≃ iλM(F)

here iλ : pt → ˇt is the embedding given by λ. b ˇ (3) Consider the bounded derived category Dqcoh(t/Λ) of Λ-equivariant quasi-coherent sheaves on ˇt with the monoidal structure given by the (derived) tensor product. We have M(F ∗ F′) ≃ M(F) ⊗ M(F′).

5 For any right Γ(DT )-module N, the action of C[vi] = O(ˇt) on N gives a Oˇt-module structure on Oˇt ⊗O(ˇt) N ∈ QCoh(ˇt) and the action of xi ∈ Λ defines a Λ-equivariant structure. 11 (4) Let F be a W-equivariant D-module F on T . Then W-equivariant structure on F gives rise ex ex to a Wa = W ⋉ Λ-equivariant structure on M(F). Let χ and λ be as in (1) and let Wa,λ ex ∗ and Wa,v be the stabilizers of λ in Wa and Wa respectively. Then H (T, F ⊗ L) (resp. ∗ ′ ex iλM(F)) carries a natural action of Wχ (resp. Wa,λ) such that, under the isomorphism ′ ex −1 (4.2) Wχ ≃ Wa,λ, w → (w, w λ − λ) the isomorphism (4.1) intertwines those actions. We now consider the ℓ-adic setting. In [GL], the authors constructed the Mellin transform D b 6 M : (T ) → Dcoh(C(T )) with the following properties:

(1) Let χ ∈ C(T )(Qℓ) and iχ : pt → C(T ) be the embedding given by χ. We have ∗ ∗ H (T, F ⊗ Lχ) ≃ iχM(F).

(2) For any χ ∈ C(T )(Qℓ) we have ∗ M(F ⊗ Lχ) ≃ mχM(F). (3) The functor M is t-exact with respect to the perverse t-structure on D(T ) and the standard b D t-structure on Dcoh(C(T )). Moreover, for any F ∈ (T ), F is perverse if and only if M(F) is a coherent complex in degree zero. (4) We have M(F ∗ F′) ≃ M(F) ⊗ M(F′) (5) The Mellin transforms restricts to an equivalence D b (4.3) M : (T )mon ≃ Dcoh(C(T ))f

between the full subcategory D(T )mon of monodromic ℓ-adic complexes on T and the full b subcategory Dcoh(C(T ))f of coherent complexes on C(T ) with finite support. (6) For F ∈ DW(T ), the W-equivariant structure on F gives rise to a W-equivariant structure on M(F) such that for any χ ∈ C(T )(Qℓ) the isomorphism in (1) above is compatible with ′ the natural Wχ-actions.

Remark 4.1. In the de Rham setting, a non-zero invariant section σ of ωT gives rise to an isomor- σ phism Γ(M(F)) = Γ(F ⊗ ωT ) ≃ Γ(F), here vi acts on Γ(F) by the formula vi · m = −vim. Since the W-action on invariant sections of of ωT is given by the sign character, we obtain an isomorphism of O(ˇt)-modules Γ((−1)∗M(F ⊗ sign))) ≃ Γ(F) ex ˇ ˇ compatible with the natural Wa -actions. Here −1 : t → t,x →−x. The properties of Mellin transforms above imply the following:

Lemma 4.1. Let F ∈ DW(T ). (1) Assume char k > 0. Then F is ∗-central (resp. strongly ∗- ′ H n ∗ central) if and only if , for any χ ∈ C(T )(Qℓ), the action of Wχ (resp. Wχ) on (iχM(F ⊗sign)) for all n ∈∈ Z is trivial. (2) Assume k = C. Then F is ∗-central (resp. strongly ∗-central) if and ˇ ex H n ∗ only if, for any λ ∈ t(C), the action of Wa,λ (resp. Wa,λ) on (iλM(F ⊗ sign)) for all n ∈ Z is trivial.

We finish this section with a lemma to be used in Section 7. 6 It is denoted by M∗ in loc.cit. 12 ˇ ˇ ˇ Lemma 4.2. Assume k = C. Let λ ∈ t(C) and let tλˆ be the completion of t at λ. For any holonomic 7 complex F ∈ D(T ), the restriction M(F)|ˇ is a coherent complex on ˇtˆ . tλˆ λ Proof. By induction argument on the (finite) number of non vanishing cohomology sheaves of F, we can assume F ∈ D(T )♥. Let I be the maximal ideal corresponding to λ and let R = O(ˇt), M = Γ(M(F)). We shall show that the natural injection M ⊗ R = M ⊗ limR/IkR → M = R λˆ R ←− λˆ limM/IkM is an isomorphism and M is a finitely generated R -module. Note that, since F is ←− λˆ λˆ H 0 ∗ holonomic, the non-derived fiber (iλM(F)) ≃ M/IM is finite dimensional. Choose a finitely generated submodule N ⊂ M such that natural map N/IλN → M/IλM is onto. This implies n n ′ N/Iλ N → M/Iλ M is onto for all n > 0. Indeed, let N be the image of the map above. Then we have M/InM = N ′ + IM/InM. By iterating the equality above, we obtain M/InM = N ′ + I(N ′ + IM/InM) = N ′ + I2(M/InM) = · · · = N ′ + Ik(M/InM) for any k > 0, and take k = n, n ′ we get M/I M = N . We have shown that Nλˆ → Mλˆ is surjective and, as N is finitely generated, it follows that Mλˆ is finitely generated and M ⊗R Rλˆ → Mλˆ is an isomorphism. 

4.3. Characterization of ∗-central D-modules. In the de Rham setting, we have the following characterization of ∗-central D-modules: Theorem 4.3. Let F be a W-equivariant holonomic D-module on T . The following are equivalent (1) F is ∗-central. ˇ H n ∗ (2) for any λ ∈ t(C), the action of Wa,λ on (iλM(F ⊗ sign)), n = 0, −1, is trivial. (3) for any λ ∈ ˇt(C), the Mellin transform M(F ⊗ sign), regarding as a Wa,λ-equivaraint quasi- coherent sheaf on ˇt, descends to ˇt//Wa,λ. W ˇt C O ˇt W F a,λ F (4) for any λ ∈ ( ), the natural map ( ) ⊗O(ˇt) a,λ Γ( ) → Γ( ) is a bijection. A similar result in the ℓ-adic setting was proved in [C1, Proposition 4.2]. Remark 4.2. Note that in the de Rham setting the definition of ∗-central D-modules makes sense for arbitrary W-equivaraint D-modules on T , and the proof of Theorem 4.3 below shows that the above characterization remains true without the holonomicity assumption on F. Very similar results are proved in [Gi2, L]. We begin will the following lemma. Lemma 4.4. Let Γ be a finite reflection group with reflection representation V over C. Let F be a Γ-equivariant quasi-coherent sheaf on V . Then F descends to V//Γ if and only if for any λ ∈ V (C) H 0 ∗ H −1 ∗ the actions of the stabilizer Γλ of λ in Γ on (iλF) and (iλF) are trivial. Here iλ : pt → V is the embedding given by λ.

∗ Γ Proof. Assume F descends to V//Γ. Then we have F ≃ π (π∗F) where π : V → V//Γ is the ∗ F ∗ F Γ ¯ quotient map and it implies iλ ≃ iλ¯(π∗ ) , where λ = π(λ) and iλ¯ : pt → V//Γ is the inclusion. H n ∗ F Γ Z H n ∗ F As Γ acts trivially on (iλ¯(π∗ ) ) for all n ∈ , it follows that Γ acts trivially on (iλ ) for all n ∈ Z, in particular, for n = 0, −1. H n ∗ Assume Γ acts trivially on (iλF) for n = 0, −1. We would like to show that F descends to V//Γ. By [L, Theorem 1.3.2], it suffices to show that F descends to V//hσi for any simple reflection σ ∈ Γ. So we could assume Γ = hσi is generated by a reflection σ. Let Fσ = {h ∈ F|σ(h)= h} and

7Since M(F) is in general not coherent, the claim is not automatic. 13 σ=−1 F = {h ∈ F|σ(h) = −h}. Choose a coordinate (x1, ..., xn) of V such that σ(x1) = −x1 and σ(xi)= xi for i ≥ 2. Let λ ∈ V (C) be the origin with coordinate xi = 0. H 0 ∗ We claim that Γ = Γλ acts trivially on (iλF)= F/(x1, ..., xn)F implies the natural map σ (4.4) O(V ) ⊗C F → F is surjective.

Step 1. We first show that Γ acts trivially on F/(x1)F implies (4.4) is surjective. Indeed, σ=−1 the assumption implies that the image of f ∈ F in the quotient F/(x1)F is zero, that is, σ σ=−1 ′ ′ σ f ∈ (x1)F. Since σ(x1)= −x1 and F = F ⊕ F , it follows that f = x1f for some f ∈ F and it implies (4.4) is surjective. H 0 ∗ Step 2. We show that Γ acts trivially on (iλF) implies Γ acts trivially on F/(x1)F. The case H 0 ∗ n = 1 is trivial as (iλF)= F/(x1)F. Assume n> 1. Consider the exact sequence σ (4.5) O(V ) ⊗C F → F → M → 0 ′ where M is the cokernel. The quotient F = F/(x2, ..., xn)F is a Γ-equivariant quasi-coherent sheaf ′ ′ ′ on V = Spec(C[x1]) such that Γ acts trivially on F /(x1)F = F/(x1, ..., xn)F, thus Step 1 implies O(V ′) ⊗ (F′)σ → F′ is surjective. It follows that the first arrow in the exact sequence σ O(V )/(x2, ..., xn)O(V ) ⊗C F → F/(x2, ..., xn)F → M/(x2, ..., xn)M → 0 induced from (4.5) is surjective, and hence M/(x2, ..., xn)M = 0. It implies M/(x1)M = M/(x1,x2, ..., xn)M, H 0 ∗ which is an quotient of (iλF)= F/(x1, ..., xn)F, and thus Γ acts trivially on M/(x1)M. Consider the exact sequence σ O(V )/(x1)O(V ) ⊗C F → F/(x1)F → M/(x1)M → 0 σ induced from (4.5). As Γ acts trivially on O(V )/(x1)O(V ) ⊗C F and M/(x1)M, it follows that Γ acts trivially on F/(x1)F. This completes the proof of Step 2. The desired claim follows. Consider the short exact sequence σ 0 → N → O(V ) ⊗C F → F → 0, where N is the kernel of (4.4). It gives rise to an exact sequence H −1 ∗ σ (4.6) (iλF) → N/(x1, ..., xn)N → O(V )/(x1, ..., xn)O(V ) ⊗C F → F/(x1, ..., xn)F → 0. H −1 ∗ σ Since Γ acts trivially on (iλF) (by assumption) and O(V )/(x1, ..., xn)O(V )⊗C F , (4.6) implies that Γ acts trivially on N/(x1, ..., xn)N, and the claim above implies that the natural map O(V ) ⊗C Nσ → N is surjective. All together, we obtain a Γ-equivariant presentation σ σ O(V ) ⊗C N → O(V ) ⊗C F → F → 0 σ σ where O(V ) ⊗C N and O(V ) ⊗C F are free Γ-equivaraint sheaves that descends to V//Γ and, by [Ne, Lemma 3.1], it implies F descends to V//Γ. 

Remark 4.3. The lemma above is inspired by [Ne, Theorem 1.2]. In loc. cit., the author proved a similar descent criterion in the case when Γ is a reductive algebraic group and F is a Γ-equivariant coherent sheaf. The argument in loc. cit. used the coherence assumption of F hence can not be applied directly to the case of quasi-coherent sheaves. The proof above uses some special features of finite reflection groups. 14 Proof of Theorem 4.3. (1) implies (2) is clear. (2) implies (3) follows from the fact that Γ = Wa,v is generated by affine reflections passing through λ ∈ ˇt(C) and, for any µ ∈ ˇt(C), the stabilizer ex H j ∗ Γµ = Wa,λ ∩ Wa,µ is a subgroup of Wa,µ, hence acts trivially on (iµM(F ⊗ sign)), j = 0, −1. (3) implies (1) follows from the first paragraph of the proof of Lemma 4.4. The equivalence between (3) and (4) follows from Remark 4.1 and the fact M (F ⊗ sign) descends to ˇt//Wa,v if and only if ∗ (−1) M (F ⊗ sign) descends to ˇt//Wa,−v. 4.4. Whittaker sheaves on G. Consider the de Rham setting. Fix a generic character f : n → C. A holonomic D-modules F on G is called a Whittaker D-module if for any vector n ∈ n, the actions of al(n) − f(n) and ar(n) − f(n) on Γ(F) are locally nilpotent. Here al (resp. ar) is the embedding of g in Γ(DG) as left-invariant (resp. right-invaraint) differential operators. In [Gi2, Theorem 1.5.1] and [L, Theorem 1.2.2], Ginzburg and Lonergan proved that the category of Whittaker D-modules on G is equivalent to the category of W-equivaraint holonomic D-module on T satisfying condition (3) in Theorem 4.3. Since the Verdier duality induces an equivalence between the category of central D-modules and the category of ∗-central D-modules, Theorem 4.3 together with the results in loc. cit. imply: Theorem 4.5. There is an equivalence between the category of Whittaker D-modules on G and the category of central (resp. ∗-central) D-modules on T . Remark 4.4. In loc.cit. Ginzburg and Lonergan also proved that the category of Whittaker D- modules on G is equivalent to the category of holonomic modules over the quantum Toda lattice of G, and is also equivalent to the category of holonomic modules over nil-Hecke algebra of G.

Consider the ℓ-adic setting. Fix a non-degenerate homomorphism χ : U → Ga, that is, the restriction of χ to each root subgroup Uα ⊂ U is nontrivial for each simple root α. An ℓ-adic ◦ ◦ Whittaker sheaf on G is a perverse sheaf F on G together with an isomorphism a F ≃ χ Lψ ⊠ ◦ ⊠ −1 χ Lψ F satisfying the usual cocycle condition. Here a : U × U × G → G, a(u1, u2, g)= u1gu2 . We conjecture the following ℓ-adic counterpart of Theorem 4.5: Conjecture 4.6. There is an equivalence between the category of ℓ-adic Whittaker sheaves on G and the category of central perverse sheaves on T .

5. Local systems Eθ

5.1. Tame local systems Eθ. In this subsection we attach each W-orbit θ = Wχ in C(T )(F ) a W-equivariant tame local system Eθ on T . We first consider the de Rham setting. Define S to be the completion of the group algebra t t t C[π1(T )] with respect to the the kernel of the map C[π1(T )] → C sending γ ∈ π1(T ) to 1 ∈ C and let S+ be the argumentation ideal. The Weyl group W acts naturally on S and we define Wχ Wχ Wχ ′ Sχ = S/hS+ i, where hS+ i is the ideal generated by S+ . Since Wχ is normal in Wχ, Sχ carries ′ uni ′ t an action of Wχ and we define ρχ to be the representation of Wχ ⋉ π1(T ) in the space Sχ by uni ′ t ′ setting ρχ (w, γ)v = w(γv), where (w, γ) ∈ Wχ ⋉ π1(T ) and v ∈ Sχ. Since Wχ is the stabilizer uni uni of χ in W, one can twist ρχ by the character χ and obtain a representation ρχ := ρχ ⊗ χ of t ′ t W⋉π1(T ) ex t Wχ ⋉ π1(T ) in Sχ and its induced representation ρθ := Ind ′ t ρχ of Wa = W ⋉ π1(T ). We Wχ⋉π1(T ) ′ define Eχ and Eθ to be the Wχ and W-equivariant local systems on T corresponding to ρχ and ρθ.

We now consider the ℓ-adic setting. Choose a finite extension K of Qℓ such that elements in θ are defined over the ring of integer of OK . Let SK = OK[[π1(T )ℓ]] be the completed group algebra of 15 Wχ the pro-ℓ quotient π1(T )ℓ and let SK,+ be the argumentation ideal. We define Sχ,K = SK/hSK,+i. uni ′ t uni Let ρχ be the ℓ-adic representation of Wχ ⋉π1(T ) in Sχ,K ⊗RK Qℓ given by ρχ (w, γ)(v)= w(γℓv), t where γℓ is the image of γ under the quotient π1(T ) → π1(T )ℓ. Applying the same construction as t uni W⋉π1(T ) in the de Rham setting, we obtain ℓ-adic representations ρχ = ρχ ⊗ χ and ρθ = Ind ′ t ρχ of Wχ⋉π1(T ) ′ t t E E ′ Wχ ⋉ π1(T ) and W ⋉ π1(T ) in Sχ,K ⊗SK Qℓ. We define χ and θ to be the Wχ and W-equivariant ℓ-adic local systems on T corresponding to ρχ and ρθ.

5.2. Mellin transform of Eθ. In this subsection we study the Mellin transform of Eθ. We first consider the de Rham setting. For any χ ∈ C(T )(C), consider the projection map πχ : ˇt → ˇt//Wχ. To every µ ∈ ˇt, let mµ : ˇt → ˇt, v → v + µ. We define ∗ µ ∗ Rχ = πχδ, Rχ = mµRχ where δ = δ0 the the skyscraper sheaf supported at 0 ∈ ˇt//Wχ. Let µ be a lift of χ. Then we have the following cartiesian diagram mµ ˇt / ˇt

π−µ πχ   m¯ µ ˇt//Wa,−µ / ˇt//Wχ where πµ is the quotient map andm ¯ µ is induced by the isomorphism Wa,−µ ≃ Wχ−1 = Wχ in (4.2). µ ∗ It follows that Rχ ≃ π−µδ−µ¯, where δ−µ¯ is the skyscraper sheaf supported at −µ¯ = π−µ(−µ). µ ∗ w(µ) ′ The equality lw(µ) ◦ w = w ◦ lµ gives rise to an isomorphism Rχ ≃ w Rχ for w ∈ Wχ. The µ+λ ∗ µ µ ∗ w(µ) ′ ′ isomorphisms Rχ ≃ lλRχ, λ ∈ Λ and Rχ ≃ w Rχ , w ∈ Wχ, define a Wξ ⋉ Λ-equivariant structure on µ Sχ = M Rχ. µ∈λ+Λ W⋉Λ The induced W ⋉ Λ-equivariant sheaf Ind ′ Sχ on ˇt depends only on the W-orbit θ ⊂ C(T )(C) Wχ⋉Λ of χ and we denote it by Sθ. Note that a choice of a lift µ of χ gives rise to isomorphisms ′ ex ′ ex Wχ⋉Λ µ Wa Wχ⋉Λ µ Wa µ (5.1) Sχ ≃ Ind ex (R ) Sθ ≃ Ind ′ Ind ex (R ) ≃ Ind ex (R ). Wa,−µ χ Wχ⋉Λ Wa,µ χ Wa,µ χ

We now consider the ℓ-adic setting. Consider the quotient map πχ : C(T ) → C(T )//Wχ. Let

0 ∈ C(T )(Qℓ) be the trivial character and let πχ(0) be its image in C(T )//Wχ. Let Oπχ(0) be the structure sheaf of the point πχ(0) and we define R ∗ O (5.2) χ := πχ πχ(0) ′ C S ∗ R C C which a Wχ-equivariant coherent sheaf on (T ). Define χ := mχ−1 ( χ) where mχ : (T ) → (T ) ′ ′ be the morphism of translation by χ. Since mχ intertwines the Wχ-action on C(T ), Sχ is Wχ- equivariant, moreover, there is natural isomorphism ∗ (5.3) w Sχ ≃ Sw−1·χ for any w ∈ W. For any W-orbit θ in C(T ), we define the following W-equivariant coherent sheaf with finite support Sθ = M Sχ χ∈θ where the W-equivariant structure is given by the isomorphisms in (5.3). 16 −1 −1 Note that Sθ is set theoretically supported on θ = {χ |χ ∈ θ} ⊂ C(T )(Qℓ) in the ℓ-adic setting, and on {−µ| exp(µ) ∈ θ}⊂ ˇt in the de Rham setting. Lemma 5.1. There is an isomorphism

M(Eθ ⊗ sign) ≃ Sθ ex compatible with the W-equivariant structures in the in the ℓ-adic setting, and the Wa -equivariant structures in the de Rham setting.

Proof. The ℓ-adic setting. Pick a χ ∈ θ. It suffices to show that there is an isomorphism M(Eχ ⊗ ′ sign) ≃ Sχ compatible with the Wχ-equivariant structures. The Qℓ[[π1(T )ℓ]]-module corresponding ∗ to Eχ ⊗ Lχ−1 is isomorphic to Rχ. Since Rχ ≃ inv Rχ (here inv the inverse map on C(T )), by [GL, Corollary 4.2.2.4], there is an isomorphism ∗ ∗ top ∨ top ∨ M(E ) ≃ m −1 M(E ⊗ L −1 ) ≃ m (R ⊗Z ∧ (π (T ) ) ) ≃ S ⊗Z ∧ (π (T ) ) , χ χ χ χ χ χ ℓ Zℓ 1 ℓ χ ℓ Zℓ 1 ℓ compatible with the W′ -actions. By choosing a generator of ∧top(π (T ) )∨, we obtain a W- χ Zℓ 1 ℓ equivariant isomorphism ∧top(π (T ) )∨ ≃ Z ⊗ sign. The desired claim follows. Zℓ 1 ℓ ℓ The de Rham setting. We have an isomorphism of O(ˇt)-modules Γ(Eθ) ≃ Γ(Sθ−1 ) compatible with ex ∗ the Wa -actions. Thus, by Remark 4.1, there is an isomorphism M(Eχ ⊗ sign) ≃ (−1) Sχ−1 ≃ Sχ ex intertwines the Wa -equivariant structures. 

Corollary 5.2. Eθ is ∗-central.

Proof. It is proved in [C1, Corollary 5.2] in the ℓ-adic setting. In the de Rham setting, Lemma 5.1 and the construction of Sθ imply the Mellin transform M (Eθ ⊗ sign) satisfies condition (3) in Theorem 4.3, hence is ∗-central. 

5.3. Convolution with Eθ. Recall the following descent criterion for coherent complexes [Ne]: Lemma 5.3. Let X = Spec(A) be an affine Noetherian scheme over F . Let H be a finite group b acting on X. Let F ∈ Dcoh(X/H) be a H-equivaraint complex of coherent sheaves on X. The following are equivalent

(1) For any closed point x ∈ X, the action of the stabilizer Gx of x in G on the derived fiber ∗ ixF is trivial. Here ix : x → X is the embedding. (2) F descends to X//H = Spec(AH ).

Proof. By [MFK, Theorem 1.1], X → X//G is a universal geometric quotient, in particular, a good quotient in the sense of [Ne]. Now the result follows from [Ne, Theorem 1.3]8.  Proposition 5.4. Let F be a strongly ∗-central complex and let θ = Wχ be a W-orbit of a tame character χ. There is an isomorphism ∗ −1 D F ∗ (Eθ ⊗ sign) ≃ H (T, F ⊗ Lχ ) ⊗ Eθ ∈ W(T )

8In loc. cit. the Theorem is proved for schemes of finite type over F , but the same argument works for Noetherian schemes over F . 17 ′ Proof. The ℓ-adic setting. For any tame character χ, let Dχ (resp. Dχ) be the fiber of πχ : C(T ) → ′ ′ −1 ′ −1 C(T )//Wχ (resp. πχ : C(T ) → C(T )//Wχ) over πχ(χ ) (resp. πχ(χ )). For any W-orbit θ = Wχ, ′ ′ ′ ′ let Dθ = Fχ∈θ Dχ and Dθ = Fχ∈θ Dχ. We have closed embeddings Dχ → Dχ and Dθ → Dθ , ′ which are isomorphisms if Wχ = Wχ. By Lemma 5.1, we have D (5.4) M(Eθ ⊗ sign) ≃ Sθ ≃ ODθ ∈ W(T ). Thus there is an isomorphism

(5.5) M(F ∗ Eθ ⊗ sign) ≃ M(F) ⊗ M(Eθ ⊗ sign) ≃ M(F)|Dθ ≃ M(F)|Dθ . −1 ′ Since χ is the unique closed point of Dχ, by Lemma 4.1 and Lemma 5.3, the restriction M(F ⊗ ′ ′ ′ sign)|Dχ descends to Dχ//Wχ and it implies there is an isomorphism ∗ − (5.6) M(F ⊗ sign)|Dχ ≃ M(F)|χ ⊗ ODχ ≃ H (T, F ⊗ Lχ 1 ) ⊗ ODχ ′ compatible with the Wχ-equivariant structure. It follows that there is an isomorphism ∗ − D (5.7) M(F ⊗ sign)|Dθ ≃ H (T, F ⊗ Lχ 1 ) ⊗ ODθ ∈ W(T ). All together, we obtain

(5.5) (5.7) ∗ (5.4) ∗ − − M(F ∗ Eθ ⊗ sign) ≃ (M(F)|Dθ ) ≃ H (T, F ⊗ Lχ 1 ) ⊗ ODθ ⊗ sign ≃ H (T, F ⊗ Lχ 1 ) ⊗ M(Eθ). Since the Mellin transform restricts to an equivalence on monodronic sheaves (4.3), the isomorphism above comes from an isomorphism ∗ − D (5.8) F ∗ (Eθ ⊗ sign) ≃ H (T, F ⊗ Lχ 1 ) ⊗ Eθ ∈ W(T ). ˇ ′ The de Rham setting. Choose a lifting λ ∈ t of χ and write Dλ and Dλ for the fiber of π−λ : ˇ ˇ ′ ˇ ˇ ex ′ t → t//Wa,−λ and πλ : t → t//Wa,−λ over π−λ(−λ) and π−λ(−λ), and let Dθ = Fλ,exp λ∈θ Dλ and ′ ′ ′ Dθ = Fλ,exp λ∈θ Dλ. Now the same argument as in the ℓ-adic setting, replacing Dχ, Dχ, Wχ, and ′ ′ ex Wχ by Dλ, Dλ, Wa,−λ, and Wa,−λ, gives the desired isomorphism (5.8). 

Remark 5.1. Note that if we only assume F is ∗-central, then the isomorphism in (5.6) is only com- patible with the Wχ-equivariant structures. As a result, the isomorphisms (5.8) is not compatible with the W-equivariant structure.

The proposition above can be reformulated as follows: Proposition 5.5. Let F be a strongly ∗-central complex and let θ = Wχ be a W-orbit of a tame character χ. For each w ∈ W, there is a canonical isomorphism in D(T ) ∗ ∗ −1 ∗ (5.9) aw : w F ∗ Eθ ≃ H (T, F ⊗ Lχ ) ⊗ w Eθ, such that the following diagram is commutative ∗ aw / ∗ ∗ (5.10) w F ∗ Eθ H (T, F ⊗ Lχ−1 ) ⊗ w Eθ ,

  ae / ∗ F ∗ Eθ H (T, F ⊗ Lχ−1 ) ⊗ Eθ where the vertical arrows are the isomorphism induced from the W-equivaraint structures on F and Eθ. 18 6. Categorical center and the character sheaves Mθ E M G E W Let θ be the ∗-central local system in Section 5. We define θ := ΦEθ = IndT ⊂B( θ) . Recall U the averaging functor Av∗ := π∗ : D(G) → D(G/U), where π : G → G/U is the quotient map. The goal of this section is to poof the following theorem: Theorem 6.1. There exists a positive integer N depending only on the type of the group G such that the following holds. Assume k = C or char k = p is not dividing Nℓ. We have U Av∗ (Mθ) ≃ Eθ. U In particular, Av∗ (Mθ) is supported on T = B/U ⊂ G/U. We will fist establish Theorem 6.1 in the case k = C using the results in [BFO], [BG], and [MS] on Harich-Chandra bimodules, categorical centers of Hecke categories, and Character D-modules. Then we construct a mixed characteristic lifting Mθ,A of Mθ over a strictly Henselian ring A with residue field k of characteristic p not dividing Nℓ, which is universal local acyclic with respect to the quotient map GA → GA/UA. This allows us to use spreading out arguments to prove Theorem 6.1 in positive characteristic case. We will assume k = C until Section 6.8.

6.1. Hecke categories. Consider the left G and right T ×T actions on Y = G/U ×G/U. To every ′ χ,χ ∈ Tˇ we denote by Mχ,χ′ the category of G-equivariant D-modules on G/U × G/U which are T ×T -monodromic with generalized monodromy (χ,χ′), that is, U(t)⊗U(t) (acting as infinitesimal translations along the right action of T × T ) acts locally finite with generalized eigenvalues in (χ,χ′). Consider the quotient Y/T where T acts diagonally from the right. The group T acts on Y/T via the formula t(xU, yU)mod T = (xU, ytU)mod T . To every χ ∈ Tˇ we denote by Mχ the category of G-equivariant T -monodromic D-modules on Y/T with generalized monodromy χ. We write D(Mχ,χ′ ) and D(Mχ) for the corresponding G-equivariant monodromic derived categories. The groups B and T × T act on X = G/U by the formula b(xU)= bxb−1U, (t,t′)(xU)= txt′U. ˇ ˇ For any (χ1,χ2) ∈ T × T we write Hχ1,χ2 for the category of U-equivariant T × T -monodromic D-modules on X with generalized monodromy (χ1,χ2). For any χ ∈ Tˇ we write Hχ for the category of B-equivariant T -monodromic D-modules on X with generalized monodromy χ, where B acts on X by the same formula as before and T acts on X by the formula t(xU) = txU. We denote D D by (Hχ) (resp. (Hχ1,χ2 )) the corresponding B-equivaraint (resp. U-equivaraint) monodromic derived category.

6.2. The Harish-Chandra functor. Consider the following correspondence p q G ← G × G/B → Y/T = (G/U × G/U)/T where p(g,xB)= g and q(g,xB) = (gxU, xU)mod T . The group G acts on G, G × B and Y/T by the formulas a · g = aga−1, a · (g, xU) = (aga−1, axB), a(xU, yU) = (axU, ayU). One can check that p and q are compatible with those G-actions. Following [?, MV], we consider the functor ◦ (6.1) HC = q∗p : D(G) → D(Y/T ). ◦ The functor above admits a right adjoint CH = p∗q : D(Y/T ) → D(G). We use the same notations for the corresponding functors between G-equivariant derived categories D(G/adG) and D(G\Y/T ). Consider the embedding i : X → Y, gU → (eU, gU) and the projection map π : G → X = G/U. 19 Lemma 6.2. [MV] (1) The functor i0 = i![dim X] : D(G\Y ) → D(U\X) is an equivalence of 0 −1 G 0 categories with inverse givne by (i ) := IndT ⊂B ◦i∗[dim G − dim B]. (2) We have i ◦ HC ≃ π∗. D D D ′ ∗ We have the convolution product (G\Y )× (G\Y ) → (G\Y ) given by (F, F ) → (p13)∗(p12F⊗ ∗ ′ p23F ). Here pij : G\(G/U ×G/U ×G/U) → G\Y = G\(G/U ×G/U) is the projection on the (i, j)- D D − factors. The convolution product on (G\Y ) restricts to a convolution product on (Mχ,χ 1 ). The 0 equivalence i : D(G\Y ) ≃ D(U\X) above induces convolution products on D(U\X) and D(Hχ,χ). In addition, there is an action of D(U\X) on D(X) by right convolution. The convolution operation will be denoted by ∗. We will need the following lemma. Let X be an algebraic variety with an action of an affine algebraic group G. Denote the action map by a : G × X → X . Lemma 6.3 (Lemma 2.1 [BFO]). For any A ∈ D(G), F ∈ D(X) We have a canonical isomorphism ⊠ L RΓ(a∗(A F)) ≃ RΓ(A) ⊗U(g) RΓ(F). Example 6.1. Consider the action map a : G × G/U → G/U, a(x, gU) = xgU. Let δ ∈ D(G/U) be the delta D-module supported at the base point eU ∈ G/U. For any D-module F on G, there is a U ⊠ canonical isomorphism Av∗ (F) ≃ a∗(F δ) and lemma above implies that U ⊠ L RΓ(Av∗ (F)) ≃ RΓ(a∗(F δ)) ≃ RΓ(F) ⊗U(g) RΓ(δ). Note that RΓ(F)=Γ(F) (since G is affine) and RΓ(δ) ≃ U(g)/U(g)n, and it follows that U L RΓ(Av∗ (F)) ≃ Γ(F) ⊗U(g) U(g)/U(g)n

6.3. Character D-modules. We denote by CS(G) the category of finitely generated G-equivaraint D-modules on G such that the action of the center Z ⊂ U(g), embedding as left invariant differential operators, is locally finite. To every W-orbit θ ⊂ Tˇ, we denote by CSθ(G) the category of finitely generated G-equivaraint D-modules on G such that the action of the center Z ⊂ U(g) is locally finite and has generalized eigenvalues in {λ ∈ ˇt| exp(λ) ∈ θ}. We denote by D(CS(G)) (resp. D(CSθ)) the minimal triangulated full subcategory of D(G/adG) containing all objects M ∈ D(G/adG) such i i that H (M) ∈ CS(G) (resp. H (M) ∈ CSθ(G) ). We call CS(G) and CS(G)θ (resp. D(CS(G)) and D(CSθ)) the category (resp. derived category) of character D-modules on G and character D-modules on G with generalized central character θ. Proposition 6.4. We have the following:

(1) Let G ∈ CS(G)θ. Then D U D HC(G) ∈ M (Mχ), (resp. Av∗ (G) ∈ M (Hχ).) χ∈θ χ∈θ G G (2) The functors IndT ⊂B and ResT ⊂B preserve the derived categories of character D-modules. G D D G D D The resulting functors IndT ⊂B : (CS(T )) → (CS(G)), ResT ⊂B : (CS(G)) → (CS(T )) are independent of the choice of the Borel subgroup B and t-exact with respect to the nat- ural t-structures on D(CS(G)) and D(CS(T )). Moreover, for any G ∈ CS(G) we have G rs ResT ⊂B(G) ≃ (jT )!∗(G|T rs ), here jT : T → T is the embedding. G rs (3) Let G ∈ CS(G). There is a canonical W-equivariant structure on ResT ⊂B(G). Let j : G → ∗ G be the open embedding. If G = j!∗j G, then we have G G W G ≃ IndT ⊂B(ResT ⊂B(G)) . 20 Proof. Part (1) and (2) are proved in [Gi1, Lu]. We now prove part (3). We first show that G F = ResT ⊂B(G) is canonically W-equivariant. Let x ∈ N(T ) and w ∈ N(T )/T = W be its image in the Weyl group. Denote Bx := AdxB. Consider the following commutative diagram T o B / G

w Adx Adx    To Bx / G where w : T → T the natural action of w ∈ W on T and the horizontal arrows are the natural G inclusion and projection maps. The base change theorems and the fact that the functors ResT ⊂B G and ResT ⊂Bx are canonical isomorphic (see part (2)) imply G ∗ G ∗ G G ∗ G G (6.2) ResT ⊂B(Adx ) ≃ w ResT ⊂Bx ( ) ≃ w ResT ⊂B( ). ∗ Since G is G-conjugation equivariant, we have a canonical isomorphism cx : G ≃ AdxG. Applying G ResT ⊂B to cx and using (6.2) we get G G ∗ ∗ G ∗ (6.3) F = ResT ⊂B(G) ≃ ResT ⊂B(AdxG) ≃ w ResT ⊂B(G)= w F. We claim that the isomorphism above depends only the image w and we denote it by ∗ (6.4) cw : F ≃ w F. To prove the claim it is enough to check that for x ∈ T the restriction of the isomorphism (6.3) to rs T is equal to the identity map. By [Gi1], the restriction F|T rs is canonically isomorphic to G|T rs rs and the map in (6.3) is equal to the restriction of cx to T . Since the adjoint action Adx : G → G is trivial on T , the claim follows from the fact that any T -equivariant structure of a local system on T is trivial. The G-conjugation equivariant structure on G implies {cw}w∈W satisfies the required cocycle G condition, hence, the data (F, {cw}w∈W) defines a W-equivariant structure on F = ResT ⊂B(G). We G W rs rs shall prove IndT ⊂B(F) ≃ G. Let crs : G → T //W the restriction of the Chevalley map c : G → rs G W ∗ ˜ ˜ D rs T//W to G . Since G ≃ j!∗(G|Grs ) and IndT ⊂B(F) ≃ j!∗(crs(F)), where F ∈ (T //W) is the rs rs ∗ ˜ D rs descent of F|T rs along the map qrs : T → T //W, it suffices to show G|Grs ≃ crs(F) ∈ (G /G). rs rs This follows again from the fact that G|T rs ≃ F|T rs ∈ D(T /W) ≃ D(G /G). 

6.4. Drinfeld center of Harish-Chandra bimodules and character D-modules. We give a review of the work [BG, BFO] on Drinfeld center of Harish-Chandra bimodules and character D-modules. Write U = U(g) for the universal enveloping algebra of g. Let Z = Z(U) be the center of U. Consider the dot action w · λ = w(λ + ρ) − ρ on ˇt. Denote by W˙ the group W acting via the dot action ˇt. We have the Harish-Chandra isomorphism hc : Z ≃ O(ˇt)W˙ such that for any λ ∈ ˇt the center Z acts on the Verma module associated to λ via z → hc(z)(λ). For any λ ∈ ˇt we write mλ for the corresponding maximal ideal and denote by Iλ the maximal ideal of Z corresponding to mλ under the Harish-Chandra isomorphism. Consider the extended universal enveloping algebra U = U ⊗Z O(ˇt), where Z acts on O(ˇt) via the Harish-Chandra isomorphism. We denote by U = U /eU I , U = lim(U / U In), U = U/Um , and U = lim(U/Umn). The action λ λ λˆ ←− λ λ λ λˆ ←− λ e e e W˙ e e e of W˙ on O(ˇt) gives rise to an action of W˙ on U such that U = U. In addition, the stabilizer ˙ ˇ ˙ e e Wλ of λ ∈ t in W acts naturally on Uλˆ and the natural inclusion U → U induces an isomorphism W˙ λ e e Uλˆ ≃ Uλˆ (see, e.g., [BG, Section 1]). e 21 HC We denote by λˆ the category of finitely generated Harish-Chandra bimodules over Uλˆ, that is, finitely generated continuous Uλˆ-bimodules such that the diagonal action of g is locally finite. We D HC M M′ M M′ HC denote by ( λˆ) the corresponding derived category. The tensor product ⊗U , , ∈ λˆ M L M′ M M′ D HC HC D HC (resp. ⊗U , , ∈ ( λˆ)) defines a monoidal structure on λˆ (resp. ( λˆ)). Recall that λ ∈ ˇt is called regular if W˙ λ = 0, that is, λ does not lie on any coroot hyperplane shifted by −ρ, and it is called dominant if the value of λ at any positive coroot is not a negative integer. Proposition 6.5. [BFO, Proposition 3.1] Let χ ∈ Tˇ and λ ∈ ˇt be a dominate regular lifting of χ. The functor λ,ˆ −\λ−2ρ L D − D HC RΓ : ( (Mχ,χ 1 ), ∗) ≃ ( ( λˆ), ⊗U) is an equivalence of monoidal categories.

Let χ ∈ Tˇ and λ ∈ ˇt be as in Proposition 6.5 and consider the equivalence of monoidal categories

λ,ˆ −\λ−2ρ RΓ L D D − D HC (6.5) M : ( (Hχ,χ), ∗) ≃ ( (Mχ,χ 1 ), ∗) ≃ ( ( λˆ), ⊗U). We denote by HC the category of finitely generated Harish-Chandra bimodules over U (no restriction on the action of the center Z). We denote by HCχˆ the category of finitely generated ′ Harish-Chandra bimodules over the product ′ U (here W acts on µ ∈ λ+Λ via the dot Qµ∈λ+Λ/Wχ µˆ χ HC HC HC t t action). We denote by Z( λˆ, ⊗U) (resp. Z( , ⊗U), Z( χˆ, ⊗U), Z(Hξ,ξ, ∗ )) the Drinfeld center HC HC HC t t of the monoidal category ( λˆ, ⊗U) (resp. ( , ⊗U), ( χˆ, ⊗U), (Hχ,χ, ∗ )). Recall an element HC M HC in Z( λˆ, ⊗U) consists of an element ∈ λˆ together with family of compatible isomorphisms M F M F F HC µ HC HC bF : ⊗U ≃ ⊗U for ∈ λˆ. Recall the notion of translation functor θλ : λˆ → µˆ where µ ∈ λ + Λ (see, e.g., [BG]). µ HC HC Theorem 6.6. (1) [BFO, Lemma 3.7] There is a lifting θλ : Z( λˆ, ⊗U) → Z( µˆ, ⊗U) such µ that the functor F : Z(HCˆ, ⊗U) → Z(HCχˆ, ⊗U), L → ′ θ (L) define an equivalence of λ Lµ∈λ+Λ/Wχ λ braided monoidal categories. ♥ (2) [BFO, Theorem 3.6, Lemma 3.8] For any M ∈ DG(G) , the global section Γ(M) is nat- urally a Harish-Chandra bimodule, with a canonical central structure and the resulting functor ♥ Γ : DG(G) → Z(HC, ⊗U) is an equivalence of abelian categories. Moreover, the equivalence above restricts to an equivalance CSθ ≃ Z(HCχˆ, ⊗U) and the composed equivalence F−1 HC HC CSθ ≃ Z( χˆ, ⊗U) ≃ Z( λˆ, ⊗U) \ is isomorphic to RΓλ,ˆ −λ−2ρ ◦ π◦ ◦ HC. Here π : Y → Y/T is the projection map.

6.5. Harish-Chandra bimodules Zλ. In this subsection we attach to each dominant regular lift ˇ ˇ Z HC λ ∈ t of χ ∈ T an element λ ∈ Z( λˆ, ⊗U) in the Drinfeld center of Harish-Chandra bimodules, and identify it with the local system Eχ under the equivalence in (6.5).

Let R = O(ˇt) and let λ ∈ ˇt be a lift of χ. We have a canonical identification Wλ+ρ ≃ W˙ λ, w → w˙ = w such that the translation map m−λ : ˇt → ˇt, m−λ(µ)= µ−λ satisfies m−λ(wv) =w ˙ (m−λ(v)) W ˙ for w ∈ W and v ∈ ˇt. It indues an isomorphism m∗ : R λ+ρ ≃ RWλ , f → (x → f(x − λ)). λ+ρ −λ 0ˆ λˆ W ˙ Here R λ+ρ (resp. RWλ ) is the W -invariant of the completion R of R at 0 (resp. W˙ -invariant 0ˆ λˆ λ+ρ 0ˆ λ W of the completion R of R at λ ). Consider the following quotient Rλ+ρ = R λ+ρ /hRWχ i (here λˆ χ 0ˆ 0ˆ,+ 22 hRWχ i is the ideal generated by the augmentation ideal RWχ of RWχ ). We introduce the following 0ˆ,+ 0ˆ,+ 0ˆ Harish-Chandra bimodule λ+ρ (6.6) Zλ = Uˆ ⊗ Wλ ρ R ∈ HCˆ. λ R + χ λ 0ˆ W Here R λ+ρ acts on U via the the map 0ˆ λˆ ∗ m−λ W˙ Wλ+ρ W˙ λ λ (6.7) bλ : R ≃ R → Z(Uλˆ ) → Z(Uˆ), 0ˆ λˆ e λ W˙ λ where the last map is induced from the isomorphism Uλˆ ≃ Uλˆ. Equivalently, consider the W˙ λ λ+ρ Wλe+ρ λ+ρ R -module R˙ χ given by the base change of the R -module Rχ along the isomorphism λˆ 0ˆ ∗ ˙ m−λ W RWλ ≃ R λ+ρ . Then we have λˆ 0ˆ Z ˙ λ+ρ λˆ ≃ U ⊗Z Rχ λ+ρ W˙ where Z acts on R˙ χ via the Harish-Chandra isomorphism hc : Z ≃ R . Proposition 6.7. Let λ ∈ ˇt be a dominant regular lift of χ ∈ Tˇ. M HC (1) To every ∈ λˆ there is a canonical isomorphism bM : Zλ ⊗U M ≃ M ⊗U Zλ

such that the data (Z , bM)M HC defines an element in the Drinfeld center Z(HC , ⊗). λ ∈ λˆ λˆ (2) We have M(Eχ) ≃ Zλ. ˙ M HC Proof. Proof of (1). We have Wλ+ρ = Wλ = e since λ is regular. To every ∈ λˆ, the map Wλ+ρ Wλ+ρ b in (6.7) gives rise to an action of R ⊗C R = R ⊗C R on M and it follows from [MS, λ 0ˆ 0ˆ 0ˆ 0ˆ Theorem 4.1] that this action factors through R ⊗C R → R ⊗ Wχ R . Indeed, it is shown in 0ˆ 0ˆ 0ˆ R 0ˆ 0ˆ loc. cit. that for every finite dimensional representation V of g, the action of R0ˆ ⊗C R0ˆ on the n bimodule pr (V ⊗C U / U I ) ∈ HC , n ∈ Z≥ factors through R ⊗ Wχ R . Here pr (−) is the λˆ λ λˆ 0 0ˆ R 0ˆ λˆ 0ˆ 9 HC projection of the summand on which the action of Iλ is locally nilpotent . Since every object in λˆ n is isomorphic to a quotient of prλˆ(V ⊗C U / U Iλ ) for some V and n, the claim follows. Therefore, M HC for every ∈ λˆ, we have a canonical isomorphism Wχ Wχ bM : Z ⊗ M ≃ R /hR i⊗ M ≃ M ⊗ R /hR i≃ M ⊗ Z . λ U 0ˆ 0ˆ,+ R0ˆ R0ˆ 0ˆ 0ˆ,+ U λ It follows from the construction that those isomorphisms satisfy the required compatibility condi- Z HC tions and the data ( λ, bM) defines an element in Z( λˆ, ⊗U). 0 −1 Proof of (2). Let E˜χ ∈ Mχ be the image of Eχ under the equivalence (i ) : Hχ ≃ Mχ in Lemma λ,ˆ −\λ−2ρ ◦ 6.2. Then by definition we have M(Eχ) ≃ RΓ (π E˜χ), where π : Y → Y/T . Consider the map a : T × (G/U × G/U)/T → (G/U × G/U)/T, (t, gU, g′U) → (gt−1U, g′U). 0 −1 ˜ ⊠ Then it follows from the definition of (i ) that Eχ = a∗(Eθ ∆∗OG/B), here ∆ : G/B → (G/U × G/U)/T is the embedding gB → (gU, gU)mod T . It is shown in [BFO, Proposition 3.1]

9In fact, it was shown [MS, Theorem 4.1] that, for any λ ∈ ˇt(C) and any finite dimensional representation V , the n action of Rˆ ⊗ Rˆ on prˆ (V ⊗ U / U Iλ ) factors through Rˆ ⊗ W Rˆ. But the proof in loc.cit. actually shows that, if 0 0 λ 0 R0ˆ 0 ∈ ˇ ⊗ W we fix λ t(C), the action factors through R0ˆ χ R0ˆ. R0ˆ 23 ∗ that RΓ(∆∗OG/B ⊗ p2ωG/B) ≃ U (p2 is the right projection map (G/U × G/U)/T → G/B), hence by Lemma 6.3 we get e λ,ˆ −\λ−2ρ ◦ ˜ λˆ ˜ ∗ λˆ ⊠ ∗ RΓ (π Eχ) ≃ RΓ (Eχ ⊗ p2ωG/B)= RΓ (a∗(Eχ (∆∗OG/B ⊗ p2ωG/B)) ≃

∗ L λˆ λˆ ≃ RΓ(∆∗OG/B ⊗ p2ωG/B) ⊗R RΓ (Eχ) ≃ U ⊗R Γ (Eχ). e λˆ λ+ρ Since Γ (Eχ) ≃ R˙ χ for regular λ, part (2) follows. 

We finish this section with a lemma to be used in the next section. Lemma 6.8. Let λ ∈ ˇt be regular dominant weight and let µ be a dominant weight in λ + Λ. We µ Z Z have θλ( λ) ≃ µ. µ HC HC µ Proof. Note that θλ : λˆ → µˆ is monoidal, so we have θλ(Uλˆ) ≃ Uµˆ. Note also that, by [BG, Proposition 1.4], for any r ∈ RWχ and M ∈ HC , we have θµ(b (r) · m) = b (r) · θµ(m), where 0ˆ λˆ λ λ µ λ m ∈ M and b : RWµ+ρ → Z(U ), ν ∈ ˇt is the map in (6.7)10. Since Z (resp. Z ) is isomorphic to ν 0ˆ νˆ λ µ the coinvariant algebra of U (resp. U ) with respect to the action of RWχ via the map b (resp. λˆ µˆ 0ˆ λ µ Z Z  bµ), it follows that θλ( λ) ≃ µ.

Z HC E˜ 6.6. Proof of Theorem 6.1 in the de Rham setting. Let λ ∈ Z( λˆ, ⊗U), χ ∈ Mχ be E˜ E˜ D ♥ as in Proposition 6.7. Define θ ≃ Lχ∈θ χ ∈ (G\Y ) . By the discussion above there exists a ′ character D-module Mθ ∈ CSθ such that

λ,ˆ −\λ−2ρ ◦ ′ RΓ ◦ π ◦ HC(Mθ)= Zλ. Hence by Proposition 6.7, we have λ,ˆ −\λ−2ρ ◦ ′ λ,ˆ −\λ−2ρ ◦ ˜ RΓ ◦ π ◦ HC(Mθ) ≃ RΓ (π Eχ) ◦ ˘ D D − for any regular dominant λ ∈ t mapping to ξ. Since π ◦ HC : (CSθ) → Lχ∈θ (Mχ,χ 1 ) and ˆ −\− λ, λ 2ρ D − HC RΓ : (Mχ,χ 1 ) ≃ λˆ is an equivalence of category for any regular dominant λ, it follows that ′ ˜ HC(Mθ) ≃ Eθ. ◦ Applying the equivalence i : D(Mξ) ≃ D(Hξ) and using Lemma 6.2, we get U ′ ◦ ′ ◦ ˜ (6.8) Av∗ (Mθ) ≃ i ◦ HC(Mθ) ≃ i Eθ ≃ Eθ. U ′ G ′ The isomorphism above implies Eθ ≃ Av∗ (Mθ) ≃ ResT ⊂B(Mθ), therefore, by part (3) of Propo- ′ G W sition 6.4, there is a canonical W-equivaraint structure on Eθ such that Mθ ≃ IndT ⊂B(Eθ) . We claim that the above W-equivaraint structure on Eθ is isomorphic to the one constructed in Section ′ 5.1. Thus we have Mθ ≃ Mθ. The theorem follows.

6.7. Proof of the claim.

10 The group Wλ in [BG] is the group W˙ λ in the present paper 24 6.7.1. We first give a description of (6.8) at the level of global sections (see (6.12) below). By ′ U ′ Lemma 6.3, Example 6.1, and Theorem 6.6, the global sections of Mθ, Av∗ (Mθ), and ι∗Eθ (here ι : T = B/U → G/U) are given by U M′ M′ M′ µ Z Γ(Av∗ ( θ)) ≃ (U / U n) ⊗U Γ( θ), Γ( θ) ≃ M θλ( λ), ′ µ∈λ+Λ/Wχ

Γ(ι∗Eθ) = (U / U n) ⊗R Γ(Eθ). µ Z Z ′ By Lemma 6.8, θλ( λ) ≃ µ, for any dominant µ ∈ λ + Λ. Since every Wχ-orbit in λ + Λ (under the dot action) contains a unique dominant weight, we have M′ µ Z Z ˙ µ+ρ (6.9) Γ( θ) ≃ M θλ( λ) ≃ M µ ≃ M U ⊗ZRχ , ′ ′ ′ µ∈λ+Λ/Wχ µ∈λ+Λ/Wχ µ∈λ+Λ/Wχ which gives rise to U ′ ′ ˙ µ+ρ (6.10) Γ(Av∗ (Mθ)) ≃ (U / U n) ⊗U Γ(Mθ) ≃ (U / U n) ⊗U M U ⊗ZRχ ≃ ′ µ∈λ+Λ/Wχ ˙ µ+ρ ≃ (U / U n) ⊗R M R ⊗Z Rχ . ′ µ∈λ+Λ/Wχ

Since the map ˇt//W˙ µ → ˇt//W˙ is ´etale at the image of the W-orbit˙ W˙ µ ⊂ ˇt along the projection ˇt → ˇt//W˙ µ, it follows that µ+ρ µ+ρ ν+ρ ˙ ˙ ˙ ˙ ˙ R ⊗Z Rχ ≃ R ⊗RW Rχ ≃ M R ⊗RWν Rχν . ν∈W˙ µ,χν =exp(ν) ˙ ν+ρ ∗ Wχν νˆ E Since R ⊗RW˙ ν Rχν ≃ m−ν(R/hR+ i) ≃ Γ ( θ), it implies µ+ρ ν+ρ ˙ ˙ ˙ (6.11) M R ⊗Z Rχ ≃ M M R ⊗RWν Rχν ′ ′ µ∈λ+Λ/Wχ µ∈λ+Λ/Wχ ν∈W·µ,χν =exp(ν)

νˆ ≃ M Γ (Eθ) ≃ Γ(Eθ). ν∈W(˙ λ+Λ) Combining (6.10) and (6.11), we obtain the description of (6.8) on global sections: U ′ ˙ µ+ρ (6.12) Γ(Av∗ (Mθ)) ≃ (U / U n) ⊗R M R ⊗Z Rχ ≃ (U / U n) ⊗R Γ(Eθ) ≃ Γ(ι∗Eθ). ′ µ∈λ+Λ/Wχ

W˙ Wa,−ρ Remark 6.2. Note that if we identify W˙ = Wa,−ρ as subgroup in Wa, then Z = R = R and the isomorphism (6.11) restricts to an isomorphism (6.13) ˙ µ+ρ Wa,−ρ ˙ µ+ρ ˙ µ+ρ Wa,−ρ E Wa,−ρ M Rχ ≃ (R ⊗RWa,−ρ M Rχ ) ≃ (R⊗RWa,−ρ M Rχ ) ≃ Γ( ) ′ ′ ′ µ∈λ+Λ/Wχ µ∈λ+Λ/Wχ µ∈λ+Λ/Wχ such that the map (6.13) (6.11) E Wa,−ρ ˙ µ+ρ E (6.14) R ⊗RWa,−ρ Γ( ) ≃ R ⊗RWa,−ρ M Rχ ≃ Γ( ) ′ µ∈λ+Λ/Wχ is the isomorphism in Theorem 4.3 (4). 25 −1 6.7.2. Let x ∈ N(T ) and w ∈ W its image in the Weyl group. Let Uw = xUx with Lie algebra nw. Consider the following commutative diagram (6.15) G π / G/U o ι T

Adx Adx w    πw ιw G / G/Uw o T where the horizontal maps are the natural quotient maps or embeddings. Let ∗ φw : Eθ ≃ w Eθ ′ ∗ ′ φx : Mθ ≃ AdxMθ ′ be the isomorphisms coming from the G-conjugation equivariant structures on Mθ and the W- equivariant structure on Eθ, and let ∗ Γ(φw):Γ(E) → Γ(w E) ≃ Γ(E) ′ ∗ ′ ′ Γ(φx):Γ(Mθ) → Γ(AdxMθ) ≃ Γ(Mθ) be the induced maps on global sections11. Then the diagram (6.15) gives rise to natural isomor- phisms ∗ ∗ ι∗φw : ι∗E ≃ ι∗w E ≃ Adx(ιw)∗E, U U ′ U ∗ ′ ∗ Uw ′ Av∗ (φx):Av∗ Mθ ≃ Av∗ AdxMθ ≃ Adx Av∗ Mθ, such that the induced maps on global sections are given by ∗ (6.16) Adx(−) ⊗ Γ(φw):Γ(ι∗E) = U / U n ⊗S Γ(E) −→ Γ(Adx(ιw)∗E) = U / U nw ⊗R Γ(E)

U ′ ′ ∗ Uw ′ ′ (6.17) Adx(−)⊗Γ(φx) : Γ(Av∗ Mθ) = U / U n⊗UΓ(Mθ) → Γ(Adx Av∗ Mθ) = U / U nw⊗UΓ(Mθ). To prove the claim, we need to show that the following diagram commute

(6.17) U ′ / Uw ′ (6.18) Γ(Av∗ Mθ) Γ(Av∗ Mθ)

(6.12) (6.12)  (6.16)  Γ(ι∗E) / Γ((ιw)∗E). where the right vertical arrow is the map (6.12) in the case when the unipotent radical is Uw.

′ ′ 6.7.3. By Theorem 6.6, isomorphism (6.9) intertwines the map Γ(φx):Γ(Mθ) → Γ(Mθ) with ˙ µ+ρ ˙ µ+ρ (6.19) Adx(−) ⊗ id : U ⊗Z M Rχ −→ U ⊗Z M Rχ . ′ ′ µ∈λ+Λ/Wχ µ∈λ+Λ/Wχ Using Remark 6.2, it follows that we have the following commutative diagram

(6.17) U ′ / Uw ′ (6.20) Γ(Av∗ Mθ) Γ(Av∗ Mθ)

(6.12) (6.12)  (6.21)  Γ(ι∗E) / Γ((ιw)∗E).

11 ∗ ′ ′ ∗ Recall that there are canonical identifications Γ(AdxMθ ) ≃ Γ(Mθ), Γ(w Eθ ) ≃ Γ(Eθ) 26 where the map (6.21) is given by

(6.21) (6.21) Γ(ι E) = (U / U n) ⊗ Γ(E) / Γ((ι ) E) = (U / U n ) ⊗ Γ(E) ∗ R w ∗ O w R (6.14) (6.14)  Wa,−ρ Wa,−w(ρ) (U / U n) ⊗ R ⊗ W − Γ(E ) / (U / U n ) ⊗ R ⊗ W Γ(E ) R R a, ρ θ w R R a,−w(ρ) θ

12 where the bottom arrow is the map Adx(−) ⊗ w ⊗ Γ(φw) . On the other hand, by Theorem 4.3, we have the following commutative diagram

Γ(φw) Γ(E) / Γ(E) ,

  w⊗Γ(φw) Wa,−ρ Wa,−w(ρ) R ⊗ W − Γ(E ) / R ⊗ W Γ(E ) R a, ρ θ R a,−w(ρ) θ were the vertical maps are the isomorphisms in Theorem 4.3 (4). Thus the map (6.21) is equal to (6.16), and hence (6.20) is equal to (6.18). The commutativity of (6.18) follows. This finishes the proof of the claim.

6.8. Mixed characteristic lifting of Eθ and Mθ. Let GZ be a split reductive group over Z. Let TZ be a maximal torus of GZ and let BZ be a Borel subgroup containing TZ with unipotent radical UZ. For any ring R (resp. any scheme S), we denote by GR, BR, etc, (resp. GS , BS, etc,) the base change of GZ, BZ, etc, along Spec(R) → Spec(Z) (resp. S → Spec(Z)). Let A ⊂ C be a strict Henselization of a closed point of Z[1/ℓ] with residue field k. Let χ ∈ C(Tk)(Qℓ) and θ = Wχ be the W-orbit of χ. Let Eθ be the W-equivaraint ℓ-adic local system on Tk in Section 5.1.

Lemma 6.9. There exists a W-equivaraint ℓ-adic local system Eθ,A on TA which, after base change A → k, becomes Eθ.

t Proof. Let ρθ be the ℓ-adic representaiton of W ⋉ π1(Tk) associated to Eθ. The specialization t t t t isomorphism sp : π1(Tk) → π1(TA) (see [Gr]) induces an isomorphism W ⋉ π1(Tk) ≃ W ⋉ π1(TA), t thus we can indentify ρθ as a ℓ-adic representaiton of W ⋉ π1(TA) and we denote by Eθ,A the corresponding local sysetm on TA. It is obvious that Eθ,A satisfies the desired property. 

Let Mθ be the character sheaf associated to θ. Our next goal is construct a mixed characteristic version of Mθ. For this we observe that for any flat group scheme G finite type over Z and a closed subgroup scheme H ⊂ G flat over Z, the universal geometric quotient G/H exists [A]. Note also that the Chevalley isomorphism holds GR//GR ≃ TR//WR for any ring R and the formation commutes with arbitrary base change R → R′ [Le]. It follows that the quotient map π : G → G/U and the Grothendieck-Springer simultaneous resolution in (3.1) makes sense over any ring R. Moreover, the ′ formation commutes with arbitrary base change R → R . We denote them by πR : GR → GR/UR

12 −1 Note that the map is well-defined since wWa,−ρw =Wa,−w(ρ) 27 and

q˜R (6.22) GR / TR e c˜R qR   cR GR / TR//WR

Denote by hR : GR → ZR := GR ×T //W TR the induced map. We define e R (6.23) IC(ZR) := (hZ )!Qℓ[dim GC] ∈ D(ZR).

When R = k is an algebraically closed field of characteristic not equal to ℓ, IC(Zk) is the IC-complex of Zk and there is a canonical W-equivaraint structure (IC(Zk), φk) ∈ DW(Zk) (see Section 3.4).

Lemma 6.10. There exists a positive integer N, depends on the group GZ, satisfies the following. Let A be the strict Henselization of Z[1/Nℓ] at a closed point with residue field k. One can endow the ℓ-adic complex IC(SA) in (6.23) with a W-equivariant structure (IC(ZA), φA) ∈ DW(ZA) which, under the base change A → k, becomes (IC(Zk), φk) ∈ DW(Sk).

Proof. According to [BBD, Section 6.1] (or the discussion in [Dr, Section 4]), one can choose a (large enough) positive integer N, a stratification T of SZ[1/Nℓ], and for each T ∈ T a (finite) ∗ collection L(T ) of ℓ-adic local systems on T , satisfy the following: (1) We have w IC(ZZ[1/Nℓ]) ∈ DT,L(ZZ[1/Nℓ]) for w ∈ W, (2) Let A, k be as above. Let i : Zk → ZA be the imbedding. The ∗ functor i : DT,L(ZA) → DT,L(Zk) is an equivalence. Here DT,L(ZA) (resp. DT,L(Zk)) is the full subcategory of D(ZA) (resp. D(Zk)) generated by the ∗-restriction of L(T ), T ∈ T to ZA (resp. Zk). ∗ ∗ Note that, by (1) above, we have w IC(ZA) ∈ DT,L(ZA) and w IC(Zk) ∈ DT,L(Zk). Let ∗ φk,w : IC(Sk) ≃ w IC(Zk) be the isomorphism coming from the W-equivariant structure φk on ∗ IC(Zk). Since i IC(ZA) ≃ IC(Zk), it follows from (2) above that there exists an isomorphism ∗ φA,w : IC(ZA) ≃ w IC(ZA) which, under the base change A → k, becomes φk,w. Now the collection {φA,w|w ∈ W} defines a W-equivariant structure φA on IC(ZA) satisfying the required property. 

Proposition 6.11. There exists a positive integer N, depends on the group GZ, satisfies the fol- lowing: Let A be the strict Henselization of Z[1/Nℓ] at a closed point with residue field k. There is a ℓ-adic complex Mθ,A on GA which, under the base change A → k, becomes Mθ.

Proof. Let N, A, k be as in Lemma 6.10. Let Eθ,A ∈ DW(TA) be the lift of Eθ in Lemma 6.9. Define

IndGA (E ) := (˜c ) (˜q )∗(E )[dim G − dim T ] ≃ TA⊂BA θ,A A ! A θ,A C C ∗ E ≃ pGA,!(pTA ( θ,A) ⊗ IC(ZA))[dim GC − dim TC].

Here pT,A and pG,A are the natural projections from ZA to TA and GA respectively. The W- equivaraint structures on E and IC(Z ) give rise to a W-action on IndGA (E ) and we θ,A A TA⊂BA θ,A define M = IndGA (E )W to be the W-invariant factor. Since the base change of E along θ,A TA⊂BA θ,A θ,A A → k is isomorphic to Eθ , it follows that the base change of Mθ,A along A → k is isomorphic to M = IndGk (E )W. θ Tk⊂Bk θ  28 6.9. ULA property of the averaging functor. We first review the notion of universal local acyclicity (ULA) following [De2, Z]. Let S be a Noetherian scheme. Let f : X → S be a morphism of finite type and let F ∈ D(X). Let s be a geometric point of S and let S(s) be the strict Henselisation at s. We recall the following definition in [De2]: Definition 6.12. A ℓ-adic complex F ∈ D(X) is called locally acyclic with respect to f : X → S if for every geometric point x ∈ X and every geometric point t ∈ S(f(x)), the natural map ∗ F ∗ F H (X(x), ) → H ((X(x))t, ) is an isomorphism, where (X(x))t = (X(x)) ×S(f(x)) t. It is called universally locally acyclic (ULA) if it it locally acyclic after arbitrary base change S′ → S.

One can reformulate local acyclicity as follows. Let t be a geometric point of S(s). Denote by jt : X ×S t → X and is : X ×S s → X the natural maps. We write ∗ ∗ (6.24) Ψt→s(F) := is(jt)∗jt (F). It is shown in [Z, Lemma A 2.2] that F is locally acyclic with respect to f if and only if the natural map ∗ isF → Ψt→s(F) is an isomorphism. Here are some properties of ULA complexes that we need. Theorem 6.13. (1) Let f : X → Y be a proper morphism over S, and let F be a ℓ-adic complex on X ULA with respect to X → S. Then f!F is ULA with respect to Y → S. (2) Let f : X → Y be a smooth morphism over S, and let F be a ℓ-adic complex on Y . Then F is ULA with respect to Y → S if and only if f ∗F is ULA with respect to X → S. (3) Let fi : X → S, i = 1, 2 and let Fi be a ℓ-adic complex on Xi ULA with respect to Xi → S. Then F1 ⊠S F2 is ULA with respect to X1 ×S X2 → S. (4) Let f : X → S be a morphism of finite type and let F be a ℓ-adic complex on X. Then there is an open dense subset U of S such that the restriction of F to XU = X ×S U is ULA with respect to XU → U. (5) Let f : X → S be a smooth morphism. Then any ℓ-adic local system F on X is ULA with respect to f : X → S.

Consider the open embedding jS : US ×S B¯S → GS, where B¯S is the opposite Borel. Recall the quotient map πS : GS → GS/US. We have the following ULA property of the averaging functor.

Proposition 6.14. Assume jS,∗(Qℓ) is ULA with respect to GS → S, of formation compatible with arbitrary change of base on S. Let F be a ℓ-adic complex on GS ULA with respect to GS → S. Then πS,∗(F) is ULA with respect to GS/US → S, of formation compatible with arbitrary change of base on S. Proof. Consider the following Cartesian diagram a US ×S GS / GS

pr πS   πS GS / GS/US where pr is the projection map and a is the left action map. As πS is smooth surjective morphism, it suffices to show that ∗ ∗ ¯ ⊠ (πS) πS∗ (F) ≃ a∗pr (F) ≃ a∗(Q S F) 29 is ULA w.r.t GS → S, of formation compatible with arbitrary change of base on S. Note that a admits the following factorization

h B¯S a¯ US ×S GS → GS ×S GS → GS ¯ ¯ ¯ BS BS where h is the open embedding US ×S GS ≃ (US ×S BS) ×S GS ⊂ GS ×S GS anda ¯ is the left action map. Asa ¯ is proper, to show that

a∗(Q¯ ⊠S F) ≃ a¯∗h∗(Q¯ ⊠S F) is ULA w.r.t GS → S, of formation compatible with arbitrary change of base on S, it suffices to show that h∗(Q¯ ⊠S F) B¯S is ULA w.r.t GS × GS → S, of formation compatible with arbitrary change of base on S. Consider the following Cartesian diagram

jS×id (US ×S B¯S) ×S GS / GS ×S GS .

q   ¯ h / BS US ×S GS GS ×S GS where jS : US ×S B¯S → GS is the open embedding. Since q is a smooth surjective morphism and jS,!(Q¯ ℓ) and F are ULA w.r.t GS → S (by assumption), we have ∗ q h∗(Q¯ ⊠S F) ≃ jS,∗(Q¯ ℓ) ⊠S F, which is ULA w.r.t GS ×S GS → S, of formation compatible with arbitrary change of base on S. The lemma follows 

Remark 6.3. By Theorem 6.13 (4) and Deligne’s generic base change theorem [De2, Corollary 2.9], the assumptions on jS,∗(Qℓ) holds after a base change to an open dense subset U ⊂ S. Let A be a strictly Henselian local ring and let S = SpecA. Let s be the closed point of S and let t be a geometric point of S. Let f : X → S be a scheme over S and let Y ⊂ X be an open subscheme over S.

Lemma 6.15. Let F be a ℓ-adic complex on X ULA with respect to X → S. Let Fs and Ft be the restriction of F to the fiber Xs and Xt respectively. Then Ft|Yt ≃ 0 implies Fs|Ys ≃ 0.

Proof. Indeed, since Y → X is smooth and the functor Ψt→s in (6.24) commutes with smooth pull back, the isomorphism Fs ≃ Ψt→s(F) (coming from the ULA property) implies Fs|Ys ≃ ∗ Ψt→s(F)|Ys ≃ Ψt→s(F|Y ) ≃ is(jt)∗(Ft|Yt ) ≃ 0. 

6.10. Proof of Theorem 6.1 in the ℓ-adic setting. We shall show that there exists a positive integer N, depending only on GZ, such that for any algebraically closed field k of positive charac- teristic not dividing Nℓ and a W-orbit θ = Wχ of a tame character χ ∈ C(Tk)(Qℓ), the averaging Uk Uk Av∗ (Mθ) is supported on Tk = Bk/Uk ⊂ Gk/Uk. Equivalently, the restriction of Av∗ (Mθ) to the open complement Yk = (Gk/Uk) \ (Bk/Uk) is zero. Let N, A, Mθ,A, Eθ,A be as in Proposition 6.11 such that k is the residue field of A. According to Remark 6.3, by replacing N with a larger positive integer, we can assume (jSpec(Z[1/N]))∗Qℓ 30 is ULA w.r.t GZ[1/N] → Spec(Z[1/N]), of formation compatible with arbitrary base change on Spec(Z[1/N]). ′ We will write Eθ,A′ , Mθ,A′ for the base change of Eθ,A, Mθ,A along A → A . Note that, by Lemma 6.9 and Proposition 6.11, we have Eθ,k ≃ Eθ and Mθ,k ≃ Mθ.

Lemma 6.16. (πA)∗Mθ,A is ULA with respect to GA/UA → Spec(A), of formation compatible with arbitrary base change on Spec(A).

Proof. Since the mapc ˜A (resp.q ˜A) in (6.22) is proper (resp. smooth) and Eθ,A is a ℓ-local system, by Theorem 6.13, the induction IndGA (E ) := (˜c ) (˜q )∗(E )[dim G − dim T ] is TA⊂BA θ,A A ! A θ,A C C ULA w.r.t G → Spec(A). As M is the W-invariant direct factor of IndGA (E ) it implies A θ,A TA⊂BA θ,A Mθ,A is ULA w.r.t GA → Spec(A), of formation compatible with arbitrary base change on Spec(A). By Proposition 6.14, we conclude that (πA)∗Mθ,A is ULA with respect to GA/UA → Spec(A), of formation compatible with arbitrary base change on Spec(A). 

Lemma 6.17. (πC)∗Mθ,C is supported on TC = BC/UC ⊂ GC/UC.

b Proof. Let Dc(GC, Qℓ) be the bounded derived category of constructible ℓ-adic complexes on GC b and let Dc(GC(C), C) be the usual bounded derived category of C-constructuble complexes on the complex Lie group GC(C). We fix an isomorphism ι : Qℓ ≃ C. Then according to [BBD, Section 6.1], there is a comparison functor ∗ b b ǫ : Dc(GC, Qℓ) → Dc(GC(C), C) which is fully-faithful and commutes with six functor formalism. Let Eθ,C be the base change of Eθ,A along A → C. We claim that there exists a character χC of the topological fundamental group ∗ π1(T (C)) such that, under the Riemann-Hilbert correspondence (R.H. for short), ǫ Eθ,C corresponds to the de Rham local system EθC in Section 5.1. Here θC = WχC is the W-orbit of χC. This will imply ∗M ∗ GC E W GC ∗E W R.H. GC E W M ǫ θ,C ≃ ǫ ((IndTC⊂BC ( θ,C)) ) ≃ (IndTC⊂BC (ǫ θ,C)) ≃ IndTC⊂BC ( θC ) = θC and the lemma follows from Theorem 6.1 in the de Rham setting.

To prove the claim, we observe that the constructions of Eθ and Eθ,A in Section 5.1 and Lemma W un 6.9 imply that Eθ,C corresponds to a ℓ-adic representation Ind (ρ ⊗ χC,ℓ) where χC,ℓ is a WχC,ℓ C,ℓ uni ′ ⋉ ℓ-adic character of π1(TC) with WχC,ℓ = Wχ, and ρC,ℓ is the representation of WχC,ℓ π1(TC) in WχC,ℓ Qℓ[[π1(TC)ℓ]]/hQℓ[[π1(TC)ℓ]]+ i given by the Qℓ[[π1(TC)ℓ]]-module structure. Here Qℓ[[π1(TC)ℓ]] is the completed group algebra of the pro-ℓ part of the ´etale fundamental group π1(TC). Note that ∗ the restriction of the functor ǫ to the subcategory of ℓ-adic local systems on TC is induced by the natural embedding

(6.25) π1(T (C)) → π1(T (C))ℓ ≃ π1(TC)ℓ. Note also that (6.25) induces an isomorphism

WχC WχC,ℓ S /hS+ i≃ Qℓ[[π1(TC)ℓ]]/hQℓ[[π1(TC)ℓ]]+ i ′ ′ C C compatible with the WχC = WχC,ℓ -action, here S = [[π1(T ( ))]] is the completion of the group uni algebra C[π1(T (C))] at 1 ∈ π1(T (C)). Let ρC and χC be the representations of the topological uni uni fundamental group π1(T (C)) given by pull back of ρC,ℓ and χC,ℓ along (6.25). It follows that ρC is uni isomorphic to the representation ρχC in Section 5.1 (in the de Rham setting) and hence the pull back 31 W uni W uni of the representation Ind (ρ ⊗ χC,ℓ)) along (6.25) is isomorphic to Ind (ρ C ⊗ χC). Since, WχC,ℓ C,ℓ WχC χ by construction, E corresponds to IndW (ρuni ⊗χ ) under the Reimann-Hilbert correspondence, θC WχC χC C ∗ R.H. we conclude that ǫ Eθ,C ≃ EθC . The claim follows. 

Applying Lemma 6.15 to the case F = (πA)∗Mθ,A, X = GA/UA, Y = YS = (GA/UA) \ (BA/UA), Uk and using Lemma 6.16 and Lemma 6.17, we conclude that Av∗ (Mθ) ≃ (πk)∗Mθ,k is supported on Tk. This finished the proof of Theorem 6.1 in the ℓ-adic setting.

7. Proof of Theorem 1.5

In this section we prove the vanishing conjecture (Conjecture 1.2) for strongly central complex (resp. strongly ∗-central complex): Theorem 7.1. There exists a positive integer N depending only on the type of the group G such that the following holds. Assume k = C or char k = p is not dividing Nℓ. Let F ∈ DW(T ) be a G W D strongly central complex (resp. strongly ∗-central complex) on T and let ΦF = IndT ⊂B(F) ∈ (G). For any x ∈ G \ B, we have the following cohomology vanishing ∗ ∗ ∗ ! Hc(xU, i ΦF)=0 (resp. H (xU, i ΦF) = 0) U U where i : xU → G is the natural inclusion map. Equivalently, Av! (ΦF) (resp. Av∗ (ΦF)) is supported on the closed subset T = B/U ⊂ G/U. In particular, the vanishing conjecture holds for reductive groups with connected center.

7.1. Reduction to perverse sheaves. Lemma 7.2. If Conjecture 1.2 holds for central perverse sheaves (resp. ∗-central perverse sheaves), then it holds for arbitrary central complexes (resp. ∗-central complex). The same is true for strongly central complexes (resp. strongly ∗-central complexes). Proof. It is enough to verify the lemma for ∗-central complexes and strongly ∗-central complexes. Let F be a ∗-central complex. p p b The ℓ-adic setting. We shall show that τ≤b(F) and H (F), b ∈ Z, are ∗-central. Let χ ∈ C(T )(Qℓ) and let Iχ be the maximal ideal corresponding to χ. Write C(T )χˆ be the completion of at χ. Let qχˆ : C(T )χˆ → C(T )χˆ//Wχ be the quotient map. Since χ is the unique closed point of C(T )χˆ ∗ F ∗ F and the action of Wχ on the fiber iχ(M( ⊗ sign)|C(T )χˆ ) ≃ iχM( ⊗ sign) is trivial, by Lemma 5.3, b there exists G ∈ Dcoh(C(T )χˆ//Wχ) such that there is an isomorphism F ∗ G b C M( ⊗ sign)|C(T )χˆ = qχˆ ∈ Dcoh( (T )χˆ/Wχ). ∗ Since M, qχ and taking completions (−)|C(T )χˆ are t-exact functors, we have p F F ∗ G ∗ G M( τ≤b( ) ⊗ sign)|C(T )χˆ ≃ τ≤b(M( ⊗ sign)|C(T )χˆ ) ≃ τ≤b(qχ ) ≃ qχ(τ≤b( )). Similarly, we have pH b F ∗ H b G M( ( ) ⊗ sign)|C(T )χˆ ≃ qχ ( ). ∗ p ∗ pH b It follows that Wχ acts trivially on the fibers iχM( τ≤b(F)⊗sign) and iχM( (F)⊗sign) and, by p p b Lemma 4.1, we conclude that τ≤b(F) and H (F) are ∗-central. Now an induction argument on the (finite) number of non vanishing perverse cohomology sheaves of F in [C1, Lemma 6.6] implies the Lemma. 32 The de Rham setting. Let λ ∈ t(C) with maximal ideal Iλ and let ˇtλ be the completion at λ. By Lemma 4.2, the restriction M(F)|ˇ is a coherent complex on ˇtˆ. Since F is ∗-central and λ is the tλˆ λ unique closed point of ˇtλ, Lemma 5.3 implies ∗ b M(F ⊗ sign)|ˇ ≃ q H ∈ D (ˇt/Wa,λ), tλˆ λˆ coh ˇ ˇ H ˇ where qλˆ : t → t//Wa,λ and is a coherent complex on t//Wa,λ. Now we can conclude by applying the same argument as in the ℓ-adic setting where C(T )χ and Wχ are replaced by ˇtλ and Wa,λ. The case of strongly ∗-central complexes can be proved in the same way: applying the argument ′ ex above where Wχ and Wa,λ are replaced by Wχ and Wa,λ. This completes the proof. 

7.2. Convolution with Mθ. ♥ Proposition 7.3. Let F ∈ DW(T ) be a strongly ∗-central perverse sheaf and let θ be a W-orbit through a tame character χ ∈ C(T )(F ). There is an isomorphism ∗ ΦF ∗ Mθ ≃ H (T, F ⊗ Lχ−1 ) ⊗ Mθ. Proof. By Proposition 5.5, we have ∗ − D (7.1) F ∗ Eθ ≃ H (T, F ⊗ Lχ 1 ) ⊗ Eθ ∈ (T ). U Since Av∗ (Mθ) ≃ Eθ is supported on T = B/U ⊂ G/U, Proposition 3.3 implies G G ∗ G (7.2) IndT ⊂B(F) ∗ Mθ ≃ IndT ⊂B(F ∗ Eθ) ≃ H (T, F ⊗ Lχ−1 ) ⊗ IndT ⊂B(Eθ). We claim that the isomorphism above is compatible with the natural W-actions. Taking W- invariant on both sides of (7.2), we get

G W (7.2) ∗ G W ∗ ΦF ∗ Mθ ≃ IndT ⊂B(F) ∗ Mθ ≃ H (T, F ⊗ Lχ−1 ) ⊗ IndT ⊂B(Eθ) ≃ H (T, F ⊗ Lχ−1 ) ⊗ Mθ. The proposition follows. 

G G 7.2.1. Proof of the claim. Let us write Res = ResT ⊂B, Ind = IndT ⊂B, M = Mθ, E = Eθ, and ∗ V = H (T, F ⊗ Lχ−1 ). Using Proposition 3.3 and the adjunction between Res and Ind, it is straightforward to check that the following diagram commute

(1) ∗M (7.3) F [W] / Hom(Ind(F), Ind(F)) / Hom(Ind(F) ∗ M, Ind(F) ∗ M)

(4)  Id (2) Hom(Ind(F ∗ E), Ind(F) ∗ M)

(5)    (3) ∗E F [W] / Hom(F, Res ◦ Ind(F)) / End(F ∗ E, Res ◦ Ind(F) ∗ E) Here (1) is given by the W-action on Ind(F), (2) is the adjunction map, (3) is the composition (2) ◦ (1), (4) is induced by the isomorphism Ind(F) ∗ M ≃ Ind(F ∗ E) in Proposition 3.3, and (5) is induced by the canonical isomorphism (7.4) Res(Ind(F) ∗ M) ≃ Res ◦ Ind(F) ∗ Res(M) ≃ Res ◦ Ind(F) ∗ E13

13 U The first isomorphism follows from the fact that, for any F1, F2 ∈ D(G/adG) such that Av∗ F2 is supported on T , we have canonical isomorphism Res(F1 ∗ F2) ≃ Res(F1) ∗ Res(F2). 33 and the adjunction map. On the other hand, the canonical map (7.4) (7.2) (7.5) Res ◦ Ind(F) ∗ E ≃ Res(Ind(F) ∗ M) ≃ Res(V ⊗ Ind(E)) ≃ V ⊗ Res ◦ Ind(E) is compatible with the natural W-actions. Indeed, Proposition 3.2 and Proposition 5.5 imply that there is a commutative diagram (F [W] ⊗ F) ∗ E / V ⊗ (F [W] ⊗ E)

(3.5) (3.5)  (7.5)  Res ◦ Ind(F) ∗ E / V ⊗ (Res ◦ Ind(E)) where the vertical arrows and the upper horizontal arrow are compatible with the natural W-actions. It follows that the following diagram commute

(3) ∗E (7.6) F [W] / Hom(F, Res ◦ Ind(F)) / Hom(F ∗ E, Res ◦ Ind(F) ∗ E))

(6)  Id Hom(V ⊗ E,V ⊗ Res ◦ Ind(E))

(7)  (8) Id ⊗  F [W] / Hom(Ind(E), Ind(E)) V / Hom(V ⊗ Ind(E),V ⊗ Ind(E)) where (6) is induced by (7.5), (7) is the adjunction map, and (8) is the W-action map. Note that the composition of (4), (5), (6), (7) gives rise to a map (7.7) End(Ind(F) ∗ M) → End(V ⊗ Ind(E)) which is equal to the map induced by the isomorphism (7.2), thus the commutativity of (7.3) and (7.6) implies that the following diagram commute F [W] / End(Ind(F) ∗ M)

Id (7.7)   F [W] / End(V ⊗ Ind(E)) where the horizontal arrows are the W-action maps. The claim follows.

7.3. Proof of Theorem 7.1. Since the Verdier duality interchanges strongly central complexes with strongly ∗-central complexes, it suffices to verify Theorem 7.1 for strongly ∗-central complexes. Let F ∈ DW(T ) be a strongly ∗-central complex. We need to show that the natural map G U (7.8) r : ResT ⊂B(ΦF) → Av∗ (ΦF) is an isomorphism. By Lemma 7.2, we can assume F is a perverse sheaf. We claim that, for any W-orbit θ = Wχ ⊂ C(T )(F ), the convolution of r with Eθ is an isomorphism G ∼ U (7.9) ResT ⊂B(ΦF) ∗ Eθ −→ Av∗ (ΦF) ∗ Eθ. U For this, it is enough to show that Av∗ (ΦF) ∗ Eθ is supported on T and this follows from Theorem 6.1 and Proposition 7.3. Indeed, we have

U Thm 6. 1 U U U Prop 7.3 ∗ U Thm 6. 1 Av∗ (ΦF)∗Eθ ≃ Av∗ (ΦF)∗Av∗ (Mθ) ≃ Av∗ (ΦF∗Mθ) ≃ H (T, F⊗Lχ−1 )⊗Av∗ (Mθ) ≃ ∗ ≃ H (T, F ⊗ Lχ−1 ) ⊗ Eθ. 34 E E Since θ ≃ Lχ∈θ χ, the isomorphism (7.9) implies that the cone of the map in (7.8), denoted by cone(r), satisfies cone(r)∗Eχ = 0 for all χ ∈ C(T )(F ). As Eχ is a local system on T with generalized monodromy χ, that is, Eχ ⊗ Lξ is an unipotent local system, Lemma 7.4 and Lemma 7.5 below imply cone(r) = 0. The theorem follows.

7.4. Vanishing lemmas. Let X be a smooth variety with a free T action a : T × X → X. For L ∈ D(T ) and F ∈ D(X) we define L ∗ F := a∗(L ⊠ F) ∈ D(X).

Lemma 7.4. Let L be a local system on T with generalized monodromy χ ∈ C(T )(F ), that is, L⊗Lχ is an unipotent local system. Let F ∈ D(X) and assume L ∗ F = 0. Then we have Lχ ∗ F = 0. Proof. There is a filtration 0 = L(0) ⊂ L(1) ⊂···⊂ L(k) = L such that (i−1) (i) (i) (i−1) 0 → L → L → L /L ≃ Lχ → 0. ≥m Assume Lχ ∗ F 6= 0 and let m be the smallest number such that H (Lχ ∗ F) = 0. We claim ≥m (i) (1) that H (L ∗ F) =0 for i = 1, ..., k. The case i = 1 is automatic since L = Lχ. For i ≤ k, consider the distinguished triangle (i−1) (i) (i−1) L ∗ F → L ∗ F → Lχ ∗ F → L ∗ F[1] induced from above short exact sequence. Then for any n ≥ m we obtain an exact sequence n (i−1) n (i) n H (L ∗ F) → H (L ∗ F) → H (Lχ ∗ F) → By induction, the first and third terms are zero, and hence H n(L(i) ∗ F) = 0. The claim follows. Now since L ∗ F = 0, the distinguished triangle (k−1) (k−1) L ∗ F → L ∗ F → Lχ ∗ F → L ∗ F[1] implies (k−1) Lχ ∗ F ≃ L ∗ F[1]. m−1 m−1 (k−1) m (k−1) Therefore we have H (Lχ ∗F) ≃ H (L ∗F[1]) = H (L ∗F) = 0 which contradicts ≥m to the fact that m is the smallest number such that H (Lχ ∗ F) = 0. We are done. 

Lemma 7.5. Let F ∈ D(X). If Lχ ∗ F = 0 for all χ ∈ C(T )(F ), then F = 0.

Proof. Since T acts freely on X we have an embedding ox : T → X,t → t · x. Moreover, by base change formulas, we have ∗ ! ! ! H (T, Lχ−1 ⊗ oxF) ≃ ix(Lχ ∗ F) = 0 for all χ ∈ C(T )(F ). Here ix : x → X is the natural inclusion map. By a result of Laumon [GL, ! Proposition 3.4.5], it implies oxF = 0 for all x. The lemma follows. 

References [A] S. Anantharaman, Schemas en groupes, espaces homogenes et espaces algebriques sur une base de dimension 1, Sur les groupes algbriques, Mmoires de la Socit Mathmatique de France, no. 33 (1973), p. 5-79 [BB] A. Beilinson, J. Bernstein, A proof of Jantzen conjectures, Advances in Soviet Mathematics 16, Gelfand Seminar, 1983, 1-59. [BBD] A. Beilinson, J. Bernstein, P. Deligne, Faisceaux pervers, Asterisque 100, 1982. [BFO] R. Bezrukavnikov, M. Finkelberg, V. Ostrik, Character D-modules via Drinfeld center of Harish-Chandra bimodules , Invent. math. Volume 188, Issue 3, (2012) 589-620. [BG] A. Beilinson, V. Ginzburg, Wall-crossing functors and D-modules, Representation Theory, Volume 3, 1999, 1-31. 35 [BK1] A. Braverman and D. Kazhdan, γ-functions of representations and lifting (with an appendix by V. Vologod- sky), Geom. Funct. Anal., Special Volume (2002), Part I, 237-278. [BK2] A. Breverman, D.Kazhdan, γ-sheaves on reductive groups, Studies in memory of Issai Schur (Chevaleret/Rehovot 2000), Progr. Math., 210 (2003), 27-47. [BY] R. Bezrukavnikov, A. Yom Din, On parabolic restriction of perverse sheaves, arXiv:1810.03297. [BZG] D. Ben-Zvi, S. Gunningham: Symmetries of categorical representations and the quantum Ngˆoaction, arXiv:1712.01963. [BZN] D. Ben-Zvi, D. Nadler: The Character Theory of a Complex Group, arXiv:0904.1247. [C1] T.H. Chen, A vanishing conjecture: the GLn case, arXiv:1902.11190. [C2] T.H. Chen, in preparation. [CN] S. Cheng, B.C. Ngˆo, On a conjecture of Braverman and Kazhdan, IMRN, 20 (2018), 6177-6200. [De1] P. Deligne: Applications de la formule des traces aux sommes trigonom´etriqes, Cohomologies Etale (SGA 1 4 2 ). Lecture Notes in Mathematics 569, 168-232. [De2] P. Deligne, Theoremes de finitude en cohomologie ℓ-adique, Cohomologie ´etale, Lecture Notes in Mathematics, Vol. 569, Springer-Verlag, Berlin-New York, 1977. Seminarire de Geometrie Algebrique du Bois-Marie SGA 1 4 2 . [DL] P. Deligne, G. Lusztig, Representations of reductive groups over finite fields. Annals of Math. 103 (1976), 103-161. [Dr] V. Drinfeld, On a conjecture of Kashiwara, Mathematical Research Letters, 8 (2001), 713-728. [Gr] A. Grothendieck, Revˆetements ´etales et groupe fondamental (SGA 1). [Gi1] V. Ginzburg, Admissible modules on symmetric spaces, Ast´erisque 173-174 (1989), 199-256. [Gi2] V. Ginzburg: Nil Hecke algebra and Whittaker D-modules, arXiv:1706.06751. [Gu] S. Gunningham, Generalized Springer Theory for D-modules on a reductive Lie Algebra, Selecta Mathematica New Series (2018). [GJ] R. Godement. H. Jacquet, Zeta functions of simple algebras . Lecture Notes in Mathematics, Vol. 260. Springer-Verlag, Berlin-New York, 1972. [GL] O. Gabber, F. Loeser, Faisceaux pervers ℓ-adiques sur un tore, Duke Math. J. 83 (1996), no. 3, 501-606. [L] G. Lonergan: A Fourier transform for the quantum Toda lattice, Selecta Mathematica, November 2018, Volume 24, Issue 5, 4577-4615. [Le] Ting-Yu Lee, Adjoint quotients of reductive groups, Autour des schmas en groupes. Vol. III, Panor. Synthses, vol. 47, Soc. Math. France, Paris, 2015, pp. 131-145. [Lu] G. Lusztig, Character sheaves, I, Adv. Math. 56 (1985), 193-237; II, Adv. Math. 57 (1985), 226- 265; III, Adv. Math. 57 (1985), 266-315; IV, Adv. Math. 59 (1986), 1-63; V, Adv. Math. 61 (1986), 103-155. [LL] G. Laumon, E. Letellier, Note on a conjecture of Braverman-Kazhdan, arXiv:1906.07476 [MFK] D. Mumford, J. Fogarty, F. Kirwan, Geometric invariant theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge. [MV] I. Mirkovic, K. Vilonen, Characteristic varieties of character sheaves, Invent. math. 93, 405-418 (1988). [Ne] T. Nevins: Descent of coherent sheaves and complexes to geometric invariant theory quotients, Journal of Algebra Volume 320, Issue 6, 15 September 2008, 2481-2495. [Ng] B.C. Ngˆo: Hankel transform, Langlands functoriality and functional equation of automorphic L-functions, Japanese Journal of Mathematics (2020). [MS] D. Milicic, W. Soergel, The composition series of modules induced from Whittaker modules, Commentarii Mathematici Helvetici, 1997, Volume 72, Issue 4, 503-520. [G] A. Grothendieck, Revˆetements ´etales et groupe fondamental (SGA 1). [Z] X. Zhu, An introduction to affine Grassmannians and the geometric Satake equivalence, Geometry of Mod- uli Spaces and Representation Theory. IAS/Park City Mathematics Series. No.24. American Mathematical Society , Providence, RI, pp. 59-154.

School of Mathematics, University of Minnesota, Twin Cities E-mail address: [email protected]

36