[論文レビュー] Minimal models for Kähler threefolds

Andreas Höring, Thomas Peternell|arXiv (Cornell University)|Apr 15, 2013

Geometry and complex manifolds参考文献 26被引用数 7

ひとこと要約

この論文は、正則なKähler三様多様体が非有理被覆でない場合に、Kähler的カテゴリーにおける最小モデルプログラム（MMP）を証明することで、そのような三様多様体に最小モデルが存在することを確立している。非特徴的Kähler三様多様体に対してMMPを拡張し、正の閉(1,1)-コホーモロジーと変形理論およびZariski分解を適応することで、擬効果的標準束を持つ三様多様体に対して、ネフな標準束を持つ最小モデルが存在することを示している。

ABSTRACT

Let X be a compact Kähler threefold that is not uniruled. We prove that X has a minimal model.

研究の動機と目的

• 標準束が擬効果的である非有理被覆でないコンパクトKähler三様多様体に対して、最小モデルプログラム（MMP）を拡張すること。
• 古典的基点自由定理の失敗を克服し、Kähler的カテゴリーにおける極小化のための極小化収縮の存在を確立すること。
• 正の閉コホーモロジー空間（NA(X)）におけるモーリー錐が、ネフと負の極小化線に分解可能であることを示し、MMPの実行を可能にすること。
• K_X-負の極小化線が ¯NA(X) に属する場合、その収縮が存在し、像空間がKähler性を保つことを示すこと。
• このような三様多様体に対して、MMPを完成させ、終了性と最小モデルの存在を証明すること。

提案手法

• K_X の除法的Zariski分解を用い、コ dimension 1 のネフ部分と可動部分に分解することで、部分多様体の擬効果的性および有理被覆性を分析する。
• X およびその表面 S_j 上の有理曲線の変形理論を適用し、K_X がネフでない場合に K_X-負の有理曲線を構成する。
• Mori錐 ¯NE(X) に代わる正の閉(1,1)-コホーモロジーの錐 ¯NA(X) を導入し、収縮においてKähler性が保たれない問題を回避する。
• ¯NA(X) に対する錐定理を証明する：¯NA(X) = ¯NA(X)_{K_X \geq 0} + \sum \mathbb{R}^+ [\Gamma_i] であり、-K_X \cdot \Gamma_i \leq 4 かつ >0 であり、可算個の極小化線を保証する。
• AnconaおよびVan Tanによる一般化されたGrauertの基準を用い、多様体を被覆する曲線を収縮する。小規模な収縮のためには、µ: ˜X \to X という修正を構成し、µ^*\alpha = ˜\alpha + E となるようにし、E が有効かつ µ-特異的であることを保証し、Grauertの基準を適用する。
• Collins-TosattiおよびBoucksomによるKähler修正およびビッグクラスに関する結果を活用し、ネフクラスの引き戻しがブローモの上でビッグクラスに変換されることを示し、収縮準同型の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非特徴的コンパクトKähler三様多様体で、標準束が擬効果的である場合に、最小モデルプログラムを拡張できるか？
• RQ2 K_X-負の有理曲線の存在が、Kähler的設定における極小化収縮の存在を示唆するか？
• RQ3 正の閉コホーモロジー空間 ¯NA(X) を用いて、Kähler性を保つ極小化収縮を定義・構成できるか？
• RQ4 ¯NA(X) 内の K_X-負の極小化線の収縮は、解析的カテゴリーにおいて適切に定義され、代数的であるか？
• RQ5 端末特異点をもつコンパクトKähler三様多様体で、標準束が擬効果的である場合に、MMPは終了するか？

主な発見

• 擬効果的標準束を持つコンパクトKähler三様多様体に対する最小モデルプログラムが完全に確立され、このような三様多様体が K_{X'} がネフである最小モデルをもつことが証明された。
• ¯NA(X) に対する錐定理が成立する：¯NA(X) = ¯NA(X)_{K_X \geq 0} + \sum \mathbb{R}^+ [\Gamma_i] であり、有界次数あたり有限個の線をもち、0 < -K_X \cdot \Gamma_i \leq 4 である。
• ¯NA(X) 内の K_X-負の極小化線の収縮がKähler的カテゴリーで存在し、像空間がKähler性を保つ。
• 小規模な収縮に対して、µ: ˜X \to X という修正が構成され、µ^*\alpha = ˜\alpha + E となるようにし、E が有効かつ µ-特異的であることを保証し、Grauertの基準による例外的局所の収縮が可能になった。
• 反転不変量 d(X) がフリップの下で減少するため、Kähler三様多様体の設定においてMMPは有限ステップで終了する。
• 非消滅予想はコンパクトKähler三様多様体において成立する：X が有理被覆であることは、K_X が擬効果的でないことに同値である。