[论文解读] Tropical rational equivalence on R^r

Lars Allermann, Johannes Rau|arXiv (Cornell University)|Nov 18, 2008

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

一句话总结

本文引入了热带交点理论中理性等价性的改进概念，确保其与周期的推出映射相容。证明了 ℝʳ 中的每个热带周期都与唯一的仿射周期（称为其次数）有理等价，从而为每个周期类建立了规范代表元。

ABSTRACT

We introduce an improved version of rational equivalence in tropical intersection theory which can be seen as a replacement of chapter 8 of our previous article arXiv:0709.3705v2. Using this new definition, rational equivalence is compatible with push-forwards of cycles. Moreover, we prove that every tropical cycle in R^r is equivalent to a uniquely determined affine cycle, called its degree.

研究动机与目标

• 解决现有热带交点理论中理性等价性定义的局限性。
• 确保有理等价性与周期上的推出运算相容。
• 为 ℝʳ 中的每个热带周期建立一个规范代表元——称为其次数。
• 为 ℝʳ 中任意给定的热带周期提供一个明确定义且唯一的仿射周期作为等价代表。

提出的方法

• 提出一种修订后的有理等价性定义，使其在推出映射下保持热带周期的结构。
• 利用热带射影空间和热带查沃同调分析周期类。
• 将热带周期的次数定义为与其有理等价的唯一仿射周期。
• 证明该等价关系是良定义的，并在周期类与其次数代表元之间诱导出双射。
• 利用 ℝʳ 的结构证明每个周期在仿射类中都有唯一的代表元。
• 应用热带几何与交点理论的技术，验证其与推出映射的相容性。

实验结果

研究问题

• RQ1 能否重新定义热带交点理论中的有理等价性，使其与周期的推出运算相容？
• RQ2 ℝʳ 中的每个热带周期是否在有理等价下都有唯一的代表元？
• RQ3 是否存在一种规范方式，可将一个仿射周期与 ℝʳ 中任意给定的热带周期关联起来？
• RQ4 能否通过有理等价性内在地定义热带周期的次数？
• RQ5 这种新定义的有理等价性与代数几何中的经典概念有何关系？

主要发现

• 新定义的有理等价性与周期的推出映射相容，解决了先前形式中一个关键的局限性。
• ℝʳ 中的每个热带周期都与唯一的仿射周期有理等价，该周期被定义为其次数。
• 次数映射为 ℝʳ 中每个周期类提供了规范代表元。
• 次数的唯一性确保了周期类与仿射周期之间存在明确定义的对应关系。
• 该构造在模有理等价的热带周期群与 ℝʳ 中的仿射周期群之间建立了自然同构。
• 结果在 arXiv:0709.3705v2 提出的框架基础上进行了推广和改进，特别是在推出运算的背景下。