The EKOR-stratification on the Siegel modular variety with parahoric level structure

Die Arbeit untersucht die arithmetische Geometrie der Siegel'schen Modulvarietät mit parahorischer Level-Struktur modulo $p$ und realisiert deren EKOR-Stratifizierung als Fasern eines glatten Morphismus in einen algebraischen Stack, der homogen polarisierte Ketten bestimmter abgeschnittener Displays parametrisiert.

Das Wesentliche

Die Karte der unsichtbaren Inseln: Eine Reise durch die Welt der Modulräume

Stellen Sie sich vor, Sie sind ein Kartograf, der eine riesige, mysteriöse Landschaft vermessen soll. Diese Landschaft ist kein Wald oder Ozean, sondern ein mathematischer Raum, der sogenannte Siegel-Modulraum.

In dieser Landschaft leben unzählige mathematische Objekte, die wir uns wie perfekte Gärten vorstellen können. Jeder Garten ist eine spezielle Art von geometrischem Objekt (eine abelsche Varietät), und sie sind alle miteinander verbunden durch unsichtbare Pfade (Isogenien).

Das Problem: Der Nebel am Morgen

Normalerweise sind diese Gärten schön und glatt. Aber wenn man sie unter einem bestimmten Mikroskop betrachtet – nämlich wenn man sie "modulo $p$" betrachtet, also gewissermaßen den Boden unter ihnen wegwäscht – passiert etwas Seltsames. Die Gärten werden zerklüftet und rauh. Sie haben Risse, Ecken und sind nicht mehr glatt.

Mathematiker nennen diese rauen Stellen singulär. Um diese Landschaft zu verstehen, müssen wir sie in verschiedene Zonen unterteilen. Man könnte sagen, wir wollen wissen: "Welcher Garten gehört zu welcher Art von Rauheit?"

Bisher gab es zwei Arten, diese Zonen zu beschreiben:

1. Die grobe Karte (KR-Stratifizierung): Sie zeigt die großen Landmassen, aber sie ist nicht fein genug.
2. Die feine Karte (EKOR-Stratifizierung): Diese ist sehr detailliert. Sie teilt die Gärten basierend auf ihrer "inneren Struktur" (ihren $p$-Torsionsgruppen) auf. Zwei Gärten liegen in derselben feinen Zone, wenn ihre inneren Bausteine exakt gleich aussehen.

Das Problem war: Bisher kannten wir diese feine Karte nur als eine Liste von Punkten. Wir wussten nicht, warum die Gärten in diesen Zonen so glatt sind oder wie man von einer Zone zur anderen reist. Es fehlte eine Brücke, die uns erklärt, wie diese Zonen entstehen.

Die Lösung: Ein neuer Kompass (Displays)

Manuel Hoff hat in dieser Arbeit einen neuen Kompass erfunden, um diese feine Karte zu zeichnen. Er nennt ihn "Displays" (eine Art von mathematischem Bauplan, der wie ein vereinfachter Motor für diese Gärten funktioniert).

Stellen Sie sich vor, jeder Garten hat einen Motor.

• In der normalen Welt (charakteristik 0) ist dieser Motor komplex und schwer zu verstehen.
• In der rauen Welt (charakteristik $p$) kann man den Motor zerlegen. Hoff zeigt uns, dass man diese Motoren in Ketten von Bausteinen zerlegen kann.

Er definiert eine neue Art von Objekt: eine homogen polarisierte Kette von Displays.

• Kette: Die Gärten sind nicht isoliert; sie hängen wie Perlen an einer Schnur zusammen.
• Polarisiert: Die Perlen haben eine spezielle Symmetrie (wie ein Spiegelbild).
• Homogen: Alle Perlen sind vom gleichen Typ, nur leicht verschoben.

Die große Entdeckung: Der glatte Fluss

Der Kern der Arbeit ist ein genialer Trick. Hoff baut eine Brücke (eine mathematische Abbildung) von unserer rauen Landschaft (dem Modulraum) zu einem neuen, sehr sauberen Ort: einem Stack von Ketten.

Stellen Sie sich vor:

• Die Landschaft ist ein wilder, zerklüfteter Berg.
• Der Stack der Ketten ist ein riesiger, glatter See.

Hoff beweist, dass man von jedem Punkt im zerklüfteten Berg einen perfekt glatten Fluss in den See bauen kann.
Das ist das Überraschende: Der Berg ist kaputt (singulär), aber der Weg, den man nimmt, ist absolut glatt und fließt ohne Hindernisse.

