2. Moduli spaces of parahoric shtukas

We introduce some standard notation for shtukas, first developing our maps in the context of a smooth affine group scheme over a curve, then specializing to Néron blow-ups of reductive groups to show how these maps allow us to produce perverse sheaves on our stacks of shtukas [Reference Mayeux, Richarz and RomagnyMRR20]. We fix a base field $\mathbb {F}_q$ and a smooth connected projective curve $C$ over that base field. For $G$ be a smooth affine group scheme over a curve, we can form the stack $\operatorname {\mathrm {Bun}}_G$ of $G$-torsors. We also define the Hecke stack and the Beilinson–Drinfeld Grassmannian.

We also need to use certain moduli stacks of iterated affine Grassmannians.

By sending $\tau _1$ and $\tau _2$ to their composition, we get a map $c \colon \operatorname {\mathrm {Gr}}_{I_1 \cup I_2}^{(I_1, I_2)} \to \operatorname {\mathrm {Gr}}_{I_1 \cup I_2}$ that is proper. Moreover, $\operatorname {\mathrm {Gr}}_{I_1 \cup I_2}^{(I_1, I_2)}$ is $\operatorname {\mathrm {Gr}}_{I_1} \times \operatorname {\mathrm {Gr}}_{I_2}$ locally in the étale topology.

Moreover, we can consider the moduli stack of global $G$-shtukas, which we denote by $\operatorname {\mathrm {Cht}}_{G, I}$.

Definition 2.4 The moduli stack of global $G$-shtukas, $\operatorname {\mathrm {Cht}}_{G, I}$, is defined by the following pullback square.

(2.1)

Let us explain what the arrows are. The lower arrow is the graph of Frobenius pullback that on $S$-points sends a bundle $\mathcal {E}$ on $C \times S$ to $(\mathcal {E}, (1 \times \operatorname {\mathrm {Frob}}_S)^* \mathcal {E})$ as a pair of $G$-bundles on $C \times S$. The vertical arrow is the forgetful map that on $S$-points sends a tuple $((x_i)_{i \in I}, \mathcal {E}_1, \mathcal {E}_2, \tau )$ to $(\mathcal {E}_1, \mathcal {E}_2)$.

We adopt the convention of denoting $(1 \times \operatorname {\mathrm {Frob}}_S)^*\mathcal {E}$ as ${}^{\tau } \mathcal {E}$.

Let us now be more specific about the sorts of smooth affine group schemes that we are talking about. We consider groups $G$ over our curve $C$ which have generic fiber a quasi-split reductive group $G_K$. Following Lafforgue [Reference LafforgueLaf18, § 12], there is an open $U \subset C$ such that $G_K$ extends to a smooth affine group scheme over $C$ that is a reductive group scheme over $U$ with parahoric reduction at $C \setminus U$. Let $R$ be the complement $C \setminus U$.

Next, we can modify the group by dilatation. Let $N$ be an effective divisor, not necessarily reduced, and let $H \subset G|_N$ be a closed, smooth group subscheme of the restriction of $G$ to the divisor $N$. The construction of [Reference Mayeux, Richarz and RomagnyMRR20] produces a smooth group scheme $G$ over $C$ by dilatation such that $\operatorname {\mathrm {Cht}}_{G}$ is an integral model of shtukas for the quasi-split group with level structure according to $H$ along the divisor $N$. Let us fix some divisor $N$ and let $\widehat {U}$ be $U \setminus N$ so that the complement of $\widehat {U}$ is $\widehat {N} := N \cup R$. Let $P$ be the subset of $\widehat {N}$ where the dilatated group $G$ has parahoric reduction.

After dilatation, we have produced a smooth affine group scheme $G$ such that $G(\mathbb {A})$ is the adeles of our quasi-split group, which contains an open subgroup $G(\mathbb {O})$ corresponding to the level structures $H$ along $N$. Let $Z$ be the center of $G$. To make our moduli spaces of shtukas finite type, we need to quotient by the action of a discrete group $\Xi$, which is a fixed lattice in $Z(\mathbb {A})$ such that $\Xi \cap Z(\mathbb {O}) Z(F) = \{ 1 \}$. This acts on $\operatorname {\mathrm {Cht}}_G$ such that the quotient $\operatorname {\mathrm {Cht}}_G / \Xi$ has finitely many components. Moreover, this action can be made compatible with Harder–Narasimhan truncation, and after truncation, the stacks $\operatorname {\mathrm {Cht}}_{G, I, W}^{\le \mu } / \Xi$ are of finite type.

We now want to construct sheaves over these finite-type stacks. We can consider a global version of the positive loop group that we write $G_{I, \infty }$, living over $C^I$. There is an important map $\epsilon _G \colon \operatorname {\mathrm {Cht}}_{G, I} \to [G_{I, \infty } \backslash \operatorname {\mathrm {Gr}}_{G, I}]$. This follows as a straightforward generalization of [Reference XueXue20a, Definition 1.1.13].

Definition 2.5 For a divisor $D$, we can view the divisor as a subscheme (with non-reduced structure around points with multiplicity) and pull back the trivial $G$-bundle to $D$. We let $G_{I, d}$ classify tuples $((x_i)_{i \in I}, g)$ where $x_i \in C(S)$ gives a tuple of points and $g$ gives an automorphism of the trivial bundle on the graph of $\sum \, dx_i$.

Let $G_{I, \infty } = \varprojlim _d G_{I, d}$. We have a map

(2.2)\begin{equation} \epsilon_G \colon \operatorname{\mathrm{Cht}}_{G, I} \to [G_{I, \infty} \backslash \operatorname{\mathrm{Gr}}_{G, I}] \end{equation}

defined by starting with the isomorphism

(2.3)\begin{equation} \tau \colon \mathcal{E}|_{C \setminus \bigcup_i \Gamma_{x_i}} \to {}^{\tau} \mathcal{E}|_{C \setminus \bigcup_i \Gamma_{x_i}}, \end{equation}

restricting it around formal neighborhoods of $(x_i)_{i \in I}$, and forgetting the relationship of ${}^{\tau } \mathcal {E}$ and $\mathcal {E}$. As every $G$-bundle restricted to formal discs is trivial, $[G_{I, \infty } \backslash \operatorname {\mathrm {Gr}}_{G, I}]$ classifies tuples $((x_i)_{i \in I}, \mathcal {E}, \mathcal {F}, \tau )$ where $\mathcal {E}$ and $\mathcal {F}$ are $G_{I, \infty }$-torsors around the points $(x_i)$ and $\tau$ is an isomorphism along the punctured formal disks around $(x_i)$.

Given a lattice $\Xi$ in $Z(F) \backslash Z(\mathbb {A})$ as above, $\epsilon _G$ can be made $\Xi$-equivariant and yields a map [Reference XueXue20a, Equation (1.7)]

(2.4)\begin{equation} \epsilon_G^{\Xi} \colon \operatorname{\mathrm{Cht}}_{G, I} / \Xi \to [G^{ad}_{I, \infty} \backslash \operatorname{\mathrm{Gr}}_{G, I} ]. \end{equation}

We view $\operatorname {\mathrm {Cht}}_{G, I} / \Xi$ and all of its substacks as living over $X^I$ with respect to a structure map $\mathfrak {p}$. We note that the map $\mathfrak {p}$ often fails to be proper.

Geometric Satake for ramified groups gives a functor

(2.5)\begin{equation} \operatorname{\mathrm{Rep}}({}^{L}G^I) \to \operatorname{\mathrm{Perv}}_{G_{I, \infty}}(\operatorname{\mathrm{Gr}}_{G, I}|_{\widehat{U}^I}), \end{equation}

and we denote the sheaves produced by $\mathcal {S}_{I, W}$. If $I_1 \cup I_2 = I$ and $W = V_1 \boxtimes V_2$, then $\mathcal {S}_{I,W} \cong c_! \mathcal {S}_{I_1, V_1} \tilde {\boxtimes } \mathcal {S}_{I_2, V_2}$, where $c$ is the convolution map. Here, $\mathcal {S}_{I_1, V_1} \tilde {\boxtimes } \mathcal {S}_{I_2, V_2}$ is equivalent in the étale topology to the sheaf $\mathcal {S}_{I_1, V_1} \boxtimes \mathcal {S}_{I_2, V_2}$ on $\operatorname {\mathrm {Gr}}_{G,I_1} \times \operatorname {\mathrm {Gr}}_{G,I_2}$: under an étale correspondence relating the iterated affine Grassmannian with the product, the pullbacks of both sheaves are the same.

We can pull back the equivariant sheaves $\mathcal {S}_{I,W}$ along the map $\epsilon ^{\Xi }_G$ to sheaves on $\operatorname {\mathrm {Cht}}_{G, I}|_{U^I}$. The details of the pullback and compatibility with $\Xi$ are explained in more detail in [Reference XueXue20a, Definition 2.4.7]. We denote these sheaves by $\mathscr {F}_{I, W}$ and define the closed substacks $\operatorname {\mathrm {Cht}}_{G, \Xi, I, W}$ as the supports of these sheaves. Similarly, we denote the supports of the sheaves $\mathcal {S}_{I, W}$ by $\operatorname {\mathrm {Gr}}_{G, I, W}$.

We now recall the local models theorem, which is [Reference Rad and HabibiRH19, Theorem 3.2.1]. We state for the stacks $\operatorname {\mathrm {Cht}}_{G, \Xi, I, W}$ and $\operatorname {\mathrm {Gr}}_{G, I, W}$, as the stratification by $W$ forms a bound in the sense of [Reference Rad and HabibiRH19, Definition 3.1.3].

Theorem 2.7 For every geometric point $y$ of $\operatorname {\mathrm {Cht}}_{G, I, W}$ there is an étale neighborhood $U_y$ such that

(2.6)

is a diagram with both arrows étale.

