2 Representation theory of $\operatorname {\mathrm {GL}}_n(F_v)$ in characteristic p

Let p be a rational prime and $k = \,\overline {\mathbf {F}}_p$ . Let $F/\mathbf {Q}$ be a finite extension, and let x be a prime in F with residue field $k_x$ of order q satisfying $q \equiv 1\ \,\pmod p$ and the corresponding ring of integers $\mathcal {O}_x = \mathcal {O}_{F_x}$ . Set $G_x = Gal(\,\overline {F}_x/F_x)$ . Also set $G = GL_n$ with $p> n$ , and let $T \subset B \subset G$ be the maximal torus and the corresponding Borel and $U \subset G$ be the unipotent subgroup. Let $K^1(x) \subset G(\mathcal {O}_x)$ be the full congruence subgroup. We also let $\operatorname {\mathrm {Iw}}, \operatorname {\mathrm {Iw}}_1 \subset G(\mathcal {O}_x)$ be the Iwahori and the Iwahori-1, respectively, and let $\operatorname {\mathrm {Iw}}_1 \subset \operatorname {\mathrm {Iw}}^p \subset \operatorname {\mathrm {Iw}}$ be the subgroup, such that $[\operatorname {\mathrm {Iw}}^p : \operatorname {\mathrm {Iw}}_1]$ has order prime to p and $[\operatorname {\mathrm {Iw}} : \operatorname {\mathrm {Iw}}^p]$ has p-power order. Let $\mathfrak {p}(x)$ be a two-block parahoric subgroup of $G(\mathcal {O}_x)$ with blocks of sizes $n_1+n_2=n$ and P the corresponding parabolic. Let $W \cong S_n$ be the Weyl group for $\operatorname {\mathrm {GL}}_n$ , and for a given parabolic subgroup $Q \subset G$ , let $W_Q \subset W$ be the Weyl group of its Levi factor. Set and . Fix $\,\overline {\rho } : G_x \to \operatorname {\mathrm {GL}}_n(k)$ —a continuous unramified semisimple representation. We say that an irreducible admissible representation $\pi $ of G over k is associated to $\,\overline {\rho }$ if $\pi $ is a subquotient of $\operatorname {\mathrm {Ind}}_B^G \chi _1 \otimes \ldots \otimes \chi _n$ , where $\chi _i$ are unramified characters, such that $\{\chi _1(\varpi ), \ldots , \chi _n(\varpi )\}$ is the set of eigenvalues of $\,\overline {\rho }(\operatorname {\mathrm {Frob}}_x)$ . We write $I(\chi )$ for $\operatorname {\mathrm {Ind}}_B^G \chi _1 \otimes \ldots \otimes \chi _n$ . The following lemma shows that if we do not fix the ordering of $\chi _i$ , then we can always consider $\pi $ to be a subrepresentation of $I(\chi )$ .

Proof. We use the adjunction between $\operatorname {\mathrm {Ind}}_B^G$ and the parabolic restriction $r_B^G$ to get an isomorphism

$$\begin{align*}\operatorname{\mathrm{Hom}}(\pi, I(\chi)) \cong \operatorname{\mathrm{Hom}}(r_G^B(\pi), \chi).\end{align*}$$

Since $\pi $ is associated to $\,\overline {\rho }$ , we know that $r_G^B(\pi ) \neq 0$ . Since $r_G^B(\pi )$ is a representation of the torus, there exists a $1$ -dimensional quotient given by some character $\chi : T \to k^\times $ . Then we get that $\operatorname {\mathrm {Hom}}(\pi , I(\chi )) \neq 0$ , and since $\pi $ is irreducible, this implies that $\pi $ is a subrepresentation of $I(\chi )$ . Then $\chi $ forms the supercuspidal support of $\pi $ and in fact has to be a permutation of the original $\chi _1, \ldots , \chi _n$ . For the notion of supercuspidal support in positive characteristic, see [Reference VignérasVig96, II.2.6]. We would also like to remark, here, that in the case $q \equiv 1\ \,\pmod p$ , $p> n$ , the notions of cuspidal and supercuspidal representations coincide (see [Reference VignérasVig96, II.3.9]).

We now describe the Bernstein presentation of Iwahori-Hecke algebra $\mathcal {H}_k(G, \operatorname {\mathrm {Iw}})$ , following [Reference VignérasVig96, I.3.14]. Let

$$\begin{align*}t_j = \operatorname{\mathrm{diag}}(\underbrace{\varpi, \ldots \varpi}_{j}, 1 \ldots, 1),\end{align*}$$

and set $T_j = [\operatorname {\mathrm {Iw}} t_j \operatorname {\mathrm {Iw}}]$ and $X^j = T_j(T_{j-1})^{-1}$ . We also let $s_j$ be the permutation matrix corresponding to the transposition $(j, j+1)$ and set $S^j = [\operatorname {\mathrm {Iw}} s_j \operatorname {\mathrm {Iw}}]$ . The elements $X^j$ for $1 \leq j \leq n$ generate the group algebra $k[\mathbf {Z}^n]$ on which $S_j$ acts by permuting the indices. The Bernstein presentation states that

$$\begin{align*}\mathcal{H}_k(G, \operatorname{\mathrm{Iw}}) \cong k[S_n \ltimes \mathbf{Z}^n]\end{align*}$$

under the action described above.

Now we introduce some useful Hecke operators. For any ring R, $1 \leq i \leq n_1$ and $1 \leq j \leq n_2$ let $V^{j,2} \in \mathcal {H}_R(G, \mathfrak {p}(x))$ be the Hecke operator associated to the double coset

$$\begin{align*}[ \mathfrak{p}(x)\operatorname{\mathrm{diag}}(\underbrace{1, \ldots, 1}_{n_1},\underbrace{\varpi, \ldots, \varpi}_{j},\underbrace{1, \ldots, 1}_{n_2-j})\mathfrak{p}(x) ]\end{align*}$$

and let $V^{i,1}$ be associated to

$$\begin{align*}[\mathfrak{p}(x)\operatorname{\mathrm{diag}}(\underbrace{\varpi, \ldots, \varpi}_{i}, 1 \ldots, 1)\mathfrak{p}(x)].\end{align*}$$

The following is part of [Reference Clozel, Harris and TaylorCHT08, Theorem B.1]:

Under the conditions of 2.2, we thus get an isomorphism

(2.3) $$ \begin{align}\begin{split} H^1(\operatorname{\mathrm{Iw}}, V) & \cong H^1(B(k), V^{K^1(x)}) \cong H^1(T(k), V^{\operatorname{\mathrm{Iw}}_1}) \\ & \cong H^1(T(k), V^{\operatorname{\mathrm{Iw}}}) \cong \operatorname{\mathrm{Hom}}(T(k), V^{\operatorname{\mathrm{Iw}}}). \end{split}\end{align} $$

Both sides of 2.3 can be endowed with the action of $\mathcal {H}_k(G, \operatorname {\mathrm {Iw}})$ . On $H^1(\operatorname {\mathrm {Iw}}, V)$ , we take the derived $\mathcal {H}_k(G, \operatorname {\mathrm {Iw}})$ -action, and on $\operatorname {\mathrm {Hom}}(T(k), V^{\operatorname {\mathrm {Iw}}})$ , we consider the natural action on the target.

Proof. The action of $X^i$ on $[f] \in H^1(\operatorname {\mathrm {Iw}}, V)$ can be described as follows. Write

$$\begin{align*}\operatorname{\mathrm{Iw}} t_i \operatorname{\mathrm{Iw}} = \bigsqcup_j g_{i,j} \operatorname{\mathrm{Iw}}.\end{align*}$$

