[論文レビュー] Tropical Geometry over Higher Dimensional Local Fields

Shilpak Banerjee|arXiv (Cornell University)|May 30, 2011

Polynomial and algebraic computation参考文献 9被引用数 3

ひとこと要約

本稿は、ランク1の付値体上の古典的トロピカル幾何学を一般化し、高次元局所体上の代数的トーラスの閉部分スキームに対してトロピカル化を導入する。d次元の既約部分スキームのトロピカル化は、n次元局所体上では次元ndの有理的多面体複体となり、その例として純次元でない複体が存在することを示している。

ABSTRACT

We introduce the tropicalization of closed subschemes of a torus defined over a higher dimensional local field. We study the basic invariants of such tropicalizations. This is a generalization of the results of Einslieder, Kapranov, Lind, Speyer and Sturmfels to higher local fields.

研究の動機と目的

• ランク1の付値体から高次元局所体へのトロピカル幾何学の拡張、ここで高次元局所体は辞書式順序をもつベクトル値付値を持つ。
• n次元局所体上の代数的トーラスの閉・リダクティブ・既約部分スキームのトロピカル化を定義し、それらを研究する。
• 古典的結果であるトロピカル化が純次元の有理的多面体複体となることの高ランク設定への一般化。
• 高次元局所体上でのトロピカル化が純次元を保つかを調査し、そうでない場合には反例を構成する。

提案手法

• 辞書式順序をもつ、(K^al)^× → Γ_R ≅ ℝ^n へのベクトル値付値 ν を定義し、古典的トロピカル幾何学におけるランク1付値の一般化とする。
• 座標ごとの付値の双対として、トロピカル化写像 Trop を定義し、トーラスの点を Hom(M, Γ_R) に写像する。ここで M は特徴格子である。
• j次元局所体上でのトロピカル化の次元を段階的に解析するため、写像 r_j^n: Trop^{(n)}(X) → Trop^{(j)}(X) を用いる。
• ハイパーファンスに対してn拡張ニュートン多面体を導入し、次元公式の幾何的証明を提供する。
• さまざまな重み条件における多項式の初期退化を分析し、退化表を用いてトロピカル化を計算する。
• 凸部分群および順序付アーベル群の理論を用いて、高ランク付値群の構造を扱う。

実験結果

リサーチクエスチョン

• RQ1 高次元局所体上のトーラスの部分スキームに対して、トロピカル化の正しい一般化は何か？
• RQ2 n次元局所体上でのd次元の閉・リダクティブ・既約部分スキームのトロピカル化の次元は何か？
• RQ3 高次元局所体上でのトロピカル化は、古典的ケースと同様に純次元の有理的多面体複体のままであろうか？
• RQ4 トロピカル化が純次元でない例を明示的に構成できるか？
• RQ5 初期退化と重み条件は、高ランク設定におけるトロピカル化の構造をどのように決定するか？

主な発見

• n次元局所体上での代数的トーラスのd次元の閉・リダクティブ・既約部分スキームのトロピカル化は、次元ndの有理的多面体複体である。
• ハイパーファンスに対しては、n拡張ニュートン多面体を用いて次元結果を独立に証明し、Einslieder, Kapranov, Lind の構成を一般化した。
• ℂ((t₁))((t₂)) 上のハイパーファンスのトロピカル化が純次元でない例を明示的に構成した。その例では、(1,0,0.5,0) から (2,0,1,0) への1次元の最大面が存在する。
• 高次元局所体上では、トロピカル化写像が純次元でないことがある。これは古典的結果の純次元性と矛盾する。
• 値群 Γ_R ≅ ℝ^n は辞書式順序をもち、これにより非対称性が生じ、代数的閉包への付値の拡張が複雑になる。
• 高次元局所体の理論により、トロピカル幾何学の自然な一般化が可能となり、解析化や高ランク付値におけるグレブナー基底理論への応用が期待される。