[论文解读] Tropical Incidence Relations, Polytopes, and Concordant Matroids

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

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

一句话总结

本文引入了旗 Dressian 作为经典旗簇的热带类比，建立了刻画一个热带线性空间包含于另一个的热带关联关系。证明了2步旗 Dressian（热带关联预概形）对应于与原始多面体具有相同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.

研究动机与目标

• 开发旗簇的热带类比，将旗 Dressian 引入为热带线性空间旗的模空间。
• 通过热带关联关系刻画一个热带线性空间何时包含于另一个。
• 将 Speyer 对于热带线性空间的等价性推广到旗的情形，重点关注2步旗及其诱导的剖分。
• 研究热带关联预概形中的多面体条件与拟阵一致性之间的关系，提出部分结果与一个猜想。

提出的方法

• 通过空间与其正交补的 Plücker 坐标之间的对偶性来定义热带关联关系。
• 使用热带化和模一个均匀化参数的约化，通过其关联多面体将热带线性空间与拟阵联系起来。
• 将由旗 Dressian 点诱导的单形超多面体的剖分刻画为与原始多面体具有相同1-骨架的剖分。
• 应用拟阵商与补的概念，分析模 t 的约化结构及其与基集的关系。
• 构造反例以表明1-骨架包含性并不蕴含拟阵一致性，但识别出在何种条件下它会强制一致性。
• 提出一个猜想：若一个剖分中的胞腔无内部边，则当且仅当其对应的拟阵一致。

实验结果

研究问题

• RQ1 什么条件刻画了热带旗簇中的热带线性空间旗？
• RQ2 热带关联关系如何与单形超多面体剖分的组合结构相关联？
• RQ3 Speyer 对于热带线性空间的等价性在多大程度上可以推广到热带线性空间旗的情形？
• RQ4 在何种条件下，无内部边的单形超多面体剖分中的胞腔对应于一致的拟阵？
• RQ5 是否可以建立热带关联预概形中的多面体条件与拟阵一致性之间的完整刻画？

主要发现

• 旗 Dressian 是由热带关联关系定义的热带预概形，这些关系通过 Plücker 坐标的对偶性导出。
• 对于2步旗 Dressian（热带关联预概形），其诱导的单形超多面体剖分与原始多面体具有相同的1-骨架。
• 1-骨架保持性与拟阵面之间等价性的推广，将 Speyer 的命题2.2的两部分推广到了旗情形。
• 反例表明1-骨架包含性并不蕴含拟阵一致性，但剖分中某些边的存在可强制实现一致性。
• 本文提供了证据表明，若一个剖分中的胞腔无内部边，则当且仅当其对应的拟阵一致，尽管完整证明仍为开放问题。
• 在反例中，若施加 $x_{23}=0$ 或 $y_{234}=0$，则强制实现拟阵一致性，提示了通往完整刻画的潜在路径。