[論文レビュー] Scheme theoretic tropicalization

Oliver Lorscheid|arXiv (Cornell University)|Aug 31, 2015

Polynomial and algebraic computation参考文献 44被引用数 24

ひとこと要約

本稿は、順序付きブループリンツと価値関数を用いてスキーム論的トロピカル化を導入し、既存のトロピカル化フレームワークを統一・強化する。同定的順序付きブループリンツ上のモジュライ問題としてトロピカル化をモデル化することで、スキーム構造を構成し、Berkovich、Kajiwara-Payne、Macpherson、Thuillierのトロピカル化を、Maclagan-Rincon重みのような組合せ的データを保持したまま、有理点集合として回復・改善する。

ABSTRACT

In this paper, we introduce ordered blueprints and ordered blue schemes, which serve as a common language for the different approaches to tropicalizations and which enhances tropical varieties with a schematic structure. As an abstract concept, we consider a tropicalization as a moduli problem about extensions of a given valuation $v:k o T$ between ordered blueprints $k$ and $T$. If $T$ is idempotent, then we show that a generalization of the Giansiracusa bend relation leads to a representing object for the tropicalization, and that it has yet another interpretation in terms of a base change along $v$. We call such a representing object a scheme theoretic tropicalization. This theory recovers and improves other approaches to tropicalizations as we explain with care in the second part of this text. The Berkovich analytification and the Kajiwara-Payne tropicalization appear as rational point sets of a scheme theoretic tropicalization. The same holds true for its generalization by Foster and Ranganathan to higher rank valuations. The scheme theoretic Giansiracusa tropicalization can be recovered from the scheme theoretic tropicalizations in our sense. We obtain an improvement due to the resulting blueprint structure, which is sufficient to remember the Maclagan-Rincon weights. The Macpherson analytification has an interpretation in terms of a scheme theoretic tropicalization, and we give an alternative approach to Macpherson's construction of tropicalizations. The Thuillier analytification and the Ulirsch tropicalization are rational point sets of a scheme theoretic tropicalization. Our approach yields a generalization to any, possibly nontrivial, valuation $v:k o T$ with idempotent $T$ and enhances the tropicalization with a schematic structure.

研究の動機と目的

• 順序付きブループリンツを用いて、分散するトロピカル化のアプローチを統合する単一のフレームワークを構築すること。
• Maclagan-Rincon重みのような組合せ的不変量を保持するトロピカル多様体にスキーム構造を付与することによる強化。
• 従来の制限を超えて、任意の価値関数 $v: k \to T$ に対して、同定的 $T$ を用いてトロピカル化を一般化すること。
• 拡張問題の代表対象としてのモジュライ的解釈を提供すること。
• Giansiracusa、Foster-Ranganathan、Macphersonらの既存の構成を、スキーム的枠組み内で回復・改善すること。

提案手法

• 順序付きブループリンツおよび順序付きブループリンツスキームを、トロピカル幾何学の基礎的言語として導入する。
• 価値関数 $v: k \to T$ 間の拡張をパrametr化するモジュライ問題としてトロピカル化を定義する。
• 同定的 $T$ の場合に一般化された Giansiracusa ベンド関係を用いて、代表対象を構成する。
• この代表対象が価値関数 $v$ 沿いのベース切替によって得られることを示し、古典的構成と関連付ける。
• スキーム論的トロピカル化の有理点を、既知のトロピカル化（例：Berkovich、Kajiwara-Payne）に対応させることを解釈する。
• ブループリンツ構造が Maclagan-Rincon 重みを符号化できることを示し、従来の手法よりも洗練された不変量を可能にする。

実験結果

リサーチクエスチョン

• RQ1 トロピカル化の統一的フレームワークを、既存の構成を統合・強化できる形で開発できるか？
• RQ2 トロピカル多様体に組合せ的データ（例：重み）を保持するスキーム構造を付与する方法は何か？
• RQ3 同定的順序付きブループリンツ上での一般化された Giansiracusa ベンド関係の役割は何か？
• RQ4 Berkovich 解析的化と Kajiwara-Payne トロピカル化は、単一のスキーム的対象の有理点として回復できるか？
• RQ5 スキーム論的トロピカル化は、高ランクの価値関数や非自明な価値関数へどのように拡張できるか？

主な発見

• スキーム論的トロピカル化は、価値関数の拡張に関するモジュライ問題の代表対象として構成され、普遍的な枠組みを提供する。
• 同定的 $T$ の場合、一般化された Giansiracusa ベンド関係により、トロピカル化の代表対象が明確に定義される。
• スキーム論的トロピカル化の有理点には、Berkovich 解析的化と Kajiwara-Payne トロピカル化が含まれる。
• ブループリンツ構造が Maclagan-Rincon 重みを回復可能であり、従来の手法では捉えきれない洗練された不変量を提供する。
• Macpherson 解析的化は、スキーム論的トロピカル化の有理点として実現され、代替的構成を提供する。
• Thuillier 解析的化と Ulirsch トロピカル化も、このようなスキーム論的トロピカル化の有理点集合として生じる。