Tropical curves with parallel rays

技术摘要：具有平行射线的热带曲线

问题陈述
本文解决了现有抽象热带曲线理论中的一个根本性局限。虽然经典热带曲线（源于代数簇的热带化）天然具有边权重并满足平衡条件，但“抽象热带曲线”的标准定义（定义为度量图）丢弃了这种格点信息。因此，传统框架无法容纳“平行射线”——即具有相同方向向量但不包含彼此的射线——这在经典热带平面曲线中很常见。

这种缺陷在有理函数半域的表征中表现为代数上的不足。先前的工作（特别是文献 [18] 中的定理 1.1）确立了抽象热带曲线与某些 $T$-代数（热带半域 $\mathbb{T}$ 上的半域）之间的反变范畴等价性。然而，这种等价性依赖于一个条件（定理 1.1 中的条件 5），该条件禁止底层几何实现中存在平行射线。这一限制导致了三个具体问题：

1. 它阻碍了将边权重和平衡条件纳入抽象框架。
2. 它破坏了预期的对应关系，即有理函数半域的有限生成子半域应对应于子曲线的有理函数半域（具体而言，对于由生成平行射线的映射所生成的子半域，这种对应关系失效）。
3. 它缺乏对先前文献中使用的特定态射定义（Chan 的调和态射）的合理性证明，因为代数结构未能完全支持一般的范畴等价性。

方法论
作者引入了抽象热带曲线概念的扩展，称为具有平行射线的抽象热带曲线（$\Gamma_{par}$）。该结构由一个标准的抽象热带曲线 $\Gamma$ 及其射线集上的等价关系 $\sim$ 组成，其中 $L_1 \sim L_2$ 当且仅当 $L_1 \subset L_2$ 或 $L_2 \subset L_1$，但也允许不同的射线如果它们在无穷远处共享相同的方向向量则被视为等价（平行）。

方法论按以下步骤进行：

1. 有理函数半域：定义 $\text{Rat}(\Gamma_{par})$ 为 $\text{Rat}(\Gamma)$ 的子集，其中函数必须在任何一对平行射线上具有相同的无穷远斜率。
2. 代数表征：本文通过修改前的定理（定理 4.9）来表征这些新的半域。去除了限制性条件 5（禁止平行射线），代之以确保相关同余簇连通且维度为零或一的条件。
3. 范畴等价性：定义了一个具有平行射线的新热带曲线范畴，其态射要求平行射线映射到具有重合次数的平行射线。作者证明了该几何范畴与满足新代数条件的有限生成 $T$-代数范畴之间的反变范畴等价性（推论 4.17）。
4. 几何概念的代数翻译：
   • 权重：通过曲线之间的双射态射（权重）定义，在代数上解释为半域的特定位嵌入。边的权重被证明对应于生成有理函数斜率的最大公约数。
   • 平衡条件：通过有理函数的调和性进行解释。如果一个函数在某点的出射斜率之和为零，则该函数在该点是调和的。本文确立了一个加权多面体复形满足平衡条件，当且仅当它是由除无穷远点外处处调和的有理函数定义的映射的像。
   • 局部化：作者引入了点 $x$ 处的代数局部化，构造了一个同构于 $\mathbb{R}^n$ 的半域（其中 $n$ 是 $x$ 的价），从而将局部几何性质（如价和权重）转化为代数术语。

主要贡献与成果

• 新的几何对象：定义了具有平行射线的热带曲线，允许在抽象框架内对经典现象（如热带平面曲线中的平行射线）进行建模。
• 完整的范畴等价性：建立了具有平行射线的热带曲线范畴与特定 $T$-代数范畴之间的反变等价性（推论 4.17）。这为热带几何中使用的态射定义提供了首个严格的合理性证明，将其识别为 $T$-代数同态的几何实现。
• 子半域问题的解决：本文证明了具有平行射线的热带曲线的有理函数半域的有限生成子半域本身也是某个具有平行射线的热带曲线的有理函数半域（推论 4.12）。这解决了先前理论中条件 5 所提出的问题，即此类子半域被排除在外。
• 权重与平衡的代数表述：
  • 权重通过态射的次数和局部化半域的结构进行代数表征（命题 4.36，推论 4.37）。
  • 平衡条件被证明等价于生成有理函数的调和性（命题 4.50，定理 4.54）。
• 相交理论：本文纯粹根据有理函数及其斜率定义了这些曲线加权实现的相交数，表明其与经典热带相交理论的一致性（命题 4.56）。

意义与主张
本文主张，通过引入平行射线并完善代数框架，它提供了热带几何中格点信息更“精细”的处理。其主要意义在于能够将几何概念（权重、平衡、相交数）完全转化为 $T$-代数范畴内的代数语言。

作者指出，虽然本文未明确追求高维推广，但新框架的代数性质表明此类推广是可行的，并引用文献 [2] 的结果作为支持证据。这项工作旨在统一抽象热带曲线的研究与热带簇的经典性质，弥合度量图抽象与热带化中格点加权现实之间的鸿沟。