[論文レビュー] Two-dimensional moduli spaces of irregular Higgs bundles

Péter Ivanics, András I. Stipsicz+1 more|arXiv (Cornell University)|Apr 28, 2016

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

ひとこと要約

本稿は、複素射影直線 ℂP¹ 上のランク 2 ヒギズ bundle に 1 つの不規則特異点（4 階）と正則な先頭係数を持つ場合の、2 次元モジュライ空間の完全分類を提示する。これは有理型楕円曲面への楕円ファイブレーションを用いて行われ、モジュライ空間が無限遠点におけるファイバー（型 $\tilde{E}_7$ または $\tilde{E}_8$）の補集合と双正則であることを確立し、スペクトルパラメータに基づいて残りの特異ファイバーを完全に特徴づける。この結果は、可積分系およびヒチンファイブレーションからの予想を裏付ける。

ABSTRACT

We give a complete description of the two-dimensional moduli spaces of stable Higgs bundles of rank 2 over complex projective line with one irregular singular point, having a regular leading-order term, and endowed with a generic compatible parabolic structure such that the parabolic degree of the Higgs bundle is 0. Our method relies on elliptic fibrations of the rational elliptic surface, an equivalence of categories between irregular Higgs bundles and some sheaves on a ruled surface, and an analysis of stability conditions.

研究の動機と目的

• ℂP¹ 上のランク 2 ヒギズバンドルの安定モジュライ空間の構造を、1 つの 4 階不規則特異点と正則な先頭係数を持つ場合に完全に記述すること。
• ヒチンファイブレーションの特異ファイバーを、スペクトルパラメータに基づいて、アンタウシュおよびタウシュの両ケースで分類すること。
• モジュライ空間が有理楕円曲面の楕円ファイブレーションにおける無限遠点のファイバーの補集合と双正則であることを確認し、可積分系からの期待と整合すること。
• 安定性条件を分析し、アンタウシュの場合に不規則ヒギズバンドルとルールド表面上の純粋ランク 1 ファイバーのカテゴリカル同値を確立すること。

提案手法

• 先頭係数が半単純である場合に限り、不規則ヒギズバンドルとルールド表面上の純粋 1 次元ランク 1 ファイバーの間のカテゴリの同値を用いる。
• 有理楕円曲面への楕円ファイブレーションを用いてヒチン系をモデル化し、無限遠点のファイバーが型 $\tilde{E}_7$（アンタウシュ）または $\tilde{E}_8$（タウシュ）となるようにする。
• 局所座標におけるプアウゼー展開を用いてスペクトル曲線を分析し、ファイブレーション内の特異ファイバーの構造を特定する。
• 相対アーベル・ジャコビ写像を適用し、滑らかなファイバー上でファイブレーションをその相対ピック群に一致させることで、特異ファイバーの分類を可能にする。
• 具体的なパラメータ（例：判別式 $\Delta$ または $D$）の条件を導出し、$I_1$、$I_2$、$II$、$III$ などのファイバー型を特定する。
• 局所チャートにおける特性多項式 $\chi_{\vartheta_1}$ と $\chi_{\vartheta_2}$ を用いて、曲線とその偏導関数の共通零点を求める事で、特異ファイバー型を計算する。

実験結果

リサーチクエスチョン

• RQ1 一般のパラメトリック構造およびゼロパラメトリック次数の下で、ℂP¹ 上のランク 2 ヒギズバンドルのモジュライ空間の完全な構造は何か？
• RQ2 アンタウシュの場合に、ヒチンファイブレーション内の特異ファイバーの型はスペクトルパラメータにどのように依存するか？
• RQ3 タウシュの場合に特異ファイバーはどのように異なるのか？ また、パラメータの条件はどのようにしてファイバー型を決定するか？
• RQ4 モジュライ空間は、無限遠点に $\tilde{E}_7$ または $\tilde{E}_8$ 型の特異ファイバーを持つ、期待される楕円ファイブレーション構造をどの程度実現するか？
• RQ5 スペクトル曲線の代数的不変量（例：特性多項式の判別式）によって、特異ファイバーの分類を完全に決定できるか？

主な発見

• アンタウシュの場合、モジュライ空間は有理楕円曲面への楕円ファイブレーションにおける $\tilde{E}_7$ ファイバーの補集合と双正則である。
• 残りの特異ファイバーは判別式 $\Delta$ によって分類される：$\Delta=0$ かつ $\lambda_+=0$ のとき $III$、$\Delta=0$ かつ $\lambda_+\neq0$ のとき $II$ および $I_1$、$\Delta\neq0$ かつ $\lambda_+=0$ のとき $I_2$ および $I_1$、それ以外の場合は 3 つの $I_1$ ファイバー。
• タウシュの場合、モジュライ空間は $\tilde{E}_8$ ファイバーの補集合と双正則であり、特異ファイバーは判別式 $D$ によって決定される。
• もし $D=0$ であれば、1 つの $II$ 特異ファイバーが存在し、$D\neq0$ であれば、2 つの $I_1$ 特異ファイバーが存在する。
• プアウゼー展開によるスペクトル曲線の解析は、指定された特異ファイバーを持つ有理楕円曲面の期待される幾何構造とファイブレーション構造が一致することを確認する。
• 結果として、モジュライ空間は一般に 2 次元の場合に期待されるように、アーベル多様体を一般ファイバーとする完全可積分系を形成することが裏付けられる。