Integral closure for (additively idempotent) semirings

技術要約：(加法的冪等性を有する) 半環における整閉

問題設定
古典的な可換環論において、様々な整元（integral element）の定義は互いに同値である。すなわち、ある元が単項多項式の根であること、有限生成な忠実加群を生成すること、あるいは基底環を含む値環の共通部分に含まれることは同値である。しかし、加法冪等（$a + a = a$）な半環においては、これらの概念は乖離する。本論文は、これらの整性の概念を定義、比較、および計算するための統一的な理論の欠如に対処しており、これはトロピカル幾何学において極めて重要である。具体的には、著者らは、半環における異なる整性の概念を定義し、比較し、計算することを目的としており、特にトロピカル多様体の「座標半環」とその全分数の半環に焦点を当てている。本研究は、トロピカル多様体の正規化を定義・計算し、トロピカル・アディック空間の理論を拡張する必要性に端を発している。

手法および定義
著者らは、加法冪等な半環の拡大 $A \subseteq R$ と元 $x \in R$ に対して、4つの主要な整性の概念を定義することで枠組みを構築している：

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-整的な元の下方閉包によって上界を持つこと。
4. 準整的 (Quasi-integral) およびその変種: $x$ が、$A\langle x \rangle$-加群として有限生成である、忠実な（または零因子を持たない）$A\langle x \rangle$-加群 $M \subseteq R$ を持つこと。
5. 値論的整閉 ($A^V$): $A$ を含むすべての素イデアル（prime congruence）$P$ にわたる値論的部分半環 $R_P$ の共通部分。

著者らは、これらの元が属する集合を $A^N, A^J, A^D, A^Q, A^{aQ}, A^{wQ}, A^V$ と表記する。開発された重要な構造的ツールは、トロピカル・ケイリー・ハミルトン定理（定理 5.2）であり、これは加法冪等な半環上の任意の正方行列が、その特性多項式の「曲がり関係（bend relations）」を満たすことを述べている。この定理は、パス分解と部分置換上の対合を用いた、Straubingによる古典的なケイリー・ハミルトン定理の証明の組合せ論的な適応を用いて証明されている。

主要な貢献および結果

• 整性の概念間の関係: 論文では、包含関係の階層 $A^N \subseteq A^J \subseteq A^D \subseteq A^Q \subseteq A^{aQ} \subseteq A^{wQ}$ を確立している。決定的なことに、著者らは $A^J$ が必ずしも半環ではないこと（例 3.14）、および写像 $A \mapsto A^J$ が閉包演算ではないことを示している。対照的に、$A^D$ は常に半環であり、かつ操作 $A \mapsto A^D$ は閉包演算であることを証明している（命題 4.5, 4.8）。
• 同値定理: 著者らは、これらの異なる概念が一致する条件を特定している：
  • $R$ が**簡約（cancellative）**である場合、すべての概念は一致し、すべて $A$ の $R$ における下方閉包に等しい（定理 6.20）。
  • $R$ が**簡約生成（cancellatively generated）**であり、$\sqrt{\Delta_R}$ が簡約であり、かつ任意の $x \in R$ によって生成される下方閉鎖的な $A$-加群が有限であるとき、$A^J = A^D = A^Q = A^{aQ} = A^{wQ} = A^V$ となる（定理 6.21）。
  • トリカル境界に成分を持たない $K[M]$ のイデアル $I$ のトロピカル化に対しては、値論的整閉 $A^V$ は準整的整閉 $A^Q$ と一致する（系 7.4）。
• 簡約元および分数: 本研究の大部分は、$S[M]/\text{Bend}(J)$ の形の半環における簡約元の特定に充てられている。著者らは、$S[M]$ において簡約元は単項式のみであることを証明している（命題 8.4）。また、Bend合同による商において要素がいつ簡約性を保持するかを調査し、予想 8.10 を提示した。これは、単項式や二項式を含まない主素イデアル $I$ について、 $S[M]/\text{Bend}(\text{trop } I)$ における元が簡約であるための必要十分条件は、それが項の像であることであるというものである。
• 計算ツール: 論文は、「証拠ペア（witness pairs）」$(g, h)$ を構成するアルゴリズム（構成 9.7 および定理 9.12）を提供している。これは $g \neq h$ であるが $fg = fh$となるようなペアを構成することで、$f$が簡約ではないことを証明するものである。これにより、全分数の半環$\text{Frac}(A)$ を計算的に決定することが可能となる。

応用および例
著者らは、特定の幾何学的文脈における整閉を計算するために、理論的結果を適用している：

• トロピカル曲線: 尖点を持つ三次曲線（$x^2 + x^3 + y^2$）や結節点を持つ三次曲線などの、トロピカル曲線の座標半環の整閉を計算している。これらの場合、整閉は古典的な曲線の正規化（例えば $y/x$ を添加すること）の座標環に対応する。
• トーリック多様体: トーリック半環 $S[M]$ について、その全分数の半環における整閉は、その半環自身（すなわち、それらは正規である）であることを示している。
• 正規化: 本論文は、トロピカル多様体の正規化を、その座標半環の全分数の半環における整閉を計算することによって、代数的にアプローチできることを示している。

意義および主張
本論文は、加法冪等な半環の文脈において、複数の整性の定義を系統的に比較した最初の研究であると主張している。トロピカル・ケイリー・ハミルトン定理を証明することにより、著者らは行列論と整性の間の架け橋を築き、広範な幾何学的条件（特に簡約生成性と対角成分の根に関連する性質を含む）の下で、様々な整閉の定義が単一の、うまく振る舞う概念（$A^D$）へと収束することを示している。

著者らは、自らの研究を、トロピカル・アディック空間を定義し、トロピカル多様体の正規化を理解するための基礎的な一歩として控えめに位置づけている。彼らは、自らの予想（予想 8.10 や、古典的な多様体からトロピカルな多様体への整閉のリフトに関する予想 1.6 など）が未解決であり、特に特定の商における簡約元の特定に関してさらなる調査が必要であることを明示している。本研究は、すべてのトロピカル正規化の問題を解決することを目的としているのではなく、分野を進展させるために必要な代数的機構と具体的な計算例を提供するものである。