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.
Authors:
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)