🔢 mathematics

Proof of Miyanishi's conjecture on endomorphisms of varieties

Der Artikel beweist die Vermutung von Miyanishi, indem er zeigt, dass jeder birationale Endomorphismus einer quasiprojektiven Varietät, der außerhalb einer abgeschlossenen Teilmenge der Kodimension mindestens 2 injektiv ist, bereits ein Automorphismus ist.

Ursprüngliche Autoren: Supravat Sarkar

Veröffentlicht 2026-02-19

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Supravat Sarkar

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Das große Puzzle: Wenn man ein Bild fast perfekt neu malt

Stell dir vor, du hast eine komplexe Landkarte (in der Mathematik nennt man das eine „Varietät" oder „Vielfalt"). Diese Karte zeigt eine Landschaft mit Bergen, Tälern und Flüssen. Jetzt stell dir einen Künstler vor, der diese Karte neu zeichnet. Er versucht, jeden Punkt der alten Karte auf einen Punkt der neuen Karte zu übertragen.

Die Regel des Künstlers:
Der Künstler verspricht dir Folgendes: „Ich habe fast überall die Punkte 1-zu-1 übernommen. Es gibt nur eine winzige, winzige Stelle auf der Karte (kleiner als ein Punkt, fast unsichtbar), an der ich vielleicht etwas durcheinandergebracht habe. Aber überall sonst ist die Zuordnung perfekt: Wenn ich zwei verschiedene Punkte auf der alten Karte nehme, landen sie auch auf zwei verschiedenen Punkten auf der neuen Karte."

Die alte Frage:
Früher dachten Mathematiker: „Wenn der Künstler fast überall perfekt arbeitet, dann hat er die ganze Karte perfekt neu gezeichnet. Er hat nichts verloren und nichts verdoppelt."
Aber es gab ein Problem: Es gab Fälle, in denen der Künstler zwar fast überall perfekt war, aber an der „winzigen Stelle" etwas Verstecktes passiert war, das die ganze Karte unbrauchbar machte. Man brauchte also eine strengere Regel.

Die Vermutung von Miyanishi (das Rätsel):
Ein Mathematiker namens Miyanishi stellte eine mutige Behauptung auf:
„Wenn die Stelle, an der der Künstler Fehler macht, zweidimensional klein ist (also wie ein winziger Punkt in einer 3D-Landschaft oder ein winziger Fleck auf einer 2D-Karte), dann ist die neue Karte tatsächlich perfekt. Der Künstler hat die Karte nicht nur neu gezeichnet, sondern er hat sie exakt so erhalten, wie sie war. Er ist ein Meister, kein Betrüger."

Bislang konnten Mathematiker diese Regel nur für bestimmte, einfache Karten beweisen. Für komplizierte, krumme oder unvollständige Karten war es ein offenes Rätsel.

Die Lösung von Supravat Sarkar

Supravat Sarkar hat nun bewiesen, dass Miyanishi recht hatte – für alle Arten von Karten, egal wie kompliziert sie sind.

Hier ist, wie er es gemacht hat, mit ein paar einfachen Bildern:

1. Der Zähler der „Löcher" (Die Klassengruppe)

Stell dir vor, deine Landkarte hat bestimmte „Löcher" oder „Schleifen", die man nicht einfach wegdehnen kann. In der Mathematik zählt man diese mit einem Werkzeug namens „Klassengruppe".
Sarkar hat zuerst gezeigt: Wenn man eine solche Karte über einem „endlichen" Feld (einem begrenzten Universum) betrachtet, dann ist die Anzahl dieser möglichen „Löcher" oder „Schleifen" endlich. Es gibt nicht unendlich viele verschiedene Arten, die Karte zu verzerren. Das ist wie zu sagen: „Es gibt nur eine endliche Anzahl von möglichen Fehlern, die man in diesem System machen kann."

2. Der Vergleich der Verwerfungen

Dann verglich er die alte Karte mit der neuen.

