Abstract:This research provides a formal definition of the arithmetic theta lift for cusp forms of weight $3/2$ and establishes the arithmetic inner product formula, thereby completing the Kudla program on modular curves. This formula is demonstrated to be equivalent to the Gross-Zagier formula, for which we provide a new proof.
Additionally, the authors introduce a new arithmetic representation for the central derivatives of L-functions associated with cusp forms of higher weight. Although this representation differs from Zhang's higher weight Gross-Zagier formula, it maintains a significant connection to it. This study also proposes a conjecture indicating that the vanishing of derivatives of L-functions is determined by the algebraicity of the coefficients of harmonic weak Maass forms.
A consistent approach is employed to study both parts of this work.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are about the Arithmetic Inner Product Formula (AIPF) of the central derivatives of L - functions, its equivalence to the Gross - Zagier formula, and the arithmetic representation of the derivatives of high - weight L - functions. Specifically:
1. **Arithmetic Inner Product Formula (AIPF)**:
- The author defines the arithmetic theta lift for cusp forms of weight \( \frac{3}{2} \) and establishes the Arithmetic Inner Product Formula.
- This formula is proven to be equivalent to the Gross - Zagier formula, and a new proof is given.
2. **Arithmetic Representation of the Derivatives of High - weight L - functions**:
- The author introduces a new arithmetic representation method for the central derivatives of L - functions related to high - weight cusp forms.
- Although this method is different from Zhang Wei's high - weight Gross - Zagier formula, there are significant connections between them.
3. **Conjecture**:
- The paper proposes a conjecture, stating that the vanishing of the derivatives of L - functions is determined by the algebraicity of the coefficients of harmonic weak Maass forms.
### Explanation of Formulas and Symbols
To better understand these problems, the following are the explanations of some key formulas and symbols:
- **Arithmetic theta lift**:
\[
\hat{\phi}_{\Delta,r}(\tau)=\sum_{n,\mu}\hat{Z}_{\Delta,r}(n,\mu,v)q^n e_\mu\in C[L^\sharp/L]\otimes\hat{CH}^1_R(X_0(N))
\]
where \( \hat{Z}_{\Delta,r}(n,\mu,v)\in\hat{CH}^1_R(X_0(N)) \) is the arithmetic Heegner divisor.
- **Arithmetic Inner Product Formula**:
\[
\langle\hat{\phi}_{MW}(g),\hat{\phi}_{MW}(g)\rangle_{NT}=2\|g\|^2\sqrt{N|\Delta|}\pi L'(G,\chi_\Delta,1)
\]
When \( N \) is square - free,
\[
\langle\hat{\theta}_{\Delta,r}(g),\hat{\theta}_{\Delta,r}(g)\rangle_{NT}=2\|g\|^2\sqrt{N|\Delta|}\pi L'(G,\chi_\Delta,1)
\]
- **Arithmetic Representation of the Derivatives of High - weight L - functions**:
\[
\langle Z_{\Delta,r,\kappa}(f),Z_{\Delta,r,\kappa}(U)\rangle=\begin{cases}
2\sqrt{N|\Delta|}\Gamma\left(\frac{\kappa - 1}{2}\right)(4\pi)^{-(\kappa - 1)}\pi^{3/2}L'\left(\text{Shm}_{0,\mu_0}(\xi_{3/2-\kappa}f),\chi_\Delta,\kappa\right)&\text{(odd case)}\\
\sqrt{N|\Delta|}\Gamma\left(\frac{\kappa - 1}{2}\right)(4\pi)^{-(\kappa - 1)}\pi^{3/2}L'\left(\text{Shm}_{0,\mu_0}(\xi_{3/2-\kappa}F_{m,\mu}),\chi_\Delta,\kappa\right)&\text{(even case)}
\end{cases}
\]