The sheaves $\mathcal {S}_{I, W}$ and $\mathscr {F}_{I, W}$ have well-known fusion properties. In [Reference LafforgueLaf18], Lafforgue constructed the automorphic to Galois direction of the global Langlands correspondence by using the fusion and partial Frobenius structure in the moduli stack of shtukas. Recently, Xue proved that the sheaves $R\mathfrak {p}_! \mathscr {F}_{I, W}$ form an ind-local system, and not just an ind-constructible sheaf, on $U^I$. Our main result extends these ideas to describe how the local Galois groups act at points $p \in C \setminus U$ when $G$ has parahoric reduction at $p$. To do this, we use nearby cycles along the base curves in various directions $i \in I$. Our notational convention is to suppress the fact that $\Psi _i = R\Psi _i$ is a derived functor and also suppress similar notation for tensor products $\otimes = \otimes ^L$.

3. Excursion operators on nearby cycles

Let $\operatorname {\mathrm {FinS}}$ be the category of finite sets with set maps as morphisms. There are certain functors between categories cofibered over $\operatorname {\mathrm {FinS}}$ that play an important role in the theory of shtukas. On a formal level, these categories are essential for running parts of Lafforgue's strategy to construct excursion operators, as we show.

By sending $I$ to $C^I$, we get a contravariant functor $C^{\bullet }$ from sets to schemes. For a group $\widehat {G}$ instead of $C$, we get a contravariant functor $\widehat {G}^{\bullet }$ from $\operatorname {\mathrm {FinS}}$ to algebraic groups.

Geometric Satake produces a full subcategory of $\operatorname {\mathrm {Perv}}_{G_{\infty, \bullet }}(\operatorname {\mathrm {Gr}}_{G, \bullet }|_{C \setminus \widehat {N}})$ that is equivalent to $\operatorname {\mathrm {Rep}}(\widehat {G}^{\bullet })$ as a category cofibered over $\operatorname {\mathrm {FinS}}$. The essential image consists of the sheaves $\mathcal {S}_{I, W}$ ranging over finite sets $I$ and $W \in \operatorname {\mathrm {Rep}}(\widehat {G}^I)$. Let us briefly discuss a technical point about shifts, which is that it is our convention that the sheaf $\mathcal {S}_{I, W}[-|I|]$ (and not $\mathcal {S}_{I, W}$ itself) lives in the heart of the perverse $t$-structure in order to ensure that the cocartesian property holds without shift (this is consistent with the convention in [Reference LafforgueLaf14], for example). This fact is the reason why we do not add shifts in our definition of unipotent nearby cycles because we are not actually interested in giving a t-exact functor with respect to the perverse t-structure, but only one up to a shift.

Pulling back under $\epsilon ^{\le \mu, \Xi }_G$ produces sheaves $\mathscr {F}_{I, W}$ on $\operatorname {\mathrm {Cht}}^{\le \mu }_{G,I}|_{(X \setminus \widehat {N})^I} / \Xi$ as above, compatible under specialization to diagonals and thus a full subcategory of perverse sheaves on $\operatorname {\mathrm {Cht}}^{\le \mu }_{G, \bullet }|_{(C \setminus \widehat {N})^{\bullet }} / \Xi$ cofibered over $\operatorname {\mathrm {FinS}}$ generated by the sheaves $\mathscr {F}_{I, W}$. Taking the proper pushfoward $R\mathfrak {p}_! \mathscr {F}_{I, W}$ gives a cocartesian functor

\[ \mathcal{H}^{\le \mu}_{\bullet} \colon \operatorname{\mathrm{Rep}}(\widehat{G}^{\bullet}) \to D^b_c((C \setminus \widehat{N})^{\bullet}) \]

between categories cofibered over $\operatorname {\mathrm {FinS}}$. This description includes both the functoriality of $\mathcal {H}$ in the representation $W$ and also the fusion morphisms, which, by the fact that $\mathcal {H}^{\le \mu }$ is cocartesian, must be isomorphisms

\begin{align*} \mathcal{H}^{\le \mu}_{J, W^{\zeta}} \cong \Delta_{\zeta}^* \mathcal{H}^{\le \mu}_{I, W}. \end{align*}

We also note that in addition to this structure described above we have commuting partial Frobenius maps $H^{\le \mu }_{I, W} \to H^{\le \mu + \kappa }_{I, W}$. It is to such a context that we want to abstract the formation of excursion operators, the Eichler–Shimura relation [Reference LafforgueLaf18, § 7], and the smoothness results of [Reference XueXue20c, § 1]. Ultimately, we will apply our results to sheaves of the form

\[ Rp_! \Psi_{j_1} \cdots \Psi_{j_n} \mathscr{F}_{I \cup J, W \boxtimes V} \]

for $J = \{ j_1, \ldots, j_n \}$.

Let $\mu$ take values in a commutative monoid $S$ with order such that $0$ is minimal and it is a directed poset. In the cases we consider, $\mu$ takes values in dominant coroots and corresponds to the Harder–Narasimhan filtration.

In the cases we consider, $\mathcal {C}_2$ is $D^b_c(X^{\bullet })$, $S$ is the monoid of dominant coroots of our reductive group $G$, and we suppress the dependence on dominant coroots. For such filtered collections of functors $\mathscr {G}^{\le \mu }$, $\varinjlim _{\mu \in S} \mathscr {G}^{\le \mu }$ will a functor from $\mathcal {C}_1$ to $\mathrm {Ind}(\mathcal {C}_2)$. As the limiting cohomology sheaves as $\mu$ gets arbitrarily large are only ind-constructible sheaves, we need a tool to get control over these limits so we can treat them as if they were constructible. Such control is given by the Eichler–Shimura relation.

Definition 3.4 Let $\mathcal {G}^{\le \mu }$ be a filtered collection of cocartesian functors from $\operatorname {\mathrm {Rep}}(\widehat {G}^{\bullet }) \to D^b_c(X^{\bullet })$ cofibered over $\operatorname {\mathrm {FinS}}$, and let $v$ be a closed point of $X$. We say that $\mathcal {G}^{\le \mu }$ is filtered with respect to partial Frobenius maps $F_{\bullet }$ if for $\kappa$ sufficiently large only depending on the isomorphism class of $\bigoplus \bigotimes _i W_i \in \operatorname {\mathrm {Rep}}(\widehat {G})$ we have maps of sheaves

(3.1)\begin{equation} F_{I_0} \colon \operatorname{\mathrm{Frob}}_{I_0}^{*} \mathcal{G}^{\le \mu}_{I, W} \to \mathcal{G}^{\le \mu + \kappa}_{I, W} \end{equation}

that are natural transformations that commute with each other for $i \in I$ and such that $F_{I_0}$ together with the canonical map

(3.2)\begin{equation} \mathcal{G}^{\le \mu + \kappa}_{I, W} \to \mathcal{G}^{\le \mu + |I_0|\kappa}_{I, W} \end{equation}

is $\prod _{i \in I_0} F_{\{ i \}}$. In particular, they should be compatible with the fusion isomorphisms. We denote $F_{I_0} = \prod _{i \in I_0} F_{\{ i \}}$. If $\zeta \colon I \to J$, and $J_0 \subset J$ such that $I_0 = \zeta ^{-1}(J_0)$, we want to demand that

(3.3)

Finally, we demand that in the case $|I|=1$, that $F_I$ factors as the composition of the action of Frobenius

(3.4)\begin{align} \operatorname{\mathrm{Frob}}^{*} \mathcal{G}^{\le \mu}_{I, W} \to \mathcal{G}^{\le \mu}_{I, W} \end{align}

and the canonical map

(3.5)\begin{align} \mathcal{G}^{\le \mu}_{I, W} \to \mathcal{G}^{\le \mu + \kappa}_{I, W}. \end{align}

Now suppose the base $X$ is a dense open subset of a smooth projective curve $C$. We note that passing to the limit $\varinjlim \mathcal {G}^{\le \mu }$ and taking the stalk at a geometric generic point, our assumptions show that the maps $F_{i}^n$ give rise to an action of

\[ F\operatorname{\mathrm{Weil}}(\eta_I, \overline{\eta_I}) \]

which is an extension of the kernel of $\operatorname {\mathrm {Gal}}(\overline {F_I} / F_I) \to \widehat {\mathbb {Z}}$ by $\mathbb {Z}^I$ (see [Reference LafforgueLaf18, Remarque 8.18]). By Drinfeld's lemma, modules finitely generated under the action of some algebra commuting with partial Frobenius factor through $\operatorname {\mathrm {Weil}}(\eta, \overline {\eta })^I$. We would like to show that this factorization occurs over the whole $\varinjlim \mathcal {G}^{\le \mu }$. This is the main result of the section, and the proof consists of applying the proof of [Reference XueXue20c, Proposition 1.4.3]. We note that everything in the proof goes through as long as we have an analogue of the Eichler–Shimura relation. The majority of the remaining section is devoted to establishing this result.

For this to be a useful definition, we need an example of such a collection other than the proper pushforward $\mathcal {H}^{\le \mu }_{I, W}$ used by Lafforgue.

Proposition 3.5 As always, let $G$ be a smooth group scheme whose generic fiber is reductive, and let $p \in C$ be a closed point of parahoric reduction. Consider the sheaves $\mathscr {F}^{\le \mu }_{I \cup K, W \boxtimes V}$ on $\operatorname {\mathrm {Cht}}^{\le \mu }_{G, \Xi, I \cup K, W \boxtimes V} |_{(C \setminus \widehat {N})^I}$ as constructed above. Let $K = \{ k_1, \ldots, k_n \}$ and consider iterated nearby cycles $\Psi _{k_1} \cdots \Psi _{k_n} \mathscr {F}^{\le \mu }_{I \cup K, W \boxtimes V}$, taking the nearby cycle $\Psi _{k_i}$ with respect to the coordinate $k_i \in K$ along $(C \setminus \widehat {N})^{I \cup K}$ with special point a geometric point above $p$.

