On algebraically coisotropic submanifolds of holomorphic symplectic manifolds

この論文は、ホロモルフィック対称多様体上の代数的コイソトロピック部分多様体、特に非ユニールである場合の構造について研究し、アベル多様体では積構造を持つことなどを証明している。

要約

🌌 物語の舞台：魔法の鏡の部屋（ホロモルフィック・シンプレクティック多様体）

まず、想像してみてください。
**「ホロモルフィック・シンプレクティック多様体（M）」というのは、魔法のような「鏡の部屋」だと考えてください。
この部屋には、不思議な「シンプレクティック形式（σ）」**というルールが貼られています。これは、部屋の中を動くすべてのものに対して、「右に動けば左も動く」「回転すれば反対も回る」といった、完璧なバランスと調和を保つような魔法のルールです。

この部屋の中には、**「部分空間（X）」**という、小さな島や壁のようなものが存在します。

🧭 2 つの重要なルール：「共役的（コイソトロピック）」と「ラグランジュ」

この論文は、その部屋にある「島（X）」が、魔法のルール（σ）とどう付き合っているかを調べています。

1. 共役的（コイソトロピック）な島

   • これは、魔法のルールに対して**「少しだけ抵抗するが、ある方向には自由に動ける」**状態の島です。
   • 比喩で言うと、**「川の流れに逆らわず、川に沿って流れる船」**のようなものです。川（ルール）の方向には進めますが、川から外れることはできません。
   • この論文では、特に**「代数的に共役的」**な島、つまり「規則正しく、幾何学的な形をしている島」に注目しています。

2. ラグランジュな島

   • これは、魔法のルールに対して**「完全に溶け込んで、動きが最大限に制限された」**状態です。
   • 比喩で言うと、**「川そのもの」**です。川の流れ（ルール）と完全に一体化しており、これ以上自由に動ける余地がありません。
   • 数学的には、これが「最も特別な形」だと考えられています。

🧩 著者が投げかけた疑問：「島は分解できるか？」

著者たちは、こんな疑問を持ちました。

「もし、この魔法の部屋（M）の中に、『単純に曲がったりしない（非ユニールード）』ような複雑な島（X）があったら、それは実は『別の部屋と、川（ラグランジュ）』をくっつけたものではないか？」

つまり、複雑に見える島は、実は**「単純な部品（ラグランジュな部分）」と「別の部屋（Y）」**の組み合わせ（積）でできているのではないか？という仮説です。

🔍 発見された答え：2 つの重要な結果

この疑問に対して、著者たちはいくつかの重要な発見をしました。

1. 「アボリウス（Abelian variety）」という特別な部屋の場合

アボリウスとは、**「トーラス（ドーナツの形）」**を多次元にしたような、非常に規則正しい部屋です。

• 発見: アボリウスの部屋にある複雑な島は、必ず「ラグランジュな部分」と「別のトーラス」を組み合わせた形に分解できます。
• 比喩: 複雑な迷路に見える島も、実は「直進する道（ラグランジュ）」と「横に広がる道（トーラス）」の組み合わせだった、とわかりました。

2. 「一般の部屋」の場合（KX が大きい場合）

もし、その島（X）が非常に複雑で、**「一般型（General Type）」**と呼ばれるような、曲がりくねった複雑な形をしていたらどうなるか？

• 発見: その場合、島は**「ラグランジュ」**そのものになります。
• 比喩: 「複雑で入り組んだ島」は、実は「川そのもの（ラグランジュ）」だった、という結論です。余計な「別の部屋（Y）」は存在しませんでした。

🚫 意外な事実：「ラグランジュ」は存在しない！？

ここで、最も面白い（そして意外な）発見があります。

• IHS 多様体（複雑で美しい部屋）の場合: ここには、ラグランジュな島（川そのもの）がたくさん存在します。
• アボリウス（規則正しい部屋）の場合: ここには、「十分に一般的な」部屋では、ラグランジュな島は存在しないことがわかりました。

なぜ？
アボリウスの部屋には、魔法のルール（シンプレクティック形式）が**「多すぎる」**からです。

• 比喩: アボリウスの部屋は、壁一面に「右に行け」「左に行け」「上に行け」「下に行け」という、矛盾する命令が大量に書かれた壁だと想像してください。
• そのような部屋では、「川の流れ（ラグランジュ）」のように、一つの方向にだけ自由に流れることは不可能なのです。すべての方向に制約がかかりすぎて、川が作れないのです。

