3
$\begingroup$

Let $F$ be a p-adic field, $\pi$ an irreducible supercuspidal representation of $GL(n,F)$, then it admits a unique Whittaker model $\mathcal{W}(\pi)$. For any $W\in \mathcal{W}(\pi)$, a basic result is that $W(g)$ is a compactly supported function mod $NZ$, where $N$ is the maximal unipotent subgroup and $Z$ is the center of $GL(n,F)$.

Does anyone know a reference containing this result? Many thanks.

$\endgroup$

1 Answer 1

4
$\begingroup$

I think this can be seen directly. Let's work over $G=PGL(n)$, so I don't have to keep repeating "modulo the center". Recall that supercuspidal representations can be realized as subrepresentations in $L^2(G)$ consisting of compactly supported functions.

So we can define an intertwining integral from $\pi$ into the Whittaker space by $$\Big(g\rightarrow f(g)\Big)\longrightarrow \Big(g\rightarrow\int_N \bar\psi(n)f(ng)\ dn\Big)$$ ("compactly supported" gives convergence).

Let $W$ denote the Whittaker function of an $f\in\pi$. If the support of $f$ is $C\subset G$, then the support of $W$ is $NC$. To see this, take $g\notin NC$. So, for each $n\in N$, $ng\notin C$. So $f(ng)=0$ for all $n$. Hence $W(g)=0$. Since $C$ is compact, $NC$ is compactly supported modulo $N$.

[Added: I realized I was tacitly assuming that for some $f$, the above integral is not identically zero. Since $f$ has compact support, the integral being identically zero implies that $f$ lies in the kernel of the twisted Jacquet functor. Since the representation has a Whittaker module, the twisted Jacquet module must be non-zero, hence there is an $f$ whose integral does not vanish.]

I don't know a reference off-hand for this basic fact (it also follows from the fact that the functions in the Kirillov model of a supercuspidal representation have compact support, which is in a lot of sources), though Bushnell and Henniart's "Supercuspidal Representations of $GL_n$: Explicit Whittaker Functions" gives a more, well, explicit version of it. [Added: I just realized that this is the final result of Casselman-Shalika's Whittaker function paper.]

$\endgroup$
2
  • $\begingroup$ By the way, how to realize supercuspidal representations in $L^2$ space canonically? Would you please recommend some references? $\endgroup$
    – user1832
    Commented Jun 12, 2013 at 4:27
  • $\begingroup$ The most explicit way I know is via "types" (see the book by Bushnell/Kutzko or the simpler book by Bushnell/Henniart). This writes a supercuspidal representation as the compact-induction of a representation of an open-compact (modulo center) subgroup. These are visibly compactly-supported functions on the group (though, depending on how you define things, they may take values in a finite-dimensional space, so you may need to choose a vector in the dual), so lie in $L^2$. $\endgroup$
    – B R
    Commented Jun 12, 2013 at 23:20

You must log in to answer this question.

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