Consider the functors $\operatorname {\mathrm {Rep}}(\widehat {G}^{\bullet }) \to D^b_c((C \setminus \widehat {N})^{\bullet })$ defined by

\[ R\mathfrak{p}_! \Psi_{k_1} \cdots \Psi_{k_n} \mathscr{F}^{\le \mu}_{I \cup K, W \boxtimes V}. \]

These functors are cocartesian functors between categories cofibered over $\operatorname {\mathrm {FinS}}$ and are filtered with respect to partial Frobenius maps $F_{\{i\}}$ for $i \in I$.

Proof. The functoriality with respect to maps $(I, W) \to (I, V)$ for $W \to V$ a morphism in the categories $\operatorname {\mathrm {Rep}}(\widehat {G}^I)$ living above the identity $1_I$ follows immediately from the functoriality of $\mathscr {F}^{\le \mu }$, nearby cycles, and proper pushforward. Thus, to prove that our functor exists and is cocartesian, it suffices to check the fusion property, namely that for $\zeta \colon I \to J$, the cocartesian morphisms $(I, W) \to (J, W^{\zeta })$ are sent to cocartesian morphisms

\[ \Delta_{\zeta}^* R\mathfrak{p}_! \Psi_{k_1} \cdots \Psi_{k_n} \mathscr{F}^{\le \mu}_{I \cup K, W \boxtimes V} \cong R\mathfrak{p}_! \Psi_{k_1} \cdots \Psi_{k_n} \mathscr{F}^{\le \mu}_{J \cup K, W^{\zeta} \boxtimes V}. \]

Note that we always have a canonical map going in one direction

\[ \Delta_{\zeta}^* R\mathfrak{p}_! \Psi_{k_1} \cdots \Psi_{k_n} \mathscr{F}^{\le \mu}_{I \cup K, W \boxtimes V} \to R\mathfrak{p}_! \Psi_{k_1} \cdots \Psi_{k_n} \Delta_{\zeta}^* \mathscr{F}^{\le \mu}_{I \cup K, W \boxtimes V} \cong R\mathfrak{p}_! \Psi_{k_1} \cdots \Psi_{k_n} \mathscr{F}^{\le \mu}_{J \cup K, W^{\zeta} \boxtimes V} \]

by proper base change. By the local models theorem, it suffices to construct the corresponding isomorphisms on the affine Grassmannian,

(3.6)\begin{equation} \Delta_{\zeta}^* \Psi_{k_1} \cdots \Psi_{k_n} \mathcal{S}_{I \cup K, W \boxtimes V} \cong \Psi_{k_1} \cdots \Psi_{k_n} \mathcal{S}_{J \cup K, W^{\zeta} \boxtimes V}. \end{equation}

By writing $\mathcal {S}_{I \cup K, W \boxtimes V} \cong c_! \mathcal {S}_{I, W} \tilde {\boxtimes } \mathcal {S}_{K, V}$, where $c$ is the convolution map, and applying proper base change and the étale local model property of the iterated affine Grassmannian, we can reduce to the external product case, where we need to show that

\[ \Delta_{\zeta}^* \mathcal{S}_{I, W} \boxtimes \Psi_{k_1} \cdots \Psi_{k_n} \mathcal{S}_{K, V} \cong \mathcal{S}_{J, W^{\zeta}} \boxtimes \Psi_{k_1} \cdots \Psi_{k_n} \mathcal{S}_{K, V} \]

as sheaves on $\operatorname {\mathrm {Gr}}_{G, J} \times \mathrm {Fl}_p$. This follows by the fusion property on the Beilinson–Drinfeld Grassmannian.

Now we want to show that

\[ R\mathfrak{p}_! \Psi_{k_1} \cdots \Psi_{k_n} \mathscr{F}^{\le \mu}_{I \cup K, W \boxtimes V} \]

are filtered by partial Frobenius. This results from the fact that partial Frobenius maps exist in our setting, and they are local homeomorphisms. Therefore, they commute with nearby cycles. Thus, we get an isomorphism

(3.7)\begin{equation} \bigl( \mathrm{Fr}_{I_1}^{(I_1, \ldots, I_n, K)} \bigr)^* \bigl( \Psi_{k_1} \cdots \Psi_{k_n} \mathscr{F}^{\le \mu + \kappa}_{I \cup K, J \boxtimes W} \bigr) \cong \Psi_{k_1} \cdots \Psi_{k_n} \mathscr{F}^{\le \mu}_{I \cup K, J \boxtimes W}. \end{equation}

Now, using the above isomorphism, the same cohomological correspondence as in [Reference LafforgueLaf18, § 4.3] shows that the sheaves in our setting are filtered by partial Frobenius.

The application of the above proposition will be to show that these sheaves satisfy an analogue of the Eichler–Shimura relations, which, in turn, will be used to prove a smoothness property their cohomology sheaves are smooth via a Drinfeld lemma argument.

Definition 3.6 (Generalized $S$-excursion operators)

Let $\mathcal {G}^{\le \mu }$ be a collection of cocartesian functors from $\operatorname {\mathrm {Rep}}(\widehat {G}^{\bullet }) \to D^b_c(X^{\bullet })$ cofibered over $\operatorname {\mathrm {FinS}}$ and filtered with respect to partial Frobenius $F_{\bullet }$. Let $v$ be a closed point of $X$. We define the $S$-excursion operator as the composition of creation, $F$ on a created leg, and annihilation:

\begin{align*} \mathcal{G}^{\le \mu}_{I, W} &\cong \mathcal{G}^{\le \mu}_{I \cup \{ 0 \}, W \boxtimes 1}|_{X^I \times v}\\ &\to \mathcal{G}^{\le \mu}_{I \cup \{ 0 \}, W \boxtimes (V \otimes V^*)}|_{X^I \times v} \\ &\cong \mathcal{G}^{\le \mu}_{I \cup \{ 1,2 \}, W \boxtimes V \boxtimes V^*}|_{X^I \times v \times v} \\ &\to_{F_1} \mathcal{G}^{\le \mu+\kappa}_{I \cup \{ 1,2 \}, W \boxtimes V \boxtimes V^*}|_{X^I \times v \times v} \\ &\cong \mathcal{G}^{\le \mu+\kappa}_{I \cup \{ 0 \}, W \boxtimes (V \otimes V^*)}|_{X^I \times v} \\ &\to \mathcal{G}^{\le \mu+\kappa}_{I \cup \{ 0 \}, W \boxtimes 1}|_{X^I \times v} \\ &\cong \mathcal{G}^{\le \mu+\kappa}_{I, W}, \end{align*}

where $\to _{F_1}$ denotes the action of the operator $F_{1}$ along the leg $1$. We thus write $S_{V, v}$ for this operator, suppressing the dependence on $\mu$, $I$, and $W$.

Theorem 3.7 (Eichler–Shimura)

Let $\mathcal {G}^{\le \mu }$ be a collection of cocartesian functors from $\operatorname {\mathrm {Rep}}(\widehat {G}^{\bullet }) \to D^b_c(X^{\bullet })$ cofibered over $\operatorname {\mathrm {FinS}}$ and filtered with respect to partial Frobenius maps $F_{\bullet }$. Then,

(3.8)\begin{equation} \sum_{i=0}^{\dim V} (-1)^i F_0^{\deg(v) i} \circ S_{\wedge^{\dim V - i} V, v} = 0 \end{equation}

as a map from $\mathcal {G}^{\le \mu }_{I \cup \{ 0 \}, W \boxtimes V}|_{X^I \times v} \to \mathcal {G}^{\le \mu + \kappa }_{I \cup \{ 0 \}, W \boxtimes V}|_{X^I \times v}$ for sufficiently large $\kappa$ depending on $V$ but not $\mu$.

This proof is essentially contained in [Reference LafforgueLaf18, § 7] and the proof we give here involves essentially no new ideas. For the reader's convenience, we review the argument almost verbatim from [Reference LafforgueLaf18]. As a warm-up, we review Lafforgue's point of view on the Cayley–Hamilton theorem.

Before proceeding to the proof, we first make some definitions. In what follows, let $J$ be a finite set and $V$ a finite-dimensional vector space over $E$. For a finite set $I$, let $V^{\otimes I}$ be the tensor power $V \otimes \cdots \otimes V$. If $T \in \mathrm {End}(V)$ and $U \in \mathrm {End}(V^{\otimes \{ 0 \} \cup J})$.

We denote by $\delta _V$ the creation map $1 \to V \otimes V^*$ and $\operatorname {\mathrm {ev}}_V$ the annihilation $V \otimes V^* \to 1$. We define $\mathfrak {C}_J(T, U)$ as the composition

(3.9)

At the end we are left with $\mathfrak {C}_J(T, U)$ as an endomorphism of $V$. In the argument $U$, $\mathfrak {C}_J$ is linear.

We apply this in the specific case that the endomorphism $U$ is the antisymmetrizer. Recall that if $S_I$ denotes the group of permutations of $I$, and $s(\sigma )$ is the sign of a permutation $\sigma \in S_I$, then the antisymmetrizer $\mathcal {A}_I$ is

\[ \mathcal{A}_I = \frac{1}{|I|!} \sum_{\sigma \in S_{I}} s(\sigma) \sigma. \]

The antisymmetrizer naturally lives in the group algebra $\mathbb {Q}[S_I]$ which acts naturally on $V^{\otimes I}$ for $V$ a vector space. We also refer to the antisymmetrizer $\mathcal {A}_I$ as the image of this element under the map to $\mathrm {End}(V^{\otimes I})$.

Lafforgue shows that

\[ \mathfrak{C}_J(T, \mathcal{A}_{\{ 0 \} \cup J}) = \frac{1}{n+1} \sum_{i=0}^{|J|} (-1)^i \mathrm{Tr}(\wedge^{n-i} V) T^i \]

which can be thought of as a generalization of the Cayley–Hamilton theorem, as the antisymmetrizer is the endomorphism $0$ if $|J| = \dim V$.

