Abstract:We prove new fundamental lemma and arithmetic fundamental lemma identities for general linear groups over quaternion division algebras. In particular, we verify the transfer conjeture and the arithmetic transfer conjecture from <a class="link-https" data-arxiv-id="2307.11716" href="https://arxiv.org/abs/2307.11716">arXiv:2307.11716</a> in cases of Hasse invariant 1/2.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on proving the new Fundamental Lemma (FL) and Arithmetic Fundamental Lemma (AFL) identities for the general linear group over quaternion algebras. Specifically, the paper verifies the correctness of the transfer conjecture and the arithmetic transfer conjecture in the case where the Hasse invariant is 1/2.
### Problem Background
The paper focuses on the Linear Arithmetic Fundamental Lemma (AFL) conjecture, which was proposed by Li Qiang and describes the relationship between a family of orbital integral derivatives and the intersection numbers of moduli spaces. These moduli spaces are spaces of strictly formal $\mathcal{O}_F$-modules of height $2n$. The linear AFL conjecture has a global motivation, similar to Zhang Wei's unitary AFL, and is related to the trace formula comparison of Leslie - Xiao - Zhang.
### Main Problems
1. **Prove the new Fundamental Lemma and Arithmetic Fundamental Lemma**: For the generalized linear group $GL_n(B)$ over a quaternion division algebra, prove the Fundamental Lemma - type and AFL - type statements.
2. **Verify the transfer conjecture and the arithmetic transfer conjecture**: In particular, verify these conjectures in the case where the Hasse invariant is 1/2.
### Specific Contents
The paper presents two main theorems:
- **Theorem A (Fundamental Lemma)**: Let $\gamma\in GL_{2n}(F)$ and $g\in GL_n(B)$ be regular semisimple matching elements, then
\[
\text{Orb}(\gamma, 1_{\text{Par}}, 0)=\text{Orb}(g, 1_{GL_n(\mathcal{O}_B)}).
\]
Here, the orbital integral on the left is with respect to the subgroup $GL_n(F\times F)$, and the orbital integral on the right is with respect to the subgroup $GL_n(E)$, where $E/F$ is an unramified quadratic extension.
- **Theorem B (Arithmetic Fundamental Lemma)**: Let $\gamma\in GL_{2n}(F)$ and $g\in \text{Aut}^0_B(\mathcal{O}_B\otimes_{\mathcal{O}_E}Y)$ be regular semisimple matching elements, and assume that the linear AFL holds for $Y$, then
\[
\left.\frac{d}{ds}\right|_{s = 0}\text{Orb}(\gamma, 1_{\text{Par}}, s)=2\text{Int}(g)\log(q).
\]
### Conclusion
Through the above theorems, the paper verifies the arithmetic transfer conjecture in new cases and shows that for the case where the Hasse invariant is 1/2, the expected correction term should be zero. In addition, the paper also simplifies the proof process by reducing the orbital integrals and intersection numbers from the case where the Hasse invariant is 1/2 to the case where the Hasse invariant is 0.
### Method
The main proof method in the paper is to deal with the intersection problem by combinatorially interpreting orbital integrals and lattice counting, as well as by modular - theoretic translation. Specifically, the paper uses the existing results of the Guo - Jacquet Fundamental Lemma, the quadratic base change Fundamental Lemma, and the linear AFL for reduction and proof.
In summary, this paper solves the key problems of the Fundamental Lemma and the Arithmetic Fundamental Lemma for the general linear group over quaternion algebras, and in particular, verifies the relevant conjectures in the case where the Hasse invariant is 1/2.