The Drinfeld-Grinberg-Kazhdan theorem and embedding codimension of the arc space

Technische Zusammenfassung: Das Drinfeld–Grinberg–Kazhdan-Theorem und die Einbettungscodimension des Bogenraums

Problemstellung
Die Geometrie des Bogenraums $X_\infty$ einer algebraischen Varietät $X$ kodiert signifikante Informationen über die Singularitäten von $X$. Ein zentrales Untersuchungsobjekt ist die maximale divisoriale Menge $C_\nu(X)$, der Abschluss von Bögen, die eine spezifische divisoriale Bewertung $\nu$ induzieren. Während das Drinfeld–Grinberg–Kazhdan (DGK)-Theorem etabliert, dass für einen $k$-rationalen Bogen $\alpha$, der nicht in der Singularitätsmenge enthalten ist, die formale Umgebung $(X_\infty, \alpha)$ isomorph zur formalen Umgebung einer Schema endlichen Typs $Z$ (einem „endlichen formalen Modell“) mal einem formalen affinen Raum ist, war dieses Resultat zuvor auf $k$-rationale Punkte über perfekten Körpern beschränkt.

Eine wesentliche offene Frage betrifft die Beziehung zwischen diesen endlichen formalen Modellen und den Invarianten der zugrunde liegenden Singularität. Insbesondere ist unklar, wie die formalen Modelle allgemeiner Bögen (die beliebige Residuenfelder besitzen) mit dem formalen Modell des generischen Bogens $\alpha_\nu$ einer maximalen divisorialen Menge zusammenhängen. Des Weiteren bedarf das Verhalten der Einbettungscodimension $ecodim(\mathcal{O}_{X_\infty, \alpha})$ über irreduzible Teilmengen des Bogenraums Klärung, insbesondere hinsichtlich ihrer Konstanz und ihres Zusammenhangs mit der Glattheit von $X$.

Methodik
Die Arbeit verfolgt eine Strategie zur Verallgemeinerung des DGK-Theorems auf Bögen mit beliebigen Residuenfeldern, wodurch die explizite Konstruktion von Koeffizientenkörpern vermieden wird, die oft eine Verallgemeinerung behindern.

1. Verallgemeinerung des DGK-Theorems: Der Autor erweitert den Beweis von Drinfeld [14] auf Bögen $\beta \in X_\infty \setminus (\text{Sing } X)_\infty$ mit beliebigen Residuenfeldern. Der Beweis folgt dem deformationstheoretischen Ansatz von Drinfeld:

   • Reduktion auf vollständige Durchschnitte: Das Problem wird auf den Fall reduziert, in dem $X$ ein vollständiger Schnitt ist, mittels eines Argumentes über eine offene Umgebung unter Verwendung der Jacobi-Minor.
   • Schema der formalen Modelle: Ein Schema $Z$ endlichen Typs wird konstruiert, um die „endlichen formalen Modelle“ zu parametrisieren. Dies beinhaltet die Definition eines Schemas $W$ von Polynomen und das Aufbringen von Bedingungen, die aus den Weierstrassschen Präparations- und Divisions-Theoremen abgeleitet sind.
   • Deformationsbijektion: Eine natürliche Bijektion wird zwischen den Funktoren der Deformationen des Bogenraums bei $\alpha$ und dem Schema $Z \times \mathbb{A}^\infty$ am Bildpunkt $\mu(\alpha)$ hergestellt.
   • Residuenfeld-Erweiterungen: Um nicht-$k$-rationale Bögen zu behandeln, nutzt der Autor Ergebnisse aus [12] bezüglich endlicher separabler Erweiterungen von Residuenfeldern, die durch lineare Projektionen induziert werden. Dies ermöglicht die Konstruktion eines Isomorphismus zwischen formalen Umgebungen bis hin zu einer endlichen separablen Erweiterung der Koeffizientenkörper, ohne den Koeffizientenkörper selbst explizit konstruieren zu müssen.

2. Analyse der Einbettungscodimension: Die Arbeit definiert die Einbettungscodimension für nicht-noethersche Ringe (speziell quasi-adische Ringe in der Kategorie der Pro-Objekte) und untersucht deren Verhalten.

   • Obere Halbstetigkeit: Es wird gezeigt, dass die Einbettungscodimension für Schemata endlichen Typs im Allgemeinen nicht obere halbstetig ist, aber auf einer nichtleeren offenen Teilmenge jeder irreduziblen abgeschlossenen Teilmenge, die nicht in der Singularitätsmenge enthalten ist, konstant wird.
   • Anwendung auf maximale divisoriale Mengen: Das verallgemeinerte DGK-Theorem wird auf maximale divisoriale Mengen $C_\nu(X)$ angewendet, um die Einbettungscodimension allgemeiner Bögen in $C_\nu(X)$ mit derjenigen des generischen Bogens $\alpha_\nu$ in Beziehung zu setzen.

