[论文解读] Parabolic bundles, products of conjugacy classes, and quantum cohomology

Constantin Teleman, Chris Woodward|ArXiv.org|Dec 22, 2000

Algebraic Geometry and Number Theory参考文献 35被引用 11

一句话总结

本文識別了緊緻、單連通李群積中交換類凸多面體的線性不等式，顯示每個不等式對應於廣義旗流形 G/P 的量子上同調中非零的 Gromov-Witten 不變量。該文透過拋物線叢與量子上同調，將酉矩陣的特徵值約束推廣至任意李型，確立了表示理論、模空間與枚舉幾何之間的精確聯繫。

ABSTRACT

In this version referee's comments have been incorporated. Besides minor corrections, new material has been added on irrational markings. To appear in Ann. Inst. Fourier. We prove a condition for the existence of flat bundles on the punctured two-sphere with prescribed holonomies around the punctures, involving Gromov-Witten invariants of generalized flag varieties. This generalizes the case of special unitary bundles described by S. Agnihotri and the second author and independently P. Belkale.

研究动机与目标

• 確定緊緻、1-連通李群 K 中元素積的交換類多面體 Δ_b 所定義的完整線性不等式集合。
• 透過量子上同調與拋物線叢，將 SU(n) 矩陣積的特徵值約束推廣至任意李型。
• 建立 G/P 的非零 Gromov-Witten 不變量與矩量多面體 Δ_b 定義不等式之間的對應關係。
• 透過拋物線叢理論，將 punctured sphere 上平坦 K-叢的模空間與 conformal blocks 及量子上同調聯繫起來。

提出的方法

• 使用 Weyl 仿射胞腔作為 K 中交換類的參數空間，將 Δ_b 定義為 b-元組 (μ₁,…,μ_b)，使得交換類的乘積包含單位元。
• 應用 Mehta-Seshadri 定理，將平坦 K-叢的模空間實現為黎曼曲面上半穩定拋物線叢的空間。
• 針對最大拋物子群 P，使用小量子上同調 QH*(G/P)，透過 Peterson 公式與施伯特演算計算乘法表。
• 從量子上同調環的結構推導不等式，特別是來自量子積中非零結構常數。
• 計算 G₂/P₁ 與 G₂/P₂ 的顯式量子上同調環，推導出如 y₁⁶ = 4qy₁ 與 y₁⁶ = 18qy₁³ + 9q² 之關係式。
• 透過 Schubert 類與量子上杯積之間的對應，識別多面體 Δ_b 中每個不等式對應至非零的 Gromov-Witten 不變量。

实验结果

研究问题

• RQ1 緊緻、單連通李群 K 中元素積的交換類多面體 Δ_b 所定義的完整線性不等式為何？
• RQ2 廣義旗流形 G/P 的非零 Gromov-Witten 不變量與 K 的乘法問題中特徵值約束之間有何關係？
• RQ3 量子上同調環 QH*(G/P) 如何編碼交換類積的矩量多面體 Δ_b 的結構？
• RQ4 punctured sphere 上平坦 K-叢的模空間如何與 conformal blocks 及量子上同調相關？
• RQ5 QH*(G/P) 中的施伯特演算與 K 的乘法特徵值問題解之間的精確對應為何？

主要发现

• 多面體 Δ_b 由線性不等式定義，每個不等式對應於最大拋物子群 P 的 G/P 小量子上同調中非零的 Gromov-Witten 不變量。
• 對於 G₂/P₁，量子上同調環 QH*(G/P₁) 由一個次數為 2 的類 y 生成，關係式為 y⁶ = 4qy。
• 對於 G₂/P₂，量子上同調環 QH*(G/P₂) 由一個次數為 2 的類 y 生成，關係式為 y⁶ = 18qy³ + 9q²。
• 在 q=1 時，量子上同調環為半單，因其定義關係無重根。
• 來自 G/P₁ 表格的不等式 (ω₁, μ₁+μ₂+μ₃) ≤ 2 並非一個面，因為對所有 μ 屬於 Weyl 仿射胞腔，均有 (μ, ω₁) ≤ 2/3。
• 本文透過量子上同調與拋物線叢模空間，將先前關於 SU(n) 特徵值問題的結果推廣至任意緊緻、單連通李群。