On the smoothing theory delooping of disc diffeomorphism and embedding spaces

Deze paper herformuleert de Morlet-Burghelea-Lashof-Kirby-Siebenmann-theorie om te tonen dat de delooping van verschillende soorten inbeddingsruimten van schijven relatief tot de rand kan worden beschreven via quotiënten van PL- en TOP-groepen, en combineert hiermee de Hatcher- en Budney-acties tot een geactioneerde operad-structuur.

De kern

De Grote Ontdekking: Hoe je een Knoop kunt "ontwarren" met Wiskunde

Stel je voor dat je een elastiekje hebt (een schijfje) en je probeert het op verschillende manieren te rekken, te draaien en te vouwen zonder het te knippen of te plakken. In de wiskunde noemen we dit diffeomorfismen (het gladde vervormen van een vorm).

De auteurs van dit artikel, Paolo Salvatore en Victor Turchin, hebben een nieuwe manier gevonden om te begrijpen hoe deze vervormingen werken. Ze hebben een oude, beroemde formule uit de jaren '70 opgefrist en uitgebreid. Hun grote ontdekking is dat je deze complexe vervormingen kunt "ontwarren" (in het Engels: deloop) tot iets veel simpelers: een soort wiskundige "knoop" die je kunt tellen en meten.

Hier is hoe ze dat doen, stap voor stap:

1. Het Probleem: De "Rubberband" van de Wiskunde

Stel je een rubberen schijfje voor (een disc). Je kunt er oneindig veel dingen mee doen:

• Je kunt het draaien.
• Je kunt het rekken.
• Je kunt het in een andere vorm duwen, zolang je het maar niet scheurt.

Wiskundigen willen weten: "Hoeveel verschillende manieren zijn er om dit te doen?" en "Hoe hangen deze manieren samen?"
In de jaren '70 ontdekten wiskundigen dat het gedrag van deze vervormingen (de groep Diff) eigenlijk hetzelfde is als het gedrag van een heel speciaal soort "ruimte" die is gemaakt van PL (stukjes-lijn) en TOP (topologische) structuren.

De Metafoor:
Stel je voor dat je een ingewikkeld, knoerig touw hebt (de vervormingen). De oude theorie zei: "Dit touw is eigenlijk hetzelfde als een heel strakke, rechte lijn (een simpele ruimte) die je een paar keer hebt omwikkeld."
De auteurs zeggen nu: "Wacht even, dat geldt niet alleen voor het touw zelf, maar ook voor andere soorten knopen die je kunt maken!"

2. De Uitbreiding: Niet alleen touw, maar ook knopen in muren

De oude theorie keek alleen naar het vervormen van het schijfje zelf. Deze auteurs kijken ook naar:

• Inbeddingen: Wat als je een klein schijfje in een groter schijfje stopt? (Bijvoorbeeld: een kleine bal in een grote bal).
• Geknoopte vormen: Wat als je dat kleine schijfje in een knoop legt?
• Gerichte vormen (Framed): Wat als je op dat schijfje ook nog pijltjes tekent die een richting aangeven?

Ze bewijzen dat voor al deze situaties geldt: Je kunt de complexe ruimte van alle mogelijke knopen en vervormingen "ontwarren" tot een simpele ruimte van knopen en gaten.

De Creatieve Analogie:
Stel je voor dat je een kamer vol mensen hebt die allemaal dansen (de vervormingen). Het is chaos.
De auteurs zeggen: "Als je naar de dansvloer kijkt, zie je dat elke danser eigenlijk een spiegelbeeld is van iemand die in een andere kamer staat te dansen, maar dan in een heel simpele, gestructureerde kamer."
Ze laten zien dat je de chaos van de dansvloer kunt vertalen naar een simpele lijst met instructies (de "loop space").

3. De "Magische" Formule (De Delooping)

De kern van hun werk is een formule die zegt:

"De ruimte van alle mogelijke manieren om een schijfje te vervormen (of een knoop te maken) is hetzelfde als een ruimte die je krijgt door een simpele ruimte een aantal keer om te draaien (een 'loop' te maken)."

• Voorbeeld: Als je een knoop maakt in een touw (dimensie $n$), dan is de ruimte van alle mogelijke knopen hetzelfde als een ruimte die je krijgt door een simpele "knoop-ruimte" $n+1$ keer om te draaien.

Dit is belangrijk omdat "omdraaien" (loops) in de wiskunde veel makkelijker te berekenen is dan het direct bestuderen van de complexe vervormingen. Het is alsof je in plaats van een ingewikkeld raadsel op te lossen, de oplossing in een handboek kunt opzoeken.

4. De "Knoop" in de 4e Dimensie (Het Uitzonderlijke Geval)

Er is één ding dat ze moeten waarschuwen: Dimensie 4.
In de wiskunde is dimensie 4 een heel raar ding. Het is alsof je probeert een knoop te maken in een wereld die net iets anders werkt dan de wereld waarin wij leven (3D) of de wereld van de hoge dimensies (5D en hoger).

• Voor dimensies 1, 2, 3 en 5+ werkt hun formule perfect.
• Voor dimensie 4 werkt het alleen als je kijkt naar "PL-knopen" (stukjes-lijn knopen), maar niet voor de gladde, perfecte wiskundige knopen.
• Waarom? Omdat in 4 dimensies er "exotische" schijven bestaan die er hetzelfde uitzien als een gewone schijf, maar van binnen heel anders zijn. Het is alsof er een schijf is die eruitziet als een pannenkoek, maar van binnen een goudklomp is. Dat maakt het onmogelijk om de simpele formule direct toe te passen.

5. De "Operade": De Dans van de Kernen

Een ander cool onderdeel is dat ze laten zien hoe deze knopen met elkaar kunnen "interageren".
Stel je voor dat je kleine balletjes hebt die in een grote bal kunnen bewegen. Je kunt ze in elkaar schuiven, draaien en combineren.
De auteurs laten zien dat deze knopen een soort "dans" kunnen doen die wordt geleid door een Operade (een wiskundig systeem dat beschrijft hoe dingen met elkaar kunnen worden gecombineerd).
Ze combineren twee soorten dansen:

1. Budney's dans: Hoe je kleine schijfjes in een grote schijf kunt schuiven.
2. Hatcher's dans: Hoe je een schijf kunt roteren.

Ze bewijzen dat je deze twee dansen kunt samenvoegen tot één grote, prachtige choreografie die ze een "geraamde kleine schijven operade" noemen. Dit is alsof je twee verschillende muziekstijlen (jazz en klassiek) combineert tot één nieuw, perfect symfonie.

Samenvatting voor de Leek

Dit artikel is als het vinden van een masterkey voor de wiskunde van knopen en vervormingen.

• Vroeger: Wiskundigen wisten dat je bepaalde vervormingen kon vertalen naar simpele knopen, maar alleen in specifieke gevallen.
• Nu: Salvatore en Turchin zeggen: "Die sleutel werkt voor alle soorten knopen en vervormingen, zolang je maar niet in de rare 4e dimensie zit (en dan alleen voor bepaalde soorten knopen)."
• Het resultaat: Ze hebben een brug gebouwd tussen de chaotische wereld van gladde vervormingen en de strakke, berekenbare wereld van "loop spaces". Dit helpt wiskundigen om beter te begrijpen hoe ruimte en vorm in het universum (en in hogere dimensies) met elkaar verbonden zijn.

Kortom: Ze hebben laten zien dat het oplossen van complexe wiskundige knopen eigenlijk net zo simpel is als het tellen van hoe vaak je een touw om een paal draait, mits je de juiste "bril" (de delooping) op hebt.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Smoothing Theory Delooping of Disc Diffeomorphism and Embedding Spaces" van Paolo Salvatore en Victor Turchin, geschreven in het Nederlands.

Titel en Context

Titel: On the Smoothing Theory Delooping of Disc Diffeomorphism and Embedding Spaces
Auteurs: Paolo Salvatore en Victor Turchin
Vakgebied: Differentiële topologie, Homotopietheorie, Operadentheorie.

1. Het Probleem

De kern van dit onderzoek ligt in de studie van de homotopietype van ruimten van diffeomorfismen en inbeddingen van schijven ($D^n$) en hun relaties met de theorie van gladde structuren (smoothing theory).