We now give an explicit description for $g_{i,j}$ . Fix a set of representatives $S \subset \mathcal {O}_F$ for k. For each $m \in M_{i \times (n-i)}(S)$ , let $g_{i,m}$ be the matrix, such that $g_{i,m}(k, k) = \varpi $ for $k \leq i$ , $g_{i,m}(k, k) = 1$ for $k> i$ and $g_{i,m}(k,\ell ) = m(k, \ell - i)$ for $k \leq i, \ell> i$ . The rest of the entries are set to $0$ . Let us show that this is a full set of representatives. First we show that $g_{i, m}$ represent distinct cosets, that is that $g_{i,m}^{-1}g_{i, m'} \notin \operatorname {\mathrm {Iw}}$ for $m \neq m'$ . Suppose $m(k, \ell ) \neq m'(k, \ell )$ . Then

$$\begin{align*}(g_{i,m}^{-1}g_{i, m'})(k, \ell+i) = \varpi^{-1}(m'(k, \ell) - m(k, \ell))\end{align*}$$

which is not in $\mathcal {O}_F$ . Now we just need to verify that the number of cosets is $q^{i(n-i)}$ . Indeed,

$$\begin{align*}[\operatorname{\mathrm{Iw}} t_i\operatorname{\mathrm{Iw}} : \operatorname{\mathrm{Iw}}] = [\operatorname{\mathrm{Iw}} : \operatorname{\mathrm{Iw}} \cap t_i\operatorname{\mathrm{Iw}} t_i^{-1}] = q^{i(n-i)}\end{align*}$$

since $\operatorname {\mathrm {Iw}} \cap t_i\operatorname {\mathrm {Iw}} t_i^{-1}$ are just the elements of the Iwahori whose $(k, \ell )$ -coordinates for $k \leq i, \ell> i$ vanish $\mod \varpi $ .

Then

$$\begin{align*}(X^i[f])(x) = \sum_j g_{i,\sigma(j)} f(g_{i,\sigma(j)}^{-1}xg_{i,j}),\end{align*}$$

where $\sigma $ is the unique permutation, such that

$$\begin{align*}g_{i,\sigma(j)}^{-1}xg_{i,j} \in \operatorname{\mathrm{Iw}}\end{align*}$$

for all j. Denote by $\,\overline {\phantom {x}} : \operatorname {\mathrm {Iw}} \to T(k)$ the reduction map. Let s be the inverse of 2.3. For $[\tau ] \in \operatorname {\mathrm {Hom}}(T(k), V^{\operatorname {\mathrm {Iw}}})$ , we get

$$ \begin{align*} (X^i[s(\tau)])(x) & = \sum_j g_{i,\sigma(j)} s(\tau)(\,\overline{g_{i,\sigma(j)}^{-1}xg_{i,j}}) \\ & = \sum_j g_{i,\sigma(j)} s(\tau)(\,\overline{x}) = s(X^i[\tau])(x). \end{align*} $$

The second equality is due to all the $g_{i,j}$ being in the Borel and having the same diagonal.

The following is analogous to [Reference Calegari and GeraghtyCG18, Lemma 9.14]:

Proof. Inside the category of G-modules, the category $\mathcal {C}$ is fully contained inside the unipotent block (the block containing the trivial representation). By part 4) of [Reference Clozel, Harris and TaylorCHT08, Theorem B.1], the unipotent block is equivalent to the category of $\mathcal {H}_k(G, \operatorname {\mathrm {Iw}}^p)$ -modules. Via the Bernstein embeddingFootnote ¹ , such modules can naturally be viewed as $\mathcal {H}_k(G, G(\mathcal {O}_x))$ -modules, where $\mathcal {H}_k(G, G(\mathcal {O}_x))$ can be explicitly described via the Satake isomorphism as $k[X_1^{\pm 1}, \ldots , X_n^{\pm 1}]^W$ . Here, we use the Satake isomorphism twisted by $\lvert \det \rvert ^{(1-n)/2}$ , which is defined over $\mathbf {Z}[q^{-1}]$ . If V is any locally admissible element of the unipotent block, the associated Hecke module $V^{\operatorname {\mathrm {Iw}}^p}$ is locally finite-dimensional over k, and thus we can write

$$\begin{align*}V^{\operatorname{\mathrm{Iw}}^p} = \bigoplus_{\mathfrak{m}} V^{\operatorname{\mathrm{Iw}}^p}_{\mathfrak{m}},\end{align*}$$

where the sum is taken over all maximal ideals of $\mathcal {H}_k(G, G(\mathcal {O}_x))$ . Let $\mathcal {D}$ denote the category of locally admissible representations in the unipotent block. Then we can write $\mathcal {D} = \bigoplus _{\mathfrak {m}} \mathcal {D}_{\mathfrak {m},}$ where $\mathcal {D}_{\mathfrak {m}}$ consists of representations whose associated $\mathcal {H}_k(G, G(\mathcal {O}_x))$ -module is supported only at $\mathfrak {m}$ . The maximal ideals of $\mathcal {H}_k(G, G(\mathcal {O}_x))$ have the form $(t_1 - \alpha _1, \ldots , t_n - \alpha _n),$ where $\alpha _i \in k$ and $t_i = e_i(X_1, \ldots , X_n)$ is the i-th elementary symmetric polynomial of $X_1, \ldots , X_n$ . If we now let $\mathfrak {n}$ be the ideal defined by $\alpha _i = e_i(\chi _1(\varpi ), \ldots , \chi _n(\varpi ))$ , then it is clear that $\mathcal {C} = \mathcal {D}_{\mathfrak {n}}$ . The exactness is now clear, and to show that $\mathcal {C}$ has enough injectives, it is enough to check that the category $\text {Mod}^{\text {l.adm.}}_G(k)$ of locally admissible G-modules has enough injectives. The full category $\text {Mod}_G(k)$ certainly has enough injectives, and the functor $\mathcal {L} : \text {Mod}_G(k) \to \text {Mod}^{\text {l.adm.}}_G(k)$ taking a module to its smooth locally admissible vectors is right adjoint to the natural embedding $\text {Mod}^{\text {l.adm.}}_G(k) \to \text {Mod}_G(k)$ . This proves the claim.

From now on, fix $\alpha = \chi _i(\varpi )$ for some $1 \leq i \leq n$ . Let

$$\begin{align*}P(X) = \prod \limits_{i=1}^n (X - \chi_i(\varpi)).\\[-15pt]\end{align*}$$

For $1 \leq j \leq n_2$ , let $P_j$ be a polynomial whose roots with multiplicities are precisely

$$\begin{align*}\sum_{\substack{J \subset S \\ \#J = j}} \prod_{a \in J} \chi_a(\varpi).\\[-15pt]\end{align*}$$

Factor $P_j = Q_jR_j,$ where

$$\begin{align*}R_j(X) = \left(X - \binom{n_2}{j}\alpha^j\right)^{k_j}\\[-15pt]\end{align*}$$

and $Q_j, R_j$ are coprime. Set

Here, we consider $e_{\alpha }$ as an operator acting on $V^{\mathfrak {p}(x)}$ for $V \in \mathcal {C}$ . Since objects in $\mathcal {C}$ are locally admissible, the limit makes sense.

We now define two functors $F, G : \mathcal {C} \to k\mathbf {-Vect}$ . On objects, we set

Note that $F, G$ are both left-exact and $e_\alpha $ is exact. Then we can form derived functors $R^kF, R^kG$ and identify

$$\begin{align*}R^kF(V) = H^k(G(\mathcal{O}_x), V), \qquad R^kG(V) = e_\alpha H^k(\mathfrak{p}(x), V).\\[-15pt]\end{align*}$$

We have a natural transformation $\iota : F \to G$ given by composing the inclusion

with $e_\alpha $ . We will make use of the following simple algebraic fact.

Lemma 2.7. Let G be a profinite group and $H \vartriangleleft G$ be a normal subgroup. Let A be a p-torsion G-module for some positive integer p, and let H have pro-q order for a prime q satisfying $q \equiv 1\ \,\pmod p$ . Then the inflation map

$$\begin{align*}\inf : H^1(G/H, A^H) \to H^1(G, A)\\[-15pt]\end{align*}$$

is an isomorphism whose inverse sends a cocycle $[f] \in H^1(G, A)$ to

$$\begin{align*}g \mapsto f(g) + (1-g)a_f\\[-15pt]\end{align*}$$

for some $a_f \in A$ .

Proposition 2.8. Let $\pi $ be an irreducible admissible $k[G]$ -module associated to $\,\overline {\rho }$ . Then the map

$$\begin{align*}f : H^1(G(k), \pi^{K^1(x)}) \to e_\alpha H^1(P(k), \pi^{K^1(x)})\\[-15pt]\end{align*}$$

is injective.

Proof. Both cohomology groups in question inject into $H^1(B(k), \pi ^{K^1(x)})$ since

$$\begin{align*}[G(k) : B(k)] \equiv n! \not\equiv 0\quad \pmod p\\[-15pt]\end{align*}$$

when $p> n$ , so let us analyse that group. Since $q \equiv 1\ \,\pmod p$ , by inflation-restriction, we get

$$\begin{align*}H^1(B(k), \pi^{K^1(x)}) \cong H^1(T(k), \pi^{\operatorname{\mathrm{Iw}}_1}).\\[-15pt]\end{align*}$$

As a special case of 2.3, we have

(2.9) $$ \begin{align} H^1(\operatorname{\mathrm{Iw}}, \pi) \cong H^1(B(k), \pi^{K^1(x)}) \cong \operatorname{\mathrm{Hom}}(T(k), \pi^{\operatorname{\mathrm{Iw}}}) \cong (\pi^{\operatorname{\mathrm{Iw}}})^{\oplus n}.\\[-15pt]\nonumber \end{align} $$

The isomorphism above is equivariant with respect to the natural actions of $\{X^i\}$ on both sides arising from the actions of $\mathcal {H}_k(G, \operatorname {\mathrm {Iw}})$ by Proposition 2.4. The space $\pi ^{\operatorname {\mathrm {Iw}}}$ injects into $I(\chi )^{\operatorname {\mathrm {Iw}}}$ , which has a basis $\{\varphi _w\}$ for $w \in W$ , where $\varphi _w$ is supported on $Bw\operatorname {\mathrm {Iw}}$ and satisfies $\varphi _w(w) = 1$ . It follows from the proof of [Reference ThorneTho12, Lemma 5.10], that on each component of $(I(\chi )^{\operatorname {\mathrm {Iw}}})^{\oplus n}$ , the operator $e_\alpha $ acts as a projection onto the space spanned by $\{\varphi _{w'} \mid w' \in W'\}$ , where $W'$ is the subset of W consisting of permutations which send $\{n_1+1, \ldots , n\}$ to the positions of $\alpha $ -s in the sequence $\chi _1(\omega ), \ldots , \chi _n(\omega )$ . On the level of cocycles, the isomorphism 2.9 sends $[s] \in H^1(B(k), \pi ^{K^1(x)})$ to the map

$$\begin{align*}g \mapsto s(g) + (1-g)\psi\\[-15pt]\end{align*}$$

for some $\psi \in I(\chi )$ (Lemma 2.7). Thus, a cocycle $[s] \in H^1(G(k), I(\chi )^{K^1(x)})$ being in the kernel of f means that for all $t \in T(k)$ and $w_0 \in W'$ , we have

(2.10) $$ \begin{align}(s(t) + (1-t)\psi)(w_0) = 0.\\[-15pt]\nonumber\end{align} $$

For any $w \in W$ , we have

$$\begin{align*}(t\psi)(w) = \psi(w\tilde{t}) = \psi(w(\tilde{t})w) = \psi(w).\\[-15pt]\end{align*}$$

Here, $\tilde {t}$ is a lift of t to $T_0$ and w acts on the torus in a natural way. Note that here, we used that $\chi $ is unramified. Thus

(2.11) $$ \begin{align}((1-t)\psi)(w) = 0.\\[-15pt]\nonumber\end{align} $$

Combining 2.10 and 2.11 applied to $w_0$ , we get

$$\begin{align*}s(t)(w_0) = 0.\\[-15pt]\end{align*}$$

Now let us conjugate t by an arbitrary $w \in W$ . Since the result is again in T, we use the cocycle condition and the transformation law of $I(\chi )$ with respect to the Borel to write

(2.12) $$ \begin{align}0 = s(wtw^{-1})(w_0) = (s(w) + w(s(t) + ts(w^{-1})))(w_0)\end{align} $$

(2.13) $$ \begin{align}(wts(w^{-1}))(w_0) = ws(w^{-1})(w_0) = -s(w)(w_0).\end{align} $$

Combining 2.12 and 2.13, we get

$$\begin{align*}0 = (ws(t))(w_0) = s(t)(w_0w).\end{align*}$$

In other words, we now have $s(t)(w) = 0$ for all $t \in T(k)$ and for all $w \in W$ . By 2.11, this implies that $[s] = 0$ since $\{\varphi _w\}$ make a basis for $I(\chi )^{\operatorname {\mathrm {Iw}}}$ .

Theorem 2.14. The natural transformation $\iota : F \to G$ given by $V^{G(\mathcal {O}_x)} \mapsto e_\alpha V^{\mathfrak {p}(x)}$ on objects is an isomorphism of functors. In particular, we get functorial isomorphisms

$$\begin{align*}\iota_* : H^k(G(\mathcal{O}_x), V) \xrightarrow{\sim} e_\alpha H^k(\mathfrak{p}(x), V)\end{align*}$$

for all $k \geq 0$ .

Proof. In the proof of Proposition 2.6, we have identified $\mathcal {C}$ with a subcategory of $\mathcal {H}_k(G, \operatorname {\mathrm {Iw}}^p)\text {-Mod}$ . Thus, every element of $\mathcal {C}$ is a direct limit of finite length elements of $\mathcal {C}$ , and it is, therefore, enough to establish the isomorphism for finite length V. The first step will be to show that $\iota (V)$ is an isomorphism for all $V \in \mathcal {C}$ . For an irreducible subrepresentation $\pi \subset V$ , consider the diagram

(2.15)

To show that $\iota (V)$ is injective, we can use the four lemmas and induct on the length of V. Thus, we only need to show that $\iota (\pi )$ is injective for irreducible $\pi $ . This is done in [Reference ThorneTho12, Lemma 5.10].

Now we would like to show that $\iota (\pi )$ is an isomorphism. Consider the injection $\pi \subset I(\chi )$ and the associated diagram

(2.16)

We already know that $\iota (I(\chi )/\pi )$ is injective. Then to show that $\iota (\pi )$ is surjective by the four lemmas, we need to know that $\iota (I(\chi ))$ is surjective. This follows once again from the proof of [Reference ThorneTho12, Lemma 5.10].

Finally, we are ready to see that $\iota (V)$ is an isomorphism for all $V \in \mathcal {C}$ . We induct on the length of V using Eq. 2.15. Since f is injective by Proposition 2.8, the result follows.

3 Representation theory of $\operatorname {\mathrm {GL}}_n(F_v)$ in characteristic $0$

Fix a finite extension $E/\mathbf {Q}_p$ in $\,\overline {\mathbf {Q}}_p$ which contains the images of all embeddings $F \to \,\overline {\mathbf {Q}}_p$ . We write $\mathcal {O}$ for the ring of integers of E and $\varpi \in \mathcal {O}$ for a choice of uniformiser. If v is a finite place of F prime to p, we write and , where $\tau _v$ is the generator of $k_v^\times (p)$ —the maximal p-power order quotient of $k_v^{\times }$ . We have a natural homomorphism $\mathcal {O}_{F_v}^\times \to \mathbf {Z}[\Xi _{v,1}]$ induced by the homomorphism $\mathcal {O}_{F_v}^\times \to k_v^\times \to k_v^\times (p)$ , which we denote by $\langle \, \cdot \, \rangle $ . Consider a standard parabolic subgroup $P \subset \operatorname {\mathrm {GL}}_n(F_v)$ corresponding to a partition $n = n_1 + \ldots + n_m$ which we will denote as $\mu $ . Given a partition of n, we will always let $s_{\mu , i} = n_1+\ldots +n_i$ , with $s_{\mu , 0} = 0$ . Let $P = MN$ and $\,\overline {P} = M\,\overline {N}$ be the Levi decompositions of P and its opposite parabolic. Let $\mathfrak {m}$ be the hyperspecial maximal compact subgroup of M. Define the subgroup of the symmetric group $S_\mu = S_{n_1} \times \ldots \times S_{n_m}$ . For any positive integer k, let

$$\begin{align*}\mathcal{S}_k : \mathcal{H}_{\mathbf{Z}[q_v^{1/2}]}(\operatorname{\mathrm{GL}}_k( F_v), \operatorname{\mathrm{GL}}_k(\mathcal{O}_{F_v})) \to \mathbf{Z}[q_v^{1/2}][X_1^{\pm 1}, \ldots, X_k^{\pm 1}]^{S_k}\end{align*}$$

denote the (normalised) Satake isomorphism. We use those isomorphisms to identify

$$\begin{align*}\mathcal{S}_{\mu} = \mathcal{S}_{n_1} \otimes \ldots \otimes \mathcal{S}_{n_k} : \mathcal{H}_{\mathbf{Z}[q_v^{1/2}]}(M, \mathfrak{m}) \xrightarrow{\sim} \mathbf{Z}[q_v^{1/2}][\Xi_v]^{S_\mu}.\end{align*}$$

Consider any open compact subgroup $\mathfrak {q}$ of $\operatorname {\mathrm {GL}}_n(F_v)$ , and set

$$\begin{align*}\mathfrak{q}_M = \mathfrak{q} \cap M, \quad \mathfrak{q}^+ = \mathfrak{q} \cap N, \quad \mathfrak{q}^- = \mathfrak{q} \cap \,\overline{N}.\end{align*}$$

From now on, assume that $\mathfrak {q}$ has an Iwahori decomposition with respect to P, which means that $\mathfrak {q} = \mathfrak {q}^- \mathfrak {q}_M \mathfrak {q}^+$ . We define a submonoid $M^+ \subset M$ of positive elements to consist of elements $m \in M$ , such that

$$\begin{align*}m\mathfrak{q}^+m^{-1} \subset \mathfrak{q}^+, \qquad m^{-1}\mathfrak{q}^-m \subset \mathfrak{q}^-.\end{align*}$$

Inside $M^+$ , we have a further submonoid $M^{++}$ of strictly positive elements consisting of $m \in M^+$ satisfying the following conditions:

• • For any compact open subgroups $\mathfrak {n}_1, \mathfrak {n}_2$ of N, there exists a positive integer $x \geq 0$ , such that

  $$\begin{align*}m^x\mathfrak{n}_1m^{-x} \subset \mathfrak{n}_2.\end{align*}$$

• • For any compact open subgroups $\,\overline {\mathfrak {n}}_1, \,\overline {\mathfrak {n}}_2$ of $\,\overline {N}$ , there exists a positive integer $x \geq 0$ , such that

  $$\begin{align*}m^{-x}\,\overline{\mathfrak{n}}_1m^{x} \subset \,\overline{\mathfrak{n}}_2.\end{align*}$$

We denote by $\mathcal {H}_{\mathcal {O}}(M, \mathfrak {q}_M)^+$ the elements of $\mathcal {H}_{\mathcal {O}}(M, \mathfrak {q}_M)$ whose support is contained in $M^+$ . From now on, we also assume that $q_v$ has a square root in $\mathcal {O}$ and fix such square root.

Now we record some results about smooth admissible representations of $\operatorname {\mathrm {GL}}_n(F_v)$ in characteristic 0. Let $\mathfrak {p}$ be a parahoric corresponding to the partition $n = n_1+\ldots +n_k$ which we call $\mu $ , and let P be the underlying parabolic with the Levi decomposition $P = MN$ . Let $\mathfrak {m} = M(\mathcal {O}_{F_v})$ . We also let $\mathfrak {p}_1, \mathfrak {m}_1$ denote the kernels of the homomorphisms

$$\begin{align*}\mathfrak{p} \to P(k_v) \to \operatorname{\mathrm{GL}}_{n_k}(F_v) \xrightarrow{\det} k_v^{\times} \to k_v^{\times}(p)\end{align*}$$

$$\begin{align*}\mathfrak{m} \to M(k_v) \to \operatorname{\mathrm{GL}}_{n_k}(F_v) \xrightarrow{\det} k_v^{\times} \to k_v^{\times}(p).\end{align*}$$

Finally, let $\operatorname {\mathrm {Iw}}' = \mathfrak {p}_1 \cap \operatorname {\mathrm {Iw}}$ .

Fix a uniformiser $\varpi _c$ of $F_v$ . For any $1 \leq j \leq k$ and $1 \leq i \leq n_j$ , consider the operators in $\mathcal {H}_{\mathcal {O}}(G, \mathfrak {p})$ given by

$$\begin{align*}V^{i,j} = t_\mu(\mathcal{S}_{\mu}^{-1}(e_i(X_{s_{\mu, j-1}+1}, \ldots ,X_{s_{\mu,j}}))).\end{align*}$$

We will also consider operators in $\mathcal {H}_{\mathcal {O}}(G, \mathfrak {p}_1)$ , such that their actions on $\pi ^{\mathfrak {p}} \subset \pi ^{\mathfrak {p}_1}$ agree with the action of $V^{i,j}$ for any smooth representation $\pi $ . They can be constructed in the same way as $V^{i,j}$ above by replacing $S_{\mu }$ with the Satake isomorphism for $\mathfrak {m}_1$ from [Reference WhitmoreWhi22, Theorem 5.1]. These operators will also be denoted $V^{i,j}$ . We also define operators $T^{i,j}$ representing the images of the same elements under $\mathcal {S}_{\mu }^{-1}$ in $\mathcal {H}_{\mathcal {O}}(M, \mathfrak {m})$ and the corresponding operators on $\mathcal {H}_{\mathcal {O}}(M, \mathfrak {m}_1)$ .

The following lemmas are straightforward generalisations of the lemmas in [Reference ThorneTho12, Section 5]. Given a parabolic subgroup Q of $\operatorname {\mathrm {GL}}_n(F_v)$ , we write $W_Q \subset W$ for the Weyl group of its Levi factor. Recall from [Reference CasselmanCas] that the space $W_Q \backslash W / W_P$ has a canonical set of representatives $[W_Q \backslash W / W_P]$ , consisting of minimal length elements from each double coset.

Lemma 3.3. Let Q be a parabolic corresponding to the partition $n = m_1 + \ldots + m_r$ . Then $[W_Q \backslash W / W_P]$ is isomorphic to the set of partitions

$$\begin{align*}m_i = n_1^i + \ldots + n_k^i, 1 \leq i \leq r,\end{align*}$$

such that

$$\begin{align*}\sum_i n_j^i = n_j \text{ for all } 1 \leq j \leq k.\end{align*}$$

With Q as in the last lemma, let $L_i$ denote the i-th component of the corresponding Levi subgroup. For $w \in [W_Q \backslash W / W_P]$ corresponding to the partition $n_1^i + \ldots + n_k^i$ , let $\mathfrak {p}_i^w$ denote the parahoric subgroup of $L_i$ corresponding to this partition, and let $\mathfrak {p}_{i,1}^w$ be the kernel of

$$\begin{align*}\mathfrak{p}_i^w \to \operatorname{\mathrm{GL}}_{n_k^i}(F_v) \xrightarrow{\det} k_v^{\times} \to k_v^{\times}(p).\end{align*}$$

Let $\mathfrak {q}$ be the parahoric corresponding to the partition $\{n_1^1, \ldots , n_k^1, n_1^2, \ldots , n_k^r\}$ , and let $\mathfrak {n}$ be the hyperspecial maximal compact of the corresponding Levi subgroup. We define $\mathfrak {p}_{1,w}$ as a subgroup of $\mathfrak {q}$ defined by the conditions $\operatorname {\mathrm {im}}(\det N_k^j \to k_v^{\times }(p)) = 1$ for all j, where $N_k^j$ is the block corresponding to $n_k^j$ .

Let $\pi $ be an irreducible admissible representation of G, such that $\pi ^{\mathfrak {p}_1} \neq 0$ . Since $\operatorname {\mathrm {Iw}}' \subset \mathfrak {p}_1$ , supercuspidal support of $\pi $ consists of tamely ramified characters. We will now use the Bernstein-Zelevinsky classification [Reference Bernstein and ZelevinskyBZ77], following the conventions of [Reference RodierRod82], as they are best suited for applications to local Langlands correspondence. We can write $\pi $ as a quotient of

$$\begin{align*}\operatorname{\mathrm{ind}}_Q^G \operatorname{\mathrm{Sp}}_{k_1}(\chi_1) \otimes \ldots \otimes \operatorname{\mathrm{Sp}}_{k_r}(\chi_r),\end{align*}$$

where $\operatorname {\mathrm {Sp}}_n(\chi )$ for a tamely ramified character $\chi : F_v^\times \to \mathbf {C}^\times $ is the unique irreducible quotient of $\operatorname {\mathrm {ind}}_{B}^{\operatorname {\mathrm {GL}}_n} \chi \otimes \chi \lvert \, \cdot \, \rvert \otimes \ldots \otimes \chi \lvert \, \cdot \, \rvert ^{n-1}$ . The twisted Steinberg factors $\operatorname {\mathrm {Sp}}_{k_i}(\chi _i)$ correspond to Zelevinsky segments $\Delta _i = (\chi , \chi (1), \ldots , \chi (k_i-1))$ .

Let $\mathcal {A}$ index the partitions of $sc(\pi )$ into k labeled subsets $S_1, \ldots , S_k$ satisfying the following conditions:

• • $\lvert S_i \rvert = n_i$ for all i.

• • characters from the same Zelevinsky segment always belong to different subsets.

• • if $\chi \in S_i, \chi ' \in S_j$ share a segment and $\chi ' = \chi (a)$ for $a> 0$ , then $i < j$ .

For each partition $\alpha \in \mathcal {A}$ , let $r(\alpha )$ be the representation of $T(F)$ given by tensoring the characters of $sc(\pi )$ in the following order: characters in $S_i$ precede characters in $S_j$ when $i < j$ , and the ordering of characters within each $S_i$ is induced by the ordering of Zelevinsky segments.

Lemma 3.5. For each $1 \leq i \leq r$ , let $\pi _i$ be a smooth representation of $L_i$ . Then

$$\begin{align*}(\operatorname{\mathrm{ind}}_Q^G \pi_1 \otimes \ldots \otimes \pi_r)_N^{ss} = \bigoplus_{w \in [W_Q \backslash W / W_P]} \operatorname{\mathrm{ind}}_{w^{-1}Qw \cap M}^M w^{-1}(\pi_1 \otimes \ldots \otimes \pi_r)_{L \cap wNw^{-1}}.\end{align*}$$

Proof. We have a surjection

$$\begin{align*}\operatorname{\mathrm{ind}}_Q^G \operatorname{\mathrm{Sp}}_{k_1}(\chi_1) \otimes \ldots \otimes \operatorname{\mathrm{Sp}}_{k_r}(\chi_r) \twoheadrightarrow \pi,\end{align*}$$

and the induced map

$$\begin{align*}(\operatorname{\mathrm{ind}}_Q^G \operatorname{\mathrm{Sp}}_{k_1}(\chi_1) \otimes \ldots \otimes \operatorname{\mathrm{Sp}}_{k_r}(\chi_r))^{\mathfrak{p}_1} \rightarrow \pi^{\mathfrak{p}_1}\end{align*}$$

is also surjective. By Lemma 3.5, we can write

$$ \begin{align*}& (\operatorname{\mathrm{ind}}_Q^G \operatorname{\mathrm{Sp}}_{k_1}(\chi_1) \otimes \ldots \otimes \operatorname{\mathrm{Sp}}_{k_r}(\chi_r))_N^{ss} = \\ & \sigma \oplus \bigoplus_{(S_1, \ldots, S_k) \in \mathcal{A}} \operatorname{\mathrm{ind}}_{B \cap M}^M \left(\bigotimes_{\psi_1 \in S_1} \psi_1 \otimes \ldots \otimes \bigotimes_{\psi_k\in S_k} \psi_k \right).\end{align*} $$

Here, the summands indexed by $\mathcal {A}$ correspond to $w \in [W_Q \backslash W / W_P]$ represented by partitions $\{n^i_j\}$ satisfying $n^i_j \leq 1$ for all $i,j$ (cf. Lemma 3.3) and $\sigma $ represents all other summands. We will now show that $\sigma $ does not have $\mathfrak {m}_1$ -invariants. Let $\mathfrak {m}_{i,1}^w \subset \mathfrak {p}_{i,1}^w$ be the subgroups of the Levi subgroup of $L_i$ defined analogously to $\mathfrak {p}_{i,1}^w$ .

Suppose $\sigma ^{\mathfrak {m}_1}$ is nonzero. Let $\theta $ be a representation of $GL_{n^i_j}(F_v)$ which is a tensor factor of $(\operatorname {\mathrm {Sp}}_{k_1}(\chi _1) \otimes \ldots \otimes \operatorname {\mathrm {Sp}}_{k_r}(\chi _r))_{L \cap wNw^{-1}}$ for some $w \in [W_Q \backslash W / W_P]$ contributing to $\sigma $ . Then $\theta $ has to be spherical if $j < k$ and has to have a fixed vector by $\ker (GL_{n^i_j}(\mathcal {O}_{F_v}) \to GL_{n^i_j}(k_v) \xrightarrow {\det } k_v^\times \to k_v^\times (p))$ if $j = k$ . This would imply that $\operatorname {\mathrm {Sp}}_{k_i}(\chi _i)^{\mathfrak {p}_{i,1}^w} \neq 0$ for all $1 \leq i \leq r$ and all w representing partitions $m_i = n_1^i +\ldots + n_k^i$ , such that there exists at least one $1 \leq i \leq r$ for which $k_i> 1$ and $n_j^i> 1$ for some $1 \leq j \leq k$ . To get a contradiction, it is therefore enough to show that $\operatorname {\mathrm {Sp}}_{k_i}(\chi _i)^{\mathfrak {p}_{i,1}^w} = 0$ .

Define the subgroup $\operatorname {\mathrm {Iw}}_i^{\prime } \subset {\mathfrak {p}_{i,1}^w}$ to be a subgroup of the $L_i$ -Iwahori with $1$ ’s $\ \mod \varpi $ on the diagonal at indices $n_{k-1}^i+1$ through $n_k^i$ . There are two possibilities: either $\mathfrak {p}_{i,1}^w = \operatorname {\mathrm {GL}}_{m_i}(\mathcal {O}_{F_v})$ , or $\operatorname {\mathrm {Iw}}_i^{\prime }$ has at least one $* \ \ \mod \varpi $ on the diagonal. In the former case, we are done since $\operatorname {\mathrm {Sp}}_{k_i}(\chi _i)$ is never spherical. In the latter case, let $\mathfrak {t}'$ be the diagonal component of $\operatorname {\mathrm {Iw}}_i^{\prime }$ . Then

$$\begin{align*}\operatorname{\mathrm{Sp}}_{k_i}(\chi_i)^{\operatorname{\mathrm{Iw}}_i^{\prime}} = \operatorname{\mathrm{Sp}}_{k_i}(\chi_i)_U^{\mathfrak{t}'} = (\chi_i \otimes \ldots \otimes \chi_i\lvert \, \cdot \, \rvert^{k_i-1})^{\mathfrak{t}'},\end{align*}$$

where U is the unipotent radical of the Borel. Since $\mathfrak {t}'$ has at least one $\mathcal {O}_{F_v}^{\times }$ factor, if this is nonzero, $\chi _i$ must be unramified. But in this case, any $\mathfrak {p}_{i,1}^w$ -fixed vector would be automatically fixed by the parahoric $\mathfrak {p}_i^w$ , which properly contains the Iwahori, and hence, does not fix any vector in $\operatorname {\mathrm {Sp}}_{k_i}(\chi _i)$ .

For a partition $n = n_1+\ldots +n_k$ which we call $\mu $ , define elements

$$\begin{align*}P_{\mu, i} = \prod \limits_{j = s_{\mu,i-1}+1}^{s_{\mu,i}} (T - X_j)\end{align*}$$

$$\begin{align*}\operatorname{\mathrm{Res}}_{\mu} = \prod_{i < j} \operatorname{\mathrm{Res}}( P_{\mu,i}, P_{\mu,j}) \in \mathbf{Z}[\Xi_v]^{S_\mu}\end{align*}$$

$$\begin{align*}\operatorname{\mathrm{Res}}_{q_v, \mu} = \prod_{i < j} \operatorname{\mathrm{Res}}(P_{\mu,i}(q_vT), P_{\mu,j}) \in \mathbf{Z}[\Xi_v]^{S_\mu}.\end{align*}$$

Then there exist unique polynomials $Q_{\mu , i} \in \mathbf {Z}[\Xi _v]^{S_\mu }[T]$ , such that $\deg Q_{\mu , i} < n_i$ and

$$\begin{align*}\sum \limits_{i=1}^n Q_{\mu,i}\prod_{j \neq i} P_{\mu, j} = \operatorname{\mathrm{Res}}_\mu.\end{align*}$$

Define

$$\begin{align*}E_{\mu, i} = Q_{\mu,i} \prod_{j \neq i} P_{\mu, j}.\end{align*}$$

The following statement is elementary.

Lemma 3.7. Take any $A \in M_n(\mathbf {C})$ with a factorisation

$$\begin{align*}\det(T - A) = \prod \limits_{i=1}^k p_{\mu, i}(T),\end{align*}$$

where $p_{\mu , i} \in \mathbf {C}[T]$ are pairwise coprime and $\deg p_{\mu , i} = n_i$ . Consider the homomorphism $\varphi : \mathbf {Z}[\Xi _v]^{S_\mu } \to \mathbf {C}$ defined by the polynomials $p_{\mu , i}$ . By this, we mean the homomorphism sending $e_j(X_{s_{\mu ,i-1}+1}, \ldots , X_{s_{\mu ,i}})$ to $(-1)^j$ times the coefficient of $T^j$ in $p_{\mu , i}$ . This homomorphism can be extended to $\varphi : \mathbf {Z}[\Xi _v]^{S_\mu }[T, \operatorname {\mathrm {Res}}_\mu ^{-1}] \to \mathbf {C}[T]$ . Then $\varphi (E_{\mu , i}/\operatorname {\mathrm {Res}}_\mu )(A)$ projects $\mathbf {C}^n$ onto the sum of generalised eigenspaces of A corresponding to the roots of $p_{\mu , i}$ .

Proposition 3.8. Let $\pi $ be an irreducible admissible $GL_{n}(F_v)$ -module. Then either $\operatorname {\mathrm {Res}}_{q_v, \mu }^{n!}\pi ^{\mathfrak {p}_1} = 0$ , or

$$\begin{align*}\operatorname{\mathrm{rec}}_{F_v}(\pi) = (\chi_1\oplus \ldots \oplus \chi_n, 0),\end{align*}$$

where $\chi _1,\ldots ,\chi _{n_1+\ldots +n_{k-1}}$ are unramified and the rest are tamely ramified with equal restriction to inertia.

Proposition 3.9. Let $\pi $ be an irreducible admissible $GL_{n}(F_v)$ -module. Let $(r, N) = \operatorname {\mathrm {rec}}_{F_v}(\pi )$ . Then either $(S_\mu \circ t_{\mu }^{-1} \circ \iota _{\mathcal {H}} \circ t_\mu \circ S_\mu ^{-1})(\operatorname {\mathrm {Res}}_{q_v, \mu }^{n!})\pi ^{\mathfrak {p}_1} = 0$ or $N = 0$ and

$$\begin{align*}r^\vee = \chi_1\oplus \ldots \oplus \chi_n,\end{align*}$$

where $\chi _1,\ldots ,\chi _{n_1+\ldots +n_{k-1}}$ are unramified and the rest are tamely ramified with equal restriction to inertia.

Let $\varphi _v \in G_{F_v}$ be any lift of Frobenius.

Proposition 3.10. Let $\pi $ be an irreducible admissible $GL_{n}(F_v)$ -module. Let $(r, N) = \operatorname {\mathrm {rec}}_{F_v}(\pi )$ . Let R be the image of $\mathcal {O}[\Xi _{v,1}]^{S_\mu }$ in $\operatorname {\mathrm {End}}_{\mathcal {O}}(\pi ^{\mathfrak {p}_1})$ under the map $t_\mu \circ S_\mu ^{-1}$ . Then either $\operatorname {\mathrm {Res}}_{q_v, \mu }^{n!}\pi ^{\mathfrak {p}_1} = 0$ or the following relation holds over R : for all $\tau \in I_{F_v}$

$$\begin{align*}\operatorname{\mathrm{Res}}_{\mu}^{n!}\left(\sum \limits_{i = 1}^{k-1} E_{\mu, i}(r(\varphi_v)) + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu, k}(r(\varphi_v)) - \operatorname{\mathrm{Res}}_{\mu}r(\tau) \right) = 0.\end{align*}$$

Proof. Assume $\operatorname {\mathrm {Res}}_{q_v, \mu }^{n!}\pi ^{\mathfrak {p}_1} \neq 0$ . It is enough to check our relation for each localisation of R at a maximal ideal $\mathfrak {m}$ . If $\operatorname {\mathrm {Res}}_{\mu } \in \mathfrak {m}$ , then $\operatorname {\mathrm {Res}}_{\mu }^{n!} = 0$ in $R_{\mathfrak {m}}$ . Otherwise, $R_{\mathfrak {m}} = \mathbf {C}$ by [Sta18, Tag 00UA] and the image of $\mathcal {O}[\Xi _{v,1}]^{S_\mu }$ in $R/\mathfrak {m}$ corresponds to the polynomials $\prod \limits _{j = s_{\mu , i-1}+1}^{s_{\mu , i}}(T - \chi _j(\varphi _v))$ for $i = 1, \ldots , k$ . Then the image of

$$\begin{align*}{\operatorname{\mathrm{Res}}_\mu}^{-1}\left( \sum \limits_{i = 1}^{k-1} E_{\mu, i}(r(\varphi_v)) + \langle \text{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu, k}(r(\varphi_v)) \right)\end{align*}$$

in $M_n(R_{\mathfrak {m}})$ is a diagonal matrix with $n - n_k$ first entries equal to $1$ and the rest equal to $\chi _n(\tau )$ . This concludes the proof.

Proposition 3.11. Let $\pi $ be an irreducible admissible $GL_{n}(F_v)$ -module. Let $(r, N) = \operatorname {\mathrm {rec}}_{F_v}(\pi )$ . Let $R'$ be the image of $\mathcal {O}[\Xi _{v,1}]^{S_\mu }$ in $\operatorname {\mathrm {End}}_{\mathcal {O}}(\pi ^{\mathfrak {p}_1})$ via the map $\iota _{\mathcal {H}} \circ t_\mu \circ S_\mu ^{-1}$ . Then either $(\iota _{\mathcal {H}} \circ t_\mu \circ S_\mu ^{-1})(\operatorname {\mathrm {Res}}_{q_v, \mu }^{n!})\pi ^{\mathfrak {p}_1} = 0$ or the following relation holds over $R'$ : for all $\tau \in I_{F_v}$

$$\begin{align*}(\iota_{\mathcal{H}} \circ t_\mu \circ S_\mu^{-1})\left(\operatorname{\mathrm{Res}}_{\mu}^{n!}\left(\sum \limits_{i = 1}^{k-1} E_{\mu, i}(r^\vee(\varphi_v)) + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu, k}(r^\vee(\varphi_v)) - \operatorname{\mathrm{Res}}_{\mu}r^\vee(\tau) \right)\right) = 0.\end{align*}$$

In what follows, we will use a twisted version of the propositions above. Define a map $\Sigma ^T : \mathcal {O}[\Xi _{v,1}]^{S_\mu } \to \mathcal {H}_{\mathcal {O}}(GL_n(F_v), \mathfrak {p}_{v,1})$ given by

$$\begin{align*}\Sigma^T(f)(g) = t_\mu(S_\mu^{-1}(f))(g)\lvert \det(g) \rvert^{(1 - n)/2}.\end{align*}$$

Let us show that this map is in fact defined over $\mathbf {Z}[q_v^{-1}]$ and thus does not depend on the choice of square root of $q_v^{-1}$ . Note that $t_\mu $ is defined over $\mathbf {Z}[q_v^{-1}]$ up to $\delta _{P_\mu }^{1/2}$ and $S_\mu $ is defined over $\mathbf {Z}[q_v^{-1}]$ up to $\prod _{i=1}^k \det (m_i)^{(1 - n_i)/2}$ , where $(m_i) \in M_\mu (F_v)$ with $m_i \in \operatorname {\mathrm {GL}}_{n_i}(F_v)$ . Thus, the desired rationality over $\mathbf {Z}[q_v^{-1}]$ follows from the fact that

$$\begin{align*}\prod_{i=1}^k \lvert \det(m_i) \rvert^{(1 - n)/2} \prod_{i=1}^k \lvert \det(m_i) \rvert^{(1 - n_i)/2} \prod_{1 \leq i < j \leq k} \lvert \det(m_i) \rvert ^{n_j/2}\lvert \det(m_j) \rvert^{-n_i/2}\end{align*}$$

lies in $\mathbf {Z}[q_v^{-1}]$ . Now let us restate Proposition 3.10 and Proposition 3.11.

Proposition 3.12. Let $\pi $ be an irreducible admissible $GL_{n}(F_v)$ -module. Let $(r, N) = \operatorname {\mathrm {rec}}^T_{F_v}(\pi )$ . Let R be the image of $\mathcal {O}[\Xi _{v,1}]^{S_\mu }$ in $\operatorname {\mathrm {End}}_{\mathcal {O}}(\pi ^{\mathfrak {p}_1})$ under the map $\Sigma ^T$ . Then either $\operatorname {\mathrm {Res}}_{q_v, \mu }^{n!}\pi ^{\mathfrak {p}_1} = 0$ or the following relation holds over R : for all $\tau \in I_{F_v}$

$$\begin{align*}\operatorname{\mathrm{Res}}_{\mu}^{n!}\left(\sum \limits_{i = 1}^{k-1} E_{\mu, i}(r(\varphi_v)) + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu, k}(r(\varphi_v)) - \operatorname{\mathrm{Res}}_{\mu}r(\tau) \right) = 0.\end{align*}$$

Proposition 3.13. Let $\pi $ be an irreducible admissible $GL_{n}(F_v)$ -module. Let $(r, N) = \operatorname {\mathrm {rec}}^T_{F_v}(\pi )$ . Let $R'$ be the image of $\mathcal {O}[\Xi _{v,1}]^{S_\mu }$ in $\operatorname {\mathrm {End}}_{\mathcal {O}}(\pi ^{\mathfrak {p}_1})$ via the map $\iota _{\mathcal {H}} \circ \Sigma ^T$ . Then either $(\iota _{\mathcal {H}} \circ \Sigma ^T)(\operatorname {\mathrm {Res}}_{q_v, \mu }^{n!})\pi ^{\mathfrak {p}_1} = 0$ or the following relation holds over $R'$ : for all $\tau \in I_{F_v}$

$$\begin{align*}(\iota_{\mathcal{H}} \circ \Sigma^T)\left(\operatorname{\mathrm{Res}}_{\mu}^{n!}\left(\sum \limits_{i = 1}^{k-1} E_{\mu, i}(r^\vee(\varphi_v)) + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu, k}(r^\vee(\varphi_v)) - \operatorname{\mathrm{Res}}_{\mu}r^\vee(\tau) \right)\right) = 0.\end{align*}$$

4 Setup

Let $F/F^+$ be an imaginary CM-field with ring of integers $\mathcal {O}$ . Let $\Psi _n$ be the matrix with $1$ -s on the antidiagonal and $0$ -s elsewhere, and let

$$\begin{align*}J_n = \begin{pmatrix} 0 & \Psi_n \\ -\Psi_n & 0 \end{pmatrix}.\end{align*}$$

Define $\widetilde {G}$ to be the group scheme over $\mathcal {O}_{F^+}$ defined by the functor of points

$$\begin{align*}\widetilde{G}(R) = \{g \in \operatorname{\mathrm{GL}}_{2n}(R \otimes_{\mathcal{O}_{F^+}} \mathcal{O}_{F}) \mid {}^tg J_n g^c = J_n\}.\end{align*}$$

Then $\widetilde {G}$ is a quasisplit reductive group over $F^+$ . It is a form of $\operatorname {\mathrm {GL}}_{2n}$ which becomes split after the quadratic base change $F/F^+$ . If v is a place of F lying above a place $\,\overline {v}$ of $F^+$ which splits in F, then we have a canonical isomorphism $\iota _v : \widetilde {G}(F^+_{\,\overline {v}}) \cong \operatorname {\mathrm {GL}}_{2n}(F_v)$ . There is an isomorphism $F_{\,\overline {v}}^+ \otimes _{F^+} F \cong F_v \times F_{v^c}$ and $\iota _v$ is given by composition

where the second map is the projection on the first factor. We write $T \subset B \subset G$ for the subgroups consisting, respectively, of the diagonal and upper-triangular matrices in $\widetilde {G}$ . Similarly, we write $G \subset P \subset \widetilde {G}$ for the Levi and parabolic subgroups consisting, respectively, of the block upper diagonal and block upper-triangular matrices with blocks of size $n \times n$ . Then $P = U \rtimes G$ , where U is the unipotent radical of P, and we can identify G with $\operatorname {\mathrm {Res}}_{\mathcal {O}_F / \mathcal {O}_{F^+}} \operatorname {\mathrm {GL}}_n$ via the map

$$\begin{align*}\begin{pmatrix} A & 0 \\ 0 & D \end{pmatrix} \mapsto D \in \operatorname{\mathrm{GL}}_n(R \otimes_{\mathcal{O}_{F^+}} \mathcal{O}_F).\end{align*}$$

An element $(g_v)_v \in G(\mathbf {A}_{F^+}^\infty ) = GL_n(\mathbf {A}_F^\infty )$ is called neat if the intersection $\cap _v\Gamma _v$ is trivial, where $\Gamma _v \subset \,\overline {\mathbf {Q}}^\times $ is the torsion subgroup of the subgroup of $\,\overline {F_v}^\times $ generated by the eigenvalues of $g_v$ acting via some faithful representation of G. We call a neat open compact subgroup $K \subset G(\mathbf {A}_{F^+}^\infty )$ good if it has the form $K = \prod _v K_v$ , where the product is running over the finite places of F. We make similar definitions with $\widetilde {G}$ in place of G.

After extending scalars to $F^+$ , T and B form a maximal torus and a Borel subgroup, respectively, of $\widetilde {G}$ and G is the unique Levi subgroup of the parabolic subgroup P of $\widetilde {G}$ which contains T. We call an open compact subgroup $\widetilde {K}$ of $\widetilde {G}(\mathbf {A}_{F^+}^\infty )$ decomposed with respect to the Levi decomposition $P = GU$ if $\widetilde {K} = \widetilde {K}_{G} \ltimes \widetilde {K}_{U}$ , where $\widetilde {K}_{G}$ is the image of $\widetilde {K}$ in G and $\widetilde {K}_{U} = \widetilde {K} \cap U(\mathbf {A}_{F^+}^\infty )$ .

If K is a good subgroup of G, we let $X_K$ be the corresponding locally symmetric space. Similarly, if $\widetilde {K}$ is a good open compact subgroup of $\widetilde {G}$ , then $\widetilde {X}_{\widetilde {K}}$ denotes the locally symmetric space. More generally, if H is a connected algebraic group over a number field L and $K_H \subset H(\mathbf {A}_M^\infty )$ is a good subgroup, then we write $X_{K_H}^H$ for the locally symmetric space of H of level $K_H$ .

Fix a rational prime p and a finite extension $E/\mathbf {Q}_p$ which contains the images of all embeddings . We write $\mathcal {O}$ for the ring of integers of E and $\varpi \in \mathcal {O}$ for a choice of uniformiser. For $\lambda \in (\mathbf {Z}_+^n)^{\operatorname {\mathrm {Hom}}}(F, E)$ , we define an $\mathcal {O}[\prod _{v \mid p} \operatorname {\mathrm {GL}}_n(\mathcal {O}_{F_v})]$ -module $\mathcal {V}_\lambda $ as in [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Section 2.2.1]. Similarly for $\widetilde {\lambda } \in (\mathbf {Z}_+^{2n})^{\operatorname {\mathrm {Hom}}}(F^+, E)$ , we have an $\mathcal {O}[\prod _{\,\overline {v} \mid p} \widetilde {G}(\mathcal {O}_{F^+_{\,\overline {v}}})]$ -module $\mathcal {V}_{\widetilde {\lambda }}$ . Both $\mathcal {V}_\lambda $ and $\mathcal {V}_{\widetilde {\lambda }}$ are finite free $\mathcal {O}$ -modules.

Let S be a set of places of F, such that $S = S^c$ and, such that S contains all places above p and all places of F which are ramified over $F^+$ . Let $\,\overline {S}$ be the set of places of $F^+$ lying below a place in S. Let $K \subset G(\mathbf {A}_{F^+}^\infty )$ be a good subgroup, such that $K_{\,\overline {v}} = G(\mathcal {O}_{F^+_{\,\overline {v}}})$ for $\,\overline {v} \notin \,\overline {S}$ , and similarly, let $\widetilde {K} \subset \widetilde {G}(\mathbf {A}_{F^+}^\infty )$ be a good subgroup, such that $\widetilde {K}_v = \widetilde {G}(\mathcal {O}_{F^+_{\,\overline {v}}})$ for $\,\overline {v} \notin \,\overline {S}$ . Additionally, we define and .

Define the Hecke algebras

$$\begin{align*}\mathcal{H}^S = \mathcal{H}_{\mathcal{O}}(G(\mathbf{A}_{F^+}^{\infty, \,\overline{S}}), K^{\,\overline{S}})\end{align*}$$

$$\begin{align*}\widetilde{\mathcal{H}}^S = \mathcal{H}_{\mathcal{O}}(\widetilde{G}(\mathbf{A}_{F^+}^{\infty,\,\overline{S}}), \widetilde{K}^{\,\overline{S}})\end{align*}$$

$$\begin{align*}\mathbf{T}^S \cong \bigotimes^{\prime}_{v \notin S} \mathcal{O}[\Xi_v]^{S_n}\end{align*}$$

$$\begin{align*}\widetilde{\mathbf{T}}^S \cong \bigotimes^{\prime}_{v \notin S} \mathcal{O}[\widetilde{\Xi}_{\,\overline{v}}]^{S_{2n}}.\end{align*}$$

Using the isomorphism

$$\begin{align*}G(\mathcal{O}_{F^+_{\,\overline{v}}}) \cong \operatorname{\mathrm{GL}}_n(\mathcal{O}_{F_v})\end{align*}$$

together with the Satake isomorphisms, as well as the homomorphism

$$\begin{align*}\mathcal{O}[\widetilde{\Xi}_{\,\overline{v}}]^{S_{2n}} \to \mathcal{H}_{\mathcal{O}}(\widetilde{G}(F^+_{\,\overline{v}}), \widetilde{G}(\mathcal{O}_{F^+_{\,\overline{v}}}))\end{align*}$$

given by the polynomial $\widetilde {P}_v(X)$ defined in [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Equation 2.2.6], we get homomorphisms $\mathbf {T}^S \to \mathcal {H}^S$ and $\widetilde {\mathbf {T}}^S \to \widetilde {\mathcal {H}}^S$ . We also have homomorphisms

$$\begin{align*}\mathbf{T}^S \to \operatorname{\mathrm{End}}_{\mathbf{D}(\mathcal{O})}(R\Gamma(X_K, \mathcal{V}_\lambda))\end{align*}$$

$$\begin{align*}\widetilde{\mathbf{T}}^S \to \operatorname{\mathrm{End}}_{\mathbf{D}(\mathcal{O})}(R\Gamma(\widetilde{X}_{\widetilde{K}}, \mathcal{V}_{\widetilde{\lambda}}))\end{align*}$$

defined in [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Section 2.1.2], and we can denote by $\mathbf {T}^S(K, \lambda )$ , $\widetilde {\mathbf {T}}^S(\widetilde {K}, \widetilde {\lambda })$ , respectively, the images of those homomorphisms. The functor $H^*$ induces $\mathcal {O}$ -algebra homomorphisms

$$\begin{align*}\mathbf{T}^S(K, \lambda) \to \operatorname{\mathrm{End}}_{\mathcal{O}}(H^*(X_K, \mathcal{V}_\lambda))\end{align*}$$

$$\begin{align*}\widetilde{\mathbf{T}}^S(\widetilde{K}, \widetilde{\lambda}) \to \operatorname{\mathrm{End}}_{\mathcal{O}}(H^*(\widetilde{X}_{\widetilde{K}}, \mathcal{V}_{\widetilde{\lambda}})).\end{align*}$$

5 Boundary cohomology

Let $\widetilde {K} \subset \widetilde {G}(\mathbf {A}_{F^+}^\infty )$ be a neat compact open subgroup decomposed with respect to the Levi decomposition $P = GU$ . We also assume that $\widetilde {K}_v = \widetilde {G}(\mathcal {O}_{F^+_{\,\overline {v}}})$ for $\,\overline {v} \notin \,\overline {S}$ . Define K as the image of $\widetilde {K}$ in $G(\mathbf {A}_{F^+}^\infty )$ , $\widetilde {K}_P = \widetilde {K} \cap P(\mathbf {A}_{F^+}^\infty )$ and $K_U = \widetilde {K} \cap U(\mathbf {A}_{F^+}^\infty )$ . Both K and $\widetilde {K}_P$ are neat. We recall from [Reference Newton and ThorneNT16, Section 3.1.2] that the boundary $\partial \widetilde {X}_{\widetilde {K}} = \,\overline {\widetilde {X}}_{\widetilde {K}}$ of the Borel-Serre compactification has a $\widetilde {G}(\mathbf {A}_{F^+}^\infty )$ -equivariant stratification indexed by the standard parabolic subgroups of $\widetilde {G}$ . For each standard parabolic subgroup Q, label the corresponding stratum $\widetilde {X}^Q_{\widetilde {K}}$ . We can write

$$\begin{align*}\widetilde{X}^Q_{\widetilde{K}} = Q(F^+)\backslash (X^Q \times \widetilde{G}(\mathbf{A}_{F^+}^\infty)/\widetilde{K}).\end{align*}$$

From now on, we will focus on the stratum $\widetilde {X}^P_{\widetilde {K}}$ corresponding to the Siegel parabolic. Let us establish some useful maps between the manifolds introduced above. The stratum $\widetilde {X}^P_{\widetilde {K}}$ can be described as a union of connected components indexed by the set $P(F^+)\backslash \widetilde {G}(\mathbf {A}_{F^+}^\infty )/\widetilde {K}$ . The locally symmetric space $X^P_{\widetilde {K}}$ is a union of the same components indexed by the set $P(F^+)\backslash P(\mathbf {A}_{F^+}^\infty )/\widetilde {K}_P$ . Thus, we have a natural open immersion $i : X^P_{\widetilde {K}} \to \widetilde {X}^P_{\widetilde {K}}$ , such that $i^* : H^*(\widetilde {X}^P_{\widetilde {K}}, \mathcal {O}) \to H^*(X^P_{\widetilde {K}}, \mathcal {O})$ is a split epimorphism. We also have a proper map $j : X^P_{\widetilde {K}_P} \to X_K$ which has a section by [Reference Newton and ThorneNT16, Section 3.1.1]. Thus, we get a split monomorphism $j^* : H^*(X_K, \mathcal {O}) \to H^*(X^P_{\widetilde {K}}, \mathcal {O}) $ . We also recall the ‘restriction to P’ and ‘integration along N’ homomorphisms:

$$\begin{align*}r_P : \mathcal{H}_{\mathcal{O}}(\widetilde{G}(\mathbf{A}_{F^+}^{\infty,\,\overline{S}}), \widetilde{K}^{\,\overline{S}}) \to \mathcal{H}_{\mathcal{O}}(\widetilde{P}(\mathbf{A}_{F^+}^{\infty,\,\overline{S}}), \widetilde{K}_P^{\,\overline{S}})\end{align*}$$

$$\begin{align*}r_G : \mathcal{H}_{\mathcal{O}}(\widetilde{P}(\mathbf{A}_{F^+}^{\infty,\,\overline{S}}), \widetilde{K}_P^{\,\overline{S}}) \to \mathcal{H}_{\mathcal{O}}(G(\mathbf{A}_{F^+}^{\infty, \,\overline{S}}), K^{\,\overline{S}})\end{align*}$$

defined in [Reference Newton and ThorneNT16, Section 2.2]. We record the following proposition, which follows from the discussion above:

Consider the composite

$$\begin{align*}\mathcal{S} = r_G \circ r_P : \mathcal{H}_{\mathcal{O}}(\widetilde{G}(\mathbf{A}_{F^+}^{\infty,\,\overline{S}}), \widetilde{K}^{\,\overline{S}}) \to \mathcal{H}_{\mathcal{O}}(G(\mathbf{A}_{F^+}^{\infty, \,\overline{S}}), K^{\,\overline{S}}).\end{align*}$$

By [Reference Newton and ThorneNT16, Proposition-Definition 5.3], this map coincides with the tensor product of maps $\mathcal {O}[\widetilde {\Xi }_{\,\overline {v}}]^{S_{2n}} \to \mathcal {O}[\Xi _v]^{S_{n}}$ determined by the polynomial $\mathcal {S}_n(P_v(X)q_v^{n(2n-1)}P_{v^c}^\vee (q_v^{1-2n}X))$ .

Let $\mathfrak {m} \subset \mathbf {T}^S$ be a non-Eisenstein maximal ideal of Galois type with residue field k. We have an associated continuous semisimple representation $\,\overline {\rho }_{\mathfrak {m}} : G_{F, S} \to \operatorname {\mathrm {GL}}_n(k)$ , such that $\det (X - \,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_v)) \equiv P_v(X)\ \ \mod \mathfrak {m}$ . Fix a tuple $(Q, (\alpha _v)_{v \in Q}),$ where

