Existence and deformability of topological Morse functions

Dit artikel presenteert een eenvoudige constructie voor continue families van topologische Morse-functies, waarmee de cruciale beperkingen rondom het bestaan en de vervormbaarheid van deze functies op topologische variëteiten worden opgeheven.

De kern

Stel je voor dat je een berglandschap moet beschrijven, maar je hebt geen gladde, wiskundige kaarten. Je hebt alleen een ruwe, gekreukte laken dat je over de berg hebt gegooid. In de wiskunde noemen we zo'n ruwe oppervlak een topologische variëteit.

Voor gladde, perfecte landschappen hebben wiskundigen al in de jaren '50 een fantastisch hulpmiddel bedacht: de Morse-functie. Dit is als een manier om het landschap te "scannen" door te kijken naar de toppen (pieken), de dalen (putten) en de paadjes die ze verbinden. Hiermee kun je precies begrijpen hoe de vorm van het landschap eruitziet.

Het probleem is echter: wat als je landschap niet glad is? Wat als het uit stukken papier bestaat die aan elkaar zijn geplakt, of als het een knikker is die uit plastic blokken is gebouwd? Dan werkt de oude, gladde methode niet meer. Wiskundigen hebben wel een versie bedacht voor deze ruwe vormen, de topologische Morse-functie, maar er was een groot probleem: niemand wist zeker of je deze functie op elk mogelijk ruw landschap kon vinden, en als je hem eenmaal had, was het heel moeilijk om hem een beetje te veranderen (bijvoorbeeld om te zien of de vorm stabiel is).

Ingrid Irmer, de auteur van dit paper, heeft een oplossing gevonden. Hier is de uitleg in simpele taal, met wat creatieve vergelijkingen:

1. Het idee: De "Min-Strategie"

Stel je voor dat je een groep vrienden hebt, en elke vriend heeft een eigen kaart van hetzelfde gebied.

• Vriend A zegt: "Ik ben 5 meter van de rivier."
• Vriend B zegt: "Ik ben 3 meter van de rivier."
• Vriend C zegt: "Ik ben 10 meter van de rivier."

Als je op een bepaalde plek staat, en je wilt weten hoe ver je echt van de rivier bent, kijk je naar de vriend die het kortst bij de rivier zit. Je neemt dus het minimum van al die afstanden.

Irmer zegt: "Als je genoeg van deze vrienden hebt, en hun afstandskaarten zijn 'convex' (dat betekent dat ze geen rare, ingewikkelde bochten hebben, maar eerder lijken op een bol of een kom), dan vormt de lijn van de 'kortste afstand' een perfecte topologische Morse-functie."

Het is alsof je duizenden lampen op een kamer zet. Waar de schaduwen van de lampen samenkomen, ontstaat er een duidelijk patroon van pieken en dalen, zelfs als de muren van de kamer niet perfect glad zijn.

2. Het probleem met de "Convexiteit"

In de wiskunde zijn "convexe" functies makkelijk: ze lijken op een kom. Als je een balletje in zo'n kom legt, rolt het altijd naar het laagste punt.
Het probleem was: op een complexe vorm (zoals een donut of een knikker met gaten) bestaan er geen enkele, grote "kom" die over het hele oppervlak werkt.

Irmer's oplossing is slim: in plaats van één grote kom, gebruikt ze veel kleine stukjes kom.

• Op elke plek op je ruwe landschap kijkt ze naar een klein stukje (een "kaart").
• Op dat stukje gedraagt de functie zich als een simpele kom.
• Ze pakt dan het laagste punt van al die kleine stukjes samen.

Dit werkt als een puzzel. Als je genoeg kleine, simpele puzzelstukjes hebt die allemaal convex zijn, en je plakt ze slim aan elkaar door het laagste punt te kiezen, krijg je een heel landschap dat zich gedraagt als een topologische Morse-functie.

3. Het grote doorbraak: "Verstrekken" (Deformability)

Voorheen dachten wiskundigen: "Oké, we hebben een manier om zo'n functie te maken, maar hij is stijf als een betonnen muur. Als je er een beetje aan trekt, breekt hij."

