---
abstract: 'We state conjectures on the relationships between automorphic representations and Galois representations, and give evidence for them.'
address:
- 'Department of Mathematics, Imperial College London'
- 'Department of Mathematics, Imperial College London'
author:
- Kevin Buzzard
- Toby Gee
bibliography:
- 'buzzgee.bib'
title: The conjectural connections between automorphic representations and Galois representations
---

Introduction.
=============

Given an algebraic Hecke character for a number field $F$, a classical construction of Weil produces a compatible system of 1-dimensional $\ell$-adic representations of ${\operatorname{Gal}}(\overline{F}/F)$. In the late 1950s, Taniyama’s work [@MR0095161] on $L$-functions of abelian varieties with complex multiplications led him to consider certain higher-dimensional compatible systems of Galois representations, and by the 1960s it was realised by Serre and others that Weil’s construction might well be the tip of a very large iceberg. Serre conjectured the existence of 2-dimensional $\ell$-adic representations of ${\operatorname{Gal}}({\overline{{\mathbb{Q}}}}/{\mathbb{Q}})$ attached to classical modular eigenforms for the group ${\operatorname{GL}}_2$ over ${\mathbb{Q}}$, and their existence was established by Deligne not long afterwards. Moreover, Langlands observed that one way to attack Artin’s conjecture on the analytic continuation of Artin $L$-functions might be via first proving that any non-trivial $n$-dimensional irreducible complex representation of the absolute Galois group of a number field $F$ came (in some precise sense) from an automorphic representation for ${\operatorname{GL}}_n/F$, and then analytically continuing the $L$-function of this automorphic representation instead.

One might ask whether one can associate “Galois representations” to automorphic representations for an arbitrary connected reductive group over a number field. There are several approaches to formalising this problem. Firstly one could insist on working with all automorphic representations and attempt to associate to them complex representations of a “Langlands group”, a group whose existence is only conjectural but which, if it exists, should be much bigger than the absolute Galois group of the number field (and even much bigger than the Weil group of the number field)—a nice reference for a rigorous formulation of a conjecture here is [@arthur:note]. Alternatively one could restrict to automorphic representations that are “algebraic” in some reasonable sense, and in this case one might attempt to associate certain complex representations of the fundamental group of some Tannakian category of motives, a group which might either be a pro-algebraic group scheme or a topological group. Finally, following the original examples of Weil and Deligne, one might again restrict to algebraic automorphic representations, and then attempt to associate compatible systems of $\ell$-adic Galois representations to such objects (that is, representations of the absolute Galois group of the number field over which the group is defined). The advantage of the latter approach is that it is surely the most concrete.

For the group ${\operatorname{GL}}_n$ over a number field, Clozel gave a definition of what it meant for an automorphic representation to be “algebraic”. The definition was, perhaps surprisingly, a non-trivial twist of a notion which presumably had been in the air for many years. Clozel made some conjectures predicting that algebraic automorphic representations should give rise to $n$-dimensional $\ell$-adic Galois representations (so his conjecture encapsulates Weil’s result on Hecke characters and Deligne’s theorem too). Clozel proved some cases of his conjecture, when he could switch to a unitary group and use algebraic geometry to construct the representations.

The goal of this paper is to generalise (most of) the *statement* of Clozel’s conjecture to the case where ${\operatorname{GL}}_n$ is replaced by an arbitrary connected reductive group $G$. Let us explain the first stumbling block in this programme. The naive conjecture would be of the following form: if an automorphic representation $\pi$ for $G$ is algebraic (in some reasonable sense) then there should be a Galois representation into the ${\overline{{\mathbb{Q}}}_p}$-points of the $L$-group of $G$, associated to $\pi$. But if one looks, for example, at Proposition 3.4.4 of [@cht], one sees that they can associate $p$-adic Galois representations to certain automorphic representations on certain compact unitary groups, but that the Galois representations are taking values in a group ${\mathcal G}_n$ which one can check is *not* the $L$-group of the unitary group in question (for dimension reasons, for example). In fact there are even easier examples of this phenomenon: if $\pi$ is the automorphic representation for ${\operatorname{GL}}_2/{\mathbb{Q}}$ attached to an elliptic curve over the rationals, then (if one uses the standard normalisation for $\pi$) one sees that $\pi$ has trivial central character and hence descends to an automorphic representation for ${\operatorname{PGL}}_2/{\mathbb{Q}}$ which one would surely hope to be algebraic (because it is cohomological). However, the $L$-group of ${\operatorname{PGL}}_2/{\mathbb{Q}}$ is ${\operatorname{SL}}_2$ and there is no way of twisting the Galois representation afforded by the $p$-adic Tate module of the curve so that it lands into ${\operatorname{SL}}_2({\overline{{\mathbb{Q}}}_{\ell}})$, because the cyclotomic character has no square root (consider complex conjugation). On the other hand, there do exist automorphic representation for ${\operatorname{PGL}}_2/{\mathbb{Q}}$ which have associated Galois representations into ${\operatorname{SL}}_2({\overline{{\mathbb{Q}}}_{\ell}})$; for example one can easily build them from automorphic representations on ${\operatorname{GL}}_2/{\mathbb{Q}}$ constructed via the Langlands-Tunnell theorem applied to a continuous even irreducible 2-dimensional representation of ${\operatorname{Gal}}({\overline{{\mathbb{Q}}}}/{\mathbb{Q}})$ into ${\operatorname{SL}}_2({\mathbb{C}})$ with solvable image. What is going on?

Our proposed solution is the following. For a general connected reductive group $G$, we believe that there are *two* reasonable notions of “algebraic”. For ${\operatorname{GL}}_n$ these notions differ by a twist (and this explains why this twist appears in Clozel’s work). For some groups the notions coincide. But for some others—for example ${\operatorname{PGL}}_2$— the notions are disjoint. The two definitions “differ by half the sum of the positive roots”. We call the two notions $C$-algebraic and $L$-algebraic. It turns out that cohomological automorphic representations are $C$-algebraic (hence the $C$), and that given an $L$-algebraic automorphic representation one might expect an associated Galois representation into the $L$-group (hence the $L$). Clozel twists $C$-algebraic representations into $L$-algebraic ones in his paper, and hence conjectures that there should be Galois representations attached to $C$-algebraic representations for ${\operatorname{GL}}_n$, but this trick is not possible in general. In this paper we explicitly conjecture the existence of $p$-adic Galois representations associated to $L$-algebraic automorphic representations for a general connected reductive group over a number field.

On the other hand, one must not leave $C$-algebraic representations behind. For example, for certain unitary groups of even rank over the rationals, all automorphic representations are $C$-algebraic and none are $L$-algebraic at all! It would be a shame to have no conjecture at all in these cases. We show in section \[section:twisting\] that given a $C$-algebraic automorphic representation for a group $G$, it can be lifted to a $C$-algebraic representation for a certain covering group $\widetilde{G}$ (a canonical central extension of $G$ by $GL_1$) where there is enough space to twist $C$-algebraic representations into $L$-algebraic ones. After making such a twisting one would then conjecturally expect an associated Galois representation into the $L$-group not of $G$ but of $\widetilde{G}$. We define the $C$-group ${}^CG$ of $G$ to be ${}^L\widetilde{G}$. For example, if $\pi$ is the automorphic representation for the group ${\operatorname{PGL}}_2/{\mathbb{Q}}$ attached to an elliptic curve over ${\mathbb{Q}}$, we can verify that $\pi$ is $C$-algebraic, and that $\widetilde{G}={\operatorname{GL}}_2/{\mathbb{Q}}$ in this case, and hence one would expect a Galois representation into ${\operatorname{GL}}_2({\overline{{\mathbb{Q}}}_{\ell}})$ associated to $\pi$, which is given by the Tate module of the curve. We also verify the compatibility of the construction with that made by Clozel–Harris–Taylor in the unitary group case.

In this paper, we explain the phenomena above in more detail. In particular we formulate a conjecture associating $p$-adic Galois representations to $L$-algebraic automorphic representations for an arbitrary connected reductive group over a number field, which appears to essentially include all known theorems and conjectures of this form currently in the literature. We initially imagined that such a conjecture was already “known to the experts”. However, our experience has been that this is not the case; in fact, it seems that the issues that arise when comparing the definitions of $L$-algebraic and $C$-algebraic representations were a known problem, with no clear solution (earlier attempts to deal with this issue have been by means of redefining the local Langlands correspondence and the Satake isomorphism via a twist, as in [@MR1729443]; however this trick only works for certain groups). In one interesting example in the literature where Galois representations are attached to certain cohomological automorphic representations—the constructions of [@cht]—the Galois representations take values in a group $\mathcal{G}_n$, whose construction seemed to us to be one whose main motivation was that it was the group that worked, rather than the group that came from a more conceptual argument. We revisit this construction in §\[section:examples\]. Ultimately, we hope that this article will clarify once and for all a variety of issues that occur when leaving the relative safety of ${\operatorname{GL}}_n$, giving a firm framework for further research on Galois representations into groups other than ${\operatorname{GL}}_n$.

Acknowledgements.
-----------------

We would like to thank Jeff Adams, James Arthur, Frank Calegari, Brian Conrad, Matthew Emerton, Wee Teck Gan, Dick Gross, Florian Herzig, Robert Langlands, David Loeffler, Ambrus Pál, Richard Taylor and David Vogan for helpful discussions relating to this work. Particular thanks go to Gross, for giving us a copy of Deligne’s letter to Serre and urging us to read it, and to Adams and Vogan for dealing with several questions of ours involving local Langlands at infinity which were apparently “known to the experts” but which we could not extract from the literature ourselves.

The first author was supported by an EPSRC Advanced Research Fellowship, and the second author would like to acknowledge the support of the National Science Foundation (award number DMS-0841491). He would also like to thank the mathematics department of Northwestern University for its hospitality in the early stages of this project.

