[論文レビュー] Log Adjunction: effectiveness and positivity

Vyacheslav Vladimirovich Shokurov|arXiv (Cornell University)|Aug 23, 2013

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

ひとこと要約

本稿は、最大の弱く対数極小 (wlc) 対に対して対数付加を導入し、相対的 b-表現を通じて付加におけるモジュライ部の有効性と正性を確立する。最大対に対しては、モジュライ部が半アーベル的かつフロップ不変であることを証明し、主要結果として、LMMP および豊富性予想の下で、モジュライ除数が縮約のもとでベースモジュライ除数の引き戻しと $\mathbb{R}$-線形同値であることを示す。

ABSTRACT

This is a first instalment of much larger work about relations between birational geometry and moduli of triples. The extraction of work is mainly related to Theorem 6. It is a weak version of Kawamata's Conjecture 1 and an important technical step toward semiampleness of moduli part of adjunction. To prove Theorem 6, we use relative analogues of b-representations. The proof here is rather complete except for b-mobile property used in Corollary 1.

研究の動機と目的

• 対数対における付加におけるモジュライ部の有効性と正性を確立すること。
• モジュライ部の半アーベル性に関する川嶋予想の弱い形を証明すること。
• 三重のモジュライの文脈における付加のための技術的道具として相対的 b-表現を構築すること。
• モジュライ除数が縮約のもとでベースモジュライ除数の引き戻しと $\mathbb{R}$-線形同値であることを示すこと。
• 群論的および幾何的議論を用いて、有界フロップにおけるモデルの有限性を確立すること。

提案手法

• 対数対における付加のモジュライ部を分析するために、b-表現の相対的類似を用いる。
• 完全な tdlt ファミリーの存在を適用して、最大の wlc 対を構成する。
• LMMP および豊富性予想を用いて、半アーベル的モジュライ除数を保証する。
• 格子の自然同型を用いて、三重のファミリー全体を通じてフロップを拡張する。
• 自動同型群を消去するために、rigidity 構造（例えば $l$-組の点）を追加することで、細かいモジュライ空間を構成する。
• コロナリー2を用いて、モデルの有限性を商群の有限性に還元する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、対数対における付加のモジュライ部が有効的かつ半アーベル的であるか。
• RQ2 相対的 b-表現は、付加におけるモジュライ部をどのように分析できるか。
• RQ3 モジュライ除数はフロップに対してどのように振る舞い、不変か。
• RQ4 有界フロップにおけるモデルの有限性は、対数付加の文脈で確立可能か。
• RQ5 縮約において、ベースモジュライ除数の引き戻しと総モジュライ除数の関係は何か。

主な発見

• モジュライ部 $\mathcal{D}^{\mathrm{mod}}$ は $\mathbb{R}$-線形同値である：$\mathcal{D}^{\mathrm{mod}} \sim_{\mathbb{R}} f^*\mathcal{D}_{\mathrm{mod}}$ であり、$f: X \to Z$ を縮約とする。
• モジュライ除数は有効的であり、一般ファイバーの双有理自己同型群におけるすべてのフロップに対して不変である。
• $0$-縮約で $K+D \equiv 0/Z$ の場合、対は最大的であり、モジュライ部は半アーベル的である。
• 有界フロップにおけるモデルの有限性は、コロナリー2で示されたように、商群の有限性に起因する。
• 曲線上の対に対するモジュライ除数 $\mathcal{D}^{\mathrm{mm}}$ は安定化され、$\overline{K + B^{\mathrm{log}} - f^*(K_C + \sum p_i)}$ に等しく、これは有効的である。
• rigidity 構造（例えば $l$-組の点）を追加することで、細かいモジュライ空間が構成され、自動同型群が自明になる。