$F$-injectivity does not imply $F$-fullness in normal domains

Der Artikel konstruiert Beispiele noetherscher, dreidimensionaler lokaler geometrisch normaler Ringe in Primzahlcharakteristik, die $F$-injektiv, aber nicht $F$-voll sind, und zeigt dabei, dass $F$-Injektivität unter rein inseparablen endlichen Basiswechseln nicht erhalten bleibt.

Das Wesentliche

Der unsichtbare Riss: Warum perfekte Oberflächen manchmal trügerisch sind

Stellen Sie sich vor, Sie sind ein Architekt, der Gebäude aus einem ganz besonderen Material baut: Zahlen und Gleichungen. In der Welt der Mathematik (genauer gesagt der algebraischen Geometrie) gibt es diese Gebäude, die man „Ringe" nennt. Manche sind glatt und perfekt wie ein polierter Marmortisch, andere haben Risse, Ecken oder Löcher. Diese „fehlerhaften" Stellen nennt man Singularitäten.

Die Autoren dieses Papers haben etwas Entdecktes, das die Regeln für diese Gebäude auf den Kopf stellt. Sie haben gezeigt, dass ein Gebäude, das auf den ersten Blick absolut stabil und „perfekt" aussieht, unter bestimmten Bedingungen doch einen versteckten, fatalen Fehler haben kann.

1. Die zwei Arten von „Perfektion"

Um das zu verstehen, müssen wir zwei Begriffe kennen, die wie zwei verschiedene Gütesiegel klingen:

