[論文レビュー] Algebraic approximations of compact Kähler threefolds

Hsueh-Yung Lin|arXiv (Cornell University)|Oct 3, 2017

Geometry and complex manifolds参考文献 45被引用数 9

ひとこと要約

この論文は、3次元におけるコーディア問題を解決し、任意のコンパクト・カーラー3次元多様体が代数的近似をもつことを証明している—つまり、パrameter空間において射影多様体が稠密になるような変形が存在する。主な結果は、至るところに有理的特異点をもつ Fujiki のクラス 𝒞 に属する任意のコンパクト複素3次元多様体へと拡張され、3次元におけるペテルネルの予想が裏付けられる。

ABSTRACT

We prove that every compact Kähler threefold has arbitrarily small deformations to some projective manifolds, thereby solving the Kodaira problem in dimension 3.

研究の動機と目的

• 3次元におけるコーディア問題を解決すること。すなわち、任意のコンパクト・カーラー多様体が代数的近似をもつかどうかを問う問題である。
• 滑らかなカーラー3次元多様体にとどまらず、Fujiki のクラス 𝒞 に属するコンパクト複素3次元多様体で有理的特異点をもつクラスへと代数的近似の存在を拡張すること。
• 3次元における最小カーラー多様体の代数的近似の存在に関するペテルネルの予想を確認すること。
• ビメルモーフィックモデルと等長変形論を用いた代数的近似の構成の一般枠組みを確立すること。
• 代数的近似が失敗する条件を特定することで、コーディア問題の境界を明確にすること。特に高次元における場合を想定する。

提案手法

• 与えられた3次元多様体 $X$ のビメルモーフィックモデル $X \dashrightarrow X'$ を構成し、幾何を単純化しつつ、本質的不変量を保存する。
• G-作用を解像 $\tilde{X}$ に持ち上げ、$G$-等長変形 $\tilde{\mathscr{X}} \to \tilde{B} \times V$ を構成することで等長変形論を用いる。
• トートロジカルな族を介して、表面 $\tilde{S}$ の変形を3次元多様体 $\tilde{X}$ の変形に持ち上げ、群作用と局所自明性を保存する。
• 商 $\mathscr{X}' = \tilde{\mathscr{X}}/G$ に移行することで、$B$ 上で局所自明な変形 $\Pi_{X'}: \mathscr{X}' \to \mathscr{S}' \to B \times V$ を得る。
• 補題 2.13 を適用し、$\mathscr{S}'_t$ が代数的であれば $\mathscr{X}'_t$ が代数的であることを導き、代数的近似を保証する。
• $\Pi_{\tilde{S}}$ が $\tilde{S}$ の代数的近似であるという事実を用いて、$\Pi_{X'}$ が $X'$ の代数的近似であることを結論づけ、これにより $X$ の代数的近似が誘導される。

実験結果

リサーチクエスチョン

• RQ1 任意のコンパクト・カーラー3次元多様体は、パrameter空間において射影多様体が稠密になるような代数的近似をもつか、すなわち変形をもつか？
• RQ2 滑らかなカーラー3次元多様体にとどまらず、Fujiki のクラス 𝒞 に属するコンパクト複素3次元多様体で有理的特異点をもつものに対しても、代数的近似の存在は拡張可能か？
• RQ3 3次元におけるペテルネルの予想、すなわち最小カーラー多様体の代数的近似の存在は成り立つか？
• RQ4 コンパクト複素3次元多様体の変形が、そのビメルモーフィックモデルの変形を誘導するための必要十分条件は何か？
• RQ5 代数的次元 $a(X) \geq \dim X - 3$ をもつコンパクト・カーラー3次元多様体のうち、代数的近似をもたないものは存在するか？

主な発見

• すべてのコンパクト・カーラー3次元多様体は代数的近似をもつ。これにより、3次元におけるコーディア問題が解決される。
• Fujiki のクラス 𝒞 に属し、至るところに有理的特異点をもつすべてのコンパクト複素3次元多様体は代数的近似をもつ。
• 有理的特異点をもつとき、代数的近似の存在はビメルモーフィック変更のもとで保存されるため、より単純なモデルの使用が可能になる。
• ビメルモーフィックモデル $X'$ の変形は、基底上で局所自明であるため、ファイバーの代数的性が保たれる。
• $G$-等長変形と商をとるという構成により、元の3次元多様体 $X$ の変形が得られ、その変形は稠密な開部分集合で代数的である。
• 結果として、ペテルネルの予想が3次元における最小カーラー多様体について裏付けられる。なぜなら、そのような多様体は終極的（したがって有理的）特異点しかもたないからである。