Abstract:By a global approach, we prove the arithmetic fundamental lemma conjecture for unitary groups in $n$ variables over $\mathbb{Q}_p$ when $p\geq n$.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to prove the Arithmetic Fundamental Lemma (AFL) and the Jacquet - Rallis Fundamental Lemma (FL) under specific conditions. Specifically:
1. **Arithmetic Fundamental Lemma (AFL)**:
- The main objective of the paper is to prove that the AFL conjecture holds on \( F_0=\mathbb{Q}_p \) when \( p\geq \dim V \) and \( p \) is an odd prime. Here \( V \) is a vector space related to the unit group \( U(V) \).
- The AFL conjecture relates the special values of the derivatives of orbit integrals to the arithmetic intersection numbers on the Rapoport - Zink formal moduli space:
\[
\partial \text{Orb}(\gamma, 1_{S_n(\mathcal{O}_{F_0})}) = -\text{Int}(g)\cdot \log q,
\]
where \( \gamma \) is a regular semisimple element, \( S_n \) is a certain local ring, and \( \text{Int}(g) \) is the intersection number.
2. **Jacquet - Rallis Fundamental Lemma (FL)**:
- As a by - product of the AFL proof, the paper also proves that the Jacquet - Rallis Fundamental Lemma holds on \( p \)-adic fields, especially for large \( p \).
- The FL conjecture asserts that two orbit integrals are equal:
\[
\text{Orb}(\gamma, 1_{S_n(\mathcal{O}_{F_0})})=\text{Orb}(g, 1_{K_0}),
\]
where \( \gamma \) and \( g \) are regular semisimple elements under different group actions respectively.
### Method Overview
To prove these lemmas, the author introduced a "partially linearized" Relative Trace Formula (RTF), namely the semi - Lie algebra version. This method simplifies the problem by introducing \( SL_2 \) symmetry and utilizes the modular properties of the Weil representation. Specific steps include:
- **Partially Linearized RTF**: By introducing the linear factors \( V \) and \( V' \), the problem has more symmetry, especially the action of \( SL_2 \).
- **Application of Modular Properties**: Utilize the modular properties of the Weil representation, so that the kernel function has a two - variable structure and can recursively handle the relationships between orbit integrals.
- **Inductive Proof**: Through induction, combined with local constancy and direct verification of some special cases, gradually prove AFL and FL.
### Conclusion
Through the above methods, the paper successfully proves AFL and FL under specific conditions, providing an important tool for the study of the arithmetic Gan - Gross - Prasad conjecture.