• F-injektiv (Der „Widerstandstest"): Stellen Sie sich vor, Sie werfen einen Stein in einen See (das ist eine mathematische Operation namens „Frobenius"). Wenn der Stein das Wasser berührt, entstehen Wellen. Bei einem „F-injektiven" Gebäude passiert Folgendes: Wenn Sie einen Stein werfen, der nicht null ist, entsteht immer eine Welle. Nichts verschwindet spurlos. Das Gebäude ist robust gegen das „Verschwinden" von Informationen.
• F-vollständig (Der „Erfüllungs-Test"): Das ist ein noch strengeres Kriterium. Es bedeutet nicht nur, dass nichts verschwindet, sondern dass das Gebäude auch alles aufnehmen kann, was man hineinschickt. Es ist wie ein Eimer, der nicht undicht ist (F-injektiv), sondern der auch garantiert jede Menge Wasser fassen kann, ohne zu überlaufen oder zu lecken.

Bisher glaubten die Mathematiker: „Wenn ein Gebäude den Widerstandstest besteht (F-injektiv) und zudem normal ist (keine seltsamen, doppelten Wände oder verwirrende Strukturen hat), dann muss es auch den Erfüllungs-Test bestehen (F-vollständig)."

Die große Überraschung: Die Autoren sagen: „Nein, das stimmt nicht!"

2. Die Reise durch die Dimensionen

Die Autoren haben zwei Arten von „Fehlgebäuden" konstruiert, um zu beweisen, dass die alte Annahme falsch ist.

Fall A: Das zweidimensionale Haus (Der „flache Riss")
Sie bauten ein zweidimensionales Haus (eine Art Fläche).

• Es sieht von außen perfekt aus: Es ist „normal" (keine doppelten Wände).
• Es besteht den Widerstandstest (F-injektiv).
• ABER: Wenn man das Haus durch eine spezielle, „unsichtbare" Transformation schickt (eine rein inseparable Basisänderung – stellen Sie sich vor, Sie ändern die Sprache des Materials leicht, aber so, dass man es im Alltag nicht merkt), dann bricht es zusammen. Es verliert seine Stabilität.
• Die Metapher: Es ist wie ein Haus aus Glas, das bei normalem Licht perfekt aussieht. Aber wenn Sie eine bestimmte Art von UV-Licht darauf werfen (die Transformation), wird es spröde und zerbricht. Es ist also nicht „F-vollständig" (oder genauer gesagt, es ist nicht „F-anti-nilpotent", ein verwandtes Konzept).

Fall B: Das dreidimensionale Haus (Der „schwere Riss")
Hier bauten sie ein dreidimensionales Haus.

• Auch dieses Haus ist „normal" und besteht den Widerstandstest.
• ABER: Es ist nicht „F-vollständig".
• Die Metapher: Stellen Sie sich vor, Sie haben einen Eimer mit einem winzigen, unsichtbaren Loch. Wenn Sie Wasser (die mathematischen Informationen) hineingießen, fließt es langsam heraus. Das Haus ist stabil genug, um nicht sofort zu kollabieren (F-injektiv), aber es kann die Last nicht vollständig tragen (nicht F-vollständig).

3. Warum ist das wichtig? (Die „Basis-Änderung")

Der Schlüssel zu ihrer Entdeckung liegt in einem seltsamen Phänomen: Wie sich das Gebäude verhält, wenn man den Boden, auf dem es steht, leicht verändert.

In der Mathematik gibt es eine Art „Basiswechsel". Stellen Sie sich vor, Ihr Haus steht auf einem Fundament aus Erde. Wenn Sie die Erde gegen eine andere, sehr ähnliche Erde austauschen (eine rein inseparable Erweiterung), sollte das Haus eigentlich immer noch stehen.

• Bei den „guten" Gebäuden (F-pure) passiert das: Sie bleiben stabil, egal wie Sie das Fundament leicht verändern.
• Bei den „schlechten" Gebäuden (die F-injektiv, aber nicht F-vollständig sind) passiert das nicht: Sobald Sie das Fundament ändern, verliert das Haus seine Stabilität.

Die Autoren haben gezeigt, dass es Gebäude gibt, die normal sind (also keine offensichtlichen Fehler haben), aber trotzdem bei dieser kleinen Bodenveränderung zusammenbrechen.

4. Die Konsequenz: Ein neues Diagramm

Am Ende des Papers zeichnen die Autoren eine Art Landkarte (ein Diagramm), die zeigt, welche Eigenschaften welche anderen nach sich ziehen.
Bisher dachte man: „Wenn es normal und F-injektiv ist, dann ist es automatisch F-vollständig."
Ihre neuen Beispiele sind wie rote Flaggen auf dieser Landkarte. Sie zeigen: Nein, das ist ein Irrtum.

Man kann ein Gebäude haben, das:

1. Normal ist (keine doppelten Wände).
2. Den Widerstandstest besteht (F-injektiv).
3. Aber trotzdem einen versteckten Defekt hat, der es verhindert, dass es „F-vollständig" ist.

Zusammenfassung in einem Satz

Die Autoren haben mathematische „Häuser" gebaut, die auf den ersten Blick perfekt und stabil wirken, aber bei genauerem Hinsehen (oder bei einer kleinen Veränderung ihrer Umgebung) zeigen, dass sie nicht so robust sind, wie man dachte – und das widerlegt eine lange gehegte Vermutung in der Mathematik.

Warum sollte uns das interessieren?
Weil es uns lehrt, dass „Normalität" und „Stabilität" nicht immer Hand in Hand gehen. In der Welt der komplexen Strukturen (sei es in der Mathematik, im Ingenieurwesen oder im Leben) kann etwas, das „normal" aussieht, unter spezifischen Bedingungen doch versagen. Und manchmal muss man tiefer graben (bis in die dritte Dimension), um diese versteckten Schwachstellen zu finden.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Artikels auf Deutsch:

Titel: F-Injektivität impliziert nicht F-Vollständigkeit in normalen Ringen

Autoren: Alessandro De Stefani, Thomas Polstra, Austyn Simpson

---

1. Problemstellung und Hintergrund

Die Arbeit adressiert ein zentrales Problem in der Theorie der F-Singularitäten (Singularitäten in der Charakteristik $p > 0$). Während die Klassen der F-regulären und F-rationalen Ringe gut verstanden sind und starke strukturelle Eigenschaften besitzen (wie Normalität und Cohen-Macaulay-Eigenschaft), ist das Verhalten der schwächeren Klasse der F-injektiven Ringe weniger klar.

F-injektive Ringe gelten als das charakteristische Analogon zu Du Bois-Singularitäten in der komplexen Minimalen Modelltheorie. Es ist bekannt, dass F-injektive Ringe nicht notwendigerweise normal oder Cohen-Macaulay sind. Eine offene Frage ist jedoch, ob zusätzliche geometrische Bedingungen (wie die Forderung nach einem geometrisch normalen Ring) ausreichen, um F-injektive Ringe in eine "bessere" Klasse zu zwingen, insbesondere im Hinblick auf die F-Vollständigkeit (F-fullness) und die F-Anti-Nilpotenz (F-anti-nilpotence).

Spezifisch wird untersucht, ob folgende Implikationen für geometrisch normale, F-injektive Ringe gelten:

1. Ist ein solcher Ring automatisch F-vollständig? (F-Vollständigkeit ist eine Eigenschaft, die eng mit der Deformation von F-Singularitäten zusammenhängt).
2. Ist ein solcher Ring automatisch F-anti-nilpotent? (Eine Eigenschaft, die sicherstellt, dass der Frobenius-Endomorphismus auf Quotienten von lokalen Kohomologiemodulen injektiv wirkt).

Bisherige Beispiele, die zeigen, dass F-Injektivität nicht F-Vollständigkeit impliziert, waren oft nicht normal. Die Autoren untersuchen, ob Normalität diese Pathologien beseitigt.

2. Methodik

Die Autoren konstruieren explizite Gegenbeispiele durch eine Kombination aus folgenden Techniken:

• Hypersurven über unvollkommenen Körpern: Sie betrachten zweidimensionale Hypersurven $R = S/(f)$ über dem Körper $k = \mathbb{F}_p(t)$, wobei $t$ eine Unbestimmte ist. Die Wahl eines unvollkommenen Körpers ist entscheidend, da die Pathologien oft mit rein inseparablen Körpererweiterungen zusammenhängen.
• Veronese-Unterringe: Um die Injektivität des Frobenius auf dem lokalen Kohomologiemodul $H^d_{\mathfrak{m}}(R)$ in Grad 0 zu manipulieren, während sie in negativen Graden erhalten bleibt, verwenden sie $n$-te Veronese-Unterringe $T = R^{(n)}$. Dies erlaubt es, den Grad der lokalen Kohomologie so zu verschieben, dass die Frobenius-Aktion auf dem Grad-0-Anteil spezifische Eigenschaften erhält (z.B. Injektivität auf dem Ring selbst, aber nicht auf dem Quotienten nach einem Unterraum).
• Segre-Produkte: Um von Dimension 2 auf Dimension 3 zu gelangen und die Cohen-Macaulay-Eigenschaft zu brechen (da in Dimension 2 Normalität Cohen-Macaulay impliziert), bilden sie das Segre-Produkt $A = T \# k[u,v]$ mit einem Polynomring in zwei Variablen.
• Analyse der rein inseparablen Basiswechsel: Ein zentrales Werkzeug ist die Untersuchung des Verhaltens unter rein inseparablen Erweiterungen des Grundkörpers ($k \to k^{1/p}$). Die Autoren zeigen, dass die F-Injektivität unter solchen Erweiterungen verloren gehen kann, selbst wenn der ursprüngliche Ring geometrisch normal ist.
• Künneth-Formel: Zur Berechnung der lokalen Kohomologie der Segre-Produkte und der Einbettungs-Algebren ($R \otimes_k R$) nutzen sie eine Künneth-artige Formel für lokale Kohomologie.

3. Wichtige Beiträge und Ergebnisse

Die Arbeit liefert zwei Haupttheoreme, die die oben genannten Vermutungen widerlegen:

Theorem A (Satz 3.4): F-Injektivität impliziert nicht F-Anti-Nilpotenz

Für jede Primzahl $p > 0$ existiert ein lokaler, 2-dimensionaler, geometrisch normaler Ring $R$ (essentiell von endlichem Typ über einem Körper $k$), der:

• F-injektiv ist.
• Geometrisch normal ist (und somit Cohen-Macaulay).
• Nicht F-anti-nilpotent ist.

Konstruktion: Der Ring entsteht als Lokalisierung eines Veronese-Unterrings einer spezifischen Hypersurface über $\mathbb{F}_p(t)$. Der Frobenius wirkt injektiv auf $H^2_{\mathfrak{m}}(R)$, aber nicht auf einem bestimmten Quotienten, was die F-Anti-Nilpotenz verletzt. Zudem zeigt sich, dass der rein inseparable Basiswechsel $R \otimes_k k^{1/p}$ nicht mehr F-injektiv ist.

Theorem B (Satz 3.5): F-Injektivität impliziert nicht F-Vollständigkeit

Für jede Primzahl $p > 0$ existiert ein lokaler, 3-dimensionaler Ring $R$ (essentiell von endlichem Typ über $k$), der:

• F-injektiv ist.
• Geometrisch normal ist.
• Nicht F-vollständig ist.
• Nicht Cohen-Macaulay ist (dies ist notwendig, da in Dimension 2 normale Ringe Cohen-Macaulay sind und somit F-vollständig wären).

Konstruktion: Durch das Segre-Produkt des Rings aus Theorem A mit einem Polynomring in zwei Variablen wird die Dimension auf 3 erhöht. Die Analyse der lokalen Kohomologie zeigt, dass der Frobenius auf $H^2$ nicht injektiv wirkt, wenn man den Ring über $k^{1/p}$ betrachtet, was gemäß Theorem 2.3 und 2.4 die F-Vollständigkeit ausschließt.

Zusätzliche Erkenntnisse:

• Minimalität der Dimension: Die Beispiele sind in ihrer Dimension optimal. In Dimension 2 impliziert Normalität Cohen-Macaulay, was in diesem Kontext F-Vollständigkeit nach sich zieht. Daher ist Dimension 3 für das Gegenbeispiel zu Theorem B notwendig.
• Rolle der unvollkommenen Körper: Die Beispiele erfordern zwingend einen unvollkommenen Restklassenkörper. In der Gorenstein-Situation oder bei perfekten Körpern fallen F-Injektivität, F-Reinheit und F-Anti-Nilpotenz oft zusammen.
• Verlust der F-Injektivität bei Basiswechsel: Ein zentrales Phänomen ist, dass F-Injektivität nicht unter rein inseparablen Basiswechseln erhalten bleibt, selbst für geometrisch normale Ringe. Dies ist der treibende Mechanismus für alle Gegenbeispiele.

4. Signifikanz und Bedeutung

• Auflösung offener Fragen: Die Arbeit zeigt, dass die Hypothesen der Normalität oder geometrischen Normalität nicht ausreichen, um die "schönen" Eigenschaften von F-puren Ringen (wie F-Vollständigkeit oder F-Anti-Nilpotenz) auf F-injektive Ringe zu übertragen.
• Struktur der F-Singularitäten: Die Ergebnisse verdeutlichen, dass F-Injektivität eine extremale Klasse innerhalb der Hierarchie der F-Singularitäten darstellt, die sehr empfindlich auf rein inseparable Erweiterungen reagiert.
• Deformationsproblem: Da F-Vollständigkeit eine Schlüsselrolle bei Deformationsfragen (ob F-Injektivität unter Deformationen erhalten bleibt) spielt, zeigen diese Beispiele, dass der Weg zur Lösung des Deformationsproblems für F-Injektivität komplexer ist als ursprünglich gehofft. Man kann nicht einfach auf F-Vollständigkeit als "Ersatz" für F-Injektivität in normalen Ringen hoffen.
• Methodischer Fortschritt: Die Kombination aus Veronese-Techniken, Segre-Produkten und der präzisen Analyse von Frobenius-Aktionen auf lokalen Kohomologiemodulen über unvollkommenen Körpern bietet neue Werkzeuge für die Konstruktion von pathologischen Beispielen in der kommutativen Algebra.

Zusammenfassend widerlegt die Arbeit die Vermutung, dass geometrische Normalität F-injektive Ringe "zähme" Singularitäten macht, und etabliert, dass F-Injektivität auch in normalen Ringen zu unerwartet pathologischem Verhalten führen kann.