Integral closure for (additively idempotent) semirings

技术摘要：加法幂等半环的整闭包

问题陈述
在经典交换环理论中，各种整元素（integral elements）的定义是等价的：一个元素是整元素，若它是单项多项式的根，或者它生成一个有限生成的忠实模，或者它位于包含基环的估值环的交集中。然而，在处理加法幂等半环（即满足 $a + a = a$）时，这些概念发生了分歧。本文旨在解决加法幂等半环背景下缺乏统一整闭包理论的问题，这对于热带几何至关重要。具体而言，作者旨在定义、比较并计算不同整性（integrality）概念，重点关注热带簇的“坐标半环”及其全分式半环。这项工作受到定义热带簇的归一化以及扩展热带阿迪克空间（tropical adic spaces）理论的驱动。

方法论与定义
作者通过为加法幂等半环的扩张 $A \subseteq R$ 及元素 $x \in R$ 定义四种主要的整性概念建立了一个框架：

1. N-整（N-integral）： $x$ 满足方程 $x^n = \sum_{i=0}^{n-1} a_i x^i$，其中 $a_i \in A$。
2. J-整（J-integral）： $x$ 满足不等式 $x^n \le \sum_{i=0}^{n-1} a_i x^i$，其中 $a_i \in A$。
3. D-整（D-integral）： $x$ 被一个 J-整元素上界约束（即 J-整元素的向下闭包）。
4. 拟整（Quasi-integral，及变体）： $x$ 拥有一个作为 $A\langle x \rangle$-模的忠实（或无零因子）模 $M \subseteq R$，且 $M$ 作为向下闭的 $A$-模是有限生成的。
5. 估值整闭包（Valuative integral closure, $A^V$）： 所有包含 $A$ 的素理想（prime congruences）对应的估值子半环 $R_P$ 的交集。

作者用 $A^N, A^J, A^D, A^Q, A^{aQ}, A^{wQ}$ 以及 $A^V$ 来表示这些集合。一个关键的结构工具是热带凯莱-哈密顿定理（Theorem 5.2），该定理指出任何定义在加法幂等半环上的方阵都满足其特征多项式的“弯曲关系”（bend relations）。该定理是通过对 Straubing 关于经典凯莱-哈密顿定理证明的组合适配实现的，利用了路径分解和对部分置换的对合（involutions）。

主要贡献与结果

• 整性概念间的关系： 文中确立了一个包含层级关系：$A^N \subseteq A^J \subseteq A^D \subseteq A^Q \subseteq A^{aQ} \subseteq A^{wQ}$。至关重要的是，作者证明了 $A^J$ 不一定是半环（Example 3.14），且映射 $A \mapsto A^J$ 不是一个闭包运算。相比之下，他们证明了 $A^D$ 始终是一个半环，且运算 $A \mapsto A^D$ 是一个闭包运算（Proposition 4.5, Proposition 4.8）。
• 等价定理： 作者确定了这些不同定义在何种条件下会重合：
  • 若 $R$ 是**可消去（cancellative）**的，则所有定义均相等，且等于 $A$ 在 $R$ 中的向下闭包（Theorem 6.20）。
  • 若 $R$ 是可消去生成的（cancellatively generated），$\sqrt{\Delta_R}$ 是可消去的，且由任何 $x \in R$ 生成的向下闭 $A$-模是有限的，则 $A^J = A^D = A^Q = A^{aQ} = A^{wQ} = A^V$（Theorem 6.21）。
  • 对于不包含环边界成分的理想 $I \subseteq K[M]$ 的热带化，其估值整闭包 $A^V$ 与拟整闭包 $A^Q$ 一致（Corollary 7.4）。
• 可消去元素与分式： 文中的很大一部分工作致力于识别形式为 $S[M]/\text{Bend}(J)$ 半环中的可消去元素。作者证明了在 $S[M]$ 中，唯一的可消去元素是单项式（Proposition 8.4）。他们研究了在通过弯曲同余关系取商后，元素何时保持可消去性质，从而得出猜想 8.10：对于不包含单项式或二项式的素主理想 $I$，元素在 $S[M]/\text{Bend}(\text{trop } I)$ 中是可消去的，当且仅当它是某个项的像。
• 计算工具： 论文提供了一种算法（Construction 9.7 和 Theorem 9.12）来构造“见证对”（witness pairs）$(g, h)$，使得 $g \neq h$ 但 $fg = fh$，从而证明$f$不是可消去的。这使得计算全分式半环$\text{Frac}(A)$ 成为可能。

应用与示例
作者将理论结果应用于特定几何背景下的整闭包计算：

• 热带曲线： 他们计算了热带曲线（如尖点三次曲线 $x^2 + x^3 + y^2$ 和节点三次曲线）的坐标半环的整闭包。在这些情况下，整闭包对应于经典曲线归一化的坐标环（例如添加 $y/x$）。
• 托里簇（Toric Varieties）： 他们表明，对于托里半环 $S[M]$，其在全分式半环中的整闭包就是其自身（即它们是正规的）。
• 归一化： 论文展示了可以通过代数方式，通过计算热带簇的坐标半环在其全分式半环中的整闭包，来处理热带簇归一化的问题。

意义与声明
本文声称提供了在加法幂等半环背景下对多种整性定义进行系统比较的首次尝试。通过证明热带凯莱-哈密顿定理，作者在矩阵理论与整性之间建立了桥梁，从而能够证明在广泛的几何条件下（特别是涉及可消去生成和对角线根的性质时），各种整闭包定义会坍缩为单一且性质良好的概念（即 $A^D$）。

作者谦逊地将他们的工作描述为定义热带阿迪克空间和理解热带簇归一化的基础性步骤。他们明确指出，其提出的猜想（如关于从经典到热带变量提升整闭包的猜想 1.6，以及关于识别特定商中可消去元素的猜想 8.10）仍是开放性的，需要进一步研究，特别是在识别特定商中的可消去元素方面。这项工作并不声称解决了所有关于热带归一化的问题，而是提供了推进该领域所需的代数工具和具体的计算实例。