On the dual positive cones and the algebraicity of a compact Kähler manifold

この論文は、双正錐に有理類を内点として含むコンパクトケーラー多様体のアルバーネゼ多様体が射影的であることを示し、Ricci 平坦なコンパクトケーラー多様体に関する大杉・ペテネルの問題に回答するとともに、3 次元多様体における関連する代数化の問題を研究している。

要約

この論文は、数学の「幾何学」という分野、特に**「コンパクト・ケーラー多様体」という非常に抽象的な空間の性質について書かれています。専門用語が多くて難しそうですが、実は「空間が『代数多様体（方程式で書ける図形）』かどうか」**という、とても基本的で重要な問いに答える研究です。

著者の林 学（Hsueh-Yung Lin）さんは、この問題を解くために、**「空間の双対（鏡像のようなもの）」**という視点を使って、新しい答えを見つけました。

以下に、専門用語を避け、日常の例え話を使ってこの論文の内容を解説します。

---

1. 物語の舞台：「見えない空間」と「方程式」

まず、この論文が扱っているのは、私たちが普段見る平面や立体よりももっと複雑な**「高次元の空間」**です。

• コンパクト・ケーラー多様体（X）: 想像してみてください。これは、しわくちゃになった紙を丸めて、端と端をくっつけたような、複雑に曲がった「閉じた空間」です。数学的には「滑らかで、美しい曲率を持つ空間」ですが、方程式（代数）で書けるかどうかは分かりません。
• 代数多様体（Projective）: これは、方程式（例えば $x^2 + y^2 = 1$ のような式）で正確に記述できる、整然とした空間です。代数多様体は、数学的に扱いやすく、多くの性質が分かっています。

問い: 「この複雑に曲がった空間（X）は、実は方程式で書ける（代数多様体）のか？」

昔から知られている有名な定理（コダウエアの埋め込み定理）では、「空間の中に『正の有理数』のような特別な数（クラス）が含まれていれば、それは方程式で書ける」と言われていました。

2. 逆さまの視点：「鏡像」を探す

この論文の面白いところは、**「逆から考える」**ことです。

• 通常の視点: 「空間の中に、良い性質の『点（クラス）』があるか？」
• この論文の視点（双対）: 「空間の『鏡像（双対）』の中に、良い性質の『点』があるか？」

著者は、空間の「双対（Dual）」という、元の空間とペアになる別の空間を考えます。
「もし、この『鏡像空間』の真ん中に、有理数（分数のようなきれいな数）が入っていれば、元の空間も実は方程式で書けるのではないか？」

これが、論文の核心である**「Oguiso–Peternell 問題」**への挑戦です。

3. 発見されたルール：「交通網」の重要性

著者は、この「鏡像空間に良い数があれば、元の空間も代数多様体になる」という仮説を、いくつかのケースで証明しました。

① トーラス（ドーナツ型）の空間

空間がドーナツの形（トーラス）をしている場合、鏡像空間に良い数があれば、それは**「代数多様体（方程式で書ける）」**であることが分かりました。

• 比喩: ドーナツの穴の周りに、整然とした道（方程式）が引かれているかどうかを、穴の反対側（鏡像）からチェックすることで判断できる、ということです。

② リッチ・フラット（曲率がゼロ）な空間

宇宙の形のように、曲率がゼロで平らな空間（リッチ・フラット）の場合も、同じルールが適用され、**「方程式で書ける」**ことが証明されました。

③ 3 次元の空間（3 次元多様体）

3 次元の複雑な空間については、いくつかの例外を除いて、「鏡像空間に良い数があれば、それは方程式で書ける」という結論に達しました。

• 重要な発見: 以前は「空間の中に、太い道（アンプルな法線束を持つ滑らかな曲線）があれば代数多様体になる」という予想がありましたが、著者は**「道そのものではなく、その『鏡像』に良い数があること」**でも十分だと示しました。

4. 解決できなかった謎：「1 次元のループ」の行方

論文の最後には、まだ完全には解けていない謎が残されています。

• 未解決の問題: 「3 次元の空間で、ある表面（2 次元）の中に埋もれている『1 次元のループ（曲線）』が、方程式で書けるかどうか」
• 比喩: 大きな球（3 次元空間）の中に、小さな膜（2 次元表面）があり、その膜の上に線（1 次元）が描かれているとします。その線が、球全体の方程式と調和しているかどうかを、膜だけを切り取って調べることはできるでしょうか？

著者は、**「もし、その『1 次元のループ』が、鏡像空間の性質と完璧に一致するならば、3 次元空間全体も方程式で書ける」**という仮説を提示しました。これが証明されれば、すべての疑問が解決します。