• • $Q \subset S$ and $Q \cap Q^c = \varnothing $ .

• • Each place $v \in Q$ is split over $F^+$ . Moreover, for each place $v \in Q$ , there exists an imaginary quadratic subfield $F_0 \subset F$ , such that $q_v$ splits in $F_0$ .

• • For each place $v \in Q$ , $\,\overline {\rho }_{\mathfrak {m}}$ is unramified at v and $v^c$ and $\alpha _v$ is a root of $\det (X - \,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_v)))$ .

For each $v \in Q$ , let $d_v$ be multiplicity of $\alpha _v$ as a root of $\det (X - \,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_v))$ . Fix the partitions

$$\begin{align*}\mu_v : 2n = d_v + (n-d_v) + n\end{align*}$$

$$\begin{align*}\nu_v : n = d_v + (n-d_v).\\[-9pt]\end{align*}$$

Let

$$\begin{align*}\Delta_v = \bigsqcup_{m \in M_{\mu_v}^+} [\mathfrak{p}_{\mu_v,1}m\mathfrak{p}_{\mu_v,1}] \subset \operatorname{\mathrm{GL}}_n(F_v).\\[-9pt]nonumber\end{align*}$$

Now we recall the theory of Hecke algebras of a monoid from [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Section 2.1.9]. Specifically, we consider the restriction from $\widetilde {G}$ to P

