Whittaker model

From HandWiki
Revision as of 19:35, 6 February 2024 by WikiEd2 (talk | contribs) (fixing)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: In mathematics, representation of a reductive algebraic group

In representation theory, a branch of mathematics, the Whittaker model is a realization of a representation of a reductive algebraic group such as GL2 over a finite or local or global field on a space of functions on the group. It is named after E. T. Whittaker even though he never worked in this area, because (Jacquet 1966, 1967) pointed out that for the group SL2(R) some of the functions involved in the representation are Whittaker functions.

Irreducible representations without a Whittaker model are sometimes called "degenerate", and those with a Whittaker model are sometimes called "generic". The representation θ10 of the symplectic group Sp4 is the simplest example of a degenerate representation.

Whittaker models for GL2

If G is the algebraic group GL2 and F is a local field, and τ is a fixed non-trivial character of the additive group of F and π is an irreducible representation of a general linear group G(F), then the Whittaker model for π is a representation π on a space of functions ƒ on G(F) satisfying

[math]\displaystyle{ f\left(\begin{pmatrix}1 & b \\ 0 & 1\end{pmatrix}g\right) = \tau(b)f(g). }[/math]

(Jacquet Langlands) used Whittaker models to assign L-functions to admissible representations of GL2.

Whittaker models for GLn

Let [math]\displaystyle{ G }[/math] be the general linear group [math]\displaystyle{ \operatorname{GL}_n }[/math], [math]\displaystyle{ \psi }[/math] a smooth complex valued non-trivial additive character of [math]\displaystyle{ F }[/math] and [math]\displaystyle{ U }[/math] the subgroup of [math]\displaystyle{ \operatorname{GL}_n }[/math] consisting of unipotent upper triangular matrices. A non-degenerate character on [math]\displaystyle{ U }[/math] is of the form

[math]\displaystyle{ \chi(u)=\psi(\alpha_1 x_{12}+\alpha_2 x_{23}+\cdots+\alpha_{n-1}x_{n-1n}), }[/math]

for [math]\displaystyle{ u=(x_{ij}) }[/math][math]\displaystyle{ U }[/math] and non-zero [math]\displaystyle{ \alpha_1, \ldots, \alpha_{n-1} }[/math][math]\displaystyle{ F }[/math]. If [math]\displaystyle{ (\pi,V) }[/math] is a smooth representation of [math]\displaystyle{ G(F) }[/math], a Whittaker functional [math]\displaystyle{ \lambda }[/math] is a continuous linear functional on [math]\displaystyle{ V }[/math] such that [math]\displaystyle{ \lambda(\pi(u)v)=\chi(u)\lambda(v) }[/math] for all [math]\displaystyle{ u }[/math][math]\displaystyle{ U }[/math], [math]\displaystyle{ v }[/math][math]\displaystyle{ V }[/math]. Multiplicity one states that, for [math]\displaystyle{ \pi }[/math] unitary irreducible, the space of Whittaker functionals has dimension at most equal to one.

Whittaker models for reductive groups

If G is a split reductive group and U is the unipotent radical of a Borel subgroup B, then a Whittaker model for a representation is an embedding of it into the induced (Gelfand–Graev) representation IndGU(χ), where χ is a non-degenerate character of U, such as the sum of the characters corresponding to simple roots.

See also

References

Further reading