On the isotopy classes of embeddings of surfaces in 5-manifolds

Deze paper bewijst dat twee homotopische inbeddingen van een gesloten oppervlak in een gesloten georiënteerde 5-dimensionale variëteit isotopisch zijn indien ze een gemeenschappelijke algebraïsche duale 3-sfeer bezitten of als de fundamentele groep van de omringende ruimte triviaal is, en introduceert daarvoor een nieuwe invariant gebaseerd op de homotopiegroepen van de 5-variëteit.

De kern

De Dans van de Vlakken in een Vijfde Dimensie: Een Simpele Uitleg

Stel je voor dat je in een wereld leeft met vijf dimensies. Dat is lastig voor te stellen, maar we kunnen het vergelijken met een heel groot, onzichtbaar huis met veel meer kamers dan we gewend zijn. In dit huis wonen er "vlakken" (zoals een oppervlak van een ballon of een donut) die erin zweven.

De vraag die de auteur, Ruoyu Qiao, stelt, is eigenlijk heel simpel: Als je twee vlakken hebt die op precies dezelfde manier in dit huis "zitten" (ze zijn homotoop), zijn ze dan ook echt op dezelfde manier "vastgeplakt" of kunnen ze van elkaar af?

In de wiskunde noemen we dit het verschil tussen homotopie (je kunt het ene vlak vervormen tot het andere zonder te scheuren) en isotopie (je kunt het ene vlak in de ruimte bewegen tot het andere, zonder dat het door zichzelf of de muren heen gaat).

Hier is hoe het werkt, vertaald naar alledaagse beelden:

1. Het Probleem: Twee Wegen, Eén Bestemming

Stel je hebt twee mensen, Jan en Piet, die beide een rondje lopen in een groot park (het 5-dimensionale huis). Ze beginnen op hetzelfde punt en eindigen op hetzelfde punt, en ze lopen precies dezelfde route (ze zijn "homotoop").

Maar stel dat Jan ergens een struik heeft omzeild en Piet is er onder door gekropen. Ze hebben dezelfde route afgelegd, maar ze hebben elkaar niet gekruist. In een 5-dimensionale wereld is er vaak genoeg ruimte om elkaar te ontwijken. De vraag is: Kunnen we Jan en Piet altijd zo bewegen dat ze precies op dezelfde plek staan, zonder dat ze botsen?

Soms wel, soms niet. De wiskundigen wisten al dat dit in 4 dimensies lastig is, maar in 5 dimensies dachten ze dat het makkelijker zou zijn.

2. De Oplossing: De "Teken" van de Dans

Qiao heeft een nieuw gereedschap bedacht om dit probleem op te lossen. Hij noemt het een invariant.

Stel je voor dat je een film maakt van hoe je het ene vlak vervormt tot het andere. Tijdens deze film kunnen de vlakken elkaar soms even raken of kruisen (alsof twee dansers per ongeluk met hun neuzen botsen).

• Qiao kijkt naar al deze botsingen.
• Hij telt ze op, maar niet zomaar. Hij kijkt ook naar de "route" die de botsing nam door het 5-dimensionale huis.
• Hij maakt een soort rekenlijst (een getal of een symbool) van al deze botsingen.

Dit is zijn doorsnede-invariant.

3. De Gouden Regel: Als de Teken 0 is, is het Goed

Het mooie van deze rekenlijst is:

• Als de som van alle botsingen 0 is, betekent dit dat je de dansers (de vlakken) zo kunt bewegen dat ze elkaar nooit raken. Ze zijn dan isotoop. Je kunt ze van elkaar af krijgen zonder te knippen.
• Als de som niet 0 is, dan zitten ze vast in een knoop die je niet kunt ontwarren. Ze zijn dan niet isotoop, zelfs al lijken ze hetzelfde.

4. De Twee Magische Voorwaarden

De paper laat zien dat er twee situaties zijn waarin je altijd zeker weet dat de som 0 is, en dus dat de vlakken altijd van elkaar los te maken zijn:

1. Het Huis is Leeg (Eenvoudig): Als het 5-dimensionale huis geen "gaten" of complexe lussen heeft (wiskundig: de fundamentele groep is triviaal). Dan is er geen ruimte voor verwarring; alles is makkelijk te bewegen.
2. De "Magische Bal" (Algebraïsche Dual): Stel dat er ergens in het huis een speciale 3-dimensionale bal zweeft die het vlak "raakt" op precies één punt, als een magische anker. Als zo'n bal bestaat, fungeert hij als een "ontwarrener". Hij zorgt ervoor dat alle mogelijke knopen die je zou kunnen maken, weer open gaan.

