Integral closure for (additively idempotent) semirings

Resumen Técnico: Clausura Integral para Semiringos (Aditivamente Idempotentes)

Planteamiento del Problema
En la teoría clásica de anillos conmutativos, diversas definiciones de elementos integrales son equivalentes: un elemento es integral si es raíz de un polinomio mónico, si genera un módulo fiel finitamente generado, o si pertenece a la intersección de los anillos de valoración que contienen al anillo base. Sin embargo, cuando se trabaja con semiringos aditivamente idempotentes (donde $a + a = a$), estas nociones divergen. El artículo aborda la falta de una teoría unificada para la clausura integral en este entorno, lo cual es crucial para la geometría tropical. Específicamente, los autores pretenden definir, comparar y computar diferentes nociones de integralidad para los semiringos, con un enfoque en el "semiringo de coordenadas" de una variedad tropical y su semiringo total de fracciones. Este trabajo está motivado por la necesidad de definir y computar la normalización de variedades tropicales y de extender la teoría de los espacios ádicos tropicales.

Metodología y Definiciones
Los autores establecen un marco definiendo cuatro nociones primarias de integralidad para una extensión de semiringos aditivamente idempotentes $A \subseteq R$ y un elemento $x \in R$:

1. N-integral: $x$ satisface una ecuación $x^n = \sum_{i=0}^{n-1} a_i x^i$ con $a_i \in A$.
2. J-integral: $x$ satisface una desigualdad $x^n \le \sum_{i=0}^{n-1} a_i x^i$ con $a_i \in A$.
3. D-integral: $x$ está acotado superiormente por un elemento J-integral (el cierre hacia abajo de los elementos J-integrales).
4. Cuasi-integral (y variantes): $x$ admite un módulo $M \subseteq R$ de $A\langle x \rangle$ fiel (o libre de anuladores) que es finitamente generado como un módulo de $A$ cerrado hacia abajo.
5. Clausura integral de valoración ($A^V$): La intersección de todos los sub-semiringos de valoración $R_P$ que contienen a $A$, donde $P$ recorre los congruencias primas.

Los autores denotan los conjuntos de tales elementos como $A^N, A^J, A^D, A^Q, A^{aQ}, A^{wQ}$, y $A^V$. Una herramienta estructural clave desarrollada es el Teorema de Cayley-Hamilton Tropical (Teorema 5.2), que establece que cualquier matriz cuadrada sobre un semiringo aditivamente idempotente satisface las "relaciones de flexión" (bend relations) de su polinomio característico. Este teorema se demuestra utilizando una adaptación combinatoria de la prueba de Straubing del teorema clásico de Cayley-Hamilton, utilizando la descomposición de caminos e involuciones sobre permutaciones parciales.

Contribuciones Clave y Resultados

• Relaciones entre las Nociones de Integralidad: El artículo establece una jerarquía de inclusiones: $A^N \subseteq A^J \subseteq A^D \subseteq A^Q \subseteq A^{aQ} \subseteq A^{wQ}$. Crucialmente, los autores prueban que $A^J$ no es necesariamente un semiringo (Ejemplo 3.14) y que la operación $A \mapsto A^J$ no es una operación de clausura. En contraste, prueban que $A^D$ es siempre un semiringo y que la operación $A \mapsto A^D$ es una operación de clausura (Proposición 4.5, Proposición 4.8).
• Teoremas de Equivalencia: Los autores identifican condiciones bajo las cuales estas distintas nociones coinciden:
  • Si $R$ es cancelativo, todas las nociones concuerdan e igualan al cierre hacia abajo de $A$ en $R$ (Teorema 6.20).
  • Si $R$ es cancelativamente generado, $\sqrt{\Delta_R}$ es cancelativo, y el módulo de $A$ cerrado hacia abajo generado por cualquier $x \in R$ es finito, entonces $A^J = A^D = A^Q = A^{aQ} = A^{wQ} = A^V$ (Teorema 6.21).
  • Para las tropicalizaciones de ideales $I \subseteq K[M]$ donde la variedad no tiene componentes en el límite toriciano, la clausura integral de valoración $A^V$ coincide con la clausura cuasi-integral $A^Q$ (Corolario 7.4).
• Elementos Cancelativos y Fracciones: Una parte significativa del trabajo se dedica a identificar elementos cancelativos en semiringos de la forma $S[M]/\text{Bend}(J)$. Los autores prueban que en $S[M]$, los únicos elementos cancelativos son los monomios (Proposición 8.4). Investigan cuándo los elementos en el cociente por congruencias de flexión siguen siendo cancelativos, lo que conduce a la Conjetura 8.10, la cual postula que para un ideal primo principal que no contiene monomios ni binomios, un elemento en $S[M]/\text{Bend}(\text{trop } I)$ es cancelativo si y solo si es la imagen de un término.
• Herramientas Computacionales: El artículo proporciona un algoritmo (Construcción 9.7 y Teorema 9.12) para construir "pares testigos" $(g, h)$ tales que $g \neq h$ pero $fg = fh$, de modo que se certifique que $f$ no es cancelativo. Esto permite la determinación computacional del semiringo total de fracciones $\text{Frac}(A)$.

Aplicaciones y Ejemplos
Los autores aplican sus resultados teóricos para computar clausuras integrales en contextos geométricos específicos:

• Curvas Tropicales: Computan la clausura integral de los semiringos de coordenadas para curvas tropicales, tales como la cúbica cúspide ($x^2 + x^3 + y^2$) y la cúbica nodal. En estos casos, la clausura integral corresponde al anillo de coordenadas de la normalización de la curva clásica (por ejemplo, añadiendo $y/x$).
• Variedades Toric: Muestran que, para los semiringos toric $S[M]$, la clausura integral en su semiringo total de fracciones es el propio semiringo (es decir, son normales).
• Normalización: El artículo demuestra que computar la normalización de una variedad tropical puede abordarse algebraicamente mediante el cálculo de la clausura integral de su semiringo de coordenadas en su semiringo total de fracciones.

Significado y Reivindicaciones
El artículo afirma proporcionar la primera comparación sistemática de múltiples definiciones de integralidad en el contexto de los semiringos aditivamente idempotentes. Al demostrar el teorema de Cayley-Hamilton Tropical, los autores establecen un puente entre la teoría de matrices y la integralidad, lo que les permite mostrar que, bajo amplias condiciones geométricas (específicamente aquellas que involucran la generación cancelativa y las propiedades del radical de la diagonal), las diversas definiciones de clausura integral colapsan en una única noción bien comportada ($A^D$).

Los autores enmarcan modestamente su trabajo como un paso fundacional hacia la definición de espacios ádicos tropicales y la comprensión de la normalización de variedades tropicales. Declaran explícitamente que sus conjeturas (como la Conjetura 8.10 y la Conjetura 1.6 respecto al levantamiento de clausuras integrales de variedades tropicales a clásicas) permanecen abiertas y requieren mayor investigación, particularmente en cuanto a la identificación de elementos cancelativos en cocientes específicos. El trabajo no pretende resolver todos los problemas de la normalización tropical, sino que proporciona la maquinaria algebraica necesaria y ejemplos computacionales específicos para avanzar en el campo.