Perverse Sheaves on the Moduli of Local Hecke Stacks

Chapter IX: Local Hecke Stacks

9.2 Perverse Sheaves on the Moduli of Local Hecke Stacks

Let𝑚₁ ≤ 𝑚₂be two𝜇_•-large integers. The natural (twisted) pullback functor Res^𝑚𝑚²₁ :=(res^𝑚𝑚²₁)^★:=(res^𝑚𝑚²₁)^∗[𝑑] (𝑑/2) : P(Hk^loc(𝜇_• ^𝑚1)) →P(Hk^loc(𝜇_• ^𝑚2)) is an equivalence of categories. We define the category of perverse sheaves on the local Hecke stack as

P(Hk^loc_¯

𝑘

,Λ) := Ê

𝜉∈𝜋₁(𝐺)

P(Hk^loc_𝜉 ,Λ),P(Hk^loc_𝜉 ,Λ) := lim

−−→

(𝜇,𝑚)∈𝜉×Z≥0

P(Hk^loc(𝜇 ^𝑚),Λ). Here the connecting morphism in the definition of P(Hk^loc,Λ) is the fully faithful embedding

P(Hk^loc(𝜇₁ ^𝑚1),Λ) P(Hk^loc𝜇₁^𝑚1,Λ) P(Hk^loc(𝜇₂ ^𝑚2),Λ).

Res^𝑚𝑚²

1 𝑖𝜇

1, 𝜇 2∗

Finally, via descent, there is a natural equivalence of categories P(Hk^loc(𝜇 ^𝑚), 𝐸) P𝐿^𝑚𝐺(𝐺 𝑟_≤𝜇, 𝐸), which induces an equivalence P(Hk^loc_¯

𝑘

, 𝐸) P𝐿⁺𝐺⊗𝑘¯(𝐺 𝑟_𝐺⊗𝑘 , 𝐸¯ ).

C h a p t e r 10

MODULI OF LOCAL SHTUKAS

In this chapter, we define different versions of moduli of local Shtukas and correspon- dences between them. Using these results, we define the category of𝐸-coefficient perverse sheaves on the moduli of local Shtukas and their cohomological correspon- dences. In the rest of this thesis, we will make use of the theory of cohomological correspondences between perfect schemes and perfect pfp algebraic spaces. We refer to [XZ17, Appendix A] for reference.

Definition 10.0.1. Let𝜇_•=(𝜇₁, 𝜇₂,· · · , 𝜇_𝑛)be a sequence of dominant coweights.

Themoduli of local ShtukasSht^loc𝜇_• classifies for each perfect𝑘-algebra𝑅sequences of modifications of𝐺-torsors

E𝑛 E𝑛−1 · · · E₀ ^𝜎E𝑛

over𝐷_𝑅 of relative positions≤ 𝜇_𝑛,· · · ,≤ 𝜇₁respectively.

It follows from the definition that

Sht^loc𝜇_• Hk^loc𝜇_• ×𝑡_←×𝑡_→,B𝐿⁺𝐺×B𝐿⁺𝐺 ,id×𝜎B𝐿⁺𝐺 .

There is a natural forgetful map 𝜓^loc : Sht^loc𝜇_• → Hk^loc𝜇_• which forgets the isomor- phismsE₀ ^𝜎E𝑛. One can define the stack

Sht^0,loc

𝜇_•|𝜈_•

which classifies for each perfect𝑘-algebra𝑅the following rectangle of modifications E𝑛 · · · E₀ ^𝜎E𝑛

E_𝑚⁰ · · · E⁰

0 ^𝜎E⁰_𝑚,

of𝐺-torsors over𝐷_𝑅 with modifications in the upper (resp. lower) row bounded by 𝜇_•(resp. 𝜈_•). We get theSatake correspondencefor moduli of local Shtukas

Sht^loc𝜇_• Sht⁰_𝜇^,loc

•|𝜈_• Sht^loc𝜈_•

𝑠^←_𝜇

• 𝑠^→_𝜇

•

.

We introduce the partial Frobenius morphism between the moduli of local Shtukas which will play an important role in later constructions.

Definition 10.0.2. Let𝜇_•= (𝜇₁, 𝜇₂,· · · , 𝜇_𝑛)be a sequence of dominant coweights of𝐺. We define thepartial Frobenius morphismto be

𝐹_𝜇

• : Sht^loc𝜇₁,···, 𝜇_𝑛 Sht^loc_𝜎(𝜇

𝑛), 𝜇₁,···, 𝜇_𝑛−1 (10.1) (E𝑛 · · · E₀ ^𝜎E𝑛) (E_𝑛−1 · · · ^𝜎E𝑛

𝜎E_𝑛−1). Definition 10.0.3. Let 𝜇_• and 𝜈_• be two sequences of dominant coweights. For each perfect 𝑘-algebra𝑅, the prestack Sht^loc_𝜇

•|𝜈_• classifies the following commutative diagram of modifications of𝐺-torsors over 𝐷_𝑅

E𝑛 · · · E₀ ^𝜎E𝑛

E_𝑚⁰ · · · E⁰

0 ^𝜎E⁰_𝑚,

𝛽 𝛽^𝜎

where the top (resp. bottom) row defines an𝑅-point of Sht^loc𝜇_• (resp. Sht^loc𝜈_• ). Let←− ℎ^loc

𝜇_•

(reps.→− ℎ^loc

𝜈_•) denote the morphism which maps the above commutative rectangle to its upper (resp. lower) row. We define theHecke correspondenceof local Shtukas to be to following diagram

Sht^loc𝜇_• Sht^loc_𝜇

•|𝜈_• Sht^loc𝜈_• .

←− ℎ^loc

𝜇•

−

→ ℎ^loc_𝜈

• (10.2)

If in addition, the relative position of 𝛽 is bounded by 𝜆, we get a closed sub- prestack Sht^𝜆,loc

𝜇_•|𝜈•. In particular, if𝜆=0, the Hecke correspondence(4.2)reduces to the Satake correspondence.

The Hecke correspondence can be considered as the composition of two Satake cor- respondences and the cohomological correspondence given by the partial Frobenius morphism. More precisely, we recall [XZ17, Lemma 5.2.14].

Lemma 10.0.4. Let 𝜇_•and𝜈_•be two sequences of dominant coweights. Choose𝜆 to be a dominant coweight such that𝜆 ≥ |𝜇_•| +𝜎(𝜆) or𝜆 ≥ |𝜇_•| +𝜈, then we have

the following commutative diagram of prestacks Sht^{𝜃 ,loc}

𝜇_•|𝜈•

Sht^0,loc

𝜇_•| (𝜎(𝜃^∗),𝜆) Sht⁰_(𝜆,𝜃^,loc∗) |𝜈_•

Sht^loc𝜇_• Sht𝜎(𝜃^∗),𝜆 Sht^loc_𝜆,𝜃∗ Sht^loc𝜈_•.

𝑠^←_𝜇

•

𝑠^→

𝜎(𝜃∗),𝜆

𝑠^→

𝜈•

𝑠^←_{𝜆, 𝜃∗}

𝐹_{𝜆, 𝜃∗}⁻¹

In addition, the pentagon in the middle is a Cartesian square when composing 𝑠^→

𝜎(𝜃^∗),𝜆 with𝐹⁻¹

𝜆,𝜃^∗.

10.1 Moduli of Restricted Local Shtukas

Let 𝜇_• = 0 or more generally, a central cocharacter, Sht^loc𝜇_• ' B𝐺(O) which is not perfectly of finite presentation as a prestack. Thus to apply theℓ-adic formalism, it is desirable to study the following approximation of Sht^loc𝜇_•.

