Simple homotopy types of even dimensional manifolds

Titel: Eenvoudige homotopietypen van even dimensionale variëteiten

Auteurs: Csaba Nagy, John Nicholson, Mark Powell
Trefwoorden: Variëteiten, eenvoudige homotopie-equivalentie, algebraïsche K-theorie, chirurgie-obstakels, lensruimten.

---

1. Probleemstelling en Achtergrond

In de topologie van variëteiten is een fundamenteel onderscheid te maken tussen drie soorten equivalentierelaties:

1. Homeomorfisme: Een continue bijectie met een continue inverse.
2. Eenvoudige homotopie-equivalentie ($\simeq_s$): Een homotopie-equivalentie die homotoop is aan een samenstelling van elementaire expansies en collapses (geïntroduceerd door J.H.C. Whitehead).
3. Homotopie-equivalentie ($\simeq$): Een continue afbeelding met een homotopische inverse.

Het is bekend dat voor compacte CW-complexen elke homeomorfisme een eenvoudige homotopie-equivalentie is. De omgekeerde richting geldt echter niet altijd. Een klassiek voorbeeld zijn 3-dimensionale lensruimten (zoals $L(7,1)$ en $L(7,2)$), die homotopie-equivalent maar niet homeomorf zijn; Reidemeister-torsie (en later Whitehead-torsie) onderscheidt deze.

Het centrale probleem: Bestaan er gesloten variëteiten in even dimensies ($n \ge 4$) die homotopie-equivalent zijn, maar niet eenvoudig homotopie-equivalent?
Tot dit artikel waren dergelijke voorbeelden alleen bekend voor oneven dimensies ($n \ge 5$). Voor even dimensies was het een open vraag of de set van eenvoudige homotopietypen binnen een gegeven homotopietype triviaal was.

---

2. Methodologie

De auteurs combineren technieken uit de chirurgietheorie (surgery theory), algebraïsche K-theorie en getaltheorie om dit probleem aan te pakken.

A. Algebraïsche Karakterisering (Theorema B)

De kern van de methode is het karakteriseren van de eenvoudige homotopie-variëteitenverzameling $M^h_s(M)$, gedefinieerd als de verzameling van $n$-variëteiten $N$ die homotopie-equivalent zijn aan $M$, gequotiënteerd naar eenvoudige homotopie-equivalentie.

De auteurs bewijzen dat deze verzameling geïsoleerd kan worden in termen van:

• De Whitehead-groep $Wh(\pi_1(M))$.
• De actie van homotopie-automorfismen $hAut(M)$ op deze groep.
• De chirurgie-obstakelafbeelding $\sigma_s$ uit de chirurgie-exacte rij.

Specifiek wordt $M^h_s(M)$ geïdentificeerd met een orbitset van een actie op een specifieke deelgroep van de Whitehead-groep, afhankelijk van de chirurgie-obstakels. Dit leidt tot een commutatief diagram dat de relatie blootlegt tussen:

• $M^h_s(M)$: Variëteiten homotopie-equivalent aan $M$ (modulo $\simeq_s$).
• $M^{hCob}_s(M)$: Variëteiten die $h$-cobordant zijn aan $M$ (modulo $\simeq_s$).
• $M^h_{s,hCob}(M)$: Variëteiten die equivalent zijn onder de door $\simeq_s$ en $h$-cobordantie gegenereerde relatie.

B. Constructie van Voorbeelden

Om de theorie toe te passen, kiezen de auteurs als testobjecten variëteiten van de vorm:
$$M = S^1 \times L$$
waarbij $L$ een lensruimte is van dimensie $n-1$ met fundamentele groep $C_m$ (cyclische groep van orde $m$). De fundamentele groep van $M$ is dan $G = C_\infty \times C_m$.

C. Algebraïsche en Getaltheoretische Analyse

Om de grootte van de verzamelingen te bepalen, analyseren de auteurs de structuur van $Wh(C_\infty \times C_m)$ met behulp van de Bass-Heller-Swan decompositie:
$$Wh(C_\infty \times C_m) \cong Wh(C_m) \oplus \tilde{K}_0(\mathbb{Z}C_m) \oplus NK_1(\mathbb{Z}C_m)^2$$
De analyse richt zich op:

1. Involutie: De werking van de orientatiekarakteristiek op deze groepen.
2. Nil-groepen: Het gedrag van $NK_1(\mathbb{Z}C_m)$. Een cruciaal resultaat is dat $NK_1(\mathbb{Z}C_m) = 0$ als en slechts als $m$ vierkantsvrij is. Anders is deze groep oneindig.
3. Classaantallen: Voor het geval $m$ vierkantsvrij is, wordt de analyse teruggebracht tot de involutie op de gereduceerde projectieve classgroep $\tilde{K}_0(\mathbb{Z}C_m)$, die isomorf is met de lokaal vrije classgroep $C(\mathbb{Z}C_m)$. Dit vereist diepgaande resultaten over de classaantallen van cyclotomische velden ($h_m$ en $h_m^-$) en kernel-groepen $D(\mathbb{Z}C_m)$.

