🔢 mathematics

Proof of Miyanishi's conjecture on endomorphisms of varieties

De auteurs bewijzen Miyanishi's conjectuur dat een birationele endomorfisme van een kwasi-projectieve variëteit, dat injectief is buiten een gesloten deelverzameling van codimensie ten minste 2, een automorfisme is, door gebruik te maken van een nieuw eindigheidsresultaat over klassegroepen.

Oorspronkelijke auteurs: Supravat Sarkar

Gepubliceerd 2026-02-19

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Supravat Sarkar

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een grote, complexe kaart van een landschap hebt. In de wiskunde noemen we zo'n landschap een "variëteit". Soms willen we deze kaart veranderen, bijvoorbeeld door hem te vouwen, te rekken of te herschikken. Dit noemen we een "endomorfisme".

De vraag die de wiskundige Supravat Sarkar in dit artikel beantwoordt, is heel simpel maar diep: Als je een kaart zo herschikt dat je nergens twee verschillende plekken op elkaar plakt (injectief bent), en je doet dit op bijna de hele kaart, is de herschikking dan een perfecte, omkeerbare transformatie (een automorfisme)?

Hier is de uitleg in alledaags taal, met een paar creatieve vergelijkingen.

1. Het Probleem: De "Grote Gaten" in de Regel

Stel je voor dat je een foto van een landschap hebt. Je mag de foto bewerken, maar er is een belangrijke regel: je mag geen twee verschillende punten op de foto op precies dezelfde plek zetten. Als je dat doet, is de foto niet meer uniek en kun je de originele foto niet meer terugvinden.

Vroeger wisten wiskundigen al: als je een foto overal zo bewerkt dat er geen twee punten op elkaar vallen, dan is het een perfecte bewerking. Je kunt de foto altijd terugdraaien.

Maar wat als je alleen belooft dat je dit doet op bijna de hele foto? Stel je voor dat er een klein, onzichtbaar stofje op de foto zit (een "gesloten deel" met een heel hoge dimensie, ofwel een heel klein puntje of lijntje in een groot landschap). Op dat stofje mag je misschien wel twee punten op elkaar plakken. Is de foto dan nog steeds goed te draaien?

Een wiskundige genaamd Miyanishi dacht van wel. Hij stelde de hypothese: "Als je alleen op die heel kleine, onbelangrijke plekken fouten maakt, is de hele bewerking toch nog steeds perfect en omkeerbaar."

2. Het Voorbeeld dat het niet altijd waar is

Om te begrijpen waarom dit lastig is, kijkt de auteur naar een voorbeeld. Stel je een vlak voor (zoals een vel papier). Je kunt een bewerking doen waarbij je het papier zo vouwt dat het lijkt alsof het nog steeds één vel is, maar in werkelijkheid zijn er plekken waar de vouw "vastzit".
Als je alleen kijkt naar een groot deel van het papier, lijkt alles perfect. Maar als je precies kijkt naar de vouw (de "uitzonderingslocatie"), zie je dat het niet perfect is. Miyanishi's vraag was: wat als die "vouw" zo klein is dat hij nauwelijks zichtbaar is (hoge codimensie)? Is het dan nog steeds goed?

3. De Oplossing: De "Kaart van de Schat"

Sarkar bewijst dat Miyanishi gelijk had. Maar hoe? Hij gebruikt een slimme truc die te vergelijken is met het tellen van schatten in een land.

Stel je voor dat elke vorm in je landschap een bepaalde "waarde" of "schat" heeft. Wiskundigen noemen dit de "class group" (de groep van de schatten).

De kern van het bewijs: Sarkar toont aan dat als je een landschap hebt dat "redelijk" is (een zogenaamde variëteit), het aantal verschillende soorten schatten dat je kunt hebben, beperkt is. Het is niet oneindig.

Hij gebruikt een metafoor van een trechter:

Je hebt een landschap (X) en je verandert het in een nieuw landschap (Y) via je bewerking.
Als je bewerking niet perfect is (dus als je echt iets hebt "vastgeplakt" of veranderd), dan moet er een nieuw soort "schat" ontstaan in het nieuwe landschap dat er in het oude niet was, of andersom.
Maar omdat het aantal mogelijke schatten in dit landschap beperkt is (zoals bewezen in Lemma 2.1), kun je niet oneindig vaak iets veranderen zonder de balans te verstoren.
Als je beweert dat je alleen op heel kleine plekken fouten maakt (codimensie ≥ 2), dan is de "ruimte" voor fouten te klein om een nieuwe, unieke schat te creëren die de balans verandert.
Conclusie: Er is dus geen ruimte voor fouten. De bewerking moet perfect zijn.

4. Waarom is dit belangrijk?

Vroeger wisten wiskundigen dit alleen voor heel specifieke, simpele landen (zoals vlakke vlakken of afgeronde bolvormen). Sarkar heeft bewezen dat dit geldt voor elk landschap dat je kunt tekenen in de wiskunde, ongeacht of het een heel gekke vorm heeft of in een vreemd getalsysteem (een veld met een andere karakteristiek) bestaat.

Het is alsof je een universele wet ontdekt: "Als je een landschap herschikt en je maakt alleen fouten op plekken die zo klein zijn dat ze nauwelijks bestaan, dan heb je in feite niets verandert. Je hebt het landschap gewoon op zijn plek gelaten."

Samenvatting in één zin

De auteur bewijst dat als je een wiskundig landschap herschikt en je doet dit perfect op bijna de hele kaart (alleen op heel kleine, onzichtbare plekken mag het misgaan), dan is die herschikking in feite een perfecte, omkeerbare transformatie; je kunt het landschap altijd terugdraaien naar de originele staat.

Dit lost een oud raadsel op (de conjectuur van Miyanishi) en geeft wiskundigen een krachtig nieuw gereedschap om te begrijpen hoe vormen en ruimtes met elkaar verbonden zijn.

Titel: Bewijs van Miyanishi's Vermoeden over Endomorfismen van Variëteiten

Auteur: Supravat Sarkar
Trefwoorden: Miyanishi-vermoeden, birationale morfismen, automorfismen, class groups, codimensie.

1. Het Probleem en de Achtergrond

De studie van endomorfismen van algebraïsche variëteiten is een vruchtbaar onderzoeksgebied. Voor normale projectieve variëteiten zijn er sterke restricties bekend, maar voor niet-volledige variëteiten is de theorie minder ontwikkeld.

Bestaande resultaten:
- Ax (1968): Elk injectief endomorfisme van een gereduceerd gescheiden schema van eindig type over een veld $k$ is bijectief.
- Nowak: Als $k = \bar{k}$ en $\text{char}(k) = 0$ , is elk bijectief endomorfisme een automorfisme.
De zwakke hypothese: Een natuurlijke vraag is of de globale injectiviteit kan worden verzwakt. Als een endomorfisme $\phi$ slechts injectief is op een dichte open verzameling, is het niet noodzakelijk een automorfisme (bijv. $\phi(x, y) = (x, xy)$ op $\mathbb{A}^2$ ).
Miyanishi's Vermoeden (1990): Als $\phi: X \to X$ $ϕ : X \to X$ injectief is op het complement van een gesloten deelverzameling met codimensie $\geq 2$ $\geq 2$ , dan is $\phi$ $ϕ$ een isomorfisme.
- Dit vermoeden was eerder bewezen voor specifieke gevallen (bijv. $X$ is $\mathbb{Q}$ -factorieel, affijn, of compleet), maar het algemene geval voor quasi-projectieve variëteiten over velden met willekeurige karakteristiek bleef open.

2. Hoofdstelling (Theorem A)

Het paper bewijst het volgende algemene resultaat, dat Miyanishi's vermoeden bevestigt en generaliseert:

Stelling A: Laat $X$ een quasi-projectieve variëteit zijn over een willekeurig veld $k$ , en laat $\phi: X \to X$ een birationeel morfisme zijn dat injectief is buiten een gesloten deelverzameling van codimensie $\geq 2$ in $X$ . Dan is $\phi$ een isomorfisme.

Opmerking over karakteristiek: In karakteristiek 0 volgt de birationaliteit van $\phi$ direct uit de injectiviteit. In positieve karakteristiek is de aanname van birationaliteit noodzakelijk (tegenvoorbeeld: de Frobenius-mapping op $\mathbb{P}^n$ ).

3. Methodologie en Bewijsstrategie

Het bewijs van Stelling A rust op twee fundamentele lemmata die op zichzelf waardevol zijn voor de algebraïsche meetkunde. De strategie combineert eigenschappen van klassegroepen (class groups) met topologische argumenten (Zariski's hoofdstelling).

Stap 1: Reductie tot eindig gegenereerde velden en normaliteit

De variëteit en het morfisme kunnen gedefinieerd worden over een eindig gegenereerd subveld $K \subset k$ . Hierdoor kan men zonder verlies van algemeenheid aannemen dat $k$ eindig gegenereerd is.
Op basis van eerdere resultaten (referentie [8]) kan men aannemen dat $X$ normaal is.

Stap 2: Finitheid van de Klassegroep (Lemma 2.1)

Een cruciale technische stap is het bewijzen van een eindigheidsresultaat voor de klassegroep $Cl(X)$:

Lemma 2.1: Voor een variëteit $X$ $X$ over een eindig gegenereerd veld $k$ $k$ :
1. De $\mathbb{Q}$ -vectorruimte $Cl(X) \otimes \mathbb{Q}$ is eindig dimensionaal.
2. Als $X$ birationeel is aan een geometrisch normale en eigelijke variëteit, dan is $Cl(X)$ een eindig gegenereerde abelse groep.
Bewijsidee: Dit volgt uit excisie-sequenties, het Mordell-Weil-theorema (veralgemeend door Néron), en eigenschappen van basisveranderingen naar een eindige uitbreiding $K/k$ .

Stap 3: Diminutie van de dimensie bij niet-open inbeddingen (Lemma 2.2)

Dit lemma vormt het hart van het bewijs voor de injectiviteit op de klassegroep-niveau:

Stelling: Laat $\phi: Y \to X$ een birationeel morfisme zijn tussen normale quasi-projectieve variëteiten met $Ex(\phi)$ (het uitzonderingsgebied) van codimensie $\geq 2$ . Als $\phi$ geen open inbedding is, dan geldt:
$\dim_{\mathbb{Q}} \left( \frac{Cl(Y)}{Pic(Y)} \otimes \mathbb{Q} \right) < \dim_{\mathbb{Q}} \left( \frac{Cl(X)}{Pic(X)} \otimes \mathbb{Q} \right)$
Redenering:
1. Als $\phi$ geen open inbedding is, is het uitzonderingsgebied $E$ niet leeg.
2. Volgens Zariski's hoofdstelling is $\phi|_E$ niet quasi-finit, wat impliceert dat er twee verschillende punten $x, y \in E$ zijn met $\phi(x) = \phi(y)$ .
3. Vanwege de quasi-projectiviteit bestaat er een effectieve Cartier-divisor $H$ die $x$ bevat maar $y$ niet.
4. Door de pullback en pushforward van divisors te analyseren, construeert de auteur een element $G$ in de klassegroep van $X$ dat niet triviaal is, maar dat onder de afbeelding naar $Y$ verdwijnt. Dit toont aan dat de afbeelding tussen de quotiënten van de klassegroepen niet injectief is, waardoor de dimensie daalt.

Stap 4: Conclusie

Uit Lemma 2.1 weten we dat de dimensie van de relevante vectorruimte eindig is.
Uit Lemma 2.2 volgt dat als $\phi$ geen open inbedding is, de dimensie strikt daalt.
Omdat $\phi$ een endomorfisme is ( $X \to X$ ), kan de dimensie niet oneindig vaak dalen. Dit leidt tot een contradictie tenzij $\phi$ een open inbedding is.
Omdat $\phi$ injectief is op een dichte open verzameling en $X$ quasi-projectief is, impliceert Ax' stelling dat $\phi$ ook surjectief is.
Een bijectief open inbedding is een isomorfisme.

4. Belangrijkste Bijdragen

Bevestiging van Miyanishi's Vermoeden: Het paper lost het vermoeden volledig op voor alle quasi-projectieve variëteiten, ongeacht de karakteristiek van het grondveld.
Generalisatie: Het resultaat geldt voor velden die niet algebraïsch gesloten hoeven te zijn en voor willekeurige karakteristiek (mits de birationaliteit wordt aangenomen in positieve karakteristiek).
Nieuw Finitheidsresultaat: Lemma 2.1 levert een onafhankelijk waardevol resultaat op over de eindige dimensie van klassegroepen over eindig gegenereerde velden.
Verzwakking van Hypothesen: Het paper toont aan dat de quasi-projectiviteit alleen nodig is voor het bestaan van specifieke Cartier-divisors om punten te scheiden (zie Opmerking 2.3), wat suggereert dat het resultaat mogelijk breder toepasbaar is.

5. Betekenis en Impact

Dit werk sluit een langdurig open probleem in de algebraïsche meetkunde af. Het verbindt de theorie van endomorfismen met diepe eigenschappen van divisors en klassegroepen. De methode, die de interactie tussen de topologie van het uitzonderingsgebied (codimensie $\geq 2$ ) en de algebraïsche structuur van de Picard- en klassegroepen gebruikt, biedt een krachtig nieuw perspectief voor het bestuderen van birationale morfismen. Het bewijs bevestigt dat voor "grote" open verzamelingen (waar het complement codimensie $\geq 2$ heeft), injectiviteit voldoende is om een automorfisme te garanderen, zelfs in complexe situaties met singulariteiten of over niet-perfecte velden.