The Cayley–Hamilton theorem is a special case of the Eichler–Shimura relation for the functor $\operatorname {\mathrm {Rep}}(\mathbb {N}^{\bullet }) \to D^b_c(X^{\bullet })$ defined by the rule that it sends a tuple of vector spaces $(\{1,\ldots,n\}, (W_1, \ldots, W_n))$ to the constant sheaf over $X^n$ which is an external tensor product $W_1 \boxtimes \cdots \boxtimes W_n$. Here, partial Frobenius acts trivially as the sheaves are constant, and linear maps $T$ can be represented by the endomorphism $1 \in \mathbb {N}$ in each coordinate. Under these identifications, the excursion operator becomes related to the trace. Moreover, the method of proof of the Cayley–Hamilton theorem above will generalize to the general case. The key subtleties are that we use the fusion isomorphisms to connect each of the lines in (3.9).

In what follows that the fact that $\mathcal {G}^{\le \mu }$ is cofibered over $\operatorname {\mathrm {FinS}}$ implies that we have fusion isomorphisms

(3.10)\begin{equation} \mathrm{fus}_{\zeta} \colon \Delta_{\zeta}^* \mathcal{G}^{\le \mu}_{I, W} \to \mathcal{G}^{\le \mu}_{J, W^{\zeta}} \end{equation}

with a natural compatibility with $F_{\bullet }$.

The functoriality of $\mathcal {G}^{\le \mu }$ induces creation maps $\mathscr {C}^{\sharp }_V$ and annihilation maps $\mathscr {C}^{\flat }_V$ as

(3.11)\begin{gather} \mathscr{C}^{\sharp}_V \colon \mathcal{G}^{\le \mu}_{I \cup \{ 0 \}, W \boxtimes W'} \to \mathcal{G}^{\le \mu}_{I \cup \{ 0 \}, W \boxtimes (W' \times V \times V^*)} \end{gather}

(3.12)\begin{gather} \mathscr{C}^{\flat}_V \colon \mathcal{G}^{\le \mu}_{I \cup \{ 0 \}, W \boxtimes (W' \times V \times V^*)} \to \mathcal{G}^{\le \mu}_{I \cup \{ 0 \}, W \boxtimes W'} \end{gather}

of sheaves over $X^{I \cup \{ 0 \}}$. For a morphism $u \colon V \to W$ in $\operatorname {\mathrm {Rep}}(\widehat {G}^I)$, we denote by

(3.13)\begin{equation} \mathcal{G}^{\le \mu}(u) \colon \mathcal{G}^{\le \mu}_{I, V} \to \mathcal{G}^{\le \mu}_{I, W} \end{equation}

the morphism induced by functoriality. We have now defined the basic ingredients we need for our proof.

Proof. Let us define the generalization of $\mathfrak {C}_J$ to $G^{\le \mu }$. We fix $I$ be a finite set and $W \in \operatorname {\mathrm {Rep}}(\widehat {G}^I)$. We also fix an elements $0,1,2 \not \in I \cup J$ and $V \in \operatorname {\mathrm {Rep}}(\widehat {G})$. For a map $U \colon V^{\otimes \{ 0 \} \cup J} \to V^{\otimes \{ 0 \} \cup J}$ of $\widehat {G}$-representations, let us write $\mathfrak {C}_J(G^{\le \mu }, U)$ for the composition of the following four maps. The maps are maps of sheaves on $X^I \times \Delta (v)$, where $\Delta (v)$ is the diagonal inclusion of the closed point $v$ in the remaining copies of $X$.

(3.14)

All the lines are connected by fusion isomorphisms, and $\kappa$ is chosen sufficiently large so that the map $\prod _{j \in J} F_{\{ j \}}$ is well defined.

Now consider the identity $\mathfrak {C}_J(\mathcal {G}^{\le \mu }, (|J| + 1) \mathcal {A}_J) = 0$ for $J = \{ 1, \ldots, \dim V \}$. We express the left-hand side as the left-hand side in the Eichler–Shimura relation 3.8. For $\sigma \in S_{\{ 0 \} \cup J}$, we denote $\ell (\sigma, 0)$ the length of the longest cycle containing $0$.

We rewrite our equation as

\[ \sum_{i=0}^{\dim V} \mathfrak{C}_J\biggl(\mathcal{G}^{\le \mu}, \frac{1}{|J|!} \sum_{\ell(\sigma, 0) = i + 1} s(\sigma) \sigma\biggr) = 0. \]

We note that by symmetry and counting possible permutations,

\[ \mathfrak{C}_J\biggl(\mathcal{G}^{\le \mu}, \frac{1}{\dim V!} \sum_{\ell(\sigma, 0) = i + 1} s(\sigma) \sigma\biggr) = \mathfrak{C}_J \biggl(\mathcal{G}^{\le \mu}, \frac{1}{(\dim V-i)!} \sum_{\sigma \in S^{[i]}_{\{ 0 \} \cup J}} s(\sigma) \sigma\biggr), \]

where $S^{[i]}_{\{ 0 \} \cup J}$ denotes the set of permutations such that $\sigma (j) = j + 1$ for $0 \le j < i$ and $\sigma (i) = 0$. The terms $\sigma$ in the sum now all factor as $\sigma = (0 \ldots i) \tau$ and the $i$th term is now

\[ \mathfrak{C}_J\biggl(\mathcal{G}^{\le \mu}, (-1)^i (0 \ldots i) \frac{1}{(\dim V-i)!} \sum_{\tau \in S_{\{ i+1, \ldots, n \}}} s(\tau) \tau\biggr) = (-1)^i \mathfrak{C}_J\big(\mathcal{G}^{\le \mu}, (0 \ldots i) \mathcal{A}_{\{ i+1, \ldots, n \}}\big). \]

Here $\mathcal {A}_{\{ i+1, \ldots, n \}}$ acts by an idempotent on $V^{\otimes \{ i+1, \ldots, n \}}$ projecting onto the subspace $\wedge ^{\dim V - i} V$. The cycle $(0 \ldots i)$ and $\mathcal {A}_{\{ i + 1, \ldots, n \}}$ are disjoint and so the operator $\mathfrak {C}_J(\mathcal {G}^{\le \mu }, (0 \ldots i) \mathcal {A}_{\{ i+1, \ldots, n \}})$ splits as the composition of $\mathfrak {C}_{\{1, \ldots, i\}}(\mathcal {G}^{\le \mu }, (0 \ldots i))$ and $S_{\wedge ^{\dim V - i} V, v}$. Thus, it suffices to show that

\[ \mathfrak{C}_{\{1, \ldots, i\}}(\mathcal{G}^{\le \mu}, (0 \ldots i)) = F_{\{ 0 \}, v}^{\deg(v) i}. \]

This will follow by induction on $i$, where the base case $i = 0$ is trivial. We can write the left-hand operation as creation in pairs $(1, 2) \cdots (2n-1, 2n)$, application of partial Frobenius to legs $0, 2, \ldots, 2n-2$, then annihilation in pairs $(0, 1) \cdots (2n-2, 2n-1)$. The creation of the pair $(2n-1, 2n)$ commutes with all the partial Frobenius, but by Zorro's lemma, the composition of that creation with annihilation at $(2n-2, 2n-1)$ is the identity. We are left with an extra application of partial Frobenius to the leg $2n-2$ which identifies with the remaining leg $2n$ after applying Zorro's lemma. This shows the induction step.

4. Unipotent nearby cycles over a power of a curve

We begin with some general theory, following Beilinson [Reference BeilinsonBei87] and Gaitsgory [Reference GaitsgoryGai04]. Let us consider a general setup. Let $X$ be the spectrum of a Henselian trait or a smooth curve, $I = \{ 1, \ldots, n \}$ and $f \colon Y \to X^I$ a stack of finite type, and let $s \in X$ be a special point. Let $\mathscr {G}$ be a sheaf on $Y$. We can consider iterated unipotent nearby cycles $\Psi ^u_1 \circ \ldots \circ \Psi ^u_n \mathscr {G}$. We can also restrict $\mathscr {G}$ to the preimage $f^{-1}(\Delta (X)) =: Y_\Delta$ of the diagonal $\Delta (X) \subset X^I$ and perform unipotent nearby cycles $\Psi ^u_{\Delta } (\mathscr {G}|_{\Delta (X)})$ there, which we will abuse notation and denote simply by $\Psi ^u_{\Delta } \mathscr {G}$ when the base $X^I$ is clear. That is, $\Psi ^u_{\Delta } = \Psi ^u i_{Y_\Delta }^*$ where $i_{Y_\Delta } : Y_\Delta \to Y$ is the inclusion. We can compare these functors with a functor $\Upsilon$ that generalizes Beilinson's construction of unipotent nearby cycles.

Consider first the case when our base is one-dimensional, that is $n = 1$. Beilinson's construction of nearby cycles starts with local systems $\mathscr {L}_m$ on $X \setminus \{ s \}$ such that monodromy acts according to an $m \times m$ nilpotent Jordan block. We have natural inclusions of local systems $\mathscr {L}_m \to \mathscr {L}_{m'}$ when $m \le m'$. Let $i$ be the inclusion of $f^{-1}(s)$ and $j$ the inclusion of the complement $f^{-1}(X \setminus \{ s \})$. One of Beilinson's results is that unipotent nearby cycles can be written as

(4.1)\begin{equation} \Psi^u \mathscr{F} \cong \varinjlim_m i^* R j_* \big( \mathscr{F} \otimes f^* \mathscr{L}_m \big). \end{equation}

