Integral closure for (additively idempotent) semirings

Technische Samenvatting: Integraal Sluiten voor (Additief Idempotente) Semiringen

Probleemstelling
In de klassieke commutatieve ringtheorie zijn verschillende definities van integrale elementen equivalent: een element is integraal als het een wortel is van een monisch polynoom, als het een eindig gegenereerd trouw module genereert, of als het ligt in de doorsnede van de valuationringen die de basisring bevatten. Echter, wanneer men werkt met additief idempotente semiringen (waarbij $a + a = a$), divergeren deze notions. Dit artikel behandelt het gebrek aan een verenigde theorie voor integraal sluiten in deze setting, wat cruciaal is voor de tropische meetkunde. Specifiek beogen de auteurs verschillende notions van integriteit te definiëren, te vergelijken en te berekenen, met een focus op de "coördinaat-semiring" van een tropische variëteit en de totale semiring van breuken daarvan. Dit werk wordt gemotiveerd door de noodzaak om de normalisatie van tropische variëteiten te definiëren en te berekenen, en om de theorie van tropische adische ruimtes uit te breiden.

Methodologie en Definities
De auteurs vestigen een kader door vier primaire notions van integriteit te definiëren voor een extensie van additief idempotente semiringen $A \subseteq R$ en een element $x \in R$:

1. N-integraal: $x$ voldoet aan een vergelijking $x^n = \sum_{i=0}^{n-1} a_i x^i$ met $a_i \in A$.
2. J-integraal: $x$ voldoet aan een ongelijkheid $x^n \le \sum_{i=0}^{n-1} a_i x^i$ met $a_i \in A$.
3. D-integraal: $x$ is begrensd door bovenaf door een J-integraal element (de neerwaartse afsluiting van J-integrale elementen).
4. Quasi-integraal (en varianten): $x$ laat een trouwe (of annihilator-vrije) $A\langle x \rangle$-module $M \subseteq R$ toe die eindig gegenereerd is als een neerwaarts gesloten $A$-module.
5. Valuatieve integraal sluiting ($A^V$): De doorsnede van alle valuation sub-semiringen $R_P$ die $A$ bevatten, waarbij $P$ loopt over priemcongruenties.

De auteurs noteren de verzamelingen van dergelijke elementen als $A^N, A^J, A^D, A^Q, A^{aQ}, A^{wQ}$, en $A^V$. Een cruciaal structureel instrument dat wordt ontwikkeld is de Tropische Cayley-Hamilton Stelling (Stelling 5.2), die stelt dat elke vierkante matrix over een additief idempotente semiring voldoet aan de "bend-relaties" van zijn karakteristieke polynoom. Deze stelling wordt bewezen met behulp van een combinatorische adaptatie van Straubings bewijs van de klassieke Cayley-Hamilton stelling, gebruikmakend van pad-decompositie en involuties op partiële permutaties.

Belangrijkste Bijdragen en Resultaten

• Relaties tussen Integriteitsnotions: Het artikel stelt een hiërarchie van inclusies vast: $A^N \subseteq A^J \subseteq A^D \subseteq A^Q \subseteq A^{aQ} \subseteq A^{wQ}$. Cruciaal is dat de auteurs bewijzen dat $A^J$ niet noodzakelijkerwijs een semiring is (Voorbeeld 3.14) en dat de operatie $A \mapsto A^J$ geen afsluitingsoperatie is. In tegenstelling hiermee bewijzen zij dat $A^D$ altijd een semiring is en dat de operatie $A \mapsto A^D$ een afsluitingsoperatie is (Propositie 4.5, Propositie 4.8).
• Equivalentiestellingen: De auteurs identificeren condities waaronder deze verschillende notions samenvallen:
  • Als $R$ cancellatief is, dan komen alle notions overeen en zijn ze gelijk aan de neerwaartse afsluiting van $A$ in $R$ (Theorem 6.20).
  • Als $R$ cancellatief gegenereerd is, $\sqrt{\Delta_R}$ cancellatief is, en de neerwaarts gesloten $A$-module gegenereerd door elk $x \in R$ eindig is, dan geldt $A^J = A^D = A^Q = A^{aQ} = A^{wQ} = A^V$ (Theorem 6.21).
  • Voor tropicalisaties van idealen $I \subseteq K[M]$ waar de variëteit geen component heeft in de torische grens, valt de valuatieve integraal sluiting $A^V$ samen met de quasi-integrale sluiting $A^Q$ (Corollary 7.4).
