論文「P1 × P1 上の 2 つの断面を縮小した円錐束の小解の普遍変形」の技術的サマリー

著者: Bernd Kreussler, Jan Stevens
対象分野: 複素幾何学、代数幾何学（ツイスター空間、多様体の変形理論）

1. 研究の背景と問題設定

この論文は、4 次元リーマン多様体の自己双対計量に関連する**ツイスター空間（Twistor spaces）**の構造と変形に関する研究です。特に、$P^2 \# P^2 \# P^2$（3 つの複素射影平面の連結和）上のツイスター空間に焦点を当てています。

• 背景:
  • ツイスター空間は、一般に非射影的（non-projective）な複素 3 次元多様体です。
  • $n \ge 3$ の場合、$P^2 \# \cdots \# P^2$ 上のツイスター空間の存在は Donaldson-Friedman によって示されました。
  • $n=3$ の場合、ツイスター空間は主に 2 つのタイプに分類されます：
    1. LeBrun ツイスター空間: 円錐束（conic bundle）の「小解（small resolution）」として記述されるもの。
    2. 二重立体（Double solids）: 特異点を持つ 4 次曲面を分岐曲面とする $P^3$ の二重被覆の「小解」として記述されるもの。
• 問題点:
  • これら 2 つのタイプのツイスター空間は、変形理論の観点から互いに接続されていることが予想されていましたが、その具体的な変形過程（特に、円錐束型から二重立体型への変形）の明示的な記述は行われていませんでした。
  • 円錐束型には 2 つの直線束（pencils）の面が存在しますが、二重立体型ではこれらが保存されないため、単純な変形では対応がつかないという障壁がありました。

2. 研究方法と手法

著者らは、円錐束の小解（SRCB 多様体）から二重立体への普遍変形（versal deformation）を構成するために、以下のステップを踏んでいます。

2.1. 対象の定義と拡張

• SRCB 多様体（Small Resolution of a Conic Bundle）:
  • $Q = P^1 \times P^1$ 上の円錐束 $W$（方程式 $w_1w_2 - \phi w_0^2 = 0$）を定義します。
  • この束から 2 つの断面（sections）$E_1, E_2$ をそれぞれ反対側の直線束（rulings）に沿って縮小（blow down）し、得られる特異多様体 $Z$ の小解を $\tilde{Z}$ とします。これが SRCB 多様体です。
• 変形パラメータの導入:
  • 変形を記述するために、2 つの断面 $E_1, E_2$ を縮小する際に生じる「2 つの面 $\tilde{S}_1, \tilde{S}_2$」を付加データとして扱います。これらは $Q$ 上の 2 つの直線に対応します。
  • これらの直線に対応する平面を $L$ とし、円錐束の判別曲線に追加することで、次数が $(3,3)$ から $(4,4)$ に変化するように構成します。

2.2. 変形族の構成（有理写像の分解）

著者らは、円錐束と二重立体をつなぐ中間的な族 $Y$ を $P^3$ 上の $P^2$-束の中で定義し、それを birational 変換（双有理変換）によって SRCB 多様体の族 $\tilde{Z}$ へ変換します。

• 族 $Y$ の方程式:
  $P^3$ 上の $P^2$-束において、以下の方程式系で定義されます（$\alpha_1, \alpha_2$ は変形パラメータ）:
  $$\begin{cases} y_1 y_2 - K L y_0^2 = 0 \\ \alpha_2 y_1 + \alpha_1 y_2 - Q y_0 = 0 \end{cases}$$
  ここで、$Q$ は $P^3$ 内の 2 次曲面、$K$ は 3 次形式、$L$ は 1 次形式（接平面）です。

  • $\alpha_1 = \alpha_2 = 0$ のとき：族は可約となり、円錐束の成分と余分な断面成分を持ちます。
  • $\alpha_1 \alpha_2 \neq 0$ のとき：$y_1$ を消去すると、$P^3$ の二重被覆（二重立体）が得られ、分岐曲面は 4 次曲面 $Q^2 - 4\alpha_1\alpha_2 KL = 0$ となります。