Wenn der Künstler die Karte neu zeichnet und dabei nicht perfekt ist (also wenn er die Karte „aufschneidet" oder „verklebt"), dann muss sich die Anzahl der „Löcher" oder „Schleifen" ändern.
Sarkar bewies: Wenn der Künstler einen Fehler macht (die Karte ist nicht perfekt), dann muss sich die Struktur der „Löcher" verändern. Die neue Karte würde eine andere Anzahl an „Schleifen" haben als die alte.

3. Der entscheidende Trick

Aber hier kommt die Magie ins Spiel:

Der Künstler hat versprochen, dass er fast überall perfekt arbeitet.
Die „Fehlerstelle" ist so winzig (Codimension ≥ 2), dass sie die großen „Schleifen" oder „Löcher" der Karte gar nicht berühren kann.
Da die Fehlerstelle zu klein ist, um die Struktur der „Löcher" zu verändern, muss die Anzahl der „Schleifen" auf der neuen Karte genau gleich sein wie auf der alten.
Da die Anzahl der „Schleifen" gleich ist, aber ein Fehler (eine Verwerfung) die Anzahl ändern müsste, folgt daraus logisch: Es kann keinen Fehler geben.

Der Künstler hat also gar nicht „durcheinandergebracht". Die Karte ist perfekt.

Was bedeutet das für uns?

In der Mathematik ist das ein riesiger Schritt.

Vorher: Man wusste nur, dass die Regel für einfache, glatte Karten gilt.
Jetzt: Wir wissen, dass die Regel universell gilt. Wenn du eine mathematische Abbildung hast, die fast überall perfekt ist und nur an winzigen, fast unsichtbaren Stellen „zögert", dann ist sie automatisch perfekt.

Die Metapher:
Stell dir vor, du hast einen Spiegel, der fast überall perfekt ist. An einer Stelle ist er nur so klein beschädigt, dass man es kaum sieht. Sarkar hat bewiesen: Wenn der Spiegel an dieser winzigen Stelle nicht „kaputt" ist (im Sinne von, dass er das Bild nicht verdoppelt oder verzerrt), dann ist der Spiegel ganz. Es gibt keine versteckten Risse, die das Bild zerstören.

Zusammenfassung in einem Satz

Sarkar hat bewiesen, dass in der Welt der mathematischen Formen, wenn eine Transformation fast überall perfekt ist und die „Fehlerzone" winzig genug ist, dann ist die Transformation immer perfekt – egal wie kompliziert die Form ist. Er hat damit ein jahrzehntealtes Rätsel gelöst und gezeigt, dass die Mathematik hier eine sehr strenge, aber faire Logik hat: Winzige Fehler können keine großen Illusionen erzeugen.

Titel: Beweis der Vermutung von Miyanishi über Endomorphismen von Varietäten

Autor: Supravat Sarkar
Kontext: Das Papier adressiert ein langjähriges Problem in der algebraischen Geometrie, das die Struktur von Endomorphismen auf algebraischen Varietäten betrifft.

1. Problemstellung und Hintergrund

Die Untersuchung von Endomorphismen algebraischer Varietäten ist ein fruchtbares Forschungsgebiet. Während für normale projektive Varietäten starke Einschränkungen bezüglich Singularitäten und globaler Geometrie bekannt sind, ist die Situation für nicht-vollständige (nicht-kompakte) Varietäten weniger gut verstanden.

Bekannte Ergebnisse:
- Ax (1968) bewies, dass jeder injektive Endomorphismus einer reduzierten, separierten Schemata endlichen Typs über einem Körper $k$ bijektiv ist.
- Nowak (1994) zeigte für $k = \mathbb{C}$ und Charakteristik 0, dass jeder bijektive Endomorphismus ein Automorphismus ist.
Die offene Frage: Kann die globale Injektivitätsannahme abgeschwächt werden?
- Es ist bekannt, dass Injektivität nur auf einer dichten offenen Menge nicht ausreicht (Beispiel: $\phi(x, y) = (x, xy)$ auf $\mathbb{A}^2$ ).
- Miyanishis Vermutung (1990er): Wenn ein Endomorphismus $\phi: X \to X$ einer komplexen Varietät $X$ injektiv ist außerhalb einer abgeschlossenen Teilmenge mit Kodimension $\ge 2$ , dann ist $\phi$ ein Isomorphismus.

