David T.-B. G. Lilienfeldt,Ari Shnidman
Abstract:Let $f$ be a newform of weight $2k$ and let $\chi$ be an unramified imaginary quadratic Hecke character of infinity type $(2t, 0)$, for some integer $0 < t \leq k-1$. We show that the central derivative of the Rankin-Selberg $L$-function $L(f,\chi,s)$ is, up to an explicit positive constant, equal to the Beilinson-Bloch height of a generalized Heegner cycle. This generalizes the Gross-Zagier formula (the case $k = 1$) and Zhang's higher weight formula (the case $t=0$).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the relationship between the central derivative of the Rankin - Selberg L - function and the height of the generalized Heegner cycle. Specifically, the author studies the central derivative of the Rankin - Selberg L - function \(L(f,\chi,s)\) corresponding to a new form \(f\) of weight \(2k\) and an unramified Hecke character \(\chi\) (with infinite type \((2t,0)\), where \(0 < t\leq k - 1\)) over an imaginary quadratic field \(K\).
### Main Problem
The main problem of the paper is to prove the following formula:
\[ L'(f,\chi,k + t)=4^{k + t}\pi^{2k}(f,f)_{\text{Pet}}\frac{(k - t - 1)!(k + t - 1)!}{u^{2}|D|^{k - t-1/2}}\langle\Delta'_{\chi,f},\Delta'_{\chi,f}\rangle_{BB}\]
where:
- \(h=\#\text{Cl}_K\) is the order of the class group;
- \(D = \text{Disc}(K)\) is the discriminant of the imaginary quadratic field \(K\);
- \(2u=\#\mathcal{O}_K^{\times}\) is the order of the unit group in the ring of integers of \(K\);
- \((f,f)_{\text{Pet}}\) is the Petersson inner product;
- \(\langle\cdot,\cdot\rangle_{BB}\) is the Beilinson - Bloch height pairing;
- \(\Delta'_{\chi,f}\) is the \(f\)-isotypic component constructed from the algebraic cycle \(\Delta_{\chi}\).
### Significance of the Solution
This formula generalizes the Gross - Zagier formula (the case of \(k = 1\)) and Zhang's high - weight formula (the case of \(t=0\)). It establishes the connection between the central derivative of the L - function and the height of the generalized Heegner cycle, which is of great significance in the study of arithmetic geometry and automorphic forms.
### Specific Content
The paper solves the problem through the following steps:
1. **Fourier Coefficient Calculation**: Use the Rankin method to calculate the Fourier coefficients of the new form \(g\).
2. **Geometric q - Expansion Calculation**: Calculate the geometric q - expansion \(\sum_m\langle\Delta_{\chi},T_m\Delta_{\chi}\rangle_{BB}q^m\).
3. **Local Height Calculation**: Calculate the Archimedean and non - Archimedean local height contributions respectively.
4. **Final Formula Derivation**: Combine the above results to derive the main theorem.
Through these steps, the author successfully proves the relationship between the central derivative of the Rankin - Selberg L - function and the height of the generalized Heegner cycle, thus solving the problem.