[論文レビュー] Counting Higgs bundles

Sergey Mozgovoy, Olivier Schiffmann|arXiv (Cornell University)|Nov 8, 2014

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

ひとこと要約

本稿では、有限体上の滑らかな射影的曲線上の半安定なねじれたヒッグスバンドルを数える閉じた公式を、幾何的変形論を避けるためにホール代数の技法を用いて確立する。主な貢献は、deg(D) ≥ 2g−2 のとき、ドナルドソン＝トーマス不変量の明示的公式を提供することであり、双対性の議論により一般のケースをノルム型ヒッグス対への還元する。

ABSTRACT

We prove a closed formula counting semistable twisted Higgs bundles of fixed rank and degree over a smooth projective curve defined over a finite field. We also prove a formula for the Donaldson-Thomas invariants of the moduli spaces of twisted Higgs bundles over a curve.

研究の動機と目的

• 有限体上の滑らかな射影的曲線上のねじれたヒッグスバンドルのモジュライ空間のモチビック不変量を計算すること。
• これらのモジュライ空間のドナルドソン＝トーマス不変量に対する閉じた公式を提供し、先行の予想を拡張すること。
• すべての特徴において適用可能なホール代数の技法を用いて、幾何的変形法の制限を克服すること。
• deg(D) > 2g−2 のとき、D と K−D の間の双対性により、不変量がランクと次数にのみ依存することを示すこと。
• ねじれとベクトルバンドルの分解を用いて、一般の数え上げ問題をノルム型のケースに還元すること。

提案手法

• 著者らは、スロープ > 0 の半安定な D-ねじれヒッグスバンドルの切断されたモジュライスタック M⁺_D(r,d) を定義し、これは有限であり、ウォールクロッシング技法が可能である。
• 彼らは、E ∈ A⁺ かつ θ がノルム型であるようなヒッグス対 (E,θ) の同型類を、|Hom(E,E(D))|/|Aut(E)| で重み付けして数える不変量 I⁺_D(r,d) を導入する。
• ホール代数の形式的体系を用いて、I⁺_D(r,d) の生成関数とドナルドソン＝トーマス不変量の間の関係を指数写像を介して関係づける：∑ I⁺_D w^r z^d = Exp(∑ Ω⁺_D w^r z^d / (q−1))。
• 双対性の同型が確立される：deg(D) > 2g−2 のとき、Ω⁺_D(r,d) = Ω⁺_{K−D, nil}(r,d) が成り立ち、これは Hom(E,E(K−D)) がノルム型であるためである。
• D=K の場合、Ω⁺_K(r,d) = q·Ω⁺_{0, nil}(r,d) を示し、絶対的単純ベクトルバンドルの数に接続する。
• ノルム型不変量の生成関数は明示的に計算され、∑_λ (−q^{1/2})^{(2g−2−l)⟨λ,λ⟩} J_λ(z) H_λ(z) w^{|λ|} · Exp( [X]/(q−1) · z/(1−z) ) となる。

実験結果

リサーチクエスチョン

• RQ1 ドナルドソン＝トーマス不変量 Ω_D(r,d) が、deg(D) ≥ 2g−2 のとき、d とは無関係に r と d のみに依存するか？
• RQ2 双対性により、ねじれたヒッグスバンドルの不変量はノルム型ヒッグス対の不変量に還元可能か？
• RQ3 固定されたランクと次数を持つ曲線上の半安定なねじれたヒッグスバンドルを数える不変量の明示的生成関数は何か？
• RQ4 ホール代数のアプローチは、シンプレクティック的または高特徴的仮定を回避して、すべての特徴で数え上げを可能にするか？
• RQ5 Ω_K(r,d) と絶対的単純ベクトルバンドルの数の正確な関係は何か？

主な発見

• deg(D) ≥ 2g−2 のとき、不変量 H⁺_D(r,d) の生成関数は、正規化係数 (−q^{1/2})^{−lr²} を除き、モジュライスタック M⁺_D(r,d) のモチビッククラスに等しい。
• d > (r choose 2)l のとき、不変量 H_D(r,d) は H⁺_D(r,d) と一致するため、切断されたスタックが全モジュライ空間を捉えている。
• deg(D) ≥ 2g−2 のとき、不変量 Ω_D(r,d) は d に依存しないことが確認され、ねじれたヒッグスバンドルの特別な場合における予想を裏付けた。
• ノルム型不変量の生成関数は明示的に計算され、∑_λ (−q^{1/2})^{(2g−2−l)⟨λ,λ⟩} J_λ(z) H_λ(z) w^{|λ|} · Exp( [X]/(q−1) · z/(1−z) ) となる。
• D=K の場合、不変量 Ω⁺_K(r,d) は、ランク r および次数 d の絶対的単純ベクトルバンドルの数の q 倍に等しい。
• deg(D) > 2g−2 のとき、双対性 Ω⁺_D(r,d) = Ω⁺_{K−D, nil}(r,d) が成り立ち、一般ケースがノルム型ケースに還元される。