Warum ist das wichtig?
Weil die "Zonen" (die EKOR-Strata) genau die Tümpel sind, die entstehen, wenn man diesen glatten Fluss betrachtet.

• Wenn man den Fluss aufnimmt, sieht man, dass er in verschiedene Becken fließt.
• Jedes Becken entspricht genau einer dieser feinen Zonen.
• Da der Fluss selbst glatt ist, wissen wir sofort: Alle diese Becken sind auch glatt!

Das ist wie wenn man sagt: "Ich weiß nicht, wie die Höhle aussieht, aber ich weiß, dass das Wasser, das hineinfließt, absolut glatt ist. Also muss der Boden der Höhle, den das Wasser berührt, auch glatt sein."

Die Analogie: Der Fotograf und der Filter

Man kann es sich auch wie einen Fotografen vorstellen:

1. Der Fotograf hat eine Kamera, die ein sehr verrausktes, unscharfes Bild der Gärten macht (der Modulraum).
2. Hoff entwickelt einen neuen Filter (den Stack der Displays).
3. Wenn man das Bild durch diesen Filter schaut, wird das Rauschen entfernt und man sieht eine klare, strukturierte Darstellung.
4. Die verschiedenen Bereiche des Bildes, die durch den Filter klar werden, entsprechen genau den Zonen, die wir suchen.
5. Der Beweis, dass der Filter "glatt" ist, bedeutet, dass die Struktur hinter dem Rauschen mathematisch perfekt in Ordnung ist.

Fazit: Was haben wir gewonnen?

Manuel Hoff hat gezeigt, dass diese komplizierte, rauen mathematische Landschaft nicht chaotisch ist. Sie lässt sich durch eine glatte, elegante Maschine (die Ketten von Displays) beschreiben.

• Für Mathematiker: Das ist ein mächtiges Werkzeug. Es beweist, dass die feinen Zonen (EKOR-Strata) glatt sind und wie sie zusammenhängen. Es ist wie ein neues Werkzeug, um die Geometrie dieser Räume zu "hacken" und tiefer zu verstehen.
• Für uns: Es zeigt, dass selbst in den chaotischsten, "zerbrochenen" mathematischen Welten eine tiefe, glatte Ordnung verborgen liegt, die man mit dem richtigen Kompass (den Displays) finden kann.

Die Arbeit ist also im Grunde die Entdeckung eines neuen Navigationssystems, das uns erlaubt, durch die rauen Gebiete der modernen Geometrie sicher und glatt zu reisen.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Artikels „The EKOR stratification on the Siegel modular variety with parahoric level structure" von Manuel Hoff in deutscher Sprache.

1. Problemstellung und Motivation

Das zentrale Objekt der Untersuchung ist die Siegel-Modulvarietät $A_{g,J,N}$ mit parahorischer Level-Struktur über dem Ring der $p$-adischen ganzen Zahlen $\mathbb{Z}_p$. Diese Varietät parametrisiert polarisierte Ketten von $g$-dimensionalen abelschen Varietäten mit einer vollen Level-$N$-Struktur ($N \ge 3, p \nmid N$), wobei die Level-Struktur durch eine nicht-leere Teilmenge $J \subseteq \mathbb{Z}$ (mit $J+2g\mathbb{Z}=J$ und $-J=J$) bestimmt wird, die eine Kette von Gittern in einem symplektischen Vektorraum definiert.

Das Hauptproblem:
Während die generische Faser von $A_{g,J,N}$ glatt ist, ist die spezielle Faser über $\mathbb{F}_p$ typischerweise singulär. Dies hängt mit der Tatsache zusammen, dass die $p$-Torsion abelscher Varietäten in Charakteristik $p$ nicht étale ist. Um die Geometrie dieser speziellen Faser zu verstehen, wurden verschiedene Stratifikationen eingeführt:

• Die Kottwitz-Rapoport (KR)-Stratifikation, definiert durch die Fasern einer Abbildung in einen lokalen Modell-Raum.
• Die Ekedahl-Kottwitz-Oort-Rapoport (EKOR)-Stratifikation, die feiner ist und die Isomorphieklassen der $p$-Torsions-Gruppenschemata (bzw. der zugehörigen Displays) kodiert.

In der hyperspeziellen Situation ($J = 2g\mathbb{Z}$) ist die EKOR-Stratifikation bekannt als Ekedahl-Oort (EO)-Stratifikation. Hier wurde gezeigt (u.a. von Viehmann und Wedhorn), dass diese Stratifikation als Fasern einer glatten Morphismus in einen algebraischen Stack von F-Zips (bzw. F-Zips mit symplektischer Struktur) realisiert werden kann.

