[論文レビュー] 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

ひとこと要約

本稿は、射影直線上のパラボリックバンドルのモジュライスタックがほとんど非常に良い状態にある条件を確立し、デレーヌ・シンプソン問題に対する幾何的アプローチを可能にする。パラボリックバンドルとクーヴァー表現を関連づけ、リーマン＝ヒルベルト対応を用いることで、加法的および乗法的デレーヌ・シンプソン問題の解の空間が、次のように次元を持つ完全交差であり、かつ既約であることを証明する：$2p(\alpha) + \alpha_0^2 - 1$、ここで $p(\alpha) = 1 - q(\alpha)$ であり、$q(\alpha)$ はティーツ二次形式である。

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$ 上のパラボリックバンドルのモジュライスタックに『非常に良い』性質を拡張すること。
• リーマン＝ヒルベルト対応を用いて、パラボリックバンドル、クーヴァー表現、およびデレーヌ・シンプソン問題を結ぶ幾何的枠組みを確立すること。
• パラボリック接続の幾何とそのモノドロミーを解析することにより、デレーヌ・シンプソン問題の解のモジュライ空間が既約であり、特定の次元を持つことを示すこと。

提案手法

• 自動同型群の $\mathbb{C}^*$-作用を考慮に入れた、$\mathbb{P}^1$ 上のパラボリックバンドルのモジュライスタックの修正された『ほとんど非常に良い』性質を導入する。
• ティーツ二次形式 $q(\alpha) = \sum_i \alpha_i^2 - \sum_i \alpha_i\alpha_{i+1}$ を用い、$p(\alpha) = 1 - q(\alpha)$ を定義することで、スタックがほとんど非常に良い状態にある次元ベクトルを特徴付ける。
• 基点 $y$ でのファイバーの自明化を伴う $\zeta$-パラボリック接続のモジュライ空間 $R_{DR}(D,w,y,\alpha,\zeta)$ を構成し、これが準射影的スキームであることを示す。
• リーマン＝ヒルベルト対応を適用して、$R_{DR}(D,w,y,\alpha,\zeta)$ とデレーヌ・シンプソン問題の解空間 $MDS(C_1,\dots,C_k)$ の間で解析的同型が存在することを確立する。
• $R_{DR}$ が次元 $2p(\alpha) + \alpha_0^2 - 1$ の既約な完全交差であるという事実を用いて、$MDS(C_1,\dots,C_k)$ に対しても同様の性質が成り立つことを導く。
• 対応する固有値が $\tau_{ij} = \exp(-2\pi\sqrt{-1}\zeta_{ij})$ となるように、対数的パラメータ $\zeta_{ij}$ を横断的に選ぶことにより、この結果に依存する。

実験結果

リサーチクエスチョン

• RQ1 正次元の自己同型群が存在するにもかかわらず、$\mathbb{P}^1$ 上のパラボリックバンドルのモジュライスタックが『ほとんど非常に良い』状態にある条件は何か？
• RQ2 パラボリック接続とクーヴァー表現を用いて、デレーヌ・シンプソン問題をどのように幾何的に扱えるか？
• RQ3 デレーヌ・シンプソン問題の解空間の次元と幾何的構造（例：既約性、完全交差）は何か？
• RQ4 リーマン＝ヒルベルト対応は、パラボリック接続のモジュライとモノドロミー表現の間で、どの程度解析的同型を提供するか？

主な発見

• パラボリックバンドルのモジュライスタックは、次元ベクトル $\alpha$ が基本領域にある場合、すなわち $\delta(\alpha) \geq 0$ かつすべての $i,j$ に対して $-2\alpha_{ij} + \alpha_{ij-1} + \alpha_{ij+1} \geq 0$ を満たす場合、ほとんど非常に良い状態にある。
• $R_{DR}(D,w,y,\alpha,\zeta)$ は、ファイバーを自明化した $\zeta$-パラボリック接続の空間であり、次元 $2p(\alpha) + \alpha_0^2 - 1$ の準射影的スキームである。ここで $p(\alpha) = 1 - q(\alpha)$ であり、$q(\alpha)$ はティーツ二次形式である。
• リーマン＝ヒルベルト対応により、$R_{DR}(D,w,y,\alpha,\zeta)$ とデレーヌ・シンプソン問題の解空間 $MDS(C_1,\dots,C_k)$ の間で解析的同型が誘導される。
• 解空間 $MDS(C_1,\dots,C_k)$ は、$R_{DR}$ の滑らかな部分が既約かつ連結であることから、既約である。
• 解空間 $MDS(C_1,\dots,C_k)$ は、$R_{DR}$ から引き継がれる完全交差であり、次元 $2p(\alpha) + \alpha_0^2 - 1$ を持つ。
• 固有値 $\tau_{ij}$ が $\alpha$ が基本領域にあるように順序付けられている場合、解空間は依然として既約であり、上記の次元を持つ。