[论文解读] Travaux de Frenkel, Gaitsgory et Vilonen sur la correspondance de Drinfeld-Langlands

Gérard Laumon|ArXiv.org|Jul 9, 2002

Advanced Algebra and Geometry被引用 3

一句话总结

本文總結了弗倫克爾、蓋茨戈里與維洛嫩在複數域上射影曲線上的 GL(n) 幾何朗道斯對應關係方面的研究工作，運用 perverse sheaves 與六種運算形式語法。他們透過 Hecke 特徵 sheaf 在 G-主叢與局部系統的模空間之間建立對偶性，證明了 Hecke 特徵 sheaf 的自同態群的歐拉-龐加萊特特徵與局部系統無關，這是實現未分支情形下完整幾何朗道斯猜想的關鍵一步。

ABSTRACT

In 1967, Langlands conjectured a natural correspondence between automorphic representations and Galois representations, over number fields as well as over function fields. In 1983, Drinfeld discovered a geometric analog of the Langlands correspondence in the function field case, which extends the geometric class field theory of Lang and Rosenlicht. The so called Drinfeld-Langlands correspondence is a conjectural duality between two moduli spaces that are naturally associated to an algebraic curve X and a reductive group G. When X is projective and G is the full linear group GL(n), a large part of this correspondence has recently been established by E. Frenkel, D. Gaitsgory et K. Vilonen.

研究动机与目标

• 將德林費爾德在 GL(n) 上射影曲線上的幾何朗道斯對應關係之工作予以延伸。
• 利用 Hecke 特徵 sheaf 在 GL(n)-主叢與局部系統的模空間之間建立對偶性。
• 證明 Hecke 特徵 sheaf 的自同態群的歐拉-龐加萊特特徵與局部系統無關，這是實現完整幾何朗道斯猜想的關鍵步驟。
• 將德林費爾德針對 GL(2) 的早期結果推廣至任意秩 n 的未分支幾何設定。

提出的方法

• 使用帶有 C 系數的貝蒂上同調理論處理代數堆疊，於構造性層的導出範疇中進行運作。
• 在代數堆疊 S 上的構造性層導出範疇 D^b_c(S) 上應用六種運算形式語法（f*, f*, f!, f!, 張量積，對偶性）。
• 採用偏移 t-結構，並以 perverse sheaves 類別 Perv(S) 為該 t-結構的骨幹。
• 透過涉及子叢旗的對應關係構造 Hecke 特徵 sheaf，並利用全局 Hecke 對應關係連結主叢與局部系統的模空間。
• 應用傅里葉-德利涅變換與 Betti 設定下的 D-模理論，建立在伯恩斯坦與朗茨的研究基礎上。
• 使用關鍵引理：Hecke 特徵 sheaf 的自同態群的歐拉-龐加萊特特徵與局部系統無關，此結果透過退化與基變換方法證明。

实验结果

研究问题

• RQ1 在複數域上射影曲線上的 GL(n) 幾何朗道斯對應關係是否允許具有標準 Hecke 特徵 sheaf 結構？
• RQ2 Hecke 特徵 sheaf 的自同態群的歐拉-龐加萊特特徵是否與局部系統無關？
• RQ3 能否在未分支情形下，透過 perverse sheaves 與六種運算形式語法建立幾何朗道斯對應關係？
• RQ4 全局 Hecke 對應關係如何連結 G-主叢的模空間與局部系統的模空間？

主要发现

• 透過引理 7.4 與退化論證，證明了 Hecke 特徵 sheaf 的自同態群的歐拉-龐加萊特特徵與局部系統 E 無關。
• 自同態群 Aut_E' 的特徵函數經由忘卻映射 Fib_n'(X) → Fib_n(X) 上拉，此為特徵 sheaf 性質的關鍵。
• 關鍵恆等式 f_* N_{n,E}^d(Φ) = Aut_E' | Fib_n'^{n(n-1)(g-1)+d} 成立，連結 Hecke 對應關係與自同態群。
• 在秩 n 的平凡局部系統情形下，明確計算出歐拉-龐加萊特特徵，提供不變性證明的基礎案例。
• 透過引理 7.2 與基礎案例的計算，確立了歐拉-龐加萊特特徵在局部系統變更下之不變性。
• 此結果確認了幾何朗道斯計畫的核心預測：Hecke 特徵 sheaf 的構造是標準的，且與局部系統的選擇無關。