To compare the iterated unipotent nearby cycles with the diagonal unipotent nearby cycles, we introduce a functor $\Upsilon (\mathscr {G})$ that maps naturally to both. In some favorable cases we consider, $\Upsilon (\mathscr {G})$ will be isomorphic to both $\Psi ^u_{\Delta }(\mathscr {G})$ and $\Psi ^u_1 \cdots \Psi ^u_n$. Let $i$ be the inclusion of $f^{-1}(\Delta (s)) = f^{-1}((s, \ldots, s))$ and $j$ the inclusion of the preimage $f^{-1}((X \setminus \{ s \})^I)$. We define our functor on objects as

(4.2)\begin{equation} \Upsilon(\mathscr{G}) \cong \varinjlim_{m_1, \ldots, m_n} i^* R j_* \big( \mathscr{G} \otimes f^* ( \mathscr{L}_{m_1} \boxtimes \cdots \boxtimes \mathscr{L}_{m_n} ) \big). \end{equation}

These functors are written with shifts in Gaitsgory's proof that nearby cycles gives a central functor [Reference GaitsgoryGai04]. With shifts, the functors will send perverse sheaves to perverse sheaves. For our purposes, it is easier to ignore the shifts, because the Satake sheaves are only perverse up to a shift (otherwise, the cocartesian property would only be true up to a shift). The following proposition contains all the properties that we use about the functor $\Upsilon$.

Proof. The construction of the maps is a straightforward generalization of [Reference GaitsgoryGai04]. We consider $\Delta _X \colon X \to X^I$ the diagonal inclusion and $j_{\Delta } \colon f^{-1}(X \setminus \{ s \}) \to Y_\Delta$ where we imagine $X \setminus \{ s \}$ as living in the diagonal of $X^I$. Let $f_{\Delta }$ be the base change of the structure map $f$ along the diagonal $\Delta (X) \subset X^I$. The canonical base change map

\[ \Delta_X^* R j_* \to R j_{\Delta(X),*} \Delta_{X \setminus \{ s \}}^* \]

gives a map from

\[ \Delta_X^* R j_* \big( \mathscr{G} \otimes f^* ( \mathscr{L}_{m_1} \boxtimes \cdots \boxtimes \mathscr{L}_{m_n} ) \big) \]

to

\[ R j_{\Delta(X),*} \big( \mathscr{G}|_{\Delta(X \setminus \{ s \})} \otimes f_{\Delta}^* ( \mathscr{L}_{m_1} \otimes \cdots \otimes \mathscr{L}_{m_n} ) \big). \]

Note that we have a map $\mathscr {L}_n \otimes \mathscr {L}_m \to \mathscr {L}_{\max (n,m)}$, which gives a map

\[ R j_{\Delta(X),*} \big( \mathscr{G}|_{\Delta(X \setminus \{ s \})} \otimes f_{\Delta}^* ( \mathscr{L}_{m_1} \otimes \cdots \otimes \mathscr{L}_{m_n} ) \big) \to R j_{\Delta(X),*} \big( \mathscr{G}|_{\Delta(X)} \otimes f^* ( \mathscr{L}_{\max(m_1, \ldots, m_n)} ) \big). \]

After composing the two maps, pulling back along the inclusion of $i_{s,\Delta } \colon \{ s \} \to \Delta (X)$, and passing to the limit over $m_1, \ldots, m_n$, the left-hand side becomes $\Upsilon (\mathscr {G})$ whereas the right-hand side becomes $\Psi _{\Delta }(\mathscr {G})$.

Let $i_k$ be the inclusion $X^{k-1} \times s^{n-k+1} \to X^k \times s^{n-k}$ along the $k$th coordinate, and let $j_k$ be the inclusion $(X \setminus \{ s \})^k \to X^k$ which we distinguish from $j^n \colon (X \setminus \{ s \})^n \to (X \setminus \{ s \})^{n-1} \times X$. We note first that by unwinding the definition of $\boxtimes$, we have

\[ f^* ( \mathscr{L}_{m_1} \boxtimes \cdots \boxtimes \mathscr{L}_{m_n} ) \cong f^* ( \mathscr{L}_{m_1} \boxtimes \cdots \boxtimes \mathscr{L}_{m_{n-1}} \boxtimes \mathscr{L}_{1}) \otimes f^*(\mathscr{L}_{1} \cdots \boxtimes \mathscr{L}_1 \boxtimes \mathscr{L}_{m_{n}}). \]

Next, we consider the diagram

(4.7)

to produce a map

(4.8)\begin{equation} R(j_{n-1} \times X)_* \to R(j_{n-1} \times X)_* (i_n)_* (i^n)^* \cong (i_n)_* R(j_{n-1} \times \{ x \})_* i_n^*, \end{equation}

which, by adjunction, gives us $i_n^* R(j_{n-1} \times X)_* \to R(j_{n-1} \times \{ x \}) i_n^*$. Using these maps, and writing $j$ as the composition of $(j_{n-1} \times X) \circ j^n$ we can now produce a map from

\[ i_n^* R j_{*} \big( \mathscr{G} \otimes f^* ( \mathscr{L}_{m_1} \boxtimes \cdots \boxtimes \mathscr{L}_{m_{n}} ) \big) \]

to

\[ R(j_{n-1} \times \{ s \})_* \big( i_n^* Rj^n_{*} \big( \mathscr{G} \otimes f^* ( \mathscr{L}_1 \boxtimes \cdots \boxtimes \mathscr{L}_1 \boxtimes \mathscr{L}_{m_n} ) \big) \otimes f^* \big( \mathscr{L}_{m_1} \boxtimes \cdots \boxtimes \mathscr{L}_{m_{n-1}} \boxtimes \mathscr{L}_1\big)\big). \]

By pulling back and passing to the limit, this gives a map

\[ \Upsilon_n(\mathscr{G}) \to \Upsilon_{n-1} \Psi_n(\mathscr{G}), \]

which inductively gives the map we want.

The second and third parts of the proposition follow by proper and smooth base change. The base change theorems can be used to give maps $R\pi _! Rj_* \to Rj_* R\pi _!$ by adjunction, which is an isomorphism if $\pi$ is a proper map. As the other maps in the diagram arise naturally from base change theorems, the diagrams will commute.

Finally, in the product case, we can write

\[ i_{\Delta}^* Rj_* ( \mathscr{G}_1 \boxtimes \mathscr{G}_2 \otimes f^*(\mathscr{L}_{m_1} \boxtimes \mathscr{L}_{m_2}) ) \cong Rj_{\Delta,*} ( \mathscr{G}_1 \otimes f_1^* \mathscr{L}_{m_1} \otimes \mathscr{G}_2 \otimes f_2^* \mathscr{L}_{m_2}) \]

and the result follows by observing that the right-hand side is also isomorphic to

\[ Rj_* ( \mathscr{G}_1 \otimes f_1^* \mathscr{L}_{m_1} ) \otimes Rj_* ( \mathscr{G}_2 \otimes f_2^* \mathscr{L}_{m_2} ), \]

where $Rj_*$ is here understood as the inclusion $X \setminus \{ s \} \hookrightarrow X$.

We can immediately state a corollary by combining Gabber's observation with the main result of the previous section.

Lemma 4.2 Let $I$ and $J$ be finite sets, and let $I \to J$ be a map. Let $\mathcal {G}^{\le \mu }$ be a collection of functors from $\operatorname {\mathrm {Rep}}(\widehat {G}^{\bullet }) \to D^b_c(X^{\bullet })$ cofibered over $\operatorname {\mathrm {FinS}}$ and filtered with respect to partial Frobenius maps $F_{\bullet }$. Suppose also that $X$ is a Zariski dense open subset of $C_{\overline {\mathbb {F}_q}}$, where $C$ is a proper curve over a finite field. Let $\overline {\eta }$ be a geometric generic point of $X$ and let $s$ be a special point of $C$. Let $\Psi _I$ be iterated nearby cycles along $C^I$ with respect to the localization of $C$ at $s$. Let $\Delta _{\zeta } \colon X^J \to X^I$ be the natural map, and let $\Psi _J$ be the same iterated nearby cycles. Then, we have a natural identification

(4.9)\begin{equation} \Psi_{J} \Delta_{\zeta}^* \varinjlim_{\mu} \mathcal{G}^{\le \mu}_{I, W} \cong \Psi_I \varinjlim_{\mu} \mathcal{G}^{\le \mu}_{I, W}, \end{equation}

which is equivariant with respect to the map $\operatorname {\mathrm {Weil}}(\eta, \overline {\eta })^J \to \operatorname {\mathrm {Weil}}(\eta, \overline {\eta })^I$.

We claim we also have the following map where $\Psi _{\Delta }$ denotes specialization from $\Delta (\overline {\eta })$ to $\Delta (s)$ over $C^I$.

Lemma 4.3 Consider the following cases.

1. (i) Nearby cycles is taken with respect to a geometric point $s$ over a closed point $p$ such that $G$ has parahoric reduction at $p$.

2. (ii) Nearby cycles $\Psi$ is unipotent nearby cycles and taken with respect to a geometric point $s$ over a point $p$. Here $G$ is split on the generic fiber of the completion and has reduction according to the unipotent radical of the Iwahori.

For $I = \{ 1, \ldots, n \}$ and $W \cong W_1 \boxtimes \cdots \boxtimes W_n$, we have an isomorphism natural in $W$ and $V$:

(4.10)\begin{equation} \Psi_{\Delta} \mathscr{F}_{\{ \Delta \} \cup J, (\bigotimes_{i \in I} W_i) \boxtimes V} \cong \Upsilon \mathscr{F}_{I \cup J, W \boxtimes V} \cong \Psi_1 \ldots \Psi_n \mathscr{F}_{I \cup J, W \boxtimes V}. \end{equation}

Both sides of the equation are sheaves over $\mathfrak {p}^{-1}(s \times (C \setminus \widehat {N})^J)$ for which suitable Schubert cells in $(\mathrm {Fl}_p)_{\overline {\mathbb {F}_q}} \times _{\overline {\mathbb {F}_q}} \operatorname {\mathrm {Gr}}_{G,J}|_{(C \setminus \widehat {N})^J}$ are local models.