🎁 まとめ：この論文は何を伝えている？

この論文は、数学の「幾何学」という分野で、「複雑な形（島）」と「魔法のルール（空間）」の関係を解き明かす旅でした。

1. 複雑な形は分解できる: 規則正しい部屋（アボリウス）では、複雑な形は「単純な部品」の組み合わせだとわかりました。
2. 極端な複雑さは「川」になる: 非常に複雑な形は、実は「川（ラグランジュ）」そのものだとわかりました。
3. 規則正しい部屋には「川」がない: 一見すると平和そうな規則正しい部屋（アボリウス）では、実は「川（ラグランジュ）」が作れないという、意外な矛盾が発見されました。

これは、「形」と「ルール」のバランスがいかに繊細で、驚くべき結果を生むかを示す、数学的な「ミステリー」の解決と言えます。

---

著者へのメッセージ:
この研究は、クレール・ヴォワザン（Claire Voisin）先生という、この分野の巨匠の誕生日を祝うために書かれました。彼女が長年研究してきた「複雑な幾何学の美しさ」を、さらに一歩深く掘り下げるような、素晴らしい貢献です。

技術概要

論文要約：複素シンプレクティック多様体上の代数的コイソトロピック部分多様体について

論文タイトル: On algebraically coisotropic submanifolds of holomorphic symplectic manifolds
著者: Ekaterina Amerik, Frédéric Campana
掲載誌: Épijournal de Géométrie Algébrique (2023)

1. 問題設定 (Problem)

複素射影多様体 $M$ が全純シンプレクティック形式 $\sigma$ を持つとき（$M$ は偶数次元 $2n$）、その部分多様体$X$に対して「コイソトロピック（coisotropic）」であるという概念が定義される。これは、各点$x \in X$において、$X$の接空間$T_x X$が$\sigma$に関する直交補空間を含み、その余次元が$X$ の余次元と一致する条件である。

特に、$X$ 上の特性葉（characteristic leaves）が代数的部分多様体である場合、$X$ は代数的コイソトロピックと呼ばれる。このとき、特性葉は $X$ 上の代数的積分可能葉構造（特性ファイバーリング $f: X \to B$）を定義する。

著者らは、以下の**疑問（Question 1.4）**を提起している：
$M$ 内の非ユニルールド（uniruled）な代数的コイソトロピック部分多様体 $X$ について、有限エタール被覆の下で、対 $(X, M)$ は積 $(Z \times Y, N \times Y)$ の形に分解できるか？ここで、$N, Y$ は全純シンプレクティック多様体、$Z \subset N$ は $N$ 内のラグランジュ部分多様体である。

特に、$K_X$（$X$ の標準束）が big である場合や、$M$ が単純アーベル多様体、あるいは既約ハイパーケーラー（IHS）多様体である場合に、$X$ がラグランジュになるかどうかを明らかにすることが目標である。

2. 手法とアプローチ (Methodology)

著者らは以下の手法を組み合わせて証明を行っている：

1. 特性ファイバーリングの解析:
   代数的コイソトロピック部分多様体 $X$ に対して、特性葉の族から定義されるファイバーリング $f: X \to B$ を考える。Sawon の結果や、$M$ 上の全純シンプレクティック形式 $\sigma$ の $d$-閉性を用いて、基底 $B$ の滑らかな部分 $B_0$ 上に $\sigma$ が降下するシンプレクティック形式 $\eta$ が存在することを示す（Lemma 2.1）。

2. 標準束の性質とファイバーリングの構造:
   $X$ の標準束 $K_X$ の性質（半 ample、nef and big、一般型など）を仮定し、$X$ の特性ファイバーリング $f$ の挙動を調べる。特に、$K_X$ が半 ample である場合や、ファイバーがよい最小モデルを持つ場合、$f$ が**等変形（isotrivial）**になることを示す（Theorem 1.7, 1.8）。これは、$X$ の幾何がファイバー $F$ の幾何と強く結びついていることを意味する。

