[論文レビュー] Existence and boundedness of $n$-complements

Vyacheslav Vladimirovich Shokurov|arXiv (Cornell University)|Dec 11, 2020

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

ひとこと要約

この論文は、代数幾何における対数正則な対について、弱Fano型または厳密な $\delta$-lc 条件の下で $n$-補完の存在と有界性を確立する。与えられた対 $(X/Z\ni o, B)$ に対して、$n$-補完が存在するような補完インデックス $n$ の一様な有界性が示され、$\mathbb{R}$-補完の理論を拡張し、最小モデルプログラムにおける主要な予想を解決する。

ABSTRACT

Theory of $n$-complements with applications is presented.

研究の動機と目的

• 最小モデルプログラムの文脈において、対数正則な対の $n$-補完の存在と有界性を確立すること。
• $\mathbb{R}$-補完の理論を、弱Fano型または厳密な $\delta$-lc の仮定の下で $n$-補完に拡張すること。
• インデックス予想とギャップ予想を含む補完インデックスに関する予想を、次元3までに解決すること。
• $a$-$n$-補完の枠組みを提供し、$a$-lc 条件を組み込み、以前の結果を一般化すること。

提案手法

• 各係数の重複度に関する床条件を用いた $n$-補完の定義：$d_i < 1$ のとき $d_i^+ \geq \lfloor (n+1)d_i \rfloor / n$、$d_i = 1$ のとき $d_i^+ = 1$ であり、$D^+$ が部分境界であることを保証する。
• 相対的線形同値 $K + D^+ \sim_n 0/Z\ni o$ を適用し、$n(K + D^+)$ がカルティエで $D^+$ が $\mathbb{Q}$-有理型被覆であることを示す。
• 調整定数と重複度を制御するため、厳密な $\delta$-lc 対の概念を用い、インデックスの有界性を保証する。
• 既知の $\mathbb{R}$-補完に関する結果に帰着し、$a$-lc 条件の近似技術を用いる。
• トロピカル例と $\mathbb{P}^1$ 上の多項式構成を用いて、$n$-補完の挙動を説明し、条件の妥当性を検証する。
• 弱Fano型や正則特異点条件を含む最小モデルプログラムの結果を応用し、インデックスの有界性を証明する。

実験結果

リサーチクエスチョン

• RQ1 弱Fano型または厳密な $\delta$-lc 条件の下で、与えられた対 $(X/Z\ni o, B)$ の $n$-補完に対して、補完インデックス $n$ の一様な有界性が存在するか？
• RQ2 $a$-lc $\mathbb{R}$-補完の存在が、$a > 0$ のとき $a$-$n$-補完の存在を示唆するか？特に $n$ が有界であるか？
• RQ3 厳密な $\delta$-lc 性質と $n$-補完の有界性との関係は何か？特に、非相対的または非Fano設定においては？
• RQ4 $a$ が無理数のとき、$n$-補完は近似においてどのように振る舞い、$a$-lc 条件が $m/n$-近似に与える制約は何か？
• RQ5 重複度が有界でないファイブレーション、例えば genus 1 曲線に対して $n$-補完はどの程度存在するか？また、厳密な $\delta$-lc 条件はインデックスの無限大を防ぐか？

主な発見

• 弱Fano型または $o$ 上の厳密な $\delta$-lc を満たす対に対して、$n$-補完の存在と有界性が確立され、以前の $\mathbb{R}$-補完に関する結果が一般化された。
• $a = 0$ のとき、$n$-補完に関する予想が成立し、このような $n$-補完は lc $n$-補完と呼ばれ、インデックスが有界である。
• 厳密な $\delta$-lc 条件は調整定数の有界性を保証し、ファイブレーション設定における $n$-補完の無限大を防ぐ。
• トロピカルの場合、$D$ が部分境界であれば任意の $n$ に対して $n$-補完が存在し、不変補完は一意的である。
• $\mathbb{P}^1$ では、$n$-補完は重複度 $\leq n$ の次数 $2n$ の多項式に対応し、定義2の重複度条件を示している。
• 厳密な $\delta$-lc 仮定の下で、$a$-$n$-補完に関する予想が成立し、$a > 0$ のとき $\delta > 0$ であり、インデックス集合 $\mathcal{N}$ は $a$ に依存する。