[論文レビュー] On connectedness of non-klt loci of singularities of pairs

Caucher Birkar|arXiv (Cornell University)|Oct 16, 2020

Finite Group Theory Research被引用数 4

ひとこと要約

本稿は、連結なファイバーを持つ射影的な準同型 $X \to Z$ と、$Z$ 上でネフである $-(K_X + B)$ のもとで、ペア $(X,B)$ の非klt部分集合が、各ファイバーの近傍で高々2つの連結成分を持つことを証明し、HaonとHanの予想を確認した。さらに、マーティン・グロスがミラー対称性の文脈で提起した非klt部分集合の連結性に関する問題に対し、特に零次元の非klt中心を持つ場合に、ストラトゥムの連結性を保証する数値的条件を確立することで解決した。

ABSTRACT

We study the non-klt locus of singularities of pairs. We show that given a pair $(X,B)$ and a projective morphism $X o Z$ with connected fibres such that $-(K_X+B)$ is nef over $Z$, the non-klt locus of $(X,B)$ has at most two connected components near each fibre of $X o Z$. This was conjectured by Hacon and Han. In a different direction we answer a question of Mark Gross on connectedness of the non-klt loci of certain pairs. This is motivated by constructions in Mirror Symmetry.

研究の動機と目的

• HaonとHanが提起した予想の検証：$-(K_X + B)$ が基底 $Z$ 上でネフで、ファイバーが連結であるとき、ペア $(X,B)$ の非klt部分集合が高々2つの連結成分を持つことの確認。
• マーク・グロスがミラー対称性の構成の文脈で提起した、非klt部分集合の連結性に関する問題への回答。
• 特に零次元の非klt中心を持つペアに対して、対数カバリ・ヤウペアにおけるストラトゥムの連結性を保証する数値的条件の提供。
• kltのフラップの終了を仮定せず、代わりに被約幾何学とMMP技術を用いて、非klt部分集合の連結性を保証できることの確立。
• $(K_X + B)$ が大域的または正定値でない場合でも、$-(K_X + B)$ がネフである場合にまで、連結性の原理を拡張すること。

提案手法

• ペア $(X,B)$ のdlt変形 $(X', B')$ を、双有理変換によって非klt中心を保存するように、最小モデルプログラム（MMP）を用いて構成する。
• 付随理論の適用により、ストラトゥム $V$ に対して $K_V + B_V = (K_X + B)|_V$ を定義し、非klt部分集合 $\mathrm{Nklt}(V, B_V)$ を $\lfloor B_V \rfloor$ として分析する。
• 擬効果的性と基底集合 ${\bf B}_-(D)$ の概念を用いて、零次元の非klt中心における吹き上げの下での、除法の振る舞いを分析する。
• 負の補題と、零次元の非klt中心における吹き上げから得られる例外的除法 $E$ の性質を用いて、$K_X + B$ の数値的振る舞いを制御する。
• 背理法による証明：$\lfloor B_V \rfloor$ が非連結であるが、その変換 $\lfloor B'_{V'} \rfloor$ は連結であると仮定すると、共通の非klt中心の存在により矛盾が生じる。
• $\phi^*(K_X + B) - tE$ が任意の $t > 0$ に対して擬効果的でない場合、適切な仮定の下で非klt部分集合が連結のまま保たれることを確立する。

実験結果

リサーチクエスチョン

• RQ1 HaonとHanが提起した予想に従い、$-(K_X + B)$ が基底 $Z$ 上でネフで、ファイバーが連結であるとき、ペア $(X,B)$ の非klt部分集合が高々2つの連結成分を持つのか？
• RQ2 零次元の非klt中心を持つペア $(X,C)$ において、次元 $\geq 2$ のストラトゥム $V$ に対して、非klt部分集合 $C_V$ が連結である条件は何か？
• RQ3 特にミラー対称性の文脈において、kltフラップの終了を仮定せず、非klt部分集合の連結性を保証できるのか？
• RQ4 零次元の非klt中心を持つ対数カバリ・ヤウペアにおけるストラトゥムの連結性を保証する数値的条件は存在するのか？
• RQ5 $(K_X + B)$ が大域的または正定値でない場合でも、$-(K_X + B)$ がネフである場合にまで、連結性の原理を拡張できるのか？

主な発見

• 射影的準同型 $X \to Z$ が連結なファイバーを持つとき、$-(K_X + B)$ が $Z$ 上でネフであれば、ペア $(X,B)$ の非klt部分集合は各ファイバーの近傍で高々2つの連結成分を持つ。これはHaon-Han予想の確認である。
• $\phi^*(K_X + B) - tE$ が任意の $t > 0$ に対して擬効果的でない場合、$\phi$ を零次元の非klt中心 $x$ における吹き上げとすると、次元 $\geq 2$ のすべてのストラトゥム $V$ に対して非klt部分集合 $C_V$ は連結である。これはグロスの問いへの回答である。
• $K_X + B \equiv \sum a_i B_i$ で $a_i \geq 0$ であり、零次元の非klt中心 $x$ が $K_X + B - \sum u_i B_i$ の基底集合に含まれない場合（$0 \leq u_i \leq a_i$ を満たす適切な $u_i$ に対して）、次元 $\geq 2$ のストラトゥム $V$ に対して $\mathrm{Nklt}(V, B_V)$ の連結性が成立する。
• kltフラップの終了を仮定せず、代わりにMMPと擬効果的性の性質に依存することで、この結果が成立する。
• $(X,B)$ の非klt中心とそのdlt変形 $(X', B')$ 上の変換との間には1対1対応が存在し、これにより連結性の性質を移すことができる。
• $(X,B)$ が $x$ における吹き上げで与えられる数値的条件を満たす場合、$K_{X'} + B' \sim_{\mathbb{Q}} 0$ を満たす対数最小モデル $(X', B')$ が存在し、ストラトゥム上での非klt部分集合の連結性が保証される。