Connected components of real loci in moduli spaces of vector and Higgs bundles over a Klein surface

技術要約：クライン曲面上のベクトル束およびヒッグス束のモジュライ空間における実軌跡の連結成分

問題設定
$X$ を、反正則対合 $\sigma: X \to X$（実構造）を備えた、種数 $g \geqslant 2$ のコンパクトで連結なリーマン面とする。著者らは、曲線 $X$ 上の半安定なランク $r$ 次数 $d$ のベクトル束のモジュライ空間 $N(r, d)$ 上の誘導された反正則対合による固定点集合として定義される実軌跡 $RN(r, d)$ のトポロジーを調査している。

幾何学的に安定な軌跡 $RN^{st}(r, d)$ の連結成分は、実および四元数ベクトル束のモジュラー的解釈を通じて以前に理解されていたが（特に $\gcd(r, d) = 1$ の場合）、一般のケース、すなわち $\gcd(r, d) \neq 1$ の場合は重大な課題を提示する。非互いに素なケースでは、厳密に半安定な点は、実または四元数束としての単純なモジュラー的記述を持たず、ベクトル束のモジュライ空間の実軌跡とピカール多様体 $R\text{Pic}_d$ との関係もより複雑になる。本論文は、すべての $r \geqslant 1$ および $d \in \mathbb{Z}$ に対して $RN(r, d)$ の連結成分の数を決定し、その後、ヒッグス束のモジュライ空間へとこれらの結果を拡張することを目的としている。

手法
著者らは、先行研究（例：[5], [16]）によって確立された枠組みに基づき、ゲージ理論的なアプローチを採用している。主な手法的要素は以下の通りである：

1. ラグランジュ商（Lagrangian Quotients）: 代数幾何学のみに依存するのではなく、著者らは実または四元数構造 $\tau$ を持つ滑らかなエルミート・ベクトル束 $(E, \tau)$ 上のユニタリ接続の空間 $\mathcal{A}_h$ を用いて、実および四元数束のモジュライを表す位相空間を構成する。$\tau$-適合的な正則構造の集合は、反シンプレクティック対合 $\beta_\tau$ の固定点に対応する。
2. ヤン＝ミルズ接続: ドナルドソン＝ナラスイムハン＝セッシャドリの定理を通じて、多安定束に対応するヤン＝ミルズ接続の空間 $\mathcal{A}_{YM}$ に制限することで、ラグランジュ商 $\mathcal{A}^\tau_{YM} / \mathcal{G}^\tau_h$ を定義する。定理 3.2 は、これらの商が空ではなく連結であることを確立している。
3. 帰納的分解: $\gcd(r, d) = m > 1$ のケースを扱うために、著者らは $m$ に関する帰納的な戦略を用いる。彼らは、$RN(r, d)$を、より低ランクのモジュライ空間の積からの連続写像の像の和集合へと分解する。具体的には、行列式写像$c_{r,d}: RN(r, d) \to \pi_0(R\text{Pic}_d)$ のファイバーを分析する。
4. 交差議論: 証明の核心は、これらのより小さな連結部分空間（ラグランジュ商の像および直和構成）が空でない交わりを持つことを示すことであり、これによりファイバー $RN(r, d, s)$ の連結性を証明することである。

主要な貢献と結果

1. ファイバーの連結性（定理 1.1 / 定理 4.1）:
   主要な結果は、任意の $s \in \pi_0(R\text{Pic}_d)$ に対して、ファイバー $RN(r, d, s) := c_{r,d}^{-1}(s)$ が連結であることである。したがって、$RN(r, d)$の連結成分への分解は、写像$c_{r,d}$ の像によって完全に決定される。
   $$RN(r, d) = \bigsqcup_{s \in \text{Im } c_{r,d}} RN(r, d, s)$$

2. 連結成分の計数（定理 4.5 および 表 1）:
   著者らは、$g, r, d$ のパリティ、および曲線上に実点が存在するかどうか（$X^\sigma \neq \emptyset$ 対 $X^\sigma = \emptyset$）に基づき、$RN(r, d)$ の連結成分の完全なカウントを提供している：

   • ケース $X^\sigma \neq \emptyset$: 実軌跡 $RN(r, d)$は、$\gcd(r, d) = 1$かどうかにかかわらず、常に$2^{n-1}$個の連結成分を持つ（ここで$n$は$X^\sigma$の連結成分の数である）。行列式写像は、$RN(r, d)$の成分と$R\text{Pic}_d$ の成分の間の全単射を誘導する。
   • ケース $X^\sigma = \emptyset$: $\gcd(r, d) \neq 1$ のとき、成分の数は $R\text{Pic}_d$ よりも厳密に小さくなることがある。
     • $g$ が偶数、$d$ が奇数、$r$ が偶数の場合、$RN(r, d)$は空であるが、$R\text{Pic}_d$ は成分を持つ可能性がある。
     • $g$ が奇数、$d$ が偶数、$r$ が偶数の場合、$RN(r, d)$は 1 つの連結成分（実束と四元数束の両方を含む）を持つが、$R\text{Pic}_d$ は 2 つの成分を持つ。
   • 四元数束: 本論文は、$\gcd(r, d) \neq 1$ かつ $X^\sigma \neq \emptyset$ の場合、四元数ベクトル束（偶数次および偶数次数を必要とする）が存在するが、それらは行列線束の自明なスティフェル・ホイットニー類に対応するファイバーの中に完全に含まれることを明らかにしている。

3. ヒッグス束への拡張（定理 1.2 / 定理 5.1）:
   これらの結果は、半安定なヒッグス束のモジュライ空間 $R\mathcal{M}_{Dol}(r, d)$ へと一般化される。著者らは、部分空間 $R\mathcal{M}_{Dol}(r, d, s)$ が、実ヒッグス・モジュライ空間における $RN(r, d, s)$ を含む連結成分であることを証明している。これにより、ヒッグス束の連結成分の数は、基礎となるベクトル束の数と一致することが確認される。

4. ブレーンへの位相論的含意（定理 1.3 / 定理 5.3）:
   非アーベル・ホッジ対応にこれらの結果を適用することで、著者らは、特性多様体 $M_B(r, 0)$ 上の特定の対合の固定点集合を研究している。彼らは、$(A, A, B)$-ブレーン（$\beta$ によって固定される）と $(A, B, A)$-ブレーン（$\tilde{\beta}$ によって固定される）が同相であることを証明している。それらの連結成分の数は、$RN(r, d)$ に対して導出されたものと同じカウントによって与えられる。

意義
本論文は、任意のランクおよび次数に対して、ベクトル束のモジュライ空間における実軌跡の位相的分類を解決し、$\gcd(r, d) = 1$ という制限的な仮定を取り除いた。実的な安定点のモジュラー的解釈が厳密に半安定なケースにおいて失敗する場合でも、ゲージ理論的な構成である連結なラグランジュ商の構築が、連結性を決定するための堅牢な枠組みを提供することを示している。

著者らは、実軌跡の振る舞いが、種数および曲線上の実点の存在に関連する $r$ と $d$ の算術的性質に決定的に依存することを強調している。特に、実点が欠如している場合、$RN(r, d)$の成分の数は常に$R\text{Pic}_d$ の成分の数に等しいという素朴な予想を修正し、行列式写像の像がピカール多様体の成分の真の部分集合になり得ることを示している。これらの知見は、ハイパーケーラー商におけるブレーンのトポロジーの理解を洗練させるために適用され、特に異なる実構造によって定義される異なるタイプのブレーン間の同相関係を確立している。