[論文レビュー] Lifting tropical intersections

Brian Osserman, Sam Payne|arXiv (Cornell University)|Jul 8, 2010

Polynomial and algebraic computation参考文献 40被引用数 54

ひとこと要約

この論文は、トロピカル化の交わりが期待される次元で交わるとき、トロピカル交わりが期待される重みをもって代数的交わりに引き上げられることを確立する。トロピカル化された部分多様体の交わりの点が、交わりが適切であり、かつ、アーモニックな場合に、その点が重み1のファセット上にあるならば、実際に代数的交わりの点に引き上げられることを証明する。

ABSTRACT

We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with expected multiplicities, provided that the tropicalizations intersect in the expected dimension. We also prove a similar result for intersections inside an ambient subvariety of the torus, when the tropicalizations meet inside a facet of multiplicity 1. The proofs require not only the geometry of compactified tropicalizations of subvarieties of toric varieties, but also new results about the geometry of finite type schemes over non-noetherian valuation rings of rank 1. In particular, we prove subadditivity of codimension and a principle of continuity for intersections in smooth schemes over such rings, generalizing well-known theorems over regular local rings. An appendix on the topology of finite type morphisms may also be of independent interest.

研究の動機と目的

• トロピカル多様体におけるトロピカル交わりの点が、いつ実際に代数的交わりの点に引き上げられるかという根本的問題を解消すること。
• 交わりが非特徴的であるが、期待される次元を持つ場合にまで、従来の横断的トロピカル交わりに関する結果を一般化すること。
• トロピカル多様体内のアーモニック部分多様体内の交わりについて、特にトロピカル交わりが重み1のファセット上にある場合に、引き上げ結果を拡張すること。
• 1位の非ネーター的価値環上での基礎的な幾何的結果を構築すること、特に余次元の劣加法性と連続性の定理を含む。
• 一般の状況を完全かつ有理型な状況に還元するための基盤を整えることで、代数的幾何におけるトロピカル手法の厳密な枠組みを提供すること。

提案手法

• 有限型準同型の位相と基底変換を用いて、一般の引き上げ問題を、底体が完全で、トロピカル点が値群の上に有理型である場合に還元する。
• ファンのずれ則と安定的トロピカル交わり理論を適用して、関心のある点における局所的トロピカル交わり重みを計算する。
• コンパクト化されたトロピカル化と初期劣化の幾何を用いて、トロピカル的および代数的交わり構造を関連付ける。
• 1位の非ネーター的価値環上の有限型スキームの交わりに対して、余次元の劣加法性と主理想定理を確立する。
• 滑らかなスキーム上のこのような価値環上での交わりの連続性原理を適用し、代数的およびトロピカル的重みを関連付ける。
• 有限被覆の議論を用いて、トロピカルおよび代数的状況における0次元スキームの長さを関連付け、重みの等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 トロピカル多様体内の2つの部分多様体の交わりの点が、いつ実際に代数的交わりの点に引き上げられるか。
• RQ2 非横断的または非適切な交わりが存在する状況下で、トロピカル交わり重みをどのように代数的交わり重みに引き上げられるか。
• RQ3 非ネーター的1位の価値環上で、トロピカル交わりの引き上げを保証するための幾何的性質は何か。
• RQ4 アーモニック部分多様体のトロピカル化におけるファセットの重みが、トロピカル交わり点の引き上げにどのように影響するか。
• RQ5 交わりが期待される次元で適切であるとき、交わりのトロピカル化は、トロピカル化の交わりから回復可能か。

主な発見

• トロピカル多様体内の2つの部分多様体のトロピカル化が適切に交わる（すなわち、期待される次元で交わる）ならば、それらの交わりのすべての点が、代数的交わりのトロピカル化に属する。
• トロピカル多様体内のアーモニック部分多様体 $Y$ 内の部分多様体について、トロピカル化が点 $w$ で適切に交わり、かつ $w$ が $\operatorname{Trop}(Y)$ の重み1のファセットの内部にあるならば、$w$ は $X \cap X'$ のトロピカル化に引き上げられる。
• 本論文は、1位の非ネーター的価値環上での交わりに対して余次元の劣加法性を証明し、正則局所環からの結果を一般化する。
• 滑らかなスキーム上のこのような価値環上での交わりの連続性原理が確立され、特異化の下での交わりの挙動を制御可能となる。
• 引き上げ条件のもとで、点における局所的トロピカル交わり重みは、有限被覆の次数でスケーリングされた局所的代数的交わり長さの和に等しい。
• 重みの等式 $ m(\sigma') \cdot [N':N'_{\sigma'}+\Lambda'] = \frac{\ell}{\delta} \sum_{i=1}^r m(\sigma_i) \cdot [N:N_{\sigma_i}+\Lambda] $ が成り立ち、トロピカル的および代数的重みの整合性が確認される。