[论文解读] A tropical intersection product in matroidal fans

Kristin Shaw|arXiv (Cornell University)|Oct 19, 2010

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

一句话总结

本文在拟阵扇（Bergman扇）的循环上引入了一种新的热带交截积，推广了Allermann与Rau的前期工作。通过将拟阵的删除/限制操作与热带变换联系起来，实现了不依赖于Cartier除子的交截，证明了一个关键的可实现性障碍：若某循环与一个除子的局部交截重数之和在有界集上为负，则该循环不可能作为代数曲线的热带化而存在。

ABSTRACT

We construct an intersection product on tropical cycles contained in the Bergman fan of a matroid. To do this we first establish a connection between the operations of deletion and restriction in matroid theory and tropical modifications as defined by Mikhalkin. This product generalises the product of Allermann and Rau, and Allermann and also provides an alternative procedure for intersecting cycles which is not based on intersecting with Cartier divisors. Also, we simplify the definition in the case of one dimensional fan cycles in two dimensional matroidal fans and given an application of the intersection product to realisability questions in tropical geometry.

研究动机与目标

• 在拟阵扇内的热带循环上定义一种不依赖于Cartier除子的新交截积。
• 将Allermann与Rau的稳定交截积推广至拟阵扇的设定。
• 建立热带曲线作为代数曲线热带化的不可实现性判别准则。
• 将拟阵运算（删除与限制）与热带变换联系起来，实现对循环的几何控制。
• 提供一种通过分裂构造的交截循环的构造性方法，类比经典代数几何中的移动引理。

提出的方法

• 利用Mikhalkin的框架，建立拟阵删除/限制与热带变换之间的对应关系。
• 通过模拟移动引理的分裂过程，在拟阵扇的循环上定义一种新的交截积。
• 利用拟阵扇及其扇变换的结构，确保该交截积的良定义性与与现有交截理论的一致性。
• 证明该交截积满足交换律、结合律与分配律，并与Cartier除子交截一致。
• 将该交截积应用于推导一个可实现性障碍：若某循环与一个除子的局部交截重数之和在有界连通子集上为负，则该循环不可实现。
• 通过平面的热带变换构造一个除子，并分析曲线的拉回以检测热带化曲线的非有效性。

实验结果

研究问题

• RQ1 能否在不依赖于Cartier除子或稳定交截的前提下，在拟阵扇内的循环上定义出热带交截积？
• RQ2 在交截理论的背景下，拟阵运算（如删除与限制）与热带变换之间有何关系？
• RQ3 在拟阵扇中的热带循环满足何种条件时，其不可能是代数曲线的热带化？
• RQ4 是否存在以与除子的交截重数表示的热带曲线不可实现性的几何判别准则？
• RQ5 该新交截积能否用于检测开Bergman扇的紧化空间或非奇异热带流形中的不可实现性？

主要发现

• 所提出的交截积满足交换律、结合律与分配律，并与Allermann与Rau的Cartier除子交截积一致。
• 该交截积直接定义在循环上，无需经过等价类，从而将稳定交截推广至拟阵扇。
• 该交截积通过热带变换构造，且证明其与拟阵的删除与限制操作一一对应。
• 建立了一个新的可实现性障碍：若某曲线与一个除子的局部交截重数之和在有界连通子集上为负，则该曲线不可能是代数曲线的热带化。
• 示例3.2中的曲线B在任意域上当d ≥ 3时均被证明不可实现，原因在于其变换中存在正则拟阵结构。
• 该方法即使在标准交截测试中通过的循环也能检测出其不可实现性，凸显其在阻碍可实现性方面的强大能力。