3. アーベル多様体への適用:
   $M$ がアーベル多様体の場合、Ueno の分類定理 [Uen75] を用いて、$X$ の構造を記述する。$X$ はあるアーベル部分多様体 $A$ による射 $p: M \to M/A$ の逆像として表され、その像 $Z$ は一般型となる。この構造とコイソトロピック条件を組み合わせ、$M$ の分解 $M = D \times C \times N \times P$ と $X$ の分解 $X = D \times C \times Z$ を導き出す。

4. ホッジ理論とラグランジュ部分多様体の非存在:
   $M$ が「ホッジ一般（Hodge-general）」なアーベル多様体である場合、そのコホモロジー構造が非常に単純であることを利用し、2 次元以上のラグランジュ部分多様体が存在しないことを証明する（Corollary 5.5）。

3. 主要な結果と貢献 (Key Contributions and Results)

定理 1.7 と 1.8 (特性ファイバーリングの等変形性)

$X$ が代数的コイソトロピックで、$K_X$ が半 ample である（あるいはファイバーがよい最小モデルを持つ）と仮定すると、特性ファイバーリング $f: X \to B$ は等変形であり、イタカ次元 $\kappa(X) = \kappa(F)$（$F$ は一般ファイバー）が成り立つ。

• 帰結 (Corollary 1.9): $K_X$ が nef かつ big（あるいは $X$ が一般型）であれば、$X$ はラグランジュ部分多様体となる。これは、高次元における Hwang-Viehweg の定理の類似である。

定理 1.11 (アーベル多様体上の分類)

$M$ がアーベル多様体で、$X \subset M$ が代数的コイソトロピックな場合、有限エタール被覆の下で以下のような構造を持つ：

• $M = D \times C \times N \times P$ （$D, C, N, P$ は部分トーラス）。
• $X = D \times C \times Z$ （$Z \subset N$）。
• $Z$ は $N$ 内でラグランジュであり、$N$ を生成する。
• $C$ と $P$ の次元は等しく、$X$ が $M$ を生成する場合、$C=0$ となり、$\sigma$ は直和分解する。
• この結果は、アーベル多様体上の代数的コイソトロピック部分多様体の構造を完全に記述するものである。

定理 1.11 の系 (Corollary 1.10)

$M$ が単純アーベル多様体の場合、その代数的コイソトロピック部分多様体 $X$ は必ずラグランジュである。

非存在結果 (Section 5)

• ホッジ一般なアーベル多様体: 十分一般的な（Hodge-general）アーベル多様体 $M$（$\dim M > 2$）には、ラグランジュ部分多様体は存在しない（Corollary 5.5）。これは、IHS 多様体（ラグランジュ多様体が豊富に存在する）との対照的な結果である。
• 単純アーベル多様体におけるラグランジュ曲面: 次元 4 の単純アーベル多様体には Schoen によるラグランジュ曲面の例が存在するが、次元 6 以上の単純アーベル多様体におけるラグランジュ部分多様体の存在は未解決（Problem 5.1）である。

非射影的な例 (Section 6)

射影的ではない複素トーラス $T$ において、$\sigma$ を $\lambda$ 倍する自己同型 $g$ が存在し、これを用いて $T \times T$ 上に滑らかなラグランジュ曲面が構成できることを示している（Proposition 6.1, Corollary 6.3）。

4. 意義と結論 (Significance)

この論文は、複素シンプレクティック多様体上の代数的コイソトロピック部分多様体の構造に関する理解を深める重要な貢献をしている。

1. 構造定理の確立: 一般型（general type）の条件の下で、コイソトロピック部分多様体がラグランジュになることを示し、高次元における Hwang-Viehweg の定理を拡張した。
2. アーベル多様体への完全な分類: アーベル多様体という具体的な設定において、コイソトロピック部分多様体が「ラグランジュ部分多様体 $\times$ トーラス」の形に分解されることを証明し、その構造を完全に記述した。
3. IHS 多様体との対比: IHS 多様体ではラグランジュ多様体が豊富に存在するのに対し、ホッジ一般なアーベル多様体では存在しないという、シンプレクティック幾何における本質的な違いを浮き彫りにした。
4. 今後の課題の提示: 単純アーベル多様体（特に高次元）におけるラグランジュ部分多様体の存在問題や、基本群に関する制約など、重要な未解決問題を提示し、今後の研究の方向性を示唆している。

全体として、この論文は代数幾何学、特にシンプレクティック幾何とアーベル多様体の理論の交差点において、部分的ではあるが決定的な結果を提供している。