Proof. It suffices to check this theorem on sufficiently large open subsets, and the subsets given by Harder–Narasimhan truncation suffice for this purpose.

The local model theorem for shtukas, recalled previously, says that for $\mu$ a fixed Harder–Narasimhan truncation of $G$-bundles (and therefore of $G$-shtukas) we can form the following diagram over $(C \setminus N)^{I \cup J}$:

where the arrow on the right is an étale cover. As étale maps are a fortiori smooth, we can consider

\begin{align*} u'^* \Psi_{\Delta} \mathscr{F}_{\{ \Delta \} \cup J, (\bigotimes_{i \in I} W_i) \boxtimes V} &\simeq \Psi_{\Delta} u'^* \mathscr{F}_{\{ \Delta \} \cup J, (\bigotimes_{i \in I} W_i) \boxtimes V}\\ &\simeq \Psi_{\Delta} u^* \mathcal{S}_{\{ \Delta \} \cup J, (\bigotimes_{i \in I} W_i) \boxtimes V}\\ &\simeq u^* \Psi_{\Delta} \mathcal{S}_{\{ \Delta \} \cup J, (\bigotimes_{i \in I} W_i) \boxtimes V}, \\ u'^* \Psi_1 \ldots \Psi_n \mathscr{F}_{I \cup J, W \boxtimes V} &\simeq \Psi_1 \ldots \Psi_n u'^* \mathscr{F}_{I \cup J, W \boxtimes V}\\ &\simeq \Psi_1 \ldots \Psi_n u^* \mathcal{S}_{I \cup J, W \boxtimes V} \\ &\simeq u^* \Psi_1 \ldots \Psi_n \mathcal{S}_{I \cup J, W \boxtimes V}. \end{align*}

We now show the following lemma.

Lemma 4.4 Under the assumptions of the above lemma, the correspondence

induces an isomorphism natural in $W$ and $V$,

(4.11)\begin{equation} \Psi_{\Delta} \mathcal{S}_{\{ \Delta \} \cup J, (\bigotimes_{i \in I} W_i) \boxtimes V} \cong \Psi_1 \ldots \Psi_n \mathcal{S}_{I \cup J, W \boxtimes V}. \end{equation}

Both sides of the equation are sheaves over the preimage of $s \times (C \setminus (N \cup P))^J$ in the Beilinson–Drinfeld Grassmannian $\operatorname {\mathrm {Gr}}_{G, \{ 1 \} \cup J}$.

As the correspondence

pulls back to an isomorphism by the lemma, it is an isomorphism to begin with.

Proof of Lemma 4.4 This statement is étale local on the curve, so we can reduce to the case where $G$ has parahoric reduction only at a point $p \in C$. We denote the complement by $C^\circ$.

Recall that $c$ denotes the convolution map on the Beilinson–Drinfeld Grassmannian. By writing $\mathcal {S}_{I \cup J,W \boxtimes V}$ and $\mathcal {S}_{\{ \Delta \} \cup J, \otimes _i W_i \boxtimes V}$ as $c_! \mathcal {S}_{I,W} \tilde {\boxtimes } \mathcal {S}_{J,V}$ and $c_! \mathcal {S}_{\{ \Delta \},\otimes _i W_i} \tilde {\boxtimes } \mathcal {S}_{J,V}$ and applying proper base change, it suffices to show the isomorphisms

By using the fact that the product of affine Grassmannians is an étale local model for an iterated affine Grassmanian, it suffices to show that

as sheaves on the product of affine Grassmannians. The left-hand side of the diagram can be identified with

(4.12)\begin{equation} Z_{\bigotimes_{i \in I} W_i} \boxtimes S_{J, V}, \end{equation}

where $Z_{\bigotimes _{i \in I} W_i}$ is a central sheaf following the work of Gaitsgory [Reference GaitsgoryGai01] and Zhu [Reference ZhuZhu14].

We prove the right-hand side is equal to (4.12) by induction on $|I|$. In the case $|I| = 1$, there is nothing to prove. The case $|I| = 2$ is proved for the Iwahori case by Gaitsgory [Reference GaitsgoryGai04] by using the two-dimensional iterated Beilinson–Drinfeld Grassmannian which is étale locally a product of one-dimensional Beilinson–Drinfeld Grassmannians. On the product we can apply the Künneth formula, and the small resolution allows us to transfer this result to the Grassmannian itself. This result generalizes word for word to parahoric cases.

For the unipotent radical of the Iwahori, the relevant result is due to Bezrukavnikov [Reference BezrukavnikovBez16, Proposition 13]. We note that the central sheaves in that paper compute the case of unipotent nearby cycles at this level and in this setting Bezrukavnikov explains how to get around the failure of properness for the convolution product map.

Now the inductive step follows from the case $|I| = 2$, as we can use an iterated affine Grassmannian again to reduce to showing

\[ \Psi_0 ( Z_{\bigotimes_{i \in I} W_i} \boxtimes \mathcal{S}_{\{ 0 \}, U} \boxtimes \mathcal{S}_{J, V} ) \cong Z_{\bigotimes_{i \in I} W_i \otimes U} \boxtimes \mathcal{S}_{J, V}, \]

which follows by rewriting the left-hand side as

\[ \Psi_0 \Psi_{\Delta} ( \mathcal{S}_{\{ \Delta \},\bigotimes_{i \in I} W_i} \boxtimes \mathcal{S}_{\{0 \},U} \boxtimes S_{J, V} ). \]

Let $\Psi _J$ be the iterated nearby cycles $\Psi _{j_1} \cdots \Psi _{j_k}$ for $J = \{ j_1, \ldots, j_k \}$. Let $J_1$ and $J_2$ be identical, disjoint copies of $J$. We use the following lemma, which generalizes Lemma 4.3.

Lemma 4.6 For $(J_1, V_1)$ and $(J_2, V_2)$, let $(J, V)$ be defined by having a cocartesian map $(J_1 \cup J_2, V_1 \boxtimes V_2) \to (J, V)$ for $J_1 \cup J_2 \to J$ the map identifying both $J_1$ and $J_2$ with $J$:

(4.13)\begin{equation} \Psi_{J} \mathscr{F}_{I \cup J, W \boxtimes V} \cong \Psi_{J_1} \Psi_{J_2} \mathscr{F}_{I \cup J_1 \cup J_2, W \boxtimes V_1 \boxtimes V_2}. \end{equation}

Both sides of the equation are sheaves over $\mathfrak {p}^{-1}(s \times (C \setminus \widehat {N})^J) \cong (\mathrm {Fl}_p)_{\overline {\mathbb {F}_q}} \times _{\overline {\mathbb {F}_q}} \operatorname {\mathrm {Gr}}_{G,J}|_{(C \setminus \widehat {N})^J}$.

Proof. We can naturally identify both sides to the sheaf

\[ \Psi_{\Delta} \mathscr{F}_{I \cup \{ \Delta \}, W \boxtimes \big(\bigoplus \bigotimes V_{1,i} \otimes V_{2,i}\big)}. \]

The lemma can also be proved directly, following the proof of Lemma 4.3.

The above proof seems to destroy information about the potential Weil group action, except on the diagonal, but we do not need it for that purpose: only to construct an inverse to the canonical map on nearby cycles, which is automatically Galois equivariant.

Corollary 4.7 Let $(J_1, V_1)$, $(J_2, V_2)$, and $(J, V)$ be as in the above lemma. The isomorphisms in Lemmas 4.3 and 4.6 are compatible with the natural $!$-pushforward map. In particular,

(4.14)

5. Nearby cycles commute with pushforward via factorization structure

In what follows, we often suppress mention of the group scheme $G$, which itself contains the information of the ramification and level structure along $\widehat {N}$. We also suppress the lattice $\Xi$ in $\operatorname {\mathrm {Cht}}_{G, \Xi, I \cup J, W \boxtimes V} =: \operatorname {\mathrm {Cht}}_{I \cup J, W \boxtimes V}$. We pick $p \in P \subset C$ and pick a geometric point $s$ above $p$. Using this, we reduce to the local situation by taking a Henselian trait $S$ giving the specialization from a geometric generic point $\overline {\eta }$ of $C$ to $s$.

The following maps are defined from the geometric Satake functor and the coalescence of legs:

\begin{gather*} \mathscr{F}_{\{1,2\},W \boxtimes 1} \to \mathscr{F}_{\{1,2\}, W \boxtimes (W^* \otimes W)},\\ \mathscr{F}_{\{2,3\},(W \otimes W^*) \boxtimes W} \to \mathscr{F}_{\{2,3\}, 1 \boxtimes W}. \end{gather*}

The fact that the composition of these maps restricted to the diagonal is the identity is known as ‘Zorro's lemma’. This fact is used in Theorem 5.2. We also use the following description of sheaves in the case when one leg carries the trivial representation.

Lemma 5.1 The sheaf $\mathscr {F}_{I \cup \{ 1 \}, W \boxtimes 1}$ on $\operatorname {\mathrm {Cht}}_{I \cup \{ 1 \}, W \boxtimes 1} |_{(C \setminus (N \cup P))^{I \cup \{ 1 \}}}$ is identified with the sheaf $\mathscr {F}_{I, W} |_{(C \setminus (N \cup P))^{I}} \boxtimes \overline {\mathbb {Q}_{\ell }}_{C \setminus (N \cup P)}$ under the identification

(5.1)\begin{equation} \operatorname{\mathrm{Cht}}_{I \cup \{ 1 \}, W \boxtimes 1} \cong \operatorname{\mathrm{Cht}}_{I, W} \times (C \setminus N). \end{equation}

