Integral closure for (additively idempotent) semirings

Resumo Técnico: Fechamento Integral para Semiringues (Aditivamente Idempotentes)

Enunciado do Problema
Na teoria clássica de anéis comutativos, várias definições de elementos integrais são equivalentes: um elemento é integral se for raiz de um polinômio mônico, se gerar um módulo fiel finitamente gerado ou se estiver na interseção de anéis de valoração que contêm o anel base. No entanto, ao trabalhar com semiringues aditivamente idempotentes (onde $a + a = a$), essas noções divergem. O artigo aborda a falta de uma teoria unificada para o fechamento integral nesse cenário, o que é crucial para a geometria tropical. Especificamente, os autores visam definir, comparar e computar diferentes noções de integralidade para semiringues, com foco no "semiringue de coordenadas" de uma variedade tropical e seu semiringue total de frações. Este trabalho é motivado pela necessidade de definir e computar a normalização de variedades tropicais e de estender a teoria dos espaços adicos tropicais.

Metodologia e Definições
Os autores estabelecem um arcabouço definindo quatro noções primárias de integralidade para uma extensão de semiringues aditivamente idempotentes $A \subseteq R$ e um elemento $x \in R$:

1. N-integral: $x$ satisfaz uma equação $x^n = \sum_{i=0}^{n-1} a_i x^i$ com $a_i \in A$.
2. J-integral: $x$ satisfaz uma desigualdade $x^n \le \sum_{i=0}^{n-1} a_i x^i$ com $a_i \in A$.
3. D-integral: $x$ é limitado superiormente por um elemento J-integral (o fechamento para baixo de elementos J-integrais).
4. Quase-integral (e variantes): $x$ admite um módulo $M \subseteq R$ de $A\langle x \rangle$ fiel (ou livre de anuladores) que é finitamente gerado como um módulo de $A$ fechado para baixo.
5. Fechamento integral valuativo ($A^V$): A interseção de todos os sub-semiringues de valoração $R_P$ que contêm $A$, onde $P$ varia sobre congruências primas.

Os autores denotam os conjuntos de tais elementos como $A^N, A^J, A^D, A^Q, A^{aQ}, A^{wQ}$ e $A^V$. Uma ferramenta estrutural fundamental desenvolvida é o Teorema de Cayley-Hamilton Tropical (Teorema 5.2), que afirma que qualquer matriz quadrada sobre um semiringue aditivamente idempotente satisfaz as "relações de dobra" (bend relations) de seu polinômio característico. Este teorema é provado utilizando uma adaptação combinatória da prova de Straubing para o teorema clássico de Cayley-Hamilton, utilizando decomposições de caminhos e involuções em permutações parciais.

Principais Contribuições e Resultados

• Relações entre Noções de Integralidade: O artigo estabelece uma hierarquia de inclusões: $A^N \subseteq A^J \subseteq A^D \subseteq A^Q \subseteq A^{aQ} \subseteq A^{wQ}$. Crucialmente, os autores provam que $A^J$ não é necessariamente um semiringue (Exemplo 3.14) e que a operação $A \mapsto A^J$ não é uma operação de fechamento. Em contraste, eles provam que $A^D$ é sempre um semiringue e que a operação $A \mapsto A^D$ é uma operação de fechamento (Proposição 4.5, Proposição 4.8).
• Teoremas de Equivalência: Os autores identificam condições sob as quais essas distintas noções coincidem:
  • Se $R$ é cancelativo, então todas as noções concordam e são iguais ao fechamento para baixo de $A$ em $R$ (Teorema 6.20).
  • Se $R$ é cancelativamente gerado, $\sqrt{\Delta_R}$ é cancelativo, e o módulo de $A$ fechado para baixo gerado por qualquer $x \in R$ é finito, então $A^J = A^D = A^Q = A^{aQ} = A^{wQ} = A^V$ (Teorema 6.21).
  • Para tropicalizações de ideais $I \subseteq K[M]$ onde a variedade não possui componente na fronteira torica, o fechamento integral valuativo $A^V$ coincide com o fechamento quase-integral $A^Q$ (Corolário 7.4).
• Elementos Cancelativos e Frações: Uma parte significativa do trabalho é dedicada à identificação de elementos cancelativos em semiringues da forma $S[M]/\text{Bend}(J)$. Os autores provam que, em $S[M]$, os únicos elementos cancelativos são monômios (Proposição 8.4). Eles investigam quando elementos no quociente por congruências de dobra permanecem cancelativos, levando à Conjectura 8.10, que postula que, para um ideal primo principal $I$ que não contém monômios ou binômios, um elemento em $S[M]/\text{Bend}(\text{trop } I)$ é cancelativo se, e somente se, for a imagem de um termo.
• Ferramentas Computacionais: O artigo fornece um algoritmo (Construção 9.7 e Teorema 9.12) para construir "pares de testemunhas" $(g, h)$ tais que $g \neq h$, mas $fg = fh$, de modo a certificar que $f$ não é cancelativo. Isso permite a determinação computacional do semiringue total de frações $\text{Frac}(A)$.

Aplicações e Exemplos
Os autores aplicam seus resultados teóricos para computar fechamentos integrais em contextos geométricos específicos:

• Curvas Tropicais: Eles computam o fechamento integral de semiringues de coordenadas para curvas tropicais, como a cúbica cuspídica ($x^2 + x^3 + y^2$) e a cúbica nodal. Nesses casos, o fechamento integral corresponde ao anel de coordenadas da normalização da curva clássica (por exemplo, adjunção de $y/x$).
• Variedades Toricas: Eles mostram que, para semiringues toricos $S[M]$, o fechamento integral em seu semiringue total de frações é o próprio semiringue (ou seja, eles são normais).
• Normalização: O artigo demonstra que computar a normalização de uma variedade tropical pode ser abordado algebricamente através do cálculo do fechamento integral de seu semiringue de coordenadas em seu semiringue total de frações.

Significância e Alegações
O artigo afirma fornecer a primeira comparação sistemática de múltiplas definições de integralidade no contexto de semiringues aditivamente idempotentes. Ao provar o teorema de Cayley-Hamilton Tropical, os autores estabelecem uma ponte entre a teoria de matrizes e a integralidade, permitindo mostrar que, sob amplas condições geométricas (especificamente envolvendo geração cancelativa e propriedades do radical da diagonal), as várias definições de fechamento integral colapsam em uma única noção bem comportada ($A^D$).

Os autores apresentam seu trabalho de forma modesta como um passo fundamental para definir espaços adicos tropicais e compreender a normalização de variedades tropicais. Eles declaram explicitamente que suas conjecturas (como a Conjectura 8.10 e a Conjectura 1.6 sobre o levantamento de fechamentos integrais de variedades tropicais para clássicas) permanecem abertas e requerem investigação adicional, particularmente no que diz respeito à identificação de elementos cancelativos em quocientes específicos. O trabalho não pretende resolver todos os problemas de normalização tropical, mas fornece a maquinaria algébrica necessária e exemplos computacionais específicos para avançar o campo.