Bisher war die Vermutung nur für spezielle Fälle bewiesen (z. B. wenn $X$ affin, vollständig, $\mathbb{Q}$ -faktoriell oder normalisiert ist). Der allgemeine Fall für beliebige quasi-projektive Varietäten über beliebigen Körpern blieb offen.

2. Hauptergebnis (Theorem A)

Das Papier beweist die Vermutung von Miyanishi in ihrer allgemeinsten Form:

Theorem A: Sei $X$ eine quasi-projektive Varietät über einem beliebigen Körper $k$ und $\phi: X \to X$ ein birationaler Morphismus, der injektiv ist außerhalb einer abgeschlossenen Teilmenge mit Kodimension $\ge 2$ in $X$ . Dann ist $\phi$ ein Isomorphismus.

Charakteristik-Hinweis: In Charakteristik 0 folgt die Birationalität von $\phi$ automatisch aus der Injektivität. In positiver Charakteristik ist die Birationalität jedoch eine notwendige Zusatzannahme (wie das Beispiel der Frobenius-Abbildung auf $\mathbb{P}^n$ zeigt).

3. Methodik und Schlüsselbeweisschritte

Der Beweis stützt sich auf zwei zentrale Lemmata, die unabhängig von Interesse sind, sowie auf eine Reduktion auf endlich erzeugte Körper.

Schritt 1: Reduktion auf endlich erzeugte Körper

Da $X$ und $\phi$ durch endlich viele Gleichungen definiert sind, existiert ein endlich erzeugter Unterkörper $K \subset k$ , über dem alle Daten definiert sind. Man kann also o.B.d.A. annehmen, dass $k$ selbst endlich erzeugt ist.

Schritt 2: Endlichkeitsresultat für Klassengruppen (Lemma 2.1)

Dieses Lemma behandelt die Struktur der Klassengruppe $\text{Cl}(X)$ (Gruppe der Weil-Divisoren modulo rationaler Äquivalenz).

Aussage: Für eine Varietät über einem endlich erzeugten Körper ist der $\mathbb{Q}$ -Vektorraum $\text{Cl}(X) \otimes \mathbb{Q}$ endlich dimensional.
Beweisidee: Durch Excision und Normalisierung wird $X$ auf eine normale projektive Varietät zurückgeführt. Die Endlichkeitsgeneriertheit folgt aus dem Satz von Néron (Verallgemeinerung des Mordell-Weil-Theorems) und der Tatsache, dass für endliche Körpererweiterungen die Klassengruppe endlich erzeugt ist.

Schritt 3: Vergleich der Quotientenräume (Lemma 2.2)

Dies ist der Kern des Arguments. Es vergleicht die "Größe" der Divisorenklassengruppen von $X$ und $Y$ (wobei $Y$ hier mit $X$ identifiziert wird, aber der Morphismus $\phi: Y \to X$ betrachtet wird).

Voraussetzung: $\phi: Y \to X$ ist ein birationaler Morphismus normaler quasi-projektiver Varietäten mit $\text{codim}(\text{Ex}(\phi)) \ge 2$ . Zudem wird angenommen, dass $\dim(\text{Cl}(X)/\text{Pic}(X) \otimes \mathbb{Q}) < \infty$ .
Aussage: Wenn $\phi$ keine offene Einbettung ist, dann gilt:
$\dim \frac{\text{Cl}(Y)}{\text{Pic}(Y)} \otimes \mathbb{Q} < \dim \frac{\text{Cl}(X)}{\text{Pic}(X)} \otimes \mathbb{Q}$
Beweisidee:
1. Da $\phi$ nicht offen ist, ist die Ausnahme-Menge $E = \text{Ex}(\phi)$ nicht leer.
2. Nach dem Hauptsatz von Zariski ist $\phi|_E$ nicht quasi-endlich; es existieren also zwei verschiedene Punkte $x, y \in E$ mit $\phi(x) = \phi(y)$ .
3. Da $X$ quasi-projektiv ist, existiert ein effektiver Cartier-Divisor $H$ , der $x$ enthält, aber $y$ nicht.
4. Durch Konstruktion eines Weil-Divisors $G$ auf $X$ (basierend auf dem Abschluss von $\phi(H \setminus E)$ ) zeigt man, dass die Klasse von $G$ im Quotientenraum $\text{Cl}(X)/\text{Pic}(X)$ nicht null ist, aber unter dem induzierten Abbildung $\phi^*$ auf Null abgebildet wird.
5. Dies impliziert, dass der Kern der Abbildung zwischen den Quotientenräumen nicht trivial ist, was die Dimensionsungleichung erzwingt.

Schritt 4: Abschluss des Beweises

Aus Lemma 2.1 folgt, dass die Dimension des Quotientenraums für $X$ endlich ist.
Angenommen, $\phi$ ist kein Isomorphismus. Da $\phi$ injektiv außerhalb einer Menge der Kodimension $\ge 2$ ist, ist $\phi$ nach dem Hauptsatz von Zariski eine offene Einbettung.
Wenn $\phi$ eine offene Einbettung ist, aber kein Isomorphismus (also nicht surjektiv), müsste Lemma 2.2 anwendbar sein (da $\phi$ dann keine offene Einbettung im strengen Sinne wäre, wenn man die Nicht-Surjektivität betrachtet, oder man nutzt die Dimensionsabsenkung iterativ).
Der entscheidende Punkt: Wenn $\phi$ nicht surjektiv wäre, könnte man die Dimensionsabsenkung aus Lemma 2.2 iterieren. Da die Dimension jedoch endlich ist, führt dies zu einem Widerspruch, es sei denn, $\phi$ ist bereits eine offene Einbettung.
Da $\phi$ nach Ax' Theorem (injektiv $\implies$ bijektiv für endliche Typ-Schemata) surjektiv ist, folgt aus der offenen Einbettung und Surjektivität, dass $\phi$ ein Isomorphismus ist.

4. Wichtige Beiträge und Verallgemeinerungen

Allgemeingültigkeit: Der Beweis gilt für alle quasi-projektiven Varietäten über beliebigen Körpern (nicht nur $\mathbb{C}$ oder Charakteristik 0).
Schwächung der Annahmen: Die Annahme der globalen Injektivität wird auf Injektivität außerhalb einer Menge der Kodimension $\ge 2$ reduziert.
Neues technisches Werkzeug: Das Lemma 2.2 über die Dimensionsabsenkung der Divisorenklassengruppe bei birationalen Abbildungen mit Ausnahme-Mengen hoher Kodimension ist ein eigenständiges, wichtiges Resultat für die Theorie der Divisoren und birationalen Geometrie.
Korrektur früherer Versuche: Der Autor merkt an, dass frühere Versuche, die auf Arbeiten von [10] basierten, zusätzliche, nicht immer gültige Annahmen benötigten. Der vorliegende Beweis umgeht diese Probleme durch die Nutzung von Klassengruppen-Argumenten.

5. Bedeutung und Ausblick

Lösung einer offenen Vermutung: Das Papier schließt eine Lücke in der algebraischen Geometrie, die seit Jahrzehnten bestand, und bestätigt die Vermutung von Miyanishi in ihrer vollen Allgemeinheit.
Verbindung von Injektivität und Isomorphie: Es unterstreicht die starke Verbindung zwischen lokalen Injektivitätseigenschaften (außerhalb kleiner Mengen) und globalen Isomorphie-Eigenschaften in der Kategorie der algebraischen Varietäten.
Methodischer Einfluss: Die Verwendung von Finitätsresultaten für Klassengruppen über endlich erzeugten Körpern als Hauptwerkzeug bietet einen neuen Ansatz für Probleme, die die Struktur von Endomorphismen betreffen.

Zusammenfassend liefert Sarkar einen eleganten und rigorosen Beweis, der tiefe Ergebnisse aus der arithmetischen Geometrie (Néron, Mordell-Weil) mit klassischer birationaler Geometrie (Zariskis Haupttheorem) verbindet, um ein fundamentales Problem der algebraischen Geometrie zu lösen.