[论文解读] Weil representation and Arithmetic Fundamental Lemma

Wei Zhang|arXiv (Cornell University)|Sep 6, 2019

Advanced Algebra and Geometry参考文献 38被引用 8

一句话总结

本文針對奇素數 p 和 dim V ≥ p，在 Qp 上證明了算術基本引理（AFL），方法是透過 Weil 表示實現的 SL2 對稱性，採用部分線性化的相對跡公式。關鍵創新在於利用 Weil 表示所誘導的 SL2 模形式性，推導出遞歸關係，將 AFL 化簡為可驗證的基底情形，從而建立軌道積分與 Rapoport–Zink 空間上算術交點數之間的基礎連結。

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$.

研究动机与目标

• 在奇素數 p 與維度 n ≥ p 條件下，於 Qp 上建立算術基本引理（AFL），並擴展相對跡公式方法至算術 Gan–Gross–Prasad 猜想。
• 利用類似框架，在 p 進域上證明 Jacquet–Rallis 基本引理（FL），並藉助 SL2 對稱性。
• 發展一個具 Weil 表示作用的部份線性化相對跡公式（RTF），以獲得模形式對稱性與遞歸結構。
• 將酉群設定下的軌道積分與 Rapoport–Zink 形式模空間（p-可除群的）上的算術交點數關聯起來。
• 將 K-理論與交點理論推廣至非諾特形式概形，以支援證明中所用的算術交點理論。

提出的方法

• 透過在 U(V) × V 與 Sn × V'n 上引入 SL2(A0) 的 Weil 表示作用於施瓦茨函數，建立部分線性化的相對跡公式（RTF）。
• 利用 Weil 表示在核函數與分佈 I(Φ) 和 J(Φ′) 上誘導 SL2 作用，並透過泊松求和使它們成為 SL2 不變。
• 利用 SL2 模形式性，推導出 RTF 中軌道積分之間的遞歸關係，將複雜情形化簡為較簡單的基底情形。
• 透過 Jacquet–Rallis 對應，在 U(V) 與 GLn,F0 的軌道積分之間應用光滑轉移，並利用 Weil 表示與光滑轉移的可交換性（定理 A.1）。
• 在形式概形（含非諾特極限）上使用導出交點理論與 K-理論，定義並計算算術交點數。
• 直接驗證基底情形（例如強正則半單元素），並透過遞歸關係應用 perverse 續延原理，推廣至一般情形。

实验结果

研究问题

• RQ1 能否在奇素數 p 與 dim V ≥ p 條件下，使用相對跡公式方法，在 Qp 上證明算術基本引理（AFL）？
• RQ2 Weil 表示的 SL2 對稱性如何增強相對跡公式的結構，以支援歸納證明？
• RQ3 酉群設定下的軌道積分與 Rapoport–Zink 空間上的算術交點數之間的精確關係為何？
• RQ4 如何將 K-理論與交點理論推廣至非諾特形式概形，以支援算術交點計算？
• RQ5 Jacquet–Rallis 基本引理（FL）能否作為同一 RTF 框架與 Weil 表示的結果被恢復？

主要发现

• 在奇素數 p 與 dim V ≥ p 條件下，於 Qp 上證明了算術基本引理（AFL），特別針對強正則半單元素的開稠密子集。
• 證明依賴於具 Weil 表示誘導之 SL2 模形式性的部分線性化相對跡公式，該公式在軌道積分之間產生遞歸關係。
• Weil 表示與光滑轉移可交換，此為關鍵技術結果（定理 A.1），確保 U(V) 與 GLn,F0 兩組軌道積分之間的相容性。
• 證明導出交點數 Int(g) · log q 等於 AFL 猜想中軌道積分的導數 ∂Orb(γ, 1Sn(OF0))。
• 該方法透過 SL2 對稱性所產生的遞歸結構，將 AFL 化簡為直接計算的基底情形。
• 該框架透過在諾特近似上的逆極限定義 K-群，推廣至非諾特形式概形，支援證明中所用的算術交點理論。