[论文解读] The mirror conjecture for minuscule flag varieties

Thomas Lam, Nicolas Templier|arXiv (Cornell University)|May 2, 2017

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文通過建立 $G^{\bullet}/P^{\bullet}$ 的量子 D-模與 Berenstein–Kazhdan 幾何晶體的特徵 D-模之間的同構，證明了典型旗流形的 Rietsch 鏡像猜想。證明利用了 Heck 算子層的全域剛性，並將量子聯絡與伽羅瓦理論及自守形式聯繫起來，揭示了與 Kloosterman 層及 Frenkel–Gross 連絡的深刻聯繫，並在量子上同調與組合曲線計數方面具有應用。

ABSTRACT

We prove Rietsch's mirror conjecture that the Dubrovin quantum connection for minuscule flag varieties is isomorphic to the character D-module of the Berenstein-Kazhdan geometric crystal. The idea is to recognize the quantum connection as Galois and the geometric crystal as automorphic. We reveal surprising relations with the works of Frenkel-Gross, Heinloth-Ngô-Yun, and Zhu on Kloosterman sheaves. The isomorphism comes from global rigidity results where Hecke eigensheaves are determined by their local ramification. As corollaries we obtain combinatorial identities for counts of rational curves and the Peterson variety presentation of the small quantum cohomology ring.

研究动机与目标

• 證明典型旗流形 $G^{\bullet}/P^{\bullet}$ 的 Rietsch 鏡像猜想，建立其量子 D-模與相關幾何晶體的特徵 D-模之間的同構。
• 將此同構推廣至帶參數 $\hbar$ 的等變設定，使量子鏡像定理與等變 Peterson 同構均成為特例。
• 透過 Heck 算子層與全域剛性的理論，揭示量子上同調、幾何晶體與自守形式之間的意外聯繫。
• 透過 Peterson 同構提供有理曲線計數的新組合公式與小量子上同調環的表示。
• 在 D-模與鏡像對稱的統一框架下，整合 Frenkel–Gross、Heinloth–Ngô–Yun、Zhu 等不同構造。

提出的方法

• 透過全域剛性局部系統，將 $G^{\bullet}/P^{\bullet}$ 上的 Dubrovin 量子聯絡識別為伽羅瓦 D-模。
• 透過 Langlands 對偶群與表示理論，將幾何晶體實現為自守 D-模。
• 應用全域剛性定理，證明 Heck 算子層由其局部分歧資料唯一決定。
• 使用 $\hbar$-變形框架，構造量子 D-模與幾何晶體特徵 D-模之間的顯式同構。
• 利用 $D_{\hbar}$-模與濾過 $D$-模理論，處理半經典極限 ($\hbar \to 0$)，並恢復 Peterson 同構。
• 利用 Frenkel–Gross 連絡與 Kloosterman $D$-模作為鏡像對偶圖中的關鍵例子，證明其分別同構於量子與幾何晶體 D-模。

实验结果

研究问题

• RQ1 典型旗流形 $G^{\bullet}/P^{\bullet}$ 的量子 D-模是否同構於其相關幾何晶體的特徵 D-模？
• RQ2 $\hbar$-變形的量子聯絡如何與等變量子上同調及半經典極限相關？
• RQ3 Heck 算子層的全域剛性是否可用於證明典型旗流形的鏡像對稱？
• RQ4 在幾何 Langlands 背景下，Frenkel–Gross 連絡、Kloosterman $D$-模與量子 D-模之間的精確關係為何？
• RQ5 這些結果如何導出有理曲線計數的新組合恆等式與小量子上同調環的表示？

主要发现

• 對於任意典型旗流形，$G^{\bullet}/P^{\bullet}$ 的量子 D-模同構於其相關幾何晶體的特徵 D-模。
• 此同構透過 Heck 算子層的全域剛性建立，其中局部分歧資料唯一決定整體系統。
• $\hbar$-變形框架將量子鏡像定理與等變 Peterson 同構統一為特例，分別對應 $\hbar = 1$ 與 $\hbar \to 0$。
• 證明 Frenkel–Gross 連絡與 Kloosterman $D$-模分別同構於量子與幾何晶體 D-模。
• 此同構透過 Peterson 同構產生了 $G^{\bullet}/P^{\bullet}$ 小量子上同調環的新表示。
• 由鏡像同構導出有理曲線計數的新組合恆等式，廣義化了 Grassmannian 的已知結果。