Paul D. Nelson
Abstract:Let f traverse a sequence of classical holomorphic newforms of fixed weight and increasing squarefree level q tending to infinity. We prove that the pushforward of the mass of f to the modular curve of level 1 equidistributes with respect to the Poincaré measure.
Our result answers affirmatively the squarefree level case of a conjecture spelled out by Kowalski, Michel and Vanderkam (2002) in the spirit of a conjecture of Rudnick and Sarnak (1994).
Our proof follows the strategy of Holowinsky and Soundararajan (2008) who show that newforms of level 1 and large weight have equidistributed mass. The new ingredients required to treat forms of fixed weight and large level are an adaptation of Holowinsky's reduction of the problem to one of bounding shifted sums of Fourier coefficients (which on the surface makes sense only in the large weight limit), an evaluation of the p-adic integral needed to extend Watson's formula to the case of three newforms where the level of one divides but need not equal the common squarefree level of the other two, and some additional technical work in the problematic case that the level has many small prime factors.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the uniformity of the mass distribution of modular forms, specifically the equidistribution conjecture in the "level aspect". More precisely, the author aims to prove that for classical holomorphic newforms $f$ of fixed weight ($weight$) and increasing square - free level ($squarefree level$) $q \to \infty$, their masses are uniformly distributed on the modular curve $Y_0(1)$ with respect to the Poincaré measure.
### Detailed Explanation
#### Background and Problem Description
1. **Mass Distribution of Modular Forms**: Let $f: \mathbb{H} \to \mathbb{C}$ be a classical holomorphic newform with a fixed weight $k$ and an increasing square - free level $q$. The mass of $f$ is defined as the finite measure $\nu_f = |f(z)|^2 y^{k - 2} dxdy$, where $z=x + iy$ is on the modular curve $Y_0(q)=\Gamma_0(q)\backslash\mathbb{H}$.
2. **Existing Results**: Holowinsky and Soundararajan proved in 2008 that when the weight $k \to \infty$ and the level $q = 1$, the masses of newforms are uniformly distributed. This result solved a variant of the Quantum Unique Ergodicity Conjecture proposed by Rudnick and Sarnak in 1994.
3. **New Conjecture**: Kowalski, Michel and VanderKam proposed a similar conjecture in 2002, that is, the masses of newforms of fixed weight and large level are also uniformly distributed. Specifically, they conjectured that for newforms $f$ of fixed weight and increasing level $q \to \infty$, their masses projected onto $Y_0(1)$ are uniformly distributed.
#### Main Contributions of the Paper
The author in this paper proved the correctness of the above conjecture in the case of square - free levels. Specifically:
- **Main Theorem**: Let $f$ be a sequence of newforms of fixed weight and increasing square - free level $q \to \infty$, then the mass of $f$ is uniformly distributed on the modular curve $Y_0(1)$ with respect to the Poincaré measure.
- **Innovation Points**:
- Reducing the problem to estimating shifted sums.
- Improving Holowinsky's method to handle the case of fixed weight and large level.
- Extending Watson's formula so that it is applicable to the case where the level of one of the three newforms can be divisible by the common square - free level of the other two but not necessarily equal.
Through these methods, the author successfully proved that in the case of square - free levels, the masses of newforms are uniformly distributed, thus partially solving the conjecture proposed by Kowalski et al.
### Summary
The core problem of this paper is to verify whether the masses of newforms of fixed weight and increasing level are uniformly distributed on the modular curve. By introducing new mathematical tools and techniques, the author successfully proved that in the case of square - free levels, this conjecture holds.