5. まとめ：なぜこれが重要なのか？

この論文は、「空間が整然としているか（代数多様体か）」を判断するための、新しい「鏡」を提供しました。

• 従来の方法: 空間そのものを詳しく調べる（難しい）。
• 新しい方法（この論文）: 空間の「双対（鏡像）」を調べて、そこに「きれいな数（有理数）」が隠れていないか探す。

もし鏡像の中にきれいな数が見つかったら、元の空間は「方程式で書ける整然とした世界」であることが保証されます。これは、宇宙の形や、高次元の幾何学を研究する数学者たちにとって、非常に強力なツールとなります。

一言で言うと：
「複雑に曲がった空間が、実は整然とした方程式で書けるかどうかを判断するために、その空間の『鏡像』を覗いてみるという、新しい魔法の鏡を発明しました」という研究です。

技術概要

論文「On the dual positive cones and the algebraicity of compact Kähler manifolds」の技術的サマリー

著者: Hsueh-Yung Lin
掲載誌: Épijournal de Géométrie Algébrique (Special volume in honour of C. Voisin), 2024
arXiv: 2001.10654v4

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

本論文は、コンパクトケーラー多様体の代数性（射影性）に関する古典的な問題、特にOguiso-Peternell 問題の解決に向けた新たな進展を報告するものです。

1.1 背景：コダイラ埋め込み定理の双対問題

コダイラ埋め込み定理は、「コンパクトケーラー多様体 $X$ のケーラー錐 $\mathcal{K}(X)$ が有理類を含めば、$X$ は射影多様体である」と述べています。
Oguiso と Peternell は、この定理の「双対」に相当する問題を提起しました。

• 双対ケーラー錐 $\mathcal{K}(X)^\vee$: $H^{n-1,n-1}(X, \mathbb{R})$ において定義される錐で、$\mathcal{K}(X)$ の双対です。
• 問題 1.1 (Oguiso-Peternell): $\mathcal{K}(X)^\vee$ の内部（Interior）が $H^{2n-2}(X, \mathbb{Q})$ の要素（有理類）を含んでいるとき、$X$ はどの程度代数的吗か？（特に、$X$ は射影多様体か？）

さらに、擬有効錐（Pseudoeffective cone）$\text{Psef}(X)$ の双対 $\text{Psef}(X)^\vee$ に関する同様の問題（問題 1.2）も提起されています。

• 双対コダイラ条件 (K): $\text{Int}(\mathcal{K}(X)^\vee) \cap H^{2n-2}(X, \mathbb{Q}) \neq \emptyset$
• 双対コダイラ条件 (P): $\text{Int}(\text{Psef}(X)^\vee) \cap H^{2n-2}(X, \mathbb{Q}) \neq \emptyset$

条件 (P) は条件 (K) より強く、コダイラ埋め込み定理の条件より弱いです。これらの条件を満たす多様体が射影的かどうか、あるいは代数次元 $a(X)$ がどの程度大きくなるかが問われています。

2. 主要な結果

著者は、双対コダイラ条件を満たすコンパクトケーラー多様体について、以下の主要な定理を証明しました。

2.1 アルバネーゼ多様体の射影性（任意次元）

定理 1.4: コンパクトケーラー多様体 $X$ が双対コダイラ条件 (K) を満たすならば、$X$ のアルバネーゼ多様体 $\text{Alb}(X)$ は射影的である。

• 帰結: もし $X$ が最大アルバネーゼ次元（アルバネーゼ写像が一般に有限）を持つ場合、$X$ 自体が射影的になります。
• 特例: 複素トーラスやその有限商に対して、条件 (K) が満たされれば射影的であることが示されました（命題 5.1）。

2.2 リッチ平坦多様体

定理 1.6: $c_1(X) = 0$ を満たすコンパクトケーラー多様体（リッチ平坦多様体）が条件 (K) を満たすならば、$X$ は射影的である。

• 手法: ベアウヴィル・ボゴモロフ・フジキ形式を用いたハイパーケーラー多様体の解析と、有限被覆による分解（$T \times Y \times \prod Z_i$）を組み合わせ、各因子の射影性を示しました。

2.3 3 次元多様体への応用

3 次元の場合、単純非クマー 3 次元多様体（simple non-Kummer threefolds）を除いて、以下の結果が得られました。

• 定理 1.7: 3 次元多様体 $X$ が条件 (P) を満たし、単純非クマー 3 次元多様体でなければ、$X$ は射影的である。
• 定理 1.8: 3 次元多様体 $X$ が条件 (K) を満たし、単純非クマー 3 次元多様体でなければ、代数次元 $a(X) \geq 2$ である。