Als een van deze twee dingen waar is, dan zijn alle vlakken die op elkaar lijken, ook echt hetzelfde.

5. Wanneer Lukt het Niet?

Maar wat als het huis vol zit met gaten en er geen magische bal is?
Dan kan het zijn dat je oneindig veel verschillende manieren hebt om een vlak te "knopen" in de ruimte, terwijl ze er allemaal hetzelfde uitzien als je ze van ver bekijkt.
Qiao laat zien dat als de ruimte vol zit met bepaalde soorten lussen (conjugatieklassen), je oneindig veel verschillende knopen kunt maken die niet van elkaar los te maken zijn. Het is alsof je een touw hebt dat je op oneindig veel manieren om een paal kunt wikkelen, en je kunt ze niet van elkaar scheiden zonder het touw te knippen.

Samenvatting in één zin

Deze paper zegt: "In een 5-dimensionale wereld kun je altijd twee vlakken van elkaar losmaken (isotoop maken) als ze een 'magische ankerbal' hebben of als de wereld zelf geen gaten heeft; anders kunnen ze in oneindig veel verschillende knopen vastzitten die er hetzelfde uitzien, maar niet los te maken zijn."

Het is een soort wiskundige GPS die je vertelt of je een knoop kunt ontwarren of dat je vastzit in een onoplosbare lus.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Isotopy Classes of Embeddings of Surfaces in 5-Manifolds" van Ruoyu Qiao, geschreven in het Nederlands.

Titel: Over de isotopieklassen van inbeddingen van oppervlakken in 5-variëteiten

Auteur: Ruoyu Qiao
Trefwoorden: Topologie, Inbeddingen, Isotopie, 5-variëteiten, Intersectiegetallen, Homotopie-invarianten.

---

1. Probleemstelling

Het centrale probleem in dit artikel is de relatie tussen homotopie en isotopie voor inbeddingen van gesloten, georiënteerde oppervlakken ($\Sigma$) in gesloten, georiënteerde 5-variëteiten ($N$).

In de topologie is het een klassiek vraagstuk of twee inbeddingen die homotoop zijn (continu vervormbaar tot elkaar), ook noodzakelijk isotopisch zijn (via een isotopie, een continue familie van inbeddingen).

• Context: In 4-variëteiten is dit onderwerp bestudeerd door Gabai (lichte-lamp-thuismethode voor bollen) en recentelijk door Lin et al., die aantoonden dat zonder extra voorwaarden oneindig veel niet-isotopische inbeddingen kunnen bestaan die wel homotoop zijn.
• Doel: Qiao onderzoekt dit probleem specifiek voor oppervlakken in 5-variëteiten. De vraag is: onder welke voorwaarden impliceert homotopie tussen twee inbeddingen $f, f': \Sigma \hookrightarrow N$ ook isotopie?

2. Methodologie

De auteur ontwikkelt een nieuwe invariant om de isotopieklassen binnen een gegeven homotopieklasse te classificeren. De aanpak is als volgt:

1. Intersectiegetal van Homotopieën:
   De kern van de methode is het definiëren van een "zelf-snijpunt-invariant" voor homotopieën. Als $H: \Sigma \times I \to N \times I$ een homotopie is tussen twee inbeddingen, kan deze worden beschouwd als een immersie van een 3-variëteit in een 6-variëteit.

   • De auteur generaliseert het Wall-intersectiegetal (oorspronkelijk voor immersies van $S^n$ in $N^{2n}$) naar dit specifieke geval.
   • Omdat $\Sigma$ niet noodzakelijk enkelvoudig samenhangend is ($\pi_1(\Sigma) \neq 0$), wordt het intersectiegetal gedefinieerd in termen van dubbelcosets van de fundamentele groep.

2. De Invariant $\mu$:
   Voor een homotopie $H$ wordt een waarde $\mu([H])$ gedefinieerd die ligt in een quotiëntgroep $A[f]$.

   • $A[f]$ is een quotiënt van de vrije $\mathbb{Z}$-module gegenereerd door de dubbelcosets $G \backslash \pi_1(N) / G$, waarbij $G = f_*(\pi_1(\Sigma))$.
   • De invariant houdt rekening met de oriëntatie en de homotopieklasse van de lussen die ontstaan door de snijpunten van de immersie.

3. Actie van Zelf-homotopieën:
   De auteur analyseert hoe de keuze van de homotopie tussen twee inbeddingen de invariant beïnvloedt.

   • De ruimte van homotopieën $H_f$ vormt een ruimte waarop de groep van zelf-homotopieën $H_f^0$ (homotopieën van $f$ naar $f$) werkt.
   • Door deze actie te analyseren via een CW-decompositie van $\Sigma$ (1-skelet, 2-cel), wordt de invariant gedefinieerd op de baanruimte (orbit space) $H_f / H_f^0$.
   • Dit leidt tot een geaffineerde actie van de fundamentele groep op de invariant, wat resulteert in een goed gedefinieerde afbeelding naar een quotiënt $A_f$.

