extending cusp forms

2010-02-11T01:50:04Z

Let $E/F$ be a quadratic extension of number fields, and let $V$ be an $n$-dimensional Hermitian space over $E$.

Let $\tilde{G} := GU(V)$ and $G := U(V)$. Suppose that $(\pi, V_{\pi})$ is an irreducible cuspidal representation of $G.$

Is there an irreducible cuspidal representation $(\tilde{\pi}, V_{\tilde{\pi}})$ of $\tilde{G}$ such that $V_\pi \subset V_{\tilde{\pi}}|_{G}$? Note that here, the restriction is that of cusp forms, not of the representation itself.

Answer by Emerton for extending cusp forms

2010-02-17T14:20:25Z

I believe the answer should be yes, by some version of the following sketch of an argument:

(Note: by restriction of scalars, I regard all groups as being defined over $\mathbb Q$, and I write ${\mathbb A}$ for the adeles of $\mathbb Q$.)

We are given $V_{\pi} \subset Cusp(G(F)\backslash G({\mathbb A}_F)).$

Let $\tilde{C}$ denote the maximal $\mathbb Q$-split torus in the centre of $\tilde{G}$ (this is just a copy of $\mathbb G_m$), and write $C = \tilde{C}\cap G$. (I guess this is just $\pm 1$?)

Now $C(\mathbb A)$ acts on $V_{\pi}$ through some character $\chi$ of $(\mathbb A)/C(\mathbb Q)$. Choose an extension $\tilde{\chi}$ of $\chi$ to a character of $\tilde{C}(\mathbb A)/\tilde{C}(\mathbb Q)$, and regard $V_{\pi}$ as a representation of $\tilde{C} G$ by have $\tilde{C}$ act through $\tilde{\chi}$. Since $\tilde{C} G$ is normal and Zariksi open in $\tilde{G}$, we should be able to further extend the $\tilde{C} G(\mathbb A)$-action on $V_{\pi}$ to an action of $\tilde{G}(\mathbb Q)\tilde{C}G(\mathbb A).$

Now if we consider $Ind_{\tilde{G}(\mathbb Q)\tilde{C} G(\mathbb A)}^{\tilde{G}(\mathbb A)} V_{\pi},$ we should be able to find a cupsidal representation $V_{\tilde{\pi}}$ of the form you want (with $\tilde{C}(A)$ acting via $\tilde{\chi}$).

The intuition is that automorphic forms on $G(\mathbb A)$ are $Ind_{G(\mathbb Q)}^{G(\mathbb A)} 1,$ and similarly for $\tilde{G}$. We will consider variants of this formula that takes into account central characters, and think about how to compare them for $G$ and $\tilde{G}$.

Inside the automorphic forms, we have those where $C(\mathbb A)$ acts by $\chi$; this we can write as $Ind_{G(\mathbb Q)C(\mathbb A)}^{G(\mathbb A)} \chi$, and then rewrite as $Ind_{\tilde{G}(\mathbb Q)\tilde{C}(\mathbb A)}^{\tilde{G}(\mathbb Q)\tilde{C}G(\mathbb A)} \tilde{\chi}.$ This is where $V_{\pi}$ lives, once we extend it to a repreresentation of $\tilde{G}(\mathbb Q)\tilde{C}G(\mathbb A)$ as above.

Now the automorphic forms on $\tilde{G}(\mathbb A)$ with central character $\tilde{\chi}$ are $Ind_{\tilde{G}(\mathbb Q)\tilde{C}(\mathbb A)}^{\tilde{G}(\mathbb A)} \tilde{\chi},$ which we can rewrite as $Ind_{\tilde{G}(\mathbb Q) \tilde{C}G(\mathbb A)}^{\tilde{G}(\mathbb A)} Ind_{\tilde{G}(\mathbb Q)\tilde{C}(\mathbb A)}^{\tilde{G}(\mathbb Q)\tilde{C}G(\mathbb A)} \tilde{\chi}.$ This thus contains $Ind_{\tilde{G}(\mathbb Q)\tilde{C}G(\mathbb A)}^{\tilde{G}(\mathbb A)}V_{\pi}$ inside it, and so an irreducible constituent of the latter should be a $V_{\tilde{\pi}}$ whose restriction (as a space of functions) to $G(\mathbb A)$ contains $V_{\pi}$.

What I have just discussed is the analogue for $G$ and $\tilde{G}$ of the relation between automorphic forms on $SL_2$ and $GL_2$ discussed e.g. in Langlands--Labesse. Hopefully I haven't blundered!

extending cusp forms - MathOverflow

extending cusp forms

Answer by Emerton for extending cusp forms