Cormac O'Sullivan,Morten S. Risager
Abstract:We prove recursive formulas for the Taylor coefficients of cusp forms, such as Ramanujan's Delta function, at points in the upper half-plane. This allows us to show the non-vanishing of all Taylor coefficients of Delta at CM points of small discriminant as well as the non-vanishing of certain Poincaré series. At a "generic" point all Taylor coefficients are shown to be non-zero. Some conjectures on the Taylor coefficients of Delta at CM points are stated.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **The non - zero problem of Taylor coefficients**:
- The paper proves the recurrence formula of Taylor coefficients of modular forms (such as Ramanujan's Delta function) at some points in the upper half - plane. This enables the author to prove that all Taylor coefficients of the Delta function at specific CM points (CM points with small discriminants) are non - zero.
- By studying these Taylor coefficients, the author also proves the non - zero property of certain Poincaré series.
2. **The non - zero problem of Fourier coefficients at general points**:
- For any holomorphic cusp form \( f \) on \( \Gamma = SL(2, Z) \), the paper explores whether all Fourier coefficients at "generic" points in \( H \) are non - zero. Specifically, the author proves that for almost all points (i.e., all points outside the exceptional set of measure 0), all Fourier coefficients are non - zero.
### Specific content overview
- **Background introduction**:
- Introduces the modular group \( \Gamma = SL(2, \mathbb{Z}) \) and its action on the upper half - plane \( \mathcal{H} \).
- Mentions Ramanujan's Delta function \( \Delta(z) \) and its q - expansion, and briefly describes the Lehmer conjecture: \( \tau(m)\neq 0 \) for all \( m\geq 1 \).
- **Main results**:
- **Theorem 1.2**: For each CM point \( z = z_D \), there exists a number field \( K \), constants \( \kappa_z, \lambda_z\in\mathbb{C} \) and polynomials \( q_{m,z}(t)\in\mathcal{O}_K[t] \), such that the \( m \)-th Fourier coefficient of \( \Delta(z) \) at \( z \) can be expressed as:
\[
c_z(\Delta, m)=\frac{\kappa_z\lambda_z^m}{m!}q_{m,z}(0)\quad(m\geq 0)
\]
where \( q_{m,z}(t) \) satisfies the recurrence relation:
\[
q_{0,z}(t) = 1,\quad q_{1,z}(t)=a_1(t),
\]
\[
q_{n + 1,z}(t)=(a_1(t)+n a_2(t))q_{n,z}(t)+a_3(t)q'_{n,z}(t)+n(n + 11)a_4(t)q_{n-1,z}(t)\quad(n\geq 1).
\]
- **Theorem 1.3**: For specific negative fundamental discriminants \( D\in\{- 3,-4,-7,-8,-11,-15,-19,-20,-24\} \), all non - trivial Fourier coefficients \( c_{z_D}(\Delta, n) \) are non - zero.
- **Theorem 1.5**: For any non - zero holomorphic cusp form \( f \), all Fourier coefficients at almost all points are non - zero.
### Applications
- **Non - zero property of Poincaré series**: Using the results of Theorem 1.3, the non - zero property of specific Poincaré series is proved.
- **Non - zero property of the central value of L - functions**: Speculates on how to apply these results to prove the non - zero property of the central critical values of certain character - twisted L - functions.
Through these studies, the paper not only solves the non - zero problems of Taylor coefficients and Fourier coefficients of modular forms, but also provides new tools and methods for related fields.