show · mf.siegel.cusp_form all knowls · up · search:

We have the Siegel phi map from degree $g$ down to degree $g-1$: $$\Phi: M_k^{(g)}\to M_k^{(g-1)}$$ defined by $$\Phi(f)(\Omega) = \lim_{t\to\infty} f\left( \begin{pmatrix}\Omega&0\\0&it\end{pmatrix}\right).$$

We say $f$ is a cusp form if for all $\gamma\in \Sp(2g,\Q)$, we have $$\Phi(f|\gamma)=0$$ where $|$ is the slash operator.

Knowl status:
  • Review status: beta
  • Last edited by Fabien Cléry on 2021-05-07 03:59:12
Referred to by:
History: (expand/hide all) Differences (show/hide)