[論文レビュー] On the log minimal model program for irreducible symplectic varieties

Christian Lehn, Gianluca Pacienza|arXiv (Cornell University)|May 22, 2014

Algebraic Geometry and Number Theory参考文献 18被引用数 6

ひとこと要約

本稿は、正則特異点をもつシンプレクティック多様体 $X$ と有効でネフな $\mathbb{R}$-Cartier divisor $\Delta$ をもつ、射影的で非分解的シンプレクティック多様体上の対 $(X, \Delta)$ におけるログ最小モデルプログラム（log-MMP）の終結を確立する。証明は、最小ログ正則性度（mld）を用いた新谷の基準に依拠し、局所的自明な変形によって、フリップの下でも特異点が制御されることを示し、mld集合に関する川下のACC結果を適用する。

ABSTRACT

We show the termination of any log-minimal model program for a pair $(X,Δ)$ of a symplectic manifold $X$ and an effective $\mathbb R$-divisor $Δ$.

研究の動機と目的

• 非分解的シンプレクティック多様体上のログ正則対に対して、ログ最小モデルプログラム（log-MMP）の終結を確立すること。
• このような対におけるすべてのlog-MMPが、正則特異点とネフな境界除集合をもつ最小モデルに有限ステップで終結することを示すこと。
• 局所的自明な変形における最小ログ正則性度（mld）の不変性を証明することで、新谷の終結基準を特異なシンプレクティック多様体へ拡張すること。
• MMPにおけるフリップが、クレパント解消をもつシンプレクティック多様体のクラスを保つことを示し、特異点が有界であることを保証すること。

提案手法

• フリップの終結のための新谷の基準を用い、最小ログ正則性度（mld）の下方連続性（LSC）と上昇鎖条件（ACC）に依拠する。
• 多様体 $Y$ にクレパント解消が存在する場合、その解消 $X$ でLSCが成り立つならば、その引き戻しと特異点の不変性により、$Y$ に対してもLSCが成り立つことを証明する。
• 定理3.1を適用し、フリップ列に現れるすべての多様体 $X_i$ が互いに局所的自明な変形であることを示し、mld集合を保存することを保証する。
• 局所的自明性の仮定の下で、固定された係数集合 $\Gamma$ に対して、mld集合 $M_\Gamma(X)$ が有限であるという川下の結果を適用する。
• MMPがフリップと除集合的収縮を通じてシンプレクティック構造とクレパント解消を保ち続けることにより、中間多様体が有界な特異点クラスに留まることを保証する。
• 変形不変性により、mld集合 $\Omega(X)$ がMMP列全体で有限かつ不変であり、ACCを満たすことが保証され、結果として終結が得られることを確立する。

実験結果

リサーチクエスチョン

• RQ1 非分解的シンプレクティック多様体上のログ正則対に対して、ログ最小モデルプログラム（log-MMP）は終結するか？
• RQ2 特異点が生じる場合、MMPにおけるフリップの下でも最小ログ正則性度（mld）は制御可能か？
• RQ3 クレパント解消をもつシンプレクティック多様体のフリップは、その性質を保ち続けるか？
• RQ4 シンプレクティック多様体のフリップ列において、最小ログ正則性度の集合は有界か？
• RQ5 互いに局所的自明な変形であるシンプレクティック多様体は、常に同一のmld集合をもつか？

主な発見

• 射影的非分解的シンプレクティック多様体 $X$ 上の任意のログ正則対 $(X, \Delta)$ に対するlog-MMPは、有限ステップで終結する。
• 終結時に得られる最小モデル $(X', \Delta')$ は、$X'$ が正則特異点をもつシンプレクティック多様体であり、$\Delta'$ が有効でネフな $\mathbb{R}$-Cartier除集合である。
• MMP列に現れるすべての多様体 $X_i$ は、互いに局所的自明な変形であるため、局所的特異点不変量が不変である。
• 局所的自明性により、最小ログ正則性度（mld）集合が有限かつ不変であり、ACC条件を満たす。
• MMPで遭遇する特異点のクラスが有界であることが証明され、川下のmldのACC結果の適用が可能になる。
• 境界除集合が移動可能でなくてもよいという点で、MatsumotoとZhangの先行研究を改善している。