Higher rank bundles on Hopf surfaces

技術的要約：ホップ面上の高次階ランク・バンドル

問題提起
本論文は、古典的なホップ面における高次階（$r \ge 2$）のベクトル束および捩れのない層（torsion-free sheaves）の幾何学および安定性の性質を調査している。古典的なホップ面 $X$ は非ケーラー的な複素曲面であり、$S^1 \times S^3$ と同相であり、楕円ファイブレーション $\pi: X \to \mathbb{P}^1$ を持つ。著者らは、以下の相互に関連する問題に取り組んでいる：

1. フィルタビリティ（filtrability）（部分バンドルによるフィルタリングの存在）と、ジャンピング挙動（jumping behavior）（楕円ファイブレーションのファイバーへの制限におけるバンドルの不安定性）の関係。
2. 特定のトポロジカルな不変量、具体的には自明な行列式および所定の第2チェルン類（$c_2$）を持つ安定かつ既約なバンドルの存在。
3. $c_2=n$ である安定ランク $r$ バンドルのモジュライ空間 $M_{r,n}$ の構造、特にその境界、およびバンドルの族の極限としての性質（捩れのない層）。
4. **非常に既約なバンドル（very irreducible bundles）**の導入と特徴付け。これは、すべての $n > 0$ に対して対称冪 $S_n(E)$ が既約であるバンドルと定義される。

手法
著者らは、ホップ面の非ケーラー的な設定に適応させた代数幾何学の手法を組み合わせて用いている：

• 安定性と計量： 安定性は、ガウディオン計量（$\partial\bar{\partial}\omega = 0$ を満たす $(1,1)$ 形式 $\omega$）に関するスロープ安定性によって定義される。バンドルの次数（degree）は、この計量に対する積分によって定義される。
• フィルタリング解析： 著者らは、商が捩れのない（torsion-free）ものであるようなフィルタリング $0 = E_0 \subset E_1 \subset \dots \subset E_r = E$ によって定義される、フィルタブルな層の概念を利用している。彼らはこれらのバンドルのチェルン類を分析しており、ホップ面上では交差形式が自明である（$H^2(X, \mathbb{Z}) \times H^2(X, \mathbb{Z}) \to \mathbb{Z}$ がゼロである）ことに注目している。これにより、反復された拡大における $c_2$ の計算が簡略化される。
• 基本変換（Elementary Transformations）： モジュライ空間の境界を研究するために、著者らは余次元2における基本操作を行う。安定なバンドル $E \in M_{r,n}$ と全射 $v: E \to \mathbb{C}_p$（ここで $\mathbb{C}_p$ は点 $p \in X$ におけるスカイスクレイパー層）から出発し、核 $E'$ を構成する。この $E'$ は、$c_2(E') = c_2(E) + 1$ を持つ捩れのない層となる。
• 変形理論： 著者らは、Ext群を用いて層の局所的な変形空間を分析している。安定なバンドルに対して $\text{Ext}^2(E, E) = 0$ であることを証明し、構成された捩れのない層へとこの分析を拡張することで、それらがより高い $c_2$ を持つバンドルのモジュライ空間の閉包に含まれることを示している。
• バンドルのグラフ： ランク2のバンドルについて、著者らは、ユニバーサル・ポアンカレ線束によってツイストされたバンドルの第1導来像から導かれる $\mathbb{P}^1 \times \mathbb{P}^1$ 内の因子である「グラフ」を利用している。このグラフの幾何学（具体的には、全射 $\mathbb{P}^1 \to \mathbb{P}^1$ に対応する成分の存在）は、既約性の性質を導出するために用いられる。

主要な貢献および結果

1. フィルタビリティとジャンプ：

   • 定理 3.9： 著者らは、$c_2 > 0$ である古典的なホップ面上の任意のフィルタブルなベクトル束は、ジャンプを持つ（すなわち、制限が半安定ではないファイバーが存在する）ことを証明している。
   • 定理 3.19： 逆に、自明な行列式と任意の所定の $c_2 = c > 0$ を持つ、安定でフィルタブルなランク $r$ ベクトル束の存在を証明している。

2. ジャンプを持たないバンドル：

   • 定理 4.12： 対照的な結果として、著者らは、自明な行列式と $c_2 = 1$ を持ち、ジャンプを持たない（すべてのファイバーへの制限が半安定である）既約（したがって安定）なランク $r$ ベクトル束の存在を証明している。これは、フィルタブルなバンドルと既約なバンドルの間の、ジャンピング挙動に関する二分法を浮き彫りにしている。

3. モジュライ空間の境界：

   • 定理 5.6： 本論文は、安定なバンドル $E \in M_{r,n}$ から基本変換（全射 $E \to \mathbb{C}_p$ の核）によって得られる捩れのない層が、$M_{r,n+1}$ の閉包に含まれることを確立している。
   • 命題 5.5： 簡約な（simple）バンドル $E$ について、点 $p$ におけるスカイスクレイパー層への全射の核が、互いに同型でない $2r-1$ 次元の捩れのない層の族を形成することを示す。
   • 解釈： これらの結果は、安定なバンドルの列が点特異を持つ捩れのない層へと退化する、代数幾何学的な文脈における「バブリング（bubbling）」現象を記述している。

4. 非常に既約なバンドル：

   • 定義 6.1： 著者らは、すべての対称冪 $S_n(E)$ が既約である「非常に既約な（very irreducible）」バンドルを導入している。
   • 定理 6.3： グラフが全射 $\mathbb{P}^1 \to \mathbb{P}^1$ に対応する成分を含むランク2のバンドルは、非常に既約であることを示している。
   • 定理 6.4： この結果は対称群の表現へと一般化されており、同様の条件下で $S_\rho(E)$ が既約（またはゼロ）であることを示している。

意義と主張
本論文は、ホップ面上の高次階ランク・バンドルの景観に関する包括的な図を提供することを主張している。具体的には：

• フィルタブルなバンドルに対する制約を明確にし、それらが $c_2 > 0$ のときに本質的にジャンピング現象と結びついていることを示している。
• モジュライ空間 $M_{r,n}$ が、ジャンプを持つフィルタブルなバンドルと、ジャンプを持たない非常に既約なバンドルの両方を含む、豊かな構造を持っていることを示している。
• モジュライ空間の境界に関する具体的な代数幾形的記述を提供し、特定の捩れのない層を安定なバンドルの極限として特定している。これは、ホップ面の幾何学を微分幾何学的なインスタントン・バブリングの概念へと結びつけている。
• 「非常に既約な」バンドルの導入は、対称冪の下で強い安定性を持つ、新しいクラスの剛的なバンドルを提示しており、強固な既約性（strong irreducibility）に関する先行研究を拡張している。

著者らは、ホップ面上の安定な高次階ランク・バンドルのモジュライは、容易に分解可能なバンドルから、すべての対称冪において高度に剛的で既約なバンドルに至るまで、多様なタイプのバンドルを含む複雑な構造であると結論付けている。