$$\begin{align*}r_P : \mathcal{H}(\iota_v^{-1}(\Delta_v), \iota_v^{-1}(\mathfrak{p}_{\mu_v,1})) \to \mathcal{H}(P(F_{\,\overline{v}}^+), P(F_{\,\overline{v}}^+) \cap \iota_v^{-1}(\mathfrak{p}_{\mu_v,1}))\\[-9pt]\end{align*}$$

and integration along fibres

$$\begin{align*}r_G : \mathcal{H}(P(F_{\,\overline{v}}^+), P(F_{\,\overline{v}}^+) \cap \iota_v^{-1}(\mathfrak{p}_{\mu_v,1}) \to \mathcal{H}(G(F_{\,\overline{v}}^+), G(F_{\,\overline{v}}^+) \cap \iota_v^{-1}(\mathfrak{p}_{\mu_v,1}))\\[-9pt]\end{align*}$$

combined with the isomorphism

$$\begin{align*}\mathcal{H}(G(F_{\,\overline{v}}^+), G(F_{\,\overline{v}}^+) \cap \iota_v^{-1}(\mathfrak{p}_{\mu_v,1})) \cong \mathcal{H}(\operatorname{\mathrm{GL}}_n(F_v) \times \operatorname{\mathrm{GL}}_n(F_{v^c}), \mathfrak{p}_{\nu_v,1} \times \operatorname{\mathrm{GL}}_n(\mathcal{O}_{F_{v^c}})),\\[-9pt]\end{align*}$$

we get a map

$$\begin{align*}\mathcal{S}_v^+ : \mathcal{H}(\iota_v^{-1}(\Delta_v), \iota_v^{-1}(\mathfrak{p}_{\mu_v,1})) \to \mathcal{H}(\operatorname{\mathrm{GL}}_n(F_v) \times \operatorname{\mathrm{GL}}_n(F_{v^c}), \mathfrak{p}_{\nu_v,1} \times \operatorname{\mathrm{GL}}_n(\mathcal{O}_{F_{v^c}})).\\[-9pt]\end{align*}$$

Write $P_{n,n} = M_{n,n}L_{n,n}$ for the parabolic subgroup of $GL_{2n}(F_v)$ corresponding to the partition $2n = n+n$ , together with its Levi decomposition. For a given $m \in M^{++}$ , from [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Section 2.1.9], we know that

$$\begin{align*}\mathcal{S}_v^+(\iota_v^{-1}([\mathfrak{p}_{\mu_v,1}m\mathfrak{p}_{\mu_v,1}])) = \lvert \delta_P(m)^{-1} \rvert \iota_v^{-1}([(\mathfrak{p}_{\mu_v,1} \cap M_{n,n})m(\mathfrak{p}_{\mu_v,1} \cap M_{n,n})]).\\[-9pt]\end{align*}$$

By the same argument as in the proof of Lemma 3.2, we see that there exists $m \in M^{++}$ , such that the right-hand side is invertible in $\mathcal {H}(\operatorname {\mathrm {GL}}_n(F_v) \times \operatorname {\mathrm {GL}}_n(F_{v^c}), \mathfrak {p}_{\nu _v,1} \times \operatorname {\mathrm {GL}}_n(\mathcal {O}_{F_{v^c}}))$ . Thus, we can extend the homomorphism to

$$\begin{align*}&\mathcal{S}_v : \mathcal{H}(\iota_v^{-1}(\Delta_v), \iota_v^{-1}(\mathfrak{p}_{\mu_v,1}))[(\iota_v^{-1}([\mathfrak{p}_{\mu_v,1}m\mathfrak{p}_{\mu_v,1}]))^{-1}] \\&\quad \to \mathcal{H}(\operatorname{\mathrm{GL}}_n(F_v) \times \operatorname{\mathrm{GL}}_n(F_{v^c}), \mathfrak{p}_{\nu_v,1} \times \operatorname{\mathrm{GL}}_n(\mathcal{O}_{F_{v^c}})).\end{align*}$$

This homomorphism fits into a commutative diagram

where $\mathcal {S}_v^f$ is the unique homomorphism which corresponds the polynomial $\prod _{i=1}^{2n}(T - X_i)$ to the tuple of polynomials $\prod _{i=1}^{d_v}(T - X_i), \prod _{i=d_v+1}^{n}(T - X_i), \mathcal {S}_n(q_v^{n(2n-1)}P_{v^c}^\vee (q_v^{1-2n}X))$ and maps $\tau _{\,\overline {v}}$ to $\tau _v$ .

We can define global Hecke algebras associated to our Taylor-Wiles data:

$$\begin{align*}\widetilde{\mathcal{H}}^S_Q = \widetilde{\mathcal{H}}^S \otimes_{\mathbf{Z}} \bigotimes_{v \in Q} \mathcal{H}(\iota_v^{-1}(\Delta_v), \iota_v^{-1}(\mathfrak{p}_{\mu_v,1}))[(\iota_v^{-1}([\mathfrak{p}_{\mu_v,1}m\mathfrak{p}_{\mu_v,1}]))^{-1}]\end{align*}$$

$$\begin{align*}\widetilde{\mathbf{T}}^S_Q = \widetilde{\mathbf{T}}^S \otimes_{\mathbf{Z}} \bigotimes_{v \in Q} \mathcal{O}[\widetilde{\Xi}_{\,\overline{v},1}]^{S_{\mu_v}}\end{align*}$$

$$\begin{align*}\mathcal{H}^S_Q = \mathcal{H}^S \otimes_{\mathbf{Z}} \bigotimes_{v \in Q} \mathcal{H}(\operatorname{\mathrm{GL}}_n(F_v) \times \operatorname{\mathrm{GL}}_n(F_{v^c}), \mathfrak{p}_{\nu_v,1} \times \operatorname{\mathrm{GL}}_n(\mathcal{O}_{F_{v^c}}))\end{align*}$$

$$\begin{align*}\mathbf{T}^S_Q = \mathbf{T}^S \otimes_{\mathbf{Z}} \bigotimes_{v \in Q} \mathcal{O}[\Xi_{v,1}]^{S_{\nu_v}} \otimes_{\mathcal{O}} \mathcal{O}[\Xi_{v^c}]^{S_n}.\end{align*}$$

The following proposition follows from the discussion above:

Proposition 5.2. There exist homomorphisms $\mathcal {S}_Q^f : \widetilde {\mathbf {T}}^S_Q \to \mathbf {T}^S_Q$ and $\mathcal {S}_Q : \widetilde {\mathcal {H}}^S_Q \to \mathcal {H}^S_Q$ fitting into a commutative diagram

where $\mathcal {S}_Q^f$ coincides with $\mathcal {S}_v^f$ at places $v \in Q$ and with the Satake isomorphism from [Reference Newton and ThorneNT16, Proposition-Definition 5.3] at places $v \notin S$ .

Let $\widetilde {K}$ be a good subgroup of $\widetilde {G}(\mathbf {A}_{F^+}^\infty )$ , such that $\widetilde {K}^S = \widetilde {G}(\widehat {\mathcal {O}}_{F^+}^{\,\overline {S}})$ and $\widetilde {K}$ is decomposed with respect to P. We can define subgroups $\widetilde {K}_1(Q) \subset \widetilde {K}_0(Q) \subset \widetilde {K}$ as follows:

• • If $\,\overline {v} \notin \,\overline {Q}$ , then $\widetilde {K}_1(Q)_{\,\overline {v}} = \widetilde {K}_0(Q)_{\,\overline {v}} = \widetilde {K}_{\,\overline {v}}$ .

• • If $\,\overline {v} \in \,\overline {Q}$ , then $\widetilde {K}_1(Q)_{\,\overline {v}} = \iota _v^{-1}(\mathfrak {p}_{\mu _v,1})$ and $\widetilde {K}_0(Q)_{\,\overline {v}} = \iota _v^{-1}(\mathfrak {p}_{\mu _v})$ .

Let $K_1(Q), K_0(Q), K$ be the images in $G(\mathbf {A}_{F^+}^\infty )$ of the intersections of $\widetilde {K}_1(Q), \widetilde {K}_0(Q), \widetilde {K}$ with $P(\mathbf {A}_{F^+}^\infty )$ . From the definition, we can see that all the subgroups from the previous sentence are decomposed with respect to P.

Now let $\mathfrak {m}_Q \subset \mathbf {T}^S_Q$ be the maximal ideal generated by $\mathfrak {m}$ and the kernels of the maps $\mathcal {O}[\widetilde {\Xi }_{\,\overline {v},1}]^{S_{\mu _v}} \to k$ associated to the polynomials $(x-\alpha _v)^{d_v}, \det (X - \,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_v))/(x-\alpha _v)^{d_v}, \det (X - \,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_{v^c}))$ for $v \in Q$ . Also, let $\widetilde {\mathfrak {m}}_Q = {S_Q^f}^{-1}(\mathfrak {m}_Q)$ .