Definition 10.1.1. Let𝜇_•be a sequence of dominant coweights and (𝑚, 𝑛)a pair of 𝜇_•-large integers. We define the moduli stack Sht^loc(𝜇_• ^𝑚,𝑛) of (𝑚, 𝑛)-restricted local iterated shtukasas the stack that classifies for every perfect𝑘-algebra 𝑅,

(1) an𝑅-point of Hk^loc(𝜇_• ^𝑚), (2) an isomorphism

Ψ: ^𝜎(E_← |𝐷𝑛, 𝑅) ' (E_→ |𝐷𝑚, 𝑅) |𝐷𝑛, 𝑅

of𝐿^𝑛𝐺-torsos over Spec𝑅, whereE_← andE_→are defined in(9.5)and(9.6), respectively.

The above definition gives a canonical isomorphism

Sht^loc𝜇_•^(𝑚,𝑛) Hk^loc𝜇_•^(𝑚) ×𝑡_←×res^𝑚𝑛◦𝑡_→,B𝐿^𝑛𝐺×B𝐿^𝑛𝐺 ,id×𝜎B𝐿^𝑛𝐺 .

The natural forgetful morphism 𝜓^{loc(𝑚,𝑛)} : Sht^loc(𝜇_• ^𝑚,𝑛) → Hk^loc(𝜇_• ^𝑚) is a perfectly smooth morphism of relative dimension 𝑛dim𝐺. For two sequences of dominant coweights𝜇_•,𝜈_•, we define Sht^loc(_𝜇 ^𝑚,𝑛)

•|𝜈_• to be the stack which classifies for each perfect 𝑘-algebra 𝑅, an𝑅-point of Hk^{loc(𝑚,𝑛)}_𝜇

•|𝜈_• together with an isomorphism^𝜎(E_← |𝐷_{𝑛, 𝑅}) '

(E |𝐷𝑚, 𝑅) |𝐷𝑛, 𝑅. Let (𝑚₁, 𝑛₁) and (𝑚₂, 𝑛₂) be two pairs of 𝜇_•-large integers such that𝑚₁ ≤ 𝑚₂and𝑛₁ ≤ 𝑛₂. We define the restriction morphism

res^𝑚𝑚²₁^,𝑛.𝑛²₁ : Sht^loc𝜇_•^{(𝑚2,𝑛2)} →Sht^loc𝜇_•^{(𝑚1,𝑛1)} (10.3) as the composition of the following morphisms

res^𝑚𝑚²₁^,𝑛.𝑛²₁ :Sht^loc(𝜇_• ^𝑚2,𝑛2) Hk^loc(𝜇_• ^𝑚2) ×

𝑡_←×res^𝑚𝑛²

2◦𝑡_→,B𝐿^𝑛2𝐺×B𝐿^𝑛2𝐺 ,id×𝜎B𝐿^𝑛2𝐺

res^𝑚𝑚²1×res^𝑛𝑛²1

