Relative $\mathbb{A}^1$-Contractibility of Smooth Schemes and Exotic Motivic Spheres

Deze thesis breidt de relatieve $\mathbb{A}^1$-contractibiliteit van Koras-Russell-variëteiten uit naar Noetherse basisschema's en gebruikt deze om voor de eerste keer een familie van exotische motivische sferen in dimensies $n \geq 4$ te construeren die niet isomorf zijn met $\mathbb{A}^n \setminus \{0\}$.

De kern

De Reis naar de "Exotische" Ruimtes: Een Verhaal over Wiskunde en Vormen

Stel je voor dat wiskunde een enorme bibliotheek is vol met verschillende soorten ruimtes. Sommige zijn eenvoudig en bekend, zoals een plat vlak of een bol. Andere zijn ingewikkeld, met gaten, knopen of vreemde bochten. De hoofdpersoon van dit verhaal, Krishna Kumar Madhavan Vijayalakshmi, doet onderzoek naar een heel specifiek soort "ruimtes" die bestaan uit veelvouden van vergelijkingen (de wiskundige taal van algebraïsche meetkunde).

Zijn proefschrift is eigenlijk een zoektocht naar een antwoord op een simpele, maar diepe vraag: "Als iets eruitziet als een leeg vlak (een 'affine ruimte'), is het dan ook echt een leeg vlak?"

Hier is hoe hij dit uitlegt, vertaald naar alledaagse taal:

1. De "Lege" Ruimte en de Magische Klem

In de wiskunde hebben we een heel bekend object: de Affine Ruimte (laten we dit noemen als een perfect, leeg, onbeperkt vlak, zoals een oneindig groot vel papier). Dit is de "standaard" ruimte.

Maar wat als je een ruimte bouwt die er perfect uitziet als dat vlak als je er met een speciale wiskundige bril naar kijkt? Deze bril heet Motivische Homotopie. Het is een manier om te kijken of twee vormen "vervormbaar" zijn tot elkaar zonder te scheuren of te plakken, maar dan met een magische klem: de A1-lijn (een wiskundige lijn die als een rubberen band werkt).

• De Analogie: Stel je voor dat je een bal hebt. Als je die bal uitrekt tot een lange staaf, is het in de gewone wereld nog steeds een bal. Maar in deze wiskundige wereld (A1-homotopie) is die staaf precies hetzelfde als een puntje. Alles wat je kunt "uitrekken" tot een puntje, noemen we A1-contractibel.
• De vraag is: Als je een vorm hebt die je kunt uitrekken tot een puntje (A1-contractibel), is hij dan noodzakelijk het standaard vlak?

2. Het Verhaal van de "Exotische" Dieren

In de topologie (de studie van vormen) weten we al dat er "exotische" bollen bestaan. Een exotische bol is een bal die er van buitenaf precies uitziet als een gewone bal, maar als je erin kruipt, voelt hij anders aan (hij heeft een andere "structuur").

De auteur ontdekt dat er in de wereld van deze algebraïsche ruimtes ook Exotische Variëteiten bestaan.

• De Koras-Russell Drievariëteit: Dit is een heel specifiek, vreemd gevormd object (een "drievariëteit"). Het is zo slim ontworpen dat het, als je er met de A1-bril naar kijkt, precies lijkt op een leeg vlak. Het is dus "A1-contractibel".
• De Twist: Maar als je er met een gewone, strenge wiskundige meetlat naar kijkt (isomorfisme), is het geen leeg vlak! Het is een "vermomming". Het is een exotische vorm die de standaardruimte imiteert.

De auteur bewijst dat deze exotische vormen niet alleen bestaan in de wereld van getallen, maar ook bestaan als je ze op een "basis" plaatst (zoals een landkaart op een globaal systeem). Hij toont aan dat je deze vormen kunt bouwen op bijna elke ondergrond, zolang die maar "redelijk" is.

3. De "Exotische Sferen" (De Bol zonder Gaten)

Het verhaal wordt nog spannender als we kijken naar de "rand" van deze ruimtes.

• Als je een leeg vlak neemt en het middelpunt verwijdert, krijg je een holle bol (een sfeer).
• De vraag is: Als je een holle bol hebt die er in de A1-wereld precies uitziet als een standaard holle bol, is hij dan echt een standaard holle bol?

Het antwoord is: Nee!
De auteur bouwt een familie van "Exotische Sferen". Dit zijn holle bollen die, net als de exotische vlakken, er perfect uitzien als de standaardbol als je ze uitrekt of vervormt, maar die in werkelijkheid een heel andere structuur hebben. Ze zijn als een perfect nagemaakte replica van een Apple-logo: van ver weg lijkt het exact hetzelfde, maar als je er met je vingers overheen wrijft, voel je dat het een andere textuur heeft.

4. Waarom is dit belangrijk?

Dit klinkt misschien als puur theoretisch geknoei, maar het is cruciaal voor het begrijpen van de "taal van de natuur".

