[论文解读] Commutative $ν$-algebra and supertropical algebraic geometry

Zur Izhakian|arXiv (Cornell University)|Jan 23, 2019

Advanced Topics in Algebra参考文献 48被引用 5

一句话总结

本文通过交换 $ν$-代数建立了一个超热带代数几何的基础框架，引入了 $¤q$-同余关系于 $¤nu$-半环上，实现了商化、局部化以及 $¤g$-素同余、$¤g$-根式同余和极大同余的定义。其主要贡献在于基于 $¤g$-素同余谱的格罗滕迪克风格方案理论，实现了同余与几何曲线之间的直接对应，适用于多面体几何。

ABSTRACT

This paper lays out a foundation for a theory of supertropical algebraic geometry, relying on commutative $ν$-algebra. To this end, the paper introduces $\mathfrak{q}$-congruences, carried over $ν$-semirings, whose distinguished ghost and tangible clusters allow both quotienting and localization. Utilizing these clusters, $\mathfrak{g}$-prime, $\mathfrak{g}$-radical, and maximal $\mathfrak{q}$-congruences are naturally defined, satisfying the classical relations among analogous ideals. Thus, a foundation of systematic theory of commutative $ν$-algebra is laid. In this framework, the underlying spaces for a theoretic construction of schemes are spectra of $\mathfrak{g}$-prime congruences, over which the correspondences between $\mathfrak{q}$-congruences and varieties emerge directly. Thereby, scheme theory within supertropical algebraic geometry follows the Grothendieck approach, and is applicable to polyhedral geometry.

研究动机与目标

• 建立交换 $¤nu$-代数的系统理论，作为超热带代数几何的基础。
• 在 $¤nu$-半环上用 $¤q$-同余关系替代经典理想，以区分代数运算中的实在部分与幽灵部分。
• 基于格罗滕迪克方法，构建基于 $¤g$-素同余谱的方案理论。
• 实现 $¤q$-同余与几何曲线之间的直接对应，尤其在多面体几何背景下。
• 为离散几何对象提供清晰、直观的代数语言，避免复杂的组合公式。

提出的方法

• 在 $¤nu$-半环上引入 $¤q$-同余关系，即保持实在与幽灵部分的等价关系。
• 通过幽灵与实在簇定义 $¤g$-素、$¤g$-根式和极大 $¤q$-同余关系，满足经典代数关系。
• 利用 $¤nu$-半环的局部化与模理论，构造 $¤nu$-概形的张量积与纤维积。
• 将仿射 $¤nu$-概形构造为 $¤g$-素同余的谱，其结构层通过茎与局部 $¤nu$-半环定义。
• 通过开子概形与同构重叠使用粘贴技巧构造 $¤nu$-概形，确保纤维积的存在性。
• 通过将几何曲线解释为 $¤nu$-半环上 $¤q$-同余的解集，将理论应用于多面体几何。

实验结果

研究问题

• RQ1 如何将经典代数几何时的概念适应于缺乏减法运算的半环结构？
• RQ2 在 $¤nu$-半环中，何种同余关系可替代理想，以支持商化、局部化与谱构造？
• RQ3 能否在超热带设定下，基于同余关系而非理想，发展出格罗滕迪克风格的方案理论？
• RQ4 $¤q$-同余与几何曲线之间有何关系，特别是在多面体与热带几何背景下？
• RQ5 幽灵与实在部分在 $¤nu$-代数中定义代数与几何结构时起何作用？

主要发现

• 本文成功定义了 $¤g$-素、$¤g$-根式与极大 $¤q$-同余关系于 $¤nu$-半环上，其满足类似于素理想、根式理想与极大理想的经典代数关系。
• $¤g$-素同余的谱作为 $¤nu$-概形的基底空间，支持格罗滕迪克风格的方案理论构造。
• $¤nu$-概形的纤维积存在，并通过 $¤nu$-模的张量积构造，仿射情形对应于 $\operatorname{Spec}(A \otimes_R B)$。
• 该理论支持 $¤q$-同余与几何曲线之间的直接对应，使代数同余具有几何解释。
• 该框架为多面体几何提供了系统化、直观的代数语言，以幽灵成员关系替代零化条件。
• 在局部 $¤nu$-半环层空间上构造结构层与茎，确保与经典层论方法兼容。