$L$-groups and local definitions. {#sec:review and notation}
=================================

In this section we give an overview of various standard facts concerning $L$-groups, the Satake isomorphism, the archimedean local Langlands correspondence, and basic Hodge–Tate theory, often with a specific emphasis on certain arithmetic aspects that are not considered relevant in many of the standard references. In summary: our $L$-groups will be over ${\overline{{\mathbb{Q}}}}$, we will keep track of the two different ${\mathbb{Q}}$-structures in the Satake isomorphism, and our local Langlands correspondence will concern representations of $G({\mathbb{R}})$ or $G(\overline{{\mathbb{R}}})$, where $\overline{{\mathbb{R}}}$ is an algebraic closure of the reals which we do not identify with ${\mathbb{C}}$ (note that on the other hand, all our representations will be on ${\mathbb{C}}$-vector spaces). This section is relatively elementary but contains all of the crucial local definitions.

The $L$-group.
--------------

We briefly review the notion of an $L$-group. We want to view the $L$-group of a connected reductive group as a group over ${\overline{{\mathbb{Q}}}}$, rather than the more traditional ${\mathbb{C}}$, as we shall later on be considering representations into the ${\overline{{\mathbb{Q}}}_p}$-points of the $L$-group. We review the standard definitions from the point of view that we shall be taking.

We take the approach to dual groups explained in section 1 of [@MR757954], but work over ${\overline{{\mathbb{Q}}}}$. See also section 3.3 of Exposé XXIV of [@MR0207710], which is perhaps where the trick of taking limits of based root data is first introduced.

Let $k$ be a field and let $G$ be a connected reductive algebraic group over $k$. Fix once and for all a separable closure $k^{{\operatorname{sep}}}$ of $k$, and let $\Gamma_k$ denote ${\operatorname{Gal}}(k^{{\operatorname{sep}}}/k)$. The group $G$ splits over $k^{{\operatorname{sep}}}$, and if we choose a maximal torus $T$ in $G_{k^{{\operatorname{sep}}}}$ and a Borel subgroup $B$ of $G_{k^{{\operatorname{sep}}}}$ containing $T$, one can associate the based root datum $\Psi_0(G,B,T):=(X^*(T),\Delta^*(B),X_*(T),\Delta_*(B))$ consisting of the character and cocharacter groups of $T$, and the roots and coroots which are simple and positive with respect to the ordering defined by $B$. Now let $Z_G$ denote the centre of $G$; then $(G/Z_G)(k^{{\operatorname{sep}}})$ acts on $G_{k^{{\operatorname{sep}}}}$ by conjugation, and if $T'$ and $B'$ are another choice of maximal torus and Borel then there is an element of $(G/Z_G)(k^{{\operatorname{sep}}})$ sending $B'$ to $B$ and $T'$ to $T$, and all such elements induce the same isomorphisms of based root data $\Psi_0(G,B,T)\to\Psi_0(G,B',T')$. Following Kottwitz, we define $\Psi_0(G):=(X^*,\Delta^*,X_*,\Delta_*)$ to be the projective limit of the $\Psi_0(G,B,T)$ via these isomorphisms. This means in practice that given a maximal torus $T$ of $G_{k^{{\operatorname{sep}}}}$, the group $X^*$ is isomorphic to the character group of $T$ but not canonically; however given also a Borel $B$ containing the torus, there is now a canonical map $X^*=X^*(T)$ (and different Borels give different canonical isomorphisms). There is a natural group homomorphism $\mu_G:\Gamma_k\to{\operatorname{Aut}}(\Psi_0(G))$ (defined for example in §1.3 of [@MR546608]) and if $K\subseteq k^{{\operatorname{sep}}}$ is a Galois extension of $k$ that splits $G$ then $\mu_G$ factors through ${\operatorname{Gal}}(K/k)$.

We let ${{\widehat{G}}}$ denote a connected reductive group over ${\overline{{\mathbb{Q}}}}$ equipped with a given isomorphism $\Psi_0({{\widehat{G}}})=\Psi_0(G)^\vee$, the dual root datum to $\Psi_0(G)$. There is a canonical group isomorphism ${\operatorname{Aut}}(\Psi_0(G))={\operatorname{Aut}}(\Psi_0(G)^\vee)$, sending an automorphism of $X^*$ to its inverse (one needs to insert this inverse to ’cancel out’ the contravariance coming from the dual construction), and hence a canonical action of $\Gamma_k$ on $\Psi_0(G)^\vee$. If we choose a Borel, a maximal torus, and a splitting (also called a pinning; see p.10 of [@MR546587] for details and definitions) of ${{\widehat{G}}}$ then, as on p.10 of [@MR546587], this data induces a lifting ${\operatorname{Aut}}(\Psi_0(G)^\vee)\to{\operatorname{Aut}}({{\widehat{G}}})$ and hence (via $\mu_G)$ a left action of $\Gamma_k$ on ${{\widehat{G}}}$. We define the $L$-group ${{{}^{L}G}}$ of $G$ to be the resulting semidirect product, regarded as a group scheme over ${\overline{{\mathbb{Q}}}}$ with identity component ${{\widehat{G}}}$ and component group $\Gamma_k$. For $K$ a field containing ${\overline{{\mathbb{Q}}}}$ we have ${{{}^{L}G}}(K)={{\widehat{G}}}(K)\rtimes\Gamma_k$. Often in the literature people use ${{{}^{L}G}}$ to be the group that we call ${{{}^{L}G}}({\mathbb{C}})$.

Note that there is a fair amount of “ambiguity” in this definition. The group ${{\widehat{G}}}$ is “only defined up to inner automorphisms”, as is the lifting of $\mu_G$. So, even if we fix our choice of $k^{{\operatorname{sep}}}$, points in ${{{}^{L}G}}(K)$ are “only defined up to conjugation by ${{\widehat{G}}}(K)$”.

If $K$ is an extension of ${\overline{{\mathbb{Q}}}}$ and $\rho$ is a group homomorphism $\Gamma_k\to{{{}^{L}G}}(K)$, then we say that $\rho$ is *admissible* if the map $\Gamma_k\to\Gamma_k$ induced by $\rho$ and the surjection ${{{}^{L}G}}(K)\to\Gamma_k$ is the identity. We say two admissible $\rho$s are *equivalent* if they differ by conjugation by an element of ${{\widehat{G}}}(K)$.

We remark that readers for whom even the choice of $k^{{\operatorname{sep}}}$ is distasteful (I’m looking at you, Brian) can avoid making this choice all together by interpreting ${{\widehat{G}}}(K)$ as a scheme of groups over ${\operatorname{Spec}}(k)$ and then interpreting equivalence classes of admissible $\rho$s as above as elements of $H^1({\operatorname{Spec}}(k),{{\widehat{G}}}(K))$.

We fix once and for all an embedding ${\overline{{\mathbb{Q}}}}\to{\mathbb{C}}$. Later on, when talking about Galois representations, we shall fix a prime number $p$ and an embedding ${\overline{{\mathbb{Q}}}}\to{\overline{{\mathbb{Q}}}_p}$. This will enable us to talk about the groups ${{{}^{L}G}}({\mathbb{C}})$ and ${{{}^{L}G}}({\overline{{\mathbb{Q}}}_p})$.

Satake parameters. {#satakeparams}
------------------

In this section, $k$ is a non-archimedean local field with integers ${\mathcal{O}}$, and we again fix a separable closure $k^{{\operatorname{sep}}}$ of $k$ and set $\Gamma_k={\operatorname{Gal}}(k^{{\operatorname{sep}}}/k)$. We normalise the reciprocity map $k^\times\to\Gamma_k^{\operatorname{ab}}$ of local class field theory so that it takes a uniformiser to a geometric Frobenius. We follow Tate’s definitions and conventions for Weil groups—in brief, a Weil group $W_k=W_{k^{{\operatorname{sep}}}/k}$ for $k$ comes equipped with maps $W_k\to\Gamma_k$ and $k^\times\to W_k^{\operatorname{ab}}$ such that the induced map $k^\times\to\Gamma_k^{\operatorname{ab}}$ is the reciprocity homomorphism of class field theory, normalised as above.

Let $G/k$ be connected reductive group which is furthermore unramified (that is, quasi-split, and split over an unramified extension of $k$). Then $G(k)$ has hyperspecial maximal compact subgroups (namely ${\mathcal G}({\mathcal{O}})\subseteq G(k)$, where ${\mathcal G}$ is any reductive group over ${\mathcal{O}}$ with generic fibre $G$); fix one, and call it $K$. Nothing we do will depend on this choice, but we will occasionally need to justify this. Let $B=B_k$ be a Borel in $G$ defined over $k$, let $T=T_k$ be a maximal torus of $B$, also defined over $k$, and let $T_d$ be the maximal $k$-split sub-$k$-torus of $T$. Let $W_d$ be the subgroup of the Weyl group of $G$ consisting of elements which map $T_d$ to itself. Let ${}^oT$ denote the maximal compact subgroup of $T(k)$. It follows from an easy cohomological calculation (done for example in §9.5 of [@MR546608]) that the inclusion $T_d\to T$ induces an isomorphism of groups $T_d(k)/T_d({\mathcal{O}})\to T(k)/{}^oT$. We normalise Haar measure on $G(k)$ so that $K$ has measure 1 (and remark that by 3.8.2 of [@MR546588] this normalisation is independent of the choice of hyperspecial maximal compact $K$). If $R$ is a field of characteristic zero then let $H_R(G(k),K)$ denote the Hecke algebra of bi-$K$-invariant $R$-valued functions on $G(k)$ with compact support, and with multiplication given by convolution. Similarly let $H_R(T(k),{}^oT)$ denote the analogous Hecke algebra for $T(k)$ (with Haar measure normalised so that ${}^oT$ has measure 1).

The Satake isomorphism (see for example §4.2 of [@cartier:corvallis]) is a canonical isomorphism $H_{{\mathbb{C}}}(G(k),K)={\mathbb{C}}[X_*(T_d)]^{W_d}=H_{{\mathbb{C}}}(T_d(k),T_d({\mathcal{O}}))^{W_d}=H_{{\mathbb{C}}}(T(k),{}^oT)^{W_d}$, where $X_*(T_d)$ is the cocharacter group of $T_d$ (the Satake isomorphism is the first of these equalities; the others are easy). We normalise the Satake isomorphism in the usual way, so that it does not depend on the choice of the Borel subgroup containing $T$; this is the only canonical way to do things. This standard normalisation is however not in general “defined over ${\mathbb{Q}}$”—for example if $k={\mathbb{Q}}_p$ and $G={\operatorname{GL}}_2$ and $K={\operatorname{GL}}_2({\mathbb{Z}}_p)$ then the Satake isomorphism sends the characteristic function of $K\smallmat{p}{0}{0}{1}K$ to a function on $T({\mathbb{Q}}_p)$ taking the value $\sqrt{p}$ on the matrix $\smallmat{p}{0}{0}{1}$. This square root of $p$ appears because the definition of the Satake isomorphism involves a twist by half the sum of the positive roots of $G$ (see formula (19) of section 4.2 of [@cartier:corvallis]) and because of this twist, the isomorphism does *not* in general induce a canonical isomorphism $H_{{\mathbb{Q}}}(G(k),K)={\mathbb{Q}}[X_*(T_d)]^{W_d}$.

In [@MR1729443] and [@MR1044819] this issue of square roots is avoided by renormalising the Satake isomorphism. Let us stress that we shall *not* do this here, and we shall think of $H_{{\mathbb{Q}}}(G(k),K)$ and ${\mathbb{Q}}[X_*(T_d)]^{W_d}$ as giving two possibly distinct ${\mathbb{Q}}$-structures on the complex algebraic variety ${\operatorname{Spec}}(H_{{\mathbb{C}}}(G(k),K))$ which shall perform two different functions—they will give us two (typically distinct) notions of being defined over a subfield of ${\mathbb{C}}$. We note however that if half the sum of the positive roots of $G$ is in the weight lattice $X^*(T)$ (this occurs for example if $G$ is semi-simple and simply connected, or a torus) then the map $\delta^{1/2}:T(k)\to{\mathbb{R}}_{>0}$ mentioned in formula (19) of [@cartier:corvallis] is ${\mathbb{Q}}$-valued (see formula (4) of [@cartier:corvallis] for the definition of $\delta$) and the proof of Theorem 4.1 of [@cartier:corvallis] makes it clear that in this case the Satake isomorphism does induce an isomorphism $H_{{\mathbb{Q}}}(G(k),K)={\mathbb{Q}}[X_*(T_d)]^{W_d}$.

Next we recall how the Satake isomorphism above leads us to an unramified local Langlands correspondence. Say $\pi$ is a smooth admissible irreducible complex representation of $G(k)$, and assume that $\pi^K\not=0$ for our given choice of $K$ (so in particular, $\pi$ is unramified). Then $\pi^K$ is a 1-dimensional representation of $H_{{\mathbb{C}}}(G,K)$ and hence gives rise to a ${\mathbb{C}}$-valued character of $H_{{\mathbb{C}}}(G,K)$. Now results of Gantmacher and Langlands in section 6 of [@MR546608] enable one to canonically associate to $\pi$ an unramified continuous admissible representation $r_{\pi}:W_k\to{{{}^{L}G}}({\mathbb{C}})$, where “admissible” in this context means a group homomorphism such that if one composes it with the canonical map ${{{}^{L}G}}({\mathbb{C}})\to\Gamma_k$ then one obtains the canonical map $W_k\to\Gamma_k$ (part of the definition of the Weil group) and “unramified” means that the resulting 1-cocycle $W_k\to{{\widehat{G}}}({\mathbb{C}})$ is trivial on the inertia subgroup of $W_k$. In fact there are two ways of normalising the construction: if we follow section 6 of [@MR546608] then in the crucial Proposition 6.7 Borel has chosen the $\sigma$ that appears there to be an *arbitrary* generator of the Galois group of a finite unramified extension of $k$ which splits $G$, and we are free to choose $\sigma$ to be either an arithmetic or a geometric Frobenius. We shall let $\sigma$ denote a geometric Frobenius: now an easy check (unravelling the definitions in [@MR546608] and [@cartier:corvallis]) shows that if $G={\operatorname{GL}}_1$ and $\pi$ is an unramified representation of ${\operatorname{GL}}_1(k)$ then the corresponding Galois representation $W_k\to{\operatorname{GL}}_1({\mathbb{C}})$ is the one induced by our given isomorphism $k^\times=W_k^{\operatorname{ab}}$. See Remark \[swapping geometric and arithmetic frobenius via an involution\] for some comments about what would have happened had we chosen an arithmetic Frobenius here, and normalised our class field theory isomorphisms so that they sent arithmetic Frobenii to uniformisers.

\[unramlltwist\] The local Langlands correspondence behaves in a natural way under certain unramified twists. Let $\xi:G\to{{\mathbb{G}_m}}$ be a character of $G$ defined over $k$. Then $\xi(K)$ is a compact subset of $k^\times$ and is hence contained in ${\mathcal{O}}^\times$. If $s\in{\mathbb{C}}$ then we can define $\chi:G(k)\to{\mathbb{C}}^\times$ by $\chi(g)=|\xi(g)|^s$; then $\chi(K)=1$. Hence for an irreducible $\pi$ with a $K$-fixed vector, $\pi\otimes\chi$ is also irreducible with a $K$-fixed vector. The map $\chi$ induces an automorphism of $H_{\mathbb{C}}(G(k),K)$ sending a function $f$ to the function $g\mapsto \chi(g)f(g)$, and similarly it induces automorphisms of $H_{\mathbb{C}}(T(k)/{}^oT)$ and $H_{\mathbb{C}}(T_d(k)/T_d({\mathcal{O}}))$. These latter two automorphisms are equivariant for the action of $W_d$, because $\chi$ is constant on $G(k)$-conjugacy classes. Furthermore, the Satake isomorphism commutes with these automorphisms—this follows without too much trouble from the formula defining the Satake isomorphism in §4.2 of [@cartier:corvallis] and the observation that the kernel of $\xi$ contains the unipotent radical of any Borel in $G$. Now if $Y={\operatorname{Spec}}(H_{\mathbb{C}}(T_d(k),T_d({\mathcal{O}}))$ is the complex torus dual to $T_d$, then given an irreducible $\pi$ with a $K$-fixed vector the Satake isomorphism produces a $W_d$-orbit of elements of $Y$. Twisting $\pi$ by $\chi$ amounts to changing this orbit by adding to it the $W_d$-stable element $y_\chi$ of $Y$ corresponding to the character of $T_d(k)/T_d({\mathcal{O}})$ induced by $\chi$. Let us define an element $t_\chi$ of $\widehat{T}=X^*(T)\otimes{\mathbb{C}}^\times$, the complex torus dual to $T$, by $t_\chi=\xi\otimes q^{-s}=\xi\otimes|\varpi|^s$ (with $q$ the size of the residue field of $k$ and $\varpi$ a uniformiser). The inclusion $T_d\to T$ induces a surjection $\widehat{T}\to Y$ and some elementary unravelling shows that it sends $t_\chi$ to $y_\chi$. It follows that if $r_\pi:W_k\to{}^LG$ is the representation of $W_k$ corresponding to $\pi$, then $r_{\pi\otimes\chi}(w)=\hat\xi(|w|^s)r_\pi(w)$, with $\hat\xi:{\mathbb{C}}^\times\to\widehat{T}\subseteq\widehat{G}$ the cocharacter of $\widehat{T}$ corresponding to the character $\xi$ of $T$.

We now come back to the $\mathbf{Q}$-structures on $H_{{\mathbb{C}}}(G(k),K)$. As we have already mentioned, we have a natural ${\mathbb{Q}}$-structure on $H_{{\mathbb{C}}}(G(k),K)$ coming from the ${\mathbb{Q}}$-valued functions $H_{{\mathbb{Q}}}(G(k),K)$, and we have another one coming from ${\mathbb{Q}}[X_*(T_d)]^{W_d}$ via the Satake isomorphism. This means that, for a smooth irreducible admissible representation $\pi$ of $G(k)$ with a $K$-fixed vector, there are two (typically distinct) notions of what it means to be “defined over $E$”, for $E$ a subfield of ${\mathbb{C}}$. Indeed, if $\pi$ is a smooth admissible irreducible representation of $G(k)$ with a $K$-fixed vector, then $\pi^K$ is a 1-dimensional complex vector space on which $H_{{\mathbb{C}}}(G(k),K)$ acts, and this action induces maps $$H_{{\mathbb{Q}}}(G(k),K)\to{\mathbb{C}}$$ and $${\mathbb{Q}}[X_*(T_d)]^{W_d}\to{\mathbb{C}}.$$

\[definedoverEdef\] Let $\pi$ be smooth, irreducible and admissible, with a $K$-fixed vector. Let $E$ be a subfield of ${\mathbb{C}}$.

\(i) We say that *$\pi$ is defined over $E$* if the induced map $H_{{\mathbb{Q}}}(G(k),K)\to{\mathbb{C}}$ has image lying in $E$.

\(ii) We say that *the Satake parameter of $\pi$ is defined over $E$* if the induced map ${\mathbb{Q}}[X_*(T_d)]^{W_d}\to{\mathbb{C}}$ has image lying in $E$.

If half the sum of the positive roots of $G$ is in the lattice $X^*(T)$, then these notions coincide. However there is no reason for them to coincide in general and we shall shortly see examples for ${\operatorname{GL}}_2({\mathbb{Q}}_p)$ where they do not.

Note also that it is not immediately clear that these notions are independent of the choice of $K$: perhaps there is some $\pi$ with a $K$-fixed vector and a $K'$-fixed vector for two non-conjugate hyperspecial maximal compacts (for example, the trivial 1-dimensional representation of ${\operatorname{SL}}_2({\mathbb{Q}}_p)$ has this property), and which is defined over $E$ (or has Satake parameter defined over $E$) for one choice but not for the other. The reader should bear in mind that for the time being these notions depend on the choice of $K$, although we will soon see (in Corollary \[Carith\_well\_defined\] and Lemma \[Larith\_well\_defined\]) that they are in fact independent of this choice.

We now discuss some other natural notions of being “defined over $E$” for $E$ a subfield of ${\mathbb{C}}$, and relate them to the notions above. So let $E$ be a subfield of ${\mathbb{C}}$ and let $\pi$ be a smooth irreducible admissible complex representation of $G(k)$ with a $K$-fixed vector, for our fixed choice of $K$. Let $V$ be the underlying vector space for $\pi$.

\[definedoverE\] The following are equivalent:

\(i) The representation $\pi$ is defined over $E$.

\(ii) There is an $E$-subspace $V_0$ of $V$ which is $G(k)$-stable and such that $V_0\otimes_E{\mathbb{C}}=V$.

\(iii) For any (possibly discontinuous) field automorphism $\sigma$ of ${\mathbb{C}}$ which fixes $E$ pointwise, we have $\pi\cong\pi^{\sigma}=\pi\otimes_{{\mathbb{C}},\sigma}{\mathbb{C}}$ as ${\mathbb{C}}$-representations.

That (ii) implies (iii) is clear—it’s an abstract representation-theoretic fact. Conversely if (iii) holds, then (ii) follows from Lemma I.1 of [@Waldspurger:MR783510] (note: his $E$ is not our $E$), because $V^K$ is 1-dimensional. This latter lemma of Waldspurger also shows that if (ii) holds then $V_0^K$ is 1-dimensional over $E$, and hence (ii) implies (i). To show that (i) implies (ii) we look at the explicit construction giving $\pi$ from the algebra homomorphism $H_{{\mathbb{Q}}}(G(k),K)\to{\mathbb{C}}$ given in [@cartier:corvallis]. Given a homomorphism $H_{{\mathbb{Q}}}(G(k),K)\to{\mathbb{C}}$ with image landing in $E$, the resulting spherical function $\Gamma:G(k)\to{\mathbb{C}}$ defined in equation (30) of [@cartier:corvallis] is also $E$-valued. Now if we define $V_0$ to be the $E$-valued functions on $G(k)$ of the form $f(g)=\sum_{i=1}^nc_i\Gamma(gg_i)$ for $c_i\in E$ and $g_i\in G(k)$, then $G(k)$ acts on $V_0$ by right translations, $V_0\otimes_E{\mathbb{C}}$ is the $V_\Gamma$ of §4.4 of [@cartier:corvallis], and the arguments in §4.4 of [@cartier:corvallis] show that $\pi\cong V_0\otimes_E{\mathbb{C}}$.

\[Carith\_well\_defined\] If $\pi$ is a smooth irreducible admissible unramified representation of $G(k)$, then the notion of being “defined over $E$” is independent of the choice of hyperspecial maximal compact $K$ for which $\pi^K$ is non-zero.

This is because condition (iii) of Lemma \[definedoverE\] is independent of this choice.

We now prove the analogous result for Satake parameters.

\[Larith\_well\_defined\] If $\pi$ is a smooth irreducible admissible unramified representation of $G(k)$, then the notion of $\pi$ having Satake parameter being defined over $E$ is independent of the choice of hyperspecial maximal compact $K$ for which $\pi^K\not=0$.

Say $\pi$ is an unramified smooth irreducible admissible representation of $G(k)$ with a $K$-fixed vector. The Satake isomorphism associated to $K$ gives us a character of the algebra $H_{{\mathbb{C}}}(T(k),{}^oT)^{W_d}$ and hence a $W_d$-orbit of complex characters of $T(k)$. Now by p45 of [@MR546608] and sections 3 and 4 of [@cartier:corvallis], $\pi$ is a subquotient of the principal series representation attached to any one of these characters, and Theorem 2.9 of [@MR0579172] then implies that this $W_d$-orbit of complex characters are the only characters for which $\pi$ occurs as a subquotient of the corresponding induced representations. Hence the $W_d$-orbit of characters, and hence the map ${\mathbb{Q}}[X_*(T_d)]^{W_d}\to{\mathbb{C}}$ attached to $\pi$, does not depend on the choice of $K$ in the case when $\pi$ has fixed vectors for more than one conjugacy class of hyperspecial maximal compact. In particular the image of ${\mathbb{Q}}[X_*(T_d)]^{W_d}$ in ${\mathbb{C}}$ is well-defined independent of the choice of $K$, and hence the notion of having Satake parameter defined over $E$ is also independent of the choice of $K$.

To clarify the meaning of having a Satake parameter defined over $E$, we now explain that in the case of $G={\operatorname{GL}}_n$ the notion becomes a more familiar one. If $\pi$ is an unramified representation of ${\operatorname{GL}}_n(k)$ and we choose our Borel to be the upper triangular matrices and our torus to be the diagonal matrices, then the formalism above associates to $\pi$ an algebra homomorphism ${\mathbb{C}}[X_*(T_d)]^{W_d}\to{\mathbb{C}}$. But here $T=T_d$ is the diagonal matrices, and $W_d$ is the usual Weyl group $W$ of $G$. The ring ${\mathbb{C}}[X_*(T_d)]={\mathbb{C}}[X_*(T)]$ is then just the ring of functions on the dual torus ${{\widehat{T}}}$, and hence an unramified $\pi$ gives rise to a $W_d$-orbit on ${{\widehat{T}}}$, which can be interpreted as a semisimple conjugacy class $S_{\pi}$ in ${\operatorname{GL}}_n({\mathbb{C}})$.

Let $G$ be the group ${\operatorname{GL}}_n/k$ and let $\pi$ be an unramified representation of $G(k)$. Let $E$ be a subfield of ${\mathbb{C}}$. Then the following are equivalent:

\(i) The Satake parameter of $\pi$ is defined over $E$.

\(ii) The conjugacy class $S_{\pi}$ is defined over $E$.

\(iii) The conjugacy class $S_{\pi}$ contains an element of ${\operatorname{GL}}_n(E)$.

The statement that the Satake parameter is defined over $E$ is precisely the statement that the induced map ${\mathbb{Q}}[X_*(T)]^W\to{\mathbb{C}}$ takes values in $E$, which is the statement that the characteristic polynomial of an element of $S_{\pi}$ has coefficients in $E$. Hence (i) and (ii) are equivalent. Furthermore, (ii) is equivalent to (iii) because given a monic polynomial with coefficients in $E$ it is easy to construct a semisimple matrix with this polynomial as its characteristic polynomial.

We leave to the reader the following elementary checks. Let $G_1$ and $G_2$ be unramified connected reductive groups over $k$, and let $\pi_1$, $\pi_2$ be unramified representations of $G_1(k)$, $G_2(k)$. Then $\pi:=\pi_1\otimes\pi_2$ is an unramified representation of $(G_1\times G_2)(k)$. One can check that $\pi$ is defined over $E$ iff $\pi_1$ and $\pi_2$ are defined over $E$, and that $\pi$ has Satake parameter defined over $E$ iff $\pi_1$ and $\pi_2$ do. Now say $k_1/k$ is a finite unramified extension of non-archimedean local fields, and $G/k_1$ is unramified connected reductive, and set $H={\operatorname{Res}}_{k_1/k}(G)$. Then $H$ is unramified over $k_1$, and if $\pi$ is a representation of $G(k_1)=H(k)$ then $\pi$ is unramified as a representation of $G(k_1)$ if and only if it is unramified as a representation of $H(k)$. Furthermore, the two notions of being defined over $E$ (one for $G$ and one for $H$) coincide. Moreover, the two notions of having Satake parameter defined over $E$—one for $G$ and one for $H$—also coincide; we give the argument for this as it is a little trickier. Let $T_d$ denote a maximal split torus in $G$ and let $T$ denote its centralizer. The Satake homomorphism for $G$ is an injective ring homomorphism from an unramified Hecke algebra for $G$ into ${\mathbb{C}}[T(k_1)/U]$, with $U$ a maximal compact subgroup of $T(k_1)$. The Satake homomorphism for $H$ is a map between the same two rings, and it can be easily checked from the construction in Theorem 4.1 of [@cartier:corvallis] that it is in fact the same map. The homomorphism for $G$ is an isomorphism onto the subring ${\mathbb{C}}[T(k_1)/U]^{W(G)}$ of ${\mathbb{C}}[T(k_1)/U]$, with $W(G)$ the relative Weyl group for the pair $(G,T_d)$. The homomorphism for $H$ is an isomorphism onto ${\mathbb{C}}[T(k_1)/U]^{W(H)}$, and hence ${\mathbb{C}}[T(k_1)/U]^{W(G)}={\mathbb{C}}[T(k_1)/U]^{W(H)}$. Now intersecting with ${\mathbb{Q}}[T(k_1)/U]$ we deduce that ${\mathbb{Q}}[T(k_1)/U]^{W(G)}={\mathbb{Q}}[T(k_1)/U]^{W(H)}$ and hence the two ${\mathbb{Q}}$-structures—one coming from $G$ and one from $H$—coincide.

We finish this section by noting that the notion of being defined over $E$ does not coincide with the notion of having Satake parameter defined over $E$, if $k={\mathbb{Q}}_p$ and $G={\operatorname{GL}}_2$. For example, if $\pi$ is the trivial 1-dimensional representation of ${\operatorname{GL}}_2({\mathbb{Q}}_p)$ then $\pi$ is defined over ${\mathbb{Q}}$ but the Satake parameter attached to $\pi$ has eigenvalues $\sqrt{p}$ and $1/\sqrt{p}$, so the Satake parameter is not defined over ${\mathbb{Q}}$ (consider traces) but only over ${\mathbb{Q}}(\sqrt{p})$. Similarly if $\pi$ is the character $|\det|^{1/2}$ of ${\operatorname{GL}}_2({\mathbb{Q}}_p)$ then $\pi_p$ is not defined over ${\mathbb{Q}}$ but the Satake parameter of $\pi$ has characteristic polynomial $(X-1)(X-p)$ and hence is defined over ${\mathbb{Q}}$. This issue of the canonical normalisation of the Satake isomorphism “introducing a square root of $p$” is essentially the reason that one sees two normalisations of local Langlands for ${\operatorname{GL}}_n$ in the literature—one used for local questions and one used for local-global compatibility. We are not attempting to unify these two notions—indeed, one of the motivations of this paper is to draw the distinction between the two notions and explain what each is good for.

Local Langlands at infinity. {#locallanglandsatinfinity}
----------------------------

We recall the statements and basic properties of the local Langlands correspondence for connected reductive groups over the real or complex field. In fact we work in slightly more generality, for the following reason: the groups that we will apply the definitions and results of this section to are groups defined over completions of number fields at infinite places, so the following subtlety arises: the completion of a number field at a real infinite place is canonically isomorphic to the reals, but the completion of a number field at a complex place is isomorphic to the complex numbers, but not canonically. Hence we actually work with groups defined over either ${\mathbb{R}}$ or a degree two extension of ${\mathbb{R}}$ which will be isomorphic to ${\mathbb{C}}$ but may or may not be canonically isomorphic to ${\mathbb{C}}$. Note however that all our representations will be on ${\mathbb{C}}$-vector spaces – there is no ambiguity in our coefficient fields.

Let $k$ be either the real numbers or an algebraic closure of the real numbers. Let $G$ be a connected reductive group over $k$. Fix an algebraic closure ${{\overline{k}}}$ of $k$ and let $T\subseteq B$ be a maximal torus and a Borel subgroup of $G_{{{\overline{k}}}}$. If $\pi$ is an irreducible admissible complex representation of $G(k)$ then Langlands associates to $\pi$, in a completely canonical way, a $\widehat{G}({\mathbb{C}})$-conjugacy class of admissible homomorphisms $r=r_{\pi}$ from the Weil group $W_k=W_{\overline{k}/k}$ of $k$ to ${{{}^{L}G}}({\mathbb{C}})$. For simplicity let us choose a maximal torus ${{\widehat{T}}}$ in $\widehat{G}_{{\mathbb{C}}}$; this is just for notational convenience. The group $W_k$ contains a finite index subgroup canonically isomorphic to ${{\overline{k}}}^\times$; let us assume that $r({{\overline{k}}}^\times)\subseteq{{\widehat{T}}}({\mathbb{C}})$ (which can always be arranged, possibly after conjugating $r$ by an element of $\widehat{G}({\mathbb{C}})$). If $\sigma$ and $\tau$ denote the two ${\mathbb{R}}$-isomorphisms ${{\overline{k}}}\to{\mathbb{C}}$ then one checks easily that for $z\in{{\overline{k}}}^\times$ we have $r(z)=\sigma(z)^{\lambda_\sigma}\tau(z)^{\lambda_\tau}$ for $\lambda_\sigma,\lambda_\tau\in X_{*}({{\widehat{T}}})\otimes{\mathbb{C}}$ such that $\lambda_\sigma-\lambda_\tau\in X_{*}({{\widehat{T}}})$. Note that because we may not want to fix a preferred choice of isomorphism ${{\overline{k}}}={\mathbb{C}}$, we might sometimes “have no preference between $\lambda_\sigma$ and $\lambda_\tau$”; this makes our presentation diverge slightly from other standard references, where typically one isomorphism is preferred.

Because ${{\widehat{T}}}({\mathbb{C}})$ is usually not its own normaliser in ${{\widehat{G}}}({\mathbb{C}})$, there is usually more than one way of conjugating $r({{\overline{k}}}^\times)$ into ${{\widehat{T}}}({\mathbb{C}})$, with the consequence that the pair $(\lambda_\sigma,\lambda_\tau)\in(X_*({{\widehat{T}}})\otimes{\mathbb{C}})^2$ is not a well-defined invariant of $r_{\pi}$; it is only well-defined up to the (diagonal) action of the Weyl group $W=W(G,T)$ on $(X_{*}({{\widehat{T}}})\otimes{\mathbb{C}})^2$. For notational convenience however we will continue to refer to the elements $\lambda_\sigma$ and $\lambda_\tau$ of $X_*({{\widehat{T}}})\otimes{\mathbb{C}}$ and will check that none of our important later definitions depend on the choice we have made. If $k={\mathbb{R}}$ then recall from the construction of the $L$-group that there is an action of $\Gamma_k$ on $X^*(T)\otimes{\mathbb{C}}$, and the non-trivial element of this group sends the $W$-orbit of $\lambda_\sigma$ to the $W$-orbit of $\lambda_\tau$. If $k$ is isomorphic to ${\mathbb{C}}$ then $\lambda_\sigma$ and $\lambda_\tau$ are in general unrelated, subject to their difference being in $X^*(T)$.

The Weyl group orbit of $(\lambda_\sigma,\lambda_\tau)$ in $(X^*(T)\otimes{\mathbb{C}})^2$ is naturally an invariant attached to the Weil group representation $r_{\pi}$ rather than to $\pi$ itself, but we can access a large part of it (however, not quite all of it) more intrinsically from $\pi$ using the Harish-Chandra isomorphism. We explain the story when $k={\mathbb{R}}$; the analogous questions in the case $k\cong{\mathbb{C}}$ can then be resolved by restriction of scalars.

So, for this paragraph only, we assume $k={\mathbb{R}}$. If we regard $G(k)$ as a real Lie group with Lie algebra ${\mathfrak{g}}$, then our maximal torus $T$ of $G_{{{\overline{k}}}}$ gives rise to a Cartan subalgebra ${\mathfrak{h}}$ of ${\mathfrak{g}}\otimes_{{\mathbb{R}}}{{\overline{k}}}$. If we now break the symmetry and use $\sigma$ to identify ${{\overline{k}}}$ with ${\mathbb{C}}$, we can interpret the Lie algebra of $T\times_{{{\overline{k}}},\sigma}{\mathbb{C}}$ as a complex Cartan subalgebra ${\mathfrak{h}}_\sigma^{{\mathbb{C}}}$ of the complex Lie algebra ${\mathfrak{g}}^{\mathbb{C}}:={\mathfrak{g}}\otimes_{{\mathbb{R}}}{\mathbb{C}}$. We have a canonical isomorphism ${\mathfrak{h}}_\sigma^{{\mathbb{C}}}=X_*(T)\otimes_{{\mathbb{Z}}}{\mathbb{C}}$ (this isomorphism implicitly also uses $\sigma$, because $X_*(T)={\operatorname{Hom}}({\operatorname{GL}}_1/{{\overline{k}}},T)$ was computed over ${{\overline{k}}}$). Now via the Harish-Chandra isomorphism (normalised in the usual way, so it is independent of the choice of Borel) one can interpret the infinitesimal character of $\pi$ as a $W$-orbit in ${\operatorname{Hom}}_{{\mathbb{C}}}({\mathfrak{h}}_\sigma^{{\mathbb{C}}},{\mathbb{C}})=X^*(T)\otimes_{\mathbb{Z}}{\mathbb{C}}=X_*({{\widehat{T}}})\otimes_{\mathbb{Z}}{\mathbb{C}}$. Furthermore, this $W$-orbit contains $\lambda_\sigma$ (this seems to be well-known; see Proposition 7.4 of [@MR1216197] for a sketch proof). On the other hand, we note that applying this to both $\sigma$ and $\tau$ gives us a pair of $W$-orbits in $X^*(T)\otimes{\mathbb{C}}$, whereas our original construction of $(\lambda_\sigma,\lambda_\tau)$ gives us the $W$-orbit of a pair, which is a slightly finer piece of information (which should not be surprising: there are reducible principal series representations of ${\operatorname{GL}}_2({\mathbb{R}})$ whose irreducible subquotients (one discrete series, one finite-dimensional) have the same infinitesimal character but rather different associated Weil representations).

We go back now to the general case $k={\mathbb{R}}$ or $k\cong{\mathbb{C}}$. We have a $W$-orbit $(\lambda_\sigma,\lambda_\tau)$ in $(X^*(T)\otimes_{{\mathbb{Z}}}{\mathbb{C}})^2$ attached to $\pi$. One obvious “algebraicity” criterion that one could impose on $\pi$ is that $\lambda_\sigma\in X_*({{\widehat{T}}})=X^*(T)$. Note that $\lambda_\sigma$ is only well-defined up to an element of the Weyl group, but the Weyl group of course preserves $X_*({{\widehat{T}}})=X^*(T)$, so the notion is well-defined. Also $\lambda_\sigma$ depends on the isomorphism $\sigma:\overline{k}\to{\mathbb{C}}$, but if we use $\tau$ instead then the notion remains unchanged, because $\lambda_\sigma-\lambda_\tau\in X_*({{\widehat{T}}})$ and hence $\lambda_\sigma\in X_*({{\widehat{T}}})$ if and only if $\lambda_\tau\in X_*({{\widehat{T}}})$. This notion of algebraicity is frequently used in the literature—one can give the connected component of the Weil group of $k$ the structure of the real points of an algebraic group $\mathcal{S}$ over ${\mathbb{R}}$ and one is asking here that the Weil representation associated to $\pi$ restricts to a map $\mathcal{S}({\mathbb{R}})\to{{{}^{L}G}}({\mathbb{C}})$ induced by a morphism of algebraic groups $\mathcal{S}_{{\mathbb{C}}}\to{{{}^{L}G}}_{{\mathbb{C}}}$ via the inclusion $\mathcal{S}({\mathbb{R}})\subset\mathcal{S}({\mathbb{C}})$.

We say that an admissible Weil group representation $r:W_k\to{}^LG({\mathbb{C}})$ is *$L$-algebraic* if $\lambda_\sigma\in X^*(T)$. We say that an irreducible representation $\pi$ of $G(k)$ is *$L$-algebraic* if the Weil group representation associated to it by Langlands is $L$-algebraic.

Note that the notion of $L$-algebraicity for a Weil group representation $r$ depends only on the restriction of $r$ to $\overline{k}^\times$, and the notion of $L$-algebraicity for a representation of $G(k)$ depends only on the infinitesimal character of this representation when $k={\mathbb{R}}$ (and we shall shortly see that the same is true when $k\cong{\mathbb{C}}$).

Later on we will need the following easy lemma. Say $k={\mathbb{R}}$ and $(\lambda_\sigma,\lambda_\tau)$ is a representative of the $W$-orbit on $X_*(\widehat{T})^2$ associated to an $L$-algebraic $\pi_{\infty}$. Regard $\lambda_\sigma$ and $\lambda_\tau$ as maps ${\mathbb{C}}^\times\to\widehat{T}$.

\[cxconj\] If $i$ is a square root of $-1$ in ${{\overline{k}}}$ and $j$ is the usual element of order 4 in $W_k$ then the element $\alpha_\infty
:=\lambda_{\sigma}(i)\lambda_\tau(i)r_{\pi_{\infty}}(j)\in{{{}^{L}G}}({\mathbb{C}})$ has order dividing 2, and its ${{\widehat{G}}}({\mathbb{C}})$-conjugacy class is well-defined independent of (a) the choice of order of $\sigma$ and $\tau$, (b) the choice of representative $(\lambda_\sigma,\lambda_\tau)$ of the $W$-orbit and (c) the choice of square root of $-1$ in ${{\overline{k}}}$.

Set $r:=r_{\pi}$. We have $\lambda_\sigma(z)r(j)=r(j)\lambda_\tau(z)$, and $\lambda_\sigma(z)$ commutes with $\lambda_\tau(z')$, and from this it is easy to check that $(\alpha_\infty)^2=1$ and that $\alpha_\infty$ is unchanged if we switch $\sigma$ and $\tau$. Changing representative of the $W$-orbit just amounts to conjugating $r$ by an element of ${{\widehat{G}}}({\mathbb{C}})$ and hence conjugating $\alpha_\infty$ by this same element. Finally one checks easily that conjugating $\alpha_{\infty}$ by $\lambda_{\sigma}(-1)$ gives us the analogous element with $i$ replaced by $-i$.

The notion of $L$-algebraicity will be very important to us later, however it is not hard to find automorphic representations that “appear algebraic in nature” but whose infinite components are not $L$-algebraic. For example one can check that if $E$ is an elliptic curve over ${\mathbb{Q}}$ and $\pi$ is the associated automorphic representation of ${\operatorname{PGL}}_2/{\mathbb{Q}}$, then the local component $\pi_\infty$, when considered as a representation of ${\operatorname{PGL}}_2({\mathbb{R}})$, is not $L$-algebraic: the element $\lambda_\sigma$ above is in $X_*({{\widehat{T}}})\otimes_{{\mathbb{Z}}}\frac{1}{2}{\mathbb{Z}}$ but not in $X_*({{\widehat{T}}})$. What has happened is that the canonical normalisation of the Harish-Chandra homomorphism involves (at some point in the definition) a twist by half the sum of the positive roots, and it is this twist that has taken us out of the lattice in the elliptic curve example.

This observation motivates a *second* notion of algebraicity—which it turns out is the one used in Clozel’s paper for the group ${\operatorname{GL}}_n$. Let us go back to the case of a general connected reductive $G$ over $k$, either the reals or a field isomorphic to the complexes. Recall that we have fixed $T\subseteq B\subseteq G_{{{\overline{k}}}}$ and hence we have the notion of a positive root in $X^*(T)$. Let $\delta\in X^*(T)\otimes{\mathbb{C}}$ denote half the sum of the positive roots. We observed above that the assertion “$\lambda_\sigma\in X^*(T)$” was independent of the choice of $B$ and of the isomorphism $\overline{k}\cong{\mathbb{C}}$. But the assertion “$\lambda_\sigma-\delta\in X^*(T)$” is also independent of such choices, for if $\lambda_\sigma-\delta\in X^*(T)$ and $w$ is in the Weyl group, then $w.\lambda_\sigma-\delta=w(\lambda_\sigma-\delta)-(\delta-w.\delta)\in X^*(T)$, and also $\lambda_\tau-\delta=(\lambda_\sigma-\delta)+(\lambda_\tau-\lambda_\sigma)\in X^*(T)$.

We say that the admissible Weil group representation $r:W_k\to{}^LG({\mathbb{C}})$ is *$C$-algebraic* if $\lambda_\sigma-\delta\in X^*(T)$. We say that the irreducible admissible representation $\pi$ of $G(k)$ is *$C$-algebraic* if the Weil group representation associated to $\pi$ via Langlands’ construction is $C$-algebraic.

Again, $C$-algebraicity for $r$ only depends on the restriction of $r$ to $\overline{k}^\times$, and $C$-algebraicity for $\pi$ only depends on its infinitesimal character when $k={\mathbb{R}}$ (and as we are about to see, the same is true for $k\cong{\mathbb{C}}$).

Here are some elementary remarks about these definitions. If $\delta\in X^*(T)$ then the notions of $L$-algebraic and $C$-algebraic coincide. If $G_1$ and $G_2$ are connected reductive over $k$, if $r_i$ ($i=1,2$) are admissible representations $r_i:W_k\to{}^LG_i({\mathbb{C}})$, then there is an obvious notion of a product $r_1\times r_2:W_k\to{}^L(G_1\times G_2)({\mathbb{C}})$ and $r_1\times r_2$ is $L$-algebraic (resp. $C$-algebraic) iff $r_1$ and $r_2$ are. One can furthermore check that if $k$ denotes an algebraic closure of the reals and $G/k$ is connected reductive, and if $H={\operatorname{Res}}_{k/{\mathbb{R}}}(G)$, and if $\pi$ is an irreducible admissible representation of $G(k)=H({\mathbb{R}})$, then $\pi$ is $L$-algebraic (resp. $C$-algebraic) when considered as a representation of $G(k)$ if and only if it is $L$-algebraic (resp. $C$-algebraic) when considered as a representation of $H({\mathbb{R}})$. This assertion comes from a careful reading of sections 4 and 5 of [@MR546608]. Indeed, if $T$ is a maximal torus of $G/k$ then ${\operatorname{Res}}_{k/{\mathbb{R}}}(T)$ is a maximal torus of $H/{\mathbb{R}}$, and if $\lambda_\sigma,\lambda_{\tau}\in X^*(T)\otimes{\mathbb{C}}$ are the parameters attached to a representation of $G(k)$, then $\lambda_\sigma\oplus\lambda_\tau$ and $\lambda_\tau\oplus\lambda_\sigma\in (X^*(T)\oplus X^*(T))\otimes{\mathbb{C}}$ are the parameters attached to the corresponding representation of $H({\mathbb{R}})$ (identifying $\widehat{H}({\mathbb{C}})$ with $\widehat{G}({\mathbb{C}})^2$), and if $\delta$ is half the sum of the positive roots for $G$ then $\delta\oplus\delta$ is half the sum of the positive roots for $H$. As a consequence, we see that both $L$-algebraicity and $C$-algebraicity of a representation $\pi$ of $G(k)$ are conditions that only depend on the infinitesimal character of the representation of the underlying real reductive group.

Let us again attempt to illustrate the difference between the two notions of algebraicity by considering the trivial 1-dimensional representation of ${\operatorname{GL}}_2({\mathbb{R}})$. The Local Langlands correspondence associates to this the 2-dimensional representation $|.|^{1/2}\oplus|.|^{-1/2}$ of the Weil group of the reals. If we choose the diagonal torus in ${\operatorname{GL}}_2$ and identify its character group with ${\mathbb{Z}}^2$ in the obvious way, then we see that $\lambda_\sigma=\lambda_\tau=\delta=(\frac{1}{2},-\frac{1}{2})$. In particular, $\lambda_\sigma$ is not in $X^*(T)$, but $\lambda_\sigma-\delta$ is, meaning that this representation is $C$-algebraic but not $L$-algebraic. Another example would be the character $|\det|^{1/2}$ of ${\operatorname{GL}}_2({\mathbb{R}})$; this is associated to the representation $|.|\oplus1$ of the Weil group, and so $\lambda_\sigma=\lambda_\tau=(1,0)$ (or $(0,1)$, allowing for the Weyl group action) and on this occasion $\lambda_\sigma$ is in $X^*(T)$ but $\lambda_\sigma-\delta$ is not, hence the representation is $L$-algebraic but not $C$-algebraic. Finally let us consider the discrete series representation of ${\operatorname{GL}}_2({\mathbb{R}})$ with trivial central character associated to a weight 2 modular form. The associated representation of the Weil group sends an element $z$ of $\overline{{\mathbb{R}}}^\times$ to a matrix with eigenvalues $\sqrt{z.\overline{z}}/z$ and $\sqrt{z.\overline{z}}/\overline{z}$, the square root being the positive square root. We see that the set $\{\lambda_\sigma,\lambda_\tau\}$ equals the set $\{(\frac{1}{2},-\frac{1}{2}),(-\frac{1}{2},\frac{1}{2})\}$ (with ambiguities due to both the Weyl group action and the two choices of identification of $\overline{{\mathbb{R}}}$ with ${\mathbb{C}}$) and neither $\lambda_\sigma$ nor $\lambda_\tau$ are in $X^*(T)$, but both of $\lambda_\sigma-\delta$ and $\lambda_\tau-\delta$ are, so again the representation is $C$-algebraic but not $L$-algebraic.

The Hodge–Tate cocharacter.
---------------------------

In this subsection, let $k$ be a finite extension of the $p$-adic numbers ${\mathbb{Q}}_p$. Let $H$ be a (not necessarily connected) reductive algebraic group over a fixed algebraic closure ${\overline{{\mathbb{Q}}}_p}$ of ${\mathbb{Q}}_p$. Note that we do not fix an embedding $k\to{\overline{{\mathbb{Q}}}_p}$. Let ${{\overline{k}}}$ denote an algebraic closure of $k$ and let $\rho:{\operatorname{Gal}}({{\overline{k}}}/k)\to H({\overline{{\mathbb{Q}}}_p})$ denote a continuous group homomorphism. We say that $\rho$ is crystalline/de Rham/Hodge–Tate if for some (and hence any) faithful representation $H\to{\operatorname{GL}}_N$ over ${\overline{{\mathbb{Q}}}_p}$, the resulting $N$-dimensional Galois representation is crystalline/de Rham/Hodge–Tate. Let $C$ denote the completion of ${{\overline{k}}}$. Then for any injection of fields $i:{\overline{{\mathbb{Q}}}_p}\to C$ there is an associated Hodge–Tate cocharacter $\mu_i:({\operatorname{GL}}_1)_C\to H_C$ (where the base extension from $H$ to $H_C$ is via $i$). We know of no precise reference for the construction of $\mu_i$ in this generality; if $H$ were defined over ${\mathbb{Q}}_p$ and $\rho$ took values in $H({\mathbb{Q}}_p)$ then $\mu_i$ is constructed in [@MR563476]. The general case can be reduced to this case in the following way: $H$ descends to group $H_0$ defined over a finite extension $E$ of ${\mathbb{Q}}_p$, and a standard Baire category theorem argument shows that $\rho$ takes values in $H_0(E')$ for some finite extension $E'$ of $E$. Now let $H_1={\operatorname{Res}}_{E'/{\mathbb{Q}}_p}H_0$, so $\rho$ takes values in $H_1({\mathbb{Q}}_p)$, and Serre’s construction of $\mu$ then yields $\mu_i$ as above which can be checked to be well-defined independent of the choice of $H_0$ and so on via an elementary calculation (do the case $H={\operatorname{GL}}_n$ first).

Note that there is a choice of sign that one has to make when defining $\mu_i$; we follow Serre so, for example, the cyclotomic character gives rise to the identity map ${\operatorname{GL}}_1\to{\operatorname{GL}}_1$.

Now the conjugacy class of $\mu_i$ arises as the base extension (via $i$) of a cocharacter $\nu_i:({\operatorname{GL}}_1)_{{\overline{{\mathbb{Q}}}_p}}\to H$ over ${\overline{{\mathbb{Q}}}_p}$. Now any $i:{\overline{{\mathbb{Q}}}_p}\to C$ is an injection whose image contains $k$ and hence induces an injection $j=$“$i^{-1}$”$:k\to{\overline{{\mathbb{Q}}}_p}$. Another careful calculation, which again we omit, shows that the conjugacy class of $\nu_i$ depends only on $j$, so we may set $\nu_j:=\nu_i$, a conjugacy class of maps ${\operatorname{GL}}_1\to H$ over ${\overline{{\mathbb{Q}}}_p}$.

In applications, $H$ will be related to an $L$-group as follows. If $G$ is connected and reductive over $k$, and $\rho:{\operatorname{Gal}}({{\overline{k}}}/k)\to{}^LG({\overline{{\mathbb{Q}}}_p})$ is an admissible representation, then, because $G$ splits over a finite Galois extension $k'$ of $k$, $\rho$ will descend to a representation $\rho:{\operatorname{Gal}}({{\overline{k}}}/k)\to{{\widehat{G}}}({\overline{{\mathbb{Q}}}_p})\rtimes{\operatorname{Gal}}(k'/k)$. The target group can be made into the ${\overline{{\mathbb{Q}}}_p}$-points of an algebraic group $H$ over ${\overline{{\mathbb{Q}}}_p}$, and if the associated representation is Hodge–Tate then the preceding arguments associate a conjugacy class of maps $\nu_j:{\operatorname{GL}}_1\to H$ to each $j:k\to{\overline{{\mathbb{Q}}}_p}$. If ${{\widehat{T}}}$ is a torus in ${{\widehat{G}}}$ as usual, then $\nu_j$ gives rise to an element of $X_*({{\widehat{T}}})/W$, with $W$ the Weyl group of $G_{{{\overline{k}}}}$.

Global definitions, and the first conjectures. {#sec:main defns, first conjecture}
==============================================

Algebraicity and arithmeticity.
-------------------------------

Let $G$ be a connected reductive group defined over a number field $F$. Fix an algebraic closure $\overline{F}$ of $F$ and form the $L$-group ${{{}^{L}G}}={{\widehat{G}}}\rtimes{\operatorname{Gal}}(\overline{F}/F)$ as in the previous section. For each place $v$ of $F$, fix an algebraic closure $\overline{F_{v}}$ of $F_{v}$, and an embedding $\overline{F}{\hookrightarrow}\overline{F_{v}}$. Nothing we do depends in any degree of seriousness on these choices—changing them will just change things “by an inner automorphism”.

Let $\pi$ be an automorphic representation of $G$. Then we may write $\pi=\otimes'_{v}\pi_{v}$, a restricted tensor product, where $v$ runs over all places (finite and infinite) of $F$. Recall that in the previous section we defined notions of $L$-algebraic and $C$-algebraic for certain representations of real and complex groups. We now globalise these definitions.

\[defn:L-algebraic\] We say that $\pi$ is *$L$-algebraic* if $\pi_v$ is $L$-algebraic for all infinite places $v$ of $F$.

\[defn: C-algebraic\]We say that $\pi$ is *$C$-algebraic* if $\pi_v$ is $C$-algebraic for all infinite places $v$ of $F$.

Note that, for $G={\operatorname{GL}}_n$, the notion of $C$-algebraic coincides (in the isobaric case) with Clozel’s notion of algebraic used in [@MR1044819], although for ${\operatorname{GL}}_2$ this choice of normalisation goes back to Hecke. Note also that restriction of scalars preserves both notions: if $K/F$ is a finite extension of number fields and $\pi$ is an automorphic representation of $G/K$ then $\pi$ is $L$-algebraic (resp. $C$-algebraic) when considered as a representation of $G({\mathbb{A}}_K)$ if and only if $\pi$ is $L$-algebraic (resp. $C$-algebraic) when considered as a representation of ${\operatorname{Res}}_{K/F}(G)({\mathbb{A}}_F)$. Indeed, this is a local statement and we indicated the proof in §\[locallanglandsatinfinity\].

As examples of these notions, we observe that for Hecke characters of number fields, our notions of $L$-algebraic and $C$-algebraic both coincide with the classical notion of being algebraic or of type $A_0$. For ${\operatorname{GL}}_2$ the notions diverge: the trivial 1-dimensional representation of ${\operatorname{GL}}_2({\mathbb{A}}_{{\mathbb{Q}}})$ is $C$-algebraic but not $L$-algebraic, whereas the representation $|\det|^{1/2}$ of ${\operatorname{GL}}_2({\mathbb{A}}_{{\mathbb{Q}}})$ is $L$-algebraic but not $C$-algebraic. For ${\operatorname{GL}}_3/{\mathbb{Q}}$ the notions of $L$-algebraic and $C$-algebraic coincide again (because half the sum of the positive roots in the weight lattice); indeed they coincide for ${\operatorname{GL}}_n$ over a number field if $n$ is odd, and differ by a non-trivial twist if $n$ is even.

The above definitions depend only on the behaviour of $\pi$ at infinite places. The ones below depend only on $\pi$ at the finite places; we remind the reader that the crucial local definitions are given in Definition \[definedoverEdef\].

\[defn:L-arithmetic\] We say that $\pi$ is *$L$-arithmetic* if there is a finite subset $S$ of the places of $F$, containing all infinite places and all places where $\pi$ is ramified, and a number field $E\subset{\mathbb{C}}$, such that for each $v\notin S$, the Satake parameter of $\pi_v$ is defined over $E$.

\[defn:C-arithmetic\] We say that $\pi$ is *$C$-arithmetic* if there is a finite subset $S$ of the places of $F$, containing all infinite places and all places where $\pi$ is ramified, and a number field $E\subset{\mathbb{C}}$, such that $\pi_v$ is defined over $E$ for all $v\notin S$.

Again we note that for $K/F$ a finite extension and $\pi$ an automorphic representation of $G/K$, $\pi$ is $L$-arithmetic (resp. $C$-arithmetic) if and only if $\pi$ considered as an automorphic representation of ${\operatorname{Res}}_{K/F}(G)$ is.

Let us consider some examples. An automorphic representation $\pi$ of ${\operatorname{GL}}_n/F$ will be $L$-arithmetic if there is a number field such that all but finitely many of the Satake parameters attached to $\pi$ have characteristic polynomials with coefficients in that number field. So, for example, the trivial 1-dimensional representation of ${\operatorname{GL}}_2({\mathbb{A}}_{{\mathbb{Q}}})$ would not be $L$-arithmetic, because the trace of the Satake parameter at a prime $p$ is $p^{1/2}+p^{-1/2}=\frac{p+1}{\sqrt{p}}$, and any subfield of ${\mathbb{C}}$ containing $(p+1)/\sqrt{p}$ for infinitely many primes $p$ would also contain $\sqrt{p}$ for infinitely many primes $p$ and hence cannot be a number field. However it would be $C$-arithmetic, because for all primes $p$, $\pi_p$ is the base extension to ${\mathbb{C}}$ of a representation of ${\operatorname{GL}}_2({\mathbb{A}}_{{\mathbb{Q}}})$ on a vector space over ${\mathbb{Q}}$. Similarly, the representation $|\det|^{1/2}$ of ${\operatorname{GL}}_2({\mathbb{A}}_{{\mathbb{Q}}})$ is $L$-arithmetic, because all Satake parameters are defined over ${\mathbb{Q}}$. However this representation is not $C$-arithmetic: each individual $\pi_p$ is defined over a number field but there is no number field over which infinitely many of the $\pi_p$ are defined, again because such a number field would have to contain the square root of infinitely many primes.

Now let $\pi$ be an arbitrary automorphic representation for an arbitrary connected reductive group $G$ over a number field.

\[conj:LarithmeticLalgebraic\]$\pi$ is $L$-arithmetic if and only if it is $L$-algebraic.

\[conj:CarithmeticCalgebraic\]$\pi$ is $C$-arithmetic if and only if it is $C$-algebraic.

These conjectures are seemingly completely out of reach. The general ideas behind them (although perhaps not the precise definitions we have given) seem to be part of the folklore nowadays, although it is worth pointing out that as far as we know the first person to raise such conjectures explicitly was Clozel in [@MR1044819] in the case $G={\operatorname{GL}}_n$.

For the group ${\operatorname{GL}}_1$ over a number field both of the conjectures are true; indeed in this case both conjectures say the same thing, the “algebraic implies arithmetic” direction being relatively standard, and the “arithmetic implies algebraic” direction being a non-trivial result in transcendence theory proved by Waldschmidt in [@MR608530]. We prove both conjectures for a general torus in section \[section:tori\], for the most part by reducing to the case of ${\operatorname{GL}}_1$. On the other hand, neither direction of either conjecture is known for the group ${\operatorname{GL}}_2/{\mathbb{Q}}$, although in this case the conjectures turn out to be equivalent and there are some partial results in both directions. In particular, Sarnak has shown ([@MR1975448]) that for a Maass form with coefficients in ${\mathbb{Z}}$, the associated $L$-arithmetic automorphic representation is necessarily $L$-algebraic, and this result was generalised to the case of coefficients in certain quadratic fields in [@MR1962012]. Furthermore, if $\pi$ is a cuspidal automorphic representation for ${\operatorname{GL}}_2/{\mathbb{Q}}$ which is discrete series at infinity, then we show in §\[gl2ex\] that both conjectures hold for $\pi$. However if $\pi$ is principal series at infinity then both directions of both conjectures are in general open.

If one makes conjectures \[conj:LarithmeticLalgebraic\] and \[conj:CarithmeticCalgebraic\] for all groups $G$ simultaneously, then they are in fact equivalent, by the results of section \[section:twisting\] below; for groups with a twisting element (see section \[section:twisting\] for this terminology) this follows from Propositions \[prop:twistinglalgtocalg\] and \[prop:twistinglarithtocarith\], and the general case reduces to this one by passage to the covering groups of Section \[section:twisting\]—see Proposition \[conjs\_are\_equiv\].

Galois representations attached to automorphic representations.
---------------------------------------------------------------

We now fix a prime number $p$ and turn to the notion of associating $p$-adic Galois representations to automorphic representations. Because automorphic representations are objects defined over ${\mathbb{C}}$ and $p$-adic Galois representations are defined over $p$-adic fields, we need a method of passing from one field to the other. We have already fixed an injection ${\overline{{\mathbb{Q}}}}\to{\mathbb{C}}$; now we fix once and for all a choice of algebraic closure ${\overline{{\mathbb{Q}}}_p}$ of ${{\mathbb{Q}}_p}$ and, reluctantly, an isomorphism $\iota:{\mathbb{C}}\to{\overline{{\mathbb{Q}}}_p}$ of “coefficient fields”. Recall that our $L$-groups are defined over our fixed algebraic closure ${\overline{{\mathbb{Q}}}}$ of ${\mathbb{Q}}$; our fixed inclusion ${\overline{{\mathbb{Q}}}}\to{\mathbb{C}}$ then induces, via $\iota$, an embedding ${\overline{{\mathbb{Q}}}}\to{\overline{{\mathbb{Q}}}_p}$. Ideally we should only be fixing an embedding ${\overline{{\mathbb{Q}}}}\to{\overline{{\mathbb{Q}}}_p}$, and all our constructions should only depend on the restriction of $\iota$ to ${\overline{{\mathbb{Q}}}}$, but of course we cannot prove this. Our choice of $\iota$ does affect matters, in the usual way: for example, if $f=\sum a_nq^n$ is one of the holomorphic cuspidal newforms for ${\operatorname{GL}}_2/{\mathbb{Q}}$ of level 1 and weight 24 then 13 splits into two prime ideals in the coefficient field of $f$, and $a_{13}$ is in one of these prime ideals but not the other; hence $f$ will be ordinary with respect to some choices of $\iota$ but not for others. For notational simplicity we drop $\iota$ from our notation but our conjectural association of $p$-adic Galois representations attached to automorphic representations will depend very much on this choice.

We now state two conjectures on the existence of Galois representations attached to $L$-algebraic automorphic representations, the second stronger than the first (in that in specifies a precise set of places at which the Galois representation is unramified/crystalline). The first version is the more useful one when formulating conjectures about functoriality. Note that both conjectures depend implicitly on our choice of isomorphism $\iota:{\mathbb{C}}\to{\overline{{\mathbb{Q}}}_p}$ which we use to translate complex parameters to $p$-adic ones.

\[conj:existence of Galois representations\] If $\pi$ is $L$-algebraic, then there is a finite subset $S$ of the places of $F$, containing all infinite places, all places dividing $p$, and all places where $\pi$ is ramified, and a continuous Galois representation $\rho_\pi=\rho_{\pi,\iota}:{\operatorname{Gal}}(\overline{F}/F)\to{{{}^{L}G}}({\overline{{\mathbb{Q}}}_p})$, which satisfies

-   The composite of $\rho_\pi$ and the natural projection ${{{}^{L}G}}({\overline{{\mathbb{Q}}}_p})\to {\operatorname{Gal}}(\overline{F}/F)$ is the identity map.

-   If $v\notin S$, then $\rho_\pi|_{W_{F_{v}}}$ is ${{\widehat{G}}}({\overline{{\mathbb{Q}}}_p})$-conjugate to $\iota(r_{\pi_{v}})$.

-   If $v$ is a finite place dividing $p$ then $\rho_\pi|_{{\operatorname{Gal}}(\overline{F_v}/F_v)}$ is de Rham, and the Hodge–Tate cocharacter of this representation can be explicitly read off from $\pi$ via the recipe in Remark \[rem: recipe for HT cocharacter\].

-   If $v$ is a real place, let $c_{v}\in G_{F}$ denote a complex conjugation at $v$. Then $\rho_{\pi,\iota}(c_{v})$ is ${{\widehat{G}}}({\overline{{\mathbb{Q}}}_p})$-conjugate to the element $\iota(\alpha_v)=\iota(\lambda_{\sigma_v}(i)\lambda_{\tau_v}(i)r_{\pi_v}(j))$ of Lemma \[cxconj\].

\[conj:existence of Galois representations - strong version with crystalline etc\] Assume that $\pi$ is $L$-algebraic. Let $S$ be the set of the places of $F$ consisting of all infinite places, all places dividing $p$, and all places where $\pi$ is ramified. Then there is a continuous Galois representation $\rho_{\pi,\iota}:{\operatorname{Gal}}(\overline{F}/F)\to{{{}^{L}G}}({\overline{{\mathbb{Q}}}_p})$, which satisfies

-   The composite of $\rho_{\pi,\iota}$ and the natural projection ${{{}^{L}G}}({\overline{{\mathbb{Q}}}_p})\to {\operatorname{Gal}}(\overline{F}/F)$ is the identity map.

-   If $v\notin S$, then $\rho_{\pi,\iota}|_{W_{F_{v}}}$ is ${{\widehat{G}}}({\overline{{\mathbb{Q}}}_p})$-conjugate to $\iota(r_{\pi_{v}})$.

-   If $v$ is a finite place dividing $p$ then $\rho_{\pi,\iota}|_{{\operatorname{Gal}}(\overline{F_v}/F_v)}$ is de Rham, and the Hodge–Tate cocharacter associated to this representation is given by the recipe in Remark \[rem: recipe for HT cocharacter\]. Furthermore, if $\pi_{v}$ is unramified then $\rho_{\pi,\iota}|_{{\operatorname{Gal}}(\overline{F_v}/F_v)}$ is crystalline.

-   If $v$ is a real place, let $c_{v}\in G_{F}$ denote a complex conjugation at $v$. Then $\rho_{\pi,\iota}(c_{v})$ is ${{\widehat{G}}}({\overline{{\mathbb{Q}}}_p})$-conjugate to the element $\iota(\alpha_v)=\iota(\lambda_{\sigma_v}(i)\lambda_{\tau_v}(i)r_{\pi_v}(j)))$ of Lemma \[cxconj\].

\[rem: recipe for HT cocharacter\] The recipe for the Hodge–Tate cocharacter in the conjectures above is as follows. Say $j:F\to{\overline{{\mathbb{Q}}}}$ is an embedding of fields. We have fixed ${\overline{{\mathbb{Q}}}}\to{\mathbb{C}}$ and (via $\iota$) ${\overline{{\mathbb{Q}}}}\to{\overline{{\mathbb{Q}}}_p}$, so $j$ induces $F_v\to{\overline{{\mathbb{Q}}}_p}$ for some place $v|p$ and $F_w\to{\mathbb{C}}$ for some place $w|\infty$. The inclusion $F_w\to{\mathbb{C}}$ enables us to identify ${\mathbb{C}}$ as an algebraic closure of $F_w$ and now attached to $\pi_w$ and the identity $\sigma:{\mathbb{C}}\to{\mathbb{C}}$ we have constructed an element $\lambda_\sigma\in X^*(T)/W$. Our conjecture is that this element $\lambda_\sigma$ is the Hodge–Tate cocharacter associated to the embedding $F_v\to{\overline{{\mathbb{Q}}}_p}$.

The representation $\rho_{\pi,\iota}$ is not necessarily unique up to ${{\widehat{G}}}({\overline{{\mathbb{Q}}}_p})$-conjugation. One rather artificial reason for this is that if $\pi$ is a non-isobaric $L$-algebraic automorphic representation of ${\operatorname{GL}}_2/{\mathbb{Q}}$ such that $\pi_v$ is 1-dimensional for almost all $v$, then there are often many non-semisimple 2-dimensional Galois representations that one can associate to $\pi$ (as well as a semisimple one). But there are other more subtle reasons too. For example if $G$ is a torus over $F$ then the admissible Galois representations into the $L$-group of $G$ are parametrised by $H^1(F,\widehat{G})$ (with the Galois group acting on $\widehat{G}$ via the action used to form the $L$-group), and there may be non-zero elements of this group which restrict to zero in $H^1(F_v,\widehat{G})$ for all places $v$ of $F$. If this happens then there is more than one Galois representation that can be associated to the trivial 1-dimensional automorphic representation of $G$. We are grateful to Hendrik Lenstra and Bart de Smit for showing us the following explicit example of a rank 3 torus over ${\mathbb{Q}}$ where this phenomenon occurs. If $\Gamma$ is the group $({\mathbb{Z}}/2{\mathbb{Z}})^2$ and $Q$ is the quaternion group of order 8 then $Q$ gives a non-zero element of $H^2(\Gamma,\pm1)$ whose image in $H^2(\Gamma,{\mathbb{C}}^\times)$ is non-zero but whose restriction to $H^2(D,{\mathbb{C}}^\times)$ is zero for any cyclic subgroup $D$ of $\Gamma$ (consider the corresponding extension of $\Gamma$ by ${\mathbb{C}}^\times$ to see these facts). We now “dimension shift”. The rank four torus ${\mathbb{Z}}[\Gamma]\otimes_{{\mathbb{Z}}}{\mathbb{C}}^\times$ has no cohomology in degree greater than zero and has ${\mathbb{C}}^\times$ as a subgroup, so the quotient group $T$ is a complex torus with an action of $\Gamma$ and with the property that there’s an element of $H^1(\Gamma,T)$ whose restriction to any cyclic subgroup is zero. Finally, $\Gamma$ is isomorphic to ${\operatorname{Gal}}({\mathbb{Q}}(\sqrt{13},\sqrt{17})/{\mathbb{Q}})$ (a non-cyclic group all of whose decomposition groups are cyclic) and $T$ with its Galois action can be realised as the complex points of the dual group of a torus over ${\mathbb{Q}}$, giving us our example: there is more than one Galois representation associated to the trivial 1-dimensional representation of this torus.

\[swapping geometric and arithmetic frobenius via an involution\]We have normalised local class field theory so that geometric Frobenius elements correspond to uniformisers, and defined our Weil groups accordingly. Had we normalised things the other way (associating arithmetic Frobenius to uniformisers) then the natural thing to do when formulating our unramified local Langlands dictionary would have been to use an arithmetic Frobenius as a generator of our Galois group. In particular our unramified local Langlands dictionary at good finite places would be changed by a non-trivial involution. Had we made this choice initially, conjectures \[conj:existence of Galois representations\] and \[conj:existence of Galois representations - strong version with crystalline etc\] need to be modified: one needs to change the Hodge–Tate cocharacter $\mu$ to $-\mu$. However these new conjectures are equivalent to the conjectures as stated, because the required Galois representation predicted by the new conjecture may be obtained directly from $\rho_{\pi}$ by applying the Chevalley involution of ${{{}^{L}G}}$ (the Chevalley involution of ${{\widehat{G}}}$ extends to ${{{}^{L}G}}$ and induces the identity map on the Galois group), or indirectly as $\rho_{\tilde{\pi}}$ where $\tilde{\pi}$ is the contragredient of $\pi$. We omit the formal proof that these constructions do the job—in fact, although the arguments at the finite places are not hard, we confess that we were not able to find a precise published reference for the statements at infinity that we need. The point is that we need to know how the local Langlands correspondence for real and complex reductive groups behaves under taking contragredients. The involution on the $\pi$ side induced by contragredient corresponds on the Galois side to the involution on the local Weil representations induced by an involution of the Weil group of the reals/complexes sending $z\in{{\overline{k}}}^\times\cong{\mathbb{C}}^\times$ to $z^{-1}$. It also corresponds to the involution on the Weil representations induced by the Chevalley involution. Both these facts seem to be well-known to the experts but the proof seems not to be in the literature. Jeff Adams and David Vogan inform us that they are working on a manuscript called “The Contragredient” in which these issues will be addressed.

Example: the groups ${\operatorname{GL}}_2/{\mathbb{Q}}$ and ${\operatorname{PGL}}_2/{\mathbb{Q}}$ {#gl2ex}
--------------------------------------------------------------------------------------------------

The following example illustrates the differences between the $C$- and $L$- notions in two situations, one where things can be “fixed by twisting” and one where they cannot. The proofs of the assertions made here only involve standard unravelling of definitions and we shall omit them.

Let ${\mathbb{A}}$ denote the adeles of ${\mathbb{Q}}$. For $N$ a positive integer, let $K_0(N)$ denote the subgroup of ${\operatorname{GL}}_2(\widehat{{\mathbb{Z}}})$ consisting of matrices which are upper triangular modulo $N$. If ${\operatorname{GL}}_2^+({\mathbb{R}})$ denotes the matrices in ${\operatorname{GL}}_2({\mathbb{R}})$ with positive determinant then ${\operatorname{GL}}_2({\mathbb{A}})={\operatorname{GL}}_2({\mathbb{Q}})K_0(N){\operatorname{GL}}_2^+({\mathbb{R}})$. Now let $f$ be a modular form of weight $k\geq2$ which is a normalised cuspidal eigenform for the subgroup $\Gamma_0(N)$ of ${\operatorname{SL}}_2({\mathbb{Z}})$, and let $s$ denote a complex number. We think of $f$ as a function on the upper half plane. Associated to $f$ and $s$ we define a function $\phi_s$ on ${\operatorname{GL}}_2({\mathbb{A}})$ by writing an element of ${\operatorname{GL}}_2({\mathbb{A}})$ as $\gamma\kappa u$ with $\gamma\in{\operatorname{GL}}_2({\mathbb{Q}})$, $\kappa\in K_0(N)$ and $u=\smallmat{a}{b}{c}{d}\in{\operatorname{GL}}_2^+({\mathbb{R}})$, and defining $\phi_s(\gamma\kappa u)=(\det u)^{k-1+s}(ci+d)^{-k}f((ai+b)/(ci+d))$. This function is well-defined and is a cuspidal automorphic form, which generates an automorphic representation $\pi_s$ of ${\operatorname{GL}}_2({\mathbb{A}})$. The element $s$ is just a twisting factor; if $s$ is a generic complex number then $\pi_s$ will not be algebraic or arithmetic for either of the “$C$” or “$L$” possibilities above.

First we consider the arithmetic side of the story. For $p$ a prime not dividing $N$, let $a_p$ is the coefficient of $q^p$ in the $q$-expansion of $f$. It is well-known that the subfield of ${\mathbb{C}}$ generated by the $a_p$ is a number field $E$. An elementary but long explicit calculation shows the following. If $\pi_{s,p}$ denotes the local component of $\pi_s$ at $p$, then $\pi_{s,p}$ has a non-zero invariant vector under the group ${\operatorname{GL}}_2({\mathbb{Z}}_p)$ and the action of the Hecke operators $T_p$ and $S_p$ on this 1-dimensional space are via the complex numbers $p^{2-k-s}a_p$ and $p^{2-k-2s}$. The Satake parameter associated to $\pi_{s,p}$ is the semisimple conjugacy class of ${\operatorname{GL}}_2({\mathbb{C}})$ consisting of the semisimple elements with characteristic polynomial $X^2-a_pp^{3/2-k-s}X+p^{2-k-2s}$. Hence $\pi_s$ is $L$-arithmetic if $s\in \frac{1}{2}+{\mathbb{Z}}$. In fact one can go further. By the six exponentials theorem of transcendental number theory one sees easily that a complex number $c$ with the property that $p^c$ is algebraic for at least three prime numbers $p$ must be rational. Hence if $\pi_s$ is $L$-arithmetic then $s$ is rational and (because a number field is only ramified at finitely many primes and hence cannot contain the $t$th root of infinitely many prime numbers for any $t>1$) one can furthermore deduce that $2s\in{\mathbb{Z}}$. Next one observes that $a_p$ must be non-zero for infinitely many primes $p\nmid N$ (because one can apply the Cebotarev density theorem to the mod $\ell>2$ Galois representation associated to $f$ and to the identity matrix) and deduce (again because a number field cannot contain the square root of infinitely many primes) that $\pi_s$ is $L$-arithmetic iff $s\in\frac{1}{2}+{\mathbb{Z}}$. Now by Proposition \[prop:twistinglarithtocarith\] (whose proof uses nothing that we haven’t already established) we see that $\pi_s$ is $C$-arithmetic iff $s\in{\mathbb{Z}}$.

We now consider the algebraic side of things. If $\pi_{s,\infty}$ denotes the local component of $\pi_s$ at infinity and we choose the Cartan subalgebra ${\mathfrak{h}}^{{\mathbb{C}}}$ of ${\operatorname{\mathfrak{gl}}}_2({\mathbb{C}})$ spanned by $H:=\smallmat{1}{0}{0}{-1}$ and $Z:=\smallmat{1}{0}{0}{1}$ then the infinitesimal character of $\pi_{s,\infty}$ (thought of as a Weil group orbit in ${\operatorname{Hom}}_{{\mathbb{C}}}({\mathfrak{h}}^{{\mathbb{C}}},{\mathbb{C}})$) sends $H$ to $\pm(k-1)$ and $Z$ to $2s+k-2$. The characters of the torus in ${\operatorname{GL}}_2({\mathbb{R}})$ give rise to the lattice $X^*(T)$ in ${\operatorname{Hom}}({\mathfrak{h}}^{{\mathbb{C}}},{\mathbb{C}})$ consisting of linear maps that send $H$ and $Z$ to integers of the same parity. Hence $\pi_s$ is $C$-algebraic iff $s\in{\mathbb{Z}}$ and $L$-algebraic iff $s\in \frac{1}{2}+{\mathbb{Z}}$. In particular $\pi_s$ is $L$-algebraic iff it is $L$-arithmetic, and $\pi_s$ is $C$-algebraic iff it is $C$-arithmetic.

We now play the same game for Maass forms. If $f$ (a real analytic function on the upper half plane) is a cuspidal Maass form of level $\Gamma_0(N)$ which is an eigenform for the Hecke operators, and $s\in{\mathbb{C}}$ then one can define a function $\phi_s$ on ${\operatorname{GL}}_2({\mathbb{A}})$ by writing an element of ${\operatorname{GL}}_2({\mathbb{A}})$ as $\gamma\kappa u$ as above, writing $u=\smallmat{a}{b}{c}{d}$, and defining $\phi_s(\gamma\kappa u)=\det(u)^s f((ai+b)/(ci+d))$. If we now assume that $f$ is the Maass form associated by Langlands and Tunnell to a Galois representation $\rho:{{\operatorname{Gal}}({\overline{{\mathbb{Q}}}}/{\mathbb{Q}})}\to{\operatorname{SL}}_2({\mathbb{C}})$ with solvable image, and if $p\nmid N$ is prime and $a_p={\operatorname{tr}}(\rho(\operatorname{Frob}_p))$, then the $a_p$ generate a number field $E$ (an abelian extension of ${\mathbb{Q}}$ in this case) and a similar explicit calculation, which again we omit, shows that $\pi_s$ is $L$-arithmetic iff $\pi_s$ is $L$-algebraic iff $s\in{\mathbb{Z}}$, and that $\pi_s$ is $C$-arithmetic iff $\pi_s$ is $C$-algebraic iff $s\in\frac{1}{2}+{\mathbb{Z}}$.

Note in particular that the answer in the Maass form case is different to the holomorphic case in the sense that $s\in{\mathbb{Z}}$ corresponded to the $C$-side in the holomorphic case and the $L$-side in the Maass form case.

An automorphic representation for ${\operatorname{PGL}}_2/{\mathbb{Q}}$ is just an automorphic representation for ${\operatorname{GL}}_2/{\mathbb{Q}}$ with trivial central character. One checks that the $\pi_s$ corresponding to the holomorphic modular form has trivial central character iff $s=1-\frac{k}{2}$ (this is because the form was assumed to have trivial Dirichlet character) and, again because the form has trivial character, $k$ must be even so in particular the $\pi_s$ which descends to ${\operatorname{PGL}}_2/{\mathbb{Q}}$ is $C$-algebraic and $C$-arithmetic. However, the $\pi_s$ corresponding to the Maass form with trivial character has trivial central character iff $s=0$, which is $L$-algebraic and $L$-arithmetic. Hence, when applied to the group ${\operatorname{PGL}}_2/{\mathbb{Q}}$, our conjecture above says that there should be a Galois representation to ${\operatorname{SL}}_2({\overline{{\mathbb{Q}}}_{\ell}})$ associated to the Maass form but it says nothing about the holomorphic form. However, the holomorphic form is clearly algebraic in some sense and indeed there is a Galois representation associated to the holomorphic form—namely the Tate module of the elliptic curve. Note however that the determinant of the Tate module of an elliptic curve is the cyclotomic character, which is not the square of any 1-dimensional Galois representation (complex conjugation would have to map to an element of order 4) and hence no twist of the Tate module of an elliptic curve can take values in ${\operatorname{SL}}_2({\overline{{\mathbb{Q}}}_{\ell}})$. This explains why we have thus far restricted to $L$-algebraic representations for our conjecture attaching Galois representations to automorphic representations.

Why $C$-algebraic?
------------------

Our conjecture above only attempts to associate Galois representations to $L$-algebraic automorphic representations. So why consider $C$-algebraic representations at all? For ${\operatorname{GL}}_n$ the issue is only one of twisting: $\pi$ is $L$-algebraic iff $\pi.|\det(.)|^{(n-1)/2}$ is $C$-algebraic. Furthermore, for groups such as ${\operatorname{SL}}_2$ in which half the sum of the positive roots is in $X^*(T)$, the notions of $L$-algebraic and $C$-algebraic coincide. On the other hand, as the previous example of ${\operatorname{PGL}}_2/{\mathbb{Q}}$ attempted to illustrate, one does not always have this luxury of being able to pass easily between $L$-algebraic and $C$-algebraic representations for a given group $G$. Furthermore a lot of naturally occurring representations are $C$-algebraic: for example any cohomological automorphic representation will always be $C$-algebraic (see Lemma \[lem:cohomogicalimpliesCalgebraic\] below) and, as the case of ${\operatorname{PGL}}_2/{\mathbb{Q}}$ illustrated, there may be natural candidates for Galois representations associated to these automorphic representations, but they may not take values in the $L$-group of $G$! In fact, essentially all known examples of Galois representations attached to automorphic representations ultimately come from the cohomology of Shimura varieties (although in some cases the constructions also use congruence arguments), and this cohomology is naturally decomposed in terms of cohomological automorphic representations. Much of the rest of this paper is devoted to examining the relationship between $C$-algebraic and $L$-algebraic in greater detail, and defining a “$C$-group”, which should conjecturally receive the Galois representations attached to $C$-algebraic automorphic representations.

The case of tori. {#section:tori}
=================

In this section we prove conjectures \[conj:LarithmeticLalgebraic\],  \[conj:CarithmeticCalgebraic\], \[conj:existence of Galois representations\] and \[conj:existence of Galois representations - strong version with crystalline etc\] when $G$ is a torus over a number field $F$. That we can do this should not be considered surprising. Indeed, if $G={\operatorname{GL}}_1$ then the results have been known for almost 30 years, and the general case can be reduced to the ${\operatorname{GL}}_1$ case via base change and a $p$-adic version of results of Langlands on the local and global Langlands correspondence for tori. Unfortunately we have not been able to find a reference which does what we want so we include some of the details here.

First note that if $G$ is a torus then half the sum of the positive roots is zero, so the Satake isomorphism preserves ${\mathbb{Q}}$-structures and hence the notions of $C$-arithmetic and $L$-arithmetic coincide and we can use the phrase “arithmetic” to denote either of these notions. Furthermore, again because half the sum of the positive roots is zero, the notions of $C$-algebraic and $L$-algebraic also coincide, and we can use the phrase “algebraic” to mean either of these two notions (and in the case $G={\operatorname{GL}}_1/F$ this coincides with the classical definition, and with Weil’s notion of being of type $(A_0)$).

Recall that to give a torus $G/F$ is to give its character group, which (after choosing an $\overline{F}$) is a finite free ${\mathbb{Z}}$-module equipped with a continuous action of ${\operatorname{Gal}}(\overline{F}/F)$. Let $K\subset\overline{F}$ denote a finite Galois extension of $F$ which splits $G$; then this action of ${\operatorname{Gal}}(\overline{F}/F)$ factors through ${\operatorname{Gal}}(K/F)$. An automorphic representation of $G/F$ is just a continuous group homomorphism $G(F)\backslash G({\mathbb{A}}_F)\to{\mathbb{C}}^\times$.

Let $BC$ denote the usual base change map from automorphic representations of $G/F$ to automorphic representations of $G/K$, induced by the norm map $N:G({\mathbb{A}}_K)\to G({\mathbb{A}}_F)$.

\[algBC\] If $\pi$ is an automorphic representation of $G/F$ then $\pi$ is algebraic if and only if $BC(\pi)$ is.

This is a local statement, and if we translate it over to a statement about representations of Weil groups then it says that if $k$ is an algebraic closure of ${\mathbb{R}}$ then $r:W_{{\mathbb{R}}}\to{}^LG({\mathbb{C}})$ is algebraic iff its restriction to $W_k$ is, which is clear because our definition of algebraicity of $r$ only depended on the restriction of $r$ to $W_k$.

Now let $T$ denote a torus over a local field $k$, and assume $T$ splits over an unramified extension of $k$. The topological group $T(k)$ has a unique maximal compact subgroup $U$. Let $\chi$ be a continuous group homomorphism $T(k)\to{\mathbb{C}}^\times$ with $U$ in its kernel. Note that $U$ is hyperspecial and hence $\chi$ is unramified.

For $E$ a subfield of ${\mathbb{C}}$, the following are equivalent:

\(i) $\chi$ is defined over $E$.

\(ii) The Satake parameter of $\chi$ is defined over $E$.

\(iii) The image of $\chi$ is contained in $E^\times$.

The Satake isomorphism in this situation is simply the identity isomorphism ${\mathbb{C}}[T(k)/U]={\mathbb{C}}[T(k)/U]$, which induces the identity isomorphism ${\mathbb{Q}}[T(k)/U]={\mathbb{Q}}[T(k)/U]$, so (i) and (ii) are equivalent. The equivalence of (i) and (iii) follows from the statement that $\chi:T(k)/U\to{\mathbb{C}}^\times$ is $E^\times$-valued if and only if the induced ring homomorphism ${\mathbb{Q}}[T(k)/U]\to{\mathbb{C}}$ is $E$-valued.

If $k_1/k$ is a finite extension of local fields and if $T/k$ is a torus then we also use the notation $\operatorname{BC}$ to denote the map ${\operatorname{Hom}}(T(k),{\mathbb{C}}^\times)\to{\operatorname{Hom}}(T(k_1),{\mathbb{C}}^\times)$ induced by the norm map $N:T(k_1)\to T(k)$. Now suppose again that $T$ is an unramified torus over $k$ and $\chi:T(k)\to{\mathbb{C}}^\times$ is an unramified character.

If $\chi$ is defined over $E$ and if $k_1/k$ is a finite extension, then $\operatorname{BC}(\chi)$ is defined over $E$.

The image of $\operatorname{BC}(\chi)$ is contained in the image of $\chi$.

We now go back to the global situation. Let $\pi$ denote an automorphic representation of $G/F$, with $G$ a torus, and let $\operatorname{BC}(\pi)$ denote its base change to $G/K$, where $K$ is a finite Galois extension of $F$ which splits $G$.

\[cor: base change of arithmetic is arrithmetic\] If $\pi$ is arithmetic then $\operatorname{BC}(\pi)$ is arithmetic.

Immediate from the previous corollary.

\[thm: alg and arith the same for split tori\] If $G$ is a split torus over a number field, then the notions of arithmetic and algebraic coincide.

The fact that algebraic implies arithmetic is standard; the other implication is Théorème 5.1 of [@MR693328] (which uses a non-trivial result in transcendence theory).

\[ar\_implies\_al\] If $G$ is a torus over a number field $F$ and $\pi$ is an automorphic representation of $G$, and $\pi$ is arithmetic, then $\pi$ is algebraic.

If $\pi$ is arithmetic then its base change to $K$ (a splitting field for $G$) is arithmetic (by Corollary \[cor: base change of arithmetic is arrithmetic\]), and hence algebraic by the previous theorem. Hence $\pi$ is algebraic by Lemma \[algBC\].

To show that algebraic automorphic representations for $G$ are arithmetic, we give a re-interpretation of what it means for an automorphic representation of a torus to be algebraic; we are grateful to Ambrus Pál for pointing out to us that such a re-interpretation should exist. First some notation. Let $F_\infty:=F\otimes_{\mathbb{Q}}{\mathbb{R}}$. Let $\Sigma$ denote the set of embeddings $\sigma:F{\hookrightarrow}{\overline{{\mathbb{Q}}}}$. Recall that because we have fixed an embedding ${\overline{{\mathbb{Q}}}}\to{\mathbb{C}}$, each $\sigma\in\Sigma$ can be regarded as an embedding $F\to{\mathbb{C}}$, and hence induces maps $F_\infty\to{\mathbb{C}}$ and $\sigma_\infty:G(F_\infty)\to G_{\sigma}({\mathbb{C}})$, where $G_\sigma$ is the group over ${\overline{{\mathbb{Q}}}}$ induced from $G$ via base extension via $\sigma$.

\[prop: characterising algebraic representations of tori in terms of their infinite part\] The representation $\pi$ is algebraic if and only if for each $\sigma\in\Sigma$ there is an algebraic character $\lambda_\sigma:G_\sigma\to{\operatorname{GL}}_1/{\overline{{\mathbb{Q}}}}$ such that $\pi$ agrees with $\prod_{\sigma\in\Sigma}\lambda_\sigma\circ\sigma_\infty$ on $G(F_\infty)^0$ (the identity component of the Lie group $G(F_\infty)$).

This statement is local at infinity, and can be checked by “brute force”, explicitly working out what the local Langlands correspondence for tori over the reals and complexes is and noting that it is true in every case.

\[cor: valued in a number field at infinity\] If $\pi$ is an algebraic automorphic representation of $G/F$, and if we write $\pi=\pi_f\times\pi_\infty$, with $\pi_\infty:G(F_\infty)\to{\mathbb{C}}^\times$, then $\pi_\infty(G(F))$ is contained within a number field.

By the preceding proposition we know that $\pi_\infty|_{G(F)}$ is the product of a character of order at most 2 by a continuous group homomorphism $G(F)\to{\mathbb{C}}^\times$ which is the product of maps $\phi_\sigma:G(F)\stackrel{\sigma}{\to}G_\sigma({\mathbb{C}})\to{\mathbb{C}}^*$ given by composing an algebraic character with an embedding $\sigma:F{\hookrightarrow}{\mathbb{C}}$. Hence it suffices to prove that $\phi(G(F))$ is contained within a number field for such a $\phi$. However both $T$ and $\mathbb{G}_m$ are defined over $F$, so the character descends to some number field $L$, which we may assume splits $T$ and contains the images of all embeddings $F{\hookrightarrow}{\mathbb{C}}$. But then $\phi(F)\subset\phi(L)\subset L^\times$, as required.

The notions of arithmetic and algebraic coincide for automorphic representations of tori over number fields.

Let $G/F$ be a torus over a number field, and let $\pi$ be an automorphic representation of $G$. By Corollary \[ar\_implies\_al\] we know that if $\pi$ is arithmetic then $\pi$ is algebraic, so we only have to prove the converse. We will make repeated use of the trivial observation (already used above) that if $X$ is a finite index subgroup of an abelian group $Y$, then the image of a character of $Y$ is contained in a number field if and only if the image of its restriction to $X$ is contained in a (possibly smaller) number field.

Let $\pi=\otimes_v\pi_v$ be algebraic. If $K$ is a finite Galois extension of $F$ splitting $G$ then $BC_{K/F}(\pi)$ is algebraic by Lemma \[algBC\] and hence arithmetic by Theorem \[thm: alg and arith the same for split tori\]. Hence there is a number field $E$ and some finite set $S_K$ of places of $K$, containing all the infinite places, such that for $w\not\in S_K$, $\operatorname{BC}(\pi)_w$ is defined over $E$, and hence $\operatorname{BC}(\pi)_w$ has image in $E^\times$. By increasing $S_K$ if necessary, we can assume that $S_K$ is precisely the set of places of $K$ lying above a finite set $S$ of places of $F$.

Let $N:G({\mathbb{A}}_K)\to G({\mathbb{A}}_F)$ denote the norm map. Standard results from global class field theory (see for example p.244 of [@MR1610871] for the crucial argument) imply that $G(F)N(G({\mathbb{A}}_K))$ is a closed and open subgroup of finite index in $G({\mathbb{A}}_F)$. Hence if ${\mathbb{A}}_F^S$ denotes the restricted product of the completions of $F$ at places not in $S$, and ${\mathbb{A}}_K^{S_K}$ denotes the analogous product for $K$, then $G(F)N(G({\mathbb{A}}_K^{S_K}))$ has finite index in $G({\mathbb{A}}_F^S)$. Let $\pi^S:G({\mathbb{A}}_F^S)\to{\mathbb{C}}^\times$ denote the restriction of $\pi$ to $G({\mathbb{A}}_F^S)$. Then $\pi=\pi^S.\prod_{v\in S,v\nmid\infty}\pi_v.\pi_\infty$. We know that $\pi$ is trivial on $G(F)$ (by definition) and that $\pi_{\infty}$ sends $G(F)$ to a number field (by Corollary \[cor: valued in a number field at infinity\]). We also know that $\pi_v(G(F_v))$ (and thus $\pi_v(G(F))$ is contained within a number field for each finite place $v\in S$ (because $BC_{K/F}(\pi)$ is arithmetic, we know that $\pi_v(N(K_w))$ is contained in a number field, where $w|v$ is a place of $K$, and $N(K_w)$ has finite index in $F_v$). Hence $\pi^S(G(F))$ is contained within a number field. Then since $G(F)N(G({\mathbb{A}}_K^{S_K}))$ has finite index in $G({\mathbb{A}}_F^S)$, we deduce that $\pi(G({\mathbb{A}}_F^S))$ is contained within a number field, and hence $\pi$ is arithmetic, as required.

What remains now is to prove Conjecture \[conj:existence of Galois representations - strong version with crystalline etc\] (which of course implies Conjecture \[conj:existence of Galois representations\]). This follows straightforwardly from Langlands’ proof of the Langlands correspondence for tori, and the usual method for associating Galois representations to algebraic representations of ${{\mathbb{G}_m}}$. Take $\pi$, $G$, $F$ and $K$ as above, and again let $\Sigma$ denote the field embeddings $F\to{\overline{{\mathbb{Q}}}}$, noting now that because of our fixed embedding ${\overline{{\mathbb{Q}}}}\subset{\overline{{\mathbb{Q}}}_p}$ we can also interpret each element of $\Sigma$ as a field embedding $F\to{\overline{{\mathbb{Q}}}_p}$.

The first step is to associate a “$p$-adic automorphic representation”—a continuous group homomorphism $\pi_p:G(F)\backslash G({\mathbb{A}}_F)\to{\overline{{\mathbb{Q}}}_p}$—to $\pi$, which we do by mimicking the standard construction in the split case. For $\sigma\in\Sigma$ recall that $\sigma_\infty$ is the induced map $G(F_\infty)\to G_\sigma({\mathbb{C}})$. By Proposition \[prop: characterising algebraic representations of tori in terms of their infinite part\] there are characters $\lambda_\sigma\in X^*(G_\sigma)$ (regarded here as maps $G_\sigma({\mathbb{C}})\to{\mathbb{C}}^\times$) for each $\sigma\in \Sigma$ with the property that $$\pi|_{G(F_\infty)^0}=\prod_{\sigma\in
    \Sigma}\lambda_\sigma\circ \sigma_\infty.$$ The right hand side of the above equation can be regarded as a character of $G(F_\infty)$ and hence as a character $\lambda_\infty$ of $G({\mathbb{A}}_F)$, trivial at the finite places. Define $\pi^{\operatorname{alg}}=\pi/\lambda_\infty$, a continuous group homomorphism $G({\mathbb{A}}_F)\to{\mathbb{C}}^\times$ trivial on $G(F_\infty)^0$ but typically non-trivial on $G(F)$. However $\pi^{\operatorname{alg}}(G(F))$ is contained within a number field by Corollary \[cor: valued in a number field at infinity\], and it is now easy to check that the image of $\pi^{\operatorname{alg}}$ is contained within ${\overline{{\mathbb{Q}}}}$. We now regard $\pi^{\operatorname{alg}}$ as taking values in ${\overline{{\mathbb{Q}}}_p}$ via our fixed embedding ${\overline{{\mathbb{Q}}}}\subset{\overline{{\mathbb{Q}}}_p}$.

Now, let $F_p=F\otimes_{\mathbb{Q}}{\mathbb{Q}}_p$, and note that every $\sigma:F\to{\overline{{\mathbb{Q}}}_p}$ in $\Sigma$ induces a map $F_p\to{\overline{{\mathbb{Q}}}_p}$ and hence a map $\sigma_p:G(F_p)\to G_\sigma({\overline{{\mathbb{Q}}}_p})$. Each $\lambda_\sigma$ can be regarded as a map $G_\sigma({\overline{{\mathbb{Q}}}_p})\to{\overline{{\mathbb{Q}}}_p}^\times$, and hence the product $$\lambda_p:=\prod_\sigma\lambda_\sigma\circ\sigma_p$$ is a continuous group homomorphism $G(F_p)\to{\overline{{\mathbb{Q}}}_p}^\times$ and can also be regarded as a continuous group homomorphism $G({\mathbb{A}}_F)\to{\overline{{\mathbb{Q}}}_p}^\times$, trivial at all places other than those above $p$. The crucial point, which is easy to check, is that the product $\pi_p:=\pi^{\operatorname{alg}}\lambda_p$ is a continuous group homomorphism $G({\mathbb{A}}_F)\to{\overline{{\mathbb{Q}}}_p}^\times$ which is trivial on $G(F)$.

Now, in Theorem 2(b) of [@MR1610871], Langlands proves that there is a natural surjection with finite kernel from the set of $\widehat{G}({\mathbb{C}})$-conjugacy classes of continuous homomorphisms from the Weil group $W_F$ to ${}^LG({\mathbb{C}})$ to the set of continuous homomorphisms from $G(F)\backslash G({\mathbb{A}}_F)$ to ${\mathbb{C}}^\times$ (that is, the set of automorphic representations of $G/F$), compatible with the local Langlands correspondence at every place. His proof starts by establishing a natural surjection from the analogous sets with the continuity conditions removed, and then checking that continuity on one side is equivalent to continuity on the other. However, ${\overline{{\mathbb{Q}}}_p}\cong{\mathbb{C}}$ as abstract fields, and one can check that the calculations on pages 243ff make no use of any particular features of the topology of ${\mathbb{C}}^\times$, and hence apply equally well to continuous homomorphisms $W_F\to{}^LG({\overline{{\mathbb{Q}}}_p})$ and continuous characters $G(F)\backslash
G({\mathbb{A}}_F)\to{\overline{{\mathbb{Q}}}_p}^\times$. Thus $\pi_p$ gives a continuous homomorphism (or perhaps several, in which case we simply choose one) $$r_\pi:W_F\to{}^LG({\overline{{\mathbb{Q}}}_p}),$$ and by construction we see that for each finite place $v\nmid p$ at which $\pi_v=(\pi_p)_v$ is unramified, $r_\pi|_{W_{F_v}}$ is $\widehat{G}({\overline{{\mathbb{Q}}}_p})$-conjugate to $r_{\pi_v}$. Again, by construction the composite of $r_{\pi}$ and the natural projection ${}^LG({\overline{{\mathbb{Q}}}_p})\to{\operatorname{Gal}}(\overline{F}/F)$ is just the natural surjection $W_F\to{\operatorname{Gal}}(\overline{F}/F)$.

\[lem: Galois rep of torus really does facto through the Galois group\]The representation $r_\pi$ of $W_F$ factors through the natural surjection $W_F\to{\operatorname{Gal}}(\overline{F}/F)$.

The kernel of the natural surjection $W_F\to{\operatorname{Gal}}(\overline{F}/F)$ is the connected component of the identity in $W_F$; but $r_{\pi}$ must vanish on this, because ${}^LG({\overline{{\mathbb{Q}}}_p})$ is totally disconnected.

We let $\rho_\pi$ denote the representation of ${\operatorname{Gal}}(\overline{F}/F)$ determined by $r_\pi$.

The representation $\rho_\pi$ satisfies all the properties required in the statement of Conjecture \[conj:existence of Galois representations - strong version with crystalline etc\].

We need to check the claimed properties at places dividing $p$ and at real places. For the former, we must firstly check that $\rho_\pi$ is de Rham with the correct Hodge–Tate weights. However, it is sufficient to check this after restriction to any finite extension of $F$, and in particular we may choose an extension which splits $G$. The evident compatibility of the construction of $\rho_\pi$ with base change then easily reduces us to the split case, which is standard. Similarly, the property of being crystalline may be checked over any unramified extension, and if $\pi_v$ is unramified then by definition $G$ splits over an unramified extension of $F_v$, and we may again reduce to the split case.

Suppose now that $v$ is a real place of $F$. Recall that the natural surjection $W_{F_v}\to{\operatorname{Gal}}(\overline{F_v}/F_v)$ sends $j$ to complex conjugation, so we need to determine $r_\pi|_{W_{F_v}}(j)$. Let $\sigma_v:F{\hookrightarrow}{\mathbb{C}}$ denote the embedding corresponding to $v$ (it is unique because $v$ is a real place) and let $\lambda_v$ denote the character $\lambda_{\sigma_v}$ of $G_{\sigma_v}$. Let $\chi_v$ denote the map $G(F_v)\to{\mathbb{C}}^\times$ induced by $\sigma_v$ and $\lambda_v$. Then $(\pi_p)_v=\pi_v/\chi_v$. Applying local Langlands we see that the cohomology class in $H^1(W_{F_v},\widehat{G})$ associated to $(\pi_p)_v$ is the difference of those associated to $\pi_v$ and $\chi_v$ (because local Langlands is an isomorphism of groups in this abelian setting). Furthermore, one can check (either by the construction of the local Langlands correspondence for real tori in section 9.4 of [@MR546608], or an explicit case-by-case check) that the cohomology class attached to $\chi_v$ is represented by a cocycle which sends $j\in W_{F_v}$ to the element $\lambda_v(-1)$ of $\widehat{G}$ (where we now view $\lambda_v$ as a cocharacter ${\mathbb{C}}^\times\to\widehat{G}$). Our assertion about $r_\pi|_{W_{F_v}}(j)$ now follows immediately from an explicit calculation on cocycles.

Twisting and Gross’ $\eta$. {#section:twisting}
===========================

Algebraicity and arithmeticity under central extensions.
--------------------------------------------------------

\[defn:gmextension\] We will call a central extension $$1\to {{\mathbb{G}_m}}\to G'\to G \to 1$$ of algebraic groups over $F$ a *${{\mathbb{G}_m}}$-extension* of $G$.

Note that one can (after making compatible choices of maximal compact subgroups at infinity, and using the fact that $H^1(F,{{\mathbb{G}_m}})=0$ by Hilbert 90) identify automorphic representations on $G$ with automorphic representations on $G'$ which are trivial on ${{\mathbb{G}_m}}$. We abuse notation slightly and speak about the ${{\mathbb{G}_m}}$-extension $G'\to G$ interchangeably with the ${{\mathbb{G}_m}}$-extension $1\to {{\mathbb{G}_m}}\to G'\to G\to 1$.

We now consider how our various notions of arithmeticity and algebraicity behave under pulling back via a ${{\mathbb{G}_m}}$-extension. So say $G'\to G$ is a ${{\mathbb{G}_m}}$-extension. The induced map $G'({\mathbb{A}}_F)\to G({\mathbb{A}}_F)$ is a surjection, and if $\pi$ is an automorphic representation of $G({\mathbb{A}}_F)$ then the induced representation $\pi'$ of $G'({\mathbb{A}}_F)$ is also an automorphic representation. Furthermore, we have the following compatibilities between $\pi$ and $\pi'$.

\[z-extension\_preserves\_stuff\] $\pi$ is $L$-algebraic (resp. $C$-algebraic, resp. $L$-arithmetic, resp. $C$-arithmetic) if and only if $\pi'$ is.

Let us start with the $L$- and $C$-algebraicity assertions. These assertions follow from purely local assertions at infinity: one needs to check that if $k$ is an archimedean local field (a completion of $F$ in the application), and if $\pi$ is a representation of $G(k)$, with $\pi'$ the induced representation of $G'(k)$, then $\pi$ is $L$-algebraic (resp. $C$-algebraic) if and only if $\pi'$ is. These statements can easily be checked using infinitesimal characters. Indeed a straightforward calculation (using an explicit description of the Harish-Chandra isomorphism) shows that if $T'$ is a maximal torus in $G'$ over the complexes (where we base change $G'$ to the complexes via the map $k\to{\mathbb{C}}$ induced from $\sigma:{{\overline{k}}}\to{\mathbb{C}}$), and if the image of $T'$ in $G$ is $T$ (a maximal torus of $G$), and if $\lambda_\sigma$ and $\lambda'_\sigma$ are the elements of $X^*(T)\otimes_{\mathbb{Z}}{\mathbb{C}}$ and $X^*(T')\otimes_{\mathbb{Z}}{\mathbb{C}}$ corresponding to $\pi$ and $\pi'$ as in § \[locallanglandsatinfinity\], then the natural map $X^*(T)\otimes_{\mathbb{Z}}{\mathbb{C}}\to X^*(T')\otimes_{\mathbb{Z}}{\mathbb{C}}$ sends $\lambda_\sigma$ to $\lambda'_\sigma$ and both results follow easily.

It remains to prove the arithmeticity statements. Again these statements follow from purely local assertions. Let $k$ denote a non-archimedean local field (a non-archimedean completion of $F$ at which everything is unramified in the application) and let $\pi$ be an irreducible smooth representation of $G(k)$, with $\pi'$ the corresponding representation of $G'(k)$. Assume $\pi'$ and $\pi$ (and hence $G'$ and $G$) are unramified. The $C$-arithmeticity assertion of the Proposition follows from the assertion that $\pi$ is defined over a subfield $E$ of ${\mathbb{C}}$ iff $\pi'$ is; this is however immediate from Lemma \[definedoverE\]. The $L$-arithmeticity statement follows from the assertion that the Satake parameter of $\pi$ is defined over $E$ iff the Satake parameter of $\pi'$ is defined over $E$, which is then what remains to be proved. So let $T'$ be the centralizer of a maximal split torus in $G'$ over $k$, and let $T$ be its image in $G$. Then $T'(k)\to T(k)$ is a surjection by Hilbert 90. As noted in the proof of Lemma \[Larith\_well\_defined\], Theorem 2.9 of [@MR0579172] shows that the $W_d$-orbit of complex characters of $T(k)$ determined by the Satake isomorphism applied to $\pi$ are precisely the characters for which $\pi$ occurs as a subquotient of the corresponding induced representations, and the analogous assertion also holds for $\pi'$. It follows that the orbit of characters of $T'(k)$ corresponding to $\pi'$ is precisely the orbit induced from the characters of $T(k)$ via the surjection $T'(k)\to T(k)$. This implies that the Satake parameter of $\pi'$ (thought of as a character of ${\mathbb{Q}}[X_*(T'_d)]^{W_d}$) is induced from the Satake parameter of $\pi$ via a map between the corresponding unramified Hecke algebras which is in fact the obvious map, and our assertion now follows easily.

Twisting elements.
------------------

We now explain the relationship between $L$-algebraic and $C$-algebraic automorphic representations for a connected reductive group $G$ over a number field $F$. In particular, we examine the general question of when $L$-algebraic representations can be twisted to $C$-algebraic representations, following an idea of Gross (see [@MR1729443]). We show that in general it is always possible to replace $G$ by a ${{\mathbb{G}_m}}$-extension for which this twisting is possible, and in this way one can formulate general conjectures about the association of Galois representations to $C$-algebraic (and in particular cohomological by Lemma \[lem:cohomogicalimpliesCalgebraic\] below) automorphic representations. As usual, let $X^*$ denote the character group in the based root datum for $G$, with its Galois action. Let us stress that we always equip $X^*$ with the Galois action coming from the construction used to define the $L$-group (which might well not be the same as the “usual” Galois action on $X^*(T)$ induced by the Galois action on $T(\overline{F})$, if $T$ is a maximal torus in $G$ which happens to be defined over $F$).

\[twistingelement\] We say that an element $\theta\in X^{*}$ is a *twisting element* if $\theta$ is ${\operatorname{Gal}}(\overline{F}/F)$-stable and $\langle\theta,\alpha^{\vee}\rangle=1\in{\mathbb{Z}}$ for all simple coroots $\alpha^{\vee}$.

For some groups $G$ there are no twisting elements; for example, if $G={\operatorname{PGL}}_{2}$. On the other hand, if $G$ is semi-simple and simply-connected then half the sum of the positive roots is a twisting element. Another case where twisting elements exist are groups $G$ that are split and have simply-connected derived subgroup, for example $G={\operatorname{GL}}_n$, although in this case half the sum of the positive roots might not be in $X^*$.

If $Q$ is the quotient of $G$ by its derived subgroup, then $X^*(Q)\subseteq X^*$ and the arguments in section II.1.18 of [@MR2015057] show that $X^*(Q)=(X^*)^{W}$, where $W$ is the Weyl group of $G_{\overline{F}}$. Furthermore, $X^*(Q)$ is ${\operatorname{Gal}}(\overline{F}/F)$-stable, and the induced action of ${\operatorname{Gal}}(\overline{F}/F)$ on $X^*(Q)$ is precisely the usual action, induced by the Galois action on $Q(\overline{F})$.

Now let $\delta$ denote half the sum of the positive roots of $G$. If $\delta\in X^*$ then $\delta$ is a twisting element; but in general we only have $\delta\in\frac{1}{2}X^*$. Let $S'$ denote the maximal split torus quotient of $G$, so that $$X^{*}(S')=(X^{*})^{W,{\operatorname{Gal}}(\overline{F}/F)}.$$ Then if $\theta$ is a twisting element, we see that $$\theta-\delta\in\frac{1}{2} X^{*}(S').$$ Thus we have a character $|\cdot |^{\theta-\delta}$ of $G(F)\backslash G({\mathbb{A}}_{F})$, defined as the composite $$\xymatrix{G({\mathbb{A}}_{F})\ar[r]&
  S'({\mathbb{A}}_{F})\ar[r]^{2(\theta-\delta)}&
  {\mathbb{A}}_{F}^{\times}\ar[r]^{|\cdot|}&{\mathbb{R}}_{>0}\ar[r]^{x\mapsto\sqrt{x}}&{\mathbb{R}}_{>0}}$$ The main motivation behind the notion of twisting elements is the following two propositions.

\[prop:twistinglalgtocalg\]If $\theta$ is a twisting element, then an automorphic representation $\pi$ is $C$-algebraic if and only if $\pi\otimes|\cdot |^{\theta-\delta}$ is $L$-algebraic.

This is a consequence of condition 10.3(2) of [@MR546608], although formally one has to “reverse-engineer” the construction of (using the notation of §10.2 of loc. cit.) $\alpha\mapsto\pi_\alpha$. We sketch the argument using the notation there. The question is local at each infinite place, so let $k$ denote a completion of $F$ at an infinite place. Let $\widetilde{G}$ be the central extension of $G$ described in §10.2 of [@MR546608]. The character $|\cdot|^{\theta-\delta}$ induces a character of $G(k)$ and of $\widetilde{G}(k)$. If $Q$ denotes the maximal torus quotient of $\widetilde{G}$ then this character can be extended to a character of $Q(k)$. The associated element of $H^1(W_k,\widehat{Q})$ is the image of an element $\alpha\in H^1(W_k,Z_L)$, with $Z_L$ the centre of $\widehat{G}$, and one checks easily that the character $\pi_\alpha$ of $G(k)$ in §10.2 of [@MR546608] coincides with $|\cdot|^{\theta-\delta}$. If $T_0$ is a maximal torus in $\widetilde{G}$, and $T$ is its image in $G$, then the restriction of $\alpha$ to $\overline{k}^\times$ is a $Z_L$-valued character which, when considered as a $\widehat{T}_0$-valued character of $\overline{k}^\times$, has image in $\widehat{T}$ and which (via an easy diagram chase) coincides with the restriction to $\overline{k}^\times$ of the cohomology class associated via local Langlands to the restriction of $|\cdot|^{\theta-\delta}$ to $T(k)$. Hence $a$ on $\overline{k}^\times$ is the composite of the norm map down to ${\mathbb{R}}_{>0}$, the square root map, and the cocharacter of $\widehat{T}$ associated to $2(\theta-\delta)$. Twisting $\pi$ by $|\cdot|^{\theta-\delta}$ corresponds to twisting $r_{\pi}$ by $a$ by 10.3(2) of [@MR546608] and the result follows easily.

\[prop:twistinglarithtocarith\]If $\theta$ is a twisting element, then $\pi$ is $C$-arithmetic if and only if $\pi\otimes|\cdot |^{\theta-\delta}$ is $L$-arithmetic.

Again this is a local issue: by Definitions \[defn:L-arithmetic\] and \[defn:C-arithmetic\] it suffices to check that if $k$ (a completion of $F$) is a non-archimedean local field, if $\chi$ denotes the restriction of $|\cdot|^{\theta-\delta}$ to $G(k)$ and if $\pi$ is an unramified representation of $G(k)$, then $\pi$ is defined over a subfield $E$ of ${\mathbb{C}}$ iff $\pi\otimes\chi$ has Satake parameter defined over the same subfield $E$. This is relatively easy to check: we sketch the details (using the notation of section \[satakeparams\]). Let $T$ be a maximal torus of $G/k$, with maximal compact subgroup ${}^oT$. Then $\chi$ induces an automorphism $i$ of $H_{{\mathbb{C}}}(T(k),{}^oT)$ sending $[{}^oTt{}^oT]$ to $\chi(t)[{}^oTt{}^oT]$, and $i$ commutes with the action of the Weyl group $W_d$ and hence induces an automorphism $i$ of the $W_d$-invariants of this complex Hecke algebra. If $m_\pi$ is the complex character of $H(T(k),{}^oT)^{W_d}$ associated to $\pi$ and $m_{\pi\otimes\chi}$ is the character associated to $\pi\otimes\chi$ then one checks easily that $m_{\pi\otimes\chi}=m_\pi\circ i$. The other observation we need is that if $K$ is a hyperspecial maximal compact subgroup of $G(k)$ and if $S$ denotes the Satake isomorphism $S:H_{{\mathbb{C}}}(G(k),K)\to H_{{\mathbb{C}}}(T(k),{}^oT)^{W_d}$ then $i\circ S$ maps $H_{{\mathbb{Q}}}(G(k),K)$ into $H_{{\mathbb{Q}}}(T(k),{}^oT)$ (this follows immediately from formula (19) of section 4.2 of [@cartier:corvallis]), and hence into $H_{{\mathbb{Q}}}(T(k),{}^oT)^{W_d}$, and an injection between ${\mathbb{Q}}$-vector spaces which becomes an isomorphism after tensoring with ${\mathbb{C}}$ must itself be an isomorphism. Hence $i\circ S:H_{{\mathbb{Q}}}(G(k),K)\cong H_{{\mathbb{Q}}}(T(k),{}^oT)^{W_d}$ and now composing with $m_{\pi}$ the result follows easily.

Thus for groups with a twisting element, our $L$-notions and $C$-notions can be twisted into each other.

Adjoining a twisting element.
-----------------------------

If $G$ has a twisting element then we have just seen that one can, by twisting, pass between our $L$- and $C$- notions. What can one do when $G$ has no twisting element (for example if $G={\operatorname{PGL}}_2$)? In this case we will show that $G$ has a ${{\mathbb{G}_m}}$-extension $\widetilde{G}$ which *does* have a twisting element. Here we use some ideas that we learnt from reading a letter from Deligne to Serre; we thank Dick Gross for drawing our attention to this letter. We remark that previous versions of this manuscript contained a slightly messier construction involving a two-step process, reducing first via a $z$-extension to the the case where $G$ had simply-connected derived subgroup and then making another extension from there (this procedure of reducing to the case of a simply-connected derived subgroup seems to be often used in the literature but it turned out not to be necessary in this case).

\[prop:newgoodcover\]

\(a) There is a ${{\mathbb{G}_m}}$-extension $$1\to{{\mathbb{G}_m}}\to \widetilde{G}\to G\to 1$$ such that $\widetilde{G}$ has a canonical twisting element $\theta$.

\(b) If $G$ has a twisting element then $\widetilde{G}\cong G\times{{\mathbb{G}_m}}$. More generally, there is a natural bijection between the set of splittings of $1\to{{\mathbb{G}_m}}\to\widetilde{G}\to G\to 1$ and the set of twisting elements of $G$ (and in particular, the sequence splits over $F$ if and only if $G$ has a twisting element).

\(a) Let $G^{{\operatorname{ad}}}$ denote the quotient of $G$ by its centre and let $G^{{\operatorname{sc}}}$ denote the simply-connected cover of $G^{{\operatorname{ad}}}$. Over $\overline{F}$ we can choose compatible (unnamed) Borels and tori $T^{{\operatorname{sc}}}$ and $T^{{\operatorname{ad}}}$ in $G^{{\operatorname{sc}}}$ and $G^{{\operatorname{ad}}}$, and hence define the notion of a positive root in $X^*(T^{{\operatorname{sc}}})$ and $X^*(T^{{\operatorname{ad}}})$.

Now $G^{{\operatorname{sc}}}$ is simply-connected, and hence half the sum of the positive roots for $G^{{\operatorname{sc}}}$ is a character $\eta$ of $T^{{\operatorname{sc}}}$ and hence induces a character $\gamma$ of $Z:=\ker(G^{{\operatorname{sc}}}\to G^{{\operatorname{ad}}})$. This character $\gamma$ is independent of the notion of positivity because all Borels in $G^{{\operatorname{sc}}}_{\overline{F}}$ are conjugate. It takes values in $\mu_2$ because $\eta^2$, the sum of the positive roots, is a character of $T^{{\operatorname{ad}}}$ and is hence trivial on $Z$. Furthermore $\gamma$ is independent of the choice of $T^{{\operatorname{sc}}}$, and defined over $F$.

Pushing the diagram $$0\to Z\to G^{{\operatorname{sc}}}\to G^{{\operatorname{ad}}}\to 0$$ out along $\gamma:Z\to{{\mathbb{G}_m}}$ gives us an extension $$0\to{{\mathbb{G}_m}}\to G^1\to G^{{\operatorname{ad}}}\to 0$$ of groups over $F$ and now pulling back along $G\to G^{{\operatorname{ad}}}$ gives us an extension $$0\to{{\mathbb{G}_m}}\to\widetilde{G}\to G\to 0.$$ The group $\widetilde{G}$ is the extension we seek. One can define it “all in one go” as a subquotient of $G\times G^{{\operatorname{sc}}}\times{{\mathbb{G}_m}}$: it is the elements $(g,h,k)$ such that the images of $g$ and $h$ in $G^{{\operatorname{ad}}}$ are equal, modulo the image of the finite group $Z$ under the map sending $z$ to $(1,z,\gamma(z))$.

If $T^1$ and $\widetilde{T}$ are maximal tori in $G^1$ and $\widetilde{G}$ then the character groups of these tori fit into the following Galois-equivariant commutative diagram $$\xymatrix{
0\ar[r]&X^*(T^{{\operatorname{ad}}})\ar[r]&X^*(T^{{\operatorname{sc}}})\ar[r]&X^*(Z)\ar[r]& 0\\
0\ar[r]&X^*(T^{{\operatorname{ad}}})\ar[r]\ar@{=}[u]\ar[d]&X^*(T^1)\ar[r]\ar[u]\ar[d]&{\mathbb{Z}}\ar[r]\ar[u]^{\gamma^*}\ar@{=}[d]&0\\
0\ar[r]&X^*(T)\ar[r]&X^*(\widetilde{T})\ar[r]&{\mathbb{Z}}\ar[r]&0}$$ where $X^*(T^1)$ can be thought of as a pullback—the subgroup of $X^*(T^{{\operatorname{sc}}})\oplus{\mathbb{Z}}$ consisting of elements whose images in $X^*(Z)$ coincide, and $X^*(\widetilde{T})$ can be thought of as a pushforward—the quotient of $X^*(T^1)\oplus X^*(T)$ by $X^*(T^{{\operatorname{ad}}})$ embedded anti-diagonally.

We define $\theta$ thus: there is an element $\theta^1$ of $X^*(T^1)$ whose image in $X^*(T^{{\operatorname{sc}}})$ is $\eta$, and whose image in ${\mathbb{Z}}$ is 1. We let $\theta$ be the image of $\theta^1$ in $X^*(\widetilde{T})$.

We claim that $\theta$ is a twisting element for $\widetilde{G}$, and this will suffice to prove part (a). Note that the snake lemma implies that $X^*(T^1)$ injects into $X^*(\widetilde{T})$ and hence it suffices to show that $\theta^1$ is a twisting element for $G^1$. It is a standard fact that $\eta$ pairs to one with each simple coroot, and it follows immediately that $\theta^1$ pairs to one with each simple coroot. Furthermore, $\eta$ is a Galois-stable element of $X^*(T^{{\operatorname{sc}}})$, and Galois acts trivially on ${\mathbb{Z}}$, from which one can deduce that Galois acts trivially on $\theta$, and so $\theta$ is indeed a twisting element.

\(b) Recall that we have a short exact sequence $$0\to X^*(T)\to X^*(\widetilde{T})\to{\mathbb{Z}}\to 0.$$ If $t$ is a twisting element for $G$, then $t\in X^*(T)$ can be regarded as an element of $X^*(\widetilde{T})$ whose image in ${\mathbb{Z}}$ is zero. Recall that $\theta\in X^*(\widetilde{T})$ from (a) is a twisting element for $\widetilde{G}$, whose image in ${\mathbb{Z}}$ is 1. Now consider the difference $\chi:=\theta-t$. This is an element in $X^*(\widetilde{T})$ which is Galois stable and pairs to zero with each simple coroot. Hence if $\widetilde{Q}$ denotes the maximal split torus quotient of $\widetilde{G}$, then $\chi$ is an element of the subgroup $X^*(\widetilde{Q})$ of $\widetilde{T}$. In particular, $\chi$ induces a map $\widetilde{G}\to{{\mathbb{G}_m}}$ defined over $F$, and the composite ${{\mathbb{G}_m}}\to\widetilde{G}\to{{\mathbb{G}_m}}$ is the identity map. It follows easily that the induced map $\widetilde{G}\to G\times{{\mathbb{G}_m}}$ induced by $\chi$ and the canonical map $\widetilde{G}\to G$ is an isomorphism.

This same argument shows that there is a bijection between the splitting elements for $G$ and the splittings of the short exact sequence. To give a splitting of the exact sequence is to give a map $\widetilde{G}\to{{\mathbb{G}_m}}$ such that the induced map ${{\mathbb{G}_m}}\to\widetilde{G}\to{{\mathbb{G}_m}}$ is the identity. If $\chi:\widetilde{G}\to{{\mathbb{G}_m}}$ is such a map then $\chi$ gives an element of $X^*(\widetilde{T})$ which is Galois stable, pairs to zero with each simple coroot, and whose image in ${\mathbb{Z}}$ is 1. Conversely any such element gives a splitting. Now one checks easily that $\chi\in X^*(\widetilde{T})$ has these properties then $\theta-\chi$ ($\theta$ our fixed twisting element for $\widetilde{G}$ coming from part (a)) has image zero in ${\mathbb{Z}}$, so can be regarded as an element of $X^*(T)$ that can easily be checked to be a twisting element for $G$, and conversely for any twisting element $t\in X^*(T)$, we have already seen that $\theta-t$ gives a splitting.

The importance of $\widetilde{G}$ is that if $\pi$ is a $C$-algebraic representation for $G$, we can pull it back to $\widetilde{G}$ and then twist as in Proposition \[prop:twistinglalgtocalg\] to get an $L$-algebraic representation, for which we predict the existence of a Galois representation—but into the $L$-group of $\widetilde{G}$ rather than the $L$-group of $G$. The construction of $\widetilde{G}$ is completely canonical, and this motivates the following definition:

The *$C$-group of $G$* is defined to be the $L$-group of $\widetilde{G}$. We will denote this group by ${}^CG$.

The $C$-group is “as functorial as the $L$-group is”, and naturally receives the Galois representations conjecturally (and in some cases provably) attached to $C$-algebraic automorphic representations for $G$. One can think of the $C$-group as doing, in a canonical way, the job of unravelling all the square roots that appear in the Satake isomorphism normalised a la Langlands when applied to a cohomological representation (for we shall see later on in Lemma \[lem:cohomogicalimpliesCalgebraic\] that cohomological representations are $C$-algebraic). Note that the dimension of the $C$-group is one more than the dimension of the $L$-group, but this extra degree of freedom is cancelled out by the fact that the inclusion ${{\mathbb{G}_m}}\to\widetilde{G}$ gives rise to a map $d:{}^CG\to{{\mathbb{G}_m}}$ and we will see later on that our conjectures imply that if $\pi$ is $C$-algebraic for $G$ then the associated Galois representation, when composed with the map $d:{}^CG({\overline{{\mathbb{Q}}}_p})\to{{\mathbb{G}_m}}({\overline{{\mathbb{Q}}}_p})$, is always the cyclotomic character.

It would be nice to see in a concrete manner how the $C$-group is related to the $L$-group and we achieve this in the next proposition. Let $\chi$ denote the sum of the positive roots for $G$ (after choosing some Borel and torus); then $\chi$ can be thought of as a cocharacter of a maximal torus $\widehat{T}$ of $\widehat{G}$, that is, a map ${{\mathbb{G}_m}}\to\widehat{T}$. Set $e=\chi(-1)$.

\[kernelorder2\] The element $e$ is a central element of $\widehat{G}$ and is independent of all choices. There is a canonical surjection $$\widehat{G}\times{{\mathbb{G}_m}}\to\widehat{\widetilde{G}}$$ with kernel central and of order 2, generated by $(e,-1)$. This surjection is equivariant for the action of Galois used to define the $L$-groups of $G$ and $\widetilde{G}$.

We have a canonical map $c:\widetilde{G}\to G$; let us beef this up to an isogeny $\widetilde{G}\to G\times{{\mathbb{G}_m}}$ with kernel of order 2. To do this we need to construct an appropriate map $\xi:\widetilde{G}\to{{\mathbb{G}_m}}$, which we do thus: recall that the intermediate group $G^1$ used in the construction of $\widetilde{G}$ was a push-out of $G^{{\operatorname{sc}}}\times{{\mathbb{G}_m}}$ along $Z$; we define a map $G^{{\operatorname{sc}}}\times{{\mathbb{G}_m}}\to{{\mathbb{G}_m}}$ by sending $(g,\lambda)$ to $\lambda^2$; the image of $Z$ in ${{\mathbb{G}_m}}$ has order at most 2, and thus this induces a map $G^1\to{{\mathbb{G}_m}}$ and hence a map $\xi:\widetilde{G}\to{{\mathbb{G}_m}}$. The restriction of $\xi$ to the subgroup ${{\mathbb{G}_m}}$ of $\widetilde{G}$ is the map $\lambda\mapsto\lambda^2$, and hence the kernel of the induced map $(c,\xi):\widetilde{G}\to G\times{{\mathbb{G}_m}}$ has order 2 and hence this map is an isogeny for dimension reasons. This isogeny induces a dual isogeny $$\widehat{G}\times{{\mathbb{G}_m}}\to\widehat{\widetilde{G}}$$ with kernel of order 2, and so to check that the kernel is generated by $(e,-1)$ it suffices to prove that $(e,-1)$ is in the kernel. But one easily checks that $(\chi,1)$ maps to $2\theta$ under the natural map $$X_*(\widehat{T})\oplus{\mathbb{Z}}\to
X_*(\widehat{\widetilde{T}})$$ induced by the isogeny, and the result follows immediately by evaluating this cocharacter at $-1$. Furthermore $(c,\xi)$ is defined over $F$ so the dual isogeny commutes with the Galois action used to define the $L$-groups.

The interested reader can use the preceding Proposition to compute examples of $C$-groups. For example the $C$-group of $({\operatorname{GL}}_n)_F$ is isomorphic to the group $({\operatorname{GL}}_n\times{\operatorname{GL}}_1)_{{\overline{{\mathbb{Q}}}}}\times{\operatorname{Gal}}(\overline{F}/F)$, as $e=(-1)^{n-1}$ and the surjection ${\operatorname{GL}}_n\times{\operatorname{GL}}_1\to{\operatorname{GL}}_n\times{\operatorname{GL}}_1$ sending $(g,\mu)$ to $(g\mu^{n-1},\mu^2)$ has kernel $(e,-1)$. As another example, the $C$-group of $({\operatorname{PGL}}_2)_F$ is isomorphic to $(GL_2)_{{\overline{{\mathbb{Q}}}}}\times{\operatorname{Gal}}(\overline{F}/F)$ because the kernel of the natural map ${\operatorname{SL}}_2\times{\operatorname{GL}}_1\to{\operatorname{GL}}_2$ is $(e,-1)$. Note however that the $C$-group of $({\operatorname{PGL}}_n)_F$ is not in general $({\operatorname{GL}}_n)_{{\overline{{\mathbb{Q}}}}}\times{\operatorname{Gal}}(\overline{F}/F)$; its connected component is $({\operatorname{SL}}_n\times{\operatorname{GL}}_1)/\langle(-1)^{n-1},-1\rangle$, which is isomorphic to ${\operatorname{SL}}_n\times{\operatorname{GL}}_1$ if $n$ is odd, and to a central extension of ${\operatorname{GL}}_n$ by a cyclic group of order $n/2$ if $n$ is even.

One can use the above constructions and Conjecture \[conj:existence of Galois representations\] to formulate a conjecture associating ${}^CG$-valued Galois representations to $C$-algebraic automorphic representations ( and hence, by Lemma \[lem:cohomogicalimpliesCalgebraic\] below, to cohomological automorphic representations) for an arbitrary connected reductive group $G$ over a number field. One uses Lemma \[z-extension\_preserves\_stuff\] to pull the $C$-algebraic representation back to a $C$-algebraic representation on $\widetilde{G}$, twists using $\theta$ and the recipe in the statement of Proposition \[prop:twistinglalgtocalg\] to get an $L$-algebraic representation on $\widetilde{G}$, and then uses Conjecture \[conj:existence of Galois representations\] on this bigger group. The map denoted $|.|^{\theta-\delta}$ in the aforementioned proposition can be checked to be the map $\widetilde{G}({\mathbb{A}}_F)\to{\mathbb{R}}_{>0}$ sending $g$ to $|\xi(g)|^{1/2}$, with $\xi:\widetilde{G}\to{{\mathbb{G}_m}}$ the map defined in the proof of Proposition \[kernelorder2\]. Note finally that the map ${{\mathbb{G}_m}}\to\widetilde{G}$ induces a map $d:{}^CG\to{{\mathbb{G}_m}}$.

Unravelling, and in particular using Remark \[unramlltwist\] with the $G$ there being our $\widetilde{G}$, we see that Conjecture \[conj:existence of Galois representations\] implies the following conjecture.

\[conj:existence of Galois representations - C-group version\]If $\pi$ is $C$-algebraic, then there is a finite subset $S$ of the places of $F$, containing all infinite places, all places dividing $p$, and all places where $\pi$ is ramified, and a continuous Galois representation $\rho_\pi=\rho_{\pi,\iota}:{\operatorname{Gal}}(\overline{F}/F)\to{{{}^{C}G}}({\overline{{\mathbb{Q}}}_p})$, which satisfies

-   The composite of $\rho_\pi$ and the natural projection ${{{}^{C}G}}({\overline{{\mathbb{Q}}}_p})\to {\operatorname{Gal}}(\overline{F}/F)$ is the identity map.

-   The composite of $\rho_\pi$ and $d$ is the cyclotomic character.

-   If $v\notin S$, then $\rho_\pi|_{W_{F_{v}}}$ is ${\widehat{\widetilde{G}}}({\overline{{\mathbb{Q}}}_p})$-conjugate to the representation sending $w\in W_{F_v}$ to $\iota(r_{\pi_{v}}(w)\hat{\xi}(|w|^{1/2}))$, where $\hat{\xi}$ is the map ${\mathbb{C}}^\times\to{\widehat{\widetilde{G}}}({\mathbb{C}})$ dual to $\xi$, and where the norm on the Weil group sends a geometric Frobenius to the reciprocal of the size of the residue field.

-   If $v$ is a finite place dividing $p$ then $\rho_\pi|_{{\operatorname{Gal}}(\overline{F_v}/F_v)}$ is de Rham, and the Hodge–Tate cocharacter of this representation can be explicitly read off from $\pi$ via the recipe of Remark \[rem: recipe for HT weights in the C-case.\] below.

-   If $v$ is a real place, let $c_{v}\in G_{F}$ denote a complex conjugation at $v$, let $\lambda_{\sigma_v}$ and $\lambda_{\tau_v}\in X^*(T)\otimes{\mathbb{C}}$ be the elements associated to $\pi_v$ in §\[locallanglandsatinfinity\], and let $\tilde\lambda_{\sigma_v}$ and $\tilde\lambda_{\tau_v}$ denote their images in $X^*(\widetilde{T})\otimes{\mathbb{C}}$. Then $\tilde\lambda_{\sigma_v}+\frac{1}{2}\xi$, $\tilde\lambda_{\tau_v}+\frac{1}{2}\xi\in X^*(\widetilde{T})=X_*(\widehat{\widetilde{T}})$ and $\rho_{\pi,\iota}(c_{v})$ is ${{\widehat{G}}}({\overline{{\mathbb{Q}}}_p})$-conjugate to the element $$\iota(\alpha_v)=\iota\left(\left(\tilde{\lambda}_{\sigma_v}+\frac{1}{2}\xi\right)(i)\left(\tilde{\lambda}_{\tau_v}+\frac{1}{2}\xi\right)(i)r_{\pi_v}(j)\right)$$ associated to the twist of the lift of $\pi$, as in Lemma \[cxconj\].

\[rem: recipe for HT weights in the C-case.\] The recipe for the Hodge–Tate cocharacter in the conjectures above is as follows. As in Remark \[rem: recipe for HT cocharacter\], any $j:F\to{\overline{{\mathbb{Q}}}}$ gives rise to an infinite place $w$ of $F$ equipped with a fixed map $F_w\to{\mathbb{C}}$, which we use to identify ${\mathbb{C}}$ with an algebraic closure of $F_w$. The identity $\sigma:{\mathbb{C}}\to{\mathbb{C}}$ and the representation $\pi_w$ give rise to $\lambda_\sigma$ as in Remark \[rem: recipe for HT cocharacter\], except that this time $\lambda_\sigma\in
(X^*(T)\otimes_{\mathbb{Z}}\frac{1}{2}{\mathbb{Z}})/W$. We thus obtain an element $\tilde{\lambda}_\sigma\in (X^*({{\widetilde{T}}})\otimes_{\mathbb{Z}}\frac{1}{2}{\mathbb{Z}})/W$. Then $\tilde{\lambda}_\sigma+\frac{1}{2}\xi\in X^*({{\widetilde{T}}})/W$, and our conjecture is that this element $\tilde{\lambda}_\sigma+\frac{1}{2}\xi$ is the Hodge–Tate cocharacter associated to the embedding $F_v\to{\overline{{\mathbb{Q}}}_p}$.

We end this section by showing that the results in it imply the equivalence of Conjectures \[conj:LarithmeticLalgebraic\] and \[conj:CarithmeticCalgebraic\] (made for all groups simultaneously).

\[conjs\_are\_equiv\] Let $G$ be a connected reductive group over a number field. If Conjecture \[conj:LarithmeticLalgebraic\] is true for $\widetilde{G}$ then Conjecture \[conj:CarithmeticCalgebraic\] is true for $G$. Similarly if Conjecture \[conj:CarithmeticCalgebraic\] is true for $\widetilde{G}$ then Conjecture \[conj:LarithmeticLalgebraic\] is true for $G$.

We prove the first assertion; the second one is similar. Say $G$ is connected and reductive, and $\pi$ is $C$-arithmetic (resp. $C$-algebraic). Let $\pi'$ be the pullback of $\pi$ to $\widetilde{G}$. Then $\pi'$ is $C$-arithmetic (resp. $C$-algebraic) by Lemma \[z-extension\_preserves\_stuff\]. By Proposition \[prop:twistinglarithtocarith\] (resp. Proposition \[prop:twistinglalgtocalg\]) $\pi'\otimes|.|^{\theta-\delta}$ is $L$-arithmetic (resp. $L$-algebraic). Applying Conjecture \[conj:LarithmeticLalgebraic\] to $\widetilde{G}$ we deduce that $\pi'\otimes|.|^{\theta-\delta}$ is $L$-algebraic (resp. $L$-arithmetic). Running the argument backwards now shows us that $\pi$ is $C$-algebraic (resp. $C$-arithmetic).

Functoriality. {#sec:functoriality}
==============

Suppose that $G$, $G'$ are two connected reductive groups over $F$, and that we have an *algebraic* $L$-group homomorphism $$r:{{{}^{L}G}}\to{{{}^{L}G}}',$$ i.e. a homomorphism of algebraic groups over ${\overline{{\mathbb{Q}}}}$ which respects the projections to ${\operatorname{Gal}}(\overline{F}/F)$ (recall that we are using the Galois group rather than the Weil group when forming the $L$-group). Assume that $G'$ is quasi-split over $F$. Then we have the following weak version of Langlands’ functoriality conjecture (note that we are only demanding compatibility with the local correspondence at a subset of the unramified places, and at infinity).

\[conj:functoriality\]If $\pi$ is an automorphic representation of $G$, then there is an automorphic representation $\pi'$ of $G'$, called a *functorial transfer* of $\pi$, such that

-   For all infinite places $v$, and for all finite places $v$ at which $\pi$ and $G'$ are unramified, $r_{\pi'_{v}}$ is ${{\widehat{G}}}'({\mathbb{C}})$-conjugate to $r\circ r_{\pi_{v}}$.

A trivial consequence of the definitions is

\[lem:transferoflalgislalg\]If $\pi$ is $L$-algebraic, then any functorial transfer of $\pi$ is also $L$-algebraic.

We also have the only slightly less trivial

\[lem:transferoflarithislarith\]If $\pi$ is $L$-arithmetic, then any functorial transfer of $\pi$ is also $L$-arithmetic.

This result follows from a purely local assertion. If $v$ is a finite place where $G$ and $G'$ are unramified and if $k$ is the completion of $F$ at $v$ then the morphism $r$ of $L$-groups induces a morphism $\widehat{G}\to\widehat{G}'$ which commutes with the action of the Frobenius at $v$. If $T_d$ (resp. $T'_d$) denotes a maximal $k$-split torus in $G/k$ (resp. $G'/k$) with centralizer $T$ (resp. $T'$) then the map $\widehat{G}\to\widehat{G}'$ induces a map $\widehat{T}\to\widehat{T}'$ (well-defined up to restricted Weyl group actions) which commutes with the action of Frobenius, and hence maps $\widehat{T}_d\to\widehat{T}'_d$ and $X^*(\widehat{T}'_d)=X_*(T'_d)\to X^*(\widehat{T}_d)=X_*(T_d)$. Now looking at the explicit definition of the Satake isomorphism in Proposition 6.7 of [@MR546608] we see, after unravelling, that the map ${\mathbb{Q}}[X_*(T'_d)]^{W'_d}\to{\mathbb{Q}}[X_*(T_d)]^{W_d}$ induced from $X_*(T'_d)\to X_*(T_d)$ above has the property that, after tensoring up to ${\mathbb{C}}$ and taking spectra, it sends the point in ${\operatorname{Spec}}({\mathbb{C}}[X_*(T_d)]^{W_d})$ corresponding to $r_{\pi_v}$ to the point in ${\operatorname{Spec}}({\mathbb{C}}[X_*(T'_d)]^{W'_d})$ corresponding to $r\circ r_{\pi_v}$. We now deduce that if the Satake parameter of $\pi_v$ is defined over a subfield $E$ of ${\mathbb{C}}$ then so is the Satake parameter of $\pi'_v$ (because the homomorphism ${\mathbb{Q}}[X_*(T'_d)]^{W'_d}\to{\mathbb{C}}$ corresponding to $\pi'_v$ factors through ${\mathbb{Q}}[X_*(T_d)]^{W_d}$ and hence through $E$) and the result follows.

In addition,

\[prop:galoisrepsforfunctorialtransfer\]If Conjecture \[conj:existence of Galois representations\] holds for $\pi$, then it holds for any functorial transfer of $\pi$.

With notation as above, one easily checks that $\rho_{\pi',\iota}:=r\circ\rho_{\pi,\iota}$ satisfies all the conditions of Conjecture \[conj:existence of Galois representations\].

Note that functoriality relies on things normalised in Langlands’ canonical way; the natural analogues of the results above in the $C$-algebraic and $C$-arithmetic cases are not true in general, because a morphism of algebraic groups does not send half the sum of the positive roots to half the sum of the positive roots in general.

Reality checks. {#reality checks}
===============

By Proposition 2 of [@langlands:notion] any automorphic representation $\pi$ on $G$ is a subquotient of an induction ${\operatorname{Ind}}_{P({\mathbb{A}}_{F})}^{G({\mathbb{A}}_{F})}\sigma$, where $P$ is a parabolic subgroup of $G$ with Levi quotient $M$, and $\sigma$ is a cuspidal representation of $M$. If $\pi'$ is another automorphic subquotient of ${\operatorname{Ind}}_{P({\mathbb{A}}_{F})}^{G({\mathbb{A}}_{F})}\sigma$, then $\pi_{v}$ and $\pi'_{v}$ are equal for all but finitely many places, so $\pi$ is $C$-arithmetic (respectively $L$-arithmetic) if and only if $\pi'$ is $C$-arithmetic (respectively $L$-arithmetic). The following lemma shows that $\pi$ is $C$-algebraic (respectively $L$-algebraic) if and only if $\pi'$ is $C$-algebraic (respectively $L$-algebraic).

\[lem:compatibilitywithinductions\]Suppose that $\pi$ and $\pi'$ are subquotients of a common induction ${\operatorname{Ind}}_{P({\mathbb{A}}_{F})}^{G({\mathbb{A}}_{F})}\sigma$. Then $\pi$ and $\pi'$ have the same infinitesimal character.

This is immediate from the calculation of the infinitesimal character of an induction—see for example Proposition 8.22 of [@KnappOverviewExamples].

Furthermore, we can check the compatibility of Conjecture \[conj:existence of Galois representations\] for $\pi$ and $\pi'$ (note that we cannot check the compatibility for Conjecture \[conj:existence of Galois representations - strong version with crystalline etc\] because $\pi$ and $\pi'$ may be ramified at different places).

\[prop:Galois reps for constituents of inductions\]Suppose that $\pi$ and $\pi'$ are subquotients of a common induction ${\operatorname{Ind}}_{P({\mathbb{A}}_{F})}^{G({\mathbb{A}}_{F})}\sigma$. Suppose that $\pi$ is $L$-algebraic. If Conjecture \[conj:existence of Galois representations\] is valid for $\pi$ then it is valid for $\pi'$.

Suppose that Conjecture \[conj:existence of Galois representations\] is valid for $\pi$. We wish to show that $\rho_{\pi',\iota}:=\rho_{\pi,\iota}$ satisfies all the conditions in Conjecture \[conj:existence of Galois representations\]. Since for all but finitely many places $\pi_{v}$ and $\pi'_{v}$ are unramified and isomorphic, the first two conditions are certainly satisfied. The third condition is satisfied by Lemma \[lem:compatibilitywithinductions\]. It remains to check that if $v$ is a real place, then (with obvious notation) $\lambda_\sigma(i)\lambda_\tau(i)r_{\pi_v}(j)$ and $\lambda'_\sigma(i)\lambda'_\tau(i)r_{\pi'_v}(j)$ are ${{\widehat{G}}}({\mathbb{C}})$-conjugate. As explained to us by David Vogan, it follows from the results of [@MR1162533] (specifically from Theorem 1.24 and Proposition 6.16) that $\lambda_\sigma(-1)r_{\pi_v}(j)$ and $\lambda'_\sigma(-1)r_{\pi'_v}(j)$ are ${{\widehat{G}}}({\mathbb{C}})$-conjugate. It is easy to check that these are $\widehat{G}({\mathbb{C}})$-conjugate to $\lambda_\sigma(i)\lambda_\tau(i)r_{\pi_v}(j)$ and $\lambda'_\sigma(i)\lambda'_\tau(i)r_{\pi'_v}(j)$ respectively (one conjugates by $r_{\pi_v}(e^{-i\pi/4})$, $r_{\pi'_v}(e^{-i\pi/4})$), as required.

More generally, if $\pi$, $\pi'$ are nearly equivalent (that is, $\pi_{v}$ and $\pi'_{v}$ are isomorphic for all but finitely many $v$), then $\pi$ is $C$-arithmetic (respectively $L$-arithmetic) if and only if $\pi'$ is $C$-arithmetic (respectively $L$-arithmetic). We would like to be able to prove as above that $\pi$ and $\pi'$ have the same infinitesimal character, and we would like to obtain the analogue of Proposition \[prop:Galois reps for constituents of inductions\]. Unfortunately, these seem in general to be beyond the reach of current techniques. However, we can prove these results for ${\operatorname{GL}}_{n}$, and we can then deduce them for general groups under the assumption of functoriality.

\[prop:nearequivforGLn\]If $G={\operatorname{GL}}_{n}$ and $\pi$, $\pi'$ are nearly equivalent, then $\pi$, $\pi'$ have the same infinitesimal character. Suppose further that $\pi$ is $L$-algebraic. If Conjecture \[conj:existence of Galois representations\] is valid for $\pi$ then it is valid for $\pi'$.

By the strong multiplicity one theorem for isobaric representations (Theorem 4.4 of [@MR623137]), $\pi$, $\pi'$ are both subquotients of a common induction ${\operatorname{Ind}}_{P({\mathbb{A}}_{F})}^{G({\mathbb{A}}_{F})}\sigma$. The result follows from Lemma \[lem:compatibilitywithinductions\] and Proposition \[prop:Galois reps for constituents of inductions\].

Let $G$ be arbitrary. Assume Conjecture \[conj:functoriality\]. If $\pi$ and $\pi'$ are nearly equivalent automorphic representations of $G$, then for any infinite place $v$, $\pi_{v}$ and $\pi'_{v}$ have the same infinitesimal characters. Suppose further that $\pi$ is $L$-algebraic. If Conjecture \[conj:existence of Galois representations\] is valid for $\pi$ then it is valid for $\pi'$.

To begin with, note that for each infinite place $v$ we have a natural injection ${}^{L}G_{v}\to{}^{L}G$, where $G_{v}$ is the base change of $G$ to $F_{v}$. Since $r_{\pi_{v}}|_{{\mathbb{C}}^{\times}}$ is valued in ${}^{L}G_{v}$, as is $c_{v}:=\lambda_\sigma(i)\lambda_\tau(i)r_{\pi_v}(j)$ if $v$ is real, we see that their ${{\widehat{G}}}({\mathbb{C}})$-conjugacy classes in ${}^{L}G$ are determined by their ${{\widehat{G}}}({\mathbb{C}})$-conjugacy classes in ${}^{L}G_{v}$.

Now, the ${{\widehat{G}}}({\mathbb{C}})$-conjugacy classes of semisimple elements of ${}^{L}G_{v}({\mathbb{C}})$ are determined by the knowledge of the conjugacy classes of their images under all representations of ${}^{L}G_{v}({\mathbb{C}})$. To see this, note that since the formation of the $L$-group is independent of the choice of inner form, it suffices to check this in the case where $G_{v}$ is quasi-split; but the result then follows immediately from Proposition 6.7 of [@MR546608].

Let $r:{{{}^{L}G}}\to{\operatorname{GL}}_{n}\times{\operatorname{Gal}}(\overline{F}/F)$ be a homomorphism of $L$-groups. Then by Conjecture \[conj:functoriality\], there are automorphic representations $\Pi$, $\Pi'$ on ${\operatorname{GL}}_{n}$ which are functorial transfers of $\pi$, $\pi'$ respectively. By Proposition \[prop:nearequivforGLn\], $\Pi$ and $\Pi'$ have the same infinitesimal characters. Thus for each infinite place $v$, $r_{\Pi_{v}}|_{{\mathbb{C}}^{\times}}$ and $r_{\Pi'_{v}}|_{{\mathbb{C}}^{\times}}$ are conjugate, i.e. $r\circ r_{\pi,\iota}|_{{\mathbb{C}}^{\times}}$ and $r\circ r_{\pi',\iota}|_{{\mathbb{C}}^{\times}}$ are conjugate. Since this is true for all $r$, we see that $r_{\pi,\iota}|_{{\mathbb{C}}^{\times}}$ and $r_{\pi',\iota}|_{{\mathbb{C}}^{\times}}$ are conjugate, whence $\pi$ and $\pi'$ have the same infinitesimal character.

As in the proof of Proposition \[prop:Galois reps for constituents of inductions\], it remains to check that if $v$ is a real place of $F$, then $c_{v}:=\lambda_\sigma(i)\lambda_\tau(i)r_{\pi_v}(j)$ and $c'_{v}:=\lambda'_\sigma(i)\lambda'_\tau(i)r_{\pi'_v}(j)$ are ${{\widehat{G}}}({\mathbb{C}})$-conjugate. By a similar argument to that used in the first half of this proof, we see that if $r:{{{}^{L}G}}\to{\operatorname{GL}}_{n}\times{\operatorname{Gal}}(\overline{F}/F)$ is a homomorphism of $L$-groups, then $r(c_{v})$ and $r(c'_{v})$ are conjugate in ${\operatorname{GL}}_{n}({\mathbb{C}})$. Furthermore, $c_{v}$ and $c'_{v}$ are both semisimple. Thus $c_{v}$ and $c'_{v}$ are ${{\widehat{G}}}({\mathbb{C}})$-conjugate.

Cohomological representations. {#sec:cohomological}
------------------------------

Cohomological automorphic representations provide a good testing ground for our conjectures. It follows easily (see below) that any cohomological representation is $C$-algebraic, and one can often show that they are $C$-arithmetic, too (it would not surprise us if Shimura variety experts could prove they were always $C$-arithmetic with relative ease). In the case $G={\operatorname{GL}}_{n}$ these arguments are due to Clozel, who also shows that for ${\operatorname{GL}}_{n}$ any regular $C$-algebraic representation is cohomological after possibly twisting by a quadratic character (see Lemme 3.14 of [@MR1044819]).

Let $v$ be an infinite place of $F$, and let $K_{v}$ be the fixed choice of a maximal compact subgroup of $G(F_{v})$ used in the definition of automorphic forms on $G$. Let $\mathfrak{g}_{v}$ be the complexification of the Lie algebra of $G(F_{v})$. Recall that $\pi_{v}$ may be thought of as a $(\mathfrak{g}_{v},K_{v})$-module, with underlying ${\mathbb{C}}$-vector space $V_{v}$, say.

We say that $\pi_{v}$ is *cohomological* if there is an algebraic complex representation $U$ of $G(F_{v})$ and a non-negative integer $i$ such that $$H^{i}(\mathfrak{g}_{v},K_{v};U\otimes V_{v})\neq 0.$$ We say that $\pi$ is cohomological if $\pi_{v}$ is cohomological for all archimedean places $v$.

\[lem:cohomogicalimpliesCalgebraic\]If $\pi$ is cohomological, then it is $C$-algebraic.

By Corollary 4.2 of [@MR1721403], if $\pi$ is cohomological then for each archimedean place $v$ there is a continuous finite-dimensional representation $U_{v}$ of $G(F_{v})$ such that $\pi_{v}$ and $U_{v}$ have the same infinitesimal characters. The result then follows from Lemma \[lem:infcharoffinitedimensional\] below.

\[lem:infcharoffinitedimensional\]If $v$ is an archimedean place of $F$ and $U$ is a continuous finite dimensional representation of $G(F_{v})$ with infinitesimal character $\chi_{v}$, identified with an element of $X^{*}(T)\otimes_{\mathbb{Z}}{\mathbb{C}}$ as in section \[locallanglandsatinfinity\], then $\chi_{v}-\delta\in X^{*}(T)$.

This follows almost at once from the definition of the Harish-Chandra isomorphism; see for example (5.43) in [@MR1920389].

We note that a cuspidal cohomological unitary automorphic representation $\pi$ is also $C$-arithmetic, at least when $\pi_\infty$ is cohomological for the trivial representation; for we can restrict scalars down to ${\mathbb{Q}}$ and then follow the argument in §2.3 of [@MR1265563]. This argument presumably works in some greater generality.

Relationship with theorems/conjectures in the literature. {#comparison to gross and clozel}
=========================================================

In [@MR1044819], Clozel makes a number of conjectures about certain $C$-algebraic automorphic representations for ${\operatorname{GL}}_{n}$. We now examine the compatibility of these conjectures with those of this paper. Clozel calls an automorphic representation of ${\operatorname{GL}}_{n}$ *algebraic* if it is $C$-algebraic and isobaric; his principal reason for restricting to isobaric representations is that he wishes to use the language of Tannakian categories.

Let $\pi=\otimes'\pi_{v}$ be an algebraic (in Clozel’s sense) representation of ${\operatorname{GL}}_{n}$ over $F$. Then Clozel conjectures (see conjectures 3.7 and 4.5 of [@MR1044819]) that

\[conj:Clozel\]Let $\pi_{f}=\otimes'_{{v\nmid\infty}}\pi_{v}$. Then there is a number field $E\subset{\mathbb{C}}$ such that $\pi_f$ is defined over $E$ (that is, such that $\pi_f\otimes_{{\mathbb{C}},\sigma}{\mathbb{C}}\cong\pi_f$ for all automorphisms $\sigma$ of ${\mathbb{C}}$ which fix $E$ pointwise). In addition, Conjecture \[conj:existence of Galois representations - strong version with crystalline etc\] holds for $\pi\otimes|\cdot|^{(n-1)/2}$.

(In fact, Clozel conjectures much more than this—he conjectures that there is a motive whose local $L$-factors agree with those of $\pi\otimes|\cdot|^{(n-1)/2}$ at all finite places; the required Galois representation is then obtained as the $p$-adic realisation of this motive.)

By Proposition \[prop:nearequivforGLn\] we see, since any automorphic representation of ${\operatorname{GL}}_{n}$ is nearly equivalent to an isobaric one, that Conjecture \[conj:Clozel\] implies Conjecture \[conj:existence of Galois representations\] for ${\operatorname{GL}}_{n}$, and in fact an examination of the proof shows that it implies Conjecture \[conj:existence of Galois representations - strong version with crystalline etc\]. We claim that it also implies that $\pi$ is $C$-arithmetic; in fact, this follows at once from Proposition 3.1(iii) of [@MR1044819]. Thus for ${\operatorname{GL}}_{n}$ our conjectures follow from those of Clozel.

The reason that our conjectures are weaker than Clozel’s conjectures is that for groups other than ${\operatorname{GL}}_{n}$ we do not have as good an understanding of the local Langlands correspondence—for a general group $G$ we cannot even *formulate* a version of Conjecture \[conj:existence of Galois representations - strong version with crystalline etc\] which includes behaviour at the bad places without also formulating a precise local Langlands conjecture in full generality. Even for $GL_n$ Clozel had to be careful, restricting to isobaric representations in order not to make a conjecture which was trivially false, and such phenomena would also show up in the general case, and are typically even less well-understood here.

In [@MR1729443] Gross presents a conjecture which assigns a Galois representation to an automorphic representation on a group $G$ with the property that any arithmetic subgroup is finite (in fact Gross gives six conditions equivalent to this in Proposition 1.4 of [@MR1729443]). We now discuss the relationship of this conjecture to our conjectures. Gross’ assumptions imply that $G$ splits over a CM field $L$, and he also assumes that $G$ has a twisting element $\eta$ in the sense of Definition \[twistingelement\]. In fact, Gross has informed us that one should in addition assume that the group $G$ is semisimple and simply connected, so we make this assumption from now on. This assumption in fact implies that one can take $\eta=\delta$ in the below, but for those who want to be more optimistic than Gross we have kept the two notations distinct in the below.

Let $V$ be an absolutely irreducible representation of $G$ over ${\mathbb{Q}}$ with trivial central character. Let $S$ be a finite set of primes of size at least 2, containing all primes at which $G$ is ramified. For each $\ell\notin S$ we let $K_{\ell}$ be a hyperspecial maximal compact subgroup of $G({\mathbb{Q}}_{\ell})$, and for each $\ell\in S$ we let $K_{\ell}$ be an Iwahori subgroup of $G({\mathbb{Q}}_{\ell})$. Let $K$ be the product of the $K_\ell$. Then $M(V,K)$ is the space of algebraic modular forms given by

$$\begin{aligned}
M(V,K):=\{
f:G({\mathbb{A}}_{{\mathbb{Q}}})/
(G({\mathbb{R}})_{+}&\times K)\to V:\\
&f(\gamma g)=\gamma f(g)\text{ for all }\gamma\in G({\mathbb{Q}}), g\in G({\mathbb{A}}_{{\mathbb{Q}}})
\} .\end{aligned}$$

Let $H_{S}$ be the unramified Hecke algebra—the restricted tensor product of the unramified Hecke algebras $H_{\ell}$ for each $\ell\notin S$. Let $H_{K}$ be the full Hecke algebra, the tensor product of $H_{S}$ and the Iwahori Hecke algebras $H_{\ell}$ at places $\ell$ in $S$. Let $A$ be $H_{K}\otimes{\mathbb{Q}}[\pi_{0}(G({\mathbb{R}}))]$. This acts on $M(V,K)$ (see section 6 of [@MR1729443]), and we let $N$ be a simple $A$-submodule of $M(V,K)$. We assume that $N$ gives the Steinberg character on $H_{\ell}$ for all $\ell\in S$ (see section 12 of [@MR1729443]), and if $V$ is trivial and $\prod_{l\in S}G({\mathbb{Q}}_{l})$ is compact, we exclude the case that $N$ is trivial.

By Proposition 12.3 of [@MR1729443], ${\operatorname{End}}_{A}(N)$ is a CM field, and by (7.4) of [@MR1729443], $\pi_{0}(G({\mathbb{R}}))$ acts on $N$ through a character

$$\phi_{\infty}:\pi_{0}(G({\mathbb{R}}))\to \{\pm 1\}\subset E^{\times}.$$

By Proposition 8.5 of [@MR1729443], the simple submodules of $N\otimes {\mathbb{C}}$ may be identified (compatibly with the actions of $H_K$) with irreducible automorphic representations $\pi=\pi_{f}\otimes\pi_{\infty}$ with $\pi_{\infty}{\stackrel{\sim}{{\longrightarrow}}}V\otimes{\mathbb{C}}$, and $\pi_{l}$ Steinberg for all $l\in S$. For all $l\notin S$, the unramified local Langlands correspondence (i.e. the Satake isomorphism) identifies the character of $T_{l}$ on $N$ with a homomorphism $r_{N,l}:W_{{\mathbb{Q}}_{l}}\to{{{}^{L}G}}({\mathbb{C}})$, and $\pi_{l}$ corresponds to this parameter under the local Langlands correspondence. Fix such a representation $\pi$.

Gross then makes the following conjecture (see Conjecture 17.2 as well as (15.3) and (16.8) of [@MR1729443]) (note that while Gross normalises his Weil groups so that an arithmetic Frobenius element corresponds to a uniformiser, he also normalises his Satake isomorphisms so that they are constructed with arithmetic Frobenii, so the comments of Remark \[swapping geometric and arithmetic frobenius via an involution\] apply):

\[conj:grossgaloisrepsconjecture\]If $p$ is a prime, and $\iota:{\mathbb{C}}{\stackrel{\sim}{{\longrightarrow}}}{\overline{{\mathbb{Q}}}_p}$, then there is a continuous Galois representation $$\rho_{N,\iota}:{\operatorname{Gal}}({\overline{{\mathbb{Q}}}}/{\mathbb{Q}})\to{{{}^{L}G}}({\overline{{\mathbb{Q}}}_p})$$ satisfying

-   If $l\notin S$, then $\rho_{N,\iota}|_{W_{{\mathbb{Q}}_{l}}}$ is ${{\widehat{G}}}({\overline{{\mathbb{Q}}}_p})$-conjugate to $\iota(r_{N,l})\otimes |\cdot|^{\eta-\delta}$.

-   If $s_{\infty}$ is a complex conjugation in ${\operatorname{Gal}}({\overline{{\mathbb{Q}}}}/{\mathbb{Q}})$, then $\rho_{N,\iota}(s_{\infty})$ is ${{\widehat{G}}}({\overline{{\mathbb{Q}}}_p})$-conjugate to $(\iota(\eta(-1)\phi_{\infty}(-1)),s_\infty)$.

This conjecture follows from Conjecture \[conj:existence of Galois representations - strong version with crystalline etc\]. Indeed, the representation $\pi$ is $C$-algebraic, so by Proposition \[prop:twistinglalgtocalg\] $\pi\otimes |\cdot|^{\eta-\delta}$ is $L$-algebraic. Applying Conjecture \[conj:existence of Galois representations - strong version with crystalline etc\] gives everything in Conjecture \[conj:grossgaloisrepsconjecture\] (for the description of complex conjugation, see [@grossodd]).

Note that Gross in fact conjectures something slightly stronger; he shows that $\pi$ is $C$-algebraic, and in fact that $\pi$ is defined over $E$, and conjectures that for any place $\lambda|p$ of $E$ there is a natural Galois representation $\rho_{N,\lambda}:{\operatorname{Gal}}({\overline{{\mathbb{Q}}}}/{\mathbb{Q}})\to
{{{}^{L}G}}(E_\lambda)$. As Gross has explained to us, this rationality conjecture should follow from the hypothesis that $\pi$ is Steinberg at two places, together with local-global compatibility for the Galois representations at these places.

 {#section:examples}

We now discuss an example drawn from [@cht]. Let $F$ be a totally real field, and let $E$ be a quadratic totally imaginary extension of $F$. Let $G$ be an $n$-dimensional unitary group over $F$ which splits over $E$, and which is compact (that is, isomorphic to $U(n)$) at all infinite places. Then the dual group of $G$ is $GL_{n}$, and if we let ${\operatorname{Gal}}(E/F)=\{1,c\}$, then the $L$-group of $G$ is given by $${{{}^{L}G}}={\operatorname{GL}}_{n}\rtimes{\operatorname{Gal}}(\overline{F}/F)$$ where ${\operatorname{Gal}}(\overline{F}/F)$ acts on ${\operatorname{GL}}_n$ via its projection to ${\operatorname{Gal}}(E/F)=\{1,c\}$, with $$x^{c}:=\Phi_{n}x^{-t}\Phi_{n}^{-1}$$ where $\Phi_{n}$ is an anti-diagonal matrix with alternating entries $1$, $-1$. Note that $\Phi_{n}^{-1}=\Phi_{n}^t=(-1)^{n-1}\Phi_{n}$.

By Proposition \[kernelorder2\], we have $${}^{C}G=\left(({\operatorname{GL}}_{n}\times{{\mathbb{G}_m}})/((-1)^{n-1},-1)\right)\rtimes{\operatorname{Gal}}(\overline{F}/F)$$ with ${\operatorname{Gal}}(\overline{F}/F)$ acting by $$(g,\mu)^{c}=(\Phi_{n}g^{-t}\Phi_{n}^{-1},\mu).$$

In Section 1 of [@cht] there is a definition of a group $\mathcal{G}_{n}$. This group is a semidirect product $({\operatorname{GL}}_{n}\times{{\mathbb{G}_m}})\rtimes{\operatorname{Gal}}(\overline{F}/F)$, but with ${\operatorname{Gal}}(\overline{F}/F)$ acting by $$(g,\mu)^{c}=(\mu g^{-t},\mu).$$ There is a morphism $j:{}^CG\to\mathcal{G}_{n}$ defined thus. For $(g,\mu)\in{\operatorname{GL}}_n\times{{\mathbb{G}_m}}$ and $\gamma\in{\operatorname{Gal}}(\overline{F}/E)$ we set $$j((g,\mu)\times\gamma)=(g\mu^{1-n},\mu^{2(1-n)})\times\gamma$$ (and note that $j(((-1)^{n-1},-1)\times\gamma)=(1\times\gamma)$. If $\tilde{c}\in{\operatorname{Gal}}(\overline{F}/F)$ has image $c\in{\operatorname{Gal}}(E/F)$ then we set $$j(1\times\tilde{c})=(\Phi_n,(-1)^{n-1})\times\tilde{c}.$$ It is easily checked these determine a unique homomorphism $j:{}^CG\to\mathcal{G}_n$. For $n>1$, $j$ is an isogeny with kernel of order $n-1$. Since $G$ is compact at infinity, any automorphic representation $\pi$ of $G({\mathbb{A}}_F)$ is cohomological and thus by Lemma \[lem:cohomogicalimpliesCalgebraic\] is $C$-algebraic. Conjecture \[conj:existence of Galois representations - C-group version\] predicts the existence of a Galois representation$$\rho_\pi:{\operatorname{Gal}}(\overline{F}/F)\to{}^CG({\overline{{\mathbb{Q}}}_p})$$with the property that $d\circ\rho_\pi$ is the cyclotomic character $\varepsilon$ (with $d$ as in the discussion preceding Conjecture \[conj:existence of Galois representations - C-group version\]). One checks easily that the composite $$j\circ\rho_\pi:{\operatorname{Gal}}(\overline{F}/F)\to\mathcal{G}_n({\overline{{\mathbb{Q}}}_p})$$ has multiplier $\varepsilon^{1-n}$ (the multiplier of a representation into $\mathcal{G}_n$ is its projection onto the ${{\mathbb{G}_m}}$ factor). Now, under certain mild hypotheses on $G$ and $\pi$, we note that a Galois representation $r'_\pi$ satisfying the properties imposed on $j\circ
r_\pi$ by Conjecture \[conj:existence of Galois representations - C-group version\] is proved to exist in [@cht] and [@twugk]. Specifically, everything except the form of complex conjugation follows from Proposition 3.4.4 of [@cht] (although see also Theorems 4.4.2 and Theorems 4.4.3 of [@cht] for related results on ${\operatorname{GL}}_n$ whose notation may be easier to compare to the notation used in this paper), and the form of complex conjugation follows from Theorem 4.1 of [@twugk]. (Note when comparing the unramified places that by definition the local Langlands correspondence ${\operatorname{rec}}(\pi_v)$ used in [@cht] is our $r_{\pi_v}$.)

Conversely, the constructions of [@cht], when they apply, actually imply our Conjecture \[conj:existence of Galois representations - C-group version\] for $\pi$ (up to Frobenius semisimplification at unramified finite places). To see this, note there is a morphism $j':\mathcal{G}_n\times{\operatorname{GL}}_1\to{}^C G$ such that $j'\circ(j\times d)$ is the identity; concretely, $j'$ is defined on the identity component by $$((h,\mu),\lambda)\mapsto
(h\lambda^{(n-1)/2},\lambda^{1/2})$$(which is well-defined independent of the choice of square root by the definition of ${}^CG$). Then we may set $r_\pi=j'\circ (r'_\pi\times\varepsilon)$, which is easily checked to have the required properties.
