[论文解读] Lifting tropical intersections

Brian Osserman, Sam Payne|arXiv (Cornell University)|Jul 8, 2010

Polynomial and algebraic computation参考文献 40被引用 54

一句话总结

本文证明了当热带化相交于预期维数时，热带交点会以预期重数提升为代数交点。当交点为正规交且位于乘性为1的单形内部时，环中子簇（或环中子簇）的热带化交点会提升为实际的代数交点。

ABSTRACT

We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with expected multiplicities, provided that the tropicalizations intersect in the expected dimension. We also prove a similar result for intersections inside an ambient subvariety of the torus, when the tropicalizations meet inside a facet of multiplicity 1. The proofs require not only the geometry of compactified tropicalizations of subvarieties of toric varieties, but also new results about the geometry of finite type schemes over non-noetherian valuation rings of rank 1. In particular, we prove subadditivity of codimension and a principle of continuity for intersections in smooth schemes over such rings, generalizing well-known theorems over regular local rings. An appendix on the topology of finite type morphisms may also be of independent interest.

研究动机与目标

• 解决在toric簇中热带交点何时能提升为实际代数交点这一基本问题。
• 将先前关于横截热带交点的结果推广至具有预期维数但未必横截的交点情形。
• 将提升结果扩展至torus中子簇内部的交点情形，特别是当热带交点位于乘性为1的单形中时。
• 在非诺特的秩1赋值环上建立基础几何结果，包括余维数次可加性与交点的连续性。
• 通过基变换与拓扑方法，将一般情形约化为完全且有理的情形，为热带方法在代数几何中的应用提供严格框架。

提出的方法

• 通过基变换与有限型态射的拓扑，将一般提升问题约化为基域完备且热带点在值群上为有理的情形。
• 应用扇形位移法则与稳定热带交点理论，计算感兴趣点处的局部热带交点重数。
• 利用紧化热带化的几何与初始退化，建立热带与代数交点结构之间的联系。
• 在秩1非诺特赋值环上的有限型概形上，建立余维数次可加性与主理想定理。
• 在光滑概形上应用交点的连续性原理，以关联代数与热带重数。
• 采用有限态射论证，关联热带与代数情形下零维概形的长度，从而导出重数恒等式。

实验结果

研究问题

• RQ1 在torus中两个子簇的热带化交点中，什么条件下一个点会提升为实际的代数交点？
• RQ2 当交点非横截或非正规时，如何将热带交点重数提升为代数交点重数？
• RQ3 在非诺特的秩1赋值环上，需要哪些几何性质以确保热带交点的提升？
• RQ4 在子簇的热带化中，单形的重数如何影响热带交点的提升？
• RQ5 当交点在预期维数下为正规时，能否从热带化的交点中恢复出交点的热带化？

主要发现

• 若torus中两个子簇的热带化在预期维数下正规相交，则其交点中的每一点都属于代数交点的热带化。
• 对于torus中子簇$Y$内的子簇，若其热带化在点$w$处正规相交，且$w$位于$\operatorname{Trop}(Y)$中乘性为1的单形内部，则$w$会提升为$X \cap X'$的热带化。
• 本文证明了在秩1非诺特赋值环上，交点的余维数具有次可加性，推广了来自正则局部环的结果。
• 在光滑概形上建立了交点的连续性原理，使在特殊化下能够控制交点行为。
• 在满足提升条件时，某点处的局部热带交点重数等于局部代数交点长度之和，乘以有限态射的次数。
• 重数恒等式 $ m(\sigma') \cdot [N':N'_{\sigma'}+\Lambda'] = \frac{\ell}{\delta} \sum_{i=1}^r m(\sigma_i) \cdot [N:N_{\sigma_i}+\Lambda] $ 成立，证实了热带与代数重数之间的一致性。