−−−−−−−−−→Hk^loc(𝑚𝜇_• ¹⁾ ×_𝑡

←×res^𝑚𝑛¹

1◦𝑡_→,B𝐿^𝑛1𝐺×B𝐿^𝑛1𝐺 ,id×𝜎B𝐿^𝑛1𝐺 Sht^loc(𝜇_• ^𝑚1,𝑛1).

For (𝑚₂, 𝑛₂) = (∞,∞), we write res^𝑚𝑚²₁^,𝑛.𝑛²₁ as res𝑚₁,𝑛₁ for simplicity. For three pairs of𝜇_•-large integers(𝑚_𝑖, 𝑛_𝑖)such that𝑚₁ ≤ 𝑚₂ ≤ 𝑚₃and𝑛₁ ≤ 𝑛₂ ≤ 𝑛₃, we have

res^𝑚𝑚²₁^,𝑛,𝑛²₁◦res^𝑚𝑚³₂^,𝑛,𝑛³₂ =res^𝑚𝑚³₁^,𝑛,𝑛³₁. (10.4) The Satake correspondences for restricted local Hecke stacks and the Satake corre- spondences for restricted local Shtukas are related by the restriction morphisms and summarized in the following diagram

Sht^loc(𝜇_• ^𝑚2,𝑛2) Sht⁰_𝜇^{,loc(𝑚2,𝑛2)}

•|𝜈_• Sht^loc(𝜈_• ^𝑚2,𝑛2)

Sht^loc(𝜇_• ^𝑚1,𝑛1) Sht⁰_𝜇^{,loc(𝑚1,𝑛1)}

•|𝜈_• Sht^loc(𝜈_• ^𝑚1,𝑛1)

Hk^loc𝜇_•^(𝑚2) Hk^0,loc(𝑚2)

𝜇_•|𝜈_• Hk^loc𝜈_• ^(𝑚2)

Hk^loc(𝑚𝜇_• ¹⁾ Hk^0,loc(𝑚1)

𝜇_•|𝜈• Hk^loc(𝑚𝜈_• ¹⁾

𝜓^loc(𝑚2, 𝑛 2)

res^𝑚𝑚^{2, 𝑛2} 1, 𝑛

1 res^𝑚𝑚²1^{, 𝑛}, 𝑛²1

𝜓^loc(𝑚2, 𝑛 2)

res^𝑚𝑚^{2, 𝑛2} 1, 𝑛

1

𝜙^loc(𝑚2, 𝑛 2)

𝜓^loc(𝑚1, 𝑛 1)

𝜓^loc(𝑚1, 𝑛

1) 𝜓^loc(𝑚1, 𝑛

1)

(10.5) where

(1) all rectangles are commutative,

(2) all rectangles are Cartesian except for the two on the left and right side of the cuboid.

Let𝜇_• =(𝜇₁,· · · , 𝜇_𝑛)be a sequence of dominant cocharacters. We call a quadruple of non-negative integers(𝑚₁, 𝑛₁, 𝑚₂, 𝑛₂) 𝜇_•-acceptableif

(1) 𝑚₁−𝑚₂=𝑛₁−𝑛₂are𝜇_𝑛-large (or equivalently𝜎(𝜇_𝑛)-large), (2) 𝑚₂−𝑛₁is 𝜇_•-large.

We can define the partial Frobenius morphism 𝐹⁻¹

𝜇_• : Sht^loc_𝜎(^{(𝑚1,𝑛1)}

𝜇𝑛), 𝜇₁,···, 𝜇𝑛−1 →Sht^loc𝜇₁,^(𝑚···, 𝜇^2,𝑛₂²⁾ (10.6) for restricted local Shtukas. The construction of 𝐹⁻¹

𝜇_• is technical and we refer to [XZ17, Construction 5.3.12] for detailed discussion.

10.2 Perverse Sheaves on the Moduli of Local Shtukas

Let𝜇_•be a sequence of dominant coweights and (𝑚₁, 𝑛₁), (𝑚₂, 𝑛₂)be two pairs of 𝜇_•-large integers such that𝑚₁ ≤ 𝑚₂,𝑛₁ ≤ 𝑛₂, and𝑚₂ ≠∞. Define the functor

Res^𝑚𝑚²₁^,𝑛,𝑛²₁ :=(res^𝑚𝑚²₁^,𝑛.𝑛²₁)^★: P(Sht^loc(𝑚𝜇_• ^2,𝑛2),Λ) →P(Sht^loc(𝑚_𝜇 ^1,𝑛1)

•,Λ ). (10.7) Then(10.4)yields

Res^𝑚𝑚²₁^,𝑛,𝑛²₁◦Res^𝑚𝑚³₂^,𝑛,𝑛³₃ =Res^𝑚𝑚³₁^,𝑛,𝑛³₁. (10.8) Like Res^𝑚𝑛, the functor Res^𝑚𝑚^𝑖𝑗^,𝑛,𝑛^𝑖𝑗 is also an equivalence of categories if𝑚_𝑗 >1.

We define the category of perverse sheaves on the moduli of local Shtukas as P(Sht^loc_¯

𝑘

,Λ):= Ê

𝜉∈𝜋₁(𝐺)

P(Sht^loc_𝜉 ,Λ), P(Sht^loc_𝜉 ,Λ) := lim

−−→

(𝑚,𝑛, 𝜇)

P(Sht^loc𝜇 ^(𝑚,𝑛),Λ) (10.9) where the limit is taken over the triples{(𝑚, 𝑛, 𝜇) ∈Z²×𝜉 | (𝑚, 𝑛) is𝜇large}with the product partial order. As in [XZ17], we call objects in P(Sht^loc_𝜉 ,Λ) connected objects. The connecting morphism is given by the composite of fully faithful functor

P(Sht^loc(𝜇₁ ^𝑚1,𝑛1),Λ) P(Sht^loc(𝜇₁ ^𝑚2,𝑛2),Λ) P(Sht^{loc(𝑚2,𝑛2)}

𝜇⁰

1

,Λ).

Res^𝑚𝑚^{2, 𝑛2} 1, 𝑛

1

𝑖𝜇 1, 𝜇0

1

For each dominant coweight 𝜇and a pair of 𝜇-large integers(𝑚, 𝑛), we define the natural pullback functor

Ψ^{loc(𝑚,𝑛)} :=Res^𝑚,𝑛_𝑚,0 : P(Hk^loc(𝑚)𝜇 ,Λ) →P(Sht^{loc(𝑚,𝑛)}𝜇 ,Λ). (10.10) We observe that Ψ^{loc(𝑚,𝑛)} commutes with the connecting morphism in (10.9) by (10.8) and the proper smooth base change. Then we can take the limit and direct sum ofΨ^{loc(𝑚,𝑛)} and derive the following well-defined functor

Ψ^loc : P(Hk^loc_¯

𝑘

,Λ) →P(Sht^loc_¯

𝑘

,Λ). (10.11)

LetF𝑖 ∈ P(Sht^loc_𝜉

𝑖

, 𝐸)be connected objects. It is realized asF_{𝑖, 𝜇}^{(𝑚𝑖,𝑛𝑖)}

𝑖

∈P(Sht^loc(𝑚𝜇𝑖 ^{𝑖,𝑛𝑖)}

, 𝐸) for some 𝜇_𝑖 and some pair of 𝜇_𝑖-large integers (𝑚_𝑖, 𝑛_𝑖). We define the set of coho- mological correspondences betweenF₁andF₂as

Corr_Sht^loc(F₁,F₂)

:= Ê

𝜉∈𝜋₁(𝐺)

lim−−→Corr

Sht^𝜆,_𝜇^{loc(𝑚1, 𝑛1)}

1|𝜇2

(Sht^loc𝜇₁^{(𝑚1,𝑛1)},F^{(𝑚1,𝑛1)}

1, 𝜇₁ ),(Sht^loc𝜇₂^{(𝑚2,𝑛2)},F^{(𝑚2,𝑛2)}

2, 𝜇₂ ) ,

where the limit is taken over all partially ordered sextuples(𝜇₁, 𝜇₂, 𝜆, 𝑚₁, 𝑛₁, 𝑚₂, 𝑛₂) such that

• (𝑚₁, 𝑛₁, 𝑚₂, 𝑛₂)is (𝜇₁+𝜆, 𝜆)and(𝜇₂+𝜆, 𝜆)-acceptable,

• 𝜇_𝑖 ∈𝜉_𝑖, for some𝜉_𝑖 ∈𝜋₁(𝐺),

• 𝜆∈𝜉.

Let (𝜇₁, 𝜇₂, 𝜆, 𝑚₁, 𝑛₁, 𝑚₂, 𝑛₂) ≤ (𝜇⁰

1, 𝜇⁰

2, 𝜆⁰, 𝑚⁰

1, 𝑛⁰

1, 𝑚⁰

2, 𝑛⁰

2) be another such sextu- ple. The connecting morphism between the cohomological correspondences

CorrSht^𝜆,_𝜇^{loc(𝑚1, 𝑛1)}

1|𝜇2

(Sht^loc(𝑚𝜇₁ ^1,𝑛1),F₁, 𝜇₁),(Sht^loc(𝑚𝜇₂ ^2,𝑛2),F₂, 𝜇₂)

(10.12) and

CorrSht

𝜆0,loc(𝑚0 1, 𝑛0

1) 𝜇0

1|𝜇0 2

(Sht^loc(𝑚

0 1,𝑛⁰

1) 𝜇⁰

1

,F₁, 𝜇⁰

1),(Sht^loc(𝑚

0 2,𝑛⁰

2) 𝜇⁰

2

,F₂, 𝜇⁰

2)

(10.13)

is given by first pulling back(4.13)to the Hecke correspondence Sht^loc(𝑚

0 1,𝑛⁰

1)

𝜇₁ Sht^{𝜆,loc(𝑚}

0 1,𝑛⁰

1)

𝜇₁|𝜇₂ Sht^loc(𝑚

0 2,𝑛⁰

2)

𝜇₂ ,

along the restriction morphism, then pushing it forward to the Hecke correspondence Sht^loc(𝑚

0 1,𝑛⁰

1) 𝜇⁰

1

Sht^𝜆

0,loc(𝑚⁰₁,𝑛⁰

1) 𝜇⁰

1|𝜇⁰

2

Sht^loc(𝑚

0 2,𝑛⁰

2) 𝜇⁰

2

.

The connecting morphism is well-defined and can be composed. We refer to [XZ17,

§5.4.1] for more discussions.

C h a p t e r 11

KEY THEOREM FOR CONSTRUCTING THE JACQUET-LANGLANDS TRANSFER

In this chapter, we state and prove the key theorem for our construction of the Jacquet-Langlands transfer. We will make use of the theory of the cohomological correspondences throughout this chapter. Instead of explaining all the details, we refer to [XZ17, Appendix A.2] for a nice discussion.

11.1 Preliminaries

Fix a half Tate twist Λ(1/2). Recall notations h𝑑i and 𝑓^★ introduced in §1.3.

Throughout this section, we consider the Langlands dual group scheme ˆ𝐺_Λ overΛ of𝐺 and itsΛ-representations. The subscriptsΛwill be omitted for simplicity. We generalize a few notions introduced in previous sections for the sake of stating the key theorem.

More on Local Hecke Stacks

Let 𝑉_• := 𝑉₁𝑉₂ · · ·𝑉_𝑠 ∈ Rep(𝐺ˆ^𝑠) and assume that for each 𝑖, 𝑉_𝑖 has the Jordan-Holder factors¥ {𝑉_𝜇

𝑖 𝑗}𝑗.

The integral geometric Satake equivalence (Theorem 8.0.14) Sat𝐺^𝑠 sends𝑉_• to an (𝐿⁺𝐺 ⊗ 𝑘¯)^𝑠-equivariant perverse sheaf Sat𝐺^𝑠(𝑉_•) on (𝐺 𝑟_𝐺 ⊗ 𝑘¯)^𝑠. We write 𝐺 𝑟_𝑉

•

for the support of the external tensor product Sat(𝑉₁)˜Sat(𝑉₂)˜ · · ·˜Sat(𝑉_𝑠). Let 𝑚 be a non-negative integer. We call it𝑉_𝑖-large if 𝑚 is 𝜇_{𝑖 𝑗}-large for each 𝑗, and we call it 𝑉_•-large if 𝑚 = 𝑚₁ +𝑚₂ + · · · +𝑚_𝑠 such that 𝑚_𝑖 is 𝑉_𝑖-large for each 𝑖. For a 𝑉_•-large integer 𝑚, Sat𝐺^𝑛(𝑉_•) descends to a perverse sheaf supported on Hk_𝑉^loc(𝑚)

• := [𝐿^𝑚𝐺\𝐺 𝑟_𝑉

•]. We write 𝑆(𝑉)^loc(𝑚) for the twist of this perverse sheaf by h𝑚dim𝐺i. Note that 𝑆(𝑉_•)^loc(𝑚) is isomorphic to the "★"-pullback of 𝑆(𝑉₁)^loc(𝑚1)𝑆(𝑉₂)^loc(𝑚2)· · ·𝑆(𝑉_𝑠)^{loc(𝑚𝑠)} along the perfectly smooth morphism Hk_𝑉^loc(𝑚)

• → Î

𝑖Hk^loc(_𝑉 ^𝑚𝑖)

𝑖 constructed in(9.9). In the case𝑠=1, we have

𝐺 𝑟_𝑉

1 =∪𝑗𝐺 𝑟_𝜇

1𝑗, Hk^loc_𝑉 ^(𝑚)

1 =∪𝑗Hk^loc𝜇_1𝑗^𝑚. In general, Hk^loc(𝑚)_𝑉

• is of the form∪𝜇_•Hk^loc(𝑚)𝜇_• . Via descent, Corollary 8.0.15 gives

the following natural isomorphism:

Hom_𝐺ˆ(𝑉_•, 𝑊_•) Corr

Hk⁰_𝑉^,loc(𝑚)

• |𝑊•

(Hk_𝑉^loc(𝑚)

•

,Sat^loc_𝐺 ^(𝑚)(𝑉_•)),(Hk^loc_𝑊 ^(𝑚)

•

,Sat^loc_𝐺 ^(𝑚)(𝑊_•)) . (11.1) Here and below, we regard 𝑉_• and 𝑊_• as representations of ˆ𝐺 via the diagonal embedding ˆ𝐺 ↩→ 𝐺ˆ^𝑠.

Let𝑉_• and𝑊_• be two representations of ˆ𝐺^𝑠. We can similarly define 𝐺 𝑟⁰

𝑉_•|𝑊_• :=

𝐺 𝑟_𝑉

•×𝐺 𝑟𝐺 𝐺 𝑟_𝑊

• and Hk_𝑉^0,loc(𝑚)

•|𝑊_• = [𝐿^𝑚𝐺\𝐺 𝑟⁰

𝑉_•|𝑊_•]. More on Moduli of Local Shtukas

Let𝑉_•∈Rep(𝐺ˆ^𝑠). For a pair of non-negative integers(𝑚, 𝑛), we can generalize the notion of 𝜇_•-largeand define the notion of𝑉_•-large. Let(𝑚, 𝑛)be a pair of𝑉_•and 𝑊_•-large integers, we can define the moduli of restricted local Shtukas Sht^loc_𝑉 ^(𝑚,𝑛)

•

and Sht^{loc(𝑚,𝑛)}

𝑉_•|𝑊• . Similar to Hk_𝑉^loc

•, the stacks Sht_𝑉^{loc(𝑚,𝑛)}

• and Sht^{loc(𝑚,𝑛)}

𝑉_•|𝑊• can be regarded as unions of Sht^loc(𝜇_• ^𝑚,𝑛) and unions of Sht^{loc(𝑚,𝑛)}

𝜇_•|𝜈_• . We have the natural forgetful map 𝜓^{loc(𝑚,𝑛)} : Sht_𝑉^{loc(𝑚,𝑛)}

• →Hk_𝑉^loc(𝑚)

•

. (11.2)

Choose a pair of𝑉_•-large integers(𝑚, 𝑛) such that𝑛 > 0. Write 𝑆(𝑉e_•)^{loc(𝑚,𝑛)} := Ψ^{loc(𝑚,𝑛)}(Sat(𝑉_•)^loc(𝑚)) ∈P(Sht^{loc(𝑚,𝑛)},Λ)

for the pullback of Sat(𝑉)^loc(𝑚) along the morphism 𝜓^{loc(𝑚,𝑛)} (up to a shift and twist). For𝑠 =1,𝑆(e𝑉)^{loc(𝑚,𝑛)} represents the perverse sheaf𝑆(e𝑉) := Ψ(Sat𝐺(𝑉)) ∈ P(Sht^loc_¯

𝑘

,Λ).

Consider the front face of the diagram(10.5). The second and third vertical maps are perfectly smooth. Pulling back the cohomological correspondence on the right hand side of(11.1)to the upper edge and pre-composing it with(11.1), we get the map

C^{loc(𝑚,𝑛)} : Hom_𝐺ˆ(𝑉_•, 𝑊_•) → Corr

Sht⁰_𝑉^{,loc(𝑚, 𝑛)}

• |𝑊•

(𝑆(𝑉e_•)^{loc(𝑚,𝑛)}, 𝑆(𝑊f_•)^{loc(𝑚,𝑛)}). (11.3) The mapC^{loc(𝑚,𝑛)} is compatible with the compositions at the source and target, and we refer to [XZ17, Lemma 6.1.8] for the proof.

Let𝑉_• ∈ Rep(𝐺ˆ^𝑠) and𝑊 ∈Rep(𝐺ˆ). We call a quadruple of non-negative integers (𝑚₁, 𝑛₂, 𝑚₁, 𝑛₁)𝑉_•𝑊-acceptableif

• 𝑚₁−𝑚₂=𝑛₁−𝑛₂is𝑊-large,

• (𝑚₂, 𝑛₁)is𝑉_•-large.

For a quadruple of 𝑉_•𝑊-acceptable integers (𝑚₁, 𝑛₂, 𝑚₁, 𝑛₁), we can construct the partial Frobenius morphism

𝐹⁻¹

𝑉_•𝑊 : Sht^loc(_𝜎𝑊^𝑚_𝑉^1,𝑛1)

• → Sht_𝑉^{loc(𝑚2,𝑛2)}

•𝑊 (11.4)

similar to (10.1). Here,𝜎𝑊 is the Frobenius twist of𝑊 as in Remark 8.0.14.

Let𝑉₁, 𝑉₂ ∈Rep(𝐺ˆ). For any projective object𝑊 ∈Rep(𝐺ˆ), choose a quadruple of ( (𝑉₁⊗𝑉₂⊗𝑊)𝑊^∗)-acceptable integers(𝑚₁, 𝑛₁, 𝑚₂, 𝑛₂). We define the following stack

Sht^{𝑊 ,}_𝑉 ^{loc(𝑚1,𝑛1)}

1|𝑉₂ :=Sht^loc(_𝑉 ^𝑚1,𝑛1)

1|𝜎𝑊^∗(𝜎𝑊⊗𝑉₁) ×

Sht^loc(₍ ^{𝑚2, 𝑛2)}

𝜎 𝑊⊗𝑉1)𝑊∗ Sht^loc(_(𝜎𝑊^𝑚_⊗¹_𝑉^.𝑛1)

1)𝑊^∗|𝑉₂

. (11.5) The CategoryCoh^𝐺ˆ(𝐺 𝜎ˆ )

Recall from Remark 8.0.14 that the Langlands dual group ˆ𝐺 is naturally equipped with an action of the arithmetic Frobenius 𝜎. Consider the𝜎-twisted conjugation action of ˆ𝐺 on ˆ𝐺. We denote by Coh^𝐺ˆ(𝐺 𝜎ˆ )the abelian category of ˆ𝐺-equivariant coherent sheaves on the (non-neutral) component ˆ𝐺 𝜎 ⊂ 𝐺ˆ o 𝜎. Equivalently, Coh^𝐺ˆ(𝐺 𝜎ˆ ) can be regarded as the abelian category of coherent sheaves on the quotient stack [𝐺 𝜎ˆ /𝐺ˆ]where ˆ𝐺acts on ˆ𝐺 𝜎by the usual conjugation action.

Let𝑉 ∈Rep(𝐺ˆ) be an algebraic representation of ˆ𝐺. There is an associated vector bundle on ˆ𝐺 𝜎with global section O_ˆ

𝐺 ⊗𝑉. Consider the following action of ˆ𝐺 on O_𝐺ˆ ⊗𝑉. For any 𝑔 ∈ 𝐺ˆ and (𝑓 , 𝑣) ∈ O_𝐺ˆ ⊗𝑉, 𝑔· (𝑓 , 𝑣) := (𝑔 𝑓 𝜎⁻¹(𝑔), 𝑔𝑣). The associated vector bundle thus gives an object𝑉e∈Coh^𝐺ˆ(𝐺 𝜎ˆ ).

11.2 Key Theorem

The following theorem is an analogue of [XZ17, Theorem 6.0.1].

Theorem 11.2.1. Let𝑉₁, 𝑉₂ ∈ Rep(𝐺ˆ) be two projective Λ-modules. Then there exists the following map

S𝑉₁,𝑉₂ : Hom

Coh^𝐺ˆ(𝐺 𝜎ˆ )(𝑉e₁,𝑉e₂) −→Corr_Shtloc(𝑆(𝑉e₁), 𝑆(𝑉e₂)), (11.6) which is compatible with the natural composition maps in the source and target.

We prove this theorem in the rest of this section.

We give an explicit construction of S𝑉₁,𝑉₂. Consider the following canonical iso- morphisms

HomCoh^𝐺ˆ(𝐺 𝜎)ˆ (𝑉e₁,𝑉e₂) (11.7) HomO_{𝐺 𝜎ˆ} (O_{𝐺 𝜎ˆ} ⊗𝑉₁,O_{𝐺 𝜎ˆ} ⊗𝑉₂)^𝐺ˆ

Hom(𝑉₁,O_{𝐺 𝜎ˆ} ⊗𝑉₂)^𝐺ˆ (𝑉^∗

1 ⊗ O_ˆ

𝐺 𝜎 ⊗𝑉₂)^𝐺ˆ.

Let 𝑊 ∈ Rep_Λ(𝐺ˆ_Λ) be a projective Λ-module with Λ-basis {𝑒_𝑖}𝑖 and dual basis {𝑒^∗

𝑖}𝑖. We construct the map Θ𝑊 : Hom_𝐺ˆ

Λ(𝑉₁, 𝜎𝑊^∗⊗𝑉₂⊗𝑊) Hom_𝐺ˆ(𝑉₁,Hom(𝜎𝑊⊗𝑊^∗, 𝑉₂)) →Hom

Coh^𝐺ˆ(𝐺 𝜎ˆ )(𝑉e₁,𝑉e₂), by sendinga ∈Hom_𝐺ˆ

Λ(𝑉₁, 𝜎𝑊^∗ ⊗𝑉₂⊗𝑊)to the𝑉^∗

1 ⊗𝑉₂-valued functionΘ𝑊(a) on ˆ𝐺 𝜎defined by

(Θ𝑊(a) (𝑔)) (𝑣₁) :=Õ

𝑖

(a(𝑣₁)) (𝑔 𝑒^∗

𝑖 ⊗𝑒_𝑖). It suffices to construct the map

C𝑊 : Hom_𝐺ˆ(𝑉₁, 𝜎𝑊^∗ ⊗𝑊 ⊗𝑉₂) →Corr_Shtloc(𝑆(𝑉e₁), 𝑆(𝑉e₂)).

for every 𝑊 ∈ Rep_Λ(𝐺ˆ_Λ). Let a ∈ Hom_𝐺ˆ(𝑉₁, 𝜎𝑊^∗ ⊗ 𝑊 ⊗ 𝑉₂). We have the following coevaluation and evaluation maps:

𝛿_𝜎𝑊 :1→𝜎𝑊^∗⊗ 𝜎𝑊 , 𝑒_𝑊 :𝑊 ⊗𝑊^∗ →1.

Choose a quadruple (𝑚₁, 𝑛₁, 𝑚₂, 𝑛₂) of (𝑉₁ ⊗𝑉₂⊗𝑊)𝑊^∗-large integers. Then the mapC^{loc(𝑚1,𝑛1)} defined in (11.3)sendsato the cohomological correspondence C^{loc(𝑚1,𝑛1)}(a) :𝑆(𝑉e₁)^{loc(𝑚1,𝑛1)} −→ 𝑆(𝜎𝑊f^∗(𝑉e₂⊗𝑊e))^{loc(𝑚1,𝑛1)}. (11.8) The partial Frobenius morphism(11.4)gives rise to the cohomological correspon- dence (cf.[XZ17, A.2.3])

DΓ^∗

𝐹⁻¹

(𝑊⊗𝑉2)𝑊∗ :𝑆(𝜎𝑊f^∗(𝑉e₂⊗𝑊e))^{loc(𝑚1,𝑛1)} −→𝑆( (𝑉e₂⊗𝑊e)𝑊f^∗)^{loc(𝑚2,𝑛2)}. (11.9) Finally,C^{loc(𝑚2,𝑛2)} sends id⊗𝑒_𝑊 to the cohomological correspondence

C^{loc(𝑚2,𝑛2)}(id⊗𝑒_𝑊) :𝑆( (𝑉e₂⊗𝑊e)𝑊f^∗)^{loc(𝑚2,𝑛2)} −→ 𝑆(𝑉e₂)^{loc(𝑚2,𝑛2)}. (11.10)

The composition of cohomological correspondences (11.8), (11.9), and (11.10) yields a cohomological correspondence

C𝑊(a) ∈Corr

Sht^{𝑊 ,}_𝑉 ^{loc(𝑚1, 𝑛1)}

1|𝑉2

(𝑆(𝑉e₁)^{loc(𝑚1,𝑛1)}, 𝑆(𝑉e₂)^{loc(𝑚2,𝑛2)}).

The construction of the mapS𝑉₁,𝑉₂ can be summarized in the following diagram

HomCoh^𝐺ˆ(𝐺 𝜎ˆ )(𝑉e₁,𝑉e₂) Corr_Shtloc(𝑆(𝑉e₁), 𝑆(𝑉e₂))

Hom_𝐺ˆ(𝑉₁, 𝜎𝑊^∗ ⊗𝑉₂⊗𝑊) .

S𝑉1,𝑉2

Θ𝑊

C𝑊

We prove that the cohomological correspondence constructed in the previous section is well-defined and can be composed.

Leta⁰ denote the image ofa under the canonical isomorphism Hom_𝐺ˆ(𝑉₁, 𝜎𝑊^∗ ⊗ 𝑉₂⊗𝑊) Hom_𝐺ˆ(𝜎𝑊 ⊗𝑉₁⊗𝑊^∗, 𝑉₂).

Lemma 11.2.2. Let 𝑋 , 𝑌 , 𝑊₁, 𝑊₂, 𝑊⁰

1, 𝑊⁰

2 be representations of 𝐺ˆ, and 𝑓₁ ⊗ 𝑓₂ : 𝑊₁⊗𝑊₂→𝑊⁰

1⊗𝑊⁰

2be a𝐺ˆ×𝐺ˆ-module homomorphism. Letb∈Hom_𝐺ˆ(𝑋 , 𝜎𝑊₁⊗ 𝑌 ⊗𝑊₂)andb⁰ ∈Hom𝐺ˆ(𝑌 ⊗𝑊⁰

2⊗𝑊⁰

1, 𝑌). We omit choosing appropriate integers (𝑚_𝑖, 𝑛_𝑖)for simplicity. Then we have

C (b⁰◦ (id⊗𝑓₂⊗𝑓₁)) ◦DΓ^∗

𝐹⁻¹◦C (b) =C (b⁰) ◦DΓ^∗

𝐹⁻¹◦C ( (𝜎 𝑓₁◦id⊗𝑓₂) ◦b). (11.11) In particular, the cohomological correspondenceS𝑉₁,𝑉₂(a)equals to the composition of the following cohomological correspondences:

C (𝛿_𝜎𝑊 ⊗id𝑉₁): 𝑆(𝑉e₁) −→𝑆(𝜎𝑊f^∗(𝜎𝑊e ⊗𝑉e₁)), DΓ^∗

𝐹⁻¹

(𝑊⊗𝑉1)𝑊∗ :𝑆(𝜎𝑊f^∗(𝜎𝑊e ⊗𝑉e₁)) −→𝑆( (𝜎𝑊e ⊗𝑉e₁)𝑊f^∗) C (a⁰) :𝑆( (𝜎𝑊e ⊗𝑉e₁)𝑊f^∗) −→𝑆(𝑉e₂).

Proof. Consider the following diagram

𝑆(𝑋e) 𝑆(𝜎𝑊₁⊗𝑌e⊗𝑊f₂) 𝑆(e𝑌 ⊗𝑊f₂⊗𝑊f₁)

𝑆(𝜎𝑊⁰

1⊗𝑌e⊗𝑊f⁰

2) 𝑆(e𝑌 ⊗𝑊f⁰

2⊗𝑊f⁰

1) 𝑆(e𝑌)

C (b)

C ( (𝜎 𝑓₂◦id⊗𝑓₁)◦b)

DΓ_𝐹−1

C (𝜎 𝑓₁⊗id⊗𝑓₂)

C (b⁰◦(id⊗𝑓₂⊗𝑓₁)) C (id⊗𝑓₂⊗𝑓₁)

DΓ_𝐹−1

C (b⁰)

.

(11.12)

The bent triangles on the left and right are clearly commutative by Corollary 8.0.15.

It suffices to prove that the rectangle in the middle is commutative. But this is a direct consequence of [XZ17, Lemma 6.1.13].

Let 𝑋 = 𝑉₁, 𝑌 = 1, 𝑊₁ = 𝑊⁰

1 = 𝑊^∗, 𝑊₂ = 𝜎𝑊 ⊗𝑉₁, 𝑊⁰

2 = 𝑊 ⊗ 𝑉₂. Write a⁰⁰ for the image ofa under the canonical isomorphism Hom(𝜎𝑊 ⊗𝑉₁ ⊗𝑊^∗, 𝑉₂) Hom(𝜎𝑊⊗𝑉₁, 𝑊⊗𝑉₂). Takeb=𝛿_𝜎𝑊⊗id, 𝑓₁=id, and 𝑓₂ =a⁰⁰. Then the second assertion follows from the above commutative diagram.

Lemma 11.2.3. For any𝛼 ∈ Hom_𝐺ˆ(𝑉e₁,𝑉e₂), the construction ofS𝑉₁,𝑉₂ is indepen- dent from the choice of

(1) projectiveΛ-modules𝑊 ∈Rep_Λ(𝐺ˆ_Λ),

(2) a∈Hom_𝐺ˆ(𝑉₁, 𝜎𝑊^∗⊗𝑉₂⊗𝑊), such thatΘ𝑊(a) =𝛼, (3) (𝑉₁⊗𝑉₂) ⊗𝑊𝑊^∗-acceptable integers(𝑚₁, 𝑛₁, 𝑚₂, 𝑛₂).

Proof. The proof is completely similar to that of [XZ17, Lemma 6.2.5], and we briefly discuss it here.

We start by proving the independence of (3). Choose another quadruple of (𝑉₁⊗ 𝑉₂) ⊗𝑊𝑊^∗-acceptable integers (𝑚⁰

1, 𝑛⁰

1, 𝑚⁰

2, 𝑛⁰

2) ≥ (𝑚₁, 𝑛₁, 𝑚₂, 𝑛₂). We have the following diagram of Hecke correspondences

Sht^loc(𝑚

0 1,𝑛⁰

1)

𝑉₁ Sht^{𝜆,loc(𝑚}

0 1,𝑛⁰

1)

𝑉₁|𝑉₂ Sht^loc(𝑚

0 2,𝑛⁰

2) 𝑉₂

Sht_𝑉^{loc(𝑚1,𝑛1)}

1 Sht_𝑉^{𝜆,loc(𝑚1,𝑛1)}

1|𝑉₂ Sht_𝑉^{loc(𝑚2,𝑛2)}

2

.

res

𝑚0 1𝑛0

1 𝑚1, 𝑛

1 res

𝑚0 1𝑛0

1 𝑚1, 𝑛

1 res

𝑚0 2𝑛0

2 𝑚2, 𝑛 2

This is the upper face of diagram (10.5). As we discussed in §10, all the vertical maps are smooth, the two squares are commutative, and the left square is Cartesian.

ThenC^loc(𝑚

0 1,𝑛⁰

1)

𝑊 (a)equals the pullback of C^{loc(𝑚1,𝑛1)}

𝑊 (a)along the vertical maps.

Next, we prove the independence of (1) and (2) simultaneously. Consider that ˆ𝐺 acts on the filtration of O𝐺 by right regular representation. Then O𝐺 is realized as an ind-object in Rep_Λ(𝐺ˆ). Let𝑋 ∈ Rep_Λ(𝐺ˆ) be a projective object and we denote by𝑋 the underline𝐸-module of𝑋 equipped with the trivial ˆ𝐺-action. Consider the following ˆ𝐺-equivariant maps

a𝑋 : 𝑋 → O𝐺 ⊗ 𝑋 , 𝑥 ↦→ a𝑋(𝑥) (𝑔) :=𝑔𝑥 ,

𝑚_𝑋 : 𝑋^∗ ⊗ 𝑋 → O𝐺, (𝑥^∗, 𝑥) ↦→ 𝑚_𝑋(𝑥^∗, 𝑥) (𝑔) :=𝑥^∗(𝑔𝑥),

where we identifyO𝐺 ⊗𝑋as the space of𝑋-valued functions on ˆ𝐺in the definition of a𝑋 and𝑚_𝑋. Taking 𝑋 =𝑊, we have the following ˆ𝐺×𝐺ˆ-module maps

𝜎𝑊^∗⊗𝑉₂⊗𝑊

a𝜎 𝑊∗

−−−−→𝑊^∗⊗𝜎O𝐺 ⊗𝑉₂⊗𝑊

𝑚𝑊

−−−→ 𝜎O𝐺 ⊗𝑉₂⊗ O𝐺.

The map ˆ𝐺×𝐺ˆ → 𝐺 𝜎,ˆ (𝑔₁, 𝑔₂) ↦→ 𝜎(𝑔₁)⁻¹𝜎(𝑔₂)𝜎 induces a natural map 𝑑_𝜎 : 𝐸[𝐺 𝜎ˆ ] → 𝜎O𝐺 ⊗ O𝐺 which intertwines the 𝜎-twisted conjugation action on 𝐸[𝐺 𝜎ˆ ]and the diagonal action of ˆ𝐺on𝜎O𝐺⊗O𝐺. For any𝛼∈Hom_𝐺ˆ(𝑉₁,O𝐺⊗𝑉₂), denote by𝛼⁰the image of𝛼under the following map

Hom_𝐺ˆ(𝑉₁,O𝐺 ⊗𝑉₂) −−→^𝑑𝜎 Hom_𝐺ˆ(𝑉₁, 𝜎O𝐺 ⊗𝑉₂⊗ O𝐺). Direct computation yields the followings

(𝑚_𝑊 ◦a𝜎𝑊^∗) ◦a⁰=𝑑_𝜎(𝛼⁰):𝑉₁→ 𝜎O𝐺 ⊗𝑉₂⊗ O𝐺, and

id𝑉₂ ⊗𝑒_𝑊 =ev₍₁,1) ◦ (𝑚_𝑊 ◦𝑎_𝑊∗) :𝑉₂⊗𝑊 ⊗𝑊^∗ →𝑉₂,

where ev₍₁,1) denotes the evaluation at (1,1) ∈ 𝐺ˆ × 𝐺ˆ. In Lemma 11.2.2, let 𝑊₁ ⊗𝑊₂ := 𝑊 ⊗𝑊^∗, 𝑊⁰

1 ⊗𝑊⁰

2 := O𝐺 ⊗ O𝐺, 𝑓₁⊗ 𝑓₂ := 𝑚_𝑊 ◦𝑎_𝑊∗, b := a⁰, and b⁰:=ev₍₁,1). Then we have

