Abstract:We examine the distribution of zeroes of half-integral weight Hecke cusp forms on the manifold $\Gamma_0(4)\backslash\mathbb H$ near a cusp at infinity. In analogue of the Ghosh-Sarnak conjecture for classical holomorphic Hecke cusp forms, one expects that almost all of the zeroes sufficiently close to this cusp lie on two vertical geodesics $\Re(s)=-1/2$ and $\Re(s)=0$ as the weight tends to infinity. We show that, for $\gg_\varepsilon K^2/(\log K)^{3/2+\varepsilon}$ of the half-integral weight Hecke cusp forms in the Kohnen plus subspace with weight bounded by a large constant $K$, the number of such "real" zeroes grows almost at the expected rate. We also obtain a weaker lower bound for the number of real zeroes that holds for a positive proportion of forms. One of the key ingredients is the asymptotic evaluation of averaged first and second moments of quadratic twists of modular $L$-functions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the distribution of real zeros of half - integral weight Hecke cusp forms. Specifically, the author studies the zero - distribution of half - integral weight Hecke cusp forms near the infinite cusp on the modular manifold \(\Gamma_0(4)\backslash\mathbb{H}\).
### Main Problem Description
According to Ghosh and Sarnak's research on classical holomorphic Hecke cusp forms, they conjectured that as the weight tends to infinity, most of the zeros near the infinite cusp will concentrate on two vertical geodesics: \(\text{Re}(s)=-\frac{1}{2}\) and \(\text{Re}(s) = 0\). This paper aims to verify whether this conjecture also applies to half - integral weight Hecke cusp forms and to explore the growth of the number of these zeros.
### Research Objectives
The main objective of the paper is to prove that for most half - integral weight Hecke cusp forms in the Kohnen positive subspace, within a given weight range, the number of "real" zeros grows almost at the expected rate. In addition, the author also hopes to obtain a weaker lower - bound estimate, which applies to a certain proportion of forms.
### Key Results
The main results of the paper can be summarized as follows:
1. **Theorem 1.1**: For most half - integral weight Hecke cusp forms \(g\in S_K\), within a specific range (i.e., \(\sqrt{K\log K}\leq Y\leq K^{1 - \delta}\)), the number of zeros on \(\delta_j\cap F_Y\) is close to the expected value.
\[
\#\{Z(g)\cap\delta_j\cap F_Y\}\gg\frac{K}{Y(\log K)^{23/2}}
\]
2. **Theorem 1.3**: For forms \(g\in S_K\) of one - half minus an arbitrarily small quantity \(\epsilon\), within the same range, the number of zeros on \(\delta_j\cap F_Y\) also has a certain lower - bound estimate.
\[
\#\{Z(g)\cap\delta_j\cap F_Y\}\gg\left(\frac{K}{Y}\right)^{1/2}(\log K)^{-1}
\]
### Methods and Tools
To prove the above results, the author uses the following methods and techniques:
- **Sign changes of Fourier coefficients**: Derive the existence of zeros by studying the sign changes of Fourier coefficients \(c_g(n)\).
- **Shimura correspondence**: Use the Shimura correspondence to relate half - integral weight forms to their corresponding integral weight forms.
- **Moment estimates of L - functions**: Obtain the properties of Fourier coefficients by asymptotically estimating the moments of quadratic - twisted modular form L - functions.
### Conclusion
This paper is the first to explore the zero - distribution problem of half - integral weight Hecke cusp forms on a small scale and has made important progress. Although the methods are different from those of classical holomorphic Hecke cusp forms, these results provide valuable insights for further understanding the properties of half - integral weight forms.