[論文レビュー] The essential skeleton of a degeneration of algebraic varieties

Johannes Nicaise, Chenyang Xu|arXiv (Cornell University)|Jul 15, 2013

Algebraic Geometry and Number Theory参考文献 18被引用数 25

ひとこと要約

本稿では、特徴標数0の局所体上の代数的多様体の退化における本質的スケルトンが、canonical divisor が半アーメッドであるとき、任意の最小dltモデルのスケルトンと一致すること、およびそのスケルトンがBerkovich解析化空間の強い変形リトラクトであることを確立する。主な貢献は、2つのスケルトンの構成法—多様体の正則形式によるものと、Minimal Model Programによるもの—の同値性であり、特にCalabi-Yau多様体に対して深い位相的・幾何的性質を持つ、標準的かつ内的なスケルトンを提供する。

ABSTRACT

In this paper, we explore the connections between the Minimal Model Program and the theory of Berkovich spaces. Let $k$ be a field of characteristic zero and let $X$ be a smooth and proper $k((t))$-variety with semi-ample canonical divisor. We prove that the essential skeleton of $X$ coincides with the skeleton of any minimal $dlt$-model and that it is a strong deformation retract of the Berkovich analytification of $X$. As an application, we show that the essential skeleton of a Calabi-Yau variety over $k((t))$ is a pseudo-manifold.

研究の動機と目的

• 特徴標数0の局所体上の滑らかで射影的な多様体のBerkovich解析化空間内に、特定のsncモデルに依存しない標準的かつ内的なスケルトンを定義すること。
• 2つの異なるスケルトンの構成法—正則形式によるもの（本質的スケルトン）とMinimal Model Programによるもの（dltモデルスケルトン）—を統合すること。
• canonical divisor が半アーメッドである条件の下で、これら2つのスケルトンが一致し、かつ解析化空間の強い変形リトラクトであることを証明すること。
• Calabi-Yau多様体の本質的スケルトンの位相的構造を研究し、それが境界を持つ擬似多様体であることを示すこと。
• 対数幾何学と t² で割った剰余環を用いて、技術的仮定（例えば、多様体が曲線上に定義されていること）を除去すること。

提案手法

• Berkovich解析化と形式的モデルを用い、多様体の幾何とその環 R = k[[t]] 上での退化との関係を確立する。
• 特異点が単純な交差を持つモデル（sncモデル）のスケルトンを、特別なファイバーの双対交差複体として定義し、それが解析化空間の強い変形リトラクトであることを示す。
• すべてのsncモデルにわたる正則形式の最小重みを用いて本質的スケルトンを構成し、モデルの選択に依存しない不変性を保証する。
• canonical divisor が半アーメッドである条件の下で、最小dltモデルの概念を導入し、このようなモデルが存在し、そのスケルトンがモデルの選択に依存しないことを証明する。
• 基底変換の下で canonical sheaf の全域生成性と ω-本質的成分の比較を通じて、本質的スケルトンとdltモデルスケルトンの同値性を証明する。
• 対数幾何学と t² で割った剰余環を用いて、本質的スケルトンが任意のsncモデルの mod t² 剰余にのみ依存することを示し、技術的仮定の除去を可能にする。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的な多様体のBerkovich解析化空間に、特定のsncモデルに依存しない標準的かつ内的なスケルトンを定義できるか？
• RQ2 canonical divisor が半アーメッドであるとき、正則形式による本質的スケルトンと最小dltモデルのスケルトンは一致するか？
• RQ3 K = k((t)) 上のCalabi-Yau多様体の本質的スケルトンはどのような位相的性質を持つのか？
• RQ4 多様体が曲線上に定義されているという技術的仮定を、本質的スケルトンの構成から除去できるか？
• RQ5 ÉtaleコホホロジーにおけるGaloisモノドロミー作用は、本質的スケルトンの次元とホモロジー型とどのように関係するか？

主な発見

• canonical divisor が半アーメッドである滑らかで射影的な K-多様体の本質的スケルトンは、任意の最小dltモデルのスケルトンと一致する。
• 本質的スケルトンはBerkovich解析化空間 X^an の強い変形リトラクトである。これは曲線の場合の結果を一般化する。
• Calabi-Yau多様体に対して、本質的スケルトンは境界を持つ擬似多様体であり、k が代数的に閉じている場合かつスケルトンが最大次元を持つとき、閉じた擬似多様体である。
• 本質的スケルトンは、任意のsncモデルの t² で割った剰余にのみ依存するため、多様体が曲線上に定義されているという技術的仮定を除去できる。
• 本質的スケルトンの次元が dim(X) に等しいことと、H^n_et におけるモノドロミー作用がサイズ n+1 のジョルダン標準形をもつこととは同値であり、この場合、h^{i,0}(X)=0（0<i<n）ならば、スケルトンは n-次元球面と Q-ホモロジーをもつ。
• 本質的スケルトンとdltモデルスケルトンの同値性は、基底変換の下での ω-本質的成分の比較と canonical sheaf の全域生成性の比較を通じて確立される。