Abstract
Let \(\ell \) be a prime number different from the residue characteristic of a non-archimedean local field F. We give formulations of \(\ell \)-adic local Langlands correspondences for connected reductive algebraic groups over F, which we conjecture to be independent of a choice of an isomorphism between the \(\ell \)-adic coefficient field and the complex number field.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The local Langlands correspondence for a connected reductive algebraic group over a non-archimedean local field F is usually formulated with coefficients in \(\mathbb {C}\) because of its relation with automorphic representations. On the other hand, when we discuss a realization of the local Langlands correspondence in \(\ell \)-adic cohomology, we need a correspondence over \(\overline{\mathbb {Q}}_{\ell }\), where \(\ell \) is a prime number different from the residue characteristic of F. We can take an isomorphism \(\iota :\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\) and use it to transfer the local Langlands correspondence over \(\mathbb {C}\) to a local Langlands correspondence over \(\overline{\mathbb {Q}}_{\ell }\). However, the obtained correspondence over \(\overline{\mathbb {Q}}_{\ell }\) depends on the choice of \(\iota \). In [5], Bushnell–Henniart formulated an \(\ell \)-adic local Langlands correspondence for \(\textrm{GL}_2\), which is independent of a choice of an isomorphism \(\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\) by making some twists of L-parameters. The \(\ell \)-adic local Langlands correspondence is suitable to describe the non-abelian Lubin–Tate theory in the sense that it is canonically defined over \(\overline{\mathbb {Q}}_{\ell }\) (cf. [16, 5]).
In this paper, we discuss formulations of \(\ell \)-adic local Langlands correspondences for general connected reductive groups. A natural idea is to make similar twists as \(\textrm{GL}_2\)-case for L-parameters. However, we can not make such twists in general as explained in Example 2.1. A problem is that we do not have enough space inside the Langlands dual group to make an appropriate twist. To overcome this problem, we have two approaches. One is to introduce \(\ell \)-adic C-parameters using C-groups, which make spaces for twists. Another is to introduce Tannakian \(\ell \)-adic L-parameters that incorporate necessary twists in the realizations. Using these parameters, we formulate \(\ell \)-adic local Langlands correspondences, which we conjecture to be independent of a choice of an isomorphism \(\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\). We show that two conjectures formulated by using \(\ell \)-adic C-parameters and Tannakian \(\ell \)-adic L-parameters are equivalent. Further, we confirm that the conjectures are true for \(\textrm{GL}_n\) and \(\textrm{PGL}_n\). The formulation of the \(\ell \)-adic local Langlands correspondence using Tannakian \(\ell \)-adic L-parameters is motivated by the Kottwitz conjecture for local Shimura varieties in [26, Conjecture 7.4]. In the number field case, a relation between C-groups and the Kottwitz conjecture for Shimura varieties is discussed in [17].
In Sect. 1, we recall various versions of L-parameters and explain their relations. In Sect. 2, after explaining the problem, we give formulations of the \(\ell \)-adic local Langlands correspondences introducing the \(\ell \)-adic C-parameter and the Tannakian \(\ell \)-adic L-parameter.
After we put a former version of this paper on arXiv, related papers [2, 30] appeared on arXiv. [2] also explains a relation between C-groups and the local Langlands correspondence. In a similar philosophy as this paper, formulations of Satake isomorphisms using C-groups are explained in [2, 30].
1.1 Notation
For a field F, let \(\Gamma _F\) denote the absolute Galois group of F. For a non-archimedean local field F, let \(W_F\) and \(I_F\) denote the Weil group of F and its inertia subgroup. For a homomorphism \(\phi :G \rightarrow H\) of groups and \(g \in G\), let \(\phi ^g\) denote the homomorphism defined by \(\phi ^g (g')=\phi (gg'g^{-1})\) for \(g' \in G\). For a group G, let Z(G) denote the center of G. For a group G, a subgroup \(H \subset G\) and a subset \(S \subset G\), let \(Z_H(S)\) denote the centralizer of S in H. Let \({{\,\textrm{Ad}\,}}\) denote the adjoint action of a group, and \({{\,\textrm{ad}\,}}\) denote the adjoint action of a Lie algebra.
2 Langlands parameters
2.1 Over fields of characteristic zero
Let F be a non-archimedean local field of residue characteristic p. Let q be the number of elements of the residue field of F. Let \(v_F :F^{\times } \rightarrow \mathbb {Z}\) be the normalized valuation of F. Let
be the Artin reciprocity isomorphism normalized so that a uniformizer is sent to a lift of the geometric Frobenius element. For \(w \in W_F\), we put
where \(\overline{w}\) denotes the image of w in \(W_F^{\textrm{ab}}\).
Let G be a connected reductive algebraic group over F. Let C be a field of characteristic 0. Let \(\widehat{G}\) be the dual group of G over C. Let \({}^L G =\widehat{G} \rtimes W_F\) be the L-group of G defined in [7, 2.3]. We say that an element of \({}^L G (C)\) is semisimple if its image in \(\widehat{G}(C) \rtimes {{\,\textrm{Gal}\,}}(F'/F)\) is semisimple for any finite Galois extension \(F'\) over F that splits G. Let \(p_{\widehat{G}} :{}^L G(C) \rightarrow \widehat{G}(C)\) denote the projection map.
Definition 1.1
Let H be a group with action of \(W_F\). Let \(\phi :H \rtimes W_F \rightarrow {}^L G(C)\) be a homomorphism of groups over \(W_F\).
-
(1)
We say that \(\phi \) is semisimple if all the elements of \(\phi (W_F)\) are semisimple.
-
(2)
We say that \(\phi \) is relevant if any parabolic subgroup P of \({}^L G\) containing \({{\,\textrm{Im}\,}}\phi \) is relevant in the sense of [7, 3.3].
We say that two homomorphisms \(H \rtimes W_F \rightarrow {}^L G(C)\) of groups over \(W_F\) are equivalent if they are conjugate by an element of \(\widehat{G}(C)\).
We say that a map from \(W_F\) to a set is smooth if it is locally constant.
Lemma 1.2
Let \(\phi :W_F \rightarrow {}^L G(C)\) be a homomorphism of groups over \(W_F\) such that \(p_{\widehat{G}} \circ \phi \) is smooth. Let \(\sigma _q \in W_F\) be a lift of the q-th power Frobenius element. Assume that \(\phi (\sigma _q)\) is semisimple. Then \(\phi \) is semisimple.
Proof
We write \(w \in W_F\) as \(\sigma _q^m \sigma \) for \(m \in \mathbb {Z}\) and \(\sigma \in I_F\). Since \((p_{\widehat{G}} \circ \phi )(I_F)\) is finite, there is a positive integer d such that \(\phi ((\sigma _q^m \sigma )^d)=\phi (\sigma _q^{dm})\). Then the claim follows, because \(\phi (w)\) is semisimple if and only if \(\phi (w)^d\) is semisimple. \(\square \)
Let \( WD _F=\mathbb {G}_{\textrm{a}} \rtimes W_F\) be the Weil–Deligne group scheme over \(\mathbb {Q}\) for F defined in [9, 8.3.6].
Definition 1.3
[cf. [7, 8.2]]
-
(1)
An L-homomorphism of Weil–Deligne type for G over C is a homomorphism
$$\begin{aligned} \xi : WD _F(C) \rightarrow {}^L G(C) \end{aligned}$$of groups over \(W_F\) such that \(\xi |_{\mathbb {G}_{\textrm{a}}(C)}\) is algebraic and \((p_{\widehat{G}} \circ \xi )|_{W_F}\) is smooth.
-
(2)
An L-parameter of Weil–Deligne type for G over C is a semisimple relevant L-homomorphism of Weil–Deligne type for G over C.
Let \(\mathcal {L}_C^{\textrm{WD}}(G)\) denote the set of equivalence classes of L-homomorphisms of Weil–Deligne type for G over C. Let \(\Phi _C^{\textrm{WD}}(G)\) denote the set of equivalence classes of L-parameters of Weil–Deligne type for G over C.
Definition 1.4
-
(1)
A Weil–Deligne L-homomorphism for G over C is a pair \((\tau ,N)\) of a homomorphism \(\tau :W_F \rightarrow {}^L G(C)\) of groups over \(W_F\) and \(N \in {{\,\textrm{Lie}\,}}(\widehat{G})(C)\) such that \(p_{\widehat{G}} \circ \tau \) is smooth and \({{\,\textrm{Ad}\,}}(\tau (w)) N= |w |N\) for \(w \in W_F\). The second component N of a Weil–Deligne L-homomorphism \((\tau ,N)\) is called a monodromy operator. We say that two Weil–Deligne L-homomorphisms for G over C are equivalent if they are conjugate by an element of \(\widehat{G}(C)\).
-
(2)
A Weil–Deligne L-parameter for G over C is a Weil–Deligne L-homomorphism \((\tau ,N)\) for G over C such that \(\tau \) is semisimple and any parabolic subgroup P of \({}^L G\) containing \(\tau (W_F)\) and satisfying \(N \in {{\,\textrm{Lie}\,}}(P \cap \widehat{G})(C)\) is relevant.
Let \(\mathcal {L}_C^{\textrm{M}}(G)\) denote the set of equivalence classes of Weil–Deligne L-homomorphisms for G over C. Let \(\Phi _C^{\textrm{M}}(G)\) denote the set of equivalence classes of Weil–Deligne L-parameters for G over C.
Remark 1.5
Let \(\iota :C {\mathop {\rightarrow }\limits ^{\sim }} C'\) be an isomorphism of fields of characteristic 0. Then \(\iota \) induces bijections \(\mathcal {L}_C^{\textrm{WD}}(G) \simeq \mathcal {L}_{C'}^{\textrm{WD}}(G)\), \(\Phi _C^{\textrm{WD}}(G) \simeq \Phi _{C'}^{\textrm{WD}}(G)\), \(\mathcal {L}_C^{\textrm{M}}(G) \simeq \mathcal {L}_{C'}^{\textrm{M}}(G)\) and \(\Phi _C^{\textrm{M}}(G) \simeq \Phi _{C'}^{\textrm{M}}(G)\).
Lemma 1.6
Let \((\tau ,N)\) be a Weil–Deligne L-homomorphism for G over C. Then N is an nilpotent element of \({{\,\textrm{Lie}\,}}(\widehat{G}^{\textrm{der}}(C))\).
Proof
We take a finite separable extension \(F'\) of F that splits G. By the condition \({{\,\textrm{Ad}\,}}(\tau (w)) N= |w |N\) for \(w \in W_{F'}\), we have \(N \in {{\,\textrm{Lie}\,}}(\widehat{G}^{\textrm{der}}(C))\). Further, the adjoint endomorphism \({{\,\textrm{ad}\,}}(N) \in {{\,\textrm{End}\,}}({{\,\textrm{Lie}\,}}(\widehat{G}^{\textrm{der}}(C)))\) satisfies
for \(w \in W_F\). Hence N is an nilpotent element. \(\square \)
Proposition 1.7
For an L-homomorphism of Weil–Deligne type \(\xi \) for G over C, we put \(\tau _{\xi }=\xi |_{W_F}\) and \(N_{\xi }={{\,\textrm{Lie}\,}}(\xi |_{\mathbb {G}_{\textrm{a}}(C)})(1)\). Then \(\xi \mapsto (\tau _{\xi },N_{\xi })\) induces bijections \(\mathcal {L}_C^{\textrm{WD}}(G) \simeq \mathcal {L}_C^{\textrm{M}}(G)\) and \(\Phi _C^{\textrm{WD}}(G) \simeq \Phi _C^{\textrm{M}}(G)\).
Proof
Let \((\tau ,N)\) be a Weil–Deligne L-homomorphism for G over C. By Lemma 1.6, there is a unipotent radical U of a Borel subgroup of \(\widehat{G}\) such that \(N \in {{\,\textrm{Lie}\,}}(U(C))\). Then there is an exponential map
as in [27, 2.2]. We define
by \(\xi _{(\tau ,N)}(a,w) =\exp (aN) \tau (w)\). Then \((\tau ,N) \mapsto \xi _{(\tau ,N)}\) defines the inverses. \(\square \)
2.2 Over \(\mathbb {C}\)
Assume that \(C=\mathbb {C}\) in this subsection.
Definition 1.8
[cf. [1, I.2]] An L-parameter for G is a semisimple relevant continuous homomorphism
of groups over \(W_F\).
Let \(\Phi (G)\) denote the set of equivalence classes of L-parameters for G.
Definition 1.9
[cf. [22, IV.2]] An L-parameter of \(\textrm{SL}_2\)-type for G is a semisimple relevant continuous homomorphism
of groups over \(W_F\) such that \(\phi |_{\textrm{SL}_2(\mathbb {C})}\) is algebraic.
Let \(\Phi ^{\textrm{SL}} (G)\) denote the set of equivalence classes of L-parameters of \(\textrm{SL}_2\)-type for G.
Proposition 1.10
The map \(\Phi ^{\textrm{SL}} (G) \rightarrow \Phi (G)\) induced by the restriction with respect to \(\textrm{SU}_2(\mathbb {R}) \subset \textrm{SL}_2(\mathbb {C})\) is a bijection.
Proof
Let \(\phi :\textrm{SU}_2(\mathbb {R}) \times W_F \rightarrow {}^L G(\mathbb {C})\) be an L-parameter for G. Let \(\mathcal {H}\) be the centralizer of \(\phi (W_F)\) in \(\widehat{G}\). Then \(\mathcal {H}\) is reductive by [21, 10.1.1 Lemma]. We take a compact real form \(\mathcal {H}_{\textrm{c}}\) of \(\mathcal {H}\) such that \(\phi (\textrm{SU}_2(\mathbb {R})) \subset \mathcal {H}_{\textrm{c}}(\mathbb {R})\). Let \(\phi _{\textrm{SU}_2} :\textrm{SU}_2(\mathbb {R}) \rightarrow \mathcal {H}_{\textrm{c}}(\mathbb {R})\) be the restriction of \(\phi \) to \(\textrm{SU}_2(\mathbb {R})\). The continuous homomorphism \(\phi _{\textrm{SU}_2}\) extends to an algebraic morphism \(\phi _{\textrm{SL}_2} :\textrm{SL}_2(\mathbb {C}) \rightarrow \mathcal {H}(\mathbb {C})\) uniquely by [25, 5.2.5 Theorem 11], since any continuous homomorphism between real Lie groups are differentiable. Let \(\phi ^{\textrm{SL}} :\textrm{SL}_2(\mathbb {C}) \times W_F \rightarrow {}^L G(\mathbb {C})\) be a homomorphism defined by \(\phi _{\textrm{SL}_2}\) and \(\phi |_{W_F}\). Then \(\phi \mapsto \phi ^{\textrm{SL}}\) induces the inverse of the map \(\Phi ^{\textrm{SL}} (G) \rightarrow \Phi (G)\).
\(\square \)
Lemma 1.11
Let H be a compact topological group. Let \(\phi :H \rightarrow {}^L G(\mathbb {C})\) be a continuous homomorphism. Then the centralizer of \(\phi (H)\) in \(\widehat{G}\) is reductive.
Proof
Let K be the image of \(\phi (H)\) under \({{\,\textrm{Ad}\,}}:{}^L G \rightarrow {{\,\textrm{Aut}\,}}(\widehat{G})\). Then \(\widehat{G}^K\) is reductive as in the proof of [21, 10.1.2 Lemma]. Hence we obtain the claim. \(\square \)
The following is a slight generalization of [11, Proposition 3.5] and [19, 2.4].
Lemma 1.12
Let \(\mathcal {G}\) be a reductive group over \(\mathbb {C}\). Let s be a semisimple element of \(\mathcal {G}(\mathbb {C})\) and u be a unipotent element of \(\mathcal {G}(\mathbb {C})\) such that \(sus^{-1}=u^q\). Then there is an algebraic homomorphism \(\theta :\textrm{SL}_2(\mathbb {C}) \rightarrow \mathcal {G}(\mathbb {C})\) such that
Further, such \(\theta \) is unique up to conjugation by \(Z_{\mathcal {G}(\mathbb {C})}(\{s,u \})\).
Proof
The first claim is proved in the same way as [11, Proposition 3.5]. We recall the argument briefly. We take an algebraic homomorphism \(\theta :\textrm{SL}_2(\mathbb {C}) \rightarrow \mathcal {G}(\mathbb {C})\) such that
We put \(\mathcal {G}'=\mathcal {G}\times \mathbb {G}_{\textrm{m}}\). We define
Then we can see that \(S_{\mathcal {G}'(\mathbb {C})}(\theta )\) is a maximal reductive subgroup of \(S_{\mathcal {G}'(\mathbb {C})}(u)\) as in the proof of [8, Proposition 2.4]. Then any maximal reductive subgroup of \(S_{\mathcal {G}'(\mathbb {C})}(u)\) is conjugate to \(S_{\mathcal {G}'(\mathbb {C})}(\theta )\) by [14, VIII. Theorem 4.3] (cf. [24, Theorem 7.1]). Hence, by replacing \(\theta \) by its conjugate under \(S_{\mathcal {G}'(\mathbb {C})}(u)\), we may assume that \((s,q^{\frac{1}{2}}) \in S_{\mathcal {G}'(\mathbb {C})}(\theta )\). Then \(\theta \) satisfies the conditions in the first claim.
The second claim is proved in the same way as [19, 2.4 (h)]. \(\square \)
Let \(\phi :\textrm{SL}_2(\mathbb {C}) \times W_F \rightarrow {}^L G (\mathbb {C})\) be an L-parameter of \(\textrm{SL}_2\)-type for G. We define \(\xi _{\phi } : WD _F(\mathbb {C}) \rightarrow {}^L G (\mathbb {C})\) by
We define \(\Xi :\Phi ^{\textrm{SL}} (G) \rightarrow \Phi _{\mathbb {C}}^{\textrm{WD}}(G)\) by \(\Xi ([\phi ])=[\xi _{\phi }]\).
The following proposition is proved in [10, Proposition 2.2]. We give a different proof here.
Proposition 1.13
The map \(\Xi \) is a bijection.
Proof
Let \(\xi \) be a Weil–Deligne L-parameter for G over \(\mathbb {C}\). Let \(\mathcal {H}\) be the centralizer of \(\xi (I_F)\) in \(\widehat{G}\). Then \(\mathcal {H}\) is reductive by Lemma 1.11. Take a lift \(\sigma _q \in W_F\) of the q-th power Frobenius element. Then \(\mathcal {H}\) is stable under conjugation by \(\xi (\sigma _q)\), since \(I_F\) is a normal subgroup of \(W_F\). Take a positive integer \(m_0\) such that \(\sigma _q^{m_0}\) commutes with \(\widehat{G}\) in \({}^L G\) and
for any \(\sigma \in I_F\). Then \((1,\sigma _q^{m_0})^{\mathbb {Z}}\) is a normal subgroup of \(\mathcal {H}\cdot \xi (\sigma _q)^{\mathbb {Z}} \subset {}^L G\). We put
Then \(\mathcal {G}\) is a reductive group, because the identity component of \(\mathcal {G}\) is equal to the identity component of \(\mathcal {H}\). We view \(\mathcal {H}\) as an algebraic subgroup of \(\mathcal {G}\). Let s be the image of \(\xi (0,\sigma _q)\) in \(\mathcal {G}(\mathbb {C})\). Since \(\xi \) is semisimple, the element s is semisimple. Let \(u \in \widehat{G}(\mathbb {C})\) be the image of \(1 \in \mathbb {G}_{\textrm{a}}(\mathbb {C})\) under \(\xi \). Then u belongs to \(\mathcal {H}(\mathbb {C})\). Hence we can view u as an element of \(\mathcal {G}(\mathbb {C})\). By Lemma 1.12, there is a morphism \(\theta :\textrm{SL}_2 (\mathbb {C}) \rightarrow \mathcal {G}(\mathbb {C})\) such that
Since \(\theta \) factors through the identity component of \(\mathcal {G}(\mathbb {C})\), it factors through \(\mathcal {H}(\mathbb {C})\). Hence \(\theta \) determines a morphism \(\theta _{\widehat{G}} :\textrm{SL}_2(\mathbb {C}) \rightarrow \widehat{G}(\mathbb {C})\). We note that
commutes with \(\xi (W_F)\), because it commutes with s by the latter condition in (1.1) and we have \({{\,\textrm{Im}\,}}\theta _{\widehat{G}} \subset \mathcal {H}(\mathbb {C})\). We define \(\phi _{\xi } :\textrm{SL}_2(\mathbb {C}) \times W_F \rightarrow {}^L G (\mathbb {C})\) by \(\phi _{\xi }|_{\textrm{SL}_2(\mathbb {C})}=\theta _{\widehat{G}}\) and
Let \(\theta '\) be another choice of \(\theta \). Then \(\theta '={{\,\textrm{Ad}\,}}(g') \theta \) for some \(g' \in Z_{\mathcal {G}(\mathbb {C})}(\{s,u\})\) by Lemma 1.12. Since we have
by (1.1), we may replace \(g'\) and assume that \(g' \in Z_{\mathcal {H}(\mathbb {C})}(\{s,u\})\). Then \(g'\) commutes with \(\xi (W_F)\). Hence \([\phi _{\xi }]\) is independent of the choice of \(\theta \). We can see that \(\xi \mapsto [\phi _{\xi }]\) induces the inverse of \(\Xi \). \(\square \)
Remark 1.14
The bijectivity in Proposition 1.13 does not hold in general if we drop the Frobenius semisimplicity conditions from the both sides (cf. [6, Example 3.5]).
2.3 Over \(\overline{\mathbb {Q}}_{\ell }\)
Let \(\ell \) be a prime number different from p. Assume that \(C=\overline{\mathbb {Q}}_{\ell }\) in this subsection.
Definition 1.15
-
(1)
An \(\ell \)-adic L-homomorphism for G is a continuous homomorphism
$$\begin{aligned} \varphi :W_F \rightarrow {}^L G(\overline{\mathbb {Q}}_{\ell }) \end{aligned}$$of groups over \(W_F\). We say that an \(\ell \)-adic L-homomorphism \(\varphi \) for G is Frobenius-semisimple if \(\varphi (\sigma _q)\) is semisimple for any lift \(\sigma _q \in W_F\) of the q-th power Frobenius element.
-
(2)
An \(\ell \)-adic L-parameter for G is an Frobenius-semisimple relevant \(\ell \)-adic L-homomorphism for G.
Let \(\mathcal {L}_{\ell }(G)\) denote the set of the equivalence classes of \(\ell \)-adic L-homomorphisms. Let \(\Phi _{\ell }(G)\) denote the set of the equivalence classes of \(\ell \)-adic L-parameters of G.
Let \(t_{\ell } :I_F \rightarrow \mathbb {Z}_{\ell }(1)\) be the \(\ell \)-adic tame character. We take an isomorphism \(\mathbb {Z}_{\ell }(1) \simeq \mathbb {Z}_{\ell }\) and let
Let \(\xi \) be an L-homomorphism of Weil–Deligne type for G over \(\overline{\mathbb {Q}}_{\ell }\). We take a lift \(\sigma _q \in W_F\) of the q-th power Frobenius element and define \(\varphi _{\xi } :W_F \rightarrow {}^L G(\overline{\mathbb {Q}}_{\ell })\) by
for \(m \in \mathbb {Z}\) and \(\sigma \in I_F\).
Lemma 1.16
The equivalence class \([\varphi _{\xi }] \in \mathcal {L}_{\ell }(G)\) of \(\varphi _{\xi }\) constructed above is independent of choices of \(\sigma _q\) and an isomorphism \(\mathbb {Z}_{\ell }(1) \simeq \mathbb {Z}_{\ell }\).
Proof
Let \(\sigma _q'\) be another choice of a lift of the q-th power Frobenius element. Then \(\sigma _q'=\sigma _q \sigma '\) for some \(\sigma ' \in I_F\). We define \(\varphi _{\xi }'\) similarly as \(\varphi _{\xi }\) using \(\sigma _q'\) instead of \(\sigma _q\). We put
Then we have
for \(\sigma \in I_F\), and
Hence we have \([\varphi _{\xi }]=[\varphi _{\xi }']\).
Let
be a homomorphism obtained from another choice of an isomorphism \(\mathbb {Z}_{\ell }(1) \simeq \mathbb {Z}_{\ell }\). Then we have \(t_{\ell }''=u t_{\ell }'\) for some \(u \in \mathbb {Z}_{\ell }^{\times }\). Take a positive integer \(m_0\) such that \(\sigma _q^{m_0}\) commutes with \(\widehat{G}\) in \({}^L G\) and
for any \(\sigma \in I_F\). We put \(h_0=(p_{\widehat{G}} \circ \xi ) (0,\sigma _q^{m_0})\). If \(\xi |_{\mathbb {G}_{\textrm{a}}(\overline{\mathbb {Q}}_{\ell })}\) is trivial, there is nothing to prove. Hence we assume that \(\xi |_{\mathbb {G}_{\textrm{a}}(\overline{\mathbb {Q}}_{\ell })}\) is non-trivial. Let \(U_{\xi }\) be the algebraic subgroup of \(\widehat{G}\) defined by \(\xi (\mathbb {G}_{\textrm{a}}(\overline{\mathbb {Q}}_{\ell }))\). Let \(\mathcal {H}\) be the intersection of the normalizer of \(U_{\xi }\) in \(\widehat{G}\) and the centralizer of \(\xi (W_F)\) in \(\widehat{G}\). We have
for \(a \in \mathbb {G}_{\textrm{a}}(\overline{\mathbb {Q}}_{\ell })\) and
for \(\sigma \in I_F\) using (1.2). Hence we have \(h_0 \in \mathcal {H}(\overline{\mathbb {Q}}_{\ell })\). The morphism
induced by the adjoint action is surjective, because \(f (h_0)=q^{m_0}\) is not of finite order. Hence we can take \(h \in \mathcal {H}(\overline{\mathbb {Q}}_{\ell })\) such that \(f (h)=u\). Then we have
for \(m \in \mathbb {Z}\) and \(\sigma \in I_F\). Therefore \([\varphi _{\xi }]\) is independent of a choice an isomorphism \(\mathbb {Z}_{\ell }(1) \simeq \mathbb {Z}_{\ell }\). \(\square \)
We define \(\Theta :\mathcal {L}_{\overline{\mathbb {Q}}_{\ell }}^{\textrm{WD}}(G) \rightarrow \mathcal {L}_{\ell }(G)\) by \(\Theta ([\xi ])=[\varphi _{\xi }]\).
Proposition 1.17
The map \(\Theta \) is a bijection. Further it induces a bijection \(\Phi _{\overline{\mathbb {Q}}_{\ell }}^{\textrm{WD}}(G) \rightarrow \Phi _{\ell }(G)\).
Proof
Let \(\varphi \) be an \(\ell \)-adic L-homomorphism for G. Take a finite Galois extension \(F'\) of F such that G splits over \(F'\). Take a representation
which factors through a faithful algebraic representation
Applying Grothendieck’s monodromy theorem (cf. [28, Appendix, Proposition]) to \(\eta \circ \varphi \), we obtain a homomorphism
such that \(\xi _{\textrm{GL}_n}|_{\mathbb {G}_{\textrm{a}}(\overline{\mathbb {Q}}_{\ell })}\) is algebraic, \(\xi _{\textrm{GL}_n}|_{W_F}\) is smooth and
for \(m \in \mathbb {Z}\) and \(\sigma \in I_F\). Take a finite separable extension \(F''\) of \(F'\) such that \(\xi _{\textrm{GL}_n}|_{I_{F''}}\) is trivial. Since \(t'_{\ell }(I_{F''})\) is Zariski dense in \(\mathbb {G}_{\textrm{a}}(\overline{\mathbb {Q}}_{\ell })\), the algebraic morphism \(\xi _{\textrm{GL}_n}|_{\mathbb {G}_{\textrm{a}}(\overline{\mathbb {Q}}_{\ell })}\) factors through the inclusion
via an algebraic morphism \(\alpha :\mathbb {G}_{\textrm{a}}(\overline{\mathbb {Q}}_{\ell }) \rightarrow \widehat{G}(\overline{\mathbb {Q}}_{\ell })\). We define a homomorphism
by
for \(a \in \mathbb {G}_{\textrm{a}}(\overline{\mathbb {Q}}_{\ell })\), \(m \in \mathbb {Z}\) and \(\sigma \in I_F\). Then \(\varphi \mapsto \xi _{\varphi }\) induces the inverse of \(\Theta \). The bijection \(\Theta \) induces a bijection \(\Phi _{\overline{\mathbb {Q}}_{\ell }}^{\textrm{WD}}(G) \rightarrow \Phi _{\ell }(G)\) by Lemmas 1.2 and 1.16. \(\square \)
Corollary 1.18
Let \(\sigma _q \in W_F\) be a lift of the q-th power Frobenius element. Then an \(\ell \)-adic L-homomorphism \(\varphi \) for G is Frobenius-semisimple if \(\varphi (\sigma _q)\) is semisimple.
Proof
By Proposition 1.17, we take an L-homomorphism \(\xi \) of Weil–Deligne type for G over \(\overline{\mathbb {Q}}_{\ell }\) such that \([\varphi ]=[\varphi _{\xi }]\), where \(\varphi _{\xi }\) is defined using \(\sigma _q\). Then \(\xi |_{W_F}\) is semisimple by Lemma 1.2, because \(\xi (0,\sigma _q)=\varphi _{\xi }(\sigma _q)\) is semisimple. Let \(\sigma _q' \in W_F\) be another lift of the q-th power Frobenius element. We define \(\varphi _{\xi }'\) using \(\sigma _q'\). Then \([\varphi ]=[\varphi _{\xi }']\) by Lemma 1.16. Hence \(\varphi (\sigma _q')\) is semisimple, because \(\varphi _{\xi }'(\sigma _q')=\xi (0,\sigma _q')\) is semisimple. \(\square \)
3 Local Langlands correspondence
3.1 Problem
Let \({{\,\textrm{Irr}\,}}(G(F))\) denote the set of isomorphism classes of irreducible smooth representations of G(F) over \(\mathbb {C}\). The conjectured local Langlands correspondence is a surjective map
with finite fibers satisfying various properties (cf. [7, 10], [18, Conjecture G]). We assume the existence of the local Langlands correspondence in the sequel.
Let \({{\,\textrm{Irr}\,}}_{\ell } (G(F))\) denote the set of isomorphism classes of irreducible smooth representations of G(F) over \(\overline{\mathbb {Q}}_{\ell }\). If we fix an isomorphism \(\iota :\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\), we have a surjection
sending \([\pi ] \in {{\,\textrm{Irr}\,}}_{\ell } (G(F))\) to the image of \(\textrm{LL}_G ([\pi \otimes _{\overline{\mathbb {Q}}_{\ell },\iota ^{-1}} \mathbb {C}])\) under the bijection
where \(\Phi _{\iota }^{\textrm{WD}} (G)\) is a bijection induced by \(\iota \) as in Remark 1.5. However, \(\textrm{LL}_{G,\ell }^{\iota }\) depends on the choice of an isomorphism \(\iota :\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\).
In [5, 35.1], an \(\ell \)-adic local Langlands correspondence for \(\textrm{GL}_2\) is constructed. We recall the construction here. For \([\phi ] \in \Phi (\textrm{GL}_2)\), we define \([\widetilde{\phi }] \in \Phi (\textrm{GL}_2)\) by
We define a bijection \(\Lambda :\Phi (\textrm{GL}_2) \rightarrow \Phi (\textrm{GL}_2)\) by \([\phi ] \mapsto [\widetilde{\phi }]\). We define
by sending \([\pi ] \in {{\,\textrm{Irr}\,}}_{\ell } (\textrm{GL}_2(F))\) to the image of \(\textrm{LL}_{\textrm{GL}_2}([\pi \otimes _{\overline{\mathbb {Q}}_{\ell },\iota ^{-1}} \mathbb {C}])\) under the bijection
using an isomorphism \(\iota :\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\). Then \(\textrm{LL}_{\textrm{GL}_2,\ell }\) is independent of the choice of \(\iota \).
We can not make a similar twist for an L-parameter of a general connected reductive group G as the following example suggests.
Example 2.1
We have a commutative diagram
by functoriality. On the other hand, there does not exist a map
which makes the commutative diagram
because \((\det \circ p_{\widehat{\textrm{GL}_2}} \circ \varphi ) (w)=|w |\) for \(w \in W_F\) if \([\varphi ] \in \Phi _{\ell } (\textrm{GL}_2)\) is the image under \(\textrm{LL}_{\textrm{GL}_2,\ell }\) of an element of \({{\,\textrm{Irr}\,}}_{\ell } (\textrm{GL}_2(F))\) coming from \({{\,\textrm{Irr}\,}}_{\ell } (\textrm{PGL}_2(F))\) by the construction of \(\textrm{LL}_{\textrm{GL}_2,\ell }\) and [7, 10.1].
3.2 \(\ell \)-adic C-parameter
A C-group is constructed in [3, Definition 5.38] for a connected reductive group over a number field. We recall the construction here in our setting. Let \(G^{\textrm{ad}}\) be the adjoint quotient of G, and \(G^{\textrm{sc}}\) be the simply-connected cover of \(G^{\textrm{ad}}\). Let \(\gamma :Z(G^{\textrm{sc}}) \rightarrow \mathbb {G}_{\textrm{m}}\) be the restriction to \(Z(G^{\textrm{sc}})\) of the half sum of the positive roots of \(G^{\textrm{sc}}\), where we take a maximal torus \(T^{\textrm{sc}}\) and a Borel subgroup \(B^{\textrm{sc}}\) of \(G^{\textrm{sc}}_{\overline{F}}\) such that \(T^{\textrm{sc}} \subset B^{\textrm{sc}}\) to define the positive roots, but \(\gamma \) is independent of the choice. By pushing forward the exact sequence
by \(\gamma \), we obtain an extension
By taking the pullback of this extension along the natural morphism \(G \rightarrow G^{\textrm{ad}}\), we obtain an extension
We define the C-group \({}^C G\) of G as the L-group \({}^L \widetilde{G}\) of \(\widetilde{G}\).
The character
induces a character \(G^1 \rightarrow \mathbb {G}_{\textrm{m}}\), since \(\gamma ^2 =1\) by the construction of \(\gamma \). It further induces a character \(\widetilde{G} \rightarrow \mathbb {G}_{\textrm{m}}\) by taking composition with the natural morphism \(\widetilde{G} \rightarrow G^1\). Hence we obtain a morphism
We take a Borel subgroup \(B \subset G_{\overline{F}}\) and a maximal torus \(T \subset B\) over \(\overline{F}\). Let \(\rho _G\) denote the half sum of positive roots of G with respect to T and B. Then \(2\rho _G\) defines a cocharacter \(\delta _G :\mathbb {G}_{\textrm{m}} \rightarrow \widehat{T}\). We put
Then \(z_G\) is central in \(\widehat{G}\) and independent of choices of B and T as in [3, Proposition 5.39]. By the independent of choices, we see that \(z_G \in Z(\widehat{G})^{\Gamma _F} \subset {}^L G\).
Then the morphism (2.1) induces the isomorphism
as in [3, Proposition 5.39]. We sometimes express a point of \({}^C G\) as [(g, z, w)] using the above isomorphism. We define \(t_{\mathbb {G}_{\textrm{m}}} :{}^C G \rightarrow \mathbb {G}_{\textrm{m}}\) by \(t_{\mathbb {G}_{\textrm{m}}}([(g,z,w)])=z^2\). We have an exact sequence
Definition 2.2
An \(\ell \)-adic C-parameter for G is an \(\ell \)-adic L-parameter \(\varphi \) for \(\widetilde{G}\) such that \((t_{\mathbb {G}_{\textrm{m}}} \circ \varphi ) (w)=|w |\).
Let \(\Phi _{\ell }^{\textrm{C}}(G)\) denote the equivalence classes of \(\ell \)-adic C-parameters for G. We take \(c \in \overline{\mathbb {Q}}_{\ell }\) such that \(c^2=q\). We define
by \(i_c (g,w)=[(g,c^{-d_F(w)},w)]\). For an \(\ell \)-adic L-parameter \(\varphi \) for G, we put
Lemma 2.3
We have a bijection between the set of the \(\ell \)-adic L-parameters for G and the set of the \(\ell \)-adic C-parameters for G given by sending \(\varphi \) to \(\varphi _c\). Further, this induces a bijection \(\Phi _{\ell }(G) \simeq \Phi _{\ell }^{\textrm{C}}(G)\).
Proof
The first claim follows from the definitions. If two \(\ell \)-adic L-parameters for \(\widetilde{G}\) are conjugate by an element of \(\widehat{\widetilde{G}}(\overline{\mathbb {Q}}_{\ell })\), then they are conjugate by an element of \(\widehat{G}(\overline{\mathbb {Q}}_{\ell })\), since \(\widehat{\widetilde{G}}(\overline{\mathbb {Q}}_{\ell })\) is generated by \(\widehat{G}(\overline{\mathbb {Q}}_{\ell })\) and \(Z_{\widehat{\widetilde{G}}(\overline{\mathbb {Q}}_{\ell })}({}^C G(\overline{\mathbb {Q}}_{\ell }))\). Hence the second claim follows from the first one. \(\square \)
We define a map
by sending \([\varphi ]\) to \([\varphi _c]\). Then \(\mathcal {C}_{G,\ell }^{c}\) is a bijection by Lemma 2.3. For an isomorphism \(\iota :\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\), we define
as \(\mathcal {C}_{G,\ell }^{\iota (q^{\frac{1}{2}})} \circ \textrm{LL}_{G,\ell }^{\iota }\).
Conjecture 2.4
The map \(\textrm{LL}_{G,\ell }^{\textrm{C},\iota }\) is independent of a choice of \(\iota :\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\).
3.3 Tannakian \(\ell \)-adic L-parameter
Assume that \(C=\overline{\mathbb {Q}}_{\ell }\). For a topological group H, let \({{\,\textrm{Rep}\,}}_{\overline{\mathbb {Q}}_{\ell }}(H)\) be the category of continuous finite dimensional representations of H over \(\overline{\mathbb {Q}}_{\ell }\). For an algebraic group H over a field, a character \(\chi \) of H and a cocharacter \(\mu \) of H, we define \(\langle \chi , \mu \rangle _H \in \mathbb {Z}\) by
For a cocharacter \(\mu \in X_*(T)\) of a torus T over \(\overline{F}\), let \(\widehat{\mu } \in X^*(\widehat{T})\) denote the corresponding character of the dual torus \(\widehat{T}\).
Let \(\mathscr {M}_G\) be the conjugacy classes of cocharacters \(\mathbb {G}_{\textrm{m}} \rightarrow G_{\overline{F}}\). Let \([\mu ] \in \mathscr {M}_G\). We put
where we take a Borel subgroup \(B \subset G_{\overline{F}}\), a maximal torus \(T \subset B\) defined over \(\overline{F}\) and a dominant representative \(\mu \in X_*(T)\). Let \(E_{[\mu ]}\) be the field of definition of \([\mu ]\). Let \(r_{\widehat{G},[\mu ]}\) be the irreducible representation of \(\widehat{G}(\overline{\mathbb {Q}}_{\ell })\) of highest weight \(\widehat{\mu }\) viewed as a dominant character of a maximal torus of \(\widehat{G}\).
We take \(c \in \overline{\mathbb {Q}}_{\ell }\) such that \(c^2=q\). For an integer m, let
denote the twist by the character \(W_F \rightarrow \overline{\mathbb {Q}}_{\ell }\) sending w to \(c^{-md_F(w)}\).
Let \({{\,\textrm{Rep}\,}}_{\overline{\mathbb {Q}}_{\ell }}^{\textrm{alg}} ({}^L G)\) denote the category of continuous finite dimensional representations of \({}^L G (\overline{\mathbb {Q}}_{\ell })\) over \(\overline{\mathbb {Q}}_{\ell }\) whose restrictions to \(\widehat{G}(\overline{\mathbb {Q}}_{\ell })\) are algebraic. Let \(r :{}^L G (\overline{\mathbb {Q}}_{\ell }) \rightarrow {{\,\textrm{Aut}\,}}(V)\) be an object in \({{\,\textrm{Rep}\,}}_{\overline{\mathbb {Q}}_{\ell }}^{\textrm{alg}} ({}^L G)\). Then we have a decomposition
as representations of \(\widehat{G}(\overline{\mathbb {Q}}_{\ell })\) where \(V_{[\mu ]}\) is the \(r_{\widehat{G},[\mu ]}\)-typic part of V. For an \(\ell \)-adic L-parameter \(\varphi \), we define \((r \circ \varphi )_c :W_F \rightarrow {{\,\textrm{Aut}\,}}(V)\) by
which means that we twist \(r \circ \varphi :W_F \rightarrow {{\,\textrm{Aut}\,}}(V)\) by
on each direct summand \(V_{[\mu ]}\). This is well-defined, because \(d_G(w[\mu ])=d_G([\mu ])\) for \(w \in W_F\).
For an \(\ell \)-adic L-parameter \(\varphi \) for G, we define a tensor functor
by
Definition 2.5
A Tannakian \(\ell \)-adic L-parameter for G is a functor
which is equal to \(\mathcal {F}_{\varphi ,c}\) for an \(\ell \)-adic L-parameter \(\varphi \) for G. We say that two Tannakian \(\ell \)-adic L-parameters \(\mathcal {F}\) and \(\mathcal {F}'\) are equivalent if there is \(g \in \widehat{G}(\overline{\mathbb {Q}}_{\ell })\) such that, for all \(r \in {{\,\textrm{Rep}\,}}_{\overline{\mathbb {Q}}_{\ell }}^{\textrm{alg}} ({}^L G)\), we have \(\mathcal {F}(r)=\mathcal {F}'(r)^{r(g)}\).
Lemma 2.6
The set of the Tannakian \(\ell \)-adic L-parameters for G is independent of a choice of \(c \in \overline{\mathbb {Q}}_{\ell }\) such that \(c^2=q\).
Proof
We have
for \(\mu \in X_*(T)\). Let
be the character sending w to \(z_G^{d_F(w)}\). By (2.3), we have
for an \(\ell \)-adic L-parameter \(\varphi \) and \(r \in {{\,\textrm{Rep}\,}}_{\overline{\mathbb {Q}}_{\ell }}^{\textrm{alg}} ({}^L G)\). Since \(\omega _{z_G} \varphi \) is also an \(\ell \)-adic L-parameter, the claim follows. \(\square \)
Let \(\Phi _{\ell }^{\textrm{T}}(G)\) be the set of equivalence classes of Tannakian \(\ell \)-adic L-parameters for G. This set is independent of a choice of c by Lemma 2.6.
Lemma 2.7
We have a bijection between the set of the \(\ell \)-adic L-parameters for G and the set of the Tannakian \(\ell \)-adic L-parameters for G given by sending \(\varphi \) to \(F_{\varphi ,c}\). Further, this induces a bijection \(\Phi _{\ell }(G) \simeq \Phi _{\ell }^{\textrm{T}}(G)\).
Proof
We show the first claim. The map is surjective by Definition 2.5. Assume that \(\varphi \) and \(\varphi '\) are different \(\ell \)-adic L-parameters for G and \(\mathcal {F}_{\varphi ,c}=\mathcal {F}_{\varphi ',c}\). We take \(w \in W_F\) such that \(\varphi (w) \ne \varphi '(w)\). Further, we take a finite Galois extension \(F'\) of F such that G splits over \(F'\) and the images of \(\varphi (w)\) and \(\varphi '(w)\) in \(\widehat{G}(\overline{\mathbb {Q}}_{\ell }) \rtimes {{\,\textrm{Gal}\,}}(F'/F)\) are different. By considering a representation of \({}^L G (\overline{\mathbb {Q}}_{\ell })\) which factors through a faithful algebraic representation of \(\widehat{G}(\overline{\mathbb {Q}}_{\ell }) \rtimes {{\,\textrm{Gal}\,}}(F'/F)\), we have a contradiction to \(\mathcal {F}_{\varphi ,c}=\mathcal {F}_{\varphi ',c}\). Hence the map is injective.
The second claim follows from the first one. \(\square \)
For a Tannakian \(\ell \)-adic L-parameter \(\mathcal {F}\) for G, we take an \(\ell \)-adic L-parameter \(\varphi \) for G such that \(\mathcal {F}=\mathcal {F}_{\varphi ,c}\). Then the centralizer \(S_{\varphi }=Z_{\widehat{G}(\overline{\mathbb {Q}}_{\ell })}({{\,\textrm{Im}\,}}\varphi )\) is independent of a choice of c by (2.4). We write \(S_{\mathcal {F}}\) for \(S_{\varphi }\). Then \(\mathcal {F}\) naturally factors through
For a finite separable extension \(F'\) of F, we define the restriction
of \(\mathcal {F}\) to \(F'\) by the usual restriction to \(W_{F'}\) of an \(\ell \)-adic L-parameter for G and bijections given by Lemma 2.7. Let
be the composition of
and the natural functor
induced by the restriction with respect to \(S_{\mathcal {F}} \subset S_{\mathcal {F}|_{F'}}\).
We define a map
by sending \([\varphi ]\) to \([\mathcal {F}_{\varphi ,c}]\). Then \(\mathcal {T}_{G,\ell }^{c}\) is a bijection by Lemma 2.7. For an isomorphism \(\iota :\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\), we define
as \(\mathcal {T}_{G,\ell }^{\iota (q^{\frac{1}{2}})} \circ \textrm{LL}_{G,\ell }^{\iota }\).
Conjecture 2.8
The map \(\textrm{LL}_{G,\ell }^{\textrm{T},\iota }\) is independent of a choice of \(\iota :\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\).
Remark 2.9
Conjecture 2.8 is motivated by the Kottwitz conjecture for local Shimura varieties in [26, Conjecture 7.4]. Let \((G,[b],[\mu ])\) be a local Shimura datum as [26, Definition 5.1]. Let \(\mathcal {M}_{G,[b],[\mu ],K}\) be the local Shimura variety over the reflex field \(E_{[\mu ]}\) attached to \((G,[b],[\mu ])\) and \(K \subset G(F)\), which is constructed in [29, 24.1]. Let J denote the \(\sigma \)-centralizer of b. Let \([\rho ] \in {{\,\textrm{Irr}\,}}_{\ell } (J)\). We put
where
We put
For \([\pi ] \in {{\,\textrm{Irr}\,}}_{\ell } (G)\) such that \(\textrm{LL}_{G,\ell }^{\textrm{T},\iota }([\pi ])=[\mathcal {F}^{\iota }]\), let \(\delta _{\pi ,\rho }^{\iota }\) be the representation of \(S_{\mathcal {F}^{\iota }}\) over \(\overline{\mathbb {Q}}_{\ell }\) determined by \(\iota \) and \(\check{\tau }_{\pi '} \otimes \tau _{\rho '}\) constructed in [26, p. 312] (cf. [13, 2.3] for a construction in a more general case), where \(\pi '=\pi \otimes _{\overline{\mathbb {Q}}_{\ell },\iota ^{-1}} \mathbb {C}\) and \(\rho '=\rho \otimes _{\overline{\mathbb {Q}}_{\ell },\iota ^{-1}} \mathbb {C}\). Let \(r_{[\mu ]}\) be an extension of \(r_{\widehat{G},[\mu ]}\) to \({}^L G_{E_{[\mu ]}}\) constructed by [20, (1.1.3), (2.1.2)] using [7, 2.4 Remark (3)]. Then the Kottwitz conjecture says that
where \([\pi ]\) runs \([\pi ] \in {{\,\textrm{Irr}\,}}_{\ell } (G)\) such that \(\textrm{LL}_{G,\ell }^{\textrm{T},\iota }([\pi ])=[\mathcal {F}^{\iota }]\). If the Kottwitz conjecture is true, then the isomorphism class of the \(W_{E_{[\mu ]}}\)-representation
is independent of \(\iota \), since the \(\ell \)-adic cohomology of local Shimura varieties and their group actions are independent of \(\iota \). If Conjecture 2.8 is true, \(\mathcal {F}^{\iota }_S\) and \(S_{\mathcal {F}^{\iota }}\) are independent of \(\iota \). By the observation above, we conjecture also that \(\delta _{\pi ,\rho }^{\iota }\) is independent of \(\iota \).
3.4 Comparison
Theorem 2.10
There is a canonical bijection
such that for any square root c of q in \(\overline{\mathbb {Q}}_{\ell }\) the diagram
is commutative.
Proof
Let \(\widetilde{\varphi }\) be an \(\ell \)-adic C-parameter for G. We construct an \(\ell \)-adic T-parameter \(\mathcal {F}_{\widetilde{\varphi }}\) for G. Let \(r :{}^L G (\overline{\mathbb {Q}}_{\ell }) \rightarrow {{\,\textrm{Aut}\,}}(V)\) be an object in \({{\,\textrm{Rep}\,}}_{\overline{\mathbb {Q}}_{\ell }}^{\textrm{alg}} ({}^L G)\). Then we have a decomposition
as representations of \(\widehat{G}(\overline{\mathbb {Q}}_{\ell })\) where \(V_{[\mu ]}\) is the \(r_{\widehat{G},[\mu ]}\)-typic part of V. We extend r to \(\widetilde{r} \in {{\,\textrm{Rep}\,}}_{\overline{\mathbb {Q}}_{\ell }}^{\textrm{alg}} ({}^C G)\) by letting \(\mathbb {G}_{\textrm{m}}\) act on \(V_{[\mu ]}\) by \(z \mapsto z^{d_G([\mu ])}\) using (2.2), where the extension is well-defined by (2.3). Then we define \(\mathcal {F}_{\widetilde{\varphi }}\) by
If two \(\ell \)-adic C-parameters for G are conjugate by an element of \(\widehat{\widetilde{G}}(\overline{\mathbb {Q}}_{\ell })\), then they are conjugate by an element of \(\widehat{G}(\overline{\mathbb {Q}}_{\ell })\). Hence,
is well-defined. We have the commutative diagram in the claim by
Then \(\mathcal{C}\mathcal{T}_{G,\ell }\) is a bijection because \(\mathcal {C}_{G,\ell }^c\) and \(\mathcal {T}_{G,\ell }^c\) are bijections by Lemmas 2.3 and 2.7. \(\square \)
Corollary 2.11
Conjecture 2.4 and Conjecture 2.8 are equivalent.
Proof
We have
for any \(\iota :\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\) by Theorem 2.10. Since \(\mathcal{C}\mathcal{T}_{G,\ell }\) is a canonical bijection independent of \(\iota \), the claim follows. \(\square \)
Corollary 2.12
Conjecture 2.4 and Conjecture 2.8 are true for \(\textrm{GL}_n\).
Proof
Recall that the local Langlands correspondence for \(\textrm{GL}_n\) is known by [23] and [15]. By Corollary 2.11, it suffices to check Conjecture 2.4. Assume that \(\textrm{LL}_{\textrm{GL}_n,\ell }^{\textrm{C},\iota }([\pi ]) =[\varphi ^{\iota }]\). Note that \(z_{\textrm{GL}_n}=(-1)^{n-1}\), because
where we define \(\delta _{\textrm{GL}_n}\) using the diagonal maximal torus \(T_n\) of \(\textrm{GL}_n\) and the Borel subgroup of the upper triangular matrices in \(\textrm{GL}_n\). Let
We show that \([ \widetilde{r} \circ \varphi ^{\iota } ]\) is independent of \(\iota \) in a similar way as the proof of [5, 35.1 Theorem]. For \([\rho ] \in {{\,\textrm{Irr}\,}}(\textrm{GL}_n)\), we write \(\textrm{LL}_{\textrm{GL}_n}^{\textrm{WD}}([\rho ])\) for the image of \(\textrm{LL}_{\textrm{GL}_n}([\rho ])\) under \(\Phi (\textrm{GL}_n) \simeq \Phi _{\mathbb {C}}^{\textrm{WD}}(\textrm{GL}_n)\), and define \(\tau _n ([\rho ])\) as the twist of \(\textrm{LL}^{\textrm{WD}}_{\textrm{GL}_n}([\rho ])\) by \((a,w) \mapsto q^{-(n-1)d_F(w)/2}\). Then \(\tau _n ([\pi \otimes _{\overline{\mathbb {Q}}_{\ell },\iota ^{-1}} \mathbb {C}])\) and \([ \widetilde{r} \circ \varphi ^{\iota } ]\) corresponds under the identification by
Therefore it suffices to show that \([\rho ] \mapsto \tau _n ([\rho ])\) is compatible with twists by \({{\,\textrm{Aut}\,}}(\mathbb {C})\). By [12, 1.8 Corollaire], \(\{ \tau _n \}_{n \ge 1}\) is characterized by the compatibility of \(\tau _1\) with the local class field theory and the equalities
for \(n' <n\), \([\rho ] \in {{\,\textrm{Irr}\,}}(\textrm{GL}_{n})\) and \([\rho '] \in {{\,\textrm{Irr}\,}}(\textrm{GL}_{n'})\), where \(\psi \) is a non-trivial character of F. The compatibility with twists by \({{\,\textrm{Aut}\,}}(\mathbb {C})\) follows from this characterization, [4, 3.2 Theorem] and [5, 35.3].
Let \(\iota ' :\mathbb {C}{\mathop {\rightarrow }\limits ^{\sim }} \overline{\mathbb {Q}}_{\ell }\) be another choice. Taking a conjugation of \(\varphi ^{\iota '}\) by an element of \(\widehat{\textrm{GL}_n}(\overline{\mathbb {Q}}_{\ell })\), we may assume that \(\widetilde{r} \circ \varphi ^{\iota }=\widetilde{r} \circ \varphi ^{\iota '}\). Hence there is a map \(\chi :W_F \rightarrow \overline{\mathbb {Q}}_{\ell }^{\times }\) such that
for \(w \in W_F\). By Definition 2.2, we have \(t_{\mathbb {G}_{\textrm{m}}} \circ \varphi ^{\iota } =t_{\mathbb {G}_{\textrm{m}}} \circ \varphi ^{\iota '}\). Hence we have \(\chi (w)^2=1\) for \(w \in W_F\). This implies that \(\varphi ^{\iota } =\varphi ^{\iota '}\) by \(z_{\textrm{GL}_n}=(-1)^{n-1}\) and (2.2). Hence Conjecture 2.4 is true. \(\square \)
Remark 2.13
We can also show Corollary 2.12 using the geometric realization of the local Langlands correspondence for \(\textrm{GL}_n\) in the \(\ell \)-adic etale cohomology of the Lubin–Tate spaces after the reduction to the supercuspidal case in the same spirit as Remark 2.9 (cf. [15, Lemma VII.1.6]). Here we gave a proof by the characterization without appealing to such a geometric realization.
Corollary 2.14
Conjecture 2.4 and Conjecture 2.8 are true for \(\textrm{PGL}_n\).
Proof
By Corollary 2.11, it suffices to check Conjecture 2.4. This follows from Corollary 2.12 and the commutative diagram
since the vertical injections are independent of \(\iota \). \(\square \)
References
Arthur, J., Gelbart, S.: Lectures on automorphic \(L\)-functions, in \(L\)-functions and arithmetic (Durham, 1989), vol. 153 of London Math. Soc. Lecture Note Ser., pp. 1–59, Cambridge Univ. Press, Cambridge (1991)
Bernstein, J.: Hidden sign in Langlands’ correspondence (2020). arXiv:2004.10487
Buzzard, K., Gee, T.: The conjectural connections between automorphic representations and Galois representations, in Automorphic forms and Galois representations. Vol. 1, vol. 414 of London Math. Soc. Lecture Note Ser., pp. 135–187, Cambridge Univ. Press, Cambridge (2014)
Bushnell, C. J., Henniart, G.: Davenport-Hasse relations and an explicit Langlands correspondence. II. Twisting conjectures, vol. 12, pp. 309–347, 2000, colloque International de Théorie des Nombres (Talence, 1999)
Bushnell, C.J., Henniart, G.: The local Langlands conjecture for \(\rm GL(2)\). Grundlehren der Mathematischen Wissenschaften, vol. 335. Springer, Berlin (2006)
Bertoloni Meli, A., Imai, N., Youcis, A.: The Jacobson–Morozov morphism for Langlands parameters in the relative setting, Int. Math. Res. Not., no. 6, 5100–5165 (2024)
Borel, A.: Automorphic \(L\)-functions, in Automorphic forms, representations and \(L\)-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979 pp. 27–61
Barbasch, D., Vogan, D.A., Jr.: Unipotent representations of complex semisimple groups. Ann. Math. 121(1), 41–110 (1985)
Deligne, P.: Les constantes des équations fonctionnelles des fonctions \(L\), in Modular functions of one variable, II (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972), pp. 501–597. Lecture Notes in Math., Vol. 349, Springer, Berlin (1973)
Gross, B.H., Reeder, M.: Arithmetic invariants of discrete Langlands parameters. Duke Math. J. 154(3), 431–508 (2010)
Heiermann, V.: Orbites unipotentes et pôles d’ordre maximal de la fonction \(\mu \) de Harish-Chandra. Can. J. Math. 58(6), 1203–1228 (2006)
Henniart, G.: Une caractérisation de la correspondance de Langlands locale pour \({\rm GL}(n)\). Bull. Soc. Math. France 130(4), 587–602 (2002)
Hansen, D., Kaletha, T., Weinstein, J.: On the Kottwitz conjecture for local shtuka spaces, Forum Math. Pi 10, Paper No. e13, 79 (2022)
Hochschild, G.P.: Basic theory of algebraic groups and Lie algebras. Graduate Texts in Mathematics, vol. 75. Springer, New York (1981)
Harris, M., Taylor, R.: The geometry and cohomology of some simple Shimura varieties, vol. 151 of Annals of Mathematics Studies, Princeton University Press, Princeton, NJ, 2001, with an appendix by Vladimir G. Berkovich
Imai, N., Tsushima, T.: Geometric realization of the local Langlands correspondence for representations of conductor three. Publ. Res. Inst. Math. Sci. 58(1), 49–77 (2022)
Johansson, C.: A remark on a conjecture of Buzzard-Gee and the cohomology of Shimura varieties. Math. Res. Lett. 20(2), 279–288 (2013)
Kaletha, T.: The local Langlands conjectures for non-quasi-split groups, in Families of automorphic forms and the trace formula. In: Simons Symposium, pp. 217–257, Springer, Cham (2016)
Kazhdan, D., Lusztig, G.: Proof of the Deligne–Langlands conjecture for Hecke algebras. Invent. Math. 87(1), 153–215 (1987)
Kottwitz, R.E.: Shimura varieties and twisted orbital integrals. Math. Ann. 269(3), 287–300 (1984)
Kottwitz, R.E.: Stable trace formula: cuspidal tempered terms. Duke Math. J. 51(3), 611–650 (1984)
Langlands, R.P.: Les débuts d’une formule des traces stable. Publications Mathématiques de l’Université Paris VII [Mathematical Publications of the University of Paris VII], Université de Paris VII, vol. 13. U.E.R. de Mathématiques, Paris (1983)
Laumon, G., Rapoport, M., Stuhler, U.: \(\mathscr {D}\)-elliptic sheaves and the Langlands correspondence. Invent. Math. 113(2), 217–338 (1993)
Mostow, G.D.: Fully reducible subgroups of algebraic groups. Am. J. Math. 78, 200–221 (1956)
Onishchik, A. L., Vinberg, E. B.: Lie groups and algebraic groups, Springer Series in Soviet Mathematics, Springer, Berlin (1990), translated from the Russian and with a preface by D. A. Leites
Rapoport, M., Viehmann, E.: Towards a theory of local Shimura varieties. Münster J. Math. 7(1), 273–326 (2014)
Serre, J.-P.: Exemples de plongements des groupes \({\rm PSL}_2({ F}_p)\) dans des groupes de Lie simples. Invent. Math. 124(1–3), 525–562 (1996)
Serre, J.-P., Tate, J.: Good reduction of abelian varieties. Ann. Math. 2(88), 492–517 (1968)
Scholze, P., Weinstein, J.: Berkeley Lectures on \(p\)-adic Geometry, vol. 207. Princeton University Press, Princeton, NJ (2020)
Zhu, X.: A note on Integral Satake isomorphisms (2020). arXiv:2005.13056
Acknowledgements
The author would like to thank Teruhisa Koshikawa for his helpful comments. He is grateful to referees and an editor for their comments and fruitful suggestions. This work was supported by JSPS KAKENHI Grant Numbers JP18H01109, JP22H00093.
Funding
Open Access funding provided by The University of Tokyo.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data Availibility Statement
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
Conflict of interest
None.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Imai, N. Local Langlands correspondences in \(\ell \)-adic coefficients. manuscripta math. 175, 345–364 (2024). https://doi.org/10.1007/s00229-024-01582-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-024-01582-y