[论文解读] The moduli stack of parabolic bundles over the projective line, quiver representations, and the Deligne-Simpson problem

Alexander Soibelman|arXiv (Cornell University)|Oct 4, 2013

Algebraic Geometry and Number Theory参考文献 7被引用 5

一句话总结

本文確立了在什麼條件下，射影直線上拋物線叢的模堆疊近乎非常良好，從而為 Deligne-Simpson 問題提供幾何方法。透過將拋物線叢與箭頭表示聯繫，並使用黎曼-希尔伯特對應，作者證明了加法與乘法型 Deligne-Simpson 問題的解空間是不可約的，且為維數 $2p(\alpha) + \alpha_0^2 - 1$ 的完全交集，其中 $p(\alpha) = 1 - q(\alpha)$，而 $q(\alpha)$ 是 Tits 二次型。

ABSTRACT

In "Quantization of Hitchin's Integrable System and Hecke Eigensheaves", Beilinson and Drinfeld introduced the "very good" property for a smooth complex equidimensional stack. They prove that for a semisimple complex group G, the moduli stack of G-bundles over a smooth complex projective curve X is "very good", as long as X has genus g > 1. In the case of the projective line, when g = 0, this is not the case. However, the result can sometimes be extended to the projective line by introducing additional parabolic structure at a collection of marked points and slightly modifying the definition of a "very good" stack. We provide a sufficient condition for the moduli stack of parabolic vector bundles over the complex projective line to be very good. We then use this property to study the space of solutions to the Deligne-Simpson problem.

研究动机与目标

• 將「非常良好」性質推廣至 $\mathbb{P}^1$ 上拋物線叢的模堆疊，此處標準性質因正維度自同構群的存在而失效。
• 透過黎曼-希尔伯特對應，建立拋物線叢、箭頭表示與 Deligne-Simpson 問題之間的幾何框架。
• 透過分析拋物線聯絡及其單值性，證明 Deligne-Simpson 問題的解空間模是不可約且具有特定維數。

提出的方法

• 針對 $\mathbb{P}^1$ 上拋物線叢的模堆疊，引入一種修改後的「近乎非常良好」性質，以考慮自同構群上的 $\mathbb{C}^*$-作用。
• 使用 Tits 二次型 $q(\alpha) = \sum_i \alpha_i^2 - \sum_i \alpha_i\alpha_{i+1}$，並定義 $p(\alpha) = 1 - q(\alpha)$，以描述模堆疊近乎非常良好的維數向量。
• 構造一個模空間 $R_{DR}(D,w,y,\alpha,\zeta)$，其為在基點 $y$ 處纖維平凡化的 $\zeta$-拋物線聯絡，證明其為擬射影概形。
• 應用黎曼-希尔伯特對應，建立 $R_{DR}(D,w,y,\alpha,\zeta)$ 與 Deligne-Simpson 問題解空間 $MDS(C_1,\dots,C_k)$ 之間的解析同構。
• 利用 $R_{DR}$ 為不可約的完全交集且維數為 $2p(\alpha) + \alpha_0^2 - 1$ 的性質，推導出 $MDS(C_1,\dots,C_k)$ 同樣具有此性質。
• 依賴對對數參數 $\zeta_{ij}$ 的橫截選擇，使得 $\tau_{ij} = \exp(-2\pi\sqrt{-1}\zeta_{ij})$ 對應於共轭類 $C_i$ 的特徵值。

实验结果

研究问题

• RQ1 在存在一維自同構群的情況下，$\mathbb{P}^1$ 上拋物線叢的模堆疊在何種條件下近乎非常良好？
• RQ2 如何透過拋物線聯絡與箭頭表示，幾何化地處理 Deligne-Simpson 問題？
• RQ3 Deligne-Simpson 問題的解空間之維數與幾何結構（例如不可約性、完全交集）為何？
• RQ4 黎曼-希尔伯特對應在多大程度上提供拋物線聯絡模與單值表示之間的解析同構？

主要发现

• 若維數向量 $\alpha$ 屬於基本區域（定義為 $\delta(\alpha) \geq 0$ 且對所有 $i,j$ 有 $-2\alpha_{ij} + \alpha_{ij-1} + \alpha_{ij+1} \geq 0$），則 $\mathbb{P}^1$ 上拋物線叢的模堆疊近乎非常良好。
• 具有平凡化纖維的 $\zeta$-拋物線聯絡空間 $R_{DR}(D,w,y,\alpha,\zeta)$ 是一個擬射影概形，其維數為 $2p(\alpha) + \alpha_0^2 - 1$，其中 $p(\alpha) = 1 - q(\alpha)$，而 $q(\alpha)$ 為 Tits 二次型。
• 黎曼-希尔伯特對應誘導出 $R_{DR}(D,w,y,\alpha,\zeta)$ 與 Deligne-Simpson 問題解空間 $MDS(C_1,\dots,C_k)$ 之間的解析同構。
• 解空間 $MDS(C_1,\dots,C_k)$ 是不可約的，因其同構於 $R_{DR}$ 的光滑部分，而該部分本身是不可約且連通的。
• 解空間 $MDS(C_1,\dots,C_k)$ 是維數 $2p(\alpha) + \alpha_0^2 - 1$ 的完全交集，其結構由 $R_{DR}$ 繼承而來。
• 當特徵值 $\tau_{ij}$ 經排序使得 $\alpha$ 位於基本區域內時，解空間仍保持不可約且維數如所述。