[论文解读] Tropical surfaces

Kristin Shaw|arXiv (Cornell University)|Jun 24, 2015

Polynomial and algebraic computation被引用 7

一句话总结

本文通过开发计算交数、法丛和陈类圈的工具，引入了热带曲面——二维抽象热带流形。论文提出了热带求和构造，证明了热带邻接公式，建立了同调群与查尔斯群在热带变换下的不变性，并为通过求和与变换从 торич 曲面构建的曲面证明了热带诺特定理。

ABSTRACT

We present tools and definitions to study abstract tropical manifolds in dimension 2, which we call simply tropical surfaces. This includes explicit descriptions of intersection numbers of 1-cycles, normal bundles to some curves and tropical Chern cycles and numbers. We provide a new method for constructing tropical surfaces, called the tropical sum, similar to the fiber sum of usual manifolds. We prove a tropical adjunction formula for curves in compact tropical surfaces satisfying a local condition, a partial Castelnuovo-Enriques criterion for contracting (-1)-curves, and also invariance of (p, q)-homology and Chow groups under tropical modification. Finally we prove a tropical version of Noether's formula for compact surfaces constructed from tropical toric surfaces by way of summations and tropical modifications.

研究动机与目标

• 建立研究二维热带流形（称为热带曲面）的基础框架。
• 定义并计算1-循环的交数、曲线的法丛以及热带陈类圈。
• 提出热带求和构造，作为从已有曲面构建新热带曲面的方法。
• 证明在热带变换下，(p,q)-同调群与查尔斯群的不变性。
• 为通过 торич 曲面及热带运算构建的紧致热带曲面建立热带诺特定理。

提出的方法

• 为热带曲面上的交集理论开发明确的定义与计算工具。
• 将热带求和构造引入为微分拓扑中纤维求和的热带类比。
• 应用热带变换技术分析同调与代数不变量的不变性。
• 在紧致热带曲面中曲线的局部条件下，推导出热带邻接公式。
• 以 торич 几何为基础构建紧致热带曲面，并应用求和与变换运算。
• 通过结合 торich 曲面的结果与热带变换及求和，建立热带诺特定理。

实验结果

研究问题

• RQ1 如何在热带曲面上计算1-循环的交数？
• RQ2 在紧致热带曲面中，曲线的邻接公式的热带类比是什么？
• RQ3 在何种条件下可以收缩热带曲面上的(-1)-曲线？
• RQ4 在热带变换下，(p,q)-同调群与查尔斯群的行为如何？
• RQ5 对于通过 торich 曲面构建的紧致曲面，存在何种热带诺特定理？

主要发现

• 在紧致热带曲面中，曲线满足局部条件时，已证明热带邻接公式。
• 在热带设定下，建立了部分卡斯特尔努奥-恩里克斯准则，用于判断(-1)-曲线是否可收缩。
• 热带曲面的(p,q)-同调群与查尔斯群在热带变换下保持不变。
• 热带求和构造为从已有曲面系统性地构建新热带曲面提供了方法。
• 对于通过热带求和与变换从 торich 曲面获得的紧致热带曲面，已证明其热带诺特定理。
• 为热带曲面提供了曲线法丛与热带陈类圈的显式描述。