6
$\begingroup$

In his work on the classification of automorphic representations of a group $G$, Arthur has conjectured that the parameterization of such representations involves a homomorphism $\rho : SL_2 \times Gal(\bar{F}/F) \rightarrow G^\vee$. This is a refinement of earlier conjectures that involved homomorphisms $\tilde{\rho} : Gal(\bar{F}/F) \rightarrow G^\vee$ and thus the $SL_2$ appearing in $\rho$ is sometimes referred to as "Arthur's $SL_2$". My questions are the following :

  • For arbitrary $G$, is there a bijection between certain kinds of autormorphic representations and the instances where the $SL_2$ plays a non-trivial role ? Ex : $G=GL_n$, my understanding is that the $SL_2$ does not play a non-trivial role and that this is related to the absence of non-tempered cuspidal unitary representations (I learnt the statement from Frenkel's review). But, it is not clear to me if there is a bijection between non-tempered cuspidal unitary representations and cases where $SL_2$ plays a non-trivial role on the Galois side.

  • I would like to ask a question similar in spirit to the above one for the local case. Is there one ? (Arthur's article has a few comments about what the existence of such parameters means for the local case, but I could not use it to come up with a question for the local case).

References : Arthur's paper "Unipotent automorphic representations : conjectures (1989)" is available here and the Frenkel review where I came across Arthur's $SL_2$ is here.

$\endgroup$

1 Answer 1

6
$\begingroup$

For $G=Gl_n$, the $SL_2$ factor of Arthur plays a trivial role in the classification only when you restrict yourself to cuspidal automorphic representations. But Arthur is interested with more general automorphic representations that are in the discrete spectrum, that is (essentially) the irreducible sub-representation (in the naive sense, that is not the one that are in the continuous spectrum) of $L^2(G(\mathbb A)/G(\mathbb Q),\omega)$, where $\omega$ is a central character. For the classification of this, the $SL_2$ factor is absolutely necessary. In fact proving that the classification of the discrete spectrum of $GL_n$ is, modulo the classification of the cuspidal spectrum of $GL_n$, as pre diced by Arthur conjecture with his $SL_2$ factor is a monumental theorem of Langlands (prior to Arthur, who wa motivated by it to introduce its $SL_2$-factor), which has been rewritten with more details by Moeglin and Waldspurger in a large book with evocative sub-title "une paraphrase de l'Écriture"). This answers your question about $GL_n$.

In general, it is still true, according to Arthur's formalism now proved in many cases, that the representations (or rather an $A$-packet of representations) that have an Arthur parameter which is trivial on the $SL_2$ factor are exactly the one which are tempered.

To understand more about Arthur formalism, besides Arthus' articles which are very deep and very hard, and Frankel's survey you quote, you can give a look to the Appendix of my book with Chenevier, Astérisque 328, and also to the new book of Chenevier and Lannes, Chapter 8.

$\endgroup$
7
  • $\begingroup$ Thanks, that does answer the question I had ! I will certainly take a look at the books you have cited. If I may ask a quick followup : What does the existence of A-packets mean for Local Langlands ? In the Arthur paper that I cited, he alludes to the problem of finding the unitary dual and mentions that the existence of A-packets should have something to say about this. $\endgroup$
    – Aswin
    Commented Oct 20, 2014 at 21:06
  • 1
    $\begingroup$ Something to say, certainly, but I don't know exactly what. At first glance, local A-packets are much less well behaved than local L-packets. For instance they are not necessary disjoint (that is a representation may belong to several different local A-packets) and there is no clear specification in Arthur conjecture what part of the admissible dual is covered by the union of all local A-packets, except that the representations that are local components of discrete automorphic representations should belong to at least one A-packet. $\endgroup$
    – Joël
    Commented Oct 21, 2014 at 1:19
  • $\begingroup$ It is very interesting that local A-packets are not disjoint in general. Is there a reference where some examples showing this aspect can be found ? $\endgroup$
    – Aswin
    Commented Oct 21, 2014 at 3:08
  • $\begingroup$ Dont mind my last comment - just realized that the Appendix in your book with Chenevier does discuss example(s) of this kind. $\endgroup$
    – Aswin
    Commented Oct 21, 2014 at 6:34
  • 1
    $\begingroup$ Okay. Hope the Appendix will be of some help. Beware the last section of it, on the multiplicity formula. Chenevier told me that, after he kept thinking on the subject, he found it a little bit misleading. The corresponding chapter in his recent book with Lannes should be clearer and more complete. $\endgroup$
    – Joël
    Commented Oct 21, 2014 at 12:46

You must log in to answer this question.