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)