Abstract:We compute the intersection multiplicities of special cycles in Lubin-Tate spaces, and formulate a new arithmetic fundamental lemma relating these intersections to derivatives of orbital integrals.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the intersection multiplicities of special cycles in Lubin - Tate spaces and propose a new fundamental lemma of arithmetic, which relates these intersections to the derivatives of orbital integrals. Specifically:
1. **Problem Background**:
- Consider a non - Archimedean local field \(F\), the completion of its maximal unramified extension is \(\tilde{F}\), and the residue field is \(k\).
- Let \(G\) be a one - dimensional formal \(O_F\)-module of height 2, and denote \(X\rightarrow \text{Spf}(O_{\tilde{F}})\) as the Lubin - Tate deformation space of \(G\), which is a formal scheme with dimension 2.
2. **Intersection Problem**:
- Let \(K_1\) and \(K_2\) be separable quadratic extensions of \(F\), and fix \(O_F\)-algebra maps:
\[
\Phi_1:O_{K_1}\rightarrow \text{End}_{O_F}(G),\quad \Phi_2:O_{K_2}\rightarrow \text{End}_{O_F}(G)
\]
- The formal subschemes \(Y_1\) and \(Y_2\) each have dimension \(h\), so consider their intersection multiplicities:
\[
I(\Phi_1,\Phi_2)=\text{len}_{O_{\tilde{F}}}H^0(X,f_1^*O_{Y_1}\otimes_{O_X}f_2^*O_{Y_2})
\]
3. **Main Results**:
- The author derives a formula to calculate the above - mentioned intersection multiplicities. This formula involves the invariant polynomials of a pair \((\Phi_1,\Phi_2)\), which are defined as follows:
\[
\text{Inv}(\Phi_1,\Phi_2)(T)\in K_3[T]
\]
where \(K_3\) is the unique third quadratic subfield constructed from \(K_1\) and \(K_2\).
4. **New Fundamental Lemma of Arithmetic**:
- A new fundamental lemma of arithmetic is proposed, with the expression:
\[
I(\Phi_1,\Phi_2)=c(0)\cdot |d_1d_2|^{-\frac{h^2}{2}}\cdot \int_{GL_{2h}(O_F)}\frac{dg}{|R(g)|}
\]
where \(d_i\) is any generator of the discriminant of \(K_i/F\), \(c(0)\) is a constant, and \(R(g)\) is the resultant of two polynomials.
5. **Bi - quadratic Fundamental Lemma**:
- The paper also discusses the bi - quadratic fundamental lemma, relates it to orbital integrals, and proposes relevant conjectures and theorems.
By solving these problems, the paper provides new tools and methods for understanding the intersection theory in Lubin - Tate spaces and its applications in arithmetic geometry.