Integral closure for (additively idempotent) semirings

Technische Zusammenfassung: Integralschluss für (additiv idempotente) Semiringe

Problemstellung
In der klassischen kommutativen Ringtheorie existieren verschiedene Definitionen integraler Elemente, die äquivalent sind: Ein Element ist integral, wenn es eine Wurzel eines monischen Polynoms ist, wenn es ein endlich erzeugtes treues Modul erzeugt oder wenn es im Schnitt aller Valuationsringe liegt, die den Basising

In der klassischen kommutativen Ringtheorie sind verschiedene Definitionen integraler Elemente äquivalent: Ein Element ist integral, wenn es eine Wurzel eines monischen Polynoms ist, wenn es ein endlich erzeugtes treues Modul erzeugt oder wenn es im Schnitt aller Valuationsringe liegt, die den Basising enthalten. In additiv idempotenten Semiringen (wo $a + a = a$ gilt) divergieren diese Begriffe jedoch. Die vorliegende Arbeit adressiert das Fehlen einer vereinheitlichten Theorie des Integralschlusses in diesem Kontext, was für die tropische Geometrie von entscheidender Bedeutung ist. Insbesondere zielen die Autoren darauf ab, verschiedene Konzepte der Integraleität zu definieren, zu vergleichen und zu berechnen, wobei der Fokus auf dem „Koordinaten-Semiring“ einer tropischen Varietät und deren totalem Semiring der Brüche liegt. Diese Arbeit wird durch die Notwendigkeit motiviert, die Normalisierung tropischer Varietäten zu definieren und zu berechnen sowie die Theorie der tropischen adischen Räume zu erweitern.

Methodik und Definitionen
Die Autoren etablieren einen Rahmen, indem sie vier primäre Konzepte der Integraleität für eine Erweiterung von additiv idempotenten Semiringen $A \subseteq R$ und ein Element $x \in R$ definieren:

1. N-integral: $x$ erfüllt eine Gleichung $x^n = \sum_{i=0}^{n-1} a_i x^i$ mit $a_i \in A$.
2. J-integral: $x$ erfüllt eine Ungleichung $x^n \le \sum_{i=0}^{n-1} a_i x^i$ mit $a_i \in A$.
3. D-integral: $x$ ist nach oben beschränkt durch ein J-integrales Element (der nach unten abgeschlossene Teil der J-integralen Elemente).
4. Quasi-integral (und Varianten): $x$ besitzt einen treuen (oder annihilatorfreien) $A\langle x \rangle$-Modul $M \subseteq R$, der als nach unten abgeschlossener $A$-Modul endlich erzeugt ist.
5. Valuativer Integralschluss ($A^V$): Der Schnitt aller Valuations-Subsemiringe $R_P$, die $A$ enthalten, wobei $P$ über Primkongruenzen läuft.

Die Autoren bezeichnen die Mengen dieser Elemente als $A^N, A^J, A^D, A^Q, A^{aQ}, A^{wQ}$ und $A^V$. Ein zentrales strukturelles Werkzeug ist der Tropische Cayley-Hamilton-Theorem (Theorem 5.2), welches besagt, dass jede quadratische Matrix über einem additiv idempotenten Semiring die „Biegebeziehungen“ (bend relations) ihres charakteristischen Polynoms erfüllt. Dieses Theorem wird unter Verwendung einer kombinatorischen Adaption von Straubings Beweis des klassischen Cayley-Hamilton-Theorems bewiesen, wobei Pfadzerlegungen und Involutionen auf partiellen Permutationen genutzt werden.

Zentrale Beiträge und Ergebnisse

• Beziehungen zwischen Integraleitätsbegriffen: Die Arbeit etabliert eine Hierarchie von Inklusionen: $A^N \subseteq A^J \subseteq A^D \subseteq A^Q \subseteq A^{aQ} \subseteq A^{wQ}$. Entscheidend ist, dass die Autoren zeigen, dass $A^J$ nicht notwendigerweise ein Semiring ist (Beispiel 3.14) und dass die Operation $A \mapsto A^J$ keine Abschlussoperation ist. Im Gegensatz dazu beweisen sie, dass $A^D$ immer ein Semiring ist und dass die Operation $A \mapsto A^D$ eine Abschlussoperation darstellt (Proposition 4.5, Proposition 4.8).
• Äquivalenztheoreme: Die Autoren identifizieren Bedingungen, unter denen diese unterschiedlichen Begriffe zusammenfallen:
  • Wenn $R$ kancellativ ist, stimmen alle Begriffe überein und entsprechen dem nach unten abgeschlossenen Teil von $A$ in $R$ (Theorem 6.20).
  • Wenn $R$ kancellativ erzeugt ist, $\sqrt{\Delta_R}$ kancellativ ist und der nach unten abgeschlossene $A$-Modul, der durch ein beliebiges $x \in R$ erzeugt wird, endlich ist, dann gilt $A^J = A^D = A^Q = A^{aQ} = A^{wQ} = A^V$ (Theorem 6.21).
  • Für Tropifizierungen von Idealen $I \subseteq K[M]$, bei denen die Varietät keine Komponente in der torischen Grenze hat, stimmt der valuative Integralschluss $A^V$ mit dem quasi-integralen Abschluss $A^Q$ überein (Corollary 7.4).