Proposition 5.4. For $i=0,1$ , the map $S_Q^f : \widetilde {\mathbf {T}}^S_Q \to \mathbf {T}^S_Q$ descends to homomorphisms

$$\begin{align*}\widetilde{\mathbf{T}}^S_Q(H^*(\widetilde{X}^P_{\widetilde{K}_i(Q)}, \mathcal{O})) \to \mathbf{T}^S_Q(H^*(X_{K_i(Q)}, \mathcal{O}))\end{align*}$$

$$\begin{align*}\widetilde{\mathbf{T}}^S_Q(H^*(\partial \widetilde{X}_{\widetilde{K}_i(Q)}, \mathcal{O})_{\widetilde{\mathfrak{m}}}) \to \mathbf{T}^S_Q(H^*(X_{K_i(Q)}, \mathcal{O})_{\mathfrak{m}}).\end{align*}$$

Proof. To prove the first statement, we need to show that for $t \in \operatorname {\mathrm {Ann}}_{\widetilde {\mathbf {T}}^S_Q}(H^*(\widetilde {X}^P_{\widetilde {K}_i(Q)}, \mathcal {O}))$ , we have $S_Q(t) \in \operatorname {\mathrm {Ann}}_{\mathbf {T}^S_Q}(H^*(X_{K_i(Q)}, \mathcal {O}))$ . Let $\alpha $ be the right inverse of $i^*$ and $\beta $ be the left inverse of $j^*$ . Take any $h \in H^*(X_{K_i(Q)}, \mathcal {O})$ . Then we can write

