Abstract:The classical modular polynomials $\Phi_\ell(X,Y)$ give plane curve models for the modular curves $X_0(\ell)/\mathbb{Q}$ and have been extensively studied. In this article, we provide closed formulas for $\ell$ nontrivial coefficients of the classical modular polynomials $\Phi_\ell(X,Y)$ in terms of the Fourier coefficients of the modular invariant function $j(z)$ for a prime $\ell$. Our interest in the formulas were motivated by our conjectures on congruences modulo powers of the primes $2,3$ and $5$ satisfied by the coefficients of these polynomials. We deduce congruences from these formulas supporting the conjectures.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the congruence properties of the coefficients of the classical modular polynomial \(\Phi_\ell(X,Y)\). Specifically, the author Haiyang Wang provides closed - expressions for these coefficients in the paper and derives some conjectural congruence relations based on these expressions, especially for the powers of prime numbers \(2\), \(3\) and \(5\).
### Main problems:
1. **Provide closed formulas**: The author provides a closed - form formula for the non - trivial coefficients of the classical modular polynomial \(\Phi_\ell(X,Y)\), and these formulas are expressed in terms of the Fourier coefficients of the modular invariant function \(j(z)\).
2. **Verify congruence conjectures**: The author proposes a conjecture about the congruence properties of these coefficients under certain prime - power exponents and verifies these conjectures through calculations and theoretical derivations.
### Specific problem descriptions:
#### Proposal of closed formulas
The author gives the following two main results:
- For \(0 < m < \ell\), the closed formula for the coefficient \(a_{\ell,\ell - m}\) is:
\[
a_{\ell,\ell - m}=\sum_{t_1r_1+\cdots+t_\lambda r_\lambda = m}\frac{(- 1)^uu!}{t_1!\cdots t_\lambda!}\binom{\ell - m + u}{u}c_{t_1}^{r_1-1}\cdots c_{t_\lambda}^{r_\lambda-1}
\]
where \(u = t_1+\cdots+t_\lambda-1\).
- For \(m=\ell\), the closed formula for the coefficient \(a_{\ell,0}\) is:
\[
a_{\ell,0}=-(\ell + 1)c_0+\sum_{t_1r_1+\cdots+t_\lambda r_\lambda=\ell}\frac{(-1)^uu!}{t_1!\cdots t_\lambda!}\ell c_{t_1}^{r_1-1}\cdots c_{t_\lambda}^{r_\lambda-1}
\]
#### Verification of congruence conjectures
The author proposes the following conjectures:
- If \(\ell\neq2\), then \(a_{m,n}\equiv0\ \text{mod}\ 2^{15c}\).
- If \(\ell\neq3\), then \(a_{m,n}\equiv0\ \text{mod}\ 3^{3c}\), and if \(\ell\equiv1\ \text{mod}\ 3\), then \(a_{m,n}\equiv0\ \text{mod}\ 3^{\lceil9/2c\rceil}\).
- If \(\ell\neq5\), then \(a_{m,n}\equiv0\ \text{mod}\ 5^{3c}\).
### Main contributions of the paper:
- Provide closed formulas for the coefficients of classical modular polynomials, which helps to understand the properties of these coefficients more deeply.
- Verify the congruence properties of these coefficients under specific prime - power exponents, providing strong evidence and support for subsequent research.
### Summary:
The core problem of this paper is to further explore and verify the congruence properties of these coefficients under certain prime - power exponents by providing closed formulas for the coefficients of classical modular polynomials. This not only deepens the understanding of the coefficients of modular polynomials but also provides an important theoretical basis for further research in related fields.