• Kancellative Elemente und Brüche: Ein wesentlicher Teil der Arbeit widmet sich der Identifizierung kancellativer Elemente in Semiringen der Form $S[M]/\text{Bend}(J)$. Die Autoren beweisen, dass in $S[M]$ die einzigen kancellativen Elemente Monome sind (Proposition 8.4). Sie untersuchen, wann Elemente im Quotienten durch Biegekongruenzen (bend congruences) kancellativ bleiben, was zu der Vermutung 8.10 führt, die postuliert, dass für ein primäres Hauptideal $I$, das keine Monome oder Binome enthält, ein Element in $S[M]/\text{Bend}(\text{trop } I)$ genau dann kancellativ ist, wenn es das Bild eines Terms ist.
• Kommunikationstools: Die Arbeit liefert einen Algorithmus (Konstruktion 9.7 und Theorem 9.12), um „Zeugenpaare“ (witness pairs) $(g, h)$ zu konstruieren, sodass $g \neq h$, aber $fg = fh$ gilt, wodurch zertifiziert wird, dass $f$ nicht kancellativ ist. Dies ermöglicht die computergestützte Bestimmung des totalen Semirings der Brüche $\text{Frac}(A)$.

Anwendungen und Beispiele
Die Autoren wenden ihre theoretischen Ergebnisse auf die Berechnung von Integralschlüssen in spezifischen geometrischen Kontexten an:

• Tropische Kurven: Sie berechnen die Integralschlüsse der Koordinaten-Semiringe für tropische Kurven, wie die cuspide Kubik ($x^2 + x^3 + y^2$) und die nodale Kubik. In diesen Fällen entspricht der Integralschluss dem Koordinatenring der Normalisierung der klassischen Kurve (z. B. durch Adjonktion von $y/x$).
• Torische Varietäten: Sie zeigen, dass für torische Semiringe $S[M]$ der Integralschluss in ihrem totalen Semiring der Brüche der Semiring selbst ist (d. h. sie sind normal).
• Normalisierung: Die Arbeit zeigt, dass die Berechnung der Normalisierung einer tropischen Varietät durch die algebraische Berechnung des Integralschlusses ihres Koordinaten-Semirings in seinem totalen Semiring der Brüche angegangen werden kann.

Bedeutung und Ansprüche
Die Arbeit beansprucht, den ersten systematischen Vergleich mehrerer Definitionen von Integraleität im Kontext von additiv idempotenten Semiringen zu liefern. Durch den Beweis des tropischen Cayley-Hamilton-Theorems schlagen die Autoren eine Brücke zwischen der Matrizentheorie und der Integraleität, was es ihnen ermöglicht zu zeigen, dass unter weiten geometrischen Bedingungen (insbesondere unter Beteiligung der kancellativen Erzeugung und den Eigenschaften des Radikals der Diagonale) die verschiedenen Definitionen des Integralschlusses zu einem einzigen, wohldefinierten Begriff ($A^D$) kollabieren.

Die Autoren stellen ihre Arbeit bescheiden als einen grundlegenden Schritt zur Definition tropischer adischer Räume und zum Verständnis der Normalisierung tropischer Varietäten dar. Sie geben explizit an, dass ihre Vermutungen (wie Vermutung 8.10 und Vermutung 1.6 bezüglich des Liftings von Integralschlüssen von tropischen zu klassischen Varietäten) offen bleiben und weitere Untersuchungen erfordern, insbesondere hinsichtlich der Identifizierung kancellativer Elemente in spezifischen Quotienten. Die Arbeit beansprucht nicht, alle Probleme der tropischen Normalisierung zu lösen, bietet aber die notwendige algebraische Maschinerie und spezifische computergestützte Beispiele, um das Feld voranzubringen.