On some topological equivalences for moduli spaces of $G$-bundles

論文概要

本論文は、複素数体 $\mathbb{C}$ 上の滑らかな射影曲線 $X$（種数 $g \geq 3$）と、非自明な連結な簡約アフィン代数群 $G$ に対して、$X$ 上の固定された位相的型 $d \in \pi_1(G)$ を持つ正則安定（regularly stable）な $G$ 束のモジュライ空間と、正則安定な $G$ 接続のモジュライ空間の間の位相的およびホモトピー的な関係を研究したものである。特に、これらの空間のホモトピー群の同型性と、コホモロジー群上の混合ホッジ構造の純粋性・同型性を証明している。

---

1. 研究課題と背景

• 対象: $X$ 上の半安定 $G$-ヒッグス束のモジュライ空間 $M^d_{\text{Higgs}}(G)$ と、半安定 $G$-接続のモジュライ空間 $M^d_{\text{conn}}(G)$。
• 問題点: 一般にこれらのモジュライ空間は特異点を持つが、正則安定な点の局所（regularly stable locus）、すなわち自己同型群が $G$ の中心 $Z(G)$ に一致する部分集合は滑らかである。
• 非可換ホッジ対応: Simpson によって確立された非可換ホッジ対応は、ヒッグス束とホロノミック接続のモジュライ空間の間のホメオトピーを主張するが、特異点の存在により、特にホモトピー群やコホモロジー構造の精密な比較には注意が必要である。
• 目的: 特異点を避けた「正則安定な局所」において、$G$-束と $G$-接続のモジュライ空間がどの程度位相的に同値であるかを定量化し、特に $SL(n, \mathbb{C})$ の場合に具体的なホモトピー群を計算し、混合ホッジ構造の性質を明らかにすること。

---

2. 主要な手法とアプローチ

1. 忘却写像とファイバー束の構造:

   • 正則安定な $G$-接続のモジュライ空間 $U^{d,rs}_{\text{conn}}(G)$ から、その基底となる正則安定な $G$-束のモジュライ空間 $M^{d,rs}(G)$ への忘却写像 $p: (E, \nabla) \mapsto E$ を考える。
   • この写像 $p$ が、$M^{d,rs}(G)$ の余接束（cotangent bundle）に対する**ファイバー束（torsor）**であることを示す。具体的には、各ファイバーは接続の空間であり、これは $H^0(X, \text{ad}(E) \otimes K_X)$ に同型なアフィン空間（したがって可縮）となる。
   • これにより、ファイバーが可縮であることから、ホモトピー群の長完全系列を用いて、$U^{d,rs}_{\text{conn}}(G)$ と $M^{d,rs}(G)$ のホモトピー群の同型性を導く。

2. 余次元の評価:

   • 正則安定な接続の空間 $U^{d,rs}_{\text{conn}}(G)$ が、全体の接続モジュライ空間 $M^{d,rs}_{\text{conn}}(G)$ において、どの程度の「余次元」で補完されているかを評価する。
   • 文献 [13, Theorem II.6] や [4, Theorem 2.5] の手法を援用し、非正則安定な部分の余次元が $g-1$ 以上であることを示す。これにより、低次のホモトピー群において、全体空間と正則安定部分のホモトピー群が一致することを証明する（一般に、余次元が $c$ 以上であれば、$2c-2$ 以下のホモトピー群は不変）。

3. ホッジモジュライ空間（Hodge Moduli Space）の活用:

   • Simpson のホッジモジュライ空間 $M^d_{\text{Hod}}(G)$（$(E, \lambda, \nabla)$ の三重組）を導入し、射 $\pi: M^d_{\text{Hod}}(G) \to \mathbb{C}$ を考える。
   • この射は滑らか（surjective submersion）であり、ファイバー $\pi^{-1}(0)$ はヒッグス束のモジュライ空間、$\pi^{-1}(1)$ は接続のモジュライ空間に対応する。
   • 滑らかな族におけるコホモロジーの不変性（および混合ホッジ構造の保存）を用いて、ヒッグス束と接続のモジュライ空間のコホモロジー構造の同型性を証明する。

---

3. 主要な結果

定理 3.2: ホモトピー群の同型性

