Abstract:We prove a refinement of the results of Gross and Zagier on prime factorizations of singular moduli.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the refined study of singular moduli. Specifically, the paper aims to provide a more refined result for the work of Gross and Zagier on singular moduli.
### Problem Background
In the early 1980s, Gross and Zagier used the central derivative at \( s = 0 \) of the Eisenstein series constructed by Hecke, calculated its Fourier coefficients, and found that these coefficients are closely related to the decomposition of singular moduli. Their results can be restated in the form of arithmetic intersections: for the elliptic curve moduli space \( E \), the \( m \)-th Fourier coefficient \( E^*(\tau, \tau, 0) \) represents the arithmetic intersection of the \( m \)-th Hecke correspondence on \( E\times E \) with points on a specific two - dimensional cycle.
### Core Problem of the Paper
The author of this paper poses a broader question: for any \( \alpha\in F^\times \), does the \( \alpha \)-th Fourier coefficient of the central derivative \( E^*(\tau_1, \tau_2, 0) \) have a similar arithmetic meaning? In other words, does there exist an arithmetic formula similar to the Siegel - Weil formula to explain this Hecke Eisenstein series?
### Main Contributions
The main contribution of the paper is to prove that for a totally positive \( \alpha\in F \), if \( \alpha\in D^{-1} \) and \( \text{Diff}(\alpha)=\{p\} \), then the moduli space \( X_\alpha \) is zero - dimensional, and its arithmetic degree is equal to one - fourth of the \( \alpha \)-th Fourier coefficient of the central derivative of the Hecke Eisenstein series. That is:
\[ 4\cdot\deg(X_\alpha)=a_\alpha \]
where \( a_\alpha \) is the \( \alpha \)-th Fourier coefficient of \( E^*(\tau_1, \tau_2, 0) \).
### Formula Summary
1. **Hecke Eisenstein Series**:
\[
E^*(\tau_1, \tau_2, s)=D^{s + 1}\left(\frac{\pi^{-s+2}}{2\Gamma(s + 2)}\right)^2\sum_{[a]\in\text{CL}(F)}\chi(a)N(a)^{1 + s}\sum_{(0,0)\neq(m,n)\in a^2/O_F^\times}\left|m(\tau_1, \tau_2)+n\right|^s
\]
2. **Moduli Space \( X_\alpha \)**:
\[
X_\alpha=\{(E_1, E_2, j):E_i\text{ are elliptic curves with complex multiplication}, j\in\text{Hom}(E_1, E_2), \text{deg}_{CM}(j)=\alpha\}
\]
3. **Arithmetic Degree**:
\[
\deg(X_\alpha)=\sum_p\log(p)\sum_{x\in[X_\alpha(F_p^{\text{alg}})]}\frac{1}{e_x}\cdot\text{length}(O_{X_\alpha, x}^{\text{sh}})
\]
4. **Fourier Coefficient Relationship**:
\[
4\cdot\deg(X_\alpha)=a_\alpha