[論文レビュー] On canonical bundle formulae and subadjunctions

Osamu Fujino, Yoshinori Gongyo|arXiv (Cornell University)|Sep 21, 2010

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

ひとこと要約

この論文は、正則多様体間の一般に有限な準同型写像に対して標準束の公式を確立し、対数正則なペアにおける最小対数 canonical 開核に対して部分接続公式を導く。この結果、このような開核への対数 canonical 除法の制限が、kawamata 対数 canonical 対に線形同値であることを示し、有理的特異点を意味する。さらに、非消滅定理や対数 Fano 多様体への応用に応用する。

ABSTRACT

We consider a canonical bundle formula for generically finite proper surjective morphisms and obtain subadjunction formulae for minimal log canonical centers of log canonical pairs. We also treat related topics and applications.

研究の動機と目的

• 正則多様体間の一般に有限な固有全射準同型写像に対して標準束の公式を確立すること。
• Kawamata の部分接続公式を、対数正則なペアにおける最小対数 canonical 開核へ一般化すること。
• 部分接続を用いて、最小対数 canonical 開核が有理的特異点をもつことを証明すること。
• 得られた結果を非消滅定理および有限準同型による対数 Fano 多様体の像の研究に応用すること。
• コンパactification に依存しない、局所的特異点論における部分接続の局所的バージョンを構築すること。

提案手法

• 一般に有限な準同型写像 $f: X \to Y$ に対して $K_X + \Delta \sim_{\mathbb{K},f} 0$ ならば、$Y$ 上に $\mathbb{K}$-除法 $\Gamma$ が存在し、$K_X + \Delta \sim_{\mathbb{K}} f^*(K_Y + \Gamma)$ かつ $(Y, \Gamma)$ が対数正則であることを示す主補題を証明する。
• Stein 分解と特異点の解消を用いて、問題を有限準同型に還元する。
• Kawamata 対数 canonical 対に対するAmbroの標準束の公式を用い、それを対数正則対へ拡張する。
• 最小対数 canonical 開核への標準束の制限を行い、誘導される対が kawamata 対数 canonical であることを示すことで、部分接続公式を構成する。
• 局所的標準束の公式を用いて、コンパクト化に依存しない、局所的状況でも有効な部分接続の結果を導出する。
• 得られた結果を用いて非消滅定理を証明し、有限準同型による対数 Fano 多様体の像の研究に応用する。

実験結果

リサーチクエスチョン

• RQ1 正則多様体間の一般に有限な固有全射準同型写像に対して、標準束の公式を確立できるか？
• RQ2 対数正則なペアにおける最小対数 canonical 開核に対して、Kawamata の結果を一般化した部分接続公式が成り立つか？
• RQ3 コンパクト化に依存しない局所的状況でも有効な部分接続公式を定式化できるか？
• RQ4 部分接続の結果が、最小対数 canonical 開核の特異点に与える影響は何か？
• RQ5 部分接続の結果を非消滅定理および対数 Fano 多様体にどう応用できるか？

主な発見

• 一般に有限な準同型写像に対して標準束の公式が確立された：$K_X + \Delta \sim_{\mathbb{K},f} 0$ ならば、$Y$ 上に有効な $\mathbb{K}$-除法 $\Gamma$ が存在し、$(Y, \Gamma)$ が対数正則であるような $K_X + \Delta \sim_{\mathbb{K}} f^*(K_Y + \Gamma)$ が成り立つ。
• 最小対数 canonical 開核に対する部分接続公式が証明された：$(K_X + D)|_W \sim_{\mathbb{K}} K_W + D_W$ であり、$(W, D_W)$ は kawamata 対数 canonical である。
• 最小対数 canonical 開核は、部分接続公式の結果として有理的特異点をもつ。
• 非消滅定理は、部分接続の結果と Kawamata–Shokurov の基点自由定理を用いて、簡潔に証明される。
• 局所的標準束の公式を用いて、コンパクト化に依存しない、アフィン多様体に対しても有効な局所的部分接続公式が確立された。
• 元のペアが klt で反 canonical 除法が豊富である場合、有限準同型による対数 Fano 多様体の像は、再び対数 Fano であることが示された。