[論文レビュー] Co-Higgs bundles on P^1

Steven Rayan|arXiv (Cornell University)|Oct 12, 2010

Algebraic Geometry and Number Theory参考文献 22被引用数 3

ひとこと要約

本稿は、Grothendieckの分解型に基づいて、射影直線 𝔼¹ 上の共Higgsバンドルを分類し、安定Higgs形式の存在に必要な十分条件を確立する。ランク2、奇数次元のモジュライ空間を、普遍的楕円曲線として、全域的に定義された代数的方程式で明示的に記述し、モース理論とADHM再帰を用いてランク2〜5の予想されるベッチ数を検証する。さらに、より高いランクにおける次数不変のベッチ数を予想する。

ABSTRACT

Co-Higgs bundles are Higgs bundles in the sense of Simpson, but with Higgs fields that take values in the tangent bundle instead of the cotangent bundle. Given a vector bundle on P^1, we find necessary and sufficient conditions on its Grothendieck splitting for it to admit a stable Higgs field. We characterize the rank-2, odd-degree moduli space as a universal elliptic curve with a globally-defined equation. For ranks r=2,3,4, we explicitly verify the conjectural Betti numbers emerging from the recent work of Chuang, Diaconescu, Pan, and Mozgovoy on the ADHM formula. We state the result for r=5.

研究の動機と目的

• ランク2〜5の共Higgsモジュライ空間の予想されるベッチ数が、ADHM再帰式から得られるものと一致するかを検証すること。
• 共Higgsバンドルのモジュライ空間におけるベッチ数の次数依存性を調査すること。
• Genus 0 におけるADHM公式から得られるホッジ多項式およびペイオカラ多項式に関する予想を拡張し、確認すること。

提案手法

• Grothendieckの分解定理を用いて、ℙ¹ 上の正則ベクトルバンドルをその分解型によって分類する。
• スロープ安定性の条件を、接接バンドル（K*）に値をとるHiggs形式を備えた共Higgsバンドルに適用し、曲線上で φ ∧ φ = 0 が自動的に成り立つことを保証する。
• Hitchinファイブレーション上でのモース理論を用い、固定点集合とチェーン分解を用いて、ランク3およびランク4の場合のベッチ数を計算する。
• Chuang, Diaconescu, Pan, Mozgovoy が導出した ADHM 再帰公式を用い、ランク2〜5の予想されるペイオカラ多項式を検証する。
• Jordan–Hölder層のフィルトレーションから正則チェーンを構成し、モース指数のデータを用いてモジュライ空間を解析し、ベッチ数を計算する。
• 次数双対性を適用して、次数 d と −d のモジュライ空間を関連づけ、負の次数における計算を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 ℙ¹ 上のベクトルバンドルの分解型に関して、安定な共Higgs形式が存在するための必要十分条件は何か？
• RQ2 ℙ¹ 上のランク2、奇数次元の共Higgsバンドルのモジュライ空間は、代数的方程式によって全域的に記述可能か？
• RQ3 共Higgsモジュライ空間のベッチ数は、ADHM再帰式から得られる予想されるペイオカラ多項式と一致するか？
• RQ4 共Higgsモジュライ空間のベッチ数構造は、バンドルの次数に依存しないか？
• RQ5 正則チェーン分解とモース理論は、高ランクの場合のベッチ数計算をどのように支援するか？

主な発見

• ℙ¹ 上のランク2、奇数次元の共Higgsバンドルのモジュライ空間は、単一の代数的方程式によって与えられる滑らかで全域的な普遍的楕円曲線である。
• ランク2、奇数次元のモジュライ空間のベッチ数は、S² のものと一致し、トポロジカルな特徴づけが確認された。
• ランク3およびランク4、奇数次元の場合、モース理論で得られたベッチ数は、ADHM公式から得られる予想されるペイオカラ多項式と一致する。
• ランク5、次数−1の場合のペイオカラ多項式は、1 + x² + 3x⁴ + 5x⁶ + 10x⁸ + 15x¹⁰ + 26x¹² + 38x¹⁴ + 56x¹⁶ + 77x¹⁸ + 105x²⁰ + 131x²² + 156x²⁴ + 165x²⁶ + 154x²⁸ + 103x³⁰ + 40x³² として明示的に計算された。
• 本稿は、ADHMの予想されるペイオカラ多項式に次数パラメータが現れないことから、ℙ¹ 上の共Higgsモジュライ空間のベッチ数が次数に依存しないと予想する。