A vanishing theorem for Siegel modular forms of weight one (Q2479818)

For a natural number \(N\), let \(S_1(\Gamma_0(N))\) be the space of Siegel modular cusp forms of degree 2 and weight 1 on the group \(\Gamma_0(N)\) of \(\text{Sp}_2(\mathbb{Z})\). \textit{C. Poor} and \textit{D. S. Yuen} [Abh. Math. Semin. Univ. Hamb. 77, 59--80 (2007; Zbl 1214.11059)] discovered that \(S_1(\Gamma_0(p))=0\) for all primes \(p\leq 97\). The authors prove the following. Theorem 1. For every natural number \(N\), we have \(S_1(\Gamma_0(N))=0\). For the proof of this theorem, they use a result on Jacobi forms of degree one. Let \(J_{1,m}(l)\) denote the space of Jacobi forms of degree and weight one and of index \(m\) on \(\Gamma_0(l)\ltimes\mathbb{Z}^2\). The second result is as follows. Theorem 2. Let \(m\), \(l_1\), \(l_2\) be positive integers such that \(l_1\mid m^\infty\) and \(l_2\) is relatively prime to \(m\). Then \(J_{1,m}(l_1l_2)=J_{1,m}(l_1)\).