[論文レビュー] Existence of log canonical modifications and its applications

Osamu Fujino, Kenta Hashizume|arXiv (Cornell University)|Mar 2, 2021

Algebraic Geometry and Number Theory参考文献 14被引用数 5

ひとこと要約

本論文は、やや弱い仮定の下で、正則なペアに対する対数正則な変形の存在を確立し、特異点の部分的解消のための新しい最小モデル理論的アプローチを提供する。また、Kawakitaの対数正則性に関する付加的反転を、完全に一般化された形で回復し、結果を用いて極小有理曲線の長さおよび準対数スキームによるMoriの双曲的性を研究する。

ABSTRACT

The main purpose of this paper is to establish some useful partial resolutions of singularities for pairs from the minimal model theoretic viewpoint. We first establish the existence of log canonical modifications of normal pairs under some suitable assumptions. It recovers Kawakita's inversion of adjunction on log canonicity in full generality. We also discuss the existence of semi-log canonical modifications for demi-normal pairs and construct dlt blow-ups with several extra good properties. As applications, we study lengths of extremal rational curves and so on.

研究の動機と目的

• 正則なペアに対して、$\mathbb{R}$-Cartierな$K_X + \Delta$および境界型の除数を備えた対数正則な変形の存在を確立すること。
• 以前のdlt吹き上げおよび同一的モデルに関する結果を、非対数正則特異点へ一般化すること。
• 最小モデルプログラムを用いて、Kawakitaの対数正則性に関する付加的反転を、完全に一般化された形で回復すること。
• 半正則なペアに対する半対数正則な変形の存在を調査すること。
• 理論を極小有理曲線および準対数スキームによるMoriの双曲的性に応用すること。

提案手法

• 最小モデルプログラムを用いて対数正則な変形を構成し、$K_Y + B_Y$ が $f$-オーバーラップであり、$B_Y$ が厳密変換と還元された例外的 divisor の和であることを保証する。
• 準対数スキームの理論を適用し、Nqklt と Nklt の局所を関連づけ、付加的技術を可能にする。
• $\varepsilon_i \searrow 0$ を用いた極限的議論により、$\mathrm{Nklt}(X,\Delta_i) = \Sigma$ となる $\mathbb{R}$-divisor $\Delta_i$ を構成する。
• Stein因子分解と有限準同型を用いて、問題を準射影的設定に還元する。
• 収縮準同型における連結なファイバーを保証するために、$\varphi_*$-アセイクル層に対する消失定理を適用する。
• 準対数スキームの理論を用いて $\mathrm{Nqlc}$ および $\mathrm{Nqklt}$ 中心を分析し、それらを対数正則中心と結びつける。

実験結果

リサーチクエスチョン

• RQ1 任意の正則ペア $(X, \Delta)$ に対して、$K_X + \Delta$ が $\mathbb{R}$-Cartier であり、$B \leq \Delta$ が $[0,1]$ に係数を持つ場合、対数正則な変形が存在するか？
• RQ2 最小モデルプログラムを用いて、Kawakitaの対数正則性に関する付加的反転を完全に一般化された形で回復できるか？
• RQ3 半正則ペアに対して、半対数正則な変形が存在するか？
• RQ4 対数正則ペアにおける極小有理曲線の最小長さは何か？
• RQ5 準対数スキームは、対数正則な変形の文脈で、Nqklt と Nklt の局所とどのように関係するか？

主な発見

• 正則ペアに対して、$K_X + \Delta$ が $\mathbb{R}$-Cartier であり、$B$ が $\mathrm{Supp}B = \mathrm{Supp}\Delta$ を満たす境界 divisor である場合、対数正則な変形の存在が確立された。
• 対数正則な変形定理の結果として、Kawakitaの対数正則性に関する付加的反転が、完全に一般化された形で回復された。
• 追加の良好な性質を持つdlt吹き上げが構成され、既知の結果が $\mathbb{Q}$-因子的でない設定へ拡張された。
• 適切な仮定の下で、任意の極小有理曲線 $C$ に対して、$0 < -(K_X + \Delta) \cdot C \leq 1$ を満たす場合、その長さは 1 で有界である。
• 準対数スキーム $[X, K_X + \Delta]$ は、$(X, \Delta)$ の Nklt 局所から Nqklt 局所を引き継ぎ、qlc 中心は対数正則中心に対応する。
• 非定値な準同型 $f: \mathbb{A}^1 \to X \setminus \Sigma$ が存在し、$C = \overline{f(\mathbb{A}^1)}$ が Nqklt 局所と交差し、$0 < -\omega \cdot C \leq 1$ を満たす。