Proof. We use the fusion, partial Frobenius, and Hecke constructions of V. Lafforgue [20], the finiteness and excursion theorems of Xue [28], and Xue’s ind-smoothness theorem [29]. These results permit an arbitrary finite level subscheme. The central lattice quotient in their statements may be taken trivial because \(G\) is semisimple. Additional Iwahori level is obtained from full level at the added points by invariants under a finite level group. In characteristic zero this is a direct summand, so the same assertions hold there, with the added points removed from \(U^\circ\).

For clarity, the product Weil action does not require a product formula for the geometric fundamental group of an open curve. The path group with partial Frobenius has quotient \(\mathbb Z^J\) and geometric kernel the ordinary geometric fundamental group of \((U^\circ)^J\). It maps onto \(\Gamma^J\); on degree-zero kernels, surjectivity follows by fixing all but one coordinate. Drinfeld’s lemma for finite-dimensional continuous representations factors its action through \(\Gamma^J\) [28]. One may see the finite-dimensional assertion from its finite-cover version as follows. The compact geometric image is a compact \(\ell\)-adic analytic group and has open characteristic subgroups forming a neighborhood basis. Attach the degrees to the image and quotient by one of these subgroups. The result is finite-by-\(\mathbb Z^J\) and is residually finite: after a finite-index passage the finite kernel is central, and sufficiently divisible powers of the remaining generators give an abelian subgroup of finite index. The finite-cover lemma therefore kills the kernel of the map to \(\Gamma^J\) in every such quotient, hence in the original representation.

Apply this to the finite-dimensional quotients in (ii). Their geometric actions are continuous by ind-smoothness, or by taking images of finite stages at a geometric generic point. Finite generation over the noetherian algebra \(\mathcal H_y\) implies \[\bigcap_{\mathfrak m}\bigcap_{n\geq 1} \mathfrak m^n H^b_{J,V}=0,\] where \(\mathfrak m\) ranges over maximal ideals. Thus these quotients detect the action on the whole module, as in [28]. Hecke operators commute with the partial actions in disjoint position; smoothness then gives the transported assertions. Finally, fusion identifies the action on a fused leg with the product of its partial Frobenius maps. The creation and annihilation morphisms are the same ones on full and Hecke-finite cohomology, which proves (iii). ◻

Proof. With the path normalization of [23], the coefficient pulled back from Satake is a mixed complex of weights at most zero: its degree-\(a\) stalk cohomology has weights at most \(a\). On each finite-type Harder–Narasimhan open, compact direct image consequently has weights at most \(b\) in degree \(b\). The bounded-leg shtuka stacks have Deligne–Mumford opens with finite stabilizers; the same bound follows either directly for these stacks or by stratifying and using coarse spaces with exact finite-group invariants. The complete Frobenius obtained from the partial actions is the cohomological Frobenius, by the cyclicity of the path functor [23]. The bound passes to the filtered limit and its finite-dimensional subquotients. ◻