3. Charakterisierung der Glattheit: Die Arbeit erweitert ein Theorem von Bourqui und Sebag [6], welches Bögen mit Einbettungscodimension 0 charakterisiert. Durch Kombination der Konstanz der Einbettungscodimension mit der Existenz von rationalen Punkten (garantiert durch die Überabzählbarkeit des Körpers oder die Stabilität des Bogens) setzt der Autor das Verschwinden der Einbettungscodimension mit der Glattheit der Basivarietät in Beziehung.

Wesentliche Beiträge und Resultate

• Theorem A (Verallgemeinertes DGK-Theorem): Für ein Schema $X$, das lokal endlichen Typs über einem perfekten Körper $k$ liegt, und einen Bogen $\beta \notin (\text{Sing } X)_\infty$, existiert eine lokal abgeschlossene Untervarietät $V$, die $\beta$ enthält, ein Schema endlichen Typs $Z$ und eine Morphismus $\mu: V \to Z \times \mathbb{A}^N$, so dass für jeden $\alpha \in V$ die formale Umgebung $(X_\infty, \alpha)$ bis hin zu einer endlichen separablen Erweiterung der Koeffizientenfelder isomorph zu $(Z \times \mathbb{A}^N, \mu(\alpha))$ ist. Dies stellt das ursprüngliche DGK-Theorem für $k$-rationale Punkte vollständig wieder her.
• Theorem B (Konstanz der Einbettungscodimension): Für jede irreduzible abgeschlossene Teilmenge $W \subset X_\infty$, die nicht in $(\text{Sing } X)_\infty$ enthalten ist, ist die Funktion $\alpha \mapsto ecodim(\mathcal{O}_{X_\infty, \alpha})$ endlich und konstant auf einer nichtleeren offenen Teilmenge von $W$. Folglich entspricht die Einbettungscodimension eines endlichen formalen Modells eines allgemeinen $k$-rationalen Bogens in $C_\nu(X)$ derjenigen des lokalen Rings am maximalen divisorialen Bogen $\alpha_\nu$.
• Theorem C (Charakterisierung der Glattheit): Sei $k$ ein perfekter Körper, $X$ eine Varietät und $\alpha \in X_\infty$. Unter der Annahme, dass entweder $k$ überabzählbar ist oder $\alpha$ stabil ist, gilt: Wenn $X$ geometrisch unibranch an $\alpha(0)$ ist, dann ist $ecodim(\mathcal{O}_{X_\infty, \alpha}) = 0$ genau dann, wenn $X$ in $\alpha(0)$ glatt ist. Dies generalisiert das Resultat von Bourqui und Sebag auf nicht-$k$-rationale Bögen unter spezifischen Bedingungen.

Bedeutung und Einschränkungen
Die Arbeit liefert einen rigorosen Rahmen für die Untersuchung der lokalen Geometrie von Bogenräumen an Punkten mit beliebigen Residuenfeldern und entfernt die Beschränkung auf $k$-rationale Punkte, die vorangegangene Arbeiten charakterisierte. Durch den Nachweis der Konstanz der Einbettungscodimension auf maximalen divisorialen Mengen bietet sie einen Schritt zum Verständnis der präzisen Beziehung zwischen endlichen formalen Modellen und Singularitätsinvarianten (wie etwa Mather-Diskrepanzen).

Der Autor stellt jedoch explizit fest, dass die Beziehung zwischen den formalen Modellen allgemeiner Bögen und dem generischen Bogen subtil bleibt. Während die Einbettungscodimension konstant ist, können sich die Dimension und die Einbettungsdimension der minimalen formalen Modelle zwischen allgemeinen Bögen und dem generischen Bogen unterscheiden (wie bereits bei Kurven beobachtet). Die Arbeit wirft die Frage 3.18 auf: Ob die Einbettungsdimension des minimalen formalen Modells eines allgemeinen $k$-rationalen Bogens in $C_\nu(X)$ derjenigen des minimalen formalen Modells des generischen Bogens $\alpha_\nu$ entspricht. Der Autor deutet an, dass, obwohl Theorem A die notwendigen Werkzeuge liefert, eine präzise Antwort noch nicht offensichtlich ist.

Darüber hinaus setzt sich die Arbeit mit Regueras Frage 2.10 bezüglich der Regularität des lokalen Rings an einem stabilen Bogen auseinander. Theorem 3.23 liefert eine positive Antwort unter der stärkeren Annahme, dass $X$ geometrisch unibranch ist. Die Arbeit zeigt mittels Proposition 3.24, dass wenn $X$ lediglich unibranch (aber nicht geometrisch unibranch) ist, der lokale Ring $\mathcal{O}_{X_\infty, \alpha}$ eine Einbettungscodimension von 0 haben kann, ohne regulär (oder gar reduziert) zu sein, was darauf hindeutet, dass Regueras ursprüngliche Frage für den Fall multipler geometrischer Zweige offen bleibt.