$$ \begin{align*} S_Q(t)h & = r_G(r_P(t))h = \beta(j^*(r_G(r_P(t))h)) = \beta(r_P(t)j^*(h)) \\ & = \beta(r_P(t)i^*(\alpha(j^*(h)))) = \beta(i^*(t \alpha(j^*(h)))) = \beta(i^*(0)) = 0. \end{align*} $$

To prove the second statement, it is enough to note that $H^*(\widetilde {X}^P_{\widetilde {K}_i(Q)}, \mathcal {O})_{\widetilde {\mathfrak {m}}} \cong H^*(\partial \widetilde {X}_{\widetilde {K}_i(Q)}, \mathcal {O})_{\widetilde {\mathfrak {m}}}$ by [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Theorem 2.4.2].

6 Galois deformation theory

Let $E \subset \,\overline {\mathbf {Q}}_p$ be a finite extension of $\mathbf {Q}_p$ , with valuation ring $\mathcal {O}$ , uniformiser $\varpi $ and residue field k. Given a complete Noetherian local $\mathcal {O}$ -algebra $\Lambda $ with residue field k, we let $\text {CNL}_\Lambda $ denote the category of complete Noetherian local $\Lambda $ -algebras with residue field k. We refer to an object in $\text {CNL}_\Lambda $ as a $\text {CNL}_\Lambda $ -algebra. We fix a number field F and let $S_p$ be the set of places of F above p. We assume that E contains the images of all embeddings of F in $\mathbf {Q}_p$ . We also fix a continuous absolutely irreducible homomorphism $\,\overline {\rho }: G_F \to \operatorname {\mathrm {GL}}_n(k)$ . We assume throughout that $p \nmid 2n$ .

Following [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Definition 6.2.2], we call a global deformation problem a tuple

$$\begin{align*}\mathcal{S} = (\,\overline{\rho}, S, \{\Lambda_v\}_{v \in S}, \{\mathcal{D}_v\}_{v \in S}),\end{align*}$$

where

• • S is a finite set of finite places of F containing $S_p$ and all the places at which $\,\overline {\rho }$ is ramified.

• • $\Lambda _v$ is an object of $\text {CNL}_{\mathcal {O}}$ for each $v \in S$ .

• • $\mathcal {D}_v$ is a local deformation problem ([Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Section 6.2.1]) for each $v \in S$ .

Associated to this global deformation problem, we have a completed tensor product $\Lambda = \widehat {\otimes }_{v \in S}\Lambda _v$ . A global deformation problem determines a representable functor $\mathcal {D}_{\mathcal {S}} : \text {CNL}_\Lambda \to \textbf {Set}$ which takes an object $A \in \text {CNL}_\Lambda $ to the set of deformations $\rho : G_F \to \operatorname {\mathrm {GL}}_n(A)$ of type $\mathcal {S}$ .

Let v be a finite place of F, such that $v \notin S$ and $q_v \equiv 1\ \,\pmod p$ . We let $\mathcal {D}_v^1$ denote the local deformation problem consisting of all lifts which associate $A \in \text {CNL}_{\Lambda _v}$ to the set of lifts which are $1+M_n(\mathfrak {m}_A)$ -conjugate to a lift of the form $s_v \oplus \psi _v$ , where $s_v$ is unramified and the image of $\psi _v$ under inertia is contained in the set of scalar matrices. This is indeed a local deformation problem, as is shown in [Reference ThorneTho12, Lemma 4.2].

Proof. Let $n_i = \dim \,\overline {r}_i$ . Suppose we have a lift $r_m : G_{F_v} \to \operatorname {\mathrm {GL}}_n(A)$ of $\,\overline {r}$ , such that $r_m \bmod \;\mathfrak {m}_A^m$ can be written in the form $r_1 \oplus r_2$ . We will show that there exists a matrix $X_m \in 1+M_n(\mathfrak {m}_A^m)$ , such that satisfies the same condition $\bmod \;\mathfrak {m}_A^{m+1}$ . Write

$$\begin{align*}X_n = \begin{pmatrix} 1 & Y \\ Z & 1 \end{pmatrix} \qquad r_n = \begin{pmatrix} A & B \\ C & D \end{pmatrix},\\[-10pt]\end{align*}$$

where $Y\in M_{n_1 \times n_2}(\mathfrak {m}_A^m)$ and $Z \in M_{n_2 \times n_1}(\mathfrak {m}_A^m)$ . Then the condition on $r_{m+1}$ transforms into

(6.2) $$ \begin{align}YD - AY + B = 0 \bmod\;\mathfrak{m}_A^{m+1}\end{align} $$

(6.3) $$ \begin{align}ZA - DZ + C = 0 \bmod\;\mathfrak{m}_A^{m+1}.\\[-10pt]\nonumber\end{align} $$

We will focus on the first condition, the second is similar. We know that $r_m \ \ \mod \mathfrak {m}_A^m$ is block-diagonal, so we can consider $\,\overline {b}, \,\overline {y}$ to be the images of B and Y, respectively, in $\mathfrak {m}_A^{m}/\mathfrak {m}_A^{m+1}$ ,

(6.4) $$ \begin{align}\,\overline{b}\,\overline{r}_2^{-1} = \,\overline{r}_1\,\overline{y}\,\overline{r}_2^{-1} - \,\overline{y}\\[-10pt]\nonumber\end{align} $$

in $M_n(\mathfrak {m}_A^{m}/\mathfrak {m}_A^{m+1}) = M_n(k) \otimes _k \mathfrak {m}_A^{m}/\mathfrak {m}_A^{m+1}$ . Using the fact that r is a homomorphism, for $\sigma , \tau \in G_{F_v}$ , we can write

$$\begin{align*}A(\sigma)B(\tau) + B(\sigma)D(\tau) = B(\sigma\tau).\\[-10pt]\end{align*}$$

Rewriting and reducing $\bmod \;\mathfrak {m}_A^{n+1}$ , we get

$$\begin{align*}\,\overline{r}_1(\sigma)\,\overline{b}(\tau) + \,\overline{b}(\sigma)\,\overline{r}_2(\tau) = \,\overline{b}(\sigma\tau)\end{align*}$$

(6.5) $$ \begin{align}\,\overline{b}(\sigma\tau)\,\overline{r}_2^{-1}(\sigma\tau) = \,\overline{r}_1(\sigma)\,\overline{b}(\tau)\,\overline{r}_2^{-1}(\tau)\,\overline{r}_2^{-1}(\sigma) + \,\overline{b}(\sigma)\,\overline{r}_2^{-1}(\sigma).\\[-10pt]\nonumber\end{align} $$

Give $M_{n_1 \times n_2}(\mathfrak {m}_A^{m}/\mathfrak {m}_A^{m+1})$ the structure of a $G_{F_v}$ -module via $\,\overline {r}_1(-)\,\overline {r}_2^{-1}$ , and denote this module $\operatorname {\mathrm {ad}}(\,\overline {r}_1, \,\overline {r}_2)$ . Then the last equation implies that $\,\overline {b}\,\overline {r}_2^{-1}$ is in $Z^1(G_{F_v}, \operatorname {\mathrm {ad}}(\,\overline {r}_1, \,\overline {r}_2))$ . Since $\,\overline {r}_1,\,\overline {r}_2$ have coprime characteristic polynomials, we know that $H^1(G_{F_v},\operatorname {\mathrm {ad}}(\,\overline {r}_1, \,\overline {r}_2)) = 0$ by local Tate duality (here, we are using that $q_v = 1$ in k), which means $\,\overline {b}\,\overline {r}_2^{-1} \in B^1(G_{F_v}, \operatorname {\mathrm {ad}}(\,\overline {r}_1, \,\overline {r}_2))$ , and thus we can find y satisfying Eq. 6.4.

Now we define our version of the Taylor-Wiles datum, analogous to the one appearing in [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Section 6.2.27].

Definition 6.6. Let

$$\begin{align*}\mathcal{S} = (\,\overline{\rho}, S, \{\Lambda_v\}_{v \in S}, \{\mathcal{D}_v\}_{v \in S})\\[-10pt]\end{align*}$$

be a global deformation problem. A Taylor-Wiles datum of level $N \geq 1$ for $\mathcal {S}$ consists of a tuple $(Q, {\alpha _v}_{v \in Q}),$ where

• • A finite set Q of places of F, disjoint from S, such that $q_v \equiv 1\ \,\pmod {p^N}$ for each $v \in Q$ .

• • For each $v \in Q$ , $\alpha _v$ is an eigenvalue of $\,\overline {\rho }(\operatorname {\mathrm {Frob}}_v)$ .

Given a Taylor-Wiles datum $(Q, (\alpha _v))$ , we define a global deformation problem

$$\begin{align*}\mathcal{S}_Q = (\,\overline{\rho}, S \cup Q, \{\Lambda_v\}_{v \in S} \cup \{\mathcal{O}_{F_v}\}_{v \in Q}, \{\mathcal{D}_v\}_{v \in S} \cup \{\mathcal{D}_v^1\}_{v \in Q}).\end{align*}$$

Define $\Delta _Q = \prod _{v \in Q} \Delta _v$ . The representing object $R_{\mathcal {S}_Q}$ has a structure of a $\mathcal {O}[\Delta _Q]$ -algebra satisfying $R_{\mathcal {S}_Q} \otimes _{\mathcal {O}[\Delta _Q]} \mathcal {O} = R_{\mathcal {S}}$ .

7 Representations into Hecke algebras

In this section, we construct the necessary Galois representations into the Hecke algebras associated to G. From Proposition 5.4, we know that we can create representations valued in the Hecke algebra acting on $H^*(X_{K_i(Q)}, \mathcal {O})_{\mathfrak {m}_Q}$ from representations valued in the Hecke algebra acting on $H^*(\partial \widetilde {X}_{\widetilde {K}_i(Q)}, \mathcal {O})_{\widetilde {\mathfrak {m}}_Q}$ . The latter representations will be constructed by glueing together Galois representations associated to cuspidal cohomological automorphic representations of $\widetilde {G}(\mathbf {A}_{F^+}^\infty )$ as in [Reference ScholzeSch15] and using the local computations of Section 3.

7.1 Hecke algebras for $\widetilde {G}$

Theorem 7.1. Suppose that $\widetilde {K} \subset \widetilde {G}(\mathbf {A}_{F^+}^\infty )$ is a good subgroup which is decomposed with respect to P. Then there exists a $2n$ -dimensional $\widetilde {\mathbf {T}}^S_Q(H_c^*(X_{\widetilde {K}_1(Q)}, \mathcal {O}))/I$ -valued group determinant $D_{c,Q}$ of $G_{F, S}$ for some ideal I of nilpotence degree depending only on n and $[F:\mathbf {Q}]$ , such that the following properties hold:

1. 1. If $v \notin S$ is a place of F, then $D_{c, Q}(X - \operatorname {\mathrm {Frob}}_v)$ is equal to the image of $\widetilde {P}_v(X)$ in $\widetilde {\mathbf {T}}^S_Q(H_c^*(X_{\widetilde {K}_1(Q)}, \mathcal {O}))/I[X]$ .

2. 2. If $v \in Q$ , then for any $\sigma \in G_{F, S}$ and $\tau \in I_{F_v}$ , we have the relation

   $$\begin{align*}\operatorname{\mathrm{Tr}}_{D_{c, Q}}\left(\sigma\operatorname{\mathrm{Res}}_{q_v, \mu_v}^{(2n)!}\operatorname{\mathrm{Res}}_{\mu_v}^{(2n)!}\left(\sum \limits_{i = 1}^{k-1} E_{\mu_v, i}(\varphi_v) + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu_v, k}(\varphi_v) - \operatorname{\mathrm{Res}}_{\mu_v}\tau \right)\right) = 0.\end{align*}$$

Proof. This follows from Proposition 3.12 by using [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Theorem 2.3.3] and [Reference ScholzeSch15, Corollary 5.1.11] (see proof of [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Proposition 3.2.2]).

Now we prove the version of the previous proposition for noncompactly supported cohomology:

Theorem 7.2. Suppose that $\widetilde {K} \subset \widetilde {G}(\mathbf {A}_{F^+}^\infty )$ is a good subgroup which is decomposed with respect to P. Then there exists a $2n$ -dimensional $\widetilde {\mathbf {T}}^S_Q(H^*(X_{\widetilde {K}_1(Q)}, \mathcal {O}))/I$ -valued group determinant $D_Q$ of $G_{F, S}$ for some ideal I of nilpotence degree depending only on n and $[F:\mathbf {Q}]$ , such that the following properties hold:

1. 1. If $v \notin S$ is a place of F, then $D_Q(X - \operatorname {\mathrm {Frob}}_v)$ is equal to the image of $\widetilde {P}_v(X)$ in $\widetilde {\mathbf {T}}^S_Q(H^*(X_{\widetilde {K}_1(Q)}, \mathcal {O}))/I[X]$ .

2. 2. If $v \in Q$ , then for any $\sigma \in G_{F, S}$ and $\tau \in I_{F_v}$ , we have the relation

   $$\begin{align*}\operatorname{\mathrm{Tr}}_{D_{Q}}\left(\sigma\operatorname{\mathrm{Res}}_{q_v, \mu_v}^{(2n)!}\operatorname{\mathrm{Res}}_{\mu_v}^{(2n)!}\left(\sum \limits_{i = 1}^{k-1} E_{\mu_v, i}(\varphi_v) + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu_v, k}(\varphi_v) - \operatorname{\mathrm{Res}}_{\mu_v}\tau \right)\right) = 0.\end{align*}$$

Proof. Denote by $\widetilde {\mathbf {T}}^S_{Q, \iota }(H^*_c(X_{\widetilde {K}_1(Q)}, \mathcal {O}))$ the image of $\widetilde {\mathbf {T}}^S_Q$ under the homomorphism

$$\begin{align*}\widetilde{\mathbf{T}}^S_Q \to \mathcal{H}_{\mathcal{O}}(\widetilde{G}(\mathbf{A}_{F^+}^\infty), \widetilde{K}_1(Q)) \xrightarrow{\iota_{\mathcal{H}}} \mathcal{H}_{\mathcal{O}}(\widetilde{G}(\mathbf{A}_{F^+}^\infty), \widetilde{K}_1(Q)) \to \operatorname{\mathrm{End}}_{\mathbf{D}(\mathcal{O})}(H^*_c(X_{\widetilde{K}_1(Q)}, \mathcal{O})).\end{align*}$$

The same argument as in the proof of Theorem 7.1 shows that there exists a group determinant $D_\iota $ valued in $\widetilde {\mathbf {T}}^S_{Q, \iota }(H^*_c(X_{\widetilde {K}_1(Q)}, \mathcal {O}))/I$ satisfying the following properties:

1. 1. If $v \notin S$ is a place of F, then $D_Q(X - \operatorname {\mathrm {Frob}}_v)$ is equal to the image of $\widetilde {P}_v(X)$ in $\widetilde {\mathbf {T}}^S_{Q, \iota }(H^*_c(X_{\widetilde {K}_1(Q)}, \mathcal {O}))/I[X]$ .

2. 2. If $v \notin Q$ , then for any $\sigma \in G_{F, S}$ and $\tau \in I_{F_v}$ , we have the relation

   $$\begin{align*}\operatorname{\mathrm{Tr}}_{D_\iota}\left(\sigma\operatorname{\mathrm{Res}}_{q_v, \mu_v}^{(2n)!}\operatorname{\mathrm{Res}}_{\mu_v}^{(2n)!}\left(\sum \limits_{i = 1}^{k-1} E_{\mu_v, i}(\varphi_v) + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu_v, k}(\varphi_v) - \operatorname{\mathrm{Res}}_{\mu_v}\tau \right)\right) = 0.\end{align*}$$