C𝑊(a) =C (id𝑉₂ ⊗ 𝑒_𝑊) ◦DΓ^∗

𝐹⁻¹

(𝑉

2⊗𝑊)𝑊∗

◦ C (a⁰)

=C (ev₍₁,1)) ◦DΓ^∗

𝐹⁻¹

(𝑉

2⊗ O𝐺)O𝐺

◦ C (𝑑_𝜎(𝛼⁰)).

We see from the last equality in the above that C𝑊(a) depends only on 𝛼 and the

lemma is thus proved.

We claim that our construction of S𝑉₁,𝑉₂ is compatible with the composition of morphisms. More precisely, we have the following lemma.

Lemma 11.2.4. For any representations𝑉₁, 𝑉₂, 𝑉₃, let𝑆₁, 𝑆₂, 𝑆₃ ∈ Rep_Λ(𝐺ˆ_Λ) be projectiveΛ-modules, and we have the following commutative diagram

HomCoh^𝐺ˆ(𝐺 𝜎ˆ )(𝑉e₁,𝑉e₂) ⊗Hom

Coh^𝐺ˆ(𝐺 𝜎ˆ )(𝑉e₂,𝑉e₃) Hom

Coh^𝐺ˆ(𝐺 𝜎ˆ )(𝑉e₁,𝑉e₃) Hom_𝐺ˆ(𝜎 𝑆₁⊗𝑉₁⊗ 𝑆^∗

2, 𝑉₂) ⊗Hom_𝐺ˆ(𝜎 𝑆₂⊗𝑉₂⊗ 𝑆^∗

2, 𝑉₃) Hom_𝐺ˆ(𝜎 𝑆₂⊗𝜎 𝑆₁⊗𝑉₁⊗ 𝑆^∗

1⊗𝑆^∗

2, 𝑉₃) Corr_Shtloc(𝑆(𝑉e₁), 𝑆(𝑉e₂)) ⊗Corr_Shtloc(𝑆(𝑉e₂), 𝑆(𝑉e₃)) Corr_Shtloc(𝑆(𝑉e₁), 𝑆(𝑉e₃)).