Our main theorem shows that nearby cycles on the sheaves $\mathscr {F}$ commutes with compactly supported pushforward along $\mathfrak {p}$. Let $I$ and $J$ be finite sets, and let $W \in \operatorname {\mathrm {Rep}}(\widehat {G}^I)$ and $V \in \operatorname {\mathrm {Rep}}(\widehat {G}^J)$ so we can form the sheaves $\mathscr {F}_{I \cup J, W \boxtimes V}$. These sheaves live on shtukas over the power of the curve $C^{I \cup J}$, and we take nearby cycles along directions $J$. This will be an exact analogue of the result of [Reference XueXue20c, Propositions 4.1.4 and 3.2.1] but using nearby cycles instead of specialization maps. In fact, this result can be seen to imply the smoothness result of [Reference XueXue20c, Propositions 4.1.4 and 3.2.1] over very special points by showing that vanishing cycles vanish on the sheaves over $(C \setminus \widehat {N})^{I}$.

Theorem 5.2 Consider the following cases.

1. (i) Nearby cycles is taken with respect to a geometric point $s$ over a closed point $p$ such that $G$ has parahoric reduction at $p$.

2. (ii) Nearby cycles $\Psi$ is unipotent nearby cycles and taken with respect to a geometric point $s$ over a point $p$. $G$ is split on the generic fiber of the completion and has reduction according to the unipotent radical of the Iwahori.

Then the natural map

(5.2)\begin{equation} \mathrm{can} \colon R\mathfrak{p}_! \Psi_J \mathscr{F}_{I \cup J,W \boxtimes V} \to \Psi_J R\mathfrak{p}_! \mathscr{F}_{I \cup J, W \boxtimes V} \end{equation}

is an isomorphism.

Proof. We begin by constructing an inverse map. Let $J_1, J_2, J_3$ be three identical, disjoint copies of $J$:

\begin{align*} \Psi_J R\mathfrak{p}_! \mathscr{F}_{I \cup J,W \boxtimes V} &\cong \Psi_{J_1} R\mathfrak{p}_! \Psi_{J_2} \mathscr{F}_{I \cup J_1 \cup J_2, W \boxtimes V \boxtimes 1}\\ &\to \Psi_{J_1} R\mathfrak{p}_! \Psi_{J_2} \mathscr{F}_{I \cup J_1 \cup J_2, W \boxtimes V \boxtimes (V^* \otimes V)} \\ &\cong \Psi_{J_1} R\mathfrak{p}_! \Psi_{J_2} \Psi_{J_3} \mathscr{F}_{I \cup J_1 \cup J_2 \cup J_3, W \boxtimes V \boxtimes V^* \boxtimes V} \\ &\to \Psi_{J_1} \Psi_{J_2} R\mathfrak{p}_! \Psi_{J_3} \mathscr{F}_{I \cup J_1 \cup J_2 \cup J_3, W \boxtimes V \boxtimes V^* \boxtimes V} \\ &\cong \Psi_{J_2} R\mathfrak{p}_! \Psi_{J_3} \mathscr{F}_{I \cup J_2 \cup J_3, W \boxtimes (V \otimes V^*) \boxtimes V} \\ &\to \Psi_{J_2} R\mathfrak{p}_! \Psi_{J_3} \mathscr{F}_{I \cup J_2 \cup J_3, W \boxtimes 1 \boxtimes V} \\ &\cong R\mathfrak{p}_! \Psi_{J} \mathscr{F}_{I \cup J, V \boxtimes W}. \end{align*}

We now justify that this gives a well-defined map.

1. (i) The first arrow is an isomorphism because of Lemma 5.1.

2. (ii) The second arrow follows by functoriality of $\mathrm {Rep}(G^I) \to \mathrm {Perv}(\operatorname {\mathrm {Cht}}_{G, I})$.

3. (iii) The third arrow exists and is an isomorphism by Lemma 4.6.

4. (iv) The fourth arrow is the canonical map $Rf_! \Psi \to \Psi Rf_!$.

5. (v) The fifth arrow is an isomorphism by Lemmas 4.2 and 3.5.

6. (vi) The sixth arrow follows by functoriality.

7. (vii) The seventh arrow is an isomorphism because of Lemma 5.1.

We now want to show that the map constructed is a left inverse of $\mathrm {can}$ and, in particular, $\mathrm {can}$ is injective. This can be seen because the squares commute in Figure 5.1.

Figure 5.1.

Commutative diagram showing that the constructed map is a left inverse to $\mathrm{can}$.

In Figure 5.1, the bottom row is an isomorphism because the sheaves are constant in the $J_2$ direction when the corresponding tuple of representations is trivial. The left composition is the identity when specialized to the diagonal by Zorro's lemma. The top arrow is the map $\mathrm {can}$. The composed vertical line on the right, together with applications of Lemma 5.1, is the map we constructed previously as the left inverse of $\mathrm {can}$. To show that this map is a left inverse, it suffices to check that all the squares in Figure 5.1 commute.

1. (i) Square $(1)$ expresses the fact that $\mathrm {can}$ is a natural transformation, as the map on sheaves comes from the functoriality of $\mathscr {F}$ applied to the map $1 \to V^* \otimes V$.

2. (ii) Square $(2)$ again expresses that $\mathrm {can}$ is a natural transformation, this time using the isomorphism in Lemma 4.6.

3. (iii) Square $(3)$ is an instance of Corollary 4.14.

4. (iv) The bottom square $(4)$ follows from naturality of $\mathrm {can}$, with the map on sheaves coming from $\mathscr {F}$ applied to the map $V \otimes V^* \to 1$.

5. (v) The middle triangle composes two instances of $\mathrm {can}$.

Now we want to show that it is a right inverse. This can be seen because the squares commute in Figure 5.2.

Figure 5.2.

Commutative diagram showing that the constructed map is a right inverse to $\mathrm{can}$.

The justifications for isomorphism of the top row and commutativity are the same as those in the previous paragraph, but in reverse order.

6. Consequences about the Galois action and Langlands parameters

Now that the key result about nearby cycles is available, we can use results about central sheaves from local geometric Langlands to draw a number of conclusions about the action of local Galois groups on cohomology. This, in turn, allows us to draw conclusions about the image of tame ramification in the Galois representation that Lafforgue associates to any automorphic form.

Let $K' / K$ be a finite Galois extension of the function field such that the generic fiber of $G$ splits, and let $C'$ be the normalization of the curve $C$ in $K'$. Let $P'$ be the preimage in $C'$ of points $P$ of parahoric reduction. Let $N'$ be the ‘deep’ level structures $N \setminus P$.

