Abstract
We remove a parity condition from the construction of automorphic Galois representations carried out in the Paris Book Project. We subsequently generalize this construction to the case of ‘mixed-parity’ (but still regular essentially self-dual) automorphic representations over totally real fields, finding associated geometric projective representations. Finally, we optimize some of our previous results on finding geometric lifts, through central torus quotients, of geometric Galois representations, and apply them to the previous mixed-parity setting.
Similar content being viewed by others
Notes
The unitary assumption in this theorem can easily be removed by twisting.
To be precise, when we regard \(\omega \) as a character of \(\mathbb {A}_k\), we mean the restriction of \(\omega \) to \(Z_{\widetilde{G}}^0(\mathbb {A}_k)\)—here \(Z_{\widetilde{G}}^0\) denotes the connected component of the center of \(\widetilde{G}\), which is disconnected in the \(D_n\) cases. See below.
That this is always possible, and indeed also for the global Weil group \(W_k\), is a theorem of Labesse [16]; it is essentially an elaboration on Tate’s theorem that \(H^2(\Gamma _{k}, \mathbb {Q}/\mathbb {Z})=0\).
A choice of isomorphism \(\iota _v :\overline{F}_v \xrightarrow {\sim } \mathbb {C}\) will be implicit.
A real orthogonal group \(\mathrm {SO}(p, q)\) is easily seen to have a compact maximal torus if and only if \(pq\) is even.
By twisting, one can prove a similar result for C-algebraic \(\tilde{\pi }\).
And by the fact that non-self-dual irreducible constituents of \(\rho _{\sigma _i, \iota }\) come in (dual) pairs, and on such a pair \(r \oplus (r^{\vee } \otimes \omega _{\iota })\) we can put an invariant pairing of any sign we like.
Note that in the case of the quasi-split group \(\mathrm {GSpin}_{2n}^{\mu }\), they lose control at the places ramified in \(F'/F\) as well.
Unfortunately, in [19, §3.1] the extension of automorphic representations from \(G(\mathbf {A}_F)\) to \(\widetilde{G}(\mathbf {A}_F)\) was written assuming the center \(Z_{\widetilde{G}}\) of \(\widetilde{G}\) was a torus; this does not hold for \(\widetilde{G}= \mathrm {GSpin}_{2n}\), but all that is in fact required is that the quotient \(Z_{\widetilde{G}}/Z_G\) be a torus.
To be explicit in a particular case, suppose \(G= \mathrm {Spin}_{2n+1}\). \(G\) is simply-connected, so \(\rho \) is in the weight lattice, and our discrete series L-parameter at \(v \vert \infty \) is determined by a single element \(\mu _v \in \rho +X^\bullet (T)= X^\bullet (T)\), for \(T\) a maximal torus. Letting \(\widetilde{T}\supset T\) be the corresponding maximal torus of \(\widetilde{G}\), we have, in suitable coordinates, a Cartesian diagram
The lifted L-parameter on \(\widetilde{G}(F_v)\) is given by \(\tilde{\mu }_v \in \frac{1}{2} X^\bullet (\widetilde{T})\) projecting to zero (since the central character of \(\tilde{\pi }\) is finite-order) in \(X^\bullet (Z_{\widetilde{G}})\) and to \(\mu _v \in X^\bullet (T)\). In particular, if \(\mu _v\) lies in \(\oplus \mathbb {Z}\chi _i\), then \(\Pi _v\) is L-algebraic; and if \(\mu _v\) lies in \(\frac{\sum \chi _i}{2} + \oplus \mathbb {Z}\chi _i\), then \(\Pi _v\) is C-algebraic.
One way to see that the collection of such \(L\) is finite is that if \(\sigma _i\) is automorphically induced from \(L\), which by [1] is equivalent to \(\mathrm {BC}_{L/F}(\sigma _i)\) being non-cuspidal, then \(L/F\) is unramified wherever \(\sigma _i\) is; thus for any given \(\sigma _i\), \(L\) is constrained to being an extension of \(F\) of bounded degree (2) and ramified at only a fixed, finite set of primes.
To see this, first let \(\hat{\psi } :\Gamma _{F} \rightarrow \overline{\mathbb {Q}}_\ell ^\times \) be a Galois character such that \((\psi ^2)_{\iota }\cdot \hat{\psi }^{-2}\) is finite-order—here we write \((\cdot )_{\iota }\) for the Galois character associated to a type \(A_0\) Hecke character via \(\iota \)—and therefore \((\psi ^{c-1})_{\iota }\) and \(\hat{\psi }^{c-1}\) also differ by a finite-order character. Invoking [19, Lemma 3.3.4], we can find a type \(A\) Hecke character \(\psi _1\) of \(L\) such that \((\psi _1^{c-1})_{\iota }= \hat{\psi }^{c-1}\), and it is easy to see (by checking the infinity-type) that \(\psi _1/\psi \) is finite-order, hence has an associated Galois character \(\gamma :\Gamma _{F} \rightarrow \overline{\mathbb {Q}}_\ell \). Clearly \((\hat{\psi } \gamma ^{-1})^{c-1}= (\psi ^{c-1})_{\iota }\), so the claim is proven.
For example, let \(F \subset K \subset L\) be a tower of number fields with \(\hbox {Gal}(L/F)\) the dihedral group with \(8\) elements, and \(\hbox {Gal}(L/K)\) its central \(\mathbb {Z}/2\); taking \(\psi \) to be the Hecke character of \(K\) cutting out the extension \(L/K\), \(\psi \) is \(\hbox {Gal}(K/F)\)-invariant, but it clearly does not descend.
Note that this rules out certain W-algebraic representations that are strange hybrids of L- and C-algebraic; see [19, Example 2.5.6] for some discussion of this.
Over totally real fields; of course for any \(N\) there are mixed-parity representations over CM fields, simply because there are type \(A\), but not \(A_0\), Hecke characters.
Essentially the same arguments should yield ‘if and only if’ statements that don’t demand any faith in these deep conjectures to be convincing; see Proposition 5.5 below, where we obtain such an ‘if and only if’ statement for totally real \(F\).
Note that \(\widetilde{Z}\) itself need not be a torus; for instance, we could have \(G= \mathrm {Spin}_{2n}\), \(\widetilde{G}= \mathrm {GSpin}_{2n}\).
Under the surjection \(X_{\bullet }(S^\vee )_{\mathbb {Q}} \twoheadrightarrow X_{\bullet }(S^\vee ) \otimes _{\mathbb {Z}} \mathbb {Q}/\mathbb {Z}\).
The map is neither injective nor surjective, so I don’t know whether to call this inflation or restriction.
Or isobaric, with the essential self-duality applying to each cuspidal constituent, since the proof of Theorem 4.4 works just as well.
Note that there are genuine obstructions to lifting through isogeny quotients such as \(\mathrm {GL}_N \rightarrow \mathrm {GL}_N/\{ \pm 1 \}\); in this case, the obstructions lie in \(H^2(\Gamma _{F}, \pm 1)\).
References
Arthur, J., Clozel, L.: Simple algebras, base change, and the advanced theory of the trace formula. In: Annals of Mathematics Studies, vol. 120. Princeton University Press, Princeton, NJ (1989)
Adler, J.D., Prasad, D.: On certain multiplicity one theorems. Israel J. Math. 153, 221–245 (2006)
Asgari, M., Shahidi, F.: Generic transfer for general spin groups. Duke Math. J. 132(1), 137–190 (2006)
Asgari, M., Shahidi, F.: Image of functoriality for general spin groups. Manuscripta Math. http://www.math.okstate.edu/asgari/ (to appear, 2013)
Bellaïche, J., Chenevier, G.: The sign of Galois representations attached to automorphic forms for unitary groups. Compos. Math. 147(5), 1337–1352 (2011)
Buzzard, K., Gee, T.: The conjectural connections between automorphic representations and Galois representations. In: Proceedings of the LMS Durham Symposium. http://www2.imperial.ac.uk/buzzard/ (2011, preprint)
Barnet-Lamb, T., Gee, T., Geraghty, D., Taylor, R.: Potential automorphy and change of weight. Ann. Math. (2) 179(2), 501–609 (2014)
Borel, A.: Automorphic \(L\)-functions, automorphic forms, representations and \(L\)-functions. In: Proceedings of the Symposia in Pure Mathematics. Oregon State University, Corvallis, Ore., 1977, Part 2, Proc. Sympos. Pure Math., XXXIII, pp. 27–61. American Mathematical Society, Providence, RI (1979)
Blasius, D., Rogawski, J.D.: Motives for Hilbert modular forms. Invent. Math. 114(1), 55–87 (1993)
Clozel, L.: Motifs et formes automorphes: applications du principe de fonctorialité. In: Automorphic forms, Shimura varieties, and \(L\)-functions, vol. I (Ann Arbor, MI, 1988), Perspect. Math., vol. 10, pp. 77–159. Academic Press, Boston, MA (1990)
Conrad, B.: Lifting global representations with local properties. http://math.stanford.edu/conrad/. (2011, Preprint)
Cogdell, J.W., Piatetski-Shapiro, I.I., Shahidi, F.: Functoriality for the quasisplit classical groups. In: On Certain \(L\)-functions, Clay Math. Proc., vol. 13, pp. 117–140. American Mathematical Society, Providence, RI (2011)
Gelbart, S.S., Knapp, A.W.: \(L\)-indistinguishability and \(R\) groups for the special linear group. Adv. Math. 43(2), 101–121 (1982)
Hundley, J., Sayag, E.: Descent construction for GSpin groups: main results and applications. Electron. Res. Announc. Math. Sci. 16, 30–36 (2009)
Hundley, J., Sayag, E.: Descent construction for GSpin groups. arXiv:1110.6788v2 (2012, preprint)
Labesse, J.-P.: Cohomologie, \(L\)-groupes et fonctorialité. Compositio Math. 55(2), 163–184 (1985)
Langlands, R.P.: On the classification of irreducible representations of real algebraic groups. In: Representation Theory and Harmonic Analysis on Semisimple Lie Groups. Mathematical Surveys Monographs, vol. 31. American Mathematical Society, Providence, RI, pp. 101–170 (1989).
Larsen, M.: On the conjugacy of element-conjugate homomorphisms. Israel J. Math. 88(1–3), 253–277 (1994)
Patrikis, S.: Variations on a theorem of Tate. arXiv:1207.6724v4. (2012)
Sorensen, C.: A Patching Lemma. Paris Book Project. https://web.math.princeton.edu/csorense/ (preprint)
Weil, A.: On a certain type of characters of the idèle-class group of an algebraic number-field. In: Proceedings of the International Symposium on Algebraic Number Theory, Tokyo & Nikko, 1955 (Tokyo), pp. 1–7. Science Council of Japan (1956)
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper owes its existence to questions raised by Richard Taylor and Claus Sorensen: Richard asked the question addressed in Theorem 2.1, and Claus stressed that Corollary 5.10 should be true. I am very grateful to both of them. I also thank the anonymous referees for their helpful feedback. This work was carried out while a member of the Institute for Advanced Study, supported by NSF grant DMS-1062759.
Rights and permissions
About this article
Cite this article
Patrikis, S. On the sign of regular algebraic polarizable automorphic representations. Math. Ann. 362, 147–171 (2015). https://doi.org/10.1007/s00208-014-1111-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-014-1111-x