Definitions

# Cuspidal representation

In number theory, cuspidal representations are certain representations of algebraic groups that occur discretely in $L^2$ spaces. The term cuspidal is derived, at a certain distance, from the cusp forms of classical modular form theory. In the contemporary formulation of automorphic representations, representations take the place of holomorphic functions; these representations may be of adelic algebraic groups.

When the group is the general linear group $operatorname\left\{GL\right\}_2$, the cuspidal representations are directly related to cusp forms and Maass forms. For the case of cusp forms, each Hecke eigenform (newform) corresponds to a cuspidal representation.

In detail, let $G$ be a connected reductive algebraic group over an algebraic number field $F$. Let $mathbb\left\{A\right\}$ be the adele of $F$. Let $Z$ be the center of $G$. Let $omega$ be a Hecke character. The character can be regarded as a character over

$Z\left(mathbb\left\{A\right\}\right)$.

Let

$L^2\left(Z\left(mathbb\left\{A\right\}\right) G\left(F\right) backslash G\left(mathbb\left\{A\right\}\right), omega\right)$ be the space
of measurable functions on

$G\left(F\right) backslash G\left(mathbb\left\{A\right\}\right)$

satisfying

$varphi\left(zx\right) = omega\left(z\right) varphi\left(x\right), z in Z\left(mathbb\left\{A\right\}\right), x in G\left(mathbb\left\{A\right\}\right)$
and
$int_\left\{Z\left(mathbb\left\{A\right\}\right) G\left(F\right) backslash G\left(mathbb\left\{A\right\}\right)\right\} |varphi\left(x\right)|^2 dx < infty.$

There is a representation $R$ of $G\left(mathbb\left\{A\right\}\right)$ (called right regular representation) on the space

$L^2\left(Z\left(mathbb\left\{A\right\}\right) G\left(F\right) backslash G\left(mathbb\left\{A\right\}\right), omega\right)$.

The representation is defined by

$R\left(g\right)varphi\left(x\right) = varphi\left(xg\right)$.

A function in

$L^2\left(Z\left(mathbb\left\{A\right\}\right) G\left(F\right) backslash G\left(mathbb\left\{A\right\}\right), omega\right)$

is a cuspidal function if for every parabolic subgroup $P$ of $G$

$$
int_{N(F) backslash N(mathbb{A})} f(nx) dn = 0. for almost every $x$, where $N$ is the unipotent radical of $P$.

Denote the space of cuspidal functions by

$L^2_0\left(omega\right)$.

It is easily shown that the space is stable under the right regular representation.

It can be shown that the subspace of cuspidal functions can be decomposed discretely, i.e. it can be written as a direct sum of represntations of $G\left(mathbb\left\{A\right\}\right)$. Those irreducible subrepresentations of $L^2_0\left(omega\right)$ are called cuspidal representations.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 28, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8738362193107605, "perplexity_flag": "head"}