• 変換プロセス:
  族 $Y$ から SRCB 多様体の族 $\tilde{Z}$ へ至る過程は、以下の双有理変換の合成として記述されます：
  $$Y \xleftarrow{\text{blow-up}} Y^- \xrightarrow{\text{flop}} Y^+ \xrightarrow{\text{blow-down}} Z \xrightarrow{\text{small resolution}} \tilde{Z}$$

  1. 特異点の解消: 接平面 $L$ によって導入された新しい特異点（7 個の $A_1$ 特異点など）を小解（small resolution）で解消します。
  2. フロップ（Flop）: 特定の直線束（ruled surfaces）上の直線を同時にフロップします。
  3. 縮小（Blow-down）: 余分な成分を縮小して、既約なファイバーを持つ族 $Z$ を得ます。
  4. 最終的な小解: 残った特異点を解消し、滑らかな多様体 $\tilde{Z}$ の族を得ます。

2.3. 変形理論の計算

• 無限小変形空間 $T^1$ と障害空間 $T^2$ を計算し、構成された族が**普遍変形（versal deformation）**であることを証明します。
• 特に、3 つの組 $(\tilde{Z}, \tilde{S}_1, \tilde{S}_2)$ の変形空間が滑らかであり、Kodaira-Spencer 写像が全射であることを示しています。

3. 主要な結果

1. 普遍変形族の構成:
   $n=3$ の場合（および一般的な $n$ に対して）、SRCB 多様体（円錐束の小解）から二重立体（分岐 4 次曲面の二重被覆の小解）への普遍変形族 $\tilde{Z} \to \Pi$ を明示的に構成しました。
2. 変形の性質:
   • パラメータ $\alpha_1 = \alpha_2 = 0$ のファイバーは SRCB 多様体（LeBrun 型）です。
   • $\alpha_1 \alpha_2 \neq 0$ の一般のファイバーは、13 個の通常の二重点を持つ分岐曲面を持つ二重立体です。
   • この変形は、2 つの断面 $\tilde{S}_1, \tilde{S}_2$ を固定した状態での普遍変形です。
3. ツイスター空間への応用:
   • 構成された変形族は、実構造（real structure）と両立します。
   • 実パラメータ上のファイバーは、実ツイスター空間となります。
   • これにより、Honda が以前に示した「特異な二重立体（分岐曲面に高次の特異点を持つもの）もまたツイスター空間となり得る」という結果の新しい証明が得られました。
4. 双対性とフロップ:
   • 円錐束の 2 つの直線束（rulings）を交換することは、二重立体におけるすべての例外曲線（exceptional curves）のフロップに対応します。
   • これにより、同じ二重立体に対して 2 つの異なる小解（どちらもツイスター構造を持つ）が存在することが示唆されます。

4. 具体例と考察

論文では、以下の具体的なケースについて詳細な式と幾何学的構造を提示しています。

• トーラス作用を持つ場合（Honda の例）:
  対称性を持つ場合、変形パラメータ間の関係が代数的曲線（有理 6 次曲線）として記述されます。この場合、フロップは大域的な対合（involution）によって誘導され、2 つのツイスター空間が同型であることが確認されます。
• 14 個の二重点を持つ 4 次曲面:
  分岐曲面が 14 個の二重点を持つ場合の変形を記述し、SRCB 多様体との関係を明確にしました。
• Kummer 曲面の場合:
  分岐曲面が Kummer 曲面である場合、変形空間は Igusa 4 次曲面（moduli space of Kummer surfaces）と関連付けられます。この場合、変形族は $C^*$ 作用を持つ 4 次元基底空間を持ち、その商は $A_1$ 特異点を持つ 3 次元空間となります。

5. 意義と結論

この論文は、ツイスター空間の分類と変形理論において重要な進展をもたらしました。

• 理論的統合: 円錐束型と二重立体型という、一見異なる 2 つのツイスター空間のクラスが、実際には同じ変形族の異なるファイバーとして連続的に接続されていることを示しました。
• 明示的構成: 抽象的な変形存在論（Donaldson-Friedman の議論）を超え、具体的な方程式と双有理変換の連鎖を通じて、その変形過程を完全に記述しました。
• 応用: この構成は、Honda の結果を一般化・再証明するだけでなく、ツイスター空間のモジュライ空間の構造や、特異点を持つ代数多様体の変形を理解するための強力な枠組みを提供しています。

要約すれば、この論文は「円錐束の小解から二重立体への普遍変形」を明示的に構築し、それがツイスター空間の理論において中心的な役割を果たすことを実証した画期的な研究です。