𝜙

C𝑆 1⊗C𝑆

2

𝜙⁰

C𝑆 1⊗𝑆

2

𝜙⁰⁰

(11.13)

Here

• the unlabelled vertical arrows are given by the Peter-Weyl theorem

• 𝜙is the compositions of morphisms inCoh^𝐺ˆ(𝐺 𝜎ˆ )

• 𝜙⁰⁰ is the composition described in §10.2

• 𝜙⁰(a1⊗a2)is defined to be the homomorphism

𝜎 𝑆₂⊗𝜎 𝑆₁⊗𝑉₁⊗𝑆^∗

1⊗ 𝑆^∗

2

id𝜎 𝑆2⊗a₁⊗id𝑆∗

−−−−−−−−−−−→2 𝜎 𝑆₂⊗𝑉₂⊗ 𝑆^∗

2 a₂

−→𝑉₃. Proof. The lemma can be proved following the same idea in the proof of [XZ17,

Lemma 6.2.7].

We study the endomorphism ring of the unit object in P(Sht^loc_¯

𝑘

,Λ). This will be used to prove the "𝑆=𝑇" theorem for Shimura sets in §12.3.

Let 𝛿₁ denote the intersection cohomology sheaf IC₀ on Sht^loc(₀ ^𝑚,𝑛). The group theoretic description of the moduli of restricted local Shtukas (cf. [XZ17, §5.3.2]) implies that Sht^loc₀ ^(𝑚,𝑛) is perfectly smooth. Thus𝛿₁may be realized as

