[论文解读] Mirkovic-Vilonen cycles and polytopes

Joel Kamnitzer|ArXiv.org|Jan 22, 2005

Algebraic structures and combinatorial models参考文献 15被引用 13

一句话总结

本文為任意複數半單群的 Mirković-Vilonen（MV）循環與多面體提供了完整的組合描述，確立了：一個格點多面體是 MV 多面體，當且僅當其定義超平面與 Weyl 多面體的超平面平行，且其 2-面是秩 2 MV 多面體。主要貢獻在於透過 tropical Plücker 關係式對 MV 多面體進行特徵化，並建立 Lusztig 的規範基與 MV 多面體集合之間的雙射。

ABSTRACT

We give an explicit description of the Mirkovic-Vilonen cycles on the affine Grassmannian for arbitrary complex reductive groups. We also give a combinatorial characterization of the MV polytopes. We prove that a polytope is an MV polytope if and only if it a lattice polytope whose defining hyperplanes are parallel to those of the Weyl polytopes and whose 2-faces are rank 2 MV polytopes. As an application, we give a bijection between Lusztig's canonical basis and the set of MV polytopes.

研究动机与目标

• 為所有複數半單群上的 Mirković-Vilonen 循環與多面體提供明確且一致的組合描述。
• 將 MV 多面體特徵化為其超平面與 Weyl 多面體面平行，且其 2-面為秩 2 MV 多面體的格點多面體。
• 利用廣義子式與 tropical Plücker 關係式的組合學，建立 Lusztig 的規範基與 MV 多面體集合之間的雙射。
• 解決長期以來對 MV 多面體的特徵化問題，無需依賴循環的幾何構造。

提出的方法

• 定義 pseudo-Weyl 多面體為格點多面體，其超平面與 Weyl 多面體的超平面平行，並使用 chamber weights 參數化其支撐超平面。
• 引入 GGMS 軌形為半無限胞腔的交集，透過 chamber weights 上的整數值函數參數化，並利用構造性函數 $ D_\nu $。
• 利用 generalized minors（Berenstein-Zelevinsky）之間的 tropical Plücker 關係式，推導出特徵化有效 MV 多面體資料的邊不等式。
• 透過證明一個 GGMS 軌形是 MV 循環當且僅當其關聯函數 $ \psi_{M_\bullet} $ 為凹函數，建立 MV 循環與 MV 多面體之間的雙射。
• 透過證明多面體的支撐函數為個別支撐函數之和，證明兩個 MV 多面體的 Minkowski 和仍為 MV 多面體。
• 利用 Weyl 錐與頂點資料，將超平面資料 $ M_\bullet $ 與頂點 $ \mu_w $ 關聯，證明 $ M_{\gamma} \in \mathbb{Z} $ 當且僅當對所有 $ w $ 有 $ \mu_w \in X_* $。

实验结果

研究问题

• RQ1 對於任意半單群，affine Grassmannian 上的 Mirković-Vilonen 循環的完整組合特徵化為何？
• RQ2 哪些格點多面體可作為 MV 循環的矩陣映射？其為 MV 多面體的條件為何？
• RQ3 如何利用 MV 多面體參數化 Lusztig 的規範基？其背後的組合結構為何？
• RQ4 tropical Plücker 關係式在特徵化 MV 多面體及其超平面資料中扮演何種角色？

主要发现

• 一個多面體是 MV 多面體，當且僅當它是格點多面體，其定義超平面與 Weyl 多面體的超平面平行，且其 2-面為秩 2 MV 多面體。
• 與 MV 多面體關聯的支撐函數 $ \psi_{M_\bullet} $ 為凹函數，當且僅當資料 $ M_\bullet $ 滿足 tropical Plücker 關係式（邊不等式）。
• 兩個 MV 多面體的 Minkowski 和仍為 MV 多面體，且其支撐函數為個別支撐函數之和。
• 存在一個自然的雙射，將 MV 多面體集合與 $ G^\vee $ 的通用包絡代數的 Lusztig 規範基對應起來。
• MV 多面體的頂點資料 $ \mu_w $ 屬於共特徵格點 $ X_* $，當且僅當超平面資料 $ M_{w \cdot \Lambda_i} $ 為整數。
• 該構造在所有複數半單群中具有一致性，並透過 chamber weights 上的組合資料完整描述了 MV 循環。