• De Metafoor: Stel je voor dat je probeert te begrijpen hoe een universum eruitziet. Als je alleen kijkt naar hoe dingen eruitzien als je ze uitrekt (homotopie), denk je misschien dat alles simpel en eenduidig is. Maar dit proefschrift waarschuwt: "Pas op! Er zijn verborgen lagen."
• Het laat zien dat er meer soorten "lege ruimtes" en "bollen" bestaan dan we dachten. Het is alsof je dacht dat er maar één soort water was, en plotseling ontdek je dat er ook "exotisch water" bestaat dat koud aanvoelt maar heet is.

Samenvatting in één zin

De auteur toont aan dat in de wiskundige wereld van vormen en vergelijkingen, er een hele familie van "vermomde" ruimtes en bollen bestaat die er perfect uitzien als de standaardversies, maar die in werkelijkheid unieke, exotische structuren hebben die we voor het eerst systematisch kunnen identificeren en beschrijven.

Het is een ontdekkingstocht die ons leert dat gelijkenis niet altijd gelijkheid betekent, zelfs niet in de strengste wiskundige wereld.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het proefschrift "Relative A1-Contractibility of Smooth Schemes and Exotic Motivic Spheres" van Krishna Kumar Madhavan Vijayalakshmi, geschreven in het Nederlands.

Titel: Relative A1-Contractibility of Smooth Schemes and Exotic Motivic Spheres

Auteur: Krishna Kumar Madhavan Vijayalakshmi
Universiteiten: Universiteit van Bourgogne-Europe & Poitiers (Frankrijk) en Universiteit van Milaan (Italië)
Jaar: 2025

---

1. Het Probleem

Het proefschrift adresseert twee fundamentele problemen binnen de algebraïsche meetkunde en de motivische homotopietheorie:

1. De Karakterisering van de Affine Ruimte: Een centraal vraagstuk is het karakteriseren van de $n$-dimensionale affine ruimte $A^n_k$ onder gladde affine schema's, gezien tot op $A^1$-contractibiliteit. In de topologie is de Euclidische ruimte $\mathbb{R}^n$ uniek als open, contractibele variëteit (onder bepaalde voorwaarden zoals "simply connected at infinity"). De algebraïsche analogie vraagt: Is een glad, affien schema $X$ van dimensie $n$ dat $A^1$-homotoop is aan $A^n_k$ noodzakelijk isomorf aan $A^n_k$?

   • Voor $n < 3$ is dit positief beantwoord over bepaalde velden.
   • Voor $n \ge 3$ bestaan er "exotische" affine variëteiten: schema's die $A^1$-contractibel zijn maar niet isomorf aan $A^n_k$ (bijv. Koras-Russell drie-voudigen).

2. Exotische Motivische Sferen: Het tweede probleem is het bestaan van "exotische sferen" in de motivische homotopietheorie. Dit zijn gladde schema's $X$ van dimensie $n$ die $A^1$-homotoop zijn aan de punctuele affine ruimte $A^n_k \setminus \{0\}$ (de motivische sfeer), maar niet isomorf zijn aan deze ruimte als schema's. Dit is het "compacte" analogon van het probleem van exotische affine variëteiten.

2. Methodologie

De auteur combineert technieken uit de motivische homotopietheorie (Morel-Voevodsky) met affine algebraïsche meetkunde en schematheorie. De kernmethodologie omvat:

• Relatieve $A^1$-Contractibiliteit: In plaats van alleen te werken over een veld, wordt de theorie uitgebreid naar een willekeurige Noetheriaanse basisschema $S$. Een morfisme $f: X \to S$ wordt "relatief $A^1$-contractibel" genoemd als het een $A^1$-zwakke equivalentie is in de categorie van motivische ruimten over $S$ ($Spc_S$).
• Gebruik van de Nisnevich-topologie: De theorie wordt opgebouwd op simpliciale presheaves over de categorie van gladde gescheiden schema's ($Sm_S$) met de Nisnevich-topologie, wat essentieel is voor de correcte definitie van $A^1$-homotopie en het behoud van eigenschappen zoals "purity" (zuiverheid).
• Gluing Theorema's: Het proefschrift maakt gebruik van het gluing-theorema van Morel-Voevodsky. Dit stelt dat als alle vezels van een gladde morfisme $f: X \to S$ over de punten van $S$ $A^1$-contractibel zijn, dan is $f$ zelf een relatieve $A^1$-zwakke equivalentie. Dit maakt het mogelijk resultaten over velden te "liftten" naar Noetheriaanse schema's.
• Milnor-Witt K-theorie: Voor de analyse van de homotopie van punctuele ruimten ($A^n \setminus \{0\}$) wordt de Milnor-Witt K-theorie ($KMW_*$) gebruikt. Dit is een verrijking van de Milnor K-theorie die de Grothendieck-Witt ring combineert en essentieel is voor het berekenen van motivische homotopiegroepen en graden.
• Constructie via Affine Modificaties en Quotienten: De auteur gebruikt specifieke families van variëteiten (Koras-Russell en hun generalisaties) die zijn geconstrueerd via affine modificaties of als quotiënten van vrije groepswerkingen, om contra-exemplaren te genereren.

3. Belangrijkste Bijdragen en Resultaten