𝛿

𝑚,𝑛

1 := Λh(𝑚−𝑛)dim𝐺i ∈ P(Sht^{loc(𝑚,𝑛)}₀ ,Λ) for every𝑚 ≥ 𝑛. Fix a square root𝑞^1/2.

Corollary 11.2.5. (1) There is a natural isomorphism Corr_Shtloc(𝛿₁, 𝛿₁) ' H𝐺 ,𝐸

whereH𝐺 ,𝐸 denotes the Hecke algebra𝐶^∞

𝑐 (𝐺(O)\𝐺(𝐹)/𝐺(O), 𝐸). (2) We denote the map

S_O

[𝐺 𝜎ˆ /𝐺ˆ],O_{[𝐺 𝜎ˆ /𝐺ˆ]} : End

Coh^𝐺ˆ(𝐺 𝜎ˆ )(O_{[𝐺 𝜎ˆ /𝐺ˆ]}) →Corr_Shtloc(𝛿₁, 𝛿₁)

byS_Ofor simplicity. Under the isomorphism in(1), the mapS_O⊗id𝐸[𝑞^−1/2,𝑞^1/2]

coincides with the classical Satake isomorphism.

Proof. Recall the definition of the Borel-Moore homology H^BM𝑖 (𝑋) for a perfect pfp algebraic space which is defined over an algebraically closed field (cf. [XZ17, A.1.3]). Assume 𝑋₁and𝑋₂to be perfectly smooth algebraic spaces of pure dimen- sion. Let𝑋₁← 𝐶 → 𝑋₂be a correspondence. Then

