13
$\begingroup$

Let's say $\pi$ is an automorphic representation on $GL_3(A_{\mathbb Q})$ (or $GL_n(A_{\mathbb Q})$).

If $\pi$ is not cuspidal, what $\pi$ can be other than isobaric sums?

If there is such a thing, what's their $L$-functions? Do $L$-functions decompose like those of isobaric sums?

$\endgroup$

1 Answer 1

13
$\begingroup$

EDIT. A colleague wrote to me to point out that my original answer to this question was actually completely wrong: I had confused "isobaric" representations with "pure" representations (which are not at all the same thing).

The correct answer, according to my colleague, is this. Consider the one-dimensional representation $\sigma = |\cdot|^{1/2} \boxtimes|\cdot|^{-1/2}$ of $(GL_1 \times GL_1)(\mathbf{A})$. Then we can parabolically-induce this up to a representation $I(\sigma)$ of $GL_2(\mathbf{A})$. The representation $I(\sigma)$ is very highly reducible: its irreducible factors are precisely the representations of the form $\pi = \prod_v \pi_v$ where all but finitely many $\pi_v$ are the one-dimensional trivial representation of $GL_2(\mathbf{Q}_v)$, and the remainder are the Steinberg representation. All of these $\pi$'s are automorphic, but only the globally trivial representation (with no Steinberg places) is isobaric in Langlands' sense.

Notice that any two representations occurring in $I(\sigma)$ are isomorphic locally almost everywhere, so there is no "strong multiplicity one" for non-cuspidal automorphic reps. The point of isobaric representations seems to be to cut down from all automorphic reps to a smaller class in which there is some hope of multiplicity-one results being true.


Original answer: You can already see this for $GL_2$, so let me give an answer there, rather than for $GL_3$.

Consider the function $L(s) = \zeta(s - r +\tfrac{1}{2}) \zeta(s + r - \tfrac{1}{2})$, for an integer $r \ge 2$. This is the $L$-function of a non-cuspidal automorphic representation of $GL_2$ (given by the holomorphic Eisenstein series $E_{2r}$). However, it is not isobaric -- on the Galois side, it corresponds to a direct sum of two $\ell$-adic Galois representations which are each pure, but with different weights, while isobaric representations have all components pure of the same weight. ("Same weight" is the literal meaning of the word "isobaric".)

$\endgroup$
1
  • 5
    $\begingroup$ Exactly. Such simple possibilities are unfortunately routinely obscured (or left unexplained) by the "standard definitions", including isobaric-ness, most often without explaining the motivation for the requirements, or how reasonable things might fail to meet them. $\endgroup$ Commented Jul 16, 2017 at 0:30

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .