[论文解读] Toric flat families, valuations, and tropical geometry over the semifield of piecewise linear functions

Kiumars Kaveh, Christopher Manon|arXiv (Cornell University)|Jul 1, 2019

Polynomial and algebraic computation参考文献 13被引用 9

一句话总结

本文通过将分段线性函数的半域中的赋值应用于射影簇上的环面等变平坦族，对射影簇上的环面等变平坦族进行分类，将其与扇图之间的分段线性映射联系起来。此外，通过热带化线性空间对射影簇向量丛进行分类，并利用热带几何方法刻画射影化射影簇向量丛的Mori梦空间性质。

ABSTRACT

Using the notion of a valuation into the semifield of piecewise linear functions, we give a classification of torus equivariant flat families of finite type over a toric variety base, by certain piecewise linear maps between fans. As a consequence we derive a classification of toric vector bundles phrased in terms of tropicalized linear spaces. We use these tools to give a characterization of the Mori dream space property for a projectivized toric vector bundle.

研究动机与目标

• 通过取值于分段线性函数半域的赋值，对射影簇上的有限型环面等变平坦族进行分类。
• 在这些族与相关扇图之间的分段线性映射之间建立对应关系。
• 通过热带化线性空间的视角重新表述射影簇向量丛的分类。
• 利用热带方法提供射影化射影簇向量丛的Mori梦空间性质的刻画。

提出的方法

• 利用取值于分段线性函数半域的赋值，分析射影簇基上的平坦族。
• 在环面等变平坦族与相关扇图之间的特定分段线性映射之间建立双射。
• 应用热带几何技术，在射影簇向量丛的语境下表示线性空间。
• 通过热带化将向量丛的几何性质转化为组合数据。
• 利用扇图和分段线性函数的结构，编码平坦性和等变性条件。
• 通过代数几何与热带几何的相互作用，推导出Mori梦空间的判别准则。

实验结果

研究问题

• RQ1 如何通过取值于分段线性函数半域的赋值，对射影簇上的环面等变平坦族进行分类？
• RQ2 这些族与扇图之间映射的精确组合对应关系是什么？
• RQ3 如何通过热带化线性空间的视角重新诠释射影簇向量丛？
• RQ4 在何种条件下，射影簇向量丛的射影化是Mori梦空间？
• RQ5 分段线性函数和热带几何在刻画平坦性与Mori梦空间性质方面起什么作用？

主要发现

• 射影簇上有限型的环面等变平坦族由相关扇图之间的分段线性映射分类。
• 通过赋值方法，射影簇向量丛的分类被重新表述为热带化线性空间的形式。
• 射影化射影簇向量丛的Mori梦空间性质由相关分段线性映射上的特定组合条件刻画。
• 使用分段线性函数半域可直接建立代数平坦性与热带组合之间的联系。
• 该框架提供了一种全新的、纯粹组合的平坦性判别准则，基于扇图映射。
• 这些结果通过赋值理论方法，在射影簇几何、热带几何与Mori梦空间理论之间建立了桥梁。