For a point $p \in P$, we consider the completion of $K$ at $p$, $K_p$, and the extension $K'_{p'}$ for any point $p'$ over $p$ in $P'$. Consider the local Weil groups $\operatorname {\mathrm {Weil}}(K'_{p'}, \overline {K_{p'}})$ with its inertia subgroup $I_{{K'}_{p'}}$, wild inertia subgroup $I^1_{K'_{p'}}$, and the tame inertia quotient $I^t_{{K'}_{p'}} := I_{{K'}_{p'}} / I^1_{{K'}_{p'}}$.

Let $\operatorname {\mathrm {Weil}}^{t}(C \setminus N', \overline {\eta })$ be the quotient of $\operatorname {\mathrm {Weil}}(C \setminus \widehat {N}, \overline {\eta })$ by the normal subgroup generated by all wild inertia at all places in $P'$, that is, so that we have

The above theorems imply the following corollary.

We now conclude with some consequences about the global Langlands correspondence. Suppose $f$ is a cuspidal automorphic form associated to parahoric level structure at a point $p \in P \subset C$, and let $\rho \colon \operatorname {\mathrm {Weil}}^{t}(C \setminus N') \to {}^{L}G$ be the associated Langlands parameter. We note that this Langlands parameter restricts to a representation $\operatorname {\mathrm {Weil}}^{t}(C' \setminus N') \to \widehat {G}$ and the tame inertia $I^t_{{K'}_{p'}}$ is a subset of the latter. We would like to draw some conclusions about the image of tame generator of the local Galois group.

Let us briefly review some necessary facts about Langlands parameters that we will use. Consider cuspidal automorphic forms for $G$ with finite-order central character corresponding to the lattice $\Xi$ which is a fixed vector under an open compact subgroup corresponding to the level structure we have constructed via dilatation can be viewed as a function on $\operatorname {\mathrm {Bun}}_G(\mathbb {F}_q) / \Xi$. The corresponding Langlands parameters of cuspidal automorphic forms are characters of the algebra of excursion operators on $H_{\{ 0 \}, 1}^{\mathrm {cusp}}$. Any such character $\nu$ will give a semisimple Galois representation $\rho$. The Galois representation is compatible with the character of the excursion algebra in the sense that if $I$ is a finite set, $f \in \mathcal {O}(\widehat {G} \backslash \widehat {G}^I / \widehat {G})$ is a function and $(\gamma _i)_{i \in I}$ is a tuple of Galois elements, then the value of the character at the corresponding excursion operator $S_{I, f, \gamma }$ is equal to the value of $f$ at the corresponding tuple of $\widehat {G}^I$ under the Langlands parameter. That is, [Reference LafforgueLaf14, Proposition 5.7]

\[ \nu(S_{I, f, (\gamma_i)_{i \in I}}) = f((\rho(\gamma_i))_{i \in I}). \]

For unipotence of the tame generator, we only need the case $I = \{ 1,2 \}$ and $(\gamma _1, \gamma _2) = (\gamma, 1)$ for $\gamma$ the tame generator.

At parahoric levels, we would like to know which unipotent conjugacy class contains the image of the tame generator. This computation of monodromy is the analogue for shtukas of the computation of monodromy for automorphic sheaves in [Reference YunYun16, § 4], see also [Reference YunYun14, Proposition 4.2.4].

For the formulation of our next theorem, we introduce some notation. For notational simplicity, we assume that the generic fiber of $G$ splits. Fix a pinning of $G$ and a fixed Iwahori $I$ in the loop group of the split group associated to $G$ which reduces modulo the uniformizer to a standard Borel $B$ over the base field. A standard parahoric is a parahoric $P$ containing $I$. For such a parahoric, we can form $P^+$, the pro-unipotent radical of $P$, and the corresponding Levi $M_P = P / P^+$, which is a reductive group. Let $w_P$ be the longest element of the Weyl group of $M_P$. For example, for the Iwahori $I$, $w_I$ is the identity. We can view all the $w_P$ for different $P$ as elements of the affine Weyl group $\tilde {W}$. Moreover, these are each contained in a unique two-sided cell, which we denote $c_P$. In fact, they are Duflo involutions in the two-sided cells. We now recall Lusztig's order-preserving bijection [Reference LusztigLus89]

\[ \{ \text{two-sided cells in}\ \tilde{W} \} \simeq \{ \text{unipotent conjugacy classes in }\ \widehat{G} \}. \]

Let $c_P$ be the two-sided cell, and let $u_P$ the unipotent orbit corresponding to the two-sided cell $c_P$ in the Langlands dual group. Let $\overline {u_P}$ be the closure of the unipotent orbit $u_P$ in $\widehat {G}$. In general, this is the closure of the unipotent orbit containing a dense open subset of the unipotent radical of the parabolic $\widehat {P} \subset \widehat {G}$. We note that the two-sided cell containing the identity is the largest with respect to the order on the left-hand side, and the orbit closure $\overline {u_I}$ is the unipotent cone $\mathcal {N}$ of the Langlands dual group.

We recall the main result of Bezrukavnikov [Reference BezrukavnikovBez04, Theorems 1 and 2] in a format that is easy for us to use. For any $w \in \tilde {W}$, let $L_w$ be the corresponding simple object in the Iwahori–Hecke category $\operatorname {\mathrm {Perv}}(I \backslash LG / I)$. To a two-sided cell $c$, Bezrukavnikov associates a tensor category $\mathcal {A}_c$ with tensor structure $\bullet$ given by truncated convolution. For a Duflo involution $d \in c$, $L_d$ is idempotent under truncated convolution in $\mathcal {A}_c$. Let $\mathcal {A}_d$ be the category generated by subquotients of $L_d \bullet Z(V)$ where $Z \colon \operatorname {\mathrm {Rep}}(\widehat {G}) \to \operatorname {\mathrm {Perv}}(I \backslash LG / I)$ is Gaitsgory's central functor into the Iwahori–Hecke category. This gives us a tensor functor $\operatorname {\mathrm {Rep}}(\widehat {G}) \to \mathcal {A}_d$, which is, in fact, a central functor. This central functor inherits an automorphism from monodromy, and viewing this as a fiber functor and remembering only the monodromy automorphism of the fiber functor gives an element of $\widehat {G}$.

The result of Bezrukavnikov now implies that the conjugacy class of $\widehat {G}$ under Tannakian formalism is a unipotent conjugacy class corresponding to the two-sided cell $c$ containing the Duflo involution $d$.

Specializing to the case $d = w_P$, we have a smooth map of the Iwahori affine flag variety to the parahoric affine flag variety which intertwines the central sheaf functors and their monodromy. That is, pulling back along this map sends central sheaves $\Psi (\mathcal {S}_V)$ for the parahoric to truncated convolutions $L_{w_P} \bullet Z(V)$ where $Z(V)$ is Gaitsgory's central sheaf functor for the Iwahori, since $L_{w_P}$ is just the constant sheaf in $\operatorname {\mathrm {Perv}}(I \backslash P / I)$ for parahoric $P$ containing $I$.

Proof. To prove the claim on two-sided cells, we freely use the framed excursion algebra and related ideas from the paper of Lafforgue and Zhu [Reference Lafforgue and ZhuLZ18]. Consider the spectrum of the framed excursion algebra as an affine space of representations of $\operatorname {\mathrm {Weil}}^{t}(C \setminus N, \overline {\eta })$, over which

(6.1)\begin{equation} H^{\mathrm{cusp}}_{\{ 0 \}, \operatorname{\mathrm{Reg}}} = \bigoplus_{V \in \mathrm{Rep}(\widehat{G})} H^{\mathrm{cusp}}_{\{0\}, V} \otimes V \end{equation}

is a module. Choosing a generator $\gamma$ of tame ramification at $p$ gives a map of the spectrum of the space of representations to $\widehat {G}$. This map is a restriction from all excursion operators to those involving just integer powers of the tame generator $\gamma$, including $1$. We want to argue that the support of $H^{\mathrm {cusp}}_{\{ 0 \}, \operatorname {\mathrm {Reg}}}$ on the excursion algebra is contained in the preimage of the unipotent orbit closure $\overline {u_P}$. The Langlands parameters in Lafforgue's construction are the generalized eigenspaces given by the excursion algebra, and any character corresponds to a representation $\rho$ which must send the tame generator $\gamma$ to an element of $\overline {u_P}$.

Consider the ring of regular functions with $\overline {\mathbb {Q}_{\ell }}$ coefficients on $\widehat {G}$. Let $\mathscr {J}$ be the ideal in this ring that defines the unipotent orbit closure $\overline {u_P}$. It is generated by relations involving matrix coefficients that all elements in $\overline {u_P}$ satisfy. Let $f$ be such an element of this ideal, that is, a polynomial vanishing on the Zariski closure of the unipotent orbit. We first show that $f$ generates a relation that the monodromy of nearby cycles over $\operatorname {\mathrm {Gr}}_G$ satisfies. Then we use the local model to transport this relation to a relation satisfied by nearby cycles on $\operatorname {\mathrm {Cht}}_G$. Then, these relations will produce an ideal that exactly cuts out $\overline {u_P}$ in $\widehat {G}$ over which the framed moduli of Langlands parameters lives.

For any fixed regular function $f$ on $\widehat {G}$, by the algebraic Peter–Weyl theorem, $f$ can be written as a matrix coefficient $g \mapsto \langle v^*, g v \rangle$ for some representation $V$ (generally not irreducible) and vectors $v^* \in V^*, v \in V$. For $V$ a $\widehat {G}$-representation, let $\underline {V}$ denote the underlying vector space with trivial $\widehat {G}$ action. Following Lafforgue and Zhu we have a map of $\widehat {G}$ representations

(6.2)\begin{equation} \theta \colon \operatorname{\mathrm{Reg}} \otimes \underline{V} \to \operatorname{\mathrm{Reg}} \otimes V \end{equation}

defined by $\theta (f \otimes v)(g) = f(g) g \cdot v$.

For $N_P \in u_P$ fixed, consider the map $F \colon \operatorname {\mathrm {Reg}} \otimes \underline {V} \to \operatorname {\mathrm {Reg}} \otimes \underline {V}$ of vector spaces (in fact, it is a map in $\operatorname {\mathrm {Rep}}(H_{w_P})$ in Bezrukavnikov's notation where $w_P$ is considered as a Duflo involution) defined by

(6.3)\begin{equation} F(f \otimes v)(g) = f(g) g^{-1} N_P g \cdot v. \end{equation}

We note that $F$ implicitly depends on our choice of $N_P$. This defines an endomorphism of $\Psi \mathcal {S}_{\operatorname {\mathrm {Reg}} \otimes \underline {V}} \cong \Psi \mathcal {S}_{\operatorname {\mathrm {Reg}}} \otimes \underline {V}$ considered as a map in the truncated convolution category. Moreover, if $f \in \mathscr {J}$ represented by matrix coefficients pairing maps $x \colon 1 \to \underline {V}$ with $\xi \colon \underline {V} \to 1$, we know that the composition

(6.4)

is $0$. We note that there is a functor between equivariant sheaves on the parahoric affine flag variety to equivariant sheaves on the Iwahori affine flag variety sending $\Psi \mathcal {S}_{\{ 0 \}, V}$ to the object $L_{w_P} \bullet Z(V)$. This functor restricts to a central functor from central sheaves on the parahoric affine flag variety to the truncated convolution category $\mathcal {A}_{w_P}$. We also use $F$ to denote the map

\[ L_{w_P} \bullet Z(\operatorname{\mathrm{Reg}}) \bullet Z(\underline{V}) \to L_{w_P} \bullet Z(\operatorname{\mathrm{Reg}}) \bullet Z(\underline{V}) \]

under the equivalence of categories given by [Reference BezrukavnikovBez04, Theorem 1].

Lemma 6.6 For suitable $N_P \in u_P$, we have a commutative square in the truncated convolution category $\mathcal {A}_{w_P}$:

(6.5)

where the vertical arrows are isomorphisms and the bottom row is the unipotent monodromy endomorphism coming from unipotent nearby cycles.

Proof.

\[ \theta \circ F(f \otimes v)(g) = \theta(f \otimes g^{-1} N_P g v)(g) = f(g) N_P g \cdot v. \]

Under the identification $\mathcal {A}_{w_P} \cong \operatorname {\mathrm {Rep}}(H_{w_P})$, the fact that the right-hand side identifies with the composition of $1 * \mathfrak {M}_V \circ \theta$ follows by Theorem 1 of [Reference BezrukavnikovBez04].

We return to the proof of Theorem 6.5. Using the above lemma, we build a diagram

(6.6)

where the vertical arrows come from fusion of nearby cycles, the first and last arrow come from realizing the regular function $f$ as a matrix coefficient, and the lower horizontal arrow is the action of monodromy on the leg $1$. The composition of the top row is $0$.

Such a relation is clearly preserved under pulling back under a smooth map, and we also know that pulling back étale sheaves under a surjective map is a surjective functor. Thus, we conclude that the composition

(6.7)

is $0$. After pushing forward by $\mathfrak {p}_!$ and using Theorem 5.2, the composition becomes an element $F_{f, \gamma }$ in the framed excursion algebra, using notation in [Reference Lafforgue and ZhuLZ18]. Thus, we get relations in the framed excursion algebra

\[ F_{f, \gamma} = 0 \]

for every element $f$ of the ideal $\mathscr {J}$, which shows that the image of the tame generator is contained in the orbit closure $\overline {u_P}$.