注: 単純非クマー 3 次元多様体の存在は、豊饒予想（Abundance conjecture）が成り立てば排除されることが示唆されています（Das-Ou の最近の結果 DO23 に言及）。

3. 手法と証明の概要

著者は、以下の数学的ツールと戦略を組み合わせて証明を行いました。

3.1 双対錐の不変性と支配的写像

• 双対錐の有理点の存在: 双対ケーラー錐 $\mathcal{K}(X)^\vee$ の内部に有理点があるという性質は、双有理変換（ブローアップなど）や支配的有理写像に対して不変であることを示しました（補題 3.1, 命題 3.2）。これにより、証明は双有理モデルに帰着できます。
• 擬有効錐の双対: 同様の不変性が双対擬有効錐についても成立します（命題 3.5）。

3.2 代数次元 $a(X) \leq 1$ の場合の分類と排除

3 次元多様体で $a(X) \leq 1$ かつ条件 (K) を満たす場合、Fujiki による分類（命題 2.13）に基づき、以下の双有理モデルのいずれかに帰着されます。

1. 曲面を支配する 3 次元多様体
2. 曲線上のアーベル多様体ファイバー
3. 非代数 2 次元トーラスの等変ファイバーの有限商
4. 3 次元トーラスの有限商

著者は、これらの各ケースに対して、条件 (K) が満たされるなら射影的になる（あるいは矛盾が生じる）ことを個別に証明しました。

• トーラスファイバー: デリニュ・コホモロジーとヤコビアンファイバーの理論を用い、多価切断（multi-section）の存在を導き、射影性を示しました（第 4 節、第 7 節）。
• トーラスとその商: 命題 5.1 を用いて、条件 (K) が満たされれば射影的であることを示しました。

3.3 代数次元 $a(X) = 2$ の場合の排除

$a(X)=2$ の場合、$X$ は楕円ファイバー束（elliptic fibration）に双有理同値です。

• 楕円ファイバー束の解析: 基底曲面 $B$ が射影的であることを示し、さらに $X$ 上の 1 次元サイクル（曲線）の族が $X$ を「連結」することを示すことで、Campana の射影性判定基準（定理 2.9）を適用しました。
• 技術的難点: 非射影的な場合、1 次元サイクルが基底曲面の有理類として「持ち上げ」られるかどうかが問題となります。これに対し、特異点を持つ場合のグイジン（Gysin）写像や、有理特異点を持つ多様体におけるコホモロジーの性質を精密に解析しました（第 8 節）。

3.4 1-サイクルに関する問いと仮定

問い 1.10: 3 次元多様体 $X$ 上の曲面 $Y$ があり、$H^2(X, \mathbb{Q})$ のホッジ類 $\alpha$ が $X \setminus Y$ で消滅するとき、$\alpha$ は $Y$ の特異点解消 $\tilde{Y}$ 上の $(1,1)$ 類の像として表せるか？

• この問いが肯定されれば、単純非クマー 3 次元多様体を除くすべてのケースで、条件 (K) または (P) を満たす 3 次元多様体は射影的であることが証明されます（系 1.11）。

4. 主要な貢献と意義

1. Oguiso-Peternell 問題の部分的解決:

   • 任意次元において、条件 (K) がアルバネーゼ多様体の射影性を保証することを初めて示しました。
   • リッチ平坦多様体（ハイパーケーラー多様体を含む）に対して、条件 (K) が射影性と同等であることを証明しました。
   • 3 次元多様体において、条件 (P) が射影性を保証し、条件 (K) が $a(X) \geq 2$ を保証することを示しました。

2. 双対正錐の理論的深化:

   • 双対ケーラー錐と双対擬有効錐の内部における有理点の存在が、多様体の幾何構造（特にファイバー構造や代数次元）にどのような制約を与えるかを体系的に解明しました。
   • デリニュ・コホモロジーやグイジン写像を用いた、双対錐の挙動に関する新しい手法を確立しました。

3. 今後の展望への道筋:

   • 3 次元多様体の完全な解決には「問い 1.10」の肯定が必要であり、これが 1-サイクルの理論と深く結びついていることを明確にしました。
   • 単純非クマー 3 次元多様体の非存在（豊饒予想の帰結）が示されれば、3 次元における Oguiso-Peternell 問題は完全に解決されます。

5. 結論

Hsueh-Yung Lin によるこの論文は、コンパクトケーラー多様体の代数性に関する長年の未解決問題に対して、双対正錐の理論を駆使して決定的な進展をもたらしました。特に、リッチ平坦多様体や 3 次元多様体における射影性の条件を明確化し、代数幾何学における「双対性」の観点からの理解を深めた点で極めて重要です。