[論文レビュー] A tropical intersection product in matroidal fans

Kristin Shaw|arXiv (Cornell University)|Oct 19, 2010

Polynomial and algebraic computation参考文献 15被引用数 4

ひとこと要約

本稿は、マトロイド的ファン（マトロイドのベルグマンファン）内のサイクルにおける新しいトロピカル交線型積を導入し、AllermannとRauの先行研究を一般化する。マトロイドの削除／制限をトロピカル変形に関連付けることで、カルティエ除数に依存せずに交線型積を定義可能となり、重要な実現可能性の障害を証明する：有界集合上で除数との局所交線型重みの和が負である場合、サイクルは代数的曲線のトロピカル化として現れえない。

ABSTRACT

We construct an intersection product on tropical cycles contained in the Bergman fan of a matroid. To do this we first establish a connection between the operations of deletion and restriction in matroid theory and tropical modifications as defined by Mikhalkin. This product generalises the product of Allermann and Rau, and Allermann and also provides an alternative procedure for intersecting cycles which is not based on intersecting with Cartier divisors. Also, we simplify the definition in the case of one dimensional fan cycles in two dimensional matroidal fans and given an application of the intersection product to realisability questions in tropical geometry.

研究の動機と目的

• カルティエ除数に依存しないマトロイド的ファン内のトロピカルサイクルに対する新しい交線型積を定義すること。
• AllermannとRauの安定交線型積をマトロイド的ファンの設定に一般化すること。
• トロピカル曲線が代数的曲線のトロピカル化として実現可能でないことを示す基準を確立すること。
• マトロイドの操作（削除と制限）とトロピカル変形を結びつけ、サイクルの幾何的制御を可能とすること。
• 古典的代数幾何における移動補題に類似した分割手続きを用いた、サイクルの交線型積の構成的技法を提供すること。

提案手法

• Mikhalkinの枠組みを用いて、マトロイドの削除／制限とトロピカル変形の間の対応関係を確立する。
• 移動補題を模倣する分割手続きを用いて、マトロイド的ファン内のサイクルに対する新しい交線型積を定義する。
• マトロイド的ファンの構造とそのファン変形の性質を用いて、定義の整合性と既存の交線型理論との整合性を保証する。
• 積が可換的・結合的・分配的であり、カルティエ除数交線型積と整合することを証明する。
• 積を応用して実現可能性の障害を導出する：有界集合上で除数との局所交線型重みの和が負である場合、サイクルは実現不可能である。
• 平面上のトロピカル変形を用いて除数を構成し、曲線の引き戻しを分析することで、トロピカル化された曲線の非有効性を検出する。

実験結果

リサーチクエスチョン

• RQ1 カルティエ除数や安定交線型積に依存せずに、マトロイド的ファン内のサイクルに対してトロピカル交線型積を定義できるか？
• RQ2 マトロイドの操作（削除と制限）は、交線型理論の文脈でトロピカル変形とどのように関係するか？
• RQ3 マトロイド的ファン内のトロピカルサイクルが代数的曲線のトロピカル化として実現可能でないことを示す条件は何か？
• RQ4 除数との交線型重みに関する幾何的基準として、トロピカル曲線の非実現性を定式化できるか？
• RQ5 新しい交線型積は、オープンなベルグマンファンのコンパクト化や非特異なトロピカル多様体において、非実現性を検出できるか？

主な発見

• 提案された交線型積は可換的・結合的・分配的であり、AllermannとRauのカルティエ除数交線型積と一致する。
• 積は同値類を経由せずにサイクルそのものに直接定義されており、マトロイド的ファンへの安定交線型積の拡張を実現する。
• 積はトロピカル変形を用いて構成されており、それがマトロイドの削除と制限に対応することが示された。
• 新たな実現可能性の障害が確立された：曲線と除数との局所交線型重みの和が有界な連結部分集合上で負である場合、その曲線は代数的曲線のトロピカル化として現れえない。
• 例3.2の曲線Bは、d ≥ 3の任意の体において非実現可能であることが示された。これは、その変形に正則マトロイド構造が存在するためである。
• 標準的な交線型テストに合格するサイクルに対しても、本手法は非実現性を検出可能であり、実現可能性の障害としての強みを浮き彫りにしている。