---

3. Belangrijkste Resultaten

Theorema A: Bestaan van nieuwe voorbeelden

Voor elke even dimensie $n \ge 4$ bestaat er een oneindige collectie van gesloten, samenhangende, oriënteerbare $n$-variëteiten die onderling homotopie-equivalent zijn, maar paarsgewijs niet eenvoudig homotopie-equivalent.

• Deze variëteiten zijn van de vorm $S^1 \times L$.
• Voor $n > 4$ kunnen ze glad (smooth) worden gekozen; voor $n=4$ zijn ze topologisch.
• Dit is het eerste bewijs dat dergelijke fenomenen ook in even dimensies voorkomen.

Theorema C, D en E: Kwantitatieve analyse

De auteurs classificeren precies wanneer de verzamelingen $M^h_s(M)$, $M^{hCob}_s(M)$ en $M^h_{s,hCob}(M)$ triviaal, eindig of oneindig zijn, afhankelijk van de parameter $m$ (orde van de lensruimte):

1. Oneindige verzamelingen: Als $m$ niet vierkantsvrij is (bijv. $m=4$), dan is de verzameling van eenvoudige homotopietypen oneindig. Dit komt door de oneindige $NK_1$-groep.
2. Eindige maar niet-triviale verzamelingen: Als $m$ wel vierkantsvrij is, hangt de grootte af van specifieke getaltheoretische eigenschappen van $m$:
   • De verzameling is triviaal (grootte 1) voor specifieke kleine waarden van $m$ (bijv. $m \in \{2, 3, 5, 6, 7, 10, 11, 13, 14, 17, 19\}$ voor $M^h_s$).
   • Voor andere waarden van $m$ (bijv. $m=15, 29$) is de verzameling eindig maar groter dan 1.
3. Asymptotisch gedrag:
   • De grootte van de verzamelingen groeit super-exponentieel met $m$ (voor $M^h_s$ en $M^{hCob}_s$).
   • Voor de verzameling modulo $h$-cobordantie ($M^h_{s,hCob}$) is het gedrag complexer: er zijn oneindig veel $m$ waarvoor de verzameling triviaal is, maar de limiet superior van de infimum over $n$ is oneindig.

Theorema 1.5: Eenvoudige homotopie-automorfismen

Een cruciaal technisch resultaat is dat elke homotopie-automorfisme van $S^1 \times L$ een eenvoudige homotopie-equivalentie is (Whitehead-torsie is 0). Dit betekent dat de actie van $hAut(M)$ op de Whitehead-groep volledig wordt bepaald door de geïnduceerde automorfismen op de fundamentele groep $\pi_1(M)$.

---

4. Significatie en Impact

1. Oplossing van een open probleem: Het artikel sluit een langdurige lacune in de classificatietheorie van variëteiten door te tonen dat het onderscheid tussen homotopie-equivalentie en eenvoudige homotopie-equivalentie ook in even dimensies bestaat, wat eerder niet het geval leek te zijn voor de bekende productconstructies.
2. Verbinding tussen gebieden: Het werk legt een sterke brug tussen de topologie van variëteiten (chirurgie, $h$-cobordantie) en zuivere algebra/number theory (K-theorie van groepenringen, classaantallen van cyclotomische velden, divisibiliteit van $h_m^-$).
3. Kwantitatieve precisie: In plaats van alleen het bestaan van voorbeelden aan te tonen, leveren de auteurs een volledige classificatie en asymptotische analyse van de grootte van deze verzamelingen. Ze tonen aan dat de complexiteit van de "simple homotopy manifold set" exponentieel toeneemt met de complexiteit van de fundamentele groep.
4. Methodologische doorbraak: De toepassing van de Ranicki-Rothenberg exacte rij en de analyse van de involutie op $\tilde{K}_0(\mathbb{Z}C_m)$ biedt een nieuw raamwerk voor het bestuderen van variëteiten met niet-triviale fundamentele groepen in even dimensies.

Kortom, dit artikel levert een fundamentele bijdrage aan het begrip van de fijne structuur van homotopietypen van variëteiten en toont aan dat algebraïsche K-theorie en getaltheorie onmisbare tools zijn voor het onderscheiden van topologische structuren die op het eerste gezicht identiek lijken.