Proof. The entries of \(T_V(w)\) and \(T_W(w')\) commute: test both maps using separate \(V\)- and \(W\)-legs and use the product Weil action of Lemma 3. Fusion and the group law give \[T_{V\otimes W}(w)=T_V(w)T_W(w),\qquad T_V(w)T_V(w')=T_V(ww'),\qquad T_{\mathbf1}(w)=1.\] In the first identity the two matrices act on their respective tensor factors. Together with naturality in representations and duality, these are the tensor, invertibility, and group-law relations presenting \(\mathscr B_\Gamma\). The construction is equivariant by definition of the tests. Contracting the \(V\)- and \(V^*\)-labels identifies its invariant trace with creation, partial Frobenius, and annihilation. The Hecke identity with spectators proves the last assertion. ◻

Proof. First globalize the local morphism over the chosen coordinate open. For a moving leg \(v\), the parameter \(z=t(x)-t(v)\) identifies its formal disc with the standard formal disc. The local equivariant kernel and \(\epsilon\) therefore define a relative kernel morphism over \(U_0\). With other legs present, apply this morphism in one step of the iterated Hecke stack. On bounded modifications the twisted products and their morphisms descend along the trivialization torsors, using a sufficiently large finite jet quotient. Pullback to the Frobenius path stack and compact direct image in the bounds limit give maps of cohomology sheaves over powers of the geometric open. The direct image merging successive modifications is proper, so proper base change identifies the restriction to coincident legs with convolution by \(\epsilon\).

More explicitly, write \(\mathcal H^b_{J,V}\) for the ind-smooth cohomology sheaf whose fibers are \(H^b_{J,V}\). Fix a distinguished leg \(i\in J\) and an external neutral label \(W\) on the remaining legs. The construction just given, applied to the Frobenius-invariant Tate twist \(\mathbf1\to\operatorname{Sat}(\mathfrak g)[2](1)\) of \(\epsilon\), is a map of the relative coefficient complexes on the iterated shtuka stack. Compact direct image gives the underlying geometric map \[ \mathcal H^b_{J,\mathbf1_i\boxtimes W}|_{U_0^J} \longrightarrow \mathcal H^{b+2}_{J,\mathfrak g_i\boxtimes W}|_{U_0^J}(1). \tag{8}\] Thus this map exists on the entire coordinate product, including the diagonals. It is not defined by extension from disjoint legs.

Using this map with a spectator label and then (5) gives \(E_b\). Its naturality in spectator representations is the convolution naturality on the diagonal. The tensor and composition rules in derived Satake show that the coordinates of \(E\) commute. More explicitly, the two ways of applying \(\epsilon\) are both the tensor square of the identity tensor in \(\mathfrak g^*\otimes\mathfrak g\); interchanging the two neutral adjoint labels is the ordinary flip. The enhanced monoidal identification includes these morphisms, and degree two introduces no Koszul sign.

We now check the partial Weil structures on (8). On the target, denote by \((1_i)\) the Tate twist equipped with partial Frobenius multiplied by \(q^{-1}\) in the \(i\)th variable and unchanged in the other variables. Its total Frobenius is the ordinary Tate-twisted Frobenius. The map is compatible with these structures. After forgetting the twist, this says that it commutes with partial Frobenius on every spectator leg, whereas on its own leg \[F_{\mathrm{target}}\epsilon =q\,\epsilon F_{\mathrm{source}}.\] To check these equalities of cohomology-sheaf maps, work first where all modifications, including their Frobenius moves, are disjoint. A spectator partial Frobenius changes only its own factor of the twisted product and commutes with the morphism on the distinguished factor. The distinguished partial Frobenius instead pulls that morphism through Frobenius and its Weil structure. Since the coordinate is defined over \(\mathbb F_q\), the latter comparison is exactly the local scaling by \(q\) for \(\epsilon\). Evaluation on a geometric generic fiber is faithful for maps of ind-smooth sheaves, as is seen on their finite-dimensional smooth stages. Both equalities therefore hold on all of \(U_0^J\). Restriction to a fusion diagonal uses the proper-base-change identification already established, so the same equalities hold for the fused tests. Because (8) is a geometric sheaf map, it also commutes with geometric transport. Lemma 3 then gives the asserted compatibility with each partial Weil action.

Spectator compatibility, tested against the matrix entries of \(T_V(w)\), proves that those entries commute with the coordinates of \(E\). On the distinguished adjoint leg the source label is the unit; hence the second compatibility gives \(T_\mathfrak g(w)E_b=q^{\deg(w)}E_b\). Since \(T_\mathfrak g(w)=\operatorname{Ad}(\mathbf b(w))\), this is (7). It suffices to prove these assertions on \(U_0\): the map \(W_{U_0}\to\Gamma\) is surjective. Finally, a good-place Hecke correspondence can be taken disjoint from the moving legs at a geometric generic point. It then commutes with the construction, and transport gives the stated Hecke compatibility. ◻

Proof. Testing the left side by \(\boxtimes_i V_i\) gives the compact path cohomology of the selected labels. Transport and (5) identify this with \((M_\bullet^{\mathrm{reg}}\otimes\bigotimes_i V_i)^A\). Frobenius reciprocity identifies the same test on the right side of (9); semisimplicity proves that equation. The description of \(e_i\) follows from the construction of \(\epsilon\) on the selected leg.

For holonomy one must check the entire matrix, not only its trace. The local full-cycle slide acts on a representation label by \(V_i(s_i)\), by the cited spectral trace proposition. Keep a spectator label at the same place, and before fusion retain their ordered successive modifications, with the sliding leg at the rotating end. Moving that leg through Frobenius to the other end is precisely the partial Frobenius morphism in the iterated-modification definition of shtukas. The Weil structure identifies the induced slide on cohomology with the positive-degree partial Frobenius action. The passage between orders uses the same proper convolution direct images and Satake fusion maps as coalescence. If \(d_i>1\), the intermediate moves are disjoint from the spectator, and the returning move uses this Satake interchange. The full cycle consequently acts by \(T_{V_i}(\gamma_i)\) with every spectator, proving the matrix identity in (10). All comparisons use the product Weil actions of Lemma 3, so are compatible as the finite set of legs varies. ◻

Proof. All assertions except finite type and the invariant evaluations follow from the construction. The annihilator is graded because \(f\) is homogeneous and is \(A\)-stable because \(f\) is invariant. For the invariant evaluation, append an identity variable to convert \(F\) into a function invariant under simultaneous left and right multiplication. The action of this function is the corresponding excursion operation, by creation and annihilation in (5). Lemma 3(iii) identifies its action on \(f\) with \(\nu\). Commutativity then gives the asserted identity throughout the cyclic module \(R\).

Choose one auxiliary good point \(y_0\). All operations producing (11) commute with \(\mathcal H_{y_0}\), so their values on \(f\) belong to its simultaneous Hecke eigenspace. Choose finitely many representations whose matrix coefficients generate \(\mathcal O(A)\). As \(w\) varies in \(\Gamma\), the corresponding matrix entries applied to \(f\) have degree zero and lie in a fixed finite list of \(A\)-isotypic components. In each such component the multiplicity space is finitely generated over the noetherian algebra \(\mathcal H_{y_0}\). Its submodule annihilated by the Hecke maximal ideal is therefore finite-dimensional over \(k\). Hence the entries under consideration span a finite-dimensional subspace of \(R\). Finitely many of them generate all degree-zero matrix coordinates as an algebra. Adding the finitely many linear coordinates of \(\mathbf e\) proves that \(R\) is of finite type. ◻

Proof. Choose a faithful representation of \(A\). The parameter has compact image in its matrices over a finite extension of \(\mathbb Q_\ell\). Chebotarev applied to a sufficiently small finite quotient of this image gives infinitely many Frobenius classes in any prescribed identity congruence neighborhood. Include the constant-field quotient modulo \(|\Omega|\) to impose the degree condition. We may discard \(y_0\) and the finitely many points outside \(U_0\).

All eigenvalues of these matrices are as close to one as required. The weights of a faithful representation generate the character lattice of a maximal torus of \(A\), so a torus representative \(t_{\mathrm{ad}}\) lies in a sufficiently small neighborhood of one. Choose the neighborhood so that the torus logarithm is injective there and on its Weyl transforms. The Weyl stabilizer of \(t_{\mathrm{ad}}\) then equals the stabilizer of its logarithm. The stabilizer of that vector is generated by the reflections in the roots vanishing on it. To apply the usual real reflection-group statement, one may replace the logarithm by a real vector having the same stabilizer and root vanishings: these conditions are membership and nonmembership in finitely many rational linear subspaces. Injectivity of logarithm identifies the vanishing roots with those \(\alpha\) for which \(\alpha(t_{\mathrm{ad}})=1\).

The identity component of a semisimple centralizer is generated by the torus and these root groups, and its component group is the corresponding quotient of Weyl stabilizers [13]. Thus \(Z_A(t_{\mathrm{ad}})\) is connected. Every generating reflection also fixes any lift \(t\in L\), because its root evaluates to one on \(t\). This proves connectedness of \(Z_L(t)\) and shows that no nontrivial central translate of \(t\) is conjugate to \(t\).

The torus quotient by the Weyl group computes the conjugation quotient. The last assertion says exactly that \(Z(L)\) acts freely on \(L/\!/L\) over the class in question. After shrinking around that class, its quotient map is a torsor. The natural map \[L\longrightarrow A\mathbin{\times}_{A/\!/A}(L/\!/L)\] is a map of \(Z(L)\)-torsors and hence an isomorphism on this open. The centralizer identity follows, either from this description or from the equality of Weyl stabilizers just proved. ◻

Proof. In a maximal torus containing \(t\) and \(m\), the logarithmic absolute-value direction of \(t\), using base \(r\), is \(m/2\). Indeed the compact factor has direction zero. If a root evaluates to one on \(t\), it therefore has \(m\)-weight zero; if it evaluates to \(r\), it has \(m\)-weight two. Since \(H\) is connected, this proves the assertions about \(m\) and \(E_t\).

The compatible-triple and finite-orbit statements are the resonance orbit lemma of [23]. Nilpotence can also be seen directly: a homogeneous invariant polynomial \(P\) of positive degree \(j\) satisfies \(P(e)=P(re)=r^jP(e)\), and hence vanishes. For the specified raising element, decompose \(\mathfrak g\) into irreducible \(\mathfrak{sl}_2\)-modules and simultaneous \(c\)-eigenspaces. The Lie algebra of \(H\) is the part with \(m\)-weight zero and \(c\)-eigenvalue one, while \(E_t\) is the part with \(m\)-weight two and \(c\)-eigenvalue one. Raising maps weight zero onto weight two in every such irreducible module. Thus the orbit tangent map \[\operatorname{Lie}H\longrightarrow E_t, \quad X\longmapsto[X,e]\] is surjective. The orbit is open, and an irreducible vector space has at most one open orbit. An element of \(H\) fixing \(e\) also fixes the neutral element \(dm\); uniqueness of the lowering element then makes it centralize the triple. Its stabilizer is consequently the centralizer of the remaining semisimple factor \(c\) in the reductive triple centralizer, and is reductive. If the triple is zero, the same absolute-value calculation gives \(E_t=0\). ◻

Proof. The closed-orbit criterion for tuples identifies complete reducibility of the generated subgroup with closedness of its simultaneous conjugation orbit; in characteristic zero, reductive subgroups are completely reducible [4]. There is a finite tuple of each image that tests the same parabolic and Levi containments as the whole image. For example, embed \(B\) in \(\operatorname{GL}(V)\) and choose a finite tuple spanning the associative algebra generated by the image; this is a generic tuple in the sense of [6]. Choose finitely many elements of \(\Delta\) that give such tuples for both homomorphisms. Enlarging any finite test tuple by these elements makes both orbits closed. Equality of invariant values then makes the two enlarged tuples conjugate, because an affine reductive quotient separates closed orbits.

For each \(\delta\in\Delta\), the equation \(g\rho_1(\delta)g^{-1}=\rho_2(\delta)\) defines a closed subset of \(B\). What we have proved gives the finite intersection property for this family. Noetherianity implies that its total intersection is nonempty, yielding one conjugator for all of \(\Delta\). ◻

Proof. We first construct a reductive commuting pair in \(A\) with the same full tuple invariants as \(b\), then recover \(\sigma_\nu\) and lift the pair through the finite center.

Removing the unipotent part of the scaling normalizer. The assumed orbit gives an \(\mathfrak{sl}_2\)-triple with raising element \(e\) in the prescribed orbit. Let \(\phi:\operatorname{SL}_2\to A\) be its homomorphism and \(h(z)=\phi(\operatorname{diag}(z,z^{-1}))\). The relation (7) at \(z\) says \[\operatorname{Ad}(b(w))e=q^{\deg(w)}e \qquad(w\in\Gamma).\] The centralizer \(Z_A(e)\) is contained in the Jacobson–Morozov parabolic \(P(h)\), whose weights are nonnegative. Indeed, the unipotent radical of \(Z_A(e)\) has positive \(h\)-weights, while a reductive factor of \(Z_A(e)\) is the triple centralizer [9]. Since \(h(a^{\deg(w)})\) has precisely the indicated scaling on \(e\), every \(b(w)\) lies in \(P(h)\). Project to its Levi subgroup \(Z_A(h)\). Removing \(h(a^{\deg(w)})\) from that projection leaves an element centralizing \(e\) and \(h\), hence the whole triple. We obtain \[b_0(w)=c(w)h(a^{\deg(w)}), \qquad c:\Gamma\to Z_A(\phi(\operatorname{SL}_2)).\] Because the cocharacter is central in the Levi, \(c\) is a homomorphism. A Levi projection is a limit of conjugations by a cocharacter. It therefore preserves the values of all invariant functions on every simultaneous tuple.

Making the closure reductive. Consider the image of the product homomorphism \(c\times\phi:\Gamma\times\operatorname{SL}_2(k)\to A(k)\). Choose a parabolic minimal among those containing this product image, allowing \(A\) itself, and project into a Levi. The projected image lies in no proper parabolic of that Levi and consequently has reductive closure in characteristic zero. This is the usual complete-reducibility construction [5]. Denote the projected maps by \(c_1,\phi_1\) and the diagonal of \(\phi_1\) by \(h_1\). The image of \(\phi\) was already reductive, so its Levi projection is conjugate to it. In particular \(d\phi_1\) has the same raising orbit as \(d\phi\).

The closure of \(c_1(\Gamma)\) is a normal subgroup of the reductive closure of the product image, and is reductive. Moreover \[b_1(w)=c_1(w)h_1(a^{\deg(w)})\] has reductive closure. To verify the last assertion, take the closure of \(w\mapsto(c_1(w),a^{\deg(w)})\) in \(\overline{c_1(\Gamma)}\times\mathbb G_m\). Both projections have reductive closure, so its unipotent radical projects trivially to both factors and is trivial. The multiplication map \((c,z)\mapsto ch_1(z)\) is a homomorphism because the factors commute, and its image is reductive. Both projections made in the proof have preserved all invariant tuple evaluations.

Recovering the given parameter. Proposition 8 identifies those tuple evaluations with the evaluations of \(\sigma_{\nu,\mathrm{ad}}|_\Gamma\). The latter has reductive closure: \(W_U\) is dense in \(\pi_1(U)\), and the original parameter is semisimple. Lemma 11 therefore gives one conjugation making \[\sigma_{\nu,\mathrm{ad}}(w) =c_1(w)h_1(a^{\deg(w)}) \qquad(w\in W_U).\] Lift that conjugation to \(L\). The homomorphism \(\phi_1\) lifts through \(L\to A\) because \(\operatorname{SL}_2\) is simply connected. Call its lift \(\phi_\nu\) and its diagonal cocharacter \(\widetilde h_1\). Define \[ \tau_\nu(w)=\sigma_\nu(w) \widetilde h_1(a^{\deg(w)})^{-1}. \tag{12}\] Its adjoint image is \(c_1(w)\) and centralizes the adjoint triple. Commutation modulo a finite center implies commutation with the lifted triple: the corresponding commutator map from connected \(\operatorname{SL}_2\) to the finite center is constant. Thus \(\tau_\nu(w)\) lies in the full group \(Z_L(\phi_\nu(\operatorname{SL}_2))\). It commutes with the diagonal cocharacter, and (12) is a homomorphism. Its closure is reductive, since its adjoint image has reductive closure and the kernel of \(L\to A\) is finite.

All algebraic maps, conjugators, and \(a\) involved are defined over some finite extension of \(\mathbb Q_\ell\); enlarging the field of definition of \(\sigma_\nu\) accommodates them all. Equation (12), together with continuity of the degree map in the Weil topology, proves continuity of \(\tau_\nu\). It also proves the required equality on all of \(W_U\), including geometric monodromy and the inertia remaining in \(\pi_1(U)\). No connectedness assumption on the triple centralizer has been made.

Purity at all embeddings. Fix an arbitrary closed point \(y\in |U|\) and an arbitrary complex embedding of \(\overline{\mathbb Q}\). Eigenvalues of every rational representation of \(L\) on \(\sigma_\nu(\operatorname{Frob}_y)\) are algebraic, by Theorem 1. The diagonal factor has eigenvalues powers of \(a^{\deg(y)}\) and commutes with \(\sigma_\nu(\operatorname{Frob}_y)\). Simultaneous triangularization therefore proves algebraicity of all eigenvalues of \(\tau_\nu(\operatorname{Frob}_y)\) as well.

Take a complex realization of \(k\) extending the chosen embedding on \(j(\overline{\mathbb Q})\), and use a maximal torus containing the semisimple part of \(\tau_\nu(\operatorname{Frob}_y)\) and \(\widetilde h_1(\mathbb G_m)\). Let \(\lambda_\tau\) be the real cocharacter direction obtained by taking logarithms of absolute values, with base \(q_y\). The direction for \(\sigma_\nu(\operatorname{Frob}_y)\) is \[\tfrac12\widetilde h_1+\lambda_\tau.\] These summands are orthogonal for a positive Weyl-invariant form on the real cocharacter space, for example the form induced by the adjoint representation. Indeed, the semisimple part of \(\tau_\nu(\operatorname{Frob}_y)\) centralizes the triple. Every root occurring in its raising or lowering element evaluates to one on this semisimple part, hence vanishes on \(\lambda_\tau\). Consequently \(\lambda_\tau\) centralizes the triple as a Lie element. Invariance of the form and the expression of the neutral element as a bracket give \(\langle\lambda_\tau,\widetilde h_1\rangle=0\). This argument also applies when the centralizer is disconnected.

By Theorem 1, the norm of the logarithmic direction of \(\sigma_\nu(\operatorname{Frob}_y)\) is the norm of one half of a cocharacter for \(\mathcal O_\nu\). The cocharacter \(\widetilde h_1\) belongs to that same orbit, so \[\left\|\tfrac12\widetilde h_1+\lambda_\tau\right\|^2 =\left\|\tfrac12\widetilde h_1\right\|^2.\] Orthogonality and positive definiteness force \(\lambda_\tau=0\). Every weight in every rational representation therefore has absolute value one on \(\tau_\nu(\operatorname{Frob}_y)\). Since the place and the embedding were arbitrary, this is the required purity. ◻

Proof. Invariant evaluations in Proposition 8 place the semisimple holonomy in the specified conjugacy class. Write the aligned holonomy as \(t_{x_i,\mathrm{ad}}u\), with \(u\) unipotent in its centralizer. Relation (7) then implies \(\mathbf e\in E_{t_{x_i}}\) and \(\operatorname{Ad}(u)\mathbf e =\mathbf e\). To see this, take the commuting semisimple and unipotent parts of its adjoint action on the eigenvector \(\mathbf e\).

For a \(k\)-point the result is the contrapositive of Proposition 12. The condition of reaching the open orbit is constructible: it is the image of the incidence condition that an aligning conjugator sends the holonomy into \(t_{x_i,\mathrm{ad}}\) times the centralizer’s unipotent variety, and sends \(\mathbf e\) into \(E_{t_{x_i}}^{\mathrm{op}}\). Since \(R\) is of finite type over the algebraically closed field \(k\), a nonempty constructible subset contains a closed \(k\)-point. Thus no geometric point can reach the open orbit either. ◻

Proof. We track the construction on the monodromic categories before passing to Iwahori equivariance. The coherent functors in that construction are specified by the following data: representation twists, Wakimoto line bundles, the lowest-weight arrows, the tautological nilpotent endomorphism, and the two Cartan-coordinate actions. These are the data of [10]. Corollary 18 of that paper is a uniqueness statement for the additive category of free equivariant coherent sheaves on its homogeneous-coordinate scheme: the indicated tensor functor, endomorphisms, and lowest-weight arrows determine the functor on all its morphisms. We first compare these data, and then explain the extension to the full derived categories.

Give the Wakimoto and central objects their split Weil structures. The representation maps and lowest-weight arrows are Weil maps. Here we use the lowest-weight terminology of [10]; these are the extremal arrows in the earlier construction. Their Weil structures use the top-cell normalization, and its compatibility with tensor products is the calculation in [1]. If \(M\) is either a nearby-cycle logarithm or a torus-monodromy logarithm, its Tate-valued form is a Weil morphism \(M:\mathcal F\to\mathcal F(-1)\). After forgetting the Tate twist, the chosen Weil map \(w:\operatorname{Fr}^*\mathcal F\to\mathcal F\) therefore gives \[ w\,\operatorname{Fr}^*(M)\,w^{-1}=q^{-1}M. \tag{14}\] For nearby cycles this is precisely the second identity in [1]; for torus monodromy it follows from the geometric Frobenius action \(q^{-1}\) on the tame cocharacter space \(X_*(T)\otimes k(1)\). The same calculation applies to both the left and right torus actions. It also applies to the pro-unipotent objects, by passage to their finite monodromy quotients.

Under the preferred identification of a pushed-forward free bundle with the original free bundle, \((\mu_q)_*\) sends a matrix of polynomial functions \(a(N)\) to \(a(q^{-1}N)\). Thus it fixes the representation and lowest-weight maps and multiplies both the tautological endomorphism and each linear Cartan-coordinate map by \(q^{-1}\). This is exactly (14). Corollary 18 consequently gives a natural comparison on the entire free coherent category. Its application in [10] uses two Wakimoto actions and two Cartan actions; the comparison respects the diagonal representation identification and equality of the two tautological endomorphisms. It therefore descends to the same Steinberg homogeneous-coordinate scheme used there. This is a comparison of actions, natural also in the object acted upon. Indeed, the representation and Wakimoto actions are convolution functors, and their Weil comparisons come from natural pullback and nearby-cycle comparisons. Corollary 18 is applied in Section 4.4.1 with its target the category of endofunctors of the monodromic category. Thus, writing \(\mathcal A_P\) for the action of a free coherent label \(P\), the comparison has the form \[\operatorname{Fr}^*\mathcal A_P(\operatorname{Fr}^*)^{-1} \simeq\mathcal A_{(\mu_q)_*P},\] natural in all morphisms of \(P\) and of the acted-on object.

This comparison extends to perfect complexes by the construction in [10]. More explicitly, that construction twists a finite free complex by sufficiently anti-dominant Wakimoto objects on the left and sufficiently dominant ones on the right, and evaluates it on a finite complex of free-monodromic tilting objects. Its value is the total complex of the resulting bicomplex. Frobenius preserves the tilting subcategory, and the comparison just constructed commutes with every differential and with both Wakimoto twists. It hence gives an isomorphism of these total complexes. The canonical homotopy comparisons for different choices of these twists commute with this isomorphism. The acyclic subcategory and the idempotents used in the localization of that section are preserved by dilation, so the comparison descends to the perfect-category action. Evaluating on the anti-spherical tilting object \(\widehat\Xi\) gives the comparison for the functor denoted \(\Phi_{\mathrm{perf}}\) in [10]. To choose its Weil isomorphism, recall that \(\widehat\Xi=\widehat T_{w_0}\) is the unique indecomposable free-monodromic tilting object with the specified Schubert support and free-standard normalization [10]. Frobenius preserves the split stratification and those filtrations, so \(\operatorname{Fr}^*\widehat\Xi\simeq\widehat\Xi\). Choose such an isomorphism, and obtain the one-sided version by projection. Since the action comparison is natural in the object acted upon, this choice gives a comparison natural in every perfect label.

The extension from perfect to bounded coherent objects is determined by representability, rather than by choices of cones. Write \(\Upsilon(M)\) for the coherent object representing \(P\mapsto\operatorname{Hom}(\Phi_{\mathrm{perf}}P,M)\), as in [10]. Here \(P\) is a coherent perfect object, \(M\) is constructible and monodromic, and \(\Phi_{\mathrm{perf}}\) runs from coherent to constructible objects, in the direction opposite to (13). The comparison on perfect objects gives, naturally in \(P\) and \(M\), \[\begin{align*} \operatorname{Hom}(P,\Upsilon(\operatorname{Fr}^*M)) &\simeq\operatorname{Hom}((\operatorname{Fr}^*)^{-1}\Phi_{\mathrm{perf}}P,M)\\ &\simeq\operatorname{Hom}(\Phi_{\mathrm{perf}}(\mu_q)_*^{-1}P,M)\\ &\simeq\operatorname{Hom}((\mu_q)_*^{-1}P,\Upsilon M)\\ &\simeq\operatorname{Hom}(P,(\mu_q)_*\Upsilon M). \end{align*}\] The uniqueness assertion in Proposition 32(a) gives the required natural isomorphism on all objects. Its construction is compatible with shifts and exact triangles. The same construction works on the formal completion: dilation preserves the monodromy-adic filtration, and the comparison commutes with all its quotient maps. It is therefore compatible with the passage between completed and finite-monodromy categories in Section 9.2.

It remains to pass from the completed monodromic category to \(I\)-equivariance. We make this passage in a derived category of modules. In particular, boundedness of an object will not mean boundedness of its equivariant mapping complex.

Put \[R=\operatorname{Sym}(\mathfrak t_L\oplus\mathfrak t_R),\qquad K=R\otimes\Lambda((\mathfrak t_L\oplus\mathfrak t_R)[1]), \qquad d\epsilon_x=x.\] The two actions of \(R\) are the left and right logarithms of monodromy; on the coherent side they are the two Cartan-coordinate actions. On completed categories we may instead use the completed ring and the base change of \(K\); the zero-monodromy argument below will justify agreement on the bounded locus in question. All module objects below are internal to the stated monodromic or coherent category, with these actions of \(R\).

First, the completed monodromic comparison has a concrete \(R\)-linear enhancement on which to form such modules. Write \(\widehat{\mathcal T}\) for the additive category of free-monodromic tiltings. Proposition 7(a) and Remark 8 of [10] give generation by these objects and \[\operatorname{Hom}^j(T,T')=0\quad(j\ne0).\] Negative vanishing also follows directly from the perverse heart. Their images under the completed coherent equivalence are coherent sheaves, by Corollary 25 as used in Section 9.3 of that paper, and have the same vanishing. For either full dg subcategory on these objects, truncation of its mapping complexes in degrees at most zero, followed by passage to degree-zero cohomology, is a zigzag of dg equivalences. Truncation respects composition and the two degree-zero \(R\)-actions. The additive comparison thus identifies these dg subcategories and their stable idempotent-complete envelopes. Those envelopes are the completed monodromic and coherent categories. This construction also carries the natural Frobenius comparison already obtained above: on tiltings its components and naturality identities are actual degree-zero maps. No uniqueness assertion for arbitrary enhancements is being used.

We record explicitly the derived module convention. For a monodromic perverse heart \(\mathcal P\), take complexes with compatible strict \(K\)-action and invert maps which are quasi-isomorphisms on the underlying complexes. Denote the resulting stable category by \(\mathsf E_K(\mathcal P)\), restricting to objects with bounded cohomology in \(\mathcal P\). Its mapping complexes are derived module mapping complexes. Equivalently, it is the category of homotopy-coherent internal \(K\)-modules in the derived category of \(\operatorname{Ind}(\mathcal P)\) with that boundedness condition. Here is a description of this equivalence which also fixes the mapping complexes. The free-module monad is \[T_K(M)=K\otimes_R M.\] It preserves quasi-isomorphisms because \(K\) is finite free as a graded \(R\)-module. Work first in the Grothendieck category \(\operatorname{Ind}(\mathcal P)\), allowing unbounded resolutions. After localization the forgetful functor is conservative, since weak equivalences were defined on underlying complexes. It preserves geometric realizations: underlying mapping cones compute cofibers, and sums and filtered colimits are exact in this Grothendieck category. The free-module adjunction consequently identifies its monad with the derived functor \(T_K\) above. Its augmented simplicial free-module resolution has the extra-degeneracy contraction after forgetting the action. The resulting bar comparison identifies the localization with coherent modules for this monad. Thus strictification is performed after resolving in the ind-category; it does not require derived maps to be strict chain maps on a previously chosen bounded representative. Applying the free-module adjunction to the bar resolution gives, for every pair of modules, the mapping complex \[\operatorname{RHom}_K(M,N) \simeq \operatorname{Tot}_{[n]\in\Delta} \operatorname{RHom}(T_K^nUM,UN),\] where \(U\) forgets the action, and the faces and degeneracies use its unit, multiplication, and the two module structures. Composition is the composition of these derived module maps.

This description does not impose finite length on a resolution. For clarity, it nevertheless gives the same bounded derived quotient as the one with complexes in \(\mathcal P\). On a fixed finite Schubert support the ordinary heart is noetherian. Since \(K\) is nonpositive and finite over \(R\), a strict module with bounded cohomology in \(\mathcal P\) admits a bounded-above representative whose terms lie in \(\mathcal P\): first truncate above the cohomological range, and choose finite subobjects representing its highest nonzero cohomology, close them under the finitely many exterior \(K\)-operations, and proceed downwards, adjoining finite preimages of the kernels to be killed. Noetherianity keeps each such kernel finite. The required finite preimages exist because \(\operatorname{Ind}(\mathcal P)\) is locally noetherian: a noetherian subobject of a quotient is covered by the images of noetherian subobjects of the source, and finitely many of those images already cover it. Every chosen subobject is already \(R\)-stable because the monodromy action of \(R\) is central and natural on \(\mathcal P\). In each fixed degree only finitely many preceding steps contribute, since \(K\) has finite amplitude. If \(N'\) is the resulting bounded-above strict module and \(a\) is below its cohomological range, replace it by \(N'/\tau_{\leq a-1}N'\). The good upper truncation is a dg \(K\)-submodule because \(K\) is nonpositive; this quotient is bounded and quasi-isomorphic to \(N'\), with at most one extra lower term. For roofs and homotopies choose \(a\) also below the term bounds of the bounded endpoints. The maps and homotopies then factor through the quotient. This proves that their localization is computed in the bounded subcategory. Alternatively, the normalized bar terms use \(\overline K=K/R\) and \((\overline K[1])^{\otimes_R n}\); their strictly decreasing degrees explain why the bar construction is degreewise finite on a bounded representative. Its infinitely many lengths remain essential in the derived mapping complex.

Now form these internal modules in the completed monodromic category. For such a module, \(x=d\epsilon_x\) acts nullhomotopically on the underlying object, and hence acts zero on every perverse cohomology object, for both Cartan actions. A completed perverse object with zero monodromy equals its monodromy coinvariants. Those coinvariants are finite objects by the definition of the completed category in [10]. It therefore belongs to the ordinary monodromic heart. Boundedness and the fully faithful inclusion of the ordinary monodromic category into its completion put the underlying complex in the ordinary derived category. Conversely such complexes embed in the completion. The bar terms in the bar formula are obtained from the underlying objects by finitely many sums, shifts, and cones, using the finite filtration of each tensor power of \(K\). Thus this inclusion identifies the full mapping complexes of their \(K\)-modules. Thus the completed model has reduced to the ordinary derived module quotient.

At the level of homotopy categories this quotient is exactly \(D(\mathcal P_{\mathrm{eq}})\) in [10]. That lemma identifies it with the torus-equivariant derived category. Apply it to the two torus actions on the double \(I^0\)-monodromic category, using finite-type jet quotients on every finite Schubert support. We obtain the Iwahori category \(\operatorname{Ho}(\mathscr H)\). This is an exact realization, so it identifies every \(H^j\) of the derived mapping complex with the corresponding \(\operatorname{Hom}(-,-[j])\). We have used the derived quotient in Lemma 44(a), not strict chain Hom between finite tilting complexes.

On the coherent side, the same construction gives bounded coherent modules on the derived zero fiber \[\bigl(\widetilde{\mathfrak g}\times_{\mathfrak g}\widetilde{\mathfrak g}\bigr) \mathbin{\times}^{\mathbf R}_{(\mathfrak t^*)^2}\{0\} \simeq \widetilde{\mathcal N}\mathbin{\times}^{\mathbf R}_{\mathfrak g} \widetilde{\mathcal N}=\mathcal Z.\] Indeed, on an affine coherent chart with coordinate algebra \(A\), its algebra is \(A\otimes_R K\), and derived modules over this algebra are precisely internal \(K\)-modules. Its underlying \(A\)-complex has bounded coherent cohomology exactly on the required coherent locus. The comparison of mappings is the full bar totalization, and these descriptions glue equivariantly. Formal completion has no effect on this locus because both Cartan coordinates act zero on cohomology. The enhanced comparison of the completed ambient categories therefore gives the required equivalence of these derived module models.

The ordinary monoidal comparison is compatible with this localization. Before imposing equivariance, convolution preserves \(\widehat{\mathcal T}\), and its comparison is the one in [10]. After imposing the outer \(K\)-actions, convolution has a further closed degree-minus-one operator: it is the difference of the right nullhomotopy on the first factor and the left nullhomotopy on the second. Their differentials agree. These operators give the middle algebra \(\Lambda(\mathfrak t[1])\), and convolution is computed by \[(M,N)\longmapsto (M\star N)\mathbin{\otimes}^{\mathbf L}_{\Lambda(\mathfrak t[1])}k.\] Here \(\star\) is the derived completed monodromic convolution with its inherited coherent \(K\)-actions, computed after replacing the inputs by compatible resolutions; the outer left and right actions are retained. In particular, one must not replace its middle operator by the difference of unresolved zero homotopies. Compute the displayed tensor product with its full bar resolution. For three factors the two orders of contraction are the two iterated realizations of one bisimplicial bar object; their Fubini identification gives the associativity comparison, and the same construction handles any number of factors. On the constructible side this is the torus pushforward calculation of [10], whose proof uses Lemma 44(a),(b). On the coherent side it is the derived fiber-product calculation for convolution. To pass from free modules to bounded modules, let \(M_s\to M\) and \(N_s\to N\) be finite skeleta of their normalized free-module bars, and let \(C_s\) be their contracted completed monodromic convolution. For a pair of induced free \(K\)-modules, the difference of the two middle exterior generators is a closed member of a free exterior basis. Their completed convolution is therefore free over the middle algebra \(\Lambda(\mathfrak t[1])\), and its contraction has a finite representative. Finite cones give the same conclusion for \(C_s\). Lemma 51 applied to these finite complexes gives natural identifications \[\operatorname{real}_{\mathrm{eq}}(C_s) \simeq \operatorname{real}_{\mathrm{eq}}(M_s) *\operatorname{real}_{\mathrm{eq}}(N_s) \longrightarrow G:=\operatorname{real}_{\mathrm{eq}}(M) *\operatorname{real}_{\mathrm{eq}}(N),\] where the last map is the geometric convolution of the augmentations.

Form \(C=\operatorname*{colim}_s C_s\) in the derived category of \(K\)-modules over \(\operatorname{Ind}(\mathcal P)\) on the constructible side. This is a derived module colimit, with its full mapping complexes. Normalized bar length shifts the upper perverse bound towards minus infinity: its terms contain \(\overline K[1]\), and the middle contraction is a derived tensor product over a nonpositive algebra. The latter preserves upper cohomological bounds. Together with the uniform finite amplitude of completed monodromic convolution on the fixed supports, this gives numbers \(b_s\to-\infty\) such that \[\operatorname{Cone}(C_s\longrightarrow C_t) \in D^{\leq b_s}(\operatorname{Ind}(\mathcal P)) \qquad(t\geq s).\] The same bound holds with \(C\) in place of \(C_t\), since filtered colimits are exact. All these complexes have a common upper bound. Consequently, for every fixed \(a\), the module truncation \(\tau_{\geq a}C\) is represented by \(\tau_{\geq a}C_s\) for sufficiently large \(s\). It has bounded cohomology in the finite heart \(\mathcal P\), so that the ordinary equivariant realization of Lemma 44(a) applies to it.

Use the fixed smooth shift in Lemma 44(b) to match the perverse indices of the module and equivariant categories. The canonical maps from \(C_s\) to \(\tau_{\geq a}C\), together with the geometric augmentation above, give, for sufficiently large \(s\), the natural comparison \[\operatorname{real}_{\mathrm{eq}}(\tau_{\geq a}C) \simeq \tau_{\geq a}G.\] Indeed, the first map becomes an isomorphism after \(\tau_{\geq a}\) by the stabilization just proved. The geometric augmentation has a cone with upper bound tending to minus infinity by Lemma 44(b) and the finite amplitude of geometric convolution. Applying the fixed lower perverse truncation therefore identifies both sides with the truncation of \(\operatorname{real}_{\mathrm{eq}}(C_s)\). Geometric convolution on finite Schubert supports is bounded. Varying \(a\) below its lower bound now proves that \(C\) itself has bounded cohomology in \(\mathcal P\) and that \(\operatorname{real}_{\mathrm{eq}}(C)\simeq G\). This proves boundedness in the constructible model before using the coherent comparison. Naturality and associativity follow by applying these augmentation spans to each finite diagram in the common multibar construction.

We compare with the coherent calculation separately. The completed ambient tilting comparison respects convolution at the enhanced level: convolution preserves tiltings, and the same degree-zero truncation of their multimorphism complexes transports the monoidal identities of Section 10.2. It therefore carries each finite \(C_s\), its outer actions, and its augmentation to the corresponding finite coherent bar calculation. Write \(F\) for this completed comparison. The cones of \(C_s\to C\) are now bounded modules. Their perverse cohomology has zero Cartan monodromy and is supported on a fixed finite Schubert union, so its simple constituents belong to a fixed finite set. The images under \(F\) of these simples have a common upper coherent bound \(B\). Finite extensions and bounded Postnikov towers imply \[F\bigl(\operatorname{Cone}(C_s\to C)\bigr) \in D^{\leq b_s+B}_{\mathrm{coh}}.\] The same finite-simple argument applies to the bounded input cones of \(M_s\to M\) and \(N_s\to N\), so their images under \(F\) have coherent upper bounds tending to minus infinity. The finite free-module calculation therefore gives bounded coherent augmentation spans \[F(C)\longleftarrow F(C_s) \simeq F(M_s)*_{\mathrm{coh}}F(N_s) \longrightarrow F(M)*_{\mathrm{coh}}F(N).\] The left cones tend to minus infinity by the displayed estimate. The right cones do so as well: coherent convolution has a uniform upper cohomological amplitude on the fixed supports, by finite Tor amplitude over the smooth middle Springer resolution and the final proper projection. Applying any fixed lower coherent truncation to a sufficiently long finite span identifies its two ends. Both ends are bounded coherent objects, giving the required natural identification \(F(C)\simeq F(M)*_{\mathrm{coh}}F(N)\). The same finite-diagram argument preserves associativity, the outer actions, and the structural maps. No unbounded coherent bar or compactness assertion in an ind-coherent category is used. The geometric truncations were perverse truncations, whereas these last spans use the ordinary coherent \(t\)-structure; the ambient equivalence was not assumed to identify the two. Throughout, mapping complexes remain the full derived bar totalizations. Consequently this computation restricts to the stated categories. It is the derived-localization construction of the ordinary equivalence and monoidal structure in Sections 9.3 and 10.3, including their maps, rather than an identification of generator objects alone. We use this realization for \(\Phi\) in (13).

Finally define \(\sigma_q\) on \(R\) and \(K\) by \[x\longmapsto qx,\qquad \epsilon_x\longmapsto q\epsilon_x\] in both Cartan directions. Restriction along this map changes the monodromy and its nullhomotopy by the same scalar. It acts on every term, face, and degeneracy of the module bar construction, so the natural comparison on completed tiltings induces a natural comparison on the entire derived module category and all its mapping complexes. The realization in Lemma 44(a) respects this operation: on a trivial torus torsor, pullback by the \(q\)-power map replaces tame monodromy \(T\) by \(T^q\), and hence replaces its logarithm by \(q\) times that logarithm. The equivariant smooth descent in that proof uses the same isogeny on the acting torus and therefore glues this comparison. On the coherent derived zero fiber, restriction along \(\sigma_q\) is \((\mu_q)_*\), including its action on the derived coordinates. We have proved the claimed natural exact comparison, with its action on every shifted Hom group. This agrees with (14): that formula conjugates a pulled-back morphism by a chosen Weil identification, whereas restriction along \(\sigma_q\) describes the canonical monodromy of the pulled-back object. These are the respective \(q^{-1}\) and \(q\) descriptions of the same comparison.

There is a useful full-mapping check. In rank one for the torus group, the completed double-monodromic category is modeled by \(A=k[[x]]\), with \(R=k[x_L,x_R]\) acting diagonally. Thus \(A\otimes_R K\) is quasi-isomorphic to \(\Lambda(\eta)\), where \(|\eta|=-1\) and \(\eta=\epsilon_R-\epsilon_L\). The unit is the augmentation module. Resolve its underlying \(A\)-module by \(P=A\otimes\Lambda(e)\), \(de=x\), with both \(\epsilon_L\) and \(\epsilon_R\) acting by \(e\). Then \(P\otimes_A P=A\otimes\Lambda(e_1,e_2)\), and the middle operator is \(e_1-e_2\). It acts freely on the exterior factor generated by \(e_2-e_1\); the derived middle contraction removes this factor and returns \(P\). This verifies the convolution unit as well as the need to retain the actions on the derived ambient product. The semifree resolution of its augmentation module has generators \(p_n\) of degree \(-2n\) and differential \(dp_n=\eta p_{n-1}\). It gives \[\operatorname{Ext}^\bullet_{\Lambda(\eta)}(k,k)=k[u],\qquad |u|=2.\] For \(\eta\mapsto q\eta\), the comparison on this resolution sends \(p_n\) to \(q^n p_n\) in the restricted module. Pushforward therefore sends \(u\) to \(qu\), agreeing with geometric Frobenius on \(H^2(BT,k)\). The infinite polynomial tail is retained; no bound on the chain Hom of a finite representative has been imposed. No monoidality of the Frobenius comparison is asserted at this stage. ◻

Proof. Let \(I^0\) be the pro-unipotent radical of \(I\). Forgetting from \(I\)-equivariance to \(I^0\)-equivariance fits into the diagram of [8]. On the coherent side its counterpart is direct image under the closed affine inclusion \[i:\widetilde{\mathcal N}\mathbin{\times}^{\mathbf R}_{\mathfrak g} \widetilde{\mathcal N} \longrightarrow \widetilde{\mathfrak g}\mathbin{\times}_{\mathfrak g}\widetilde{\mathcal N},\] where \(\widetilde{\mathfrak g}\) is the Grothendieck–Springer resolution. The representation action in Bezrukavnikov’s construction identifies convolution by the central sheaf with tensoring by \(V\) on this one-sided-monodromic category; see [10]. In particular, applying that action to the forgotten unit identifies the direct image of \(\Phi Z(V)\) with \(i_*D(V)\). The compatibility of the central action with forgetting equivariance is also expressed in the pro-monodromic formulation of [10].

Direct image under \(i\) is exact for the ordinary coherent \(t\)-structures and detects their cohomology sheaves. It follows that \(\Phi Z(V)\) is a sheaf, since \(i_*D(V)\) is a sheaf. On these hearts \(i_*\) is fully faithful: it is restriction of scalars along the quotient defining the closed immersion. The displayed identification after \(i_*\) therefore lifts to an isomorphism \(\Phi Z(V)\simeq D(V)\). If the forgetful diagram is written with a common shift, the shift cancels by applying the same diagram first to the unit. This argument identifies objects and does not require an enhanced assertion about their central structures. ◻

Proof. The goodness theorem for split Schubert varieties and their convolutions gives very pure stalks, with the normalization just specified; see [12]. Verdier duality gives the same degree–weight assertion for costalks. For the inclusion \(j_O\) of a smooth orbit, passing from point costalks to the ordinary fibers of \(j_O^!Q\) removes the common shift and twist contributed by the orbit dimension. Thus both \(H^a((j_O^*P)_x)\) and \(H^b((j_O^!Q)_x)\) have weights \(a\) and \(b\), respectively.

The stabilizer of \(x\in O\) has torus quotient \(T\) and a cohomologically trivial unipotent radical. Its equivariant cohomology is therefore \(S_T\), compatibly with the left action. The local terms of the orbit filtration of \(\operatorname{RHom}(P,Q)\) have a coefficient-cohomology spectral sequence with terms \[ \operatorname{Hom}\bigl(H^a((j_O^*P)_x),H^b((j_O^!Q)_x)\bigr) \otimes H^c(BT,k). \tag{15}\] Their total degree and weight are both \(b-a+c\). Every differential changes total degree by one and commutes with Frobenius, so it vanishes. The local graded Hom consequently has a finite filtration whose quotients are finite free graded \(S_T\)-modules. The orbit spectral sequence has the same weight property and also degenerates. There are finitely many orbits on the supports in question, so its resulting module filtration is finite. Extensions of free \(S_T\)-modules are torsion free (in fact they split as \(S_T\)-modules). This proves both conclusions. Concatenating words merely gives another convolution of IC complexes, so the final assertion is included in the same argument. ◻

Proof. First consider a standard object \(\Delta_w\). Its invertibility identifies each of the left and right actions of \(S_T=\operatorname{End}^\bullet(1_I)\) with its full graded endomorphism ring. The two identifications differ by a graded automorphism of \(S_T\). Thus every nonzero homogeneous element acting on the right becomes invertible after localization for the left action. Standard generation extends this property to all objects, since the property of a natural transformation being invertible is preserved under cones and retracts. Interchanging left and right gives the converse. It follows that convolution in either variable preserves the maps being inverted. Hence it descends to the localized category.

For an affine simple reflection \(s\), the relevant Schubert variety is \(\mathbb P^1\) with two strata. The cone of \(\Delta_s\to\nabla_s\) is supported at the closed point. To identify its character also for an affine simple reflection, write the corresponding affine root as \(\alpha+n\delta\). Conjugation by a constant torus element \(t\in T\) sends the root coordinate \(c\,t_0^n\) to \(\alpha(t)c\,t_0^n\), where \(t_0\) is the loop parameter. Thus the tangent character of the opposite chart at the closed point is \(\alpha\) or \(-\alpha\); its finite-root part is nonzero. After restriction to \(T\), the punctured chart is the punctured line for that character. The equivariant localization triangle for its zero section computes the closed-point term by the Euler complex. Applying \(\operatorname{RHom}(1_I,-)\) gives, up to the standard normalization shifts and twists, \[\operatorname{Cone}\bigl( S_T[-2](-1)\xrightarrow{\ \alpha\ }S_T\bigr).\] Here the shift and twist make the Euler map of degree zero; its cohomology is \(S_T/(\alpha)\), up to the same normalization. The remaining factors of the closed-point stabilizer are unipotent, so restriction to \(T\) does not change its equivariant cohomology. Since \(\alpha\ne0\) in characteristic zero, this complex becomes zero over \(K_T\) and has nonzero cohomology before localization. The unit generates the category supported at the closed point, so its Hom detects the cone there. Hence the cone vanishes after localization, giving \(\Delta_s\simeq\nabla_s\) there. A length-zero orbit is already closed, and length-additive convolution now proves the same assertion for all \(w\).

The usual adjunction calculation gives \(\operatorname{Hom}^\bullet(\Delta_w,\nabla_v)=0\) for \(w\ne v\) and identifies the endomorphism ring for \(w=v\) with \(S_T\). After localization the standards are consequently orthogonal and have endomorphism ring \(K_T\). Finite cones and retracts of such objects split into finite sums of their shifts: homogeneous matrices over a graded field reduce to their rank normal form. Standard generation gives the assertion for every object.

Finally, adjunction gives \(\operatorname{Hom}^\bullet(1_I,\nabla_s)=0\), whereas the nonzero Euler complex above gives a nonzero homogeneous morphism from \(1_I\) to a shift of \(\Delta_s\). Convolution by an invertible standard preserves nonzero morphisms. Applying this observation successively along a reduced expression links \(\Delta_\omega\) to every standard in the component \(\omega\in\Omega\). Reversing a chain when necessary links any two standards in that component. ◻

Proof. Choose the intertwiner for one Frobenius and normalize its value on the unit, whose degree-zero endomorphisms are \(k\). Compare its value on \(P*Q\) with the convolution of its values on \(P\) and \(Q\), using the monoidal structures of \(\Phi\), \(\operatorname{Fr}^*\), and \(q_*\). Transporting this discrepancy through the equivalences gives a natural degree-zero automorphism \[\delta_{P,Q}:P*Q\longrightarrow P*Q\] commuting with shifts. If \(P=\Delta_w\) and \(Q=\Delta_v\), their convolution is invertible, so \(\delta_{P,Q}\) is a scalar. Naturality for the nonzero homogeneous maps in Lemma 18, and invertibility of the other factor, shows that this scalar depends only on the components of \(w\) and \(v\). Denote it by \(c(\omega,\omega')\).

The natural transformation \(\delta\) extends to the localized category. There all objects split into sums of shifted standards, so naturality forces its value on any two objects supported in components \(\omega,\omega'\) to be the same scalar \(c(\omega,\omega')\). In particular this holds for IC words. By Lemma 17, localization is injective on the endomorphisms of their convolution. The scalar equality therefore already holds before localization.

Associativity of convolution gives \[c(\omega,\omega')c(\omega\omega',\omega'') =c(\omega',\omega'')c(\omega,\omega'\omega''), \qquad c(1,\omega)=c(\omega,1)=1.\] Thus \(c\) is a normalized multiplicative \(2\)-cocycle on \(\Omega\). Frobenius preserves components and acts trivially on the scalar field. Iterating the intertwiner \(d\) times consequently changes this defect to \(c^d\). Positive-degree cohomology of a finite group is annihilated by its order, by restriction and corestriction to the trivial subgroup. Hence the class of \(c^d\) in \(H^2(\Omega,k^\times)\) is zero. Rescaling the iterated intertwiner on each component by a normalized \(1\)-cochain removes its defect. This rescaling is defined on the entire homotopy category: apply the chosen scalar to every object in the indicated open-and-closed component, and take direct sums over the finite component support of an object. It remains a natural intertwiner of exact functors on all objects and all their morphisms. The resulting intertwiner respects all graded morphisms between words, their tensor products, and the nullary operation specifying the unit. ◻

Proof. A complex with one automorphism is an object of the derived category of \(R=k[u,u^{-1}]\)-modules. The ring \(R\) is hereditary. Every finite-dimensional \(R\)-module has a resolution by finitely generated projectives of length at most one, so it is compact in the derived category. It follows that a complex as in the statement splits into its shifted cohomology modules. One can construct this splitting by lifting each cohomology module with a length-one projective resolution and taking the direct sum; boundedness below and compactness justify the same construction when the complex is unbounded above.

Modules of distinct weights have disjoint \(u\)-spectra, and hence have neither Hom nor Ext between them. For pure modules \(M_i,N_j\) of weights \(i,j\), respectively, the terms contributing to a positive homotopy group of a mapping space are \[\operatorname{Hom}_{D(R)}(M_i[-i],N_j[-j-n]) =\operatorname{Ext}_R^{i-j-n}(M_i,N_j),\qquad n>0.\] They vanish if \(i\ne j\) by the weight distinction, and if \(i=j\) because the Ext degree is negative. In degree zero, the only surviving terms are the ordinary maps \(M_i\to N_i\). The compactness just noted permits the same calculation for the direct sums of cohomology pieces. Thus cohomology is fully faithful on mapping spaces and is evidently essentially surjective. Equal-weight modules may have nonzero \(\operatorname{Ext}_R^1\); this does not affect the calculation, since those groups do not occur in these mapping spaces.

The Künneth isomorphism over \(k\) preserves the automorphism and adds both weights and degrees. Since the complexes are bounded below, only finitely many terms contribute to each degree of a tensor product. Cohomology is therefore a symmetric monoidal equivalence on this subcategory. Apply it to each mapping complex of a diagram and each tensor product serving as the source of a composition operation. All these sources remain in the same subcategory, with discrete mapping spaces. The operations and their coherent identities are consequently determined by their cohomology operations and identities. ◻

Proof. Transport the Weil isomorphism of each normalized IC object across \(\Phi\), and lift that isomorphism to the enhancement of \(\mathscr C\). This requires only the lift of an isomorphism of objects: an action of the freely generated group \(\mathbb Z\) imposes no additional relation. Give each formal word the convolution of these chosen lifts. Lemma 19 says that the resulting Frobenius actions on the graded Hom spaces are exactly those transported through \(\Phi\).

For a list of input words \(P_1,\ldots,P_m\) and an output word \(Q\), use the mapping complex \[\operatorname{RHom}(P_1*\cdots*P_m,Q)\] as the multimorphism complex. The chosen Weil structures give it the conjugation automorphism. Its cohomology is pure in its degree by Lemma 17, on both sides of (13). Composition, tensor product, and the unit are equivariant operations on these complexes, since the Frobenius automorphisms on the original enhanced categories are monoidal. Lemma 20 identifies the two enhanced diagrams from their identified graded diagrams, simultaneously with all these operations. The formal-word indexing ensures that every tensor product being represented is itself among the colors of this diagram.

Forget the automorphism in this identified enriched multicategory and take its stable idempotent-complete envelope. The relevant universal property concerns the full enhanced mapping complexes: restriction identifies exact functors out of the envelope with enriched functors on the generator category. Applying this property in each variable extends the multilinear tensor operations and all their coherence data. Applying it to the already identified diagrams with automorphism extends the Frobenius actions and their monoidal intertwining as well. Thus this passage uses an equivalence of enriched multicategories, not merely agreement of triangulated functors on generator objects. The IC objects generate the constructible side; their images generate the coherent side because \(\Phi\) is an equivalence. These envelopes are therefore exactly \(\mathscr H\) and \(\mathscr C\). ◻

Proof. Transport the perverse \(t\)-structure to the coherent category by \(\Phi\). Use for \(\Phi\) the globally natural exact-functor intertwiner constructed in Lemma 19. It transports the Weil structures on every term and arrow of a weight filtration, even though its monoidality was needed only on the IC-word diagram. The functor \(\Theta\) is \(t\)-exact for this structure: it matches the simple perverse objects, and every perverse object under consideration has finite length. The same argument applies to its inverse. The central sheaf \(Z(V)\) is mixed perverse, by its nearby-cycles construction, and its finite weight filtration has pure perverse quotients \[P_j=\operatorname{gr}_j^W Z(V).\] These statements can be checked on a finite Schubert support. The weight filtration carries the equivariance because it is functorial and compatible with smooth pullback.

By geometric semisimplicity for pure perverse sheaves [7], each \(P_j\) is geometrically a direct sum of IC complexes with Weil multiplicity spaces. Geometric semisimplicity also holds in the equivariant perverse heart. Indeed, forgetting equivariance is fully faithful on this heart for the connected equivariance groups in use. For a morphism of underlying perverse sheaves, the two pullbacks through the equivariance isomorphisms agree if they agree at the identity: connectedness supplies \(H^0\) of the acting group, and the vanishing of negative perverse Hom groups excludes higher terms in degree zero. This can be checked on the finite-type quotients defining the equivariant category. Ordinary splitting idempotents therefore split equivariantly as well. The multiplicity spaces need not have semisimple Frobenius.

The comparison on IC generators identifies the images of the \(P_j\), together with their Weil structures and graded morphisms. We extend these identifications through the weight filtration. Suppose they have already been extended through weight \(j-1\), and put \[B=W_{j-1}Z(V),\qquad A_-=W_{j-2}Z(V).\] The next step is an extension of \(P_j\) by \(B\). Use \(\Phi\) to identify the target heart with the source heart. The induction hypothesis and the chosen pure-piece identification match the two images of \(B\) and \(P_j\), respectively. The two extension classes then lie in the same space \(\operatorname{Ext}^1(P_j,B)^F\). The exact sequence \(0\to A_-\to B\to P_{j-1}\to0\) gives \[ \ker\bigl(\operatorname{Ext}^1(P_j,B)\longrightarrow \operatorname{Ext}^1(P_j,P_{j-1})\bigr) =\operatorname{im}\bigl(\operatorname{Ext}^1(P_j,A_-) \longrightarrow\operatorname{Ext}^1(P_j,B)\bigr). \tag{16}\] All Ext groups here are geometric groups with their Frobenius action. By Lemma 17, \(\operatorname{Ext}^1(P_j,P_i)\) has weight \(1+i-j\). For \(i\leq j-2\) this weight is negative. Applying the long exact sequences through the filtration of \(A_-\) shows that \(\operatorname{Ext}^1(P_j,A_-)\) has only negative weights. Consequently the map in Equation (16) is injective on Frobenius-invariant classes. Its target records the extension \(W_jZ(V)/W_{j-2}Z(V)\) between the two consecutive pure pieces. Its connecting morphism is a degree-one morphism between sums of IC complexes with Weil multiplicities, so the projected classes agree by the comparison of \(\Theta\) and \(\Phi\) on these graded Hom groups. Thus the two full extension classes agree.

It remains to choose an isomorphism of these extensions compatible with Frobenius. With the endpoint identifications fixed, the choices form a torsor under \[H=\operatorname{Hom}(P_j,B).\] The filtration of \(B\) shows that all weights of \(H\) are among the negative weights \(i-j\), \(i\leq j-1\). Hence \(F-1\) is invertible on \(H\), where \(F\) denotes Frobenius. If an isomorphism \(f\) has Frobenius defect \(\delta=F(f)-f\), translating it in this torsor by \(-(F-1)^{-1}\delta\) gives a Frobenius-compatible isomorphism. This proves the induction, including its compatibility with the chosen pure-piece identifications. Generalized weight spaces suffice throughout. Finally, Lemma 16 identifies \(\Phi(Z(V))\) with \(D(V)\) geometrically. ◻

Proof. Semisimplicity of \(\operatorname{Rep}L\) allows us to choose the object identifications first on irreducibles and then extend them using the ordinary multiplicity spaces. They are then additive and natural in representation morphisms.

For an irreducible \(V\), compare the transported Weil map with \(\eta_V\). Their ratio lies in the units of \[ E_V=\operatorname{End}^0(D(V)) =\bigl(k[\mathcal N]\otimes\operatorname{End}_k(V)\bigr)^L. \tag{18}\] To obtain this equality, compute degree-zero Hom in the standard coherent heart on the ordinary diagonal and use \(\Gamma(\widetilde{\mathcal N},\mathcal O)=k[\mathcal N]\). Thus the ratio is an equivariant polynomial matrix \(a_V(N)\). Its value at \(N=0\) is a nonzero scalar \(c_V\), by irreducibility.

The graded algebra \(E_V\) is finite-dimensional. For example, evaluation at a regular nilpotent is injective on equivariant polynomial maps: equivariance determines the values on its dense orbit, and regularity determines the map on \(\mathcal N\). Since \((E_V)_0=k\), its ideal of positive polynomial degree is nilpotent. Under \(\eta_V\), the scaling action on this algebra is \[\tau(f)(N)=f(r^{-1}N).\] Changing the object identification by \(b\in E_V^\times\) changes \(a_V\) to \(b\,a_V\,\tau(b)^{-1}\). Suppose the first positive-degree term of \(a_V/c_V\) has degree \(m\), so that \[a_V/c_V=1+a_m+\text{terms of higher degree}.\] Taking \(b=1+b_m\) changes its degree-\(m\) term to \(a_m+(1-r^{-m})b_m\). The choice \[b_m=\frac{a_m}{r^{-m}-1}\] removes that term. The denominator is nonzero because \(r>1\). Successive corrections terminate in the finite-dimensional graded algebra and put the Weil map in the form \(c_V\eta_V\). Extend these choices naturally over the irreducible decompositions.

Let \(V,W\) be irreducible and let \[J_{V,W}:D(V)*D(W)\xrightarrow{\sim}D(V\otimes W)\] be the transported tensor map. Evaluation at \(N=0\) is an invertible \(L\)-linear map. Compatibility with the Weil structures therefore gives \[ c_X=c_Vc_W \qquad\text{for every irreducible }X\subset V\otimes W. \tag{19}\] The Weil maps on the source and target of \(J_{V,W}\) consequently have the same scalar. Their compatibility now says \(J_{V,W}(r^{-1}N)=J_{V,W}(N)\), so \(J_{V,W}\) is constant. Additivity gives the assertion for arbitrary representations. Together with the unit normalization, the scalars in Equation (19) define a tensor automorphism of the identity functor of \(\operatorname{Rep}L\). Such automorphisms are exactly the elements of \(Z(L)\), giving the element \(z\) in Equation (17). In particular, this Weil map is ordinary on neutral representations.

We next determine the interchange of two central labels. For irreducible \(V,W\), Weil compatibility makes the transported map \[h_{V,W}:D(V)*D(W)\longrightarrow D(W)*D(V)\] constant, by the same scaling argument. Compose it with the inverse ordinary flip and denote the resulting \(L\)-linear endomorphism of \(V\otimes W\) by \(T_{V,W}\). The polynomial matrix \[N\longmapsto d\rho_W(N)\] defines a degree-zero endomorphism of \(D(W)\). It is induced from the base \(\mathfrak g\), so convolving it with \(D(V)\) simply tensors the matrix with \(\operatorname{id}_V\). Naturality of the half-braid in its other kernel variable gives \[[T_{V,W},\operatorname{id}_V\otimes d\rho_W(N)]=0 \qquad(N\in\mathcal N).\] Nilpotents span the semisimple Lie algebra \(\mathfrak g\). Schur’s lemma therefore gives \(T_{V,W}\in\operatorname{End}_k(V)\otimes k\operatorname{id}_W\); its \(L\)-equivariance then makes it scalar on the irreducible \(V\). Write \[h_{V,W}=\beta_{V,W}\,\mathrm{flip}_{V,W}.\] The hexagon and the central tensor identities imply multiplicativity on tensor constituents in each variable. For example, if \(X\subset W\otimes U\) is irreducible, then \(\beta_{V,X}=\beta_{V,W}\beta_{V,U}\). These equalities are unaffected by the constant tensor identifications, since both sides of each hexagon are scalar multiples of the same ordinary interchange. With either irreducible label fixed, the scalars in the other variable thus define a tensor automorphism of the identity on \(\operatorname{Rep}L\), hence the action of a central element. They are trivial on neutral representations. Additivity now proves the assertion about \(h_{V,W}\) whenever either label is neutral.

It remains to normalize the constant tensor maps on \(\operatorname{Rep}A\). We first show that their tensor structure respects the ordinary symmetry: for neutral \(V,W\), \[ D(\mathrm{flip}_{V,W})\circ J_{V,W} =J_{W,V}\circ h_{V,W}. \tag{20}\] Here \(h_{V,W}\) is already the ordinary flip. Let \(K\) be hyperspecial, and let \(M\in\mathscr H_{I,K}\) and \(J\in\mathscr H_{K,I}\) be the unshifted projection kernels. Their convolution \(C=M*J\) is the nonzero unshifted closed-flag kernel. Projection compatibility for central sheaves identifies the projected functor, including its interchanges, with Satake; see [23]. For neutral labels the Satake parity is trivial. The difference between the two sides of (20) therefore vanishes after right convolution by \(M\), and hence after right convolution by \(C\).

This difference is a constant map. Under \(\Theta\), its convolution with \(C\) is the tensor product of its underlying linear map with the nonzero coherent kernel \(\Theta(C)\). A nonzero linear map over \(k\) remains nonzero after tensoring with a nonzero complex. The original difference must therefore vanish. The constant tensor maps define a symmetric tensor autoequivalence of \(\operatorname{Rep}A\) whose underlying \(k\)-linear functor is the identity.

By ordinary Tannaka duality over the algebraically closed field \(k\), this autoequivalence comes from an automorphism of \(A\), up to tensor isomorphism. It fixes every irreducible isomorphism class. Its outer automorphism is consequently trivial by the description of representations through the root datum, so the automorphism is inner. The autoequivalence is tensor isomorphic to the identity. Using this tensor isomorphism to adjust the identifications on neutral labels makes their tensor maps ordinary. Its components are constant \(L\)-linear maps, so all preceding Weil and interchange normalizations are preserved. ◻

Proof of Theorem 14. Proposition 21 supplies the enhanced monoidal equivalence and its Frobenius intertwining. Lemma 22 identifies the central objects under this equivalence, and Proposition 23 gives all the stated Weil, tensor, and interchange normalizations. ◻

Proof. Use the relative tensor product just defined, and put \(\mathscr D=\mathscr C\otimes\mathscr C^{\rm rev}\). The right module functor \(\mathscr D\to\mathscr C\) sending \((P,Q)\) to \(Q*P\) preserves compact objects. Its right adjoint is therefore continuous; rigidity makes this adjoint a module functor. On the unit it has value \[\int^T(T^!,T), \qquad \mathbf1\longrightarrow T^!*T\] with the indicated duality convention. Indeed, writing the adjoint as the coend with coefficients \(\operatorname{Map}(Q*P,\mathbf1)\) and then applying Yoneda gives this expression. Base change to the twisted left module proves (21), including compactness. Generation follows from generation of the relative tensor product by elementary tensors.

A representative with coend label \(T\) acts by inserting coevaluation, rotating \(T\) from last to first, applying the representing map, and contracting by evaluation. Explicitly, if \(f\) has coend label \(T\) and \(g\) has coend label \(U\), their composite has label \(UT\) and representative \[\Phi U\,\Phi T*J\xrightarrow{\Phi U*f} \Phi U*J'*T\xrightarrow{g*T}J''*UT.\] This follows from balancing and the two duality triangles. These are also the formulas for the path functor of [23].

For the two levels use the sum of their units. Extend the cyclic path functor by zero on paths whose endpoint levels differ, and use rotation with level change on the diagonal blocks. The matrix category is rigid: its generators are invertible standard kernels, Satake kernels, and the adjoint projection kernels. Off-diagonal generation follows from the parahoric orbit stratification, using minimal-length Iwahori lifts of partial-flag cells and left–right exchange. Projection kernels have their usual adjoints with the required shifts and Tate twists, which belong to these stable categories; rigidity uses those adjoints. If both endpoints in (21) lie in the \(aa\) corner, consider the bifunctor \(\operatorname{Map}(\Phi T'*J,J'*T)\). For pure matrix blocks, convolution composability and equality of the source and target blocks force both \(T'\) and \(T\) into the \(aa\) corner. This remains true for the derived coend. The underlying linear category is the finite direct sum of its matrix blocks, with zero Hom complexes between different blocks. By enriched additivity one may compute its coend on pure-block objects; a higher bar chain cannot change blocks, because the intervening Hom complex would be zero. Mixed direct sums thus introduce no additional relations. The coend and its composition are the corner calculation, proving full faithfulness.

For the closed-point assertion put \(F_0=\operatorname{Fr}^*\). In the \(d\)-fold bar construction number indices cyclically, so that the left action of \((P_i,Q_i)_i\) on \((J_i)_i\) has \(i\)th entry \(F_0(P_{i-1})*J_i*Q_i\). Balancing first in the \(Q_i\) contracts regular modules and replaces right and left entries \(L_i,J_i\) by \(W_i=J_i*L_i\). The remaining balance identifies right multiplication by \(P\) on \(W_i\) with left multiplication by \(F_0P\) on \(W_{i+1}\). Contracting successively for \(i=d,d-1,\ldots,2\) leaves the twist \(F_0^d\) and the label \[F_0^{d-1}W_2*\cdots*F_0W_d*W_1.\] For \(d=1\) this expression is \(W_1\). These contractions are just associativity of the relative tensor product and \(\mathscr C\otimes_{\mathscr C}(-)\simeq(-)\).

It is useful to see the same calculation on maps. Put \(J,J'\) in the first geometric factor and units elsewhere. The contributing integrand is \[\operatorname{Map}(F_0T_d*J,J'*T_1) \otimes\bigotimes_{i=2}^d\operatorname{Map}(F_0T_{i-1},T_i).\] Successive coends remove the intermediate \(T_i\) by Yoneda, giving (21) with twist \(F_0^d\). The calculation holds also between different rational levels: all factors in a cycle use the same level, and each \(T_i\) belongs to the same prescribed off-diagonal block. External labels suffice by the orbit filtration and equivariant Künneth. Composition contracts the intermediate maps in the same order, so the calculation respects composition, including complex symmetry signs. Weil maps on all geometric factors combine to the Weil map for \(F_0^d\). Thus projection transfers and full-cycle slides become exactly their one-factor versions. Finally rotation moves all factors into one, so these one-factor images generate the fixed-corner trace. ◻

Proof. The endomorphisms of the trace unit compute the vertical trace. Apply the standard-orbit semiorthogonal decomposition of the kernel category. Hochschild homology with Frobenius is additive for this decomposition; equivalently, the directed morphisms between standard strata exclude mixed-stratum Hochschild chains. Each stratum contributes the twisted trace of the formal equivariant point algebra \(H^\bullet(BT)\). Frobenius multiplies its linear generators by \(r\), so its twisted diagonal intersection is \(k\). The unshifted standard Weil class represents the generator of this summand. One first works on finite downward-closed supports and then takes their union.

We can verify the relations directly in this universal trace. For an affine simple reflection \(s\), let \(\Delta_s\) be its unshifted open rank-one kernel. The convolution fiber over relative position \(1\) is a projective line with one point removed, whereas over relative position \(s\) it is a projective line with two points removed. They are respectively \(\mathbb A^1\) and \(\mathbb G_m\). Write \(\operatorname{cl}(T)\) for the class of a Weil kernel in its Grothendieck group. The two-stratum filtration of convolution gives the identity \[\begin{split} \operatorname{cl}(\Delta_s*\Delta_s) ={}&\operatorname{cl}(\mathbf1)\operatorname{cl}(R\Gamma_c(\mathbb A^1,k))\\ &+\operatorname{cl}(\Delta_s)\operatorname{cl}(R\Gamma_c(\mathbb G_m,k)). \end{split}\] The assignment \(\operatorname{cl}(T)\mapsto\chi_T\) is additive: on a cone presentation the off-diagonal entries disappear by dinaturality, and the shifted diagonal contributes the negative class. The map is multiplicative by the composition rule in Lemma 24. The two coefficient complexes have Weil traces \(r\) and \(r-1\), respectively. Thus the standard trace class \(H_s=\chi_{\Delta_s}\) satisfies \(H_s^2=(r-1)H_s+r\). For length-additive products, the open convolution correspondence gives \(\Delta_w*\Delta_{w'}\simeq\Delta_{ww'}\), yielding the usual length-additive relation, including length-zero elements. These relations and the standard-class basis identify the algebra. The local character formulas in [23] show that applying the path functor gives the usual Hecke operators. No faithfulness of that global functor is needed for the universal algebra calculation. ◻

Proof of the coherent assertion. The coherent trace theorem [8] applies to the derived Steinberg category in (13) with automorphism \(r_*\). Here \(r_*\) means pushforward by the literal dilation \(N\mapsto rN\). The scaling action of [8] has weight \(-1\) on points, so its parameter for this functor is \(r^{-1}\). It gives \(\operatorname{Coh}\) of the twisted loops in \([\widehat{\mathcal N}/L]\), and sends the unit to the coherent Springer object. Here \(\widehat{\mathcal N}\) denotes the formal completion of \(\mathfrak g\) along \(\mathcal N\). With our rotation convention, \(r_*=(r^{-1})^*\) and the loop equation is (22). Formal completion imposes no additional condition: positive-degree invariant polynomials vanish on the degree-zero cohomology of this equation space, because \(r\) is not a root of unity. Thus every test point already satisfies the formal nilpotence condition. This also agrees with [8]. The singular-support condition is vacuous for this Springer version of the trace [8]. We keep the equations derived in the presentation and in the flag space.

For the map comparison use the cyclic pull-push description of the trace [8]. Set \[X_1=[\widetilde{\mathcal N}/L],\qquad Y_1=[\widehat{\mathcal N}/L],\qquad l=r^{-1}.\] A kernel on \(X_1\times_{Y_1}X_1\) is pulled back along the graph which closes its endpoints and then pushed to the twisted loops in \(Y_1\). We use ordinary kernel convolution, with diagonal pullback and tensor product. In the equivalent \(!\) normalization, convolution inserts \(\omega_{X_1}^{-1}\) at the middle diagonal; tensoring a kernel with the second-factor \(\omega_{X_1}\) compensates for this insertion. At the closing graph the compensation is the pullback of that same factor, using its natural transport under \(l\). Thus both normalizations give the stated formula for the unit and the same representation transport.

In first-to-second kernel order, closure goes from \(x\) to \(lx\) and the base loop is an arrow \(y\to ly\). A representation bundle is pulled from \(BL\) at the start, so the projection formula gives \(P_N\otimes V\). To calculate rotation explicitly, a two-segment path has entries and arrows \[x,x_1,lx,\qquad y\xrightarrow{\alpha}y_1\xrightarrow{\beta}ly.\] After rotation these become \[l^{-1}x_1,x,x_1,\qquad l^{-1}\beta,\alpha.\] The arrow \(l^{-1}\beta\) identifies the new start with the old start. Moving a representation once across the cut, with the other segment the unit, therefore acts by the loop arrow, namely \(V(s)\). The Weil identification of \(Z(V)\) contributes \(V(z)\), giving \(V(zs)\). If the representation is a spectator, its transport back to the start uses the same further arrow \(l^{-1}\beta\) after rotation. Consequently a coend representative tensored with a spectator and crossed back by standard interchange gives precisely the original map tensored with the bundle from \(BL\). This calculation uses arrows of the fiber products and therefore holds for derived fiber products as well.

Finally the twisted loop and its flag version are Gorenstein with trivial dualizing complex in stack normalization. In the tangent complex of the graph intersection with the diagonal, determinants cancel in pairs. On the affine equation presentation the vector directions and their equations cancel, leaving virtual dimension \(\dim L\) before quotient by \(L\). On the flag presentation, the remaining group–flag incidence has trivial equivariant canonical line: its flag tangent and Borel-subgroup tangent have product determinant equal to that of \(\operatorname{Lie}L\). These descriptions also verify the trivializations directly. Proper duality for the flag projection now gives \(\mathbb DP_N\simeq P_N\). ◻

Completion of the proof of Proposition 26. The composition rule of Lemma 24 gives \[ l_Vi_V=c_K\operatorname{id},\qquad i_Vl_V=\chi_C,\qquad c_K=\#(K/I)(\mathbb F_{q^d}). \tag{24}\] To check this identity in the universal trace, the composite \(JM\) is flag cohomology on the hyperspecial unit. Geometrically it splits into even shifts of that unit: its odd extension groups vanish. Naturality of the projection interchange makes its interchange with \(S(V)\) the unit interchange on these shifted summands. Dinaturality of the coend removes off-diagonal Weil entries, so the character is the Weil trace of flag cohomology, namely \(c_K\). The reverse composite \(MJ=C\) is the unshifted closed-flag kernel. These are exactly the closed-flag calculations in [23]; their proof uses composition and the projection identities, so it gives the identity in the universal trace before applying the global path functor. The multiple-projection compatibility from fusion ensures that crossing a product through a level change is the successive crossing of its factors. Thus \(\chi_C/c_K\) is an idempotent. On \(P_N\) it is the spherical idempotent of Lemma 25; denote its image by \(P_N^S\).

We next identify this idempotent on representation labels. For irreducible \(V\), the object \[Z(V)C\simeq MS(V)J\] is a shifted simple perverse sheaf. Indeed one projection forgets equivariance, while the other pulls the Satake intersection complex back along the smooth flag fibration with connected fibers. Consequently the actual interchange with \(C\), transported through \(\Theta\), is scalar times standard interchange. With standard interchange the preceding coherent calculation makes \(\chi_C\) equal to its value on \(P_N\) tensored with \(V\). This map is nonzero: the hyperspecial unit embeds by (24), is nonzero by its spherical corner calculation, and tensoring with a nonzero representation preserves nonzero maps. Both the actual and standard operators divided by \(c_K\) are idempotents. A nonzero scalar multiple of a nonzero idempotent is idempotent only when the scalar is one. Hence the interchange with \(C\) is standard, and the hyperspecial retract on every label is \[ [S(V)]\simeq P_N^S\otimes V. \tag{25}\]

Transfer commutes with full slide. Explicitly, composing slide with \(i_V\) in either order gives coend labels \(MS(V)\) and \(Z(V)M\); the projection interchange identifies the representatives, including their Weil maps. Thus the slide on (25) is \(V(zs)\). Naturality in ordinary representation maps identifies those maps with the usual constant representation maps tensored with \(P_N^S\).

The same argument identifies character functions, including those of nonneutral representations. A character with spherical coend label \(S(V)\) transfers to the label \(MS(V)J=Z(V)C\). Its character is the character of \(D(V)\) with Weil factor \(V(z)\), followed by the closed-flag operation. Dividing by \(c_K\) to identify the retract gives the invariant function \(\operatorname{Tr}_V(zs)\). This proves (23) for the spherical holonomy coordinate.

It remains to compare higher morphisms with representation spectators. This step will later determine the action of the entire spherical loop algebra, including its degree-two coordinates. The retraction of \(i_V\) is \(c_K^{-1}l_V\). Accordingly, transfer on an arbitrary map \(f:[S(U)]\to[S(V)]\) is the map between retracts \[f\longmapsto c_K^{-1}i_V f l_U: [Z(U)]\longrightarrow[Z(V)].\] Consider a map between neutral labels represented in (21) by \(\Phi T*S(U)\to S(V)*T\). Compose with \(i_V,l_U\) and divide by \(c_K\). Its transferred representative, with coend label \(MTJ\), is \[ \begin{split} \Phi(MTJ)Z(U)&\longrightarrow\Phi M\,\Phi T\,S(U)J\\ &\longrightarrow\Phi M\,S(V)TJ \longrightarrow Z(V)MTJ. \end{split} \tag{26}\] Tensor the original representative on the right with \(S(R_1)\) and cross this spectator back through \(T\). Tensor and projection compatibility identify the transferred representative with (26) tensored with \(Z(R_1)\), crossed back through \(MTJ\). In fact that crossing is exactly the successive \(J,T,M\) crossing, using \(S(R_1)\) at the intermediate level.

For an actual homogeneous spherical morphism we take \(T\) to be the unit. This includes positive cohomological degrees: the spherical morphism is the middle arrow of (26), and no image of that morphism under \(Z\) is used. For a slide on a label \(S(W)\), take \(T=S(W)\): its representative is the identity, followed by the Weil identification; evaluation naturality and the duality triangles give this description. A character of an arbitrary representation \(W\) has the same coend label \(S(W)\) and its Weil map as representative, but both endpoint labels are the unit. It therefore admits the same comparison with a neutral spectator even if \(W\) is not neutral. These are the only coend labels required for the asserted operations. On the spherical side the spectator crossing is ordinary representation interchange. On the coherent side it is also standard: \(MTJ\) is respectively \(C\) or \(Z(W)C\), the crossing with \(C\) was just proved standard, and the crossing with \(Z(W)\) is standard for a neutral spectator by Theorem 14. The endpoint tensor maps on neutral representations have the ordinary normalization from that theorem. The coherent cut calculation therefore identifies spectator tensoring with tensoring by the actual representation bundle. Compositions and equivariant contractions preserve this identification. This proves the remaining assertion without an enhanced Drinfeld-center hypothesis. ◻

Proof. The transverse differential of (27) is \(1-\operatorname{Ad}(tu)\) on \(\mathfrak g/\operatorname{Lie}H\). It is invertible at \(u=1\) and, more generally, at every unipotent \(u\in H\): on a nonidentity \(t\)-eigenspace the operator \(\operatorname{Ad}(u)\) is unipotent, so \(\operatorname{Ad}(tu)\) cannot have eigenvalue \(1\). The same argument applies to each nonresonant block of \(\operatorname{Ad}(tu)-r\) and of \(\operatorname{Ad}(z^{-1}tu)-r^{-1}\). Their determinants are conjugation-invariant regular functions on \(H\), nonzero on the unipotent locus. Inverting them therefore gives a saturated affine neighborhood of the identity class.

At \([1,t]\) the map (27) identifies the closed orbit and its stabilizer with those of \(t\). Luna’s fundamental lemma [21] therefore makes it strongly étale after saturated shrinking around that orbit. This is the form of the semisimple slice that we use. There are only finitely many semisimple \(H\)-classes of \(u\) for which \(tu\) is conjugate to \(t\), as is seen from the finite Weyl orbit of \(t\) in a maximal torus. Invariant functions remove the classes other than \(u=1\). Every shrinking just made contains the identity class in \(H/\!/H\), and consequently retains all unipotent elements. Multiplying by the central element \(z^{-1}\) changes neither the differential nor the stabilizers, and gives the second assertion. ◻

Proof. Let \(V\) be either \(W\) or \(E_+\). For an \(H\)-orbit \(\mathcal Q\subset V\), the pairs \((u,v)\) with \(v\in\mathcal Q\) and \(uv=v\) have dimension \[\dim\mathcal Q+\dim Z_H(v)=\dim H.\] Restricting \(u\) to \(U_H\) leaves a nonempty open part of every stabilizer, since \(1\in U_H\). There are finitely many orbits by [23], so the full solution space has dimension \(\dim H\). It is cut out by \(\dim V\) equations in the smooth affine scheme \(U_H\times V\), of dimension \(\dim H+\dim V\). The equations therefore have their expected codimension. In a regular ring an ideal generated by this many elements at that codimension is a complete-intersection ideal; its displayed generators form a regular sequence locally. The equation Koszul complex has no negative cohomology, as asserted. ◻

Proof. We first compute the endomorphism algebra of the augmentation and show that coherent inputs have bounded coherent shears. We then prove full faithfulness by comparing an object with its Koszul reconstruction. The difference is detected away from the zero section, where the positive grading makes its maps into coherent objects vanish.

Work initially in the unbounded derived category of rational \(H\)-equivariant dg modules. Free modules with finite-dimensional representation coefficients are compact generators. Indeed their mapping groups are rational invariant tests on cohomology; invariants are exact in characteristic zero, commute with direct sums, and these tests detect every nonzero rational representation. Semifree resolutions made from such free modules consequently compute the derived functors below.

Write \(x\) for the vector coordinates on \(W\) and \(J_u=\operatorname{Ad}(u)|_W-1\). A semifree resolution of \(A_0\) is \[ K'=R_-\otimes\operatorname{Sym}\bigl(W^*[1]\oplus W^*[2]\bigr), \qquad dp=x,\qquad dl=\theta-J_up. \tag{32}\] Here \(p\) and \(l\) have degrees \(-1\) and \(-2\) and both have \(m\)-weight \(2\). The displayed formula is written in vector coordinates, so \(d\theta=J_ux\) and \(d^2l=0\). Adjoin the \(p\)’s before the \(l\)’s to see semifreeness. Replacing \(\theta\) by \(\theta-J_up\) separates the pairs \((x,p)\) and \((\theta-J_up,l)\). Each pair is contractible; for the second pair this uses characteristic zero, or equivalently the usual contraction with divided polynomial powers. Thus the augmentation \(K'\to A_0\) is a quasi-isomorphism.

Let \(G_0\) denote rational internal derived Hom from \(A_0\), computed using \(K'\). Its acting algebra is \[ B^0=A_0\otimes\operatorname{Sym}\bigl(W[-1]\oplus W[-2]\bigr), \qquad d\eta=J_u^{\mathrm t}\beta, \tag{33}\] where \(\eta\) has degree \(1\) and \(\beta\) degree \(2\), both of \(m\)-weight \(-2\). To verify the algebra structure, let the generators act on \(K'\) by the derivative operators in \(p\) and \(l\). Choosing the sign of the derivative in \(p\) gives precisely the differential in (33). These operators graded commute. Composition with \(K'\to A_0\) identifies the resulting map from \(B^0\) to \(\underline{\operatorname{RHom}}_{R_-}(A_0,A_0)\) with the polynomial dual of the powers of \(l\) and the exterior dual of the powers of \(p\). Using factorials for the polynomial dual gives an isomorphism of complexes, and proves that the map is a quasi-isomorphism of algebras. We identify the opposite algebra with \(B^0\) using its graded commutativity when expressing the Hom functor as a functor to left modules.

After shear, the generators \(\beta\) and \(\eta\) have degrees \(0\) and \(-1\). Under \(W^*=E_+\) the transpose equation is the fixed-vector equation for \(u^{-1}\) on \(E_+\). Multiplication by the invertible operator \(-\operatorname{Ad}(u)\) changes it to the fixed-vector equation for \(u\). Consequently the shear \(B\) of \(B^0\) is an equation algebra for \(Y\), and Lemma 28 identifies it with \(\mathcal O(Y)\). This identifies its equation scheme with that of \(B_{\rm sph}^0\) after shear. It does not yet compare the spherical algebra action with the action constructed by \(G_0\); that comparison will require the representation-valued transfer maps.

We next check coherence, including the absence of a completion in this computation. A coherent \(R_-\)-module has a finite cohomology filtration, so it suffices to take a finite module \(M\) over \(H^0(R_-)\) concentrated in degree zero. In a fixed cochain degree of \(\operatorname{Hom}_{R_-}(K',M)\) only finitely many powers of \(l\) occur. The complex is, as a total graded module, finite over \[A_0[x,\beta] =A_0\otimes\operatorname{Sym}(W^*)\otimes\operatorname{Sym}(W[-2]);\] the finite exterior factor comes from \(p\). Its differential is linear over this ring. Noetherianity therefore makes its cohomology finite over the same ring. Multiplication by every \(x\) is null-homotopic on this Hom complex: on the source \(K'\) it is the commutator of the differential with multiplication by the corresponding \(p\). Thus \(x\) acts trivially on cohomology, which is finite over \(A_0[\beta]\). After shear all these remaining algebra generators have degree zero. Choosing finitely many homogeneous generators of cohomology shows that only finitely many sheared cohomological degrees occur, and that each is coherent. The finite filtration proves the claim for every coherent input. Rational weight decompositions, rather than products of weight spaces, are used throughout.

It remains to show that \(G_0\) preserves all maps between coherent objects. In the unbounded rational module categories it has a left adjoint \(L_0\), given by tensoring with the augmentation Koszul bimodule. The unit \(N\to G_0L_0N\) is an isomorphism for \(N=B^0\otimes V\), with \(V\) a finite-dimensional representation, by (33); it is therefore an isomorphism for all perfect \(B^0\)-modules.

Let \(C_x\) be the finite Koszul module on the coordinates \(x\) over \(R_-\). It is perfect. Each of its bounded coherent cohomology modules is killed by the ideal \((x)\) and is therefore a finite \(A_0\)-module. Since \(U_H\) is smooth, such a module has a finite resolution by equivariant projective \(A_0\)-modules, each a summand of some \(A_0\otimes V\). To see this equivariantly, choose a finite set of module generators and its finite-dimensional \(H\)-span to construct successive equivariant free covers. Smoothness bounds the projective dimension; at the last step an ordinary splitting can be averaged. The Hom space from a finitely presented equivariant module consists of rational vectors, as is checked from a finite presentation, so averaging gives an equivariant splitting. The cohomology filtration now puts \(C_x\) in the thick subcategory generated by the modules \(A_0\otimes V\). It follows that \[ L_0G_0C_x\simeq C_x, \qquad G_0C_x\in\operatorname{Perf}^H(B^0). \tag{34}\]

For every \(B^0\)-module \(N\), applying \(L_0\) induces an isomorphism \[ \operatorname{Hom}^\bullet_{B^0,H}(G_0C_x,N) \xrightarrow{\ \sim\ } \operatorname{Hom}^\bullet_{R_-,H}(C_x,L_0N). \tag{35}\] Indeed both sides commute with colimits in \(N\), by compactness of \(G_0C_x\) and \(C_x\), and the assertion holds on the perfect free generators by the unit calculation. The same argument holds with any finite-dimensional representation tensored onto \(C_x\). Applying (35) to \(N=G_0M\) and using adjunction shows that the counit \[ L_0G_0M\longrightarrow M \tag{36}\] induces an isomorphism on all such tests. Write \(D_M\) for its cone. The representation tests detect rational internal Hom, so \(\underline{\operatorname{RHom}}_{R_-}(C_x,D_M)=0\). Koszul self-duality, up to an invertible representation and a shift, gives \[ C_x\otimes_{R_-}^{\mathbf L}D_M=0. \tag{37}\]

We explain the consequence of (37) for maps into a coherent object \(M'\). Forget \(H\)-equivariance temporarily while retaining the central \(m\)-grading. If \(x_1,\ldots,x_n\) are linear coordinates, the finite Koszul module on \(x_1^a,\ldots,x_n^a\) is obtained by successive triangles from the Koszul module on the \(x_i\)’s. Its tensor product with \(D_M\) therefore also vanishes. The usual Koszul description of local cohomology as the colimit over these powers shows that the local cohomology of \(D_M\) on \((x)\) vanishes. Equivalently, \(D_M\) is the totalization of its finite Čech localization complex, whose terms are localizations at nonempty products of the \(x_i\). Each term is a module on which at least one coordinate \(x_i\) is invertible.

For such a coordinate \(x\), every \(m\)-equivariant map from an \(R_-[x^{-1}]\)-module to \(M'\) vanishes in the derived category. It suffices to check the free localized modules with every weight shift, since these generate the unbounded localized module category under colimits and derived Hom into \(M'\) carries colimits to limits. Fix a weight \(a\) for the free generator. The localization is the telescope whose \(j\)th free generator represents \(x^{-j}\) and has weight \(a-2j\). Derived Hom from this telescope is the derived inverse limit of the corresponding weight complexes of \(M'\). The cohomology of \(M'\) is bounded below in \(m\)-weight, uniformly over its finitely many nonzero cohomological degrees: its cohomology is finite over an algebra generated over weight-zero \(A_0\) in weight \(2\). Those weight complexes are therefore acyclic for all sufficiently large \(j\). Their derived inverse limit is zero. Applying this to the finite Čech complex gives \[ \operatorname{Hom}^\bullet_{R_-,m}(D_M,M')=0. \tag{38}\] This is the graded completion argument: although the counit need not be an isomorphism on all unbounded modules, its difference is invisible to bounded coherent targets with these positive weights. If \(W=0\), the Koszul module is \(R_-\) itself and the cone is already zero, so no localization is needed.

The vanishing (38) also holds with \(H\)-equivariance. We spell out why averaging is valid even for the unbounded resolutions just used. Choose equivariant semifree resolutions; after forgetting equivariance they are still semifree. A nonequivariant null-homotopy of an equivariant map can be averaged using the invariant integral on \(\mathcal O(H)\). For each vector \(v\), its \(H\)-span is finite-dimensional, and the \(H\)-span of the image of that finite-dimensional space under the homotopy is again finite-dimensional. Hence evaluating the conjugated homotopy on \(v\) gives a regular finite-dimensional matrix-valued function on \(H\), to which the integral applies. The resulting pointwise definition preserves module linearity, since each conjugated homotopy is module-linear. It also preserves the homotopy identity and is \(H\)-equivariant. Thus forgetting equivariance is injective on the mapping groups in question.

Apply this vanishing to the counit triangle. For coherent \(M,M'\) it gives \[\operatorname{Hom}^\bullet_{R_-,H}(M,M') \simeq\operatorname{Hom}^\bullet_{R_-,H}(L_0G_0M,M') \simeq\operatorname{Hom}^\bullet_{B^0,H}(G_0M,G_0M').\] Shear is an equivalence of the graded module calculi, so the coherence already proved yields (31) and its full faithfulness. The displayed resolution is \(A_0\)-linear and commutes with constant representation tensors, proving the remaining compatibility before shear. Finally, Ind-extension of a fully faithful exact functor between these small coherent categories is fully faithful. This last assertion concerns their Ind-categories; it does not identify them with an unbounded quasi-coherent category. ◻

Proof. A Borel containing \(tu\) contains its semisimple part \((tu)_{\rm ss}\). The transverse invertibility in Lemma 27 places the identity component of its centralizer inside \(H\): on \(\mathfrak g/\operatorname{Lie}H\), the semisimple part of \(\operatorname{Ad}(tu)\) has no fixed vector, as follows by Jordan decomposition from invertibility of \(1-\operatorname{Ad}(tu)\). Choose in the Borel a maximal torus containing \((tu)_{\rm ss}\). It lies in this connected centralizer and is a maximal torus of \(H\). Since \(t\) is central in connected \(H\), it belongs to that torus. Thus every Borel containing \(tu\) also contains \(t\) and \(u\). The same holds for \(z^{-1}tu\), since the center of \(L\) belongs to every Borel. Set-theoretically the flag incidence is therefore the union of the \(U_b\)’s.

This identification is scheme-theoretic. Before imposing the vector equation, the incidence is the group Grothendieck resolution \(L\mathbin{\times}^{B}B\), a smooth scheme. Pulling it back along the strongly étale map of Lemma 27 gives another smooth scheme. The induction presentation identifies it, by smooth \(H\)-torsor descent, with the induced incidence over \(U_H\). Each \(U_b\) is itself smooth of dimension \(\dim H\): it is the corresponding open part of the group Grothendieck resolution for \(H\). Its inclusion in this incidence is closed, and the set-theoretic identification above exhausts the incidence. The smooth reduced structures therefore coincide. In particular the flag condition has introduced no derived excess.

Inside the nilradical, decompose the vector equation into its \(t\)-eigenbundles. The nonresonant blocks are invertible, so removing their coordinate–equation pairs leaves exactly (40), with the equation valued in \(W_B\). ◻

Proof. We compute first over \(U_b\). Use \(R_{-,B}\) for the analogue of \(R_-\) with \(W_B\) in place of \(W\), and \(B_B^0\) for its Koszul dual. Restriction of coordinate functions gives \((R_-)_{U_b}\to R_{-,B}\), whereas the inclusion \(W_B\subset W\) gives \(B_B^0\to(B^0)_{U_b}\). Both are maps of dg algebras: \(u\) preserves \(W_B\), so the equations restrict along the same inclusion as the coordinates. Restricting (32) and taking Hom shows that the transform of the flag summand before direct image is \[ (B^0)_{U_b}\otimes_{B_B^0}^{\mathbf L} \underline{\operatorname{RHom}}_{R_{-,B}}(\mathcal O_{U_b},R_{-,B}). \tag{43}\] Indeed in the free Hom complex the coefficient terms involving \(x\) and \(\theta\) only involve the generators attached to \(W_B\). The remaining derivative generators give extension of scalars. The factorial identification of the dual polynomial powers in (32) makes this an identification of modules with their \(B^0\)-actions, not merely of cohomology groups. Locally split the vector-bundle inclusion \(W_B\subset W\). To construct \((B^0)_{U_b}\) from \(B_B^0\), first adjoin the complementary closed polynomial generators \(\beta\), and then the complementary exterior generators \(\eta\). The latter have differentials linear in the already present \(\beta\)’s. This is a semifree, hence K-flat, extension; no invariant splitting of \(W_B\) is needed.

The last factor in (43) is particularly simple, and we record its shifts explicitly. Locally over \(U_b\) write \(C=\mathcal O_{U_b}\), \(F=W_B\), \(n=\operatorname{rk}F\), and \(S=\operatorname{Sym}_C(F^*)\). As a dg \(S\)-algebra, \(R_{-,B}=S\otimes_C\operatorname{Sym}(F^*[1])\) is the Koszul complex on its vector equations. Its exterior-product pairing gives \[ \underline{\operatorname{RHom}}_S(R_{-,B},S) \simeq R_{-,B}\otimes_C\det(F)[-n]. \tag{44}\] This is Koszul self-duality and does not require the vector equations to be a regular sequence. On the other hand the coordinate sequence cutting out \(x=0\) in \(S\) is regular, so \[ \underline{\operatorname{RHom}}_S(C,S)\simeq C\otimes_C\det(F)[-n]. \tag{45}\] Derived coinduction adjunction and (44) give \[\begin{align*} \underline{\operatorname{RHom}}_{R_{-,B}}(C,R_{-,B}) \otimes_C\det(F)[-n] &\simeq \underline{\operatorname{RHom}}_{R_{-,B}} \bigl(C,\underline{\operatorname{RHom}}_S(R_{-,B},S)\bigr)\\ &\simeq\underline{\operatorname{RHom}}_S(C,S) \simeq C\otimes_C\det(F)[-n]. \end{align*}\] Canceling this identical invertible factor gives \[ \underline{\operatorname{RHom}}_{R_{-,B}}(C,R_{-,B})\simeq C. \tag{46}\] The pairings and adjunction are intrinsic to the vector bundle, so these local formulas glue equivariantly. They cancel both the cohomological shift and the determinant character. In particular the sole cohomology in (46) has degree and \(m\)-weight zero.

After shear, \(B_B^0\) becomes a connective equation algebra: its generators \(\beta\) have degree zero and weight \(-2\), and its generators \(\eta\) have degree \(-1\). The shear of (46) still has only \(C\) in degree zero. The standard t-structure for this connective algebra therefore identifies it with its \(H^0\)-module. Weight considerations force every \(\beta\) to act by zero, because \(C\) has only weight zero. Thus it is precisely the zero-section module \(C\) over the sheared algebra, including its module structure.

The K-flat extension in (43) now sets the generators from \(W_B\) equal to zero. Its remaining coordinates are dual to \(W/W_B\), so its vector space is the annihilator \(W_B^\perp\subset W^*=E_+\). The induced differential is the transpose equation on this annihilator. As before, changing \(u^{-1}\) to \(u\) is an invertible change of equation generators. Finally, \[ W_B^\perp=E_+\cap\mathfrak n_B=E_{+,B}. \tag{47}\] To verify this, the invariant form pairs different \(t\)-eigenspaces only when their eigenvalues are inverse. An element of \(E_+\) therefore annihilates \(W_B\) exactly when it annihilates all of \(\mathfrak n_B\). Since \(\mathfrak n_B^\perp=\operatorname{Lie}B\), this says it belongs to \(E_+\cap\operatorname{Lie}B\). The action of \(t\) on \(\operatorname{Lie}B/\mathfrak n_B\) is trivial, whereas its eigenvalue on \(E_+\) is \(r\ne1\); hence this intersection is already in \(\mathfrak n_B\). The algebra remaining in (43) is consequently the derived equation algebra of (41).

It remains to commute this calculation with direct image. Each free term of the augmentation resolution satisfies the projection formula. For a bounded input model only finitely many resolution powers contribute to a fixed un-regraded Hom degree. The proper flag projections have bounded cohomological dimension, so these termwise projection formulas give the derived Hom comparison before shear. Shear also commutes with this direct image: \(m\) acts trivially on \(U_b\), the complexes are direct sums by weight, and quasi-coherent pushforward commutes with these sums. Alternatively, a finite affine cover of the flag base computes pushforward by a Čech complex of bounded length, for which the weightwise assertion is immediate. Thus direct image of the algebra just calculated is exactly \(R\pi_{b*}\mathcal O_{\widetilde Y_b}\), with no shift. Summing over the disjoint flag components proves the first assertion. The second follows from \(\mathbb D P_N\simeq P_N\) in the coherent trace model. ◻

Proof. Consider the ordinary polynomial equation algebra \[S_r=\frac{\mathcal O(L)\otimes\operatorname{Sym}(\mathfrak g^*)} {(\operatorname{Ad}(s_{\rm sph})e-re)}.\] The strong slice identifies the base-changed holonomy presentation with \(L\times^H(tU_H)\). Adding the representation \(\mathfrak g\) gives its induced vector bundle. Removing the nonresonant vector coordinates in the equation leaves precisely the \(E_+\) equation algebra. Consequently \[[\operatorname{Spec}(C'\otimes_C S_r)/L] \simeq[\operatorname{Spec}B_{\rm sph}/H].\] The map from the polynomial algebra to \(S_r\) is a surjection, homogeneous in the Lie-variable degree. After the flat base change, exactness of reductive invariants and the induced presentation prove (48), separately in each polynomial degree. This explains both the equivariant lift from the slice and the extension of polynomials from \(E_+\) to the full Lie algebra.

Shrink so that the image of \(\operatorname{Spec}C'\) lies in the invariant open of Lemma 9. Its central-torsor property gives \[C'\otimes_C\mathcal O(L) \simeq C'\otimes_{\mathcal O(A)^A}\mathcal O(A).\] Thus neutral matrix coefficients generate the required holonomy functions over \(C'\). Before base change one may equivalently use neutral matrix coefficients together with full invariant holonomy functions. Denominators from further invariant shrinking are absorbed into \(C'\).

Expand a lifted equivariant matrix polynomial into these holonomy coefficients and polynomial Lie coefficients. Retain the finite representation coefficients in each term, take tensor products, and contract by ordinary equivariant maps, evaluations and coevaluations. Exactness of invariants ensures that these contractions also span the equivariant maps. The Lie-polynomial terms are actual homogeneous morphisms in derived Satake. A matrix coefficient attached to a neutral representation \(W\) is realized by first introducing \(W^*\otimes W\) in such a Satake morphism, then sliding \(W\), and evaluating. Every term is a cycle of the spherical Koszul model, since it uses no odd equation generator. There are no further cohomology classes to represent: after shear the equation algebra is classical by Lemma 28.

Proposition 26 compares exactly these operations and their tensor products with neutral spectators. In degree zero in the Lie variables they consist solely of holonomy matrices and ordinary representation maps; hence their transferred maps are the same holonomy matrices. Subsequent duality transposes those maps. ◻

Proof. We first reconstruct the internal endomorphism algebra without assuming that \(L_S\) is a line. The full corner embedding of Lemma 24, the retract (25), and the spherical loop calculation of [23] give \[ \bigl(H^\bullet(B_{\rm sph}^0)\otimes V^*\otimes V'\bigr)^H \simeq \operatorname{Hom}^\bullet_{B^0,H} (L_S^0\otimes {V'}^*,L_S^0\otimes V^*) \tag{51}\] for neutral \(L\)-representations \(V,V'\), restricted to \(H\). The order on the right is reversed by \(\mathbb D\); duality retains the displayed Hom degree. To justify base change in this formula, first make the comparison on the two retracts in the trace. Their invariant coordinate rings agree by (23). The etale extension is flat and therefore tensors the cohomology of their mapping complexes. On the coherent side these complexes can be computed after pullback to the slice, using degreewise finite free resolutions against bounded targets and exact reductive invariants. The same comparison with compact source passes to Ind-extensions by filtered colimits. Finally \(G_0\) is \(\mathcal O(U_H)\)-linear and respects representation tensors before shear; duality takes constant tensors to their duals. These facts give (51) with the stated coefficients.

To recover the internal algebra, we need naturality of this comparison for representation-valued maps, not just its displayed vector-space isomorphisms. Lemma 32 supplies the required representatives and proves their spectator compatibility. Its surjection is homogeneous for the original polynomial degree, so it applies to every cohomological degree in (51) before the shear as well.

In particular the comparison takes matrix maps with coefficients in \(\mathcal O(U_H)\) to the same matrix maps, transposed by duality. This includes constant \(H\)-maps between restrictions of \(L\)-representations: the strong slice expresses them as equivariant matrix functions on the induced \(L\)-presentation. Every representation of \(H/Z(L)\) occurs as a summand of a restricted representation of \(A\). Indeed matrix coefficients for the closed subgroup \(H/Z(L)\subset A\) are quotients of those for \(A\), and complete reducibility extracts their irreducible constituents. The endomorphisms at issue have trivial \(Z(L)\)-sector. We may therefore use all these representation summands in (51).

Testing a rational \(H\)-module against all finite-dimensional representations determines it. Applying this observation to (51) identifies \(H^\bullet(B_{\rm sph}^0)\) with the \(H\)-internal endomorphism cohomology of \(L_S^0\). To recover multiplication, tensor the first tested map with the representation coefficients of the second and compose. The spectator comparison proves that this is exactly the tensor pairing defining internal composition. Coefficients from \(\mathcal O(U_H)\) give its scalar action by the same argument. Duality may reverse multiplication, which is harmless for the commutative spherical ring. Thus this is an algebra comparison over \(\mathcal O(U_H)\), not merely a vector-space comparison of invariant Hom’s.

After shear it gives (50), apart from the line assertion. Endomorphism degree changes by its \(m\)-weight. Only even weight sectors occur: the flag formula for \(P\), and hence its retract \(L_S\), has this parity. There is no completed internal Hom hidden in this step. After shear we have coherent modules on the affine scheme \(Y\) with reductive equivariance; bounded coherent targets and resolutions finite in each degree compute the ordinary internal endomorphism cohomology with its rational \(H\)-action.

We have proved that the internal endomorphism cohomology of \(L_S\) is commutative and concentrated in degree zero. We next use the complete intersection to deduce that \(L_S\) is a line. Let \[i:Y\hookrightarrow U_H\times E_+\] be its regular equation embedding. The ambient scheme is smooth, so \(i_*L_S\) is perfect there and \(Li^*i_*L_S\) is perfect on \(Y\). The bimodule cohomology filtration of the derived tensor square of \(\mathcal O_Y\) over the ambient ring has regular-sequence Tor terms. Tensoring it with \(L_S\) gives a finite filtration whose quotients are \(L_S\) tensored with exterior powers of the equation space, shifted by \([j]\), for \(0\le j\le\dim E_+\); its last quotient is the unshifted \(L_S\). Locally these exterior factors are free. Positive self-Ext vanishing splits off the last quotient: the successive obstruction groups have strictly positive degree. Hence \(L_S\) is locally a summand of a perfect complex, and is perfect.

A minimal presentation over a local ring of a nonzero perfect complex with two occupied degrees would give positive self-Ext: in the top degree of the Hom complex, the last differential has entries in the maximal ideal, so its cokernel remains nonzero modulo that ideal. Thus \(L_S\) is locally a vector bundle in a single degree. Commutativity of its endomorphism algebra forces its rank to be at most one. The scheme \(Y\) is connected, since \(m\) contracts it to the zero section over connected \(U_H\). The nonzero retract \(L_S\) therefore has rank one throughout, with a locally constant shift.

We now remove the shift and trivialize the line equivariantly. Take \(u\) in a maximal torus of \(H\), regular both for \(H\) and for \(tu\) in \(L\), and remove the further resonances where \(\operatorname{Ad}(u)-1\) is singular on \(E_+\). On this dense torus locus the flag formula for \(P\) is an ordinary etale cover. Its fibers have trivial stabilizer-torus action and lie in degree zero. The retract \(L_S\) consequently has zero shift and trivial torus character there. Along the torus with \(e=0\) this character is locally constant, so the fiber at \((1,0)\) has trivial torus character. Since \(H\) is connected, its one-dimensional character is then trivial.

Reductivity now gives an invariant section generating at \((1,0)\). The affine quotient of \(Y\) is the quotient of \(U_H\), since the \(m\)-weights contract all \(e\)-directions. Every orbit over the identity class has \((1,0)\) in its closure up to the unique closed orbit in that fiber. Thus an invariant section generating at \((1,0)\) generates over this entire quotient fiber. Its nongenerating locus is closed and invariant, and its image in the affine quotient is closed. Shrinking the saturated neighborhood removes that image. The section trivializes \(L_S\), proving (49) and the last equality in (50).

It remains to verify the geometric compatibility of the ring comparison. It need not fix the \(E_+\) coordinates literally, but it is \(H\)-equivariant over \(U_H\). At \(u=1\) its induced automorphism preserves the unique open \(H\)-orbit in \(E_+\) and hence the boundary. Suppose \(u\) is unipotent and \(e\) lies in that open orbit. The stabilizer \(H_e\) is reductive, so \(u\) can be contracted to \(1\) inside \(H_e\). If the image of \((u,e)\) under the coordinate comparison had its vector in the boundary, equivariance and closedness of the boundary would force the image of \((1,e)\) into the boundary as well, a contradiction. Applying the same argument to the inverse gives the asserted preservation in both directions. ◻

Proof. The assertions at one place have been proved above and in Proposition 26. On the chosen slice \(s=z^{-1}tu\), so the slide there is \(V(zs)=V(tu)\). Tensoring with a representation commutes with the Koszul functor before shear; duality replaces the representation by its dual. An \(m\)-weight \(w\) coefficient is shifted by \([-w]\) under shear, which gives the stated degree change for its Hom test. The ring and the flag objects have even weights. On an odd sector the additional subtraction of one in the degree convention preserves even shifts, as in the definition of shear. The covariant Ind-extensions are fully faithful because they are the colimit extensions of fully faithful functors on the coherent compact objects. Duality remains on these compact test objects.

For the endomorphism assertion, start with Lemma 25, make the flat etale base change, and apply the fully faithful Koszul comparison and duality. Duality reverses composition. Equivariant maps have \(m\)-weight zero, so shearing does not change their degree. This proves the stated identification with \(\operatorname{End}(P)^{\rm op}\). The spherical corner is \(\mathcal O(Y)^H\) by (49); its equality with \(\mathcal O(U_H)^H\) follows from the nonzero \(m\)-weights of the vector coordinates.

For products, coherent Hom’s of external objects satisfy Künneth: use affine presentations, bounded coherent targets, resolutions with finite terms in each degree, and exact reductive invariants. The constructible kernel products have the same equivariant Künneth description, also obtainable from their orbit filtrations. The cut and coend calculations tensor together. Thus the stable idempotent-complete subcategory generated by external objects is fully faithfully realized in coherent objects on the product. This subcategory suffices for all subsequent tests; no assertion that every coherent object is an external product is needed. Shearing adds the weights from the different factors and keeps their parity sectors separately. This proves the product statement and its Ind-extension. ◻

Proof. Both actions use the same modification correspondence and the Weil-stalk trace at the auxiliary place. One can check the normalization after temporarily imposing Iwahori level there. For a closed simple-wall kernel, the parallel-wall calculation of [23], applied at position the identity, gives pullback followed by summation over Frobenius-fixed rank-one flag refinements. This is the ordinary Hecke correspondence; subtracting the identity gives the simple generator. A length-zero kernel gives the graph of a unique transport, with coefficient one for its unshifted constant sheaf. These kernels generate the Iwahori Hecke algebra.

Transfer between Iwahori and hyperspecial level is similarly pullback and summation over Frobenius-fixed full flags, with the index normalization in [23]. All other modification labels are carried unchanged through these diagrams. Since there is no leg at the auxiliary place, the Frobenius-fixed flags are finite étale in families; a further finite level there trivializes them. Thus the calculation is compatible with the other levels and with compact direct image. ◻

Proof. Take high powers of an ample line bundle and choose sections \(s,t\) with prescribed first jets at the indicated points. Prescribe simple zeros of \(s\) at \(T_I\), simple zeros of \(t\) at \(\operatorname{supp}(D)\), and simple zeros of \(s-t\) at \(y_0\), keeping the other necessary values nonzero. These conditions can be imposed over the residue fields, and force \(s\), \(t\), and \(s-t\) to be nonzero sections. We seek a pair with no common zero and with each of these three sections having only simple zeros. Then \([s:t]\) is the required morphism.

Here is the finite-field existence argument. At any fixed finite set of additional closed points, Riemann–Roch makes the jet conditions independent once the degree of the line bundle is large. The local probability of satisfying the conditions is positive, including over residue fields with two elements: one can choose the two first jets with nonzero determinant. At a point of degree \(l\) outside the prescribed set, a forbidden double zero or common zero has probability \(O(q^{-2l})\), with a constant independent of the line-bundle degree. Indeed, for a line bundle of degree \(m\) the dimension bound \[h^0(\mathcal L(-2x))\leq\max(0,m-2l+1)\] gives this estimate for double zeros, and the analogous bound for \(\mathcal L(-x)\) gives it for common zeros. The fixed jet prescriptions affect only the constant. If the required order of vanishing is impossible for a nonzero section, its probability is zero. Since the number of degree-\(l\) points is \(O(q^l)\), the sum of the excluded tail probabilities tends to zero. The product of the positive local probabilities therefore has positive limit. A suitable pair exists. Its simple zero at any point of \(T_I\) also ensures generic separability. ◻

Proof. We use the one-leg case of the characteristic-zero parahoric comparison of [25]. Its setting allows a smooth affine group scheme over a curve with quasi-split reductive generic fiber, parahoric reduction at the degenerating point, and arbitrary full level away from that point, encoded by dilatation. For one moving Satake leg, with a stationary unit label omitted, the canonical comparison is an isomorphism \[ p_!\Psi\mathcal S\ \xrightarrow{\ \sim\ }\ \Psi p_!\mathcal S. \tag{53}\] Here \(\Psi\) is the full trait nearby-cycle functor and \(p_!\) is the filtered limit over Harder–Narasimhan bounds. The assertion is made on this limit itself: the fusion and partial-Frobenius constructions of [25] apply to the resulting ind-constructible complexes. Creation of a dual pair of Satake legs, fusion of nearby cycles, and annihilation construct an inverse, whose two compositions with the canonical map are the tensor evaluation–coevaluation identities [25]. Thus this characteristic-zero comparison is established directly on the Harder–Narasimhan limit.

We use the canonical map in (53) for all equivariance statements. It respects the full local Galois action and the Weil descent data; its inverse consequently does too. This does not require separate local Weil equivariance of every auxiliary fusion map used to construct the inverse [25]. All coefficients and labels can be taken over a sufficiently large finite extension \(E\) of \(\mathbb Q_\ell\).

Choose \(\pi\) as in Lemma 36. Enlarge \(D\) to \(\pi^*(m_\infty\infty)\) for \(m_\infty\) large enough. We will recover the original level by finite level-group invariants. Let \(\mathcal G\) be the smooth group scheme on \(X\) with Iwahori fibers at \(T_I\) and hyperspecial fibers elsewhere, and take its Weil restriction to \(\mathbb P^1\). This is smooth affine with connected geometric fibers and quasi-split semisimple generic fiber: restriction of a split Borel becomes a product of Borels over a separable closure. It is parahoric also at the branch places: under finite separable extension of complete discretely valued fields, the building and facet identification, with rescaled valuation, identifies the Weil restriction of a parahoric model with the corresponding parahoric model. This is the Weil-restriction property of Bruhat–Tits models; see [18], which allows extensions that are not tamely ramified. Connectedness can also be checked on the local fibers, where the additional congruence groups are geometrically unipotent. The full level \(m_\infty\infty\) can be encoded by dilating this model at the identity along that divisor, as in [25]. This leaves the model at \(0\) unchanged. Thus the hypotheses of (53) hold, with degeneration at \(0\) and the enlarged full level at \(\infty\).

Over the strict local curve at \(0\), the cover \(X\to\mathbb P^1\) splits into its geometric branches. On the branches selected by the \(x_i\) we place the labels \(V_i\); on the other branches we place the unit. To apply the global theorem, first induce this external tensor label from the connected dual group to its semidirect product with the finite splitting group. This amounts to taking its finite family of translates, with permutation descent. After restriction to the strict local curve, the original external tensor is a summand. Naturality of the canonical map (53) permits projection onto this summand, although that summand need not descend separately over the global good open. Increasing \(D_*\) makes Frobenius preserve every selected summand. The relative Satake normalization splits as the product of the normalizations on the branches; any common base shift or twist in a convention is compensated on both sides. Neutral labels have no component-parity correction.

For completeness, the integral comparison cone in this particular application also vanishes. Choose an \(\mathcal O_E\)-Satake lattice in the induced label, and keep the full level at \(\infty\) separate from the parahoric model. Let \(\mathcal C_{\mathcal O_E}\) be the cone of (53) for that lattice, before taking finite level-group invariants or rational summands. Reduction modulo the uniformizer \(\varpi\) and extension of coefficients to \(E\) commute with this comparison: on its source, compute constructible trait nearby cycles and compact direct image on finite-type charts and then pass to the filtered Harder–Narasimhan limit; on its target, nearby cycles on the curve base itself are the geometric generic fiber. Apply the torsion case of [15] with a stationary unit leg and constant coefficient on its restricted-shtuka factor at \(0\). Writing \(k_E=\mathcal O_E/(\varpi)\), it gives \[\mathcal C_{\mathcal O_E}\otimes^L_{\mathcal O_E}k_E=0.\] Multiplication by \(\varpi\) on this cone is consequently invertible, so \[\mathcal C_{\mathcal O_E} \simeq\mathcal C_{\mathcal O_E}\otimes_{\mathcal O_E}E \simeq\mathcal C_E=0,\] where the last equality is the independent characteristic-zero comparison just proved. This argument applies to the actual one-leg Satake coefficient used here. It makes no completion assertion about general Hecke-finite modules. In the remainder of the proof all invariants and selected summands are taken over \(E\), where they preserve the comparison isomorphism.

The resulting generic shtuka cohomology is the moving-leg cohomology on \(X\) along the branch tuple. Indeed torsors for the Weil restriction are equivalent to torsors on the finite cover. This can be checked étale locally on the base: over a strict henselian local base a smooth torsor on the finite cover trivializes étale locally. The equivalence works with arbitrary base schemes and commutes with the Frobenius pullback in the shtuka diagram. Modification data agree away from the branch locus and, near \(0\), by the split description. Level structures agree by definition. Consequently these identifications commute with an exhaustion by finite-type opens.

On the special fiber, the local-model morphism for shtukas is smooth after sufficient truncation on each bounded modification. Nearby cycles therefore pull back from the Beilinson–Drinfeld Grassmannian for the parahoric group scheme. A spherical modification degenerating to an Iwahori place gives the central sheaf \(Z(V_i)\), with unit flag label, by its nearby-cycle construction [23]. If \(Z\) is defined using unipotent nearby cycles, retain that summand. The Künneth isomorphism for nearby cycles over a trait, on bounded supports, tensors these calculations across the split branches. Although the trait has diagonal inertia on the product, the factorwise unipotent projections are still defined. They are stable under a sufficiently divisible Frobenius power. This gives precisely the central coefficients in (52), with its path normalization, as a summand of the comparison.

The special-fiber Frobenius in this construction is the product of the slides in (52), by cyclicity of the path functor [23]. A change of local Frobenius lift does not change its spectrum. On the unipotent nearby-cycle summand, inertia acts through tame logarithmic monodromy \(N\), and Frobenius conjugates \(N\) by a nontrivial power of \(q\) or its inverse. Multiplying a Frobenius lift by \(\exp(cN)\) thus conjugates it by another exponential of \(N\). The same argument works separately on the factors and commutes with disjoint Hecke operations. The branches give the same strict local curves as the coordinates used earlier to construct the path functor.

We may omit from the away Hecke actions all places over \(0\) and \(\infty\). Every remaining Hecke correspondence is disjoint from the degeneration; it is finite étale after the usual level refinement and carries the modification coefficient along unchanged. Hence (53) is equivariant for it, in particular for \(C\) at \(y_0\). Taking finite level-group invariants at \(\infty\) now recovers the original level \(D\). These invariants are exact and commute with the comparison.

To make the passage from the branch tuple to independent moving legs explicit, let \(\xi\) be a geometric generic point of the trait at \(0\), and let \(\alpha:\xi\to(U')^n\) be its selected branch tuple. This tuple need not be generic in the product. Choose a geometric generic specialization \(\overline\eta_n\to\alpha\) in \((U')^n\). The specialization isomorphism of [29] identifies the fiber of each ind-smooth cohomology sheaf at \(\alpha\) with its fiber at \(\overline\eta_n\). On the latter fiber, [28] applies: its restriction excluding nonzero Frobenius graphs is satisfied at this generic point. This proves finite generation over \(C\).

These identifications also retain the actions. For any finite collection of away Hecke operations, restrict the leg positions to the open avoiding their places. Both \(\alpha\) and \(\overline\eta_n\) lie in this open, and specialization is natural for the Hecke morphisms there. Taking the filtered union handles all the away operations, and hence their quotients and localizations. By the product Weil action in [29], recalled in Lemma 3, the local Weil action pulled back along \(\alpha\) is the product of its coordinate branch actions. Because \(\pi\) is unramified over \(0\), after \(D_*\) fixes the branches the \(i\)th action is a local lift of \(\operatorname{Frob}_{x_i}^{D_*/d_i}\). Its degree is therefore \(D_*\). Changing the paths used in specialization conjugates these lifts and leaves their degrees unchanged. This proves every assertion. ◻

Proof. Let \(\mathscr B_{\Gamma'}\) be the coordinate algebra of \(\operatorname{Hom}(\Gamma',A)\) used in Section 2, with \(\Gamma'\) regarded as an abstract group. It acts on \(M'\). Choose finitely many coefficient vectors of a basis of \(D_b\), take their \(A\)-spans, and let \(M''\subset M'\) be the \(\mathscr B_{\Gamma'}\)-module they generate. Put \[R'=\mathscr B_{\Gamma'}/\operatorname{Ann}(M'').\] This algebra is of finite type. To see this, choose finitely many representations whose matrix entries generate \(k[A]\). Their matrix entries, as the Weil element varies, carry the chosen generating vectors into a fixed finite list of \(A\)-isotypics. Those isotypics are finite dimensional after the \(C\)-quotient. Thus the span of these entries in \(R'\) is finite dimensional: vanishing of an operator is tested on the generating vectors and their \(A\)-spans, since all coordinate operators commute. Finitely many entries therefore generate \(R'\).

At any \(k\)-point of \(R'\), the universal matrices specialize to a homomorphism \(b':\Gamma'\to A(k)\). This homomorphism is continuous and defined over a finite extension of \(\mathbb Q_\ell\). Indeed the entries are finite-dimensional linear evaluations of their actions on the generating spaces. Testing those actions by (5) uses only a fixed finite list of representation labels. The resulting finite-dimensional quotients carry the continuous partial Weil actions of Lemma 3. The chosen primary summands are determined, on these finitely many spaces, by finitely many Hecke equations. Enlarging the coefficient field accommodates these equations and the finitely many coordinates of the \(k\)-point.

For every away place used in the localization, the Hecke identity shows that \[[b'(\operatorname{Frob}_y)]^{\mathrm{ss}} =[\sigma_{\nu,\mathrm{ad}}(\operatorname{Frob}_y)]^{\mathrm{ss}}.\] Indeed a power of each prescribed class-function difference kills the generators of \(M''\), hence all of \(M''\), and vanishes at every point of \(R'\). These Frobenius eigenvalues are \(\ell\)-adic units. The geometric image of \(b'\) is compact by continuity. In a faithful matrix representation, the powers of one such Frobenius also have compact closure. If \(h\in\Gamma'\) has degree one and this Frobenius has degree \(d\), then \(b'(h)^d\) differs from its image by an element of the compact normal geometric image. Its powers, and therefore all powers of \(b'(h)\), have compact closure. The degree splitting now extends \(b'\) continuously to \(\pi_1(U')\).

Chebotarev and the ordinary character criterion imply that, in every algebraic representation, \(b'\) and \(\sigma_{\nu,\mathrm{ad}}\) have the same semisimplification on \(\pi_1(U')\). The latter representation is semisimple because the parameter has reductive Zariski closure; the same remains true on the dense Weil group. Thus the assertion of the proposition holds after specialization at every \(k\)-point of \(R'\).

It remains to pass from these pointwise statements to \(D_b\). Let \(J\) be the annihilator in the ordinary group algebra \(k[(\Gamma')^n]\) of the semisimple representation (54). The universal matrices over \(R'\) give an action on \(\bigotimes_i V_i\). At every \(k\)-point, \(J\) kills each successive composition factor, so \(J^r\) acts by zero there for an integer \(r\) bounded by the dimension of that tensor product. Its matrix entries therefore lie in the nilradical of \(R'\). Since \(R'\) is noetherian, a further power of \(J\) acts by zero over \(R'\) itself, and hence on \(D_b\). The quotient \(k[(\Gamma')^n]/J\) is the finite-dimensional semisimple image algebra of (54). Its simple modules are precisely the constituents appearing there, which proves the claim. ◻

Proof. Every irreducible constituent of each factor of (54) is lisse on all of \(U\), is defined over a finite extension of \(\mathbb Q_\ell\), and has algebraic Frobenius eigenvalues. The constituent argument in [23] therefore gives a single pure weight for that constituent at every point of \(U\). More explicitly, its determinant is made finite order by an algebraic constant-field twist; purity of the twisted irreducible sheaf then shows that every eigenvalue of the original constituent has the same exponent, independent of the place. This argument permits arbitrary ramification outside \(U\).

Choose pairwise disjoint closed points for the moving legs in \(U'\), and take complete Frobenius through a common multiple of their degrees. By (5), smooth transport, and Lemma 4, \(D_b\) is a subquotient to which the compact-cohomology weight bound applies. Thus the sum of the pure weights in every occurring external-tensor constituent is at most \(b\). The Hecke quotient and localization can be performed at a geometric generic point; this argument only transports their resulting Weil subquotient and does not require Hecke modifications at a colliding leg.

The same constituents extend across all the points of \(T_I\), by Proposition 38. Consequently the tuple of local Frobenius lifts in Proposition 37 has, on each constituent, the same sum weight as the disjoint good tuple. This gives (55) for the nearby-cycle comparison and its direct summand \(N_b(V)\). ◻

Proof. The slice-center rings act centrally on the coherent models. For the away factors, include any finite disjoint list of additional places in the path functor with spherical labels, then restrict to the unit label at those places in the horizontal trace. The endomorphisms of these units carry the ordinary spherical algebra action computed by the loop model in [23]. They therefore act on the functor on the remaining trace compacts and hence on \(F_N\).

These actions commute and are compatible as the finite list grows. Indeed insertion of further unit labels compares the external products of the balanced bar constructions defining the traces; their unit-insertion identities give the required coherence. Thus they define an action of the filtered union \(\mathcal Z\) itself. Lemma 35 identifies these actions on mapping cohomology with the disjoint Hecke actions already used above. The étale comparisons respect these scalars by Section 6. Finally localization is tensoring with the flat algebra \(\mathcal Z_{\mathfrak m}\), and a compact source commutes with the colimits computing this tensor product. ◻

Proof. It suffices to consider irreducible \(W\). Representations in the discarded parity sectors give zero. Every remaining \(W\) occurs in the restriction of \(V^*\) for some external tensor of neutral \(L\)-representations \(V_i\), by the restriction statement of Theorem 34. Before the change of grading, (56) and the local comparison identify its mapping groups with the \(W\)-summand of (52), pulled to the slices and localized. Here \([Z(V_i)]\) corresponds to \(P_{N,i}\otimes V_i\) and \(\mathbb D P_{N,i}=P_{N,i}\). If \(m_i\) has weight \(w_i\) on \(W\), put \(w=\sum_iw_i\). A class in the original cohomological degree \(b\) has degree \(b+w\) after the change of grading: the changed source with label \(W\) is \((P\otimes W)[-w]\).

The original degree-\(b\) mapping group is finitely generated over \(\mathcal Z_{\mathfrak m}\). Before the slice extension this follows from Proposition 37, since a finite set of \(C\)-generators also generates over the larger central algebra. The étale extension preserves finite generation because we retain its slice-center scalars; taking a representation summand preserves it as well. We may therefore prove vanishing by reduction modulo \(\mathfrak m\) and Nakayama’s lemma. No noetherian hypothesis on the infinite tensor product \(\mathcal Z\) is needed here.

The bound (55) persists on this reduction. First quotient by \(\mathfrak m_C\) and localize at the away places used in Proposition 39; then perform the remaining central reductions and base changes. These operations commute with complete Frobenius. On the slice, the Frobenius action is the matrix action on the coherent representation labels, as in Section 6.

More precisely, before duality its action on the \(i\)th label is \[ V_i\bigl((t_iu_i)^{D_*/d_i}\bigr). \tag{58}\] Dualizing an endomorphism means that on \(V_i^*\) one uses the representation matrix with inverse group argument, acting on the Hom complex by precomposition. This operator preserves each \(H_i\)-summand, since \(t_iu_i\in H_i\). Its characteristic polynomial has coefficients in the slice-center ring, and the same polynomial identity holds on the mapping groups. At the central value \([u_i]=[1]\), every eigenvalue on the \(W\)-summand consequently has absolute value \[q^{-wD_*/2},\] because the absolute-value direction of \(t_i\) is \(m_i/2\), with base \(q^{d_i}\), by Lemma 9 and Section 3. Unipotent \(u_i\) does not change these eigenvalues.

If \(b+w<0\), this absolute value is strictly larger than \(q^{bD_*/2}\), contrary to (55), unless the reduced mapping group is zero. Nakayama’s lemma then makes the original localized group zero. This proves (57). Although the sufficiently divisible integer \(D_*\) may depend on the finite collection and the labels, the inequality \(b+w\geq0\) does not, giving the asserted uniformity. ◻

Proof. For a perfect source, the comparison is automatic. Apply Theorem 41 to the summand \(B\) of \(P\) and all its representation twists. Since reductive invariants are exact, these tests detect the ordinary cohomology of \(F^{\mathrm{qc}}\). They show that it lies in degrees at least zero.

Fix \(Q\) as in the statement. The left side of (59), even after replacing \(Q\) by \(Q\otimes W\) for arbitrary finite \(W\), has a uniform lower bound: start with Theorem 41 and use the finitely many cones, shifts, and retracts constructing \(Q\). The right side also has a uniform lower bound, since \(Q\) is bounded coherent and \(F^{\mathrm{qc}}\in D^{\geq0}\).

Let \(i\) be the regular equation embedding of \(\prod_iY_i\) into the smooth ambient space from Section 6. Its conormal bundle is the structure sheaf tensored with a finite representation. The complex \(Li^*i_*Q\) is perfect, because \(i_*Q\) is bounded coherent on that smooth ambient space. The finite Postnikov filtration of the self-intersection bimodule gives a filtration of \(Li^*i_*Q\) whose final quotient is \(Q\) and whose other quotients are \[Q\otimes W_j[j],\qquad j>0,\] for the exterior powers \(W_j\) of the conormal representation. This uses the regular-sequence formula for the Tor groups; it requires no splitting of the self-intersection bimodule.

For a source \(T\), let \(E(T)\) be the cone of the comparison (59). Suppose some \(E(Q\otimes W)\) is nonzero. The uniform lower bounds give a least integer \(h\) in which one of these cones has nonzero cohomology. Choose such a \(W\) and apply the preceding filtration to \(Q\otimes W\). Contravariance gives \[E(T[j])=E(T)[-j],\] so all its positive-\(j\) pieces have cohomology only in degrees at least \(h+j\). The final unshifted quotient therefore supplies an injection \[H^h E(Q\otimes W) \lhook\joinrel\longrightarrow H^hE(Li^*i_*(Q\otimes W)).\] The target is zero because its source is perfect. This contradiction proves the comparison. ◻

Proof. Evaluation on the slices. At \(x_i\), evaluate the universal homomorphism \(\mathbf b\) at \(\gamma_i=\operatorname{Frob}_{x_i}\) and retain the universal vector \(\mathbf e\). Equation (7) gives \[\operatorname{Ad}(\mathbf b(\gamma_i))\mathbf e=r_i\mathbf e.\] The invariant functions of \(\mathbf b(\gamma_i)\) on \(R\) are exactly their values on \(t_{i,\mathrm{ad}}\). Consequently this evaluation factors through the fiber of the adjoint conjugation quotient at the specified class.

Use the fixed point of the strongly étale slice base over this class. The central-torsor assertion of Lemma 9 identifies the resulting adjoint presentation with the presentation using full holonomy on the chosen sheet. The slice equivalence and elimination of the nonresonant equations therefore identify the evaluation with a map to \([Y_i/H_i^\natural]\). Here we also use the ring identification (50): on points, its inverse converts the spherical equation coordinates into the coordinates of \(Y_i\). The local comparison preserves the open orbit and its boundary.

The point fixed in this construction is a point of the quotient \(U_{H_i}/\!/H_i\). The group coordinate \(u\) itself can vary throughout its unipotent locus. This distinction explains why the evaluation has unipotent residual holonomy, rather than necessarily \(u=1\). By Proposition 12, any \(k\)-point whose vector reaches the open orbit would give an enhancement of \(\nu\). Our standing assumption therefore proves the boundary assertion for \(k\)-points. It also proves it for all field-valued points: a nonempty inverse image of the open-orbit locus after a field extension would give a nonempty constructible locus in the finite type support and hence a \(k\)-point.

For affineness, first use the adjoint presentations, before passing to the slices. Pulling back along their affine product presentation gives \[ (A^n\times\operatorname{Spec}R)/A, \qquad h\cdot(g_1,\ldots,g_n,z) =(g_1h^{-1},\ldots,g_nh^{-1},hz). \tag{63}\] One frame trivializes the diagonal action: using \(g_1\) identifies this quotient with \(A^{n-1}\times\operatorname{Spec}R\). It is thus affine, and remains so after the slice base changes. This proves the assertion about \(\lambda\) and defines \(R_n\).

The cyclic module and its grading. We retain the matrix coefficients of holonomy when identifying the action on cohomology. Before shearing, the framed regular module (9) and the inclusion (11) give a map \[ \bigl(k[A^n]\otimes R\bigr)^A\longrightarrow\mathcal M_n, \qquad 1\longmapsto f, \tag{64}\] where on the right we take the sector on which \(Z(L)^n\) acts trivially. By (10), this is a module map for the ordinary raising-equation rings: their holonomy functions act by the transported matrices \(g_i\mathbf b(\gamma_i)g_i^{-1}\), and their degree-two variables act by \(g_i\mathbf e g_i^{-1}\).

Base change this map to the étale slice bases over \(A/\!/A\). We may shrink each base so that it has only its selected point over the prescribed adjoint class. The full conjugation quotient is a central torsor there and splits after this base change. Project the target to the sheet prescribed by the full Hecke character of \(f\). On that sheet, full holonomy functions are generated by the adjoint holonomy functions together with the base functions. After nonresonant elimination these functions and the raising coordinates give the entire spherical equation ring. Thus the map respects that entire ring, although the full holonomy functions need not have preserved its image before the sheet projection. The coordinate comparison (23) ensures that the projection retains \(f\). After the slice equivalence, the source is the spherical-coordinate presentation of \(R_n\). On the target apply the flat central localization of Section 7.

We record explicitly why the target becomes \(H^\bullet(F_n^{\mathrm{qc}})\) after shearing. A test by a neutral representation \(V=\boxtimes_iV_i\) of \(L^n\) computes the mapping groups from the corresponding spherical summand tensored with \(V^*\), by the transfer (24) and the functional (56). The comparison (51) respects the constant \(H^\natural\)-maps between the restrictions of these labels. Since every finite representation of \(H^\natural\) is a summand of such a restriction, these tests determine the complete rational equivariant module. They also determine its module structure: a ring operation paired with a finite representation is the spherical matrix operation on one side and precomposition by the corresponding coherent map on the other. This is precisely the spectator compatibility in Theorem 34.

For a representation test \(W\) on which the \(m_i\) have weights \(w_i\), shearing changes the unsheared cohomological degree \(b\) to \(b+\sum_iw_i\), as in (57). The spherical object becomes \(B\) by (49); mapping from this perfect source agrees with mapping to the quasi-coherent realization. We therefore obtain the required identification with \(H^\bullet(F_n^{\mathrm{qc}})\), including its full ring action.

To specify the direction of that action, put \[C_{\mathrm{sph}} =\bigotimes_i\operatorname{sh}H^\bullet(B_{{\rm sph},i}^0), \qquad \alpha:C_{\mathrm{sph}}\xrightarrow{\sim}B\] for the product of (50). Let \(R_n^{\mathrm{sph}}\) be the source algebra in spherical coordinates. The inverse point map used to define \(\lambda\) gives exactly \[R_n=R_n^{\mathrm{sph}}\otimes_{C_{\mathrm{sph}},\alpha}B; \qquad b\cdot r=\alpha^{-1}(b)r \quad\text{on the underlying module }R_n^{\mathrm{sph}}.\] The cohomology identification above is \(\alpha\)-linear: the operation \(c\in C_{\mathrm{sph}}\) on the spherical module becomes precomposition by \(\alpha(c)\) on the coherent test. Hence it transports the source map to a \(B\)-module map from precisely \(R_n\).

This transport is also compatible with the grading used in the final projection. Before shear, \(R_n^{\mathrm{sph}}\) inherits the cohomological grading of \((k[A^n]\otimes R)^A\), in which the frame functions have degree zero. The degree-zero slice base changes retain this grading, together with the separate \(m_i\)-weight gradings coming from \(H^\natural\)-equivariance. On the slice a holonomy function has original degree and \(m_i\)-weight \((0,0)\), while a linear raising coordinate in factor \(i\) has degree and weight \((2,-2)\). Thus every element of \(B\) has sheared degree zero. The isomorphism \(\alpha\) is \(H^\natural\)-equivariant and preserves the sheared grading; its weight grading also recovers the original grading. Frame coordinates in \(R_n\) can have nonzero \(m_i\)-weights and need not have sheared degree zero. Nevertheless the \(B\)-action preserves every sheared degree of the source. Reindexing the rational weight direct sums leaves its underlying ungraded \(B\)-module unchanged.

Finally project to the sectors on which all \(m_i(-1)\) act trivially and to sheared degree zero. These projections are \(B\)-linear: \(B\) has trivial indicated parities and is concentrated in sheared degree zero. They retain \(f\), which has weight and cohomological degree zero. Forgetting the grading on the source gives (61). The last arrow of (62) is the canonical truncation map \(H^0(F_n^{\mathrm{qc}})\to F_n^{\mathrm{qc}}\), available because the latter is concentrated in nonnegative degrees. ◻

Proof. Work over an algebraically closed residue field. Choose a triple for \(e\) compatible with \(t\), write \(e^-\) for its lowering element, and denote its diagonal cocharacter by \(h\). Both \(h\) and \(m\) lie in \(H\), and \(m\) is central in \(H\). If \(h=m\), set \(c=t\,h(a^{\deg x_i})^{-1}\), the semisimple factor centralizing this triple. The weight-zero to weight-two map for the triple is surjective on each \(\mathfrak{sl}_2\)-summand where weight two occurs. Taking \(c\)-invariants preserves this surjectivity; these invariant weight spaces are precisely \(\operatorname{Lie}(H)\) and \(E_+\). The orbit tangent map \(\operatorname{Lie}(H)\to E_+\) is then surjective, placing \(e\) in the open orbit. Hence \(h\ne m\).

Put \(\delta=m-h\), using additive notation for the commuting cocharacters. The raising and lowering elements of the chosen triple have \(m\)-weights \(2\) and \(-2\), since they have \(t\)-eigenvalues \(r\) and \(r^{-1}\). They have the same \(h\)-weights. Thus \(\delta\) centralizes the triple. Since \(u\) centralizes \(e\), the triple parabolic contains \(u\); intersecting with \(H\) gives \[u\in P_H(h)=P_H(-\delta).\] We describe a Borel containing the whole of \(u\). Write \(u=u_+u_0\) using the Levi decomposition of \(P_H(-\delta)\), with \(u_0\in Z_H(\delta)\). Choose a Borel \(\mathcal B_0\) of \(Z_H(\delta)\) containing \(u_0\), and choose a maximal torus \(T\) in \(\mathcal B_0\). The element \(t\) and the cocharacters \(h,m,\delta\) are central in this Levi and therefore belong to \(T\). Choose a generic rational direction \(\epsilon\) in the cocharacter space of \(T\) whose signs on the roots of \(Z_H(\delta)\) give \(\mathcal B_0\). Declare a root of \(L\) positive by the first nonzero entry in the lexicographic ordering \[(-\delta,m,\epsilon).\] After a small generic choice of \(\epsilon\), no root is left unordered. This ordering defines a Borel \(\mathcal B\) of \(L\). Since \(m\) is central in \(H\), its intersection with \(H\) is the product of \(\mathcal B_0\) with the unipotent radical of \(P_H(-\delta)\). It consequently contains both \(u_+\) and \(u_0\). Moreover \(e\) has \(\delta\)-weight zero and positive \(m\)-weight, so \(e\in\mathfrak n_{\mathcal B}\).

It remains to prove that its type is bad. Decompose \(\mathfrak g\) into its \(m\)-weight spaces \(\mathfrak g_j\) and consider the polynomial \[ \Delta(x)=\prod_{j>0} \det\bigl((\operatorname{ad}x)^j:\mathfrak g_{-j}\longrightarrow\mathfrak g_j\bigr)^j, \qquad x\in E_+. \tag{65}\] Choose volume forms to interpret the determinants as scalars; their vanishing loci are independent of this choice. The polynomial is nonzero at a raising element whose diagonal cocharacter is \(m\), by \(\mathfrak{sl}_2\) representation theory. Its nonvanishing is \(H\)-invariant because \(m\) is central in \(H\), so it is nonzero throughout the open orbit.

In the following trace calculation, a cocharacter denotes its differential. Write \(c_\Delta\) for the weight in the evaluation identity \(\Delta(\operatorname{Ad}(\delta(z))x)=z^{c_\Delta}\Delta(x)\). Then \[\begin{align*} c_\Delta=\sum_{j>0}j\bigl(\operatorname{Tr}(\operatorname{ad}\delta\mid\mathfrak g_j) -\operatorname{Tr}(\operatorname{ad}\delta\mid\mathfrak g_{-j})\bigr) &=\operatorname{Tr}(\operatorname{ad}m\,\operatorname{ad}\delta)\\ &=\operatorname{Tr}((\operatorname{ad}\delta)^2)>0. \end{align*}\] For the second equality, the trace pairing of \(h\) with \(\delta\) vanishes: \(\delta\) commutes with the triple, so it pairs trivially with the bracket \([e,e^-]\) defining its neutral element. The final inequality follows because \(\delta\ne0\) is a cocharacter of the semisimple group \(L\). On the other hand, the priority given to \(-\delta\) ensures that every \(\delta\)-weight in \(E_+\cap\mathfrak n_{\mathcal B}\) is nonpositive. A polynomial of the strictly positive character just computed must vanish on that subspace. It therefore contains no point of the open orbit, proving that the type of \(\mathcal B\) is bad. ◻

Proof. By Proposition 43, every field point of the support evaluates to a point \((u,e)\) with \(u\) unipotent and \(e\) in the boundary. Lemma 44 supplies a point of one of the bad incidence spaces above \((u,e)\), after field extension if necessary. Evaluation at that point gives a left inverse, on the derived fiber, to the unit \[B_i\longrightarrow\bigoplus_{b\ \mathrm{bad}}P_{i,b}.\] One can obtain this left inverse by the natural derived base-change map followed by evaluation, or by pushing the structure-sheaf map to the chosen flag point and using adjunction. Its composition with the unit is the identity of the residue field. In the derived category of a field, the fiber arrow of a split injection is zero. Faithfully flat extension of residue fields detects zero maps between complexes of vector spaces, proving the assertion over the original residue field. ◻

Proof. For \(a\leq b\), write \[D_{a,b}=D_a\otimes_S^{\mathbf L}\cdots\otimes_S^{\mathbf L}D_b, \qquad v_{a,b}=v_a\otimes_S^{\mathbf L}\cdots \otimes_S^{\mathbf L}v_b.\] We prove the more general assertion by noetherian induction on \(\operatorname{supp}K\). We first note that the asserted property, with all starting indices allowed, is preserved by triangles. In a triangle \(K_1\to K\to K_2\), choose an initial product that kills \(K_2\). Naturality shows that its map to \(K\) factors through \(K_1\). A subsequent product killing \(K_1\) kills this factorization, again by naturality. Shifts and finite sums also preserve the property.

The assertion is immediate when \(K=0\). Otherwise let \(\mathfrak p_1,\ldots,\mathfrak p_s\) be the generic points of \(\operatorname{supp}K\). The localized complex \(K_{\mathfrak p_j}\) has finite-length cohomology. Finite devissage by copies of the residue field, together with the preceding triangle observation, gives a product beginning at \(a\) that kills \(K_{\mathfrak p_j}\). Increasing the final index preserves vanishing, so choose one \(b\) that works for all \(j\). Denote the resulting map by \[z=v_{a,b}\otimes\operatorname{id}_K:D_{a,b}\otimes_S^{\mathbf L}K\longrightarrow K.\] Its localization is zero at every \(\mathfrak p_j\).

The source is pseudo-coherent and bounded above, while the target is bounded coherent. Accordingly, its derived Hom group commutes with localization; this is also [26]. To see the finiteness needed here, resolve the source by a bounded-above complex of finite projective modules and represent the target by a bounded complex. Only finitely many terms contribute to each degree of the Hom complex, so localization commutes with that complex and its cohomology. It follows that \(\operatorname{Ann}_S(z)\) is not contained in any \(\mathfrak p_j\). Finite prime avoidance gives \[s\in\operatorname{Ann}_S(z)\setminus\bigcup_j\mathfrak p_j.\] Thus \(sz=0\), and the triangle for multiplication by \(s\) provides a factorization of \(z\) through \[K'=\operatorname{fib}(s:K\longrightarrow K).\] This is bounded coherent, with support in the proper closed subset \(\operatorname{supp}K\cap V(s)\). By induction a subsequent product \(v_{b+1,c}\) kills \(K'\). Tensor naturality with respect to the factorization through \(K'\) now shows that \(v_{a,c}\otimes\operatorname{id}_K=0\). This proves the induction. The original assertion follows by taking \(K=S\) and \(a=1\). ◻

Proof. Let \(\mathcal H_I\) be the tensor product of the affine Iwahori Hecke algebras at the selected places, and let \(M_I\) be the space of compactly supported functions on the corresponding bundle groupoid. Before base change, the functional (56) on the Iwahori units is \(M_I[0]\), with its ordinary Hecke action; see [23]. Write \[\mathcal Z_I=\bigotimes_i k[L]^L, \qquad \mathcal Z_{\mathrm{sl}} =\bigotimes_i k[U_{H_i}]^{H_i}\] for the local class-coordinate rings before and after the slice. The map between them includes the coordinate convention of (23).

Theorem 34 identifies the entire ordinary endomorphism algebra, and the full mapping module, as \[ \mathcal H\simeq \mathcal H_I\otimes_{\mathcal Z_I}\mathcal Z_{\mathrm{sl}}, \qquad \operatorname{RHom}(P,F_n^{\mathrm{ind}}) \simeq \bigl(M_I\otimes_{\mathcal Z_I}\mathcal Z_{\mathrm{sl}} \bigr)_{\mathfrak m}[0]. \tag{70}\] The subscript denotes the central localization of Section 7, including its away Hecke factors. Indeed the slice changes the original groups by this flat scalar extension. Duality accounts for the opposite algebra; the fully faithful Koszul functor then preserves the mapping complexes. The retained parity and central sectors contain the source \(P\), so they do not change its mapping groups. Finally equivariant maps have \(m_i\)-weight zero, hence shearing does not change their degree. These facts prove both identities in (70) and the asserted concentration. If one also localizes the category in the local center, the first identity is localized in those same local center variables.

Project the original space of compactly supported functions onto its finite-dimensional cuspidal subspace at this Iwahori level. In a complex realization the automorphic inner product is positive definite, the Hecke action is closed under adjoints, and the orthogonal projection is Hecke-equivariant. The joint finite-dimensional image of the local Hecke algebras and the commuting away spherical algebras is therefore semisimple. The spherical summand contains \(f\) by level transfer. Select a simple quotient that detects \(f\), within the simultaneous away eigenspace of its specified character. The local class coordinates act on its spherical summand by the prescribed full Hecke values. They consequently act on the whole simple quotient by those values. Via (70), extend its action to the entire algebra \(\mathcal H\) by evaluating \(\mathcal Z_{\mathrm{sl}}\) at the selected identity classes. The image algebra is unchanged by this scalar extension, so the resulting module is still simple; in particular the new flag idempotents on the slice act on it. Its central values are precisely those used in the localization at \(\mathfrak m\), so it remains a quotient after localization. This construction transfers back to \(k\) through the chosen complex realization and gives the required simple module, denoted by \(S\).

Let \(e_{\mathrm{sph}}\) be the idempotent of the spherical summand \(B\), and let \(e_b\) project to a bad summand in one factor of \(P\). If both idempotents act nontrivially on \(S\), simplicity implies that \(e_{\mathrm{sph}}\mathcal H e_b\mathcal H e_{\mathrm{sph}}\) acts nontrivially on \(e_{\mathrm{sph}}S\). For example, generate \(S\) from \(e_{\mathrm{sph}}S\), project to \(e_bS\), and then generate back to \(e_{\mathrm{sph}}S\). Some composite from \(B\) through that bad summand and back to \(B\) must therefore act nontrivially.

Such a composite belongs to \[ \operatorname{End}_{H^\natural}(B) =\bigotimes_{i=1}^n k[U_{H_i}]^{H_i}, \tag{71}\] with the corresponding equality after any localization of these local center rings. To justify the equality, \(\operatorname{End}(B)\) before invariants is \(\mathcal O(Y)\), and \(m_i\) acts trivially on \(U_{H_i}\) while all linear functions in \(e_i\) have strictly negative \(m_i\)-weight. Thus an invariant function is independent of the \(e_i\). This observation also identifies its action on \(S\) with evaluation at the selected quotient classes.

Now set all residual group coordinates to \(u_i=1\) and take an open-orbit vector in the factor containing the bad summand. The support of that summand is empty there, by its definition and (42). Consequently every composite through it vanishes on this fiber. By (71), the composite is independent of the raising vectors, so its value at the selected quotient classes is zero. It acts by zero on \(S\), contradicting the preceding paragraph. Therefore every bad idempotent acts by zero. ◻

Proof. Apply \(\operatorname{RHom}(-,F_n^{\mathrm{ind}})\) to the exterior product of the fiber diagrams (66). Every term made from spherical and flag summands is a summand of \(P\), so its mapping complex is concentrated in degree zero by Lemma 47. The resulting finite total complex has its all-spherical term in degree zero and the terms with one bad factor in degree \(-1\). Hence its zeroth cohomology is \[ \frac{\operatorname{Hom}(B,F_n^{\mathrm{ind}})}{ \displaystyle\sum_{i=1}^n\sum_{b\ \mathrm{bad}} \operatorname{im}\left[ \operatorname{Hom}(B_1\boxtimes\cdots\boxtimes P_{i,b}\boxtimes\cdots\boxtimes B_n, F_n^{\mathrm{ind}}) \longrightarrow\operatorname{Hom}(B,F_n^{\mathrm{ind}})\right]}. \tag{72}\] The map from the all-spherical term to this quotient is pullback along \(q_\Pi\); terms with two or more bad factors affect only negative degrees. The simple quotient \(S\) of Lemma 47 annihilates every image in the denominator, since its corresponding bad idempotent acts by zero. It detects \(f\) in the numerator. Thus the class of \(f\) survives in (72), proving the proposition. ◻

Proof of Theorem 2. Under the assumption that no enhancement exists, Lemma 46 produced a finite set of selected places for which (69) holds. The mapping comparison of Proposition 42 gives the same vanishing in the Ind category, contradicting Proposition 48. Therefore the assumption was false.

Proposition 12 gives the precise resulting pair: its \(\operatorname{SL}_2\)-homomorphism has raising element in \(\mathcal O_\nu\), its commuting Weil homomorphism has reductive closure and weight zero under every complex embedding, and their prescribed diagonal specialization equals the given \(\sigma_\nu\) on the entire Weil group. That proposition also supplies continuity and a finite coefficient field. The argument used neither a restriction on the split semisimple type nor reducedness of the level divisor, so it applies to all the data of Theorem 2. ◻