[論文レビュー] Termination of pseudo-effective 4-fold flips

Joaquí­n Moraga|arXiv (Cornell University)|Feb 27, 2018

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

ひとこと要約

この論文は、特性0の代数閉体上での対数正則4次元多様体について、任意の$(K_X + B)$-flipの列が終結することを証明する。一般化されたペア、次元4における一般化されたdlt変換の存在、および一般化された対数正則閾値のACCを活用することで、ShokurovとBirkarの戦略にインspiredされた手法を用いて、3次元多様体およびkltペアに対する既存の結果を、次元4における対数正則ケースへと拡張する。

ABSTRACT

Let $(X,Δ)$ be a log canonical $4$-fold over an algebraically closed field of characteristic zero. We prove that any sequence of $(K_X+Δ)$-flips terminates.

研究の動機と目的

• 特性0の体上での対数正則4次元多様体について、$(K_X + B)$-flipの列の終結を確立すること。
• kltおよび正則ペアに対する終結結果を、次元4における対数正則ケースに拡張すること。
• Q-因子的gdlt 4次元多様体のflipに関する特別な終結および一般化されたdlt変換などの道具を開発すること。
• 一般化された対数正則閾値のACCおよび最小モデル理論を用いて終結を証明すること。
• 有効な対数正則4次元多様体への最小モデルプログラムを一般化し、有限終結を保証すること。

提案手法

• kltおよび正則ケースからの技法を拡張するために、一般化されたペアの理論を用いて次元4におけるflipを分析する。
• $\rQ$-因子的一般化されたdlt 4次元多様体のflipに関する特別な終結を証明し、flipが対数正則中心の集合を最終的に避けることを示す。
• 元のペアが一般化された対数正則でない場合でも、次元4における一般化されたdlt変換の存在を確立する。
• 一般化された対数正則閾値のACC（BZ16, 定理1.5）を適用し、flipの複雑さを有界化する。
• 最小モデルプログラムとスケーリングを用い、有効な除数が良い最小モデルをもつことを利用して、終結を誘導する。
• MMPを用いて一般化されたペア構造上でflipの列を構成し、境界除数と無限に交わる場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 特性0の体上での対数正則4次元多様体について、任意の$(K_X + B)$-flipの列は終結するか？
• RQ2 一般化されたペアの技法を用いて、有効な対数正則4次元多様体のflipの終結を確立できるか？
• RQ3 次元4におけるflipが対数正則中心に蓄積しないようにするための条件は何か？
• RQ4 一般化された対数正則性を仮定しない状況で、次元4における一般化されたdlt変換をどのように構成できるか？
• RQ5 一般化された対数正則閾値のACCは、次元4におけるflip列の長さをどの程度制御できるか？

主な発見

• 代数閉体上、特性0の対数正則4次元多様体$(X,B)$について、任意の$(K_X + B)$-flipの列は終結する。
• Q-因子的で有効なdlt 4次元多様体の最小モデルプログラムは、最小モデルで終結する。
• Q-因子的一般化されたdlt 4次元多様体のflipに関して特別な終結が成り立ち、flipが対数正則中心の集合を最終的に避ける。
• 元のペアが一般化された対数正則でない場合でも、次元4における一般化されたdlt変換が存在する。
• 係数の集合が有限で、モジュライ除数がネフである条件下で、$K_X + B + M$ が有効なQ-因子的一般化されたdlt 4次元多様体のflipの終結が確立される。
• 係数およびモジュライ係数が有限集合にあるとき、有効な$K_X + B + M$ をもつ一般化されたdltペア$(X/Z, B+M)$の最小モデルプログラムは終結する。