3
$\begingroup$

How does one prove that an Eisenstein series (adelically formulated as in the book of Moeglin-Waldspurger) is not identically zero? Namely how does one prove that the sum $\sum_{\gamma\in P(k)\backslash G(k)}\varphi(\gamma g)$ is not identically zero, provided the sum converges? The book by M-W does not prove it, and neither could I find a reference.

$\endgroup$
2
  • $\begingroup$ Wouldn't the knowledge of the constant term being non-zero give you this? Probably not the most satisfying, but I don't think that this is circular. $\endgroup$ Apr 7, 2016 at 16:12
  • $\begingroup$ Thanks for your answer. I think it works, though I still feel like I would like to know a more direct proof. $\endgroup$
    – Windi
    Apr 12, 2016 at 15:17

1 Answer 1

1
$\begingroup$

The space $P(k) \backslash G(k)$ has a discrete set of representatives in $ U(A) M(k) \backslash G(A)$. See for example the discussion after Lemma 3.3 in Gelbart-Jacquet "Forms of GL(2) from the analytic view point" for $G=GL(2)$ . I am sure somewhere in Moeglin-Waldspurger a similar lemma is quoted/proved somewhere for the more general $G$. Arthur has something similar certainly for $G$ reductive, but I remember that M-W consider also more generally finite covers etc. The main concern of these lemmas is actually the absolute convergence, but also they also provide the non-triviality.

A suitable set of representatives can be given via the Bruhat decomposition. Pick a compact set $K \subset U(A) M(k) \backslash G(A)$ containing only one representative and having non-empty interior. Let $\varphi :U(A) M(k) \backslash G(A) \rightarrow \mathbb{C}$ be a function which is positive, smooth, compactly supported on this set $K$, non-vanishing on the interior. Then your sum will not be zero only for $\gamma^{-1} g$ for $ g \in K$. This works equally well if you work modulo the center.

$\endgroup$
2
  • 1
    $\begingroup$ Thanks for your quick reply. But how can one know that such $\varphi$ is indeed in the space of automorphic forms giving rise to the Eisenstein series? My understanding is that $\varphi$ has to be an automorphic form on the space $U(\mathbb{A})M(k)\backslash G(\mathbb{A})$ in the notation of Moegling−Waldspurger. But how is your $\varphi$ in this space? $\endgroup$
    – Windi
    Apr 2, 2013 at 16:24
  • $\begingroup$ Sorry, wrong space of functions. The argument is the same though. I will have to look up whether my first sentence needs more explanation tomorrow. The claim there might be nontrivial and a theorem. $\endgroup$
    – Marc Palm
    Apr 2, 2013 at 19:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.