By [Reference Newton and ThorneNT16, Proposition 3.7], we have a commutative diagram

(7.3)

where the right vertical arrow is induced by Poincaré duality. Then we get an isomorphism

$$\begin{align*}\widetilde{\mathbf{T}}^S_{Q, \iota}(H^*_c(X_{\widetilde{K}_1(Q)}, \mathcal{O}))/I_1 \xrightarrow{\sim} \widetilde{\mathbf{T}}^S_{Q}(H^*(X_{\widetilde{K}_1(Q)}, \mathcal{O}))/I_2\end{align*}$$

over $\widetilde {\mathbf {T}}^S_Q$ for some ideals $I_{1,2}$ of nilpotence degrees depending only on n and $[F:\mathbf {Q}]$ . Moreover, we can choose $I_1$ , such that it contains I. We can conclude by making $D_Q$ the image of $D_\iota $ under this homomorphism.

Lemma 7.4. Let k be a field, and let $\,\overline {\rho }_1, \,\overline {\rho }_2: G \to GL_n(k)$ be two nonisomorphic absolutely irreducible representations. Then the extended map $k[G] \to M_n(k) \oplus M_n(k)$ defined by $\,\overline {\rho }_1 \oplus \,\overline {\rho }_2$ is surjective.

Proof. We may pass to the algebraic closure of k (which we still denote k). Let $\ell _i : k[G] \to M_n(k)$ be the linear extension of $\,\overline {\rho }_i$ for $i = 1,2$ . The two maps $\ell _i$ are surjective by Burnside’s theorem. Let A be the image of $\ell _1 \oplus \ell _2$ , and let $I_i = \ker (A \to M_n(k)),$ where $i=1,2$ corresponds to projecting on the first and second factor. Since $\ell _i$ are surjective, $I_i$ are in fact two-sided ideals of $M_n(k)$ . Then $I_i = M_n(k)$ or $I_i = 0$ . If $I_i = M_n(k)$ for some i, then $\ell _1 \oplus \ell _2$ is surjective. Suppose then that $I_1 = I_2 = 0$ . Then we have an automorphism f of $M_n(k)$ defined by $(v, f(v)) \in A$ for all $v \in M_n(k)$ . Since all the automorphisms of $M_n(k)$ are inner, we conclude that there exists $u \in \operatorname {\mathrm {GL}}_n(k)$ , such that $A = \{(v, uvu^{-1}) \mid v \in M_n(k)\}$ . But this is impossible since $\,\overline {\rho }_1$ and $\,\overline {\rho }_2$ are nonisomorphic.

Theorem 7.5. Suppose that $\widetilde {K} \subset \widetilde {G}(\mathbf {A}_{F^+}^\infty )$ is a good subgroup which is decomposed with respect to P and that for each $v \in Q$ , we have $\operatorname {\mathrm {Res}}_{\mu _v} \notin \widetilde {\mathfrak {m}}_{Q}$ . Then there exists a continuous representation

$$\begin{align*}\rho_{\mathfrak{m}_Q} : G_{F, S \cup Q} \to \operatorname{\mathrm{GL}}_n(\mathbf{T}_Q^S(H^*(X_{K_1(Q)}, \mathcal{O})_{\mathfrak{m}_Q})/I)\end{align*}$$

satisfying the conditions below for some ideal $I \subset \mathbf {T}_Q^S(H^*(X_{K_1(Q)}, \mathcal {O})_{\mathfrak {m}_Q})$ of nilpotence degree depending only on n and $[F : \mathbf {Q}]$ .

1. 1. If $v \notin S$ is a place of F, the characteristic polynomial of $\rho _{\mathfrak {m}_Q}(\operatorname {\mathrm {Frob}}_v)$ is equal to the image of $P_v(X)$ in $\mathbf {T}_Q^S(H^*(X_{K_1(Q)}, \mathcal {O})_{\mathfrak {m}})/I[X]$ .

2. 2. If $v \in Q$ , then $\rho _{\mathfrak {m}_Q}|_{G_{F_{v^c}}}$ is unramified.

3. 3. If $v \in Q$ , then $\rho _{\mathfrak {m}_Q}|_{G_{F_v}} = s \oplus \psi $ , where s is unramified and $\tau \in I_{F_v}$ acts on $\psi $ as a scalar $\langle \mathrm{Art}_{F_v}^{-1}(\tau ) \rangle $ .

Proof. Using Theorem 7.1 and Theorem 7.2, we can construct a $\widetilde {\mathbf {T}}^S_Q(H_c^*(X_{\widetilde {K}_1(Q)}, \mathcal {O})_{\widetilde {\mathfrak {m}}_Q} \oplus H^*(X_{\widetilde {K}_1(Q)}, \mathcal {O})_{\widetilde {\mathfrak {m}}_Q})/I$ -valued group determinant $D_Q$ of $G_{F,S \cup Q}$ . Consider the long exact sequence

$$\begin{align*}\ldots \to H_c^i(\widetilde{X}_{\widetilde{K}_1(Q)}, \mathcal{O}) \to H^i(\widetilde{X}_{\widetilde{K}_1(Q)}, \mathcal{O}) \to H^i(\partial \widetilde{X}_{\widetilde{K}_1(Q)}, \mathcal{O}) \to H_c^{i+1}(\widetilde{X}_{\widetilde{K}_1(Q)}, \mathcal{O})\to. \end{align*}$$

Using this sequence and Proposition 5.4, we know that $S_Q^f$ descends to a homomorphism

$$\begin{align*}\widetilde{\mathbf{T}}^S_Q(H_c^*(\widetilde{X}_{\widetilde{K}_1(Q)}, \mathcal{O})_{\widetilde{\mathfrak{m}}_Q} \oplus H^*(\widetilde{X}_{\widetilde{K}_1(Q)}, \mathcal{O})_{\widetilde{\mathfrak{m}}_Q}) \to \mathbf{T}^S_Q(H^*(X_{K_1(Q), \mathcal{O}})_{\mathfrak{m}_Q})/I_0\end{align*}$$

for some ideal $I_0$ with square $0$ . We can use this to construct a $2n$ -dimensional group determinant $D^0_Q$ valued in $\mathbf {T}^S_Q(H^*(X_{K_1(Q), \mathcal {O}})_{\mathfrak {m}_Q})/I$ , such that:

1. 1. For $v \notin S$ , we have $D^0_Q(X - \operatorname {\mathrm {Frob}}_v) = P_v(X)q_v^{n(2n-1)}{P_{v^c}}^\vee (q_v^{1-2n}X)$ .

2. 2. For $v \in Q$ , we have

   $$\begin{align*}\operatorname{\mathrm{Tr}}_{D^0_Q}\left(S_Q^f\left(\sigma\operatorname{\mathrm{Res}}_{q_v, \mu_v}^{(2n)!}\operatorname{\mathrm{Res}}_{\mu_v}^{(2n)!}\left(\sum \limits_{i = 1}^{k-1} E_{\mu_v, i}(\varphi_v) + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu_v, k}(\varphi_v) - \operatorname{\mathrm{Res}}_{\mu_v}\tau \right)\right)\right) = 0,\end{align*}$$

and I has nilpotence degree depending only on n and $[F:\mathbf {Q}]$ . By [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Theorem 2.3.7], there also exists an n-dimensional group determinant $D^1_Q$ of $G_{F, S \cup Q}$ valued in $\mathbf {T}^S_Q(H^*(X_{K_1(Q), \mathcal {O}})_{\mathfrak {m}_Q})/I$ , such that $D^1_Q(X - \operatorname {\mathrm {Frob}}_v) = P_v(X)$ for $v \notin S$ . Then the group determinants $D^1_Q \oplus {D^1_Q}^\perp $ and $D^0_Q$ are equal. Moreover, since $\,\overline {\rho }_{\mathfrak {m}}$ is absolutely irreducible, there exists a continuous representation

$$\begin{align*}\rho_{\mathfrak{m}_Q} : G_{F, S \cup Q} \to \operatorname{\mathrm{GL}}_n(\mathbf{T}^S_Q(H^*(X_{K_1(Q)}, \mathcal{O})_{\mathfrak{m}_Q})/I),\end{align*}$$

such that the characteristic polynomial of $\rho _{\mathfrak {m}_Q}$ is associated to $D^1_Q$ . Let . Writing out the relation at places $v \in Q$ , we get

$$ \begin{align*}& \operatorname{\mathrm{Tr}} (\rho_{\mathfrak{m}_Q}'(\sigma) S_Q^f(\operatorname{\mathrm{Res}}_{q_v, \mu_v}^{(2n)!}\operatorname{\mathrm{Res}}_{\mu_v}^{(2n)!}(\sum \limits_{i = 1}^{k-1} E_{\mu_v, i}(\rho_{\mathfrak{m}_Q}'(\varphi_v)) \\ & + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu_v, k}(\rho_{\mathfrak{m}_Q}'(\varphi_v)) - \operatorname{\mathrm{Res}}_{\mu_v}\rho_{\mathfrak{m}_Q}'(\tau) ))) = 0.\end{align*} $$

Since $\operatorname {\mathrm {Res}}_{\mu _v} \notin \widetilde {\mathfrak {m}}_{Q}$ , we know that $\,\overline {\rho }_{\mathfrak {m}}$ and $\,\overline {\rho }_{\mathfrak {m}}^\perp $ are not isomorphic. Applying Nakayama’s lemma and Lemma 7.4, we see that the extended map

$$\begin{align*}\mathbf{T}^S_Q[G_{F, S \cup Q}] \to M_n(\mathbf{T}^S_Q(H^*(X_{K_1(Q), \mathcal{O}})_{\mathfrak{m}_Q})/I) \oplus M_n(\mathbf{T}^S_Q(H^*(X_{K_1(Q), \mathcal{O}})_{\mathfrak{m}_Q})/I)\\[-15pt]\end{align*}$$

given by $\rho _{\mathfrak {m}_Q}\oplus \rho _{\mathfrak {m}_Q}^\perp $ is surjective. Considering the trace relation above with $\sigma $ replaced by an arbitrary element of $\mathbf {T}^S_Q[G_{F, S \cup Q}]$ , we conclude that

$$ \begin{align*}& S_Q^f(\operatorname{\mathrm{Res}}_{q_v, \mu_v}^{(2n)!}\operatorname{\mathrm{Res}}_{\mu_v}^{(2n)!}(\sum \limits_{i = 1}^{k-1} E_{\mu_v, i}(\rho_{\mathfrak{m}_Q}'(\varphi_v)) \\ & + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu_v, k}(\rho_{\mathfrak{m}_Q}'(\varphi_v)) - \operatorname{\mathrm{Res}}_{\mu_v}\rho_{\mathfrak{m}_Q}'(\tau) )) = 0.\\[-15pt]\end{align*} $$

Since $q_v \equiv 1\ \ \mod p$ , we know that $\operatorname {\mathrm {Res}}_{q_v, \mu _v} \notin \widetilde {\mathfrak {m}}_Q$ . Thus

$$ \begin{align*} S_Q^f\left(\sum \limits_{i = 1}^{k-1} E_{\mu_v, i}(\rho_{\mathfrak{m}_Q}'(\varphi_v)) + \langle \mathrm{Art}_{F_v}^{-1}(\tau) \rangle E_{\mu_v, k}(\rho_{\mathfrak{m}_Q}'(\varphi_v)) - \operatorname{\mathrm{Res}}_{\mu_v}\rho_{\mathfrak{m}_Q}'(\tau) \right) = 0.\\[-15pt]\end{align*} $$

This implies that

$$\begin{align*}\rho_{\mathfrak{m}_Q}(\tau) = S_Q^f\left(\sum \limits_{i = 1}^{k-1} \operatorname{\mathrm{Res}}_{\mu_v}^{-1}E_{\mu_v, i}(\rho_{\mathfrak{m}_Q}(\varphi_v))\right) + S_Q^f(\langle \mathrm{Art}_{F_v}^{-1}(\tau)\rangle \operatorname{\mathrm{Res}}_{\mu_v}^{-1}E_{\mu_v, k}(\rho_{\mathfrak{m}_Q}(\varphi_v))).\\[-15pt]\end{align*}$$

Using Proposition 5.2, we can transform the equation above into

$$\begin{align*}\rho_{\mathfrak{m}_Q}(\tau) = \operatorname{\mathrm{Res}}_{\nu_v}^{-1}E_{\nu_v, 1}(\rho_{\mathfrak{m}_Q}(\varphi_v)) + \langle \mathrm{Art}_{F_v}^{-1}(\tau)\rangle \operatorname{\mathrm{Res}}_{\nu_v}^{-1}E_{\nu_v, 2}(\rho_{\mathfrak{m}_Q}(\varphi_v)).\\[-15pt]\end{align*}$$

Let . Consider the decomposition $\,\overline {\rho }_{\mathfrak {m}} = \,\overline {r}_1 \oplus \,\overline {r}_2$ , corresponding to the Frobenius generalised eigenspaces of all eigenvalues not equal to $\alpha _v$ and $\alpha _v$ , respectively. Then

$$\begin{align*}\mathbf{T}^n = \operatorname{\mathrm{Res}}_{\nu_v}^{-1}E_{\nu_v, 1}(\rho_{\mathfrak{m}_Q}(\varphi_v))\mathbf{T}^n \oplus \operatorname{\mathrm{Res}}_{\nu_v}^{-1}E_{\nu_v, 2}(\rho_{\mathfrak{m}_Q}(\varphi_v))\mathbf{T}^n\\[-15pt]\end{align*}$$

is the unique $\rho _{\mathfrak {m}_Q}(\varphi _v)$ -invariant lift of $\,\overline {r}_1 \oplus \,\overline {r}_2$ , and we are done by Lemma 6.1.

7.2 Hecke algebras for G

Let $\lambda \in (\mathbf {Z}_+^n)^{\operatorname {\mathrm {Hom}}(F, E)}$ . Further let S be a finite set of finite places of F containing the p-adic places and stable under complex conjugation satisfying the following condition:

1. 1. Let l be a rational prime, such that there exists a place above l in S or l is ramified in F. Then there exists an imaginary quadratic subfield $F_0 \subset F$ , such that l splits in $F_0$ .

Let $K \subset \operatorname {\mathrm {GL}}_n(\mathbf {A}_F^\infty )$ be a good subgroup, such that for all $v \notin S$ , we have $K_v = \operatorname {\mathrm {GL}}_n(\mathcal {O}_{F_v})$ . Let $\mathfrak {m} \subset \mathbf {T}^S(K, \lambda )$ be a non-Eisenstein maximal ideal with residue field k. By [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Theorem 2.3.5], there exists an associated residual representation $\,\overline {\rho }_{\mathfrak {m}} : G_{F, S} \to \operatorname {\mathrm {GL}}_n(\mathbf {T}^S(K, \lambda )/{\mathfrak {m}})$ . By [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Theorem 2.3.7], there exists an ideal $I \subset \mathbf {T}^S(K, \lambda )$ of nilpotence degree depending only on n and $[F : \mathbf {Q}]$ and a continuous lift $\rho _{\mathfrak {m}} : G_{F, S} \to \operatorname {\mathrm {GL}}_n(\mathbf {T}^S(K, \lambda )_{\mathfrak {m}}/I)$ , such that for each $v \in S$ , $\det (X - \rho _{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_v))$ is the image of $P_v(X)$ in $\mathbf {T}^S(K, \lambda )_{\mathfrak {m}}/I[X]$ . We consider the following Taylor-Wiles datum: a tuple $(Q, (\alpha _v)_{v \in Q})$ consisting of

• • A finite set Q of places of F, disjoint from $Q^c$ , such that $q_v \equiv 1\ \,\!\pmod p$ for each $v \in Q$ .

• • Each $v \in Q$ is split in $F^+$ , and there exists an imaginary quadratic subfield $F_0 \subset F$ , such that v is split in $F_0$ . Moreover, $\,\overline {\rho }_{\mathfrak {m}}$ is unramified at v and $v^c$ .

• • $\alpha _v$ is a root of $\det (X - \,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_v))$ .

Consider the partition $\nu _v : n = d_v + (n-d_v)$ , where $d_v$ is the multiplicity of $\alpha _v$ as a root of $\det (X - \,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_v))$ .

We define auxillary level subgroups $K_1(Q) \subset K_0(Q) \subset K$ . They are good subgroups of $\operatorname {\mathrm {GL}}_n(\mathbf {A}_F^\infty )$ defined by the following conditions:

• • if $v \notin Q$ , then $K_1(Q)_v = K_0(Q)_v = K_v$ .

• • if $v \in Q$ , then $K_0(Q)_v = \mathfrak {p}_{\nu _v}$ and $K_1(Q)_v = \mathfrak {p}_{\nu _v,1}$ .

We have a natural isomorphism $K_0(Q)/K_1(Q) \cong \Delta _Q = \prod _{v \in Q} \Delta _v$ . Let $S' = S \cup Q \cup Q^c$ . We define $\mathbf {T}^{S'}_Q = \mathbf {T}^{S \cup Q} \otimes _{\mathbf {Z}} \mathbf {Z}[\Xi _{v, 1}]^{S_{\nu _v}}$ . Let $\mathbf {T}^{S'}_Q(K_0(Q), \lambda )$ and $\mathbf {T}^{S'}_Q(K_0(Q)/K_1(Q), \lambda )$ be the images of $\mathbf {T}^{S'}_Q$ in $\operatorname {\mathrm {End}}_{\mathbf {D}(\mathcal {O})}(R\Gamma (X_{K_0(Q)}, V_\lambda ))$ and $\operatorname {\mathrm {End}}_{\mathbf {D}(\mathcal {O}[\Delta _Q])}(R\Gamma (X_{K_1(Q)}, V_\lambda ))$ , respectively. Let $\mathfrak {m}_Q$ be the maximal ideal of $\mathbf {T}^{S'}_Q$ generated by $\mathfrak {m}$ and the kernels of the homomorphisms $\mathbf {Z}[\Xi _{v, 1}]^{S_{\nu _v}} \to k$ given by the coefficients of polynomials $(X - \alpha _v)^{d_v}, \det (X - \,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_v))/(X - \alpha _v)^{d_v}$ .