Corr𝐶 (𝑋₁, 𝐸h𝑑₁i),(𝑋₂, 𝐸h𝑑₂i)

(11.14)

=Hom𝐷^𝑐

𝑏(𝐶 ,𝐸) 𝐸h𝑑₁i, 𝜔_𝐶h𝑑₂−2 dim𝑋₂

=H^BM_{2 dim𝑋}

2+𝑑₁−𝑑₂(𝐶).

Then if 2 dim𝐶 = 2 dim𝑋₂+ 𝑑₁ −𝑑₂, the cohomological correspondences from (𝑋₁, 𝐸h𝑑₁i)to(𝑋₂, 𝐸h𝑑₂i)can be identified as the set of irreducible components of 𝐶of maximal dimension.

For a perfect pfp algebraic space 𝑋 of dimension 𝑑, define 𝐼 to be the set of top- dimensional irreducible components of 𝑋. Then H^BM_𝑑 (𝐼) is the free 𝐸-module generated by the 𝑑-dimensional irreducible components of 𝑋, and thus can be identified with the space 𝐶(𝐼 , 𝐸) of 𝐸-valued functions on 𝐼. The map 𝑓 ↦→

Í

𝐶𝑖∈𝐼 𝑓(𝐶_𝑖) [𝐶_𝑖] establishes a bijection