Irmer laat zien dat dit niet zo is. Ze gebruikt een vergelijking met gordijnen.
Stel je voor dat je een gordijn hebt dat is gemaakt van veel kleine, elastische draden (de convexe functies).

• Als je aan één draadje een klein beetje spanning geeft (vermenigvuldigt met een getal net iets groter dan 1), verandert het hele gordijn een beetje van vorm.
• Maar omdat de draden elastisch zijn, breekt het patroon niet. Het landschap verandert soepel.

Dit betekent dat je een continue familie van deze functies kunt maken. Je kunt ze langzaam veranderen, alsof je een klei-figuurtje vormt. Dit is cruciaal voor wiskundigen, want het betekent dat ze deze functies kunnen gebruiken om te testen of een vorm stabiel is, zonder bang te hoeven zijn dat hun gereedschap kapotgaat.

Samenvatting in één zin

Ingrid Irmer heeft bewezen dat je elk ruw, gekreukeld wiskundig landschap kunt "scannen" door het te bekijken als het laagste punt van een verzameling simpele, kom-vormige kaarten, en dat je dit landschap soepel kunt vervormen zonder de structuur te breken.

Waarom is dit belangrijk?
Het is alsof je eindelijk een universele sleutel hebt gevonden die past bij elke deur, zelfs die rare, oude deuren die je niet open kon krijgen. Het opent de deur voor nieuwe manieren om de vorm van de ruimte in het universum (of in abstracte wiskundige werelden) te begrijpen, zonder dat alles perfect glad hoeft te zijn.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Existence and Deformability of Topological Morse Functions" van Ingrid Irmer, geschreven in het Nederlands.

Titel: Bestaan en Deformeerbaarheid van Topologische Morse-functies

Auteur: Ingrid Irmer
Datum: 6 augustus 2025

---

1. Probleemstelling en Achtergrond

In de jaren 1950 definieerde Morse functies voor topologische variëteiten (manifolds) die analoog zijn aan de bekende gladde Morse-functies. Hoewel topologische Morse-functies, wanneer ze bestaan, vergelijkbare eigenschappen hebben als hun gladde tegenhangers voor het bestuderen van de topologie van een variëteit, zijn er twee fundamentele verschillen:

1. Bestaan: Het is niet bekend of er op elke topologische variëteit een topologische Morse-functie bestaat. In tegenstelling tot het gladde geval, waar deze functies "generiek" zijn (d.w.z. dat ze overal bestaan), is dit voor topologische variëteiten een open probleem.
2. Deformeerbaarheid: Het construeren van dergelijke functies of het bewijzen van hun bestaan is aanzienlijk moeilijker dan bij gladde functies op compacte variëteiten.

De kernvraag van dit artikel is hoe men een constructie kan geven voor continue families van topologische Morse-functies, aangezien de bestaande voorbeelden in de literatuur vaak een specifiek type (Min-type functies) volgen.

2. Methodologie en Definities

Het artikel baseert zich op het concept van Min-type functies en lokaal convexe functies.

• Definitie Topologische Morse-functie: Een continue functie $f: M \to \mathbb{R}$ op een $n$-dimensionale topologische variëteit $M$ is een topologische Morse-functie als elk punt ofwel regulier ofwel kritiek is.
  • Een punt is regulier als er een omgeving is die homeomorf is aan $\mathbb{R}^n$ waarbij één coördinaat $f$ is.
  • Een punt is kritiek met index $j$ als er een lokale parametrisatie bestaat waarbij $f(x) - f(p)$ een kwadratische vorm is met $j$ negatieve en $n-j$ positieve termen (analoog aan de gladde definitie).
• Min-type Functies: Een functie $f$ is van het Min-type als deze lokaal het minimum is van een eindige verzameling functies $\{f_i\}$.
• Convexiteit: Hoewel convexiteit niet direct gedefinieerd is op topologische variëteiten, wordt het concept overgedragen via kaarten (charts). Een functie is lokaal convex als deze, in de afbeelding van een lokale kaart, een convexe functie op een open deel van $\mathbb{R}^n$ is.

De methodologie van de auteur bestaat uit het generaliseren van bestaande resultaten over Riemanniaanse variëteiten naar topologische variëteiten door gebruik te maken van lokale convexiteit en de eigenschappen van het nemen van het minimum van een verzameling functies.