Theorem 7.6. We have natural isomorphisms

$$\begin{align*}R\Gamma(X_K, V_\lambda)_{\mathfrak{m}} \simeq R\Gamma(X_{K_0(Q)}, V_\lambda)_{\mathfrak{m}_Q}\end{align*}$$

$$\begin{align*}R\Gamma(X_{K_0(Q)}, V_\lambda)_{\mathfrak{m}_Q} \simeq R\Gamma(\Delta_Q, R\Gamma(X_{K_1(Q)}, V_\lambda))_{\mathfrak{m}_Q}\end{align*}$$

in $\mathbf {D}(\mathcal {O})$ .

Proof. The second isomorphism is straightforward. For the first, we can check on the level of cohomology. It is enough to check that it is an isomorphism in $\mathbf {D}(k)$ after applying the functor $-\otimes ^{\mathbf {L}}k$ . Thus, we need to show that the map

$$\begin{align*}H^*(X_{K}, V_\lambda/\varpi)_{\mathfrak{m}} \to H^*(X_{K_0(Q)}, V_\lambda/\varpi)_{\mathfrak{m}_Q}\end{align*}$$

is an isomorphism. We can do this one prime at a time, so we can assume $Q = \{v\}$ . For each j, let

where $K(v^m)_w = K_w$ for places $w \neq v$ and $K(v^m)_v$ is the principal congruence subgroup of level $v^m$ . We have two Hochschild-Serre spectral sequences:

$$\begin{align*}H^i(\operatorname{\mathrm{GL}}_n(\mathcal{O}_{F_v}), M_j) \Rightarrow H^{i+j}(X_K, V_\lambda/\varpi)_{\mathfrak{m}}\end{align*}$$

$$\begin{align*}e_{\alpha_v}H^i(\mathfrak{p}_{\nu_v}, M_j) \Rightarrow e_{\alpha_v}H^{i+j}(X_{K_0(Q)}, V_\lambda/\varpi) = H^{i+j}(X_{K_0(Q)}, V_\lambda/\varpi)_{\mathfrak{m}_Q}.\end{align*}$$

There is a natural map $\iota ^*$ between these spectral sequences, which arises from deriving the map

$$\begin{align*}M_j^{\operatorname{\mathrm{GL}}_n(\mathcal{O}_{F_v})} \to M_j^{\mathfrak{p}_{\nu_v}} \to e_{\alpha_v}M_j^{\mathfrak{p}_{\nu_v}}.\end{align*}$$

Thus, it is enough to show that $\iota ^*$ is an isomorphism. $M_j$ is admissible, and we can use [Reference VignérasVig98, Theorem III.6] to write $M_j$ as a direct sum of $\operatorname {\mathrm {GL}}_n(F_v)$ -modules, each belonging to a single block. Let $N \subset M_j$ be a summand from a nonunipotent block. Let $T_p(k)$ be the p-power part of $T(k)$ . We note that both $H^i(\operatorname {\mathrm {GL}}_n(\mathcal {O}_{F_v}), N)$ and $H^i(\mathfrak {p}_{\nu _v}, N)$ inject into $H^i(\operatorname {\mathrm {Iw}}, N)$ , which in turn is equal to $H^i(T_p(k), N^{\operatorname {\mathrm {Iw}}^p})$ . Since N is a from a nonunipotent block, we know that $N^{\operatorname {\mathrm {Iw}}^p} = 0$ , and so

$$\begin{align*}H^i(\operatorname{\mathrm{GL}}_n(\mathcal{O}_{F_v}), N) = H^i(\mathfrak{p}_{\nu_v}, N) = 0.\end{align*}$$

Thus, we can restrict to the summand $M_j^1 \subset M_j$ from the unipotent block, and it is enough to prove that

$$\begin{align*}\iota^* : H^i(\operatorname{\mathrm{GL}}_n(\mathcal{O}_{F_v}), M_j^1) \to e_{\alpha_v}H^i(\mathfrak{p}_{\nu_v}, M_j^1)\end{align*}$$

is an isomorphism. By [Reference Clozel, Harris and TaylorCHT08, Theorem B.1], the unipotent block in our case consists of representations generated by their $\operatorname {\mathrm {Iw}}^p$ -invariant vectors. Therefore, every irreducible subrepresentation $\pi \subset M_j^1$ has a $\operatorname {\mathrm {Iw}}^p$ -invariant vector. It follows from the argument similar to the proof of Proposition 2.1 that

$$\begin{align*}\pi \subset \operatorname{\mathrm{Ind}}_B^{GL_n} \chi_1\otimes \ldots \otimes \chi_n,\end{align*}$$

where $\chi _i$ are tamely ramified characters whose restriction to $\mathcal {O}_{F_v}/(1+\varpi \mathcal {O}_{F_v})$ has p-power order. But these characters are valued in $k^\times $ which has order coprime to p, which means $\chi _i$ are in fact unramified.

We can now select the smallest number $d> 0$ , such that $\pi $ embeds into $M_j[\mathfrak {m}^d]$ . Since $\pi $ is irreducible, it must then embed into $M_j[\mathfrak {m}^d]/M_j[\mathfrak {m}^{d-1}]$ and local-global compatibility for Iwahori level ([Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Theorem 3.1.1]) then implies that $\{\chi _i(\varpi )\}_{i = 1, \ldots , n}$ is the set of eigenvalues of $\,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_v)$ . Thus, we have shown that $M_j \in \mathcal {C}$ , and we are done by Theorem 2.14.

Theorem 7.7. There exists an ideal $I \subset \mathbf {T}^{S'}_Q(K_0(Q)/K_1(Q), \lambda )_{\mathfrak {m}_Q}$ of nilpotence degree depending only on n and $[F:\mathbf {Q}]$ , together with a continuous homomorphism

$$\begin{align*}\rho_{\mathfrak{m}, Q} : G_{F, S \cup Q} \to \operatorname{\mathrm{GL}}_n(\mathbf{T}^{S'}_Q(K_0(Q)/K_1(Q), \lambda)_{\mathfrak{m}_Q}/I)\end{align*}$$

lifting $\,\overline {\rho }_{\mathfrak {m}}$ and satisfying the following conditions:

1. 1. For a finite place $v \notin S \cup Q$ of F, $\det (X - \rho _{\mathfrak {m}, Q}(\operatorname {\mathrm {Frob}}_v))$ equals to the image of $P_v(X)$ in $\mathbf {T}^{S'}_Q(K_0(Q)/K_1(Q), \lambda )_{\mathfrak {m}_Q}/I[X]$ .

2. 2. For $v \in Q$ , $\rho _{\mathfrak {m}, Q}|_{G_{F_{v^c}}}$ is unramified and $\rho _{\mathfrak {m}, Q}|_{G_{F_{v}}}$ is a lifting of type $\mathcal {D}_v$ , and the induced map $\mathcal {O}[\Delta _Q] \to \mathbf {T}^{S'}_Q(K_0(Q)/K_1(Q), \lambda )_{\mathfrak {m}_Q}/I$ is a homomorphism of $\mathcal {O}[\Delta _Q]$ -algebras.

Proof. We first make a few reductions. Let us show that we can reduce to the situation where $\det (X - \,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_v))$ and $\det (X - \,\overline {\rho }_{\mathfrak {m}}(\operatorname {\mathrm {Frob}}_{v^c}))$ are coprime for each $v \in Q$ . To achieve this, we will use twisting. Pick an odd prime $l \neq p$ and consider a character $\psi : G_F \to \mathcal {O}^\times $ of order $\ell $ , such that $\det (X - (\,\overline {\rho }_{\mathfrak {m}} \otimes \,\overline {\psi })(\operatorname {\mathrm {Frob}}_v))$ and $\det (X - (\,\overline {\rho }_{\mathfrak {m}} \otimes \,\overline {\psi })(\operatorname {\mathrm {Frob}}_{v^c}))$ are coprime. Let $S_{\psi }$ denote the places of F at which $\psi $ is ramified. We will further require that $S_{\psi }$ is disjoint from $S'$ . Define a good subgroup $K^{\psi } \subset K$ given by $K^{\psi }_v = K_v$ at places v at which $\psi $ is unramified and $K^{\psi }_v = \ker (\operatorname {\mathrm {GL}}_n(\mathcal {O}_{F_v}) \to k(v)^\times /(k(v)^\times )^l)$ at places v, where $\psi $ is ramified. Following the discussion above [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Proposition 2.2.22], we have a homomorphism $f_{\psi } : \mathbf {T}^{S' \cup S_\psi }(K^\psi , \lambda ) \to \mathbf {T}^{S' \cup S_\psi }(K^\psi , \lambda )$ given by

(7.8) $$ \begin{align}f_\psi([{K^\psi}^{S' \cup S_\psi} g {K^\psi}^{S' \cup S_\psi}]) = \psi^{-1}(\text{Art}(\det(g)))[{K^\psi}^{S' \cup S_\psi} g {K^\psi}^{S' \cup S_\psi}].\end{align} $$

We have a maximal ideal $\mathfrak {m}_{\psi } = f_\psi (\mathfrak {m})$ of $\mathbf {T}^{S' \cup S_\psi }(K^\psi , \lambda )$ . [Reference Allen, Calegari, Caraiani, Gee, Helm, Le Hung, Newton, Scholze, Taylor and ThorneACC⁺18, Proposition 2.2.22] implies an isomorphism $\,\overline {\rho }_{\mathfrak {m}} \otimes \,\overline {\psi } \cong \,\overline {\rho }_{\mathfrak {m}_\psi }$ . Similarly to Eq. 7.8, we have an isomorphism

$$\begin{align*}\mathbf{T}^{S' \cup S_\psi}_Q(K^\psi_0(Q)/K^\psi_1(Q), \lambda)_{{\mathfrak{m}_\psi}_Q} \cong \mathbf{T}^{S' \cup S_\psi}_Q(K^\psi_0(Q)/K^\psi_1(Q), \lambda)_{{\mathfrak{m}}_Q},\end{align*}$$

where ${\mathfrak {m}_\psi }_Q$ is the maximal ideal of $\mathbf {T}^{S'\cup S_\psi }_Q$ generated by $\mathfrak {m}_\psi $ and the kernels of the homomorphisms $\mathbf {Z}[\Xi _{v, 1}]^{S_{\nu _v}} \to k$ given by the coefficients of polynomials $(X - \psi (\operatorname {\mathrm {Frob}}_v)\alpha _v)^{d_v}, \det (X - \,\overline {\rho }_{\mathfrak {m}_\psi }(\operatorname {\mathrm {Frob}}_v))/(X - \psi (\operatorname {\mathrm {Frob}}_v)\alpha _v)^{d_v}$ . We have a surjective map of $\mathbf {T}^{S' \cup S_\psi }$ -algebras

$$\begin{align*}\mathbf{T}^{S' \cup S_\psi}_Q(K^\psi_0(Q)/K^\psi_1(Q), \lambda)_{{\mathfrak{m}}_Q} \to \mathbf{T}^{S' \cup S_\psi}_Q(K_0(Q)/K_1(Q), \lambda)_{{\mathfrak{m}}_Q}.\end{align*}$$

Thus, if the theorem holds for representations into $\mathbf {T}^{S' \cup S_\psi }_Q(K^\psi _0(Q)/K^\psi _1(Q), \lambda )_{{\mathfrak {m}}_Q}$ , it will hold for representations into $\mathbf {T}^{S' \cup S_\psi }_Q(K_0(Q)/K_1(Q), \lambda )_{{\mathfrak {m}}_Q}$ . Since there are infinitely many $\psi $ satisfying the conditions we require, we can vary them to conclude that the theorem holds for $\mathbf {T}^{S'}_Q(K_0(Q)/K_1(Q), \lambda )_{{\mathfrak {m}}_Q}$ , which is our target Hecke algebra.

Let $\widetilde {K} \subset \widetilde {G}(\mathbf {A}_{F^+}^\infty )$ be a good subgroup satisfying the following conditions:

1. 1. $\widetilde {K}$ is decomposed with respect to P.

2. 2. $\widetilde {K} \cap G(\mathbf {A}_{F^+}^\infty ) \subset K$ .

3. 3. if $\,\overline {v}$ is a finite place of $F^+$ , such that $\,\overline {v} \notin \,\overline {S}$ , then $\widetilde {K}_{\,\overline {v}} = \widetilde {G}(\mathcal {O}_{F^+_{\,\overline {v}}})$ .

We can use the Hochschild-Serre spectral sequence to reduce to the case where $K = \widetilde {K} \cap G(\mathbf {A}_{F^+}^\infty )$ . We can further reduce our theorem to the case $\lambda = 0$ , by a standard use of the Hochschild-Serre spectral sequence to trivialise the weight modulo some power m at the expense of shrinking the level at p. Now the theorem follows from Theorem 7.5.