• Achtergrond: De beroemde stelling van Morlet-Burghelea-Lashof-Kirby-Siebenmann stelt dat de groep van diffeomorfismen van een schijf $D^n$ die de rand vasthouden, $\text{Diff}_{\partial}(D^n)$, homotoop equivalent is aan de $(n+1)$-voudige lusruimte van de quotiënten van de klassen van PL- en topologische structuren:
  $$\text{Diff}_{\partial}(D^n) \simeq \Omega^{n+1}(\text{PL}_n/\text{O}_n) \quad (\text{en } \Omega^{n+1}(\text{TOP}_n/\text{O}_n) \text{ voor } n \neq 4).$$
• De uitdaging: Hoewel deze equivalentie bekend was, ontbrak er een veralgemening naar ruimten van inbeddingen van schijven $\text{Emb}_{\partial}(D^m, D^n)$ en gerichte inbeddingen (framed embeddings) $\text{Emb}^{\text{fr}}_{\partial}(D^m, D^n)$. Bovendien was het onduidelijk of deze equivalenties compatibel waren met de natuurlijke operad-acties (zoals de actie van Budney) die op deze ruimten bestaan. Specifiek was er behoefte aan een "delooping" (het vinden van een ruimte waarvan de gegeven ruimte een lusruimte is) die deze algebraïsche structuren respecteert.
• Specifieke moeilijkheden: De dimensie $n=4$ is berucht in de topologie vanwege de aanwezigheid van exotische structuren en het ontbreken van een volledige PL-structuur-theorie in deze dimensie. Ook de codimensie $n-m=2$ (knopttheorie in codimensie 2) introduceert complexiteit met betrekking tot trivialiteit en inverteerbaarheid.

2. Methodologie

De auteurs gebruiken een combinatie van klassieke gladde theorie (smoothing theory), homotopietheorie en operadentheorie.

