A note on smoothly slice links in $S^2 \times S^2$

Dit artikel biedt een alternatief bewijs dat bepaalde klinken niet glad slijtbaar zijn in $S^2 \times S^2$ en bespreekt de mogelijke toepassingen hiervan voor het detecteren van exotische $S^2 \times S^2$-variëteiten.

De kern

🧶 Knoopjes in een 4D-ruimte: Waarom sommige lussen niet los te maken zijn

Stel je voor dat je in een wereld leeft met vier dimensies. Dat klinkt als sciencefiction, maar wiskundigen noemen dit een 4-variëteit. In dit specifieke artikel kijken de auteurs naar een heel speciale, ronde 4D-wereld die ze $S^2 \times S^2$ noemen.

Om dit begrijpelijk te maken, laten we een analogie gebruiken:

1. De Wereld en de Lussen

Stel je deze 4D-wereld voor als een gigantische, onzichtbare ballon. In onze 3D-wereld (zoals de lucht) kun je een touw in een knoop leggen. In de 4D-wereld kun je twee van deze touwen (we noemen ze lussen of knots) met elkaar verstrengelen.

De vraag die de auteurs stellen is: Kunnen we deze twee lussen volledig "oplossen" of "doorsnijden" zonder dat ze elkaar raken?

• In de 3D-wereld: Als je een knoop hebt, kun je die soms niet openmaken zonder het touw te knippen.
• In de 4D-wereld: Je hebt een extra dimensie om in te bewegen. Vaak kun je een knoop die in 3D vastzit, in 4D makkelijk ontwarren door er "omheen" te bewegen. Als een lus dit kan, noemen we hem slice (in het Nederlands: gesneden of geslepen). Het betekent dat de lus een glad, perfect rond schijfje kan vormen in de 4D-wereld.

De auteurs bewijzen dat er een heel specifiek paar lussen is dat niet gesneden kan worden in deze speciale 4D-wereld. Ze zijn vastgekleefd, zelfs met de extra ruimte.

2. De "Detective-werk" (Hoe bewijzen ze dit?)

Hoe weet je of iets vastzit in een onzichtbare 4D-wereld? Je kunt er niet naar kijken. De auteurs gebruiken daarom wiskundige "sporen" of detectiemethoden, alsof ze een detective zijn die een misdaad oplost.

Ze gebruiken drie soorten "sporen":

• De "Vorm-meting" (Genus Function):
  Stel je voor dat je probeert een schijfje te maken van een stuk deeg. Als het deeg te dik is of de vorm te raar, kun je er geen perfect plat schijfje van maken. De auteurs kijken naar de "dikte" of complexiteit van de lussen. Ze zeggen: "Als deze lus een schijfje zou vormen in onze 4D-wereld, zou die schijf een bepaalde vorm moeten hebben. Maar onze meetlat zegt dat die vorm onmogelijk is!"

• De "Kleur-code" (Arf Invariant & Signaturen):
  Stel je voor dat elke lus een onzichtbare kleur of een geheim getal heeft. Als je een lus probeert te "snijden" (om te vormen tot een schijfje), moet dat getal een bepaalde waarde hebben (bijvoorbeeld 0).
  De auteurs berekenen het getal van hun specifieke lussen en zien dat het niet 0 is. Het is alsof je probeert een sleutel in een slot te steken, maar de sleutel is te dik of heeft de verkeerde tanden. Het slot (de 4D-wereld) gaat niet open.

• De "Spiegel-test" (Symmetrieën):
  Ze kijken ook naar hoe de lussen eruitzien als je ze spiegelt of draait. Ze zeggen: "Als deze lus een schijfje zou vormen, zou hij op een bepaalde manier symmetrisch moeten zijn. Maar hij is dat niet."

3. Het Grote Doel: Exotische Werelden

Waarom doen ze dit? Waarom is het belangrijk om te weten dat een lus niet los te maken is?

Hier komt het spannende deel: Exotische 4D-werelden.

Stel je voor dat je twee identieke 4D-ballonnen hebt. Ze zien er precies hetzelfde uit (topologisch), maar als je ze voelt (gladheid/differentie), voelen ze anders aan. De ene voelt als een gladde, perfecte bol, de andere voelt als een bol met een onzichtbare "ruwe plek" of een andere structuur. Dit noemen we een exotische $S^2 \times S^2$.

De auteurs zeggen: "Als we een lus vinden die in de 'normale' 4D-wereld niet gesneden kan worden, maar we kunnen die lus wel snijden in een 'nieuwe' 4D-wereld die we zelf bouwen, dan bewijzen we dat die nieuwe wereld er anders uitziet dan de oude."

Het is alsof je een sleutel hebt die niet past in het slot van je huis (de normale wereld), maar wel perfect past in een slot van een identiek ogend huis dat je zelf hebt gebouwd. Dat betekent dat je nieuwe huis er anders uitziet, ook al lijkt het van buiten hetzelfde.

4. Samenvatting in één zin

De auteurs hebben een wiskundig bewijs geleverd dat er een paar lussen bestaat die in een speciale 4D-wereld vastzitten en niet losgemaakt kunnen worden, en ze hopen dat deze "vaste lussen" ons helpen om nieuwe, vreemde soorten 4D-werelden te ontdekken die eruitzien als de bekende wereld, maar er van binnen anders uitzien.

De kernboodschap: Soms is iets vastgekleefd, niet omdat er een knoop in zit, maar omdat de ruimte zelf een verborgen structuur heeft die het onmogelijk maakt om het los te maken. En dat onmogelijke is de sleutel om nieuwe universa te vinden.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A NOTE ON SMOOTHLY SLICE LINKS IN S2 × S2" van Marco Marengon en Clayton McDonald, geschreven in het Nederlands.

Titel en Context

Titel: Een notitie over glad gesneden lussen in $S^2 \times S^2$
Auteurs: Marco Marengon en Clayton McDonald
Doel: Het bewijzen van het bestaan van een 2-componenten lus die niet glad (smoothly) gesneden is in de 4-variëteit $S^2 \times S^2$, en het onderzoeken van de implicaties voor het detecteren van exotische $S^2 \times S^2$-variëteiten.

Dit artikel is een vervolg op een eerdere studie van dezelfde auteurs over $CP^2 \# CP^2$ en biedt een alternatief bewijs voor een resultaat van Miyazaki en Yasuhara, maar dan in de glade categorie (smooth category) in plaats van de topologische categorie.

---

1. Het Probleem

In de 4-dimensionale topologie is een link $L \subset S^3$ "gesneden" (slice) in een 4-variëteit $X$ als deze begrensd wordt door disjuncte, ingebedde schijven in $X \setminus B^4$.

• Klassiek resultaat: Elk knoop is glad gesneden in zowel $S^2 \times S^2$ als $CP^2 \# CP^2$.
• Het open probleem: Hoewel Miyazaki en Yasuhara al bewezen hadden dat er niet-gesneden 2-componenten lussen bestaan in een gepuncteerde $S^2 \times S^2$ (in de topologische categorie), ontbrak er een bewijs voor het bestaan van een dergelijke lus die niet glad gesneden is in de volledige $S^2 \times S^2$.
• Motivatie: Het vinden van een dergelijke lus is cruciaal voor het potentieel detecteren van exotische $S^2 \times S^2$-variëteiten (variëteiten die homeomorf maar niet diffeomorf zijn aan de standaard $S^2 \times S^2$).

---

2. Methodologie

De auteurs gebruiken een combinatie van obstructiemethoden uit de gladde 4-variëteitentheorie om aan te tonen dat een specifieke 2-componenten lus $L$ (zoals afgebeeld in Figuur 1 van het artikel) niet gesneden kan zijn. De aanpak bestaat uit een systematische analyse van homologieklassen en het elimineren van alle mogelijke scenario's waarin de lus gesneden zou kunnen zijn.

De kernmethodes zijn:

1. Homologie en Intersectiegetallen:

   • De auteurs veronderstellen dat de lus $L = A \cup B$ begrensd wordt door twee disjuncte gladde schijven $D_A$ en $D_B$ in $X^\circ = (S^2 \times S^2) \setminus \text{Int}(B^4)$.
   • Zij definiëren de homologieklassen $\alpha = [D_A]$ en $\beta = [D_B]$ in $H_2(S^2 \times S^2) \cong \mathbb{Z}^2$.
   • Ze gebruiken symmetrieën van $S^2 \times S^2$ en de link zelf om de mogelijke paren $(\alpha, \beta)$ te reduceren.

2. Genusfunctie (Theorema 3.2):

   • Ze gebruiken een resultaat van Ruberman dat de minimale genus van een glad ingebed oppervlak in $S^2 \times S^2$ in een gegeven homologieklasse $(a_1, a_2)$ bepaalt.
   • Als een knoop $K$ gesneden is in een klasse $\alpha$, moet de gesloten oppervlakte die ontstaat door het samenvoegen van de schijf met een minimale oppervlakte in $B^4$ voldoen aan de genusrestricties van $S^2 \times S^2$.

3. Levine-Tristram Signaturen (Theorema 2.1):

   • Dit is een krachtige obstructie die de signaturen van de knopen relateert aan de homologieklasse van de schijf en de signaturen van de 4-variëteit.
   • De ongelijkheid $\left| \sigma_K(\zeta) + \sigma(X) - \dots \right| \leq b_2(X) + 2g$ wordt gebruikt om specifieke homologieklassen uit te sluiten op basis van de gekozen signaturen van de knopen $A$ en $B$.

4. Arf-invariant (Theorema 2.3):

   • De Arf-invariant wordt gebruikt in combinatie met de Kirby-Siebenmann-invariant om te controleren of een oppervlak karakteristiek is en of het een schijf kan zijn.

---

3. Belangrijkste Bijdragen en Resultaten

De Constructie van de Link

De auteurs construeren een specifieke 2-componenten lus $L$ (Figuur 1) die voldoet aan een reeks aannames (A1 t/m A8):

• Structuur: De lus bestaat uit twee componenten $A$ en $B$ die symmetrisch zijn (A3) en een diagram hebben met een bepaald aantal twists (A1).
• Knoop-eigenschappen: De componenten zijn gekozen als de spiegelbeeldknoop $m(7_2)$ (de mirror van de knoop $7_2$). Deze knoop heeft de volgende eigenschappen:
  • $g_4(K) = 1$ (genus in de 4-bol).
  • $\text{Arf}(K) = 1$.
  • Signaturen: $\sigma_K(\zeta_2) = \sigma_K(\zeta_4) = \sigma_K(\zeta_8) = 2$.
• Linking Number: $\text{lk}(A, B) = -4$.

Het Hoofdbewijs (Theorema 1.1)

De auteurs bewijzen dat deze lus niet glad gesneden is in $S^2 \times S^2$. Het bewijs verloopt via een proces van eliminatie:

1. Reductie: Door symmetrieën en de genusfunctie worden de mogelijke homologieparen $(\alpha, \beta)$ gereduceerd tot een eindige lijst van oneindige families en sporadische gevallen (Lemma 3.4).
2. Eliminatie via Genus: Gevallen waarbij de som van de homologieklassen $(\alpha + \beta)$ zou leiden tot een oppervlak met een genus die te hoog is voor de gegeven klasse in $S^2 \times S^2$, worden verworpen (Lemma 3.5).
3. Eliminatie via Signaturen: Voor de overgebleven gevallen worden de Levine-Tristram signaturen gebruikt. Door de specifieke keuze van de signaturen van $A$ en $B$ (A6-A8), leidt elke mogelijke homologieklasse tot een contradictie met de ongelijkheid uit Theorema 2.1 (Lemma 3.6 en 3.7).

Conclusie: Er is geen paar disjuncte gladde schijven dat de lus $L$ begrenst in $S^2 \times S^2$.

Vergelijking met Bestaande Resultaten

• Miyazaki en Yasuhara bewezen eerder dat er een niet-gesneden lus bestaat in de topologische categorie. Hun bewijs vereist echter dat de signaturen van de componenten 0 zijn (mod 8), wat niet geldt voor de lus in dit artikel.
• Het bewijs van Marengon en McDonald is glad (smooth). Dit is strikt sterker in de context van gladde 4-variëteiten, maar het betekent ook dat de lus mogelijk wel topologisch gesneden is (dit is niet bekend).

---

4. Significantie en Toepassingen

Detectie van Exotische $S^2 \times S^2$

De belangrijkste implicatie van dit resultaat ligt in de zoektocht naar exotische 4-variëteiten.

• Propositie 4.1: Als een lus $L$ niet glad gesneden is in de standaard $S^2 \times S^2$, maar wel gesneden is in een andere variëteit $X$ die ontstaat door chirurgie op $L$ (met specifieke framings), dan is $X$ een kandidaat voor een exotische $S^2 \times S^2$.
• De auteurs tonen aan dat onder bepaalde voorwaarden (bijv. als de chirurgie resulteert in een spin-rationale homologiebol die begrensd wordt door een spin-rationale homologiebal), de resulterende variëteit $X$ homeomorf is aan $S^2 \times S^2$ (volgens Freedman's classificatie) maar niet diffeomorf (omdat de lus in $X$ gesneden is, maar niet in de standaard $S^2 \times S^2$).

Verschil met $CP^2 \# CP^2$

In tegenstelling tot hun eerdere werk over $CP^2 \# CP^2$, waar de chirurgie kan leiden tot een gehele homologiebol, leidt de chirurgie op deze lus in $S^2 \times S^2$ tot een rationele homologiebol met een even orde van de eerste homologiegroep (vanwege de even intersectievorm van $S^2 \times S^2$).

Samenvatting

Dit artikel levert een technisch rigoureus bewijs voor het bestaan van een 2-componenten lus die niet glad gesneden is in $S^2 \times S^2$. Door een zorgvuldig geselecteerde lus te construeren en deze te testen tegen een reeks obstructies (genus, signaturen, Arf-invariant), sluiten de auteurs alle mogelijke homologieklassen uit. Dit resultaat opent de deur voor het construeren van exotische $S^2 \times S^2$-variëteiten via chirurgie, een van de grootste open problemen in de 4-dimensionale topologie.