3. Belangrijkste Bijdragen en Resultaten

Het artikel presenteert twee hoofdstellingen die de existentie van topologische Morse-functies garanderen onder specifieke constructieve voorwaarden:

Stelling 1 (Op Riemanniaanse variëteiten)

Laat $F = \{f_i\}$ een verzameling convexe functies zijn op een Riemanniaanse variëteit $M$. Als $f(x) = \min \{f_i(x)\}$ en voor elke $x$ een omgeving $N_x$ bestaat waarin $f$ het minimum is van een eindige deelverzameling van $F$ (lokale eindigheid), dan is $f$ een topologische Morse-functie.

Stelling 2 (Op topologische variëteiten - De versterkte stelling)

Dit is de kernbijdrage voor topologische variëteiten. Laat $F = \{f_i\}$ een verzameling functies zijn op een $n$-dimensionale topologische variëteit $M$. Als voor elke $x \in M$:

1. $f(x) = \min \{f_i(x)\}$,
2. Er een omgeving $N_x$ bestaat die ligt binnen het domein van een kaart,
3. En binnen die kaart de functies in de eindige deelverzameling die het minimum bepaalt, convexe functies op $\mathbb{R}^n$ zijn,
   dan is $f$ een topologische Morse-functie.

Technische Nuances en Voorbeelden:

• Lokale Eindigheid: Het artikel benadrukt dat de voorwaarde van lokale eindigheid cruciaal is. Zonder deze voorwaarde (zoals geïllustreerd in Voorbeeld 4 over afstanden tot coördinaatassen in $\mathbb{R}^3$) is de functie geen topologische Morse-functie.
• Convexiteit vs. Concaviteit: De stellingen gelden ook voor het maximum van een verzameling concave functies.
• Constructie van Families: Een cruciaal inzicht is dat als $f$ een topologische Morse-functie is, het vermenigvuldigen van de onderliggende functies $f_i$ met positieve constanten (die dicht bij 1 liggen) resulteert in een nieuwe verzameling functies die nog steeds aan de voorwaarden voldoet. Hierdoor kunnen continue families van topologische Morse-functies worden geconstrueerd.

4. Bewijsstrategie

De bewijzen (Stelling 6 en 7 in het artikel) berusten op het analyseren van de niveauverzamelingen (level sets) en de raakkegels (tangent cones).

• Het bewijs toont aan dat de doorsnede van de sub-niveauverzamelingen van de convexe functies lokaal convex is.
• De raakkegel aan deze doorsnede is een kegel.
• De verzameling van richtingen waarin de functie toeneemt, vormt ook een kegel.
• Als deze kegel een lege inwendige heeft (geen richting van eerste orde toename), is het punt kritiek. Als de kegel een niet-lege inwendige heeft, is het punt regulier en is de niveauverzameling lokaal homeomorf aan een hypervlak.

5. Betekenis en Conclusie

• Oplossing voor Existentie: Het artikel biedt een constructief bewijs dat topologische Morse-functies bestaan voor een breed scala aan variëteiten, mits ze kunnen worden beschreven als het lokaal eindige minimum van (lokaal) convexe functies.
• Deformeerbaarheid: Hoewel topologische Morse-functies mogelijk niet "generiek" zijn in de zin dat ze op elke willekeurige variëteit spontaan voorkomen, toont het artikel aan dat ze niet rigide zijn. Men kan continue families van dergelijke functies construeren door de gewichten van de onderliggende convexe functies te variëren.
• Toepassingen: Deze resultaten zijn relevant voor de studie van afstandsfuncties op Riemanniaanse variëteiten, sfeerpakkingen (sphere packings), en de topologie van moduli-ruimten (via de systole-functie). Het versterkt de link tussen Min-type functies en de klassieke Morse-theorie in een topologische context.

Conclusie: Ingrid Irmer demonstreert dat hoewel het vinden van topologische Morse-functies lastig is, ze systematisch kunnen worden geconstrueerd via Min-type functies gebaseerd op lokale convexiteit. Dit opent de deur voor het gebruik van Morse-theoretische technieken in de topologie van niet-gladde variëteiten.