[論文レビュー] Tropical Incidence Relations, Polytopes, and Concordant Matroids

Mohammad Moinul Haque|arXiv (Cornell University)|Nov 12, 2012

Advanced Topics in Algebra参考文献 2被引用数 9

ひとこと要約

この論文は、古典的フラッグ多様体のトロピカル版としてフラッグ・ドレッシアンを導入し、1つのトロピカル線形空間が別のものに含まれる条件を特徴付けるトロピカルインシデント関係を確立する。2段階フラッグ・ドレッシアン（トロピカルインシデント前多様体）が、元の多面体と同じ1次スケルトンを持つハイパーシンプレックスの分割に対応することを証明し、これらの分割とマトロイドの一致性との間の部分的な結果も提示する。

ABSTRACT

In this paper, we develop a tropical analog of the classical flag variety that we call the flag Dressian. We find relations, which we call "tropical incidence relations", for when one tropical linear space is contained in another, and show that the flag Dressian is a tropical prevariety. In the case of 2-step flag Dressians, which we call "tropical incidence prevarieties", we find an equivalence between points in this space and induced subdivisions of a hypersimplex, generalizing two parts of an equivalence given by D. Speyer for tropical linear spaces. We attempt to generalize the third part of Speyer's equivalence to concordant matroids and obtain some partial results.

研究の動機と目的

• フラッグ多様体のトロピカル版を構築し、フラッグ・ドレッシアンをトロピカル線形空間のフラッグのモジュライ空間として導入すること。
• トロピカルインシデント関係を用いて、1つのトロピカル線形空間が別のものに含まれる条件を特徴付けること。
• スピアーのトロピカル線形空間に対する同倣を、フラッグの状況に一般化することに焦点を当て、2段階フラッグとその誘導する分割を対象とすること。
• トロピカルインシデント前多様体における多面体的条件とマトロイド一致性の関係を調査し、部分的な結果と予想を提示すること。

提案手法

• 空間とその直交補空間のPlücker座標の双対性を用いて、トロピカルインシデント関係を定義する。
• トロピカル化と一様化因子による剰余を用いて、トロピカル線形空間をその関連多面体を通じてマトロイドと関連付ける。
• フラッグ・ドレッシアンの点によって誘導されるハイパーシンプレックスの分割を、元の多面体と同じ1次スケルトンを持つものとして特徴付ける。
• マトロイドの商と補元の概念を適用し、tに関する剰余の構造とその基底集合との関係を分析する。
• 1次スケルトンの包含関係がマトロイド一致性を意味しないことを示す反例を構成するが、特定の条件下では一致性が強制されることを同定する。
• ある細分の細胞に内部辺が存在しないことと、対応するマトロイドが一致することの必要十分条件であるという予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 トロピカルフラッグ多様体におけるトロピカル線形空間のフラッグは、どのような条件下で特徴付けられるか？
• RQ2 トロピカルインシデント関係は、ハイパーシンプレックスの分割の組合せ的構造とどのように関係するか？
• RQ3 スピアーのトロピカル線形空間に対する同倣は、どの程度フラッグのトロピカル線形空間に一般化可能か？
• RQ4 ハイパーシンプレックスの細分において内部辺のない細胞が、一致するマトロイドに対応する条件は何か？
• RQ5 トロピカルインシデント前多様体における多面体的条件とマトロイド一致性の間には、完全な特徴付けが確立可能か？

主な発見

• フラッグ・ドレッシアンは、Plücker座標の双対性から導かれるトロピカルインシデント関係によって定義されるトロピカル前多様体である。
• 2段階フラッグ・ドレッシアン（トロピカルインシデント前多様体）に対して、誘導されるハイパーシンプレックスの分割は、元の多面体と同じ1次スケルトンを持つ。
• 1次スケルトンの保存とマトロイド的面との同倣は、スピアーの命題2.2の2つの部分をフラッグ設定に一般化する。
• 反例により、1次スケルトンの包含関係がマトロイド一致性を意味するとは限らないことが示されたが、細分に特定の辺が存在する場合には一致性が強制される。
• 細胞に内部辺が存在しないことと、対応するマトロイドが一致することの必要十分条件であるという証拠が得られたが、完全な証明は未解決のままである。
• 反例において $x_{23}=0$ または $y_{234}=0$ を課すことで、マトロイドの一致性が強制されることが示され、完全な特徴付けへの道筋が示唆されている。