4. Concordantie en Whitney-bewegingen:
   Het bewijs maakt gebruik van het feit dat als het intersectiegetal $\mu$ nul is, de homotopie kan worden "gezuiverd" van snijpunten via Whitney-schijven (Whitney moves), waardoor de homotopie homotoop is aan een isotopie. Dit wordt ondersteund door stellingen over concordantie in codimensie 3.

3. Belangrijkste Resultaten

Het hoofdstuk van het artikel is Stelling 1.1, die een bijectie vestigt tussen de isotopieklassen en een algebraïsche invariant:

• Stelling 1.1: Er bestaat een bijectie tussen de verzameling van isotopieklassen van inbeddingen homotoop aan $f$ (aangeduid als $p^{-1}([f])$) en de verzameling $A_f$.
  $$p^{-1}([f]) \cong A_f$$
  Hierbij is $A_f$ een quotiënt van de groep $A[f]$, bepaald door de actie van de fundamentele groep en de homotopiegroepen van $N$.

• Corollarium 1.2: Twee homotopie inbeddingen $f$ en $f'$ zijn isotopisch dan en slechts dan als hun invariant $f_q(f') = 0$ in $A_f$.

• Corollarium 1.3 (Positieve Resultaten): De auteur bewijst dat homotopie altijd isotopie impliceert in de volgende gevallen:

  1. Als $N$ simpeel samenhangend is ($\pi_1(N) = 0$).
  2. Als $f$ een algebraïsche duale bol toelaat (er bestaat een element in $\pi_3(N)$ met algebraïsch intersectiegetal 1 met $f$).
  3. Als de homomorfisme $f_*: \pi_1(\Sigma) \to \pi_1(N)$ surjectief is.
     In deze gevallen is de groep $A_f$ triviaal, wat betekent dat er slechts één isotopieklasse bestaat binnen de homotopieklasse.

• Corollarium 1.4 (Negatieve Resultaten): Er bestaan gevallen met oneindig veel niet-isotopische, maar wel homotopie inbeddingen. Dit gebeurt wanneer:

  • $\pi_2(N)$ en $\pi_3(N)$ triviaal zijn.
  • Er oneindig veel conjugatieklassen bestaan in de verzameling dubbelcosets $G \backslash \pi_1(N) / G$.
    Dit toont aan dat de voorwaarde van een duale bol of trivialiteit van $\pi_1$ noodzakelijk is voor een unieke classificatie.

4. Bijdrage en Significatie

• Generalisatie van bestaande theorie: Het werk generaliseert resultaten van Kosanovi´c, Schneiderman en Teichner (KST23) die zich beperkten tot 2-bollen ($S^2$) in 5-variëteiten. Qiao breidt dit uit naar oppervlakken met willekeurige genus ($g \geq 1$).
• Nieuwe Invariant: De constructie van de invariant $A_f$ is een significante bijdrage die mogelijk onafhankelijk van toepassing is in andere contexten van inbeddingstheorie. Het koppelt de isotopieproblematiek direct aan de homotopiegroepen van de omringende variëteit ($\pi_1, \pi_2, \pi_3$).
• Volledige Classificatie: Het artikel biedt een complete algebraïsche classificatie van isotopieklassen binnen een homotopieklasse. Het verduidelijkt precies welke topologische obstakels (gecodeerd in de fundamentele groep en hogere homotopiegroepen) voorkomen dat homotopie leidt tot isotopie.
• Contrast met 4-variëteiten: Het werk benadrukt het fundamentele verschil tussen de 4- en 5-dimensionale wereld. Waar in 4-variëteiten (zonder duale bollen) oneindig veel pathologische gevallen kunnen optreden, biedt de 5-dimensionale setting (met de juiste algebraïsche voorwaarden) een strakke classificatie via de geconstrueerde invariant.

Conclusie:
Ruoyu Qiao lost het "homotopie versus isotopie" probleem voor oppervlakken in 5-variëteiten op door een nauwkeurige invariant te construeren die gebaseerd is op de fundamentele groep van de omringende ruimte. Het resultaat is een krachtige stelling die aangeeft dat onder natuurlijke topologische voorwaarden (zoals de aanwezigheid van een duale bol of trivialiteit van de fundamentele groep), homotopie equivalent is aan isotopie, terwijl zonder deze voorwaarden de structuur complex en rijk is aan oneindig veel varianten.