[論文レビュー] Berkovich skeleta and birational geometry

Johannes Nicaise|arXiv (Cornell University)|Sep 18, 2014

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

ひとこと要約

本稿は、ローレンツ級数体上の滑らかで射影的な多様体に対して、2つの構成を統一することにより、標準的なバーキホフスケルトンを確立する。1つは、多様体の正則形式（Kontsevich-Soibelman）によるもので、もう1つは最小モデルプログラムからの最小dltモデルによるものである。主な結果は、正則線分束が半アーベル的であるとき、両方の構成が同じ本質的スケルトンをもたらすことであり、これは解析化の強い変形リトラクトである。非アーベル幾何学と双有理幾何学を結ぶ強力な接続を提供する。

ABSTRACT

We give a survey of joint work with Mircea Mustaţă and Chenyang Xu on the connections between the geometry of Berkovich spaces over the field of Laurent series and the birational geometry of one-parameter degenerations of smooth projective varieties. The central objects in our theory are the weight function and the essential skeleton of the degeneration. We tried to keep the text self-contained, so that it can serve as an introduction to Berkovich geometry for birational geometers.

研究の動機と目的

• ローレンツ級数体上の滑らかで射影的な多様体のバーキホフ解析化に、標準的かつ内的なスケルトンを確立すること。
• 2つのスケルトン構成を統一すること：1つは正則形式（Kontsevich-Soibelman）によるもので、もう1つは最小モデルプログラムからの最小dltモデルによるものである。
• 正則線分束が半アーベル的であるとき、両方の構成が同じ部分空間（本質的スケルトンと呼ばれる）をもたらすことを証明すること。
• この本質的スケルトンが解析化の強い変形リトラクトであることを示し、多様体のホモトピー型を制御すること。
• 非アーベル幾何学と双有理幾何学の間の橋渡しを提供すること、特にカバヤ・ヤウおよび一般型多様体の退化に対して有効である。

提案手法

• 特異点が単純な交わりを持つモデル（sncdモデル）のバーキホフスケルトンを、特別なファイバーの双対交差複体として定義する。これは解析化の強い変形リトラクトである。
• 正則形式に付随する重み関数を導入する。これは特別なファイバーの成分に沿った零点の位数を測る。
• 与えられた形式 ω に対して、重み関数が最小値をとる面の集合として ω-本質的スケルトンを定義する。
• 非ゼロの正則形式のすべての ω-本質的スケルトンの和集合として、本質的スケルトン Sk(X) を構成する。
• 最小モデルプログラムを用いて、sncdモデルを一般化する、やや穏当な特異点を許容するdltモデルを考察する。snc部分集合に制限することで、それらのスケルトンを定義する。
• 正則線分束が半アーベル的であるならば、最小dltモデルが存在し、そのスケルトンはモデルの選択に依存しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 最小sncdモデルが存在しない場合でも、ローレンツ級数体上の滑らかで射影的な多様体のバーキホフ解析化に、標準的スケルトンを定義できるか？
• RQ2 正則形式によるスケルトンの構成と、最小dltモデルによる構成が、同じ部分空間をもたらすか？
• RQ3 本質的スケルトンは解析化の強い変形リトラクトであるか。それゆえ、多様体のホモトピー不変量であるか？
• RQ4 正則線分束が自明で、残渣体が代数的に閉包されているとき、本質的スケルトンの位相的性質は何か？
• RQ5 重み関数の勾配フローとして、スケルトンへの変形リトラクトを理解できるか？

主な発見

• 正則形式による本質的スケルトン Sk(X) は、正則線分束が半アーベル的であるとき、任意の最小dltモデルのスケルトンと一致する。
• 本質的スケルトン Sk(X) はバーキホフ解析化 X^an の強い変形リトラクトである。これにより、そのホモトピー型が制御される。
• 任意の最小dltモデルのスケルトンは、双有理の同一化による同一性により、モデルの選択に依存しない。
• 正則線分束が自明で、残渣体が代数的に閉包されているとき、本質的スケルトンは最大次元の閉じた擬多様体である。
• [dFKX12] で示されたように、任意のsncdモデルのスケルトンから、基本的な崩壊の列を経て本質的スケルトンが得られ、変形リトラクトが保たれる。
• 体積形式 ω に付随する重み関数は、本質的スケルトン Sk(X) にちょうど最小値をとる。これは、勾配フロー構造が存在する可能性を示唆する。