• Cancellatieve Elementen en Breuken: Een aanzienlijk deel van het werk is gewijd aan het identificeren van cancellatieve elementen in semiringen van de vorm $S[M]/\text{Bend}(J)$. De auteurs bewijzen dat in $S[M]$ de enige cancellatieve elementen monomialen zijn (Proposition 8.4). Zij onderzoeken wanneer elementen in de quotient door bend-congruenties nog steeds cancellatief blijven, wat leidt tot Conjectuur 8.10, die stelt dat voor een hoofd priem ideaal $I$ dat geen monomialen of binomialen bevat, een element in $S[M]/\text{Bend}(\text{trop } I)$ cancellatief is dan en slechts dan als het de afbeelding is van een term.
• Computationele Instrumenten: Het artikel biedt een algoritme (Constructie 9.7 en Theorem 9.12) om "getuige-paren" $(g, h)$ te construeren zodanig dat $g \neq h$ maar $fg = fh$, waarmee wordt gecertificeerd dat $f$ niet cancellatief is. Dit maakt de computationele bepaling van de totale semiring van breuken $\text{Frac}(A)$ mogelijk.

Toepassingen en Voorbeelden
De auteurs passen hun theoretische resultaten toe om de integraal sluiting te berekenen in specifieke geometrische contexten:

• Tropische Curves: Zij berekenen de integraal sluiting van coördinaat-semiringen voor tropische curves, zoals de cuspidale kubiek ($x^2 + x^3 + y^2$) en de nodale kubiek. In deze gevallen komt de integraal sluiting overeen met de coördinaat-ring van de normalisatie van de klassieke curve (bijv. het toevoegen van $y/x$).
• Torische Variëteiten: Zij tonen aan dat voor torische semiringen $S[M]$, de integraal sluiting in hun totale semiring van breuken de semiring zelf is (dat wil zeggen, zij zijn normaal).
• Normalisatie: Het artikel demonstreert dat het berekenen van de normalisatie van een tropische variëteit kan worden benaderd via algebra door de integraal sluiting van de coördinaat-semiring in de totale semiring van breuken te berekenen.

Betekenis en Claims
Het artikel claimt de eerste systematische vergelijking te bieden van meerdere definities van integriteit in de context van additief idempotente semiringen. Door het bewijzen van de Tropische Cayley-Hamilton stelling, leggen de auteurs een brug tussen matrixleer en integriteit, waardoor zij kunnen aantonen dat onder brede geometrische condities (specifiek betrokken bij cancellatieve generatie en eigenschappen van de radicaal van de diagonaal), de diverse definities van integraal sluiten samenvallen in één enkele, goed gedefinieerde notion ($A^D$).

De auteurs presenteren hun werk bescheiden als een fundamentele stap naar het definiëren van tropische adische ruimtes en het begrijpen van de normalisatie van tropische variëteiten. Zij stellen expliciet dat hun conjecturen (zoals Conjectuur 8.10 en Conjectuur 1.6 betreffende het liften van integrale sluitingen van klassieke naar tropische variëteiten) openstaan en verdere investigatie vereisen, met name met betrekking tot de identificatie van cancellatieve elementen in specifieke quotienten. Het werk claimt niet alle problemen van tropische normalisatie op te lossen, maar biedt de noodzakelijke algebraïsche machinerie en specifieke computationele voorbeelden om het veld vooruit te helpen.