[论文解读] Tropical lines in planes and beyond

Philipp Jell, Hannah Markwig+2 more|arXiv (Cornell University)|Mar 5, 2020

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

一句话总结

本文研究了在固定线性流形中具有常系数的直线及高维线性子空间的热带化。证明了这些空间是热带线性子空间，其结构完全由拟阵决定，特别是与该流形对应的超平面排列中的直线拟阵，这些拟阵在一般情况下为Dilworth截断，从而实现了对热带化Fano簇和度数为1的稳定映射模空间的完整描述。

ABSTRACT

We study the tropicalization of the space $L(X)$ of lines contained in a fixed plane $X$, or, more generally, $d$-dimensional linear subspaces contained in a fixed $(d+1)$-dimensional linear variety. We restrict our attention to the case the variety $X$ has constant coefficients. We prove that these spaces $L(X)$ are linear subspaces themselves, and thus their tropicalization is completely determined by their associated matroids. We show that these matroids are equal to the matroid of lines of the hyperplane arrangement corresponding to $X$, which generically can be interpreted as Dilworth truncations. In this way, we can describe tropicalized Fano schemes parametrizing $d$-dimensional linear subspaces of a $(d+1)$-dimensional linear variety, and tropicalizations of moduli spaces of stable maps of degree $1$ to a plane.

研究动机与目标

• 理解在固定(d+1)维线性流形中d维线性子空间空间的热带化。
• 分析环境流形具有常系数的情形，以简化热带化结构。
• 通过其关联的拟阵将所得的热带空间表征为线性子空间。
• 识别在此情境下出现的拟阵为与该流形对应的超平面排列中直线的拟阵。
• 将结果应用于热带化Fano簇和到平面上的度数为1的稳定映射模空间。

提出的方法

• 限制于具有常系数的流形，以确保热带化行为良好。
• 证明在(d+1)维流形X中，d维子空间的空间$L(X)$本身是热带线性子空间。
• 使用拟阵理论描述$L(X)$的热带化，表明其完全由X的超平面排列中直线的拟阵决定。
• 建立这些拟阵在一般情况下为底层排列拟阵的Dilworth截断。
• 将拟阵理论的描述应用于分析热带化Fano簇和稳定映射的模空间。

实验结果

研究问题

• RQ1 在具有常系数的固定平面上，直线空间的热带化是什么？
• RQ2 如何表征在固定环境流形中更高维线性子空间空间的热带结构？
• RQ3 热带化空间$L(X)$的拟阵与流形$X$相关的超平面排列之间有何关系？
• RQ4 Dilworth截断在这一热带几何设定中以何种方式自然出现？
• RQ5 这些结果如何推广到Fano簇和度数为1的稳定映射模空间的热带化？

主要发现

• 在具有常系数的(d+1)维流形X中，d维线性子空间的空间$L(X)$是热带线性子空间。
• 空间$L(X)$的热带化完全由其关联的拟阵决定。
• 该拟阵被识别为与流形$X$对应的超平面排列中直线的拟阵。
• 在一般情况下，该拟阵是排列拟阵的Dilworth截断。
• 结果为参数化(d+1)维流形中d维子空间的热带化Fano簇提供了完整描述。
• 该框架还给出了到平面上的度数为1的稳定映射模空间的热带化的描述。