[论文解读] Hyperfields for Tropical Geometry I. Hyperfields and dequantization

Oleg Viro|arXiv (Cornell University)|Jun 15, 2010

Polynomial and algebraic computation参考文献 10被引用 55

一句话总结

本文通过去量化过程，基于 ℝ、ℂ 和 ℝ₊ 等经典数集，引入了新的超域——具有多值加法的代数结构——以建立其与热带几何的联系。主要贡献在于构造了复热带超域 ℒℂ 和实热带超域 ℒℝ，为由方程定义的热带代数曲线提供了比现有热带半域更自然的代数基础。

ABSTRACT

New hyperfields, that is fields in which addition is multivalued, are introduced and studied. In a separate paper these hyperfields are shown to provide a base for the tropical geometry. The main hyperfields considered here are classical number sets, such as the set of complex numbers, the set of real numbers, and the set of real non-negative numbers, with the usual multiplications, but new, multivalued additions. The new hyperfields are related with the classical fields and each other by dequantisations. For example, the new complex tropical field is a dequantization of the field of complex numbers.

研究动机与目标

• 开发一种超域框架，为热带几何提供比现有热带半域更自然的代数基础。
• 通过去量化经典域 ℂ 和 ℝ，引入新的超域，如 ℒℂ 和 ℒℝ。
• 基于三角不等式构造三角超域 Δ，作为非去量化超域的典型示例。
• 证明超域能够支持热带几何中的方程定义，与经典代数几何时保持一致。
• 在超域框架下，统一并推广多值代数结构，包括多环与多域。

提出的方法

• 通过去量化过程（受 Litvinov-Maslov 去量化启发）在经典数集 ℝ、ℂ、ℝ₊ 上定义多值加法。
• 分别将 ℂ 和 ℝ 的去量化构造为复热带超域 ℒℂ 和实热带超域 ℒℝ，保持标准乘法不变。
• 引入以 ℝ₊ 为基集的三角超域 Δ，其中 a ⊕ b 为所有满足欧氏几何中边长为 a、b、c 的三角形存在的 c 的集合。
• 基于 p-进赋值，为 p-进数定义多值加法，当系数和为 p 时结果为多值。
• 证明多值运算的结合律与乘法兼容性，从而满足超域公理。
• 利用超域同态，将新构造的超域与经典域及其相互关系联系起来。

实验结果

研究问题

• RQ1 如何在经典数集上一致地定义多值加法，以形成超域？
• RQ2 从经典域出发的去量化过程能否产生适用于热带几何的超域？
• RQ3 三角超域 Δ 在超域与热带几何语境中起什么作用？
• RQ4 超域如何支持通过方程定义热带代数曲线，如同经典代数几何中那样？
• RQ5 超域与多环、多域等既有代数结构之间存在何种关系？

主要发现

• 复热带超域 ℒℂ 和实热带超域 ℒℝ 分别作为 ℂ 和 ℝ 的去量化构造，具有多值加法与标准乘法。
• 三角超域 Δ 定义在 ℝ₊ 上，其中 a ⊕ b 包含所有满足三角不等式的 c，即边长为 a、b、c 的三角形存在。
• 基于赋值与系数和的 p-进数上定义了多值加法，当系数和为 p 时结果为多值。
• 所有构造的超域中的多值加法均满足结合律且与乘法兼容，符合超域公理。
• 超域提供了一个框架，使得热带代数曲线可通过方程定义，使热带几何与经典代数几何时保持一致。
• 本文确立了超域（特别是通过去量化构造的超域）在热带几何中比半域更具适用性。