Integral closure for (additively idempotent) semirings

Résumé technique : Clôture intégrale pour les semi-anneaux (additivement idempotents)

Énoncé du problème
Dans la théorie classique des anneaux commutatifs, diverses définitions d'éléments intégraux sont équivalentes : un élément est intégral s'il est racine d'un polynôme unitaire, s'il génère un module fidèle de type fini ou s'il appartient à l'intersection des anneaux de valuation contenant l'anneau de base. Cependant, lorsque l'on travaille avec des semi-anneaux additivement idempotents (où $a + a = a$), ces notions divergent. L'article traite de l'absence d'une théorie unifiée de la clôture intégrale dans ce cadre, ce qui est crucial pour la géométrie tropicale. Plus précisément, les auteurs visent à définir, comparer et calculer différentes notions d'intégralité pour les semi-anneaux, en se concentrant sur le « semi-anneau de coordonnées » d'une variété tropicale et son semi-anneau total de fractions. Ce travail est motivé par la nécessité de définir et de calculer la normalisation des variétés tropicales et d'étendre la théorie des espaces adiques tropicaux.

Méthodologie et définitions
Les auteurs établissent un cadre en définissant quatre notions primaires d'intégralité pour une extension de semi-anneaux additivement idempotents $A \subseteq R$ et un élément $x \in R$ :

1. N-intégral : $x$ satisfait une équation $x^n = \sum_{i=0}^{n-1} a_i x^i$ avec $a_i \in A$.
2. J-intégral : $x$ satisfait une inégalité $x^n \le \sum_{i=0}^{n-1} a_i x^i$ avec $a_i \in A$.
3. D-intégral : $x$ est borné au-dessus d'un élément J-intégral (la clôture descendante des éléments J-intégraux).
4. Quasi-intégral (et variantes) : $x$ admet un module $A\langle x \rangle$ fidèle (ou sans annihilateur) $M \subseteq R$ qui est de type fini en tant que module $A$ de type descendant.
5. Clôture intégrale valuative ($A^V$) : L'intersection de tous les sous-semi-anneaux de valuation $R_P$ contenant $A$, où $P$ parcourt les congruences premières.

Les auteurs notent les ensembles de ces éléments comme $A^N, A^J, A^D, A^Q, A^{aQ}, A^{wQ}$, et $A^V$. Un outil structurel clé développé est le Théorème de Cayley-Hamilton Tropical (Théorème 5.2), qui stipule que toute matrice carrée sur un semi-anneau additivement idempotent satisfait les « relations de flexion » de son polynôme caractéristique. Ce théorème est prouvé en utilisant une adaptation combinatoire de la preuve de Straubing du théorème de Cayley-Hamilton classique, en utilisant des décompositions de chemins et des involutions sur les permutations partielles.

Contributions clés et résultats

• Relations entre les notions d'intégralité : L'article établit une hiérarchie d'inclusions : $A^N \subseteq A^J \subseteq A^D \subseteq A^Q \subseteq A^{aQ} \subseteq A^{wQ}$. Crucialement, les auteurs prouvent que $A^J$ n'est pas nécessairement un semi-anneau (Exemple 3.14) et que l'opération $A \mapsto A^J$ n'est pas une opération de clôture. En revanche, ils prouvent que $A^D$ est toujours un semi-anneau et que l'opération $A \mapsto A^D$ est une opération de clôture (Proposition 4.5, Proposition 4.8).
• Théorèmes d'équivalence : Les auteurs identifient les conditions sous lesquelles ces distinctes notions coïncident :
  • Si $R$ est cancellatif, alors toutes les notions concordent et égalent la clôture descendante de $A$ dans $R$ (Théorème 6.20).
  • Si $R$ est généré de manière cancellative, $\sqrt{\Delta_R}$ est cancellatif, et le module $A$ de type descendant généré par n'importe quel $x \in R$ est fini, alors $A^J = A^D = A^Q = A^{aQ} = A^{wQ} = A^V$ (Théorème 6.21).
  • Pour les tropicalisations d'idéaux $I \subseteq K[M]$ où la variété n'a pas de composante dans la frontière toroïdale, la clôture intégrale valuative $A^V$ coïncide avec la clôture quasi-intégrale $A^Q$ (Corollaire 7.4).
• Éléments cancellatifs et fractions : Une partie importante du travail est dédiée à l'identification des éléments cancellatifs dans les semi-anneaux de la forme $S[M]/\text{Bend}(J)$. Les auteurs prouvent que dans $S[M]$, les seuls éléments cancellatifs sont les monômes (Proposition 8.4). Ils étudient quand les éléments dans le quotient par les congruences de flexion restent cancellatifs, menant à la Conjecture 8.10, qui pose que pour un idéal premier principal $I$ ne contenant ni monômes ni binômes, un élément dans $S[M]/\text{Bend}(\text{trop } I)$ est cancellatif si et seulement si il est l'image d'un terme.
• Outils de calcul : L'article fournit un algorithme (Construction 9.7 et Théorème 9.12) pour construire des « paires de témoins » $(g, h)$ telles que $g \neq h$ mais $fg = fh$, certifiant ainsi que $f$ n'est pas cancellatif. Cela permet la détermination computationnelle du semi-anneau total de fractions $\text{Frac}(A)$.

Applications et exemples
Les auteurs appliquent leurs résultats théoriques pour calculer des clôtures intégrales dans des contextes géométriques spécifiques :

• Courbes tropicales : Ils calculent la clôture intégrale des semi-anneaux de coordonnées pour des courbes tropicales, telles que la cubique cuspidale ($x^2 + x^3 + y^2$) et la cubique nodale. Dans ces cas, la clôture intégrale correspond à l'anneau de coordonnées de la normalisation de la courbe classique (par exemple, l'ajout de $y/x$).
• Variétés toroïdales : Ils montrent que pour les semi-anneaux toroïdaux $S[M]$, la clôture intégrale dans leur semi-anneau total de fractions est le semi-anneau lui-même (c'est-à-dire qu'ils sont normaux).
• Normalisation : Le papier démontre que le calcul de la normalisation d'une variété tropicale peut être abordé algébriquement en calculant la clôture intégrale de son semi-anneau de coordonnées dans son semi-anneau total de fractions.

Signification et prétentions
L'article affirme fournir la première comparaison systématique de multiples définitions d'intégralité dans le contexte des semi-anneaux additivement idempotents. En prouvant le théorème de Cayley-Hamilton tropical, les auteurs établissent un pont entre la théorie des matrices et l'intégralité, leur permettant de montrer que, sous de larges conditions géométriques (spécifiquement impliquant la génération cancellative et les propriétés du radical de la diagonale), les diverses définitions de la clôture intégrale s'effondrent en une notion unique et bien comportementée ($A^D$).

Les auteurs présentent modestement leur travail comme une étape fondamentale vers la définition des espaces adiques tropicaux et la compréhension de la normalisation des variétés tropicales. Ils déclarent explicitement que leurs conjectures (telle que la Conjecture 8.10 et la Conjecture 1.6 concernant le relèvement des clôtures intégrales des variétés classiques aux variétés tropicales) restent ouvertes et nécessitent des investigations supplémentaires, particulièrement concernant l'identification des éléments cancellatifs dans des quotients spécifiques. Le travail ne prétend pas résoudre tous les problèmes de normalisation tropicale, mais fournit la machinerie algébrique nécessaire et des exemples de calcul spécifiques pour faire progresser le domaine.