Abstract:We survey recent developments on generalizing the Gross--Zagier formula to
high dimensional Shimura varieties, with an emphasis on the
Arithmetic Gan--Gross--Prasad conjecture and the relative trace formula
approach.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to explore and summarize the latest progress in generalizing the Gross - Zagier formula to high - dimensional Shimura varieties. Specifically, it focuses on the Arithmetic Gan - Gross - Prasad (AGGP) conjecture and the application of the relative trace formula method.
#### Main problems and background
1. **Classical Gross - Zagier formula**:
- The classical Gross - Zagier formula establishes the relationship between the Néron - Tate height of Heegner points on modular curves and the central derivatives of certain L - functions.
- The formula and its corollaries have important applications to the Birch - Swinnerton - Dyer conjecture, especially in the case of analytic rank 1.
2. **Generalization to high - dimensional Shimura varieties**:
- The paper discusses how to generalize this formula to Shimura varieties of higher dimensions, especially in the case of unitary groups.
- The key to the generalization is the Arithmetic Gan - Gross - Prasad (AGGP) conjecture, which involves the relationship between the height pairing of special cycles and the derivatives of L - functions.
3. **AGGP conjecture**:
- The core of the AGGP conjecture lies in studying the special cycles in Shimura varieties under specific embeddings and understanding the central derivatives of L - functions through the height pairings of these cycles.
- These cycles are usually located in the middle dimension of Shimura varieties or in dimensions near it, so they can be related to the poles or derivative values of L - functions near s = 1.
4. **Relative trace formula method**:
- The relative trace formula is a powerful tool for dealing with period integral problems in the theory of automorphic representations.
- The paper introduces how to use the relative trace formula to prove some results of the AGGP conjecture and points out possible future research directions.
### Markdown representation of the formula
For example, the classical Gross - Zagier formula can be represented in the following form:
\[
L'(f/K, 1)=\frac{\sqrt{D}}{\deg(\phi)}\langle y_K, y_K\rangle_{NT}
\]
where:
- \(L'(f/K, 1)\) represents the derivative of the L - function at s = 1;
- \(D\) is the discriminant of the imaginary quadratic field \(K\);
- \(\deg(\phi)\) is the degree of the modular parameterization \(\phi\);
- \(\langle y_K, y_K\rangle_{NT}\) is the Néron - Tate height pairing of \(y_K\) over \(K\).
### Summary
The main objective of the paper is to introduce and summarize the progress in recent years regarding the generalization of the Gross - Zagier formula to high - dimensional Shimura varieties, especially the application of the AGGP conjecture and its related methods. This not only deepens our understanding of automorphic forms and arithmetic geometry but also provides new tools and perspectives for solving broader mathematical problems.