[論文レビュー] Classification of normal toric varieties over a valuation ring of rank one

Walter Gubler, Alejandro Soto|arXiv (Cornell University)|Mar 8, 2013

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

ひとこと要約

本稿は、体および離散付値環から、任意のランク1の付値環へと正規トーリック多様体の分類を一般化し、非ネーター的拡張を用いてスミヒロの定理を拡張する。この研究では、このような付値環上の正規トーリック多様体と ℝⁿ×ℝ₊ における Γ-適切なファンの間の全単射対応を確立し、トロピカル幾何学にとって重要な凸幾何的記述を可能にする。

ABSTRACT

Normal toric varieties over a field or a discrete valuation ring are classified by rational polyhedral fans. We generalize this classification to normal toric varieties over an arbitrary valuation ring of rank one. The proof is based on a generalization of Sumihiro's theorem to this non-noetherian setting. These toric varieties play an important role for tropicalizations.

研究の動機と目的

• 体および離散付値環上の正規トーリック多様体の古典的分類を、任意のランク1の付値環へと拡張すること。
• 付値環上の正規トーリック多様体と ℝⁿ×ℝ₊ における Γ-適切なファンの間の全単射対応を確立すること。
• トーリック多様体における T-不変なアフィン開近傍の存在に関するスミヒロの定理を、付値環の非ネーター的設定へと一般化すること。
• 特にトロピカル化に関連して、付値環上のトーリックスキームを理解するための基礎的枠組みを提供すること。

提案手法

• 半不変切断および射影空間への開埋め込みを用いて、ランク1の付値環上の正規トーリック多様体へとスミヒロの定理を一般化する。
• Γ-適切な錐 σ ⊂ ℝⁿ×ℝ₊ から、アフィン T-トーリックスキーム 𝒱_σ を構成する。ここで、Γ-適切性は付値構造を組み込む。
• トーリックスキームにおける軌道-面対応を用いて、幾何的軌道とファンの錐の面を関連付ける。
• アフィン T-トーリックスキームの交わりがアフィンであり、面の交わりに対応することを証明し、アフィン部分の貼り合わせが整合的なファンを定義することを保証する。
• 線形化技術およびラインバンドルの全体切断を用いて、スキーム内の点における T-不変なアフィン開近傍を構成する。
• アフィン部分の貼り合わせデータが面の交わりによってファンを再構成できることを示し、正規 T-トーリック多様体と Γ-適切なファンの間の全単射を確立する。

実験結果

リサーチクエスチョン

• RQ1 任意のランク1の付値環上の正規トーリック多様体は、有理的多面体的ファンに類似した組合せ的データによって分類可能か？
• RQ2 付値環の非ネーター的設定において、スミヒロの定理（T-不変なアフィン開近傍の存在）は成立するか？
• RQ3 このようなトーリックスキームの一般化と特異化のファイバーは、古典的トーリック多様体およびトロピカル幾何学とどのように関係するか？
• RQ4 ランク1の付値環上の正規 T-トーリックスキームを分類する正確な組合せ的構造（ファン）は何か？

主な発見

• 任意のランク1の付値環上の正規 T-トーリック多様体は、ℝⁿ×ℝ₊ における Γ-適切なファンから生じる。これは完全な分類を確立する。
• このようなトーリックスキームの一般化ファイバーは、ファンの錐の後退錐に対応するトーリック多様体に一致する。
• 特異化ファイバーは、多面体的複体 Σ ∩ (ℝⁿ×{1}) の頂点に対応するトーリック多様体の和集合であるが、一般にはトーリック多様体そのものではない。
• この設定におけるスミヒロの定理の証明は、ラインバンドルの半不変全体切断を用いて T-不変なアフィン開近傍を構成することに依拠する。
• 付値が離散的でない場合でも分類は成立し、非離散的付値の場合には σ ∩ (ℝⁿ×{1}) の頂点が Γⁿ×{1} に含まれるという追加条件が課される。
• この構成は、特異な場合としてローラーの Spec(ℤ) 上のトーリックスキームを一般化するが、ベース変換によりより一般的なベーススキームを許容する。