[論文レビュー] On subadditivity of the logarithmic Kodaira dimension

Osamu Fujino|arXiv (Cornell University)|Jun 11, 2014

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

この論文は、$\omega$-層と$\widehat{\omega}$-層を用いて中谷の数値的コイズァ・次元に関するIitaka型不等式を確立することにより、対数的コイズァ・次元のIitakaの部分加法的予想に対する重要な還元を示している。主な結果として、最小モデルプログラムと豊富性予想のもとで、アフィン多様体における部分加法的性質が成り立つことが示され、全予想が一般化豊富性予想の特別な場合に還元される。

ABSTRACT

We reduce Iitaka's subadditivity conjecture for the logarithmic Kodaira dimension to a special case of the generalized abundance conjecture by establishing an Iitaka type inequality for Nakayama's numerical Kodaira dimension. Our proof heavily depends on Nakayama's theory of $ω$-sheaves and $\widehatω$-sheaves. As an application, we prove the subadditivity of the logarithmic Kodaira dimension for affine varieties by using the minimal model program for projective klt pairs with big boundary divisor.

研究の動機と目的

• 対数的コイズァ・次元のIitakaの部分加法的予想を、一般化豊富性予想の特別な場合に還元すること。
• $\omega$-層と$\widehat{\omega}$-層を用いて、中谷の数値的コイズァ・次元に関するIitaka型不等式を確立すること。
• 境界除集合が大きなものをもつklt対の最小モデルプログラムを用いて、アフィン多様体の対数的コイズァ・次元の部分加法的性質を証明すること。
• 等式$\kappa_{\sigma}(X,K_X+D_X) = \kappa(X,K_X+D_X)$が部分加法的予想を示すことの意味を示すこと。

提案手法

• 対数的正則除集合の文脈における数値的正性を分析するために、中谷の$\omega$-層と$\widehat{\omega}$-層の理論を用いる。
• 中谷の数値的コイズァ・次元$\kappa_{\sigma}$に関するIitaka型不等式を適用し、ファイブレーションにおけるファイバーとベースの次元を関連付ける。
• 境界除集合が大きなものをもつ、射影的klt対の最小モデルプログラムを用いて、アフィン多様体のコンパクト化に良い最小モデルまたはMoriファイブレーション空間を構成する。
• $\kappa_{\sigma}(X,K_X+D_X) = \kappa(X,K_X+D_X)$ が成り立つことで、部分加法的予想を一般化豊富性予想に還元する。
• 特異点の解消とコンパクト化の技術を用いて、アフィン多様体を、対数的正則リーマン環が制御可能な滑らかな射影的対$(X,D_X)$に埋め込む。
• 次元$\leq 3$において、等式$\kappa_{\sigma}(X,K_X+D_X) = \kappa(X,K_X+D_X)$を最小モデルプログラムと豊富性定理を用いて示す。

実験結果

リサーチクエスチョン

• RQ1 アフィン多様体に対して、対数的コイズァ・次元の部分加法的性質は成り立つか？
• RQ2 Iitakaの部分加法的予想は、一般化豊富性予想の特別な場合に還元可能か？
• RQ3 中谷の数値的コイズァ・次元$\kappa_{\sigma}$に対して、Iitaka型不等式は存在するか？
• RQ4 $\kappa_{\sigma}(X,K_X+D_X) = \kappa(X,K_X+D_X)$ が成り立つ条件は何か？
• RQ5 境界除集合が大きなものをもつklt対の最小モデルプログラムを用いて、アフィン多様体における部分加法的性質を証明できるか？

主な発見

• ファイブレーション$f:X\to Y$が単純な正則交差を持つ滑らかな射影的多様体の間で、$\kappa_{\sigma}(X,K_X+D_X) \geq \kappa_{\sigma}(F,K_F+D_X|_F) + \kappa_{\sigma}(Y,K_Y+D_Y)$が成り立つことが示され、数値的コイズァ・次元に関する重要な不等式が確立された。
• アフィン多様体における対数的コイズァ・次元の部分加法的性質は、最小モデルプログラムと豊富性予想から導かれ、Corollary 1.6が証明された。
• 次元$\leq 3$の多様体に対して、等式$\kappa(X,K_X+D_X) = \kappa_{\sigma}(X,K_X+D_X)$が成り立つ。これは、この場合の部分加法的性質を示す（Corollary 1.5）。
• アフィン多様体$V$の対数的正則リーマン環$\overline{R}(V)$は、良い最小モデルまたはMoriファイブレーション空間構造をもつコンパクト化を許容するため、$\mathbb{C}$-代数として有限生成である。
• 証明により、対数的コイズァ・次元の部分加法的予想が最小モデルプログラムと一般化豊富性予想の結果であることが示され、強い理論的根拠が得られた。
• Remark 1.7で示されるように、この結果は、特異点を解消し、同じ枠組みを適用することで、アフィン多様体からの厳密に有理的な支配写像へと拡張可能である。