$g \geq 3$ のとき、正則安定な $G$-束のモジュライ空間 $M^{d,rs}(G)$ と正則安定な $G$-接続のモジュライ空間 $M^{d,rs}_{\text{conn}}(G)$ について、以下の同型が成り立つ：
$$\pi_k(M^{d,rs}_{\text{conn}}(G)) \cong \pi_k(M^{d,rs}(G)) \quad \text{for all } k = 0, \dots, 2g-4$$
これは、忘却写像のファイバーが可縮であることと、非正則安定部分の余次元が十分大きいことによる。

定理 4.1: $SL(n, \mathbb{C})$ 接続のホモトピー群の明示的計算

$n$ と次数 $d$ が互いに素（$\gcd(n, d)=1$）である場合、$SL(n, \mathbb{C})$-接続のモジュライ空間 $M_{\text{conn}}(n, \xi)$ のホモトピー群は以下の通り：

1. $\pi_1(M_{\text{conn}}(n, \xi)) = 0$（単連結）。
2. $\pi_2(M_{\text{conn}}(n, \xi)) \cong \mathbb{Z}$。
3. $2 < k \leq 2(n-1)(g-1)-2$ に対して、$\pi_k(M_{\text{conn}}(n, \xi)) \cong \pi_{k-1}(G)$（ここで $G$ はユニタリゲージ群）。
   これは、$SL(n, \mathbb{C})$ 束のモジュライ空間の既知の結果と、上記の位相的不変性（定理 3.2 の拡張）を組み合わせることで得られる。

定理 4.2: 整数係数コホモロジーと混合ホッジ構造

$SL(n, \mathbb{C})$-束と $SL(n, \mathbb{C})$-接続のモジュライ空間のコホモロジー群（ねじれ部分を除去したもの）について、混合ホッジ構造は純粋（pure）であり、かつ同型である。
$$H^j(M_{\text{conn}}(n, \xi), \mathbb{Z})/\text{Tor} \cong H^j(M(n, \xi), \mathbb{Z})/\text{Tor} \quad \text{for } j \leq 2(n-1)(g-1)-1$$

定理 4.3: 有理係数コホモロジーと純粋性

ホッジモジュライ空間の滑らかな族の性質から、$SL(n, \mathbb{C})$-ヒッグス束と $SL(n, \mathbb{C})$-接続のモジュライ空間の有理係数コホモロジー群は、混合ホッジ構造を保存して同型であり、その混合ホッジ構造は純粋であることが示された。
$$H^\bullet(M^{rs}_{\text{Higgs}}(G), \mathbb{Q}) \cong H^\bullet(M^{rs}_{\text{conn}}(G), \mathbb{Q})$$

---

4. 意義と貢献

1. 位相的不変性の定量化:
   非可換ホッジ対応が「ホメオトピー」を与えることは知られていたが、本論文は「どの程度の次数までホモトピー群が一致するか」を具体的な範囲（$k \leq 2g-4$ など）で定量化し、その理由をモジュライ空間の幾何学的構造（正則安定局所の滑らかさと余次元）に基づいて厳密に証明した点に意義がある。

2. $SL(n, \mathbb{C})$ への具体的な適用:
   一般の群 $G$ に対する結果に加え、$SL(n, \mathbb{C})$ という具体的な群に対して、ホモトピー群の具体的な値（$\pi_1=0, \pi_2=\mathbb{Z}$ など）を明示的に計算し、既存の結果（束のモジュライ空間の結果）を接続のモジュライ空間へ拡張した。

3. 混合ホッジ構造の純粋性と同型性:
   一般の代数多様体では混合ホッジ構造が複雑になるが、$SL(n, \mathbb{C})$ の場合、互いに素な次数の条件のもとで、ヒッグス束と接続のモジュライ空間のコホモロジーが「純粋」であり、かつ互いに同型であることを証明した。これは、これらの空間が非常に良い幾何学的性質（例えば、コンパクトな多様体に近い振る舞い）を持っていることを示唆しており、Hodge 理論の観点からの理解を深める。

4. 方法論的貢献:
   忘却写像をファイバー束（torsor）として捉え、そのファイバーの可縮性と、補完部分の余次元の評価を組み合わせる手法は、特異点を持つモジュライ空間の位相的研究において強力な枠組みを提供している。

総じて、本論文は代数幾何学、トポロジー、およびホッジ理論の交差点において、G 束と G 接続のモジュライ空間の深い位相的・幾何的同一性を明らかにした重要な成果である。