𝐶(𝐼 , 𝐸) =H^BM_𝑑 (𝑋). (11.15) With the above preparations, we get an isomorphism

H𝐺 ,𝐸 'Corr_Shtloc(𝛿₁, 𝛿₁), (11.16) via a similar argument as for [XZ17, Proposition 5.4.4], and we finish the proof of (1).

To prove part (2), we first note that the statement holds for 𝐸 = Q^ℓ by [XZ17, Theorem 6.0.1(2)]. We sketch the proof here. Let 𝜇 be a central minuscule dominant coweight, and 𝜈 be a dominant coweight such that 𝜎(𝜈) = 𝜈. Choose (𝑚₁, 𝑛₁, 𝑚₂, 𝑛₂) to be(𝜈+𝜇, 𝜈)-acceptable. Takea∈ Hom_𝐺ˆ(𝑉_𝜈 ⊗𝑉_𝜇 ⊗𝑉_𝜈∗, 𝑉_𝜇)to be the map induced by the evaluation mape𝜈 :𝑉_𝜈⊗𝑉_𝜈∗ →1. Consider the following diagram

pt 𝐺 𝑟_≤𝜈∗ ^Δ 𝐺 𝑟_≤𝜈∗ ×𝐺 𝑟_≤𝜈∗ ^𝜎×id 𝐺 𝑟_𝜇∗×𝐺 𝑟_≤𝜇∗ ^Δ 𝐺 𝑟_≤𝜈∗ pt. Recall the cohomological correspondences𝛿_Ic𝜈∗and𝑒_Ic𝜈∗defined in [XZ17, §A.2.3.4].

Then C^{loc(𝑚1,𝑛1)}

𝑉𝜈

(a) = 𝛿_IC𝜈∗ ◦Γ_𝜎×id^∗ ◦𝑒_Ic𝜈∗ ∈ H^BM₀ (𝐺 𝑟_𝜈∗(𝑘)), and the cohomologi- cal correspondenceC^{loc(𝑚1,𝑛1)}

𝑉𝜈

(a) can be identified with the function 𝑓 on𝐺 𝑟_𝜈∗(𝑘)

whose value at 𝑥 ∈𝐺 𝑟_𝜈∗(𝑘) is given by tr(𝜙_𝑥 | Sat(𝑉_𝜈∗)𝑥_¯). Then up to a choice of 𝑞^1/2, the map 𝑆_O,O ⊗_Qℓ id_Qℓ[𝑞1/2,𝑞^−1/2] coincides with the classical Satake isomor- phism.

Now we come back to the case 𝐸 = Z^ℓ. Write 𝑄 for Q^ℓ[𝑞^1/2, 𝑞^−1/2]. The above argument shows that

S_O ⊗𝑄 : End

Coh^𝐺ˆ(𝐺 𝜎)ˆ (O_{[𝐺 𝜎/ˆ 𝐺]ˆ} ) ⊗_Z

ℓ

𝑄→ Corr_Shtloc(𝛿₁, 𝛿₁) ⊗_Z

ℓ

𝑄

coincide with the classical Satake isomorphism. Note that EndCoh^𝐺ˆ(𝐺 𝜎)ˆ (O_{[𝐺 𝜎/ˆ ˆ}

𝐺]) ⊗_Zℓ 𝑄 'Z^ℓ[𝐺ˆ]^𝐺ˆ ⊗_Zℓ 𝑄 ,

where ˆ𝐺 acts on ˆ𝐺 by the𝜎-twisted conjugation. Considering the Satake transfer of the image ofZ^ℓ-basis of Z^ℓ[𝐺ˆ]^(𝐺ˆ) inZ^ℓ[𝐺ˆ]^(𝐺ˆ) ⊗_Zℓ𝑄, we conclude the proof of

(2).

C h a p t e r 12

COHOMOLOGICAL CORRESPONDENCES BETWEEN SHIMURA VARIETIES

In this section, we adapt the machinery developed in previous sections and apply it to the study of the cohomological correspondences between different Hodge type Shimura varieties following the idea of [XZ17].

12.1 Preliminaries

Let (𝐺 , 𝑋) be a Shimura datum and 𝐸 be its reflex field (cf. [Mil05]). Let 𝐾 ⊂ 𝐺(A^𝑓) be a (sufficiently small) open compact subgroup and denote by Sh𝐾(𝐺 , 𝑋) the corresponding Shimura variety defined over𝐸. Fix a prime 𝑝 >2 such that𝐾_𝑝 is a hyperspecial subgroup of𝐺(Q^𝑝). We write 𝐺 for the reductive group which extends 𝐺 to Z(𝑝) and such that𝐺(Z^𝑝) = 𝐾_𝑝. Choose 𝜈 to be a place of 𝐸 lying over 𝑝. We write O_{𝐸 ,(𝜈)} for the localization of O𝐸 at 𝜈. Results of Kisin [Kis10]

and Vasiu [Vas07] state that for any Hodge type Shimura datum (𝐺 , 𝑋), there is a smooth integral canonical modelS𝐾(𝐺 , 𝑋) of Sh𝐾(𝐺 , 𝑋), which is defined over O_{𝐸 ,(𝜈)}. Let 𝑘_𝜈 denote the residue field ofO𝐸 ,𝜈 and fix an algebraic closure ¯𝑘_𝜈 of 𝑘_𝜈. We denote by Sh𝜇,𝐾 :=(S𝐾(𝐺 , 𝑋) ⊗𝑘_𝜈)^pfthe perfection of the special fiber of S𝐾(𝐺 , 𝑋). The perfection of mod 𝑝fibre of Shimura varieties and moduli of local Shtukas are related by a map loc𝑝 : Sh𝜇,𝐾 → Sht^loc𝜇 . The construction of loc𝑝is via a𝐺-torsor over the crystalline cite (S𝐾 , 𝑘𝜈/O𝐸 ,𝜈)_CRISand we refer to [XZ17, §7.2.1]

for a detailed discussion. In the Siegel case, it may be understood as the perfection of the morphism sending an abelian variety to its underlying 𝑝-divisible group. We need the following result of Xiao-Zhu [XZ17, Proposition 7.2.4] for our proof of the main theorem.

Proposition 12.1.1. Let(𝑚, 𝑛) be a pair of𝜇-large integers. The morphism loc𝑝(𝑚, 𝑛) :=res𝑚,𝑛◦loc𝑝 : Sh𝜇 →Sht^loc(𝜇 ^𝑚,𝑛)

is perfectly smooth.

Étale Local Systems onSh𝜇,𝐾

Let ℓ ≠ 𝑝 be a prime number. Assume that 𝜌 : 𝐺 → 𝐺 𝐿

Q^ℓ(𝑊) is a Q^ℓ- representation of 𝐺. If 𝐾 ⊂ 𝐺(A^𝑓) is sufficiently small, we associate an étale