A. Karakterisering in Lage Dimensies ($n < 3$)

Het proefschrift bewijst dat de karakterisering van de affine ruimte geldig blijft in relatieve dimensies $n < 3$ over "redelijke" basisschema's (Noetheriaans, normaal, met perfecte residuvelden):

• Dimensie 0 (Étale schema's): Een étale schema is relatief $A^1$-contractibel dan en slechts dan als het een isomorfisme is.
• Dimensie 1 (Krommen): Een glad gescheiden schema van relatieve dimensie 1 is isomorf aan $A^1_S$ dan en slechts dan als het $A^1$-contractibel is, het relatieve canonieke bundel triviaal is, en een sectie heeft. Dit lost de relatieve variant van het Zariski-annulatieprobleem op voor krommen.
• Dimensie 2 (Oppervlakken): Voor Dedekind-schema's met residuvelden van karakteristiek 0, is een glad affien schema van relatieve dimensie 2 isomorf aan $A^2_D$ dan en slechts dan als het $A^1$-contractibel is en het relatieve canonieke bundel triviaal is.

B. Uitbreiding van Koras-Russell Prototypes

De auteur breidt de bekende resultaten over Koras-Russell drie-voudigen (die exotische $A^1$-contractibele variëteiten zijn) uit:

• Perfecte Velden: Het bewijs voor de $A^1$-contractibiliteit van Koras-Russell drie-voudigen wordt uitgebreid van velden van karakteristiek 0 naar willekeurige perfecte velden (inclusief eindige velden).
• Noetheriaanse Basissen: Met behulp van het gluing-theorema wordt bewezen dat deze drie-voudigen relatief $A^1$-contractibel zijn over elke Noetheriaanse basisschema met perfecte residuvelden.
• Generalisatie: Dezelfde technieken worden toegepast op gegeneraliseerde Koras-Russell variëteiten $X_m(n, \psi)$ in hogere dimensies ($n \ge 4$), bewijzende dat deze ook $A^1$-contractibel zijn over perfecte velden en Noetheriaanse schema's.

C. Existentie van Exotische Motivische Sferen

Dit is het meest opvallende resultaat van het proefschrift:

• De auteur bewijst dat voor elke dimensie $n \ge 4$ en over een oneindig perfect veld $k$, de quasi-affiene variëteit $X_m \setminus \{p\}$ (waarbij $X_m$ een gegeneraliseerde Koras-Russell variëteit is en $p$ een rationaal punt) een exotische motivische sfeer vormt.
• Resultaat: $X_m \setminus \{p\}$ is $A^1$-homotoop aan $A^{m+3}_k \setminus \{0\}$, maar niet isomorf aan $A^{m+3}_k \setminus \{0\}$ als $k$-schema.
• Techniek: Het bewijs maakt gebruik van de $A^1$-keten-connectiviteit van deze variëteiten, motivische zuiverheid (purity isomorphismen) en de berekening van de motivische Brouwer-graad via Milnor-Witt K-theorie om te tonen dat de homotopie-equivalentie bestaat, terwijl algebraïsche invarianten (zoals de Makar-Limanov invariant) het gebrek aan isomorfisme aantonen.

4. Significantie en Impact

1. Unificatie van Gebieden: Het werk verbindt diep de theorie van exotische affine variëteiten (een klassiek probleem in algebraïsche meetkunde) met de moderne motivische homotopietheorie. Het toont aan dat $A^1$-homotopie een krachtig maar niet-triviale invariant is die subtiel onderscheid maakt tussen schema's die topologisch of homotoop gelijk lijken.
2. Doorbraak in Hogere Dimensies: Terwijl de karakterisering van $A^n$ voor $n \ge 3$ over velden van karakteristiek 0 al bekend was als onmogelijk (vanwege Koras-Russell), biedt dit proefschrift de eerste systematische constructie van exotische motivische sferen in alle dimensies $n \ge 4$. Dit is het algebraïsche analogon van de ontdekking van exotische sferen in de differentiaalmeetkunde (Milnor), maar dan in de context van algebraïsche variëteiten.
3. Relatieve Theorie: Door de resultaten te generaliseren naar Noetheriaanse basisschema's (in plaats van alleen velden), opent het proefschrift nieuwe wegen voor het bestuderen van families van variëteiten en de stabiliteit van $A^1$-eigenschappen onder basisschifting.
4. Nieuwe Invarianten: Het werk benadrukt de noodzaak van nieuwe invarianten (zoals motivische homotopie bij oneindigheid) om de "Motivische Open Poincaré Vermoeden" volledig te kunnen oplossen, en identificeert de beperkingen van bestaande methoden.

Conclusie:
Dit proefschrift levert een fundamentele bijdrage aan het inzicht dat de wereld van gladde affine schema's veel rijker is dan die van de standaard affine ruimtes. Het bewijst dat $A^1$-contractibiliteit geen voldoende voorwaarde is voor isomorfisme met $A^n$ (of $A^n \setminus \{0\}$) voor $n \ge 3$, en introduceert een nieuwe klasse van "exotische" objecten die de grenzen van de motivische homotopietheorie verleggen.