• Gladde theorie en Homotopiecartesische vierkanten: Ze bouwen voort op de werken van Kirby, Siebenmann, Burghelea en Lashof. Ze gebruiken homotopiecartesische vierkanten om relaties tussen diffeomorfismen, homeomorfismen en (formele) immersies te beschrijven.
• Intermediaire Ruimten: Een cruciale stap is de introductie van tussenruimten, zoals $\text{Homeo}^{\text{O}_n}_{\partial}(N)$ (de ruimte van $\text{O}_n$-gerichte homeomorfismen). Ze bewijzen dat de natuurlijke inclusie $\text{Diff}_{\partial}(N) \to \text{Homeo}^{\text{O}_n}_{\partial}(N)$ een equivalentie is voor $n \neq 4$. Dit verbindt de gladde wereld direct met de topologische wereld.
• Operad-acties: Ze analyseren de actie van de "little discs operad" $E_m$ en de "overlapping discs operad" $R_{m+1}$ (geïntroduceerd door Ryan Budney). Ze tonen aan hoe deze acties kunnen worden gecombineerd met de actie van de orthogonale groep $\text{O}_{m+1}$ (Hatcher's actie) tot een actie van een gerichte operad $E^{\text{O}_{m+1}}_{m+1}$.
• Simpliciale Sets vs. Topologische Ruimten: De auteurs werken zorgvuldig met simpliciale sets om de lokale vlakheid (local flatness) van topologische inbeddingen correct te definiëren, en schakelen dan over naar topologische ruimten om de lusruimte-structuren te definiëren. Ze gebruiken de "Alexander trick" om contractibiliteit van bepaalde homeomorfismegroepen aan te tonen.

3. Belangrijkste Bijdragen en Resultaten

De paper levert drie hoofdstellingen op die de bestaande theorie veralgemenen en verfijnen:

Stelling A: Delooping van Diffeomorfismen

Voor $n \neq 4$ is er een equivalentie van $E^{n+1}$-algebra's (en zelfs $E^{\text{O}_n}_{n+1}$-algebra's):
$$\text{Diff}_{\partial}(D^n) \simeq_{E^{n+1}} \Omega^{n+1}(\text{TOP}_n/\text{O}_n) \simeq_{E^{n+1}} \Omega^{n+1}(\text{PL}_n/\text{O}_n).$$
Voor $n=4$ geldt een equivalentie van ruimten (maar niet noodzakelijk van algebra's): $\text{Diff}_{\partial}(D^4) \simeq \Omega^5(\text{PL}_4/\text{O}_4)$.
Dit bevestigt dat de Budney-actie compatibel is met de klassieke delooping.

Stelling B: Delooping van Inbeddingen

Voor $1 \leq m \leq n \neq 4$(met uitzondering van$n-m=2$ voor de algemene vorm, waar men zich beperkt tot de componenten van inverteerbare elementen) gelden de volgende equivalenties van algebra's:

1. Inbeddingen modulo immersies:
   $$\text{Emb}_{\partial}(D^m, D^n) \simeq_{E^m} \Omega^m \text{hofiber}(\text{V}_{n,m} \to \text{V}^t_{n,m})$$
2. Gerichte inbeddingen (Framed):
   $$\text{Emb}^{\text{fr}}_{\partial}(D^m, D^n) \simeq_{E^{m+1}} \Omega^{m+1}(\text{O}_n \backslash \text{TOP}_n / \text{TOP}_{n,m})$$
3. Inbeddingen zonder framing:
   $$\text{Emb}_{\partial}(D^m, D^n) \simeq_{E^{m+1}} \Omega^{m+1}(\text{TOP}_n / \text{TOP}_{n,m})$$
   Hierbij zijn $\text{V}_{n,m}$ de Stiefel-variëteiten en $\text{TOP}_{n,m}$ de groepen van homeomorfismen die $\mathbb{R}^m$ puntsgewijs vasthouden.

Stelling C: Combinatie van Acties (Gerichte Operad)

Voor $n-m \neq 2$ en $n \neq 4$ wordt de gerichte inbeddingsruimte geïdentificeerd met een gerichte operad-actie:
$$\text{Emb}^{\text{fr}}_{\partial}(D^m, D^n) \simeq_{\text{O}_{m+1}} \Omega^{m+1}(\text{tEmb}(S^m, S^n) // \text{O}_{n+1}).$$
Dit combineert de $E^{m+1}$-actie van Budney en de $\text{O}_{m+1}$-actie van Hatcher tot een actie van de gerichte little discs operad $E^{\text{O}_{m+1}}_{m+1}$.

Specifieke Resultaten voor Dimensie 4 en Codimensie 2

• Dimensie 4: Voor $n=4$ zijn de resultaten beperkt tot equivalenties van ruimten (niet van algebra's) en gelden ze alleen voor de componenten van PL-triviale knopen. Ze tonen aan dat de enige PL-triviale gladde knoop $D^2 \to D^4$ de triviale knoop is (Corollary 2.4).
• Codimensie 2: Voor $n-m=2$ moeten de ruimten worden beperkt tot de componenten van inverteerbare elementen in $\pi_0$ (de "invertible knots").

4. Betekenis en Impact

1. Unificatie van Theorieën: De paper verenigt de klassieke gladde theorie (smoothing theory) met moderne operad-theorie. Ze tonen aan dat de diepe structuren die door Budney en anderen zijn ontdekt (zoals de $E_{n+1}$-actie op $\text{Diff}(D^n)$) inherent verbonden zijn met de klassieke delooping-resultaten van de jaren '70.
2. Verduidelijking van Dimensie 4: Hoewel de theorie in dimensie 4 beperkter is vanwege de complexiteit van 4-variëteiten, leveren de auteurs een scherp inzicht in welke knopen PL-triviaal zijn, wat bijdraagt aan het begrip van exotische structuren in dimensie 4.
3. Operad-Structuur: Het bewijs dat de delooping compatibel is met de $E_{m+1}$-actie (en de gerichte variant) opent de deur voor het toepassen van krachtige tools uit de operad-homologie (zoals de rational homotopy theory) op ruimten van inbeddingen en diffeomorfismen.
4. Technische Vooruitgang: De auteurs lossen technische problemen op rondom de definitie van "locally flat" inbeddingen in de topologische en PL-categorieën door het gebruik van simpliciale sets en gerichte microbundels, wat een robuust fundament legt voor toekomstig onderzoek.

Kortom, dit werk biedt een volledig en gestructureerd kader voor het begrijpen van de homotopietype van schijf-diffeomorfismen en inbeddingen, waarbij het de brug slaat tussen klassieke differentieel-topologische resultaten en moderne algebraïsche topologie.