On the meagerness of the set of irregular bundles on Hopf surfaces

エドアルド・バルリコとエリザベス・ガスパリムによる論文「ホップ曲面における非正則束の集合の痩せ性について」の詳細な技術的要約を以下に示す。

1. 問題提起と動機

本論文は、$S^3 \times S^1$ に微分同相な非ケーラー複素曲面であるホップ曲面上の安定ベクトル束のモジュライ空間の構造を取り扱う。具体的には、著者らはこれらのモジュライ空間内の非正則束の性質を調査する。

• 背景: この研究は、エドワード・ウィッテンによって記述された $S^3 \times S^1$ 上のインスタントンのモジュライ空間に関する未解決の問題に動機付けられている。特定の目標は、$SU(2)$ インスタントンのモジュライ空間の連結性に関する問題を解決することである。
• 核心的な問い: 代数幾何学（射影曲面）において、安定束はしばしば「良好な」振る舞い（例えば、濾過可能であること）を示す。しかし、ホップ曲面のような非ケーラー曲面では、その振る舞いは十分に理解されていない。著者らは、「非正則」束（ジャンプを持つ束や特定の構造的な退化を持つ束）がモジュライ空間の重要な部分を占めるのか、それとも無視できるものなのかを決定することを目的としている。
• 定義:
  • ホップ曲面 ($X$): $\mathbb{P}^1$ 上に楕円的にファイバー化され、ファイバーが楕円曲線 $T$ に同型である古典的なホップ曲面。
  • モジュライ空間 ($M_{r,c}$): 第二チャーン類 $c > 0$ を持ち、行列式が自明な、ランク $r$ の安定ベクトル束の空間。
  • ジャンプ: 束 $E$ がジャンプを持つとは、そのファイバー $T_x$ への制限が半安定でないことをいう。
  • 非正則束: 束 $E$ が、あるファイバー $T_x$ への制限が楕円曲線上の非正則束（$\text{Pic}(T)$ 内で互いに異なる同型類を持たない既約因子を持つものとして定義される）であるとき、$E$ を非正則束という。
  • 痩せ集合: 集合が至る所非稠密な部分集合の可算和であるとき、その集合を痩せ集合という。位相幾何学において、痩せ集合は「小さい」（その補集合が稠密である）とみなされる。

2. 手法と技術的アプローチ

著者らは、変形理論、コホモロジー解析、および楕円曲線上のベクトル束の分類を組み合わせて用いる。

A. 代数の場合との対比

論文は、この非ケーラー設定において標準的な代数論法がなぜ失敗するかを強調することから始まる：

1. 濾過可能性: 射影曲面では、束はしばしば濾過可能（線形束の拡大）である。一方、ホップ曲面では、濾過可能な束は必ずジャンプを持たなければならない。その結果、ジャンプを持たない安定束の稠密な開集合は、完全に非濾過可能な束から構成される。
2. 不安定成分: 一般型多様体では、モジュライ空間が不安定束のみからなる大きな成分を持つことがある。著者らは、ホップ曲面においても同様の「大きな」非正則束の成分が存在するかどうかを調査し、存在しないことを証明する。

B. コホモロジー解析（補題 3）

証明の核心的な技術的エンジンとなるのは、楕円曲線 $T$ 上のベクトル束の自己準同型空間を解析する補題 3である。

• 前提: $F$ を、$\det(F) \cong \mathcal{O}_T$ を満たす、ランク $r \ge 2$ の半安定束とする。
• 結果:
  • $F$ が正則（既約因子が互いに異なる）である場合、$\dim H^0(T, \text{End}(F)) = r$ となる。
  • $F$ が非正則（分解において因子が重複する）である場合、$\dim H^0(T, \text{End}(F)) \ge r + 2$ となる。
• 意義: 自己準同型空間の次元が $r$ から少なくとも $r+2$ へとジャンプすることは、非正則束がより高い対称性（自己同型）を持つことを意味し、幾何学的にはモジュライ空間内での「より薄い」軌道に対応する。

C. 変形理論と全射性（定理 4）

著者らは、層の完全系列を用いて、曲面上の束の変形空間とファイバー上の変形空間を関連付ける：
$$0 \to \text{End}(E)(-T_x) \to \text{End}(E) \to \text{End}(F) \to 0$$

• 全射性: コホモロジー群（特に $H^1$）を解析することにより、制限写像 $\rho: H^1(X, \text{End}(E)) \to H^1(T_x, \text{End}(F))$ が全射であることを示す。
• 余次元の議論: ファイバー $T_x$ 上の非正則束の空間は（$H^0(\text{End}(F))$ の次元の増加に起因して）より高い余次元を持つため、写像 $\rho$ が全射であることから、モジュライ空間 $M_{r,c}$ 内の $T_x$ 上で非正則束に制限される束 $E$ の軌道は、モジュライ空間内で少なくとも 2 の余次元を持たなければならない。
• 痩せ性: ファイバー化の底が $\mathbb{P}^1$（次元 1）であるため、これらすべての $x$ に対するこれらの軌道の和集合は、（余次元 $\ge 2$ の集合の可算和であるため）痩せ集合のままである。

3. 主要な貢献と結果

主要定理

定理 4: $U$ をモジュライ空間 $M_{r,c}$ の連結成分とする。$U$ に属するすべての束 $E$ のうち、正則でないもの（すなわち、ジャンプを持つもの、またはファイバー上で非正則であるもの）の集合は、$U$ において痩せ集合である。

• 含意: 正則束の集合は、モジュライ空間の任意の開集合において稠密である。正則束が「一般的な」場合である。

系：モジュライ空間の連結性

系 5: ランク $r=2$ の場合、複素多様体 $M_{2,c}$ は連結である。

• 証明の論理:
  1. 主要定理により、正則束の集合の連結性を証明すれば十分である。
  2. 正則束は、種数 $2n-1$ の滑らかで連結な曲線であるスペクトル曲線 $C_E$ に対応する。
  3. これらの束に関連するグラフの集合は、既約なザリスキー開集合を形成する。
  4. 束からスペクトル曲線への写像のファイバーは、これらの滑らかな曲線のヤコビ多様体であり、連結である。
  5. したがって、モジュライ空間全体が連結である。

4. 意義と影響

1. ウィッテンの問いの解決: 本論文は、$S^3 \times S^1$ 上の $SU(2)$ インスタントンのモジュライ空間の連結性に関するエドワード・ウィッテンが提起した問いに対して肯定的な回答を与える。
2. 非ケーラー幾何学: ケーラー計量の欠如や濾過可能性のような標準的な代数性質の失敗にもかかわらず、ホップ曲面上の安定束のモジュライ空間は、依然として正則束によって支配される「一般的な」構造を有していることを確立する。
3. 技術的新規性: 本論文は、非ケーラー設定における「悪い」振る舞い（非正則性）が、一般型多様体との類推から予想されるように、必ずしもモジュライ空間の大きくて非連結な成分をもたらすわけではないことを示している。
4. 基礎的な定義: ホップ曲面の文脈における「ジャンプ」と「非正則性」を厳密に定義・区別し、将来の非ケーラーゲージ理論の研究のための幾何学的風景を明確にする。

要約すると、本論文は、ホップ曲面のモジュライ空間内において非正則束が位相的に無視できる（痩せ集合である）ことを証明し、それによって正則束の稠密性を確立し、ランク 2 のモジュライ空間の連結性を確認している。