Die offene Frage:
Kann für allgemeine parahorische Level-Strukturen (also für beliebige $J$) die EKOR-Stratifikation ebenfalls als Fasern eines glatten Morphismus in einen natürlich definierten algebraischen Stack realisiert werden? Bisherige Ansätze (z.B. von Shen, Yu und Zhang) lieferten glatte Morphismen nur von einzelnen KR-Streifen in Stacks von „group-theoretic zips", aber nicht global über die gesamte Modulvarietät, oder sie erforderten Perfektionierung (Xiao/Zhu), was die Anwendung auf nicht-perfekte Ringe einschränkt.

2. Methodik und theoretischer Rahmen

Hoff entwickelt eine neue Theorie, die auf Displays (im Sinne von Zink) und deren trunkierten Versionen basiert, um die EKOR-Stratifikation global zu beschreiben.

2.1. Displays und Paare

Der Autor führt den Begriff des Displays über einem $p$-nilpotenten Ring $R$ ein. Ein Display vom Typ $(h,d)$ ist ein Tupel $(M, M_1, \Psi)$, wobei:

• $M$ ein endlich projektiver $W(R)$-Modul vom Rang $h$ ist.
• $M_1 \subseteq M$ ein Untermodul ist, der $I_R M$ enthält und $M_1/I_R M$ ein direkter Summand vom Rang $d$ in $M/I_R M$ ist.
• $\Psi: \tilde{M}_1 \to M$ ein Isomorphismus ist, der als geteilter Frobenius (divided Frobenius) bezeichnet wird. Hier ist $\tilde{M}_1$ ein spezieller Modul, der aus der Normalzerlegung von $(M, M_1)$ konstruiert wird.

Ein zentrales technisches Werkzeug ist die Definition von $(m,n)$-trunkierten Displays. Diese verwenden $m$-trunkierte Witt-Vektoren $W_m(R)$ und berücksichtigen, wie stark der Frobenius und der Modul selbst „trunkiert" sind. Dies unterscheidet sich von früheren Definitionen (z.B. Lau/Zink) und ist entscheidend für die Behandlung der parahorischen Situation.

2.2. Ketten und Polarisation

Da die Siegel-Modulvarietät Ketten von abelschen Varietäten parametrisiert, definiert Hoff Ketten von Displays (chains of displays). Dies sind Diagramme von Displays, die durch Isogenien $\rho_{i,j}$ und Perioden-Isomorphismen $\theta_i$ verbunden sind.
Für die symplektische Struktur werden homogen polarisierte Ketten von Displays eingeführt. Dies beinhaltet eine antisymmetrische Isomorphie $\lambda_i$ zwischen einem Display und dem Tensorprodukt seines Dualen mit einem invertierbaren Modul $I$.

2.3. Der algebraische Stack

Der Kern der Konstruktion ist der Stack $HPolChDisp^{(m,n)}_{g,J}$, der die $(m,n)$-trunkierten homogen polarisierten Ketten von Displays parametrisiert.
Hoff zeigt, dass dieser Stack eine Quotienten-Stack-Beschreibung besitzt:
$$HPolChDisp^{(m,n)}_{g,J} \cong \left[ (L^{(m)}G)^\Delta \backslash M_{loc}^{(n)} \right]$$
Dabei ist:

• $L^{(m)}G$ die $m$-trunkierte positive Schleifen-Gruppe (positive loop group) der parahorischen Gruppe $G$.
• $M_{loc}$ das lokale Modell (local model) der Siegel-Modulvarietät.
• $M_{loc}^{(n)}$ ein spezielles $L^{(n)}G$-Torsor über dem lokalen Modell.

Dieser Stack ist im Wesentlichen eine „De-Perfektionierung" (deperfection) der Stacks von lokalen Shtukas, die in der Literatur (z.B. Xiao/Zhu, Shen/Yu/Zhang) für perfekte Ringe definiert wurden.

3. Schlüsselbeiträge und Ergebnisse

3.1. Konstruktion des Morphismus

Der Autor konstruiert einen natürlichen Morphismus:
$$\Upsilon: A_{g,J,N}^\wedge \longrightarrow HPolChDisp_{g,J}$$
wobei $A_{g,J,N}^\wedge$ die $p$-Vervollständigung der Siegel-Modulvarietät ist. Dieser Morphismus wird durch die Zuordnung einer polarisierten Kette abelscher Varietäten zu ihrer Kette von $p$-divisiblen Gruppen und anschließend mittels der Theorie der Displays (Satz von Lau) zu einer Kette von Displays erhalten.
Für $n = 1\text{-rdt}$ (ein spezieller Wert, der dem reduktiven Quotienten entspricht) faktorisiert dieser Morphismus über die spezielle Faser und realisiert die EKOR-Stratifikation.

3.2. Der Hauptsatz (Glätte)

Das Hauptergebnis des Artikels ist Satz 1.5 (bzw. Theorem 4.10):

Für jedes Tupel ganzer Zahlen $(m,n)$ mit $n \neq 1\text{-rdt}$ ist der natürliche Morphismus $A_{g,J,N}^\wedge \to HPolChDisp^{(m,n)}_{g,J}$ glatt.
Ebenso ist der Morphismus $(A_{g,J,N})_{\mathbb{F}_p} \to HPolChDisp^{(m, 1\text{-rdt})}_{g,J}$ glatt.

Beweisstrategie:

1. Serre-Tate-Theorem: Die Glätte eines Morphismus an einem Punkt hängt nur von der zugehörigen $p$-divisiblen Gruppe ab.
2. Formaler Locus: Der Morphismus ist auf dem Locus der formalen $p$-divisiblen Gruppen (d.h. dort, wo die Displays $F$-nilpotent sind) glatt, da er dort ein Isomorphismus auf einen Stack von $F$-nilpotenten Displays ist.
3. Spezialisierung: Es wird gezeigt, dass jeder Punkt in $|A_{g,J,N}^\wedge|$ eine Spezialisierung zu einem Punkt im formalen Locus zulässt (unter Verwendung von Newton-Polygonen und Isogenien). Da der Morphismus auf dem formalen Locus glatt ist und die Spezialisierungseigenschaft erfüllt ist, folgt die globale Glätte.

3.3. Konsequenzen für die EKOR-Stratifikation

Da der Ziel-Stack $HPolChDisp^{(m, 1\text{-rdt})}_{g,J}$ eine endliche Menge von Punkten über $\mathbb{F}_p$ hat (die den EKOR-Streifen entsprechen) und der Morphismus glatt ist, folgt daraus:

• Die EKOR-Streifen sind glatte, lokal abgeschlossene Unterschemata der speziellen Faser.
• Die Abschlussrelationen zwischen den Streifen lassen sich durch die Geometrie des Ziel-Stacks beschreiben.
• Dies liefert einen neuen, rein geometrischen Beweis für die Eigenschaften der EKOR-Stratifikation, der unabhängig von der Theorie der lokalen Shtukas auf perfekten Ringen ist.

4. Bedeutung und Ausblick

• Lösung eines offenen Problems: Der Artikel beantwortet die Frage, ob die EKOR-Stratifikation für parahorische Level-Strukturen als Fasern eines glatten Morphismus in einen algebraischen Stack realisiert werden kann, bejahend.
• Vermeidung von Perfektionierung: Im Gegensatz zu Arbeiten von Xiao/Zhu oder Shen/Yu/Zhang, die oft Perfektionierung (Perfektionierung der speziellen Faser) benötigen, arbeitet Hoff mit nicht-perfekten Ringen und trunkierten Displays. Dies macht die Ergebnisse für Anwendungen in der arithmetischen Geometrie, die nicht-perfekte Basen betreffen, zugänglicher.
• Verbindung zu lokalen Shtukas: Der Stack der homogen polarisierten Ketten von Displays wird als eine „De-Perfektionierung" des Stacks der parahorischen restringierten lokalen Shtukas identifiziert. Dies klärt die Beziehung zwischen der Theorie der Displays (Zink) und der Theorie der Shtukas (Xiao/Zhu).
• Verallgemeinerung: Der Autor skizziert, wie diese Ergebnisse auf allgemeinere Shimura-Varietäten vom Hodge-Typ mit parahorischer Level-Struktur verallgemeinert werden könnten, indem man Stacks von $(G, \mu)$-Displays definiert.

Zusammenfassend etabliert Manuel Hoff eine robuste, stack-theoretische Beschreibung der EKOR-Stratifikation auf Siegel-Modulvarietäten mit parahorischer Level-Struktur, die die Glätte der Streifen und ihre geometrischen Beziehungen direkt aus der Struktur der Displays ableitet.