[論文レビュー] On the MMP for rank one foliations on threefolds

Paolo Cascini, Calum Spicer|arXiv (Cornell University)|Dec 21, 2020

Algebraic Geometry and Number Theory参考文献 63被引用数 26

ひとこと要約

本稿では、Q-因子的klt三様相上の対数正則なランク1の葉層付き対に対して、フリップの存在を確立し、McQuillanの葉層の最小モデルプログラムを拡張する。葉層付き補完を構成し、誘導された葉層の標準形を用いてフリッピング曲線の形式的近傍を分析することで、弱い特異性のもとでフリップが存在することを証明し、葉層付きMMPの実行と、擬効率的 canonical 葉層の最小モデルの存在を可能にする。

ABSTRACT

We prove existence of flips for log canonical foliated pairs of rank one on a Q-factorial projective klt threefold. This, in particular, provides a proof of the existence of a minimal model for a rank one foliation on a threefold for a wider range of singularities, after McQuillan.

研究の動機と目的

• 葉層の最小モデルプログラムを、商特異点を超えて、対数正則特異点をもつ三様相へとMcQuillanの結果を拡張すること。
• Q-因子的klt三様相上のランク1の葉層付き対 (F, Δ) に対してフリップの存在を確立すること。
• 環境多様体の特異度を、葉層の特異度によって有界化することで、葉層の被約幾何と古典的被約幾何との関係を明らかにすること。
• 特異点が孤立している正則葉層をもつ三様相は、必ず対数正則特異点をもつことの証明。
• 従来の知られていたものより広い特異度のもとで、三様相上の葉層の最小モデルの存在を保証する枠組みを提供すること。

提案手法

• フリッピング曲線 C を含む、非常に特異的で F-不変な除斥的因子 D を構成することで、KF-フリップを (KX + D)-フリップに還元する。
• 標高 Z における葉層付き補完 E を用い、Kf∗F + E が Q-カリーであり、(f∗F, E) が弱い特異度をもつようにする。
• ベクトル場 ∑nixi∂/∂xi（非負整数 ni をもつ）による標準形を用いて、Z 上の誘導葉層 f∗F を分析する。
• フリッピング曲線 C の形式的近傍を詳細に分析し、重み付きの吹き上げと吹き下ろしを用いた手術を構成することで、フリップに類似した構成を行う。
• D の選択により葉層不変性を保ちながら、(X, D) に対して古典的手法によるMMPを適用する。
• 補助的除斥的因子 Gk と Eℓ に対する帰納法と除斥的収縮の議論を用い、Z 上のMMPが終了し、すべての特異的除斥的因子が収縮されることを示す。

実験結果

リサーチクエスチョン

• RQ1 商特異点を超えて、klt特異点をもつ三様相上の対数正則葉層付き対（ランク1）に対して、フリップを構成することは可能か？McQuillanの結果を拡張できるか？
• RQ2 環境三様相の特異度と、その上に存在する正則葉層の特異度との関係は何か？
• RQ3 従来の知られていたものより広い特異度のもとで、三様相上の葉層の最小モデルの存在を確立することは可能か？
• RQ4 三様相上の葉層の特異度によって、環境多様体の特異度を有界化することは可能か？ただし、三様相上の葉層の正則モデル定理を仮定しないものとする。
• RQ5 フリッピング曲線の形式的近傍を、葉層不変量の観点からどのように記述すれば、フリップの明示的構成が可能になるか？

主な発見

• 定理8.8で述べられているように、Q-因子的klt特異点をもつ射影的三様相上の対数正則葉層付き対 (F, Δ)（ランク1）に対して、フリップの存在が証明された。
• 定理8.10で示されるように、KF + Δ が擬効率的であるという仮定のもとで、このような葉層の最小モデルプログラムを実行でき、最小モデルの存在が保証される。
• 定理4.3で示されるように、孤立特異点をもつ正則葉層をもつ正則三様相は、必ず対数正則特異点をもつ。
• ランク1の葉層をもつ三様相におけるフリッピング曲線の形式的近傍は、非負整数係数をもつベクトル場によって記述される標準形をもち、これによりフリップの明示的構成が可能になる。
• フリッピング写像の標高 Z におけるMMPは、すべての特異的除斥的因子 Gk と Eℓ を収縮し、終了性とフリップの存在を保証する。
• 最終的なフリップ f+: X+ → Z は小写像であり、KF+ は Z 上で非常に正である。これにより、フリップが要求される最小性条件を満たしていることが確認された。