[論文レビュー] Semi-stable extensions over 1-dimensional bases

Janós Kollár, Johannes Nicaise+1 more|arXiv (Cornell University)|Oct 8, 2015

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

ひとこと要約

本稿では、1次元の基底（例えば、穴あき円板や形式的ベキ級数環のスペクトルなど）上のCalabi-Yauまたは対数正則な多様体の族が、有限次拡張を経て特異点集合に沿って拡張可能であり、自明または半アーメルな canonical 系を保つことを確立する。主な結果として、このような多様体のBerkovichスケルトンと本質的スケルトンが一致することを示し、特異化された特殊ファイバーの双対交差複体への強い変形リトラクトを与える。

ABSTRACT

Given a family of Calabi-Yau varieties over the punctured disc or over the field of Laurent series, we show that, after a finite base change, the family can be exended across the origin while keeping the canonical class trivial. More generally, we prove similar extension results for families whose log-canonical class is semi-ample. We use these to show that the Berkovich and essential skeleta agree for smooth varieties over ${\mathbb C}((t))$ with semi-ample canonical class.

研究の動機と目的

• 1次元正則基底上での半アーメルな対数 canonical 系をもつ多様体族のグローバル拡張問題を解決すること。
• 複素形式的ベキ級数体 $\mathbb{C}((t))$ 上の滑らかで、半アーメルな canonical 系をもつ多様体について、そのBerkovichスケルトンと本質的スケルトンが一致することを証明すること。
• 有限型の体上に定義された曲線でない1次元基底上でも、最小でdlt型のモデルが存在することを確立すること。
• 半アーメル性の条件下で、特殊ファイバーの双対交差複体が、一般ファイバーの解析的化の強い変形リトラクトであることを示すこと。

提案手法

• 1次元の形式的または解析的族を、より高次元の代数的族に埋め込み、高次元における既知の拡張結果を活用すること。
• 相対的設定下での最小モデルプログラム（MMP）技法を用いて、dltまたはqdlt特異点と半アーメルな canonical 系をもつモデルを構成すること。
• dltまたはsncモデルから出発し、$K_X + \Delta$-負のフリップと収縮の列を構成し、最小モデルに到達するまでの終了を保証すること。
• MMPステップの不変性とトロイダル解消を用いて、qdltモデルのBerkovichスケルトンが本質的スケルトンと一致することを証明すること。
• Galois可換な基底変換を用いて、群作用と特異点を保つ$G$-可換な拡張を構成すること。
• [dFKX12]からの変形リトラクトの議論を適用し、スケルトンが解析的化の強い変形リトラクトであることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 穴あき円板上でのCalabi-Yau多様体族は、有限次基底拡張を経て原点に沿って拡張可能であり、canonical 系が自明になるか？
• RQ2 $\mathbb{C}((t))$ 上の多様体のBerkovichスケルトンが本質的スケルトンと一致する条件は何か？
• RQ3 canonical 系が半アーメルであるとき、特殊ファイバーの双対交差複体は、一般ファイバーの解析的化の強い変形リトラクトか？
• RQ4 有限型の基底を仮定しない1次元正則スキームやリーマン面においても、拡張問題は解けるか？
• RQ5 最小でdlt型のモデルが半アーメルな canonical 系をもつならば、本質的スケルトンとBerkovichスケルトンは同型か？

主な発見

• 有限次基底拡張の後、1次元基底上での$p^\circ$-半アーメルな対数 canonical 系をもつ任意の多様体族は、$p_B$-半アーメルな canonical 系とdlt特異点をもつ族に拡張可能である。
• $X_K$が滑らかで、$(X,\operatorname{red}X_k)$がqdltであるような、$R$-スキーム$X$について、そのBerkovichスケルトンは$X^\circ$の本質的スケルトンと一致する。
• 本質的スケルトン${\rm Sk}(X^\circ)$は、$X^{\rm an}$の強い変形リトラクトである。これは、有限型の基底でない場合にも一般化された結果である。
• 拡張モデルの構成は、sncモデルから出発する$K_X + \Delta$-負のフリップと収縮の列によって達成可能である。
• 拡張は有限群作用と整合的であり、元の族にそのような作用が存在する場合、得られるモデルは$G$-可換にqdlt型である。
• 特殊ファイバーの双対交差複体は、本質的スケルトンと自然に位相同型であり、この構造は解消の選び方に依存しない。