[論文レビュー] Strong $(\delta,n)$-Complements for Semi-Stable Morphisms

Stefano Filipazzi, Joaqu ́ın Moraga|arXiv (Cornell University)|Aug 20, 2019

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

ひとこと要約

本稿では、ファノ型の一般化された $\epsilon$-対数正則な対について、グローバルな強い $(\delta,n)$-補完の有界性を確立し、半安定な準同型について局所的有界性への部分的な結果を示している。最小モデルプログラムおよび一般化された付随公式の技術を用いて、一般化された対に対する有効な canonical バンドルおよび付随公式を導出し、強い補完の存在が Mori フibrer 空間の底の特異点に関する McKernan の予想を示すことを示している。

ABSTRACT

We prove the boundedness of global strong $(\delta,n)$-complements for generalized $\epsilon$-log canonical pairs of Fano-type. We also prove some partial results towards boundedness of local strong $(\delta,n)$-complements for semi-stable morphisms. As applications, we prove an effective generalized canonical bundle formula for generalized klt pairs and an effective generalized adjunction formula for exceptional generalized log canonical centers. Moreover, we prove that the existence of strong $(\delta,n)$-complements implies a conjecture due to McKernan concerning the singularities of the base of a Mori fiber space.

研究の動機と目的

• 一般化されたファノ型の $\epsilon$-対数正則な対について、グローバルな強い $(\delta,n)$-補完の有界性を証明すること。
• 半安定な準同型について、局所的な強い $(\delta,n)$-補完の有界性への部分的な結果を確立すること。
• 係数を制御した一般化された対について、有効な一般化された canonical バンドル公式および付随公式を導出すること。
• 強い $(\delta,n)$-補完の存在が、Mori フibrer 空間の底の特異点に関する McKernan の予想を示すこと。

提案手法

• Birkar の $(0,n)$-補完およびファノ多様体の有界性に関する研究の技術を一般化された対の設定に適応する。
• スケーリングを伴う最小モデルプログラムおよび相対的減少基底領域を用いて、開部分集合上でのファノ型モデルを構成する。
• 一般化された canonical バンドル公式を適用して、底および例外的な対数正則中心に一般化された対を誘導する。
• 半安定な準同型の理論を用いて特異点を制御し、局所的設定での有界性を保証する。
• 係数集合の下降鎖条件および Cartier 指数の制御を活用して、有効な境界を保証する。
• 問題を、基底変換の保存性により、既知のファノ多様体の有界性および有効な付随公式に関する結果に還元する。

実験結果

リサーチクエスチョン

• RQ1 一般化された $\epsilon$-対数正則なファノ型対について、グローバルな強い $(\delta,n)$-補完は有界であるか？
• RQ2 半安定な準同型について、局所的な強い $(\delta,n)$-補完の有界性はどのような条件下で成立するか？
• RQ3 係数およびモジュライ部が一様に有界な条件下で、一般化された canonical バンドル公式を有効化できるか？
• RQ4 例外的な一般化された対数正則中心への一般化された付随公式は、係数を制御して有効化できるか？
• RQ5 強い $(\delta,n)$-補完の存在は、Mori フibrer 空間の底の特異点に関する McKernan の予想を示すか？

主な発見

• 定理 1.3 は、標数 0 の代数閉体上での一般化された $\epsilon$-対数正則なファノ型対について、強い $(\delta,n)$-補完のグローバル有界性を確立している。$M'$ が自明または $\Lambda$ が有限の場合、$\delta = \epsilon$ となる。
• 定理 1.4 は、$\Lambda$ が有限、$M'$ が自明、$mK_Z$ が Cartier であり、$\delta > 0$ が $m$ および設定に依存する場合に、半安定な準同型について局所的な強い $(\delta,n)$-補完の部分的有界性を証明している。
• 定理 1.5 は、有効な一般化された canonical バンドル公式を提供する：$f: X \to Z$ で $K_X + B + M \sim_{\mathbb{Q},Z} 0$ であるとき、$K_X + B + M \sim_{\mathbb{Q}} f^*(K_Z + B_Z + M_Z)$ を満たす一般化された対 $(Z, B_Z + M_Z)$ が存在する。ここで $\operatorname{coeff}(B_Z) \subset \Omega$ かつ $qM'_Z$ は $d$, $p$, および $\Lambda$ のみに依存する $q$ で Cartier である。
• 系 1.7 は、例外的な一般化された対数正則中心への有効な一般化された付随公式を与える：$X$ の中心 $W \subset X$ に対して、$(K_X + B + M)|_W \sim_{\mathbb{Q}} K_W + B_W + M_W$ を満たす一般化された対 $(W, B_W + M_W)$ が存在する。ここで $\operatorname{coeff}(B_W) \subset \Omega$ かつ $qM'_W$ は $d$, $p$, および $\Lambda$ のみに依存する $q$ で Cartier である。
• 定理 1.10 は、予想 1.1 が Mori フibrer 空間の底の特異点に関する McKernan の予想を示すことを示しており、さらに $K_X$ の Cartier 指数が有界であるという追加仮定の下でその予想を証明している。
• 本稿は、基底変換後にモジュライ部 $qM'_Z$ が Cartier であることを確認しており、底に誘導される一般化された対は、有理数の蓄積点を持つ係数の下降鎖条件を満たしている。