Special Correspondences of CM Abelian Varieties and Eisenstein Series

Ali Cheraghi

2023-06-15

Abstract:Let $\mathcal{CM}_{\Phi}$ be the (integral model of the) stack of principally polarized CM Abelian varieties with a CM-type $\Phi$. Considering a pair of nearby CM-types (i.e. such that they are different in exactly one embedding) $\Phi_1, \Phi_2$, we let $X = \mathcal{CM}_{\Phi_1} \times \mathcal{CM}_{\Phi_2}$ and define arithmetic divisors $\mathcal{Z}(\alpha)$ on $X$ such that the Arakelov degree of $\mathcal{Z}(\alpha)$ is (up to multiplication by an explicit constant) equal to the central value of the $\alpha^{\text{th}}$ coefficient of the Fourier expansion of the derivative of a Hilbert Eisenstein series.

Number Theory,Algebraic Geometry,Classical Analysis and ODEs

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to relate the degrees of certain special divisors (corresponding to correspondences between CM abelian variety moduli spaces) to the Fourier expansion coefficients of Hilbert Eisenstein series. Specifically, the author studied CM abelian varieties over general CM fields (not necessarily containing imaginary quadratic fields) and proved that the degrees of these special divisors (after multiplying by an explicit constant) are equal to specific Fourier coefficients of the central values of the derivatives of Hilbert Eisenstein series.

### Specific Problem Description

1. **Background and Motivation**:
- This research was inspired by the work of Kudla et al. and aims to relate algebraic - geometric data (such as the degrees of special divisors) to the Fourier coefficients of Eisenstein series.
- In some special cases, such a connection has been successfully established, for example, for elliptic curves and abelian varieties with complex multiplication.

2. **Main Contributions**:
- The author considered CM abelian varieties over general CM fields and proved the relationship between the degrees of these special divisors and the Fourier coefficients of Hilbert Eisenstein series.
- This relationship is not only applicable to specific types of CM abelian varieties but also extends to more general CM fields.

3. **Methods and Techniques**:
- Use Deligne - Mumford stacks to define special divisors and calculate their Arakelov degrees.
- Utilize the Serre - Tate theorem and Grothendieck - Messing deformation theory to handle the length calculations of local rings.
- Further refine local calculations by calculating the lifting conditions of p - divisible groups.

4. **Main Results**:
- Theorem 1.3 shows that, under certain ramification conditions, the Arakelov degree of a special divisor can be expressed as a linear combination of the Fourier coefficients of the derivative of the Hilbert Eisenstein series.
- The formula is as follows:
\[
\hat{\deg} \hat{Z}(\alpha)=-\frac{|C(K)|}{w(K) \sqrt{N_{F / \mathbb{Q}}\left(d_{K / F}\right)}} \cdot \frac{b_{\Phi}(\alpha, y)}{2^{r - 1}[K:\mathbb{Q}]}
\]
where:
- \( |C(K)| \) is the order of the generalized ideal class group;
- \( w(K) \) is the number of roots of unity in \( K \);
- \( d_{K / F} \) is the relative discriminant;
- \( r \) is the number of places (including Archimedean places) that are ramified in \( K \);
- \( b_{\Phi}(\alpha, y) \) is the \( \alpha \) - th Fourier coefficient of the derivative of the Hilbert Eisenstein series.

Through this work, the author successfully related complex algebraic - geometric structures to important objects in the theory of modular forms, providing new perspectives and tools for further research.