Abstract:We study the zeros of Poincaré series $P_{k,m}$ for the full modular group. We consider the case where $m \sim \alpha k$ for some constant $\alpha > 0$. We show that in this case a positive proportion of the zeros lie on the line $\frac{1}{2} + it$. We further show that if $\alpha > \frac{\log(2)}{2\pi}$ then the imaginary axis also contains a positive proportion of zeros. We also give a description for the location of the non-real zeros when $\alpha$ is small.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the zero - point distribution of Poincaré series \(P_{k,m}\). Specifically, the author studies the positions of these zero - points in the fundamental domain \(F\) of the modular group \(\text{SL}(2,\mathbb{Z})\) when \(m\sim\alpha k\).
### Main problems
1. **Distribution of zero - points on specific lines**:
- The paper proves that in the case of \(m\sim\alpha k\), a positive proportion of the zero - points of \(P_{k,m}\) are located on the line \(\frac{1}{2}+it\).
- If \(\alpha >\frac{\log(2)}{2\pi}\), the imaginary axis also contains a positive proportion of zero - points.
2. **Distribution of non - real zero - points**:
- When \(\alpha\) is small, the paper describes the positions of non - real zero - points.
- In particular, for \(\alpha <\frac{1}{4\pi}\), the paper explains the distribution pattern of non - real zero - points by analyzing the curve \(\Gamma_{\alpha}\).
### Specific results
- **Theorem 1.1**: Suppose \(m = \alpha k+o(k)\) and \(\alpha>0\), then the number of zero - points of \(P_{k,m}\) located on \(L_{\rho}\) in \(F\) is at least \(P_{\rho}(\alpha)\frac{k}{12}+o(k)\), where \(P_{\rho}(\alpha)>0\).
- For \(\alpha\leq\frac{\sqrt{3}\log(3)}{4\pi}\), an explicit formula for \(P_{\rho}(\alpha)\) is given.
- For \(\alpha <\frac{1}{4\pi}\), it is proved that \(P_{\rho}(\alpha)\) is exact.
- **Theorem 1.2**: Suppose \(m=\alpha k + o(k)\) and \(\alpha >\frac{\log(2)}{2\pi}\), then the number of zero - points of \(P_{k,m}\) located on \(L_{i}\) in \(F\) is at least \(P_{i}(\alpha)\frac{k}{12}+o(k)\), where \(P_{i}(\alpha)>0\).
- **Theorem 1.3**: Suppose \(m=\alpha k+o(k)\) and \(0 <\alpha <\frac{1}{4\pi}\), define the curve \(\Gamma_{\alpha}\) as the solution set of the equation \(2\pi\alpha y=\log(|z|)(1 - |z|^{-2})\). Let \(\epsilon>0\), and denote \(N_{\Gamma_{\alpha},\epsilon}\) as the number of non - real zero - points of \(P_{k,m}\) in \(F\) whose distance from \(\Gamma_{\alpha}\) is no more than \(\epsilon\), then \(N_{\Gamma_{\alpha},\epsilon}>C(\alpha)k + o(k)\), where \(C(\alpha)\) is some positive constant. These zero - points account for 100% of the zero - points in \(F\) that are not on \(A\) and \(L_{\rho}\).
### Methods
- **Main lemma**: Estimate \(P_{k,m}(z)\) by analyzing the maximum value of \(\sigma_{c,d}(z)\)