A characterization of Jacobi cusp forms of certain types (Q402648)

This paper characterises cusp forms among Jacobi forms under some mild conditions in terms of the growth of the Fourier coefficients. Similar results are known in some other cases, a few of which are special cases of this result. Suppose \(k\geq 4\) is even and \(m\) and \(N\) are squarefree positive integers with \((2m,N)=1\). Then a Jacobi form \(\phi=\sum c(n,r)q^n\zeta^r\) of weight \(k\) and index \(m\) for \(\Gamma_0(N)\) is a cusp form if (and only if) there exists \(c\in (0,k-{{3}\over{2}})\) such that \(c_(n,r)\ll_\phi | D|^c\), for any fundamental discriminant \(D=r^2-4nm\). The conditions on the weight and level are sufficient for the space of Jacobi forms to split as the direct sum of the cusp forms and the Jacobi Eisenstein series: therefore, to prove the theorem, it is enough to show that the coefficients of Eisenstein series do not satisfy the inequality. Estimates for those coefficients are known in some similar cases but not in this exact situation, and most of the paper is therefore taken up with verifying that the expected estimate does indeed hold.