🔢 mathematics

Stationary and stable varifolds with singularities

In dit artikel construeren de auteurs minimale $m$ -dimensionale immersies in $\R^{m+1}$ met een $C^{1, \alpha}$ -metriek, waarin een rij van katenoidale nekken of drijvende schijven convergeert naar een geïsoleerd singulier vlak punt met multipliciteit 2.

Oorspronkelijke auteurs: Camillo De Lellis, Jonas Hirsch, Luca Spolaor

Gepubliceerd 2026-04-14

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Camillo De Lellis, Jonas Hirsch, Luca Spolaor

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een heel glad, perfect plat stukje zeildoek (een oppervlak) hebt. In de wiskunde noemen we zoiets een "minimaal oppervlak". Het is als een zeepbel of een zeepfilm: het neemt altijd de kleinste mogelijke oppervlakte in beslag. Als je zo'n zeepfilm in een perfecte, gladde wereld (de Euclidische ruimte) maakt, gedraagt hij zich heel voorspelbaar en blijft hij overal mooi en glad.

Maar wat gebeurt er als de wereld waarin je dit zeildoek plaatst, niet perfect glad is? Wat als de "grond" waarop je dit doet, op sommige plekken een beetje ruw of onregelmatig is?

Deze wetenschappelijke paper, geschreven door Camillo De Lellis, Jonas Hirsch en Luca Spolaor, onderzoakt precies dat. Ze bouwen een heel speciaal, wat "raar" voorbeeld om te laten zien wat er gebeurt als de ruimte niet helemaal perfect is.

Hier is de uitleg in gewone taal, met een paar creatieve vergelijkingen:

1. Het Probleem: De "Gladde" Droom

Wiskundigen hebben al jarenlang geprobeerd te bewijzen dat deze zeildoeken (die ze "varifolds" noemen) overal glad moeten zijn, tenzij er iets heel extreems gebeurt. Ze hoopten dat ze een regel konden vinden die zegt: "Als de ruimte redelijk glad is, dan is je zeildoek ook overal glad."

Maar de auteurs zeggen: "Niet zo snel!" Ze tonen aan dat als de ruimte net iets minder glad is dan perfect (ze noemen dit een $C^{1,\alpha}$ -metriek, wat klinkt als "bijna glad, maar met een klein beetje korreligheid"), je een zeildoek kunt maken dat niet overal glad is.

2. Het Experiment: De Oneindige Trap

Stel je een enorme, oneindige trap voor.

Het Basisidee: Ze beginnen met twee vlakke zeildoeken die elkaar raken in het midden (het punt 0). Normaal gesproken zouden ze gewoon plat blijven.
De "Surgery" (Operatie): Maar in het midden, waar ze elkaar raken, plakken ze een oneindige reeks van kleine "halsjes" of "ringen" (ze noemen dit catenoidal necks, denk aan de vorm van een zeepbel die in het midden heel dun wordt) tussen de twee lagen.
Het Resultaat: In plaats van één gladde stapel, krijg je een structuur die eruitziet als een ladder met oneindig veel sporten, die allemaal naar het middelpunt toe lopen.

In hun eerste voorbeeld (Stelling 1.1) maken ze een oppervlak dat eruitziet als twee lagen die elkaar raken, maar in het midden zit er een oneindige reeks van deze "catenoid-halsjes" tussen. Het oppervlak is overal glad, behalve in het exacte middelpunt. Daar is het "kapot" of singulier. En het gekke is: het oppervlak heeft oneindig veel "gaten" of "ringen" (genus oneindig) die zich allemaal ophopen op dat ene punt.

3. Het Tweede Experiment: De Zwevende Schijven

In hun tweede voorbeeld (Stelling 1.2) doen ze iets vergelijkbaars, maar dan met "zwevende schijven".

Stel je voor dat je twee zeildoeken hebt die elkaar raken, maar nu plakken ze er kleine, ronde schijfjes tussen die als een brug dienen.
Deze schijven komen samen in een cirkel en vormen een soort Y-vorm (drie stukken die samenkomen onder gelijke hoeken, net als de randen van een zeepbel die drie wanden raken).
Ze plakken een oneindige reeks van deze "zwevende schijven" in de buurt van het middelpunt.

Het resultaat is weer een oppervlak dat overal stabiel is (het wil niet instorten), maar dat in het middelpunt een rare, dubbele structuur heeft met oneindig veel kleine onderdelen die daar samenkomen.

4. Waarom is dit belangrijk? (De "Ruwe" Grond)

De sleutel tot dit verhaal is de "grond" waarop ze dit bouwen.

In een perfecte wereld (een gladde ruimte) zou dit oneindige ophopen van ringen of schijven in het middelpunt onmogelijk zijn voor een stabiel oppervlak. Het zou zichzelf moeten "repareren" tot een glad vlak.
Maar de auteurs hebben een ruimte bedacht die net niet perfect glad is. Het is glad genoeg om te werken, maar ruw genoeg om te voorkomen dat het oppervlak zichzelf repareert.
Het is alsof je een zeepbel probeert te maken op een oppervlak dat net een beetje korrelig is. De korreligheid zorgt ervoor dat de zeepbel een rare vorm aanneemt die hij in een perfect glad bad niet zou hebben.

5. De Conclusie: Een Nieuwe Grens

Deze paper is een waarschuwing voor wiskundigen. Het zegt:
"Jullie hoopten dat je een simpele regel kon vinden die zegt dat deze oppervlakken altijd glad zijn. Maar wij tonen aan dat als de ruimte maar een klein beetje minder perfect is dan gedacht, je oppervlakken kunt maken die eruitzien als een chaos van oneindig veel ringen of schijven die in één punt samenkomen."

Het is alsof je dacht dat alle huizen op een perfecte, vlakke weg altijd rechtop staan. Maar als de weg een heel klein beetje helling of oneffenheid heeft, kunnen huizen ineens gaan "schuiven" en een hele rare, ingewikkelde stapel vormen die je niet had verwacht.

Kortom:
De auteurs hebben een wiskundig "monster" gebouwd. Het is een oppervlak dat stabiel is en overal glad lijkt, maar in het midden een oneindige lading van complexe structuren (ringen of schijven) heeft die allemaal in één punt samenkomen. Dit is alleen mogelijk omdat de "ruimte" waarin het bestaat, net een beetje "ruw" is. Dit bewijst dat de regels voor gladheid in de wiskunde strikter zijn dan we dachten, en dat de kwaliteit van de ruimte waarin we kijken, cruciaal is.

1. Probleemstelling en Context

Het paper adresseert een fundamenteel vraagstuk in de meetkundige maattheorie en de theorie van stationaire integral varifolds: de structuur en de dimensie van de singulariteitsverzameling.

Achtergrond: Na het baanbrekende werk van Allard [1] is bekend dat stationaire integral varifolds regulier zijn buiten een singulariteitsverzameling van lage dimensie. Een open probleem is echter of er een bovengrens bestaat voor de grootte van deze singulariteitsverzameling, en wat de optimale structuur daarvan is.
De Obstructie: Uit eerdere werken blijkt dat de belangrijkste obstakel voor het bewijzen van een scherpe bovengrens de mogelijke aanwezigheid is van topologie op het gladde deel van de varifold die zich ophoopt bij een vlakke singulariteit.
Het Doel: De auteurs willen aantonen dat dit scenario (ophoping van topologie bij een vlakke singulariteit) wel degelijk optreedt wanneer de omringende metiek (de metrische structuur van de ruimte) slechts een lage regulariteit heeft, specifiek $C^{1,\alpha}$ met $\alpha \in [0, 1)$ . Ze construeren tegenvoorbeelden die aantonen dat bepaalde reguliere theorema's falen onder deze voorwaarden.

2. Belangrijkste Resultaten

De auteurs bewijzen twee hoofdstellingen die de constructie van specifieke minimal oppervlakten beschrijven in $\mathbb{R}^{m+1}$ met een $C^{1,\alpha}$ -metiek:

Stelling 1.1 (Stationair geval): Er bestaat een $C^{1,\alpha}$ -metiek $g$ en een $m$ -dimensionale integraal stroom $T$ die stationair is ten opzichte van $g$ , zodanig dat:
1. $T$ wordt geïnduceerd door een minimaal ingebed oppervlak $\Sigma$ in $B_1(0) \setminus \{0\}$ .
2. De varifold-tangentkegel van $\Sigma$ in de oorsprong is $2\llbracket \mathbb{R}^m \times \{0\} \rrbracket$ (een dubbel vlak met multipliciteit 2).
3. Het genus van $\Sigma \cap B_r(0) \setminus \{0\}$ is oneindig voor elke $r > 0$ . Dit betekent dat er een oneindige opeenvolging van "catenoïde nekken" is die naar de singulariteit toelopen.
Stelling 1.2 (Stabiel geval): Er bestaan een $C^{1,\alpha}$ -metiek $g$ en een stationaire varifold $V$ die stabiel is, met de volgende eigenschappen:
1. Er is een oneindige reeks van onderling disjuncte inbeddingen $\gamma_k$ van $S^{m-1}$ die naar de oorsprong accumuleren, met een eindige som van hun $(m-1)$ -dimensionale maat.
2. De varifold $V$ is een stabiel minimaal oppervlak $\Sigma$ buiten deze ringen en de oorsprong.
3. De tangentkegel in de oorsprong is opnieuw een dubbel vlak ( $2\llbracket \mathbb{R}^m \times \{0\} \rrbracket$ ).
4. Rond elke ring $\gamma_k$ bestaat $\Sigma$ uit drie componenten die onder gelijke hoeken samenkomen (een "drievoudige knooppunt" structuur).

Belangrijke Observaties:

In beide gevallen is de metiek slechts $C^{1,\alpha}$ . De auteurs kunnen de Ricci-kromming rond de oorsprong niet controleren, wat waarschijnlijk een beperking is van hun methode en niet inherent aan het probleem.
Het oppervlak in Stelling 1.2 is lokaal area-minimiserend modulo 3, maar niet area-minimiserend in de buurt van de oorsprong (vanwege de dichtheid 2).
De resultaten suggereren dat eisen zoals "eindige $H^{n-1}$ -maat van de singulariteitsverzameling" (zoals voorgesteld in recente werken [3]) niet voldoende zijn om reguliere structuren te garanderen zonder extra topologische aannames.

3. Methodologie en Constructie

De constructie is gebaseerd op een iteratief "surgery"-proces waarbij lokale modellen worden ingebracht in een basismodel.

A. De Modellen

Basismodel: Een unie van twee minimale grafieken die raakken aan de oorsprong. In 2D wordt dit geconstrueerd via Weierstrass-data met een harmonische polynoom $z^N$ . In hogere dimensies wordt dit uitgebreid of aangepast met behulp van sferische harmonischen om transversale snijpunten te garanderen.
Lokale Modellen (Surgery):
- Catenoïden: Klassieke minimale oppervlakken met twee "einden". De auteurs gebruiken geschaalde catenoïden om twee grafieken met elkaar te verbinden.
- Drijvende Schijven (Floating Disks): Een unie van twee stukken catenoïde en een vlakke schijf die samenkomen in een gemeenschappelijke cirkel onder hoeken van $2\pi/3$ . Dit model is stabiel en vormt een cyclus modulo 3.

B. De Gluing-methode (Samenvoegen)

De kern van de constructie ligt in het naadloos verbinden van het basismodel met de lokale modellen (catenoïde of drijvende schijf) in een ringvormig gebied.

Calibratievormen: Om te garanderen dat het samengestelde oppervlak stationair (en in het tweede geval stabiel) blijft onder de nieuwe metiek, construeren de auteurs een gesloten differentiaalvorm $\omega$ (een calibratie) in een tubulaire omgeving van het oppervlak. Deze vorm voldoet aan $d\omega = 0$ en is gelijk aan het volumeform op het oppervlak.
Conforme Metiek: De auteurs passen de Euclidische metiek conformaal aan ( $g = \lambda^2 \delta$ ) zodanig dat de geselecteerde vorm $\omega$ een calibratie wordt voor de nieuwe metiek. De functie $\lambda$ wordt zorgvuldig geconstrueerd om de regulariteit van de metiek ( $C^{1,\alpha}$ ) te behouden.
Iteratief Proces: Ze construeren een oneindige reeks van deze "gluing"-stappen op schalen $r_k \to 0$ . Door de parameters (zoals de hoogte $H$ en de straal $\rho$ van de nekken) zorgvuldig te kiezen, zorgen ze ervoor dat de som van de massa's convergeert en dat de limiet van de metieken en oppervlakken goed gedefinieerd is.

C. Regulariteitsanalyse

Een cruciaal technisch aspect is de schatting van de afgeleiden van de conforme factor $\lambda$ . De auteurs tonen aan dat de afgeleiden van de basisoplossing (die niet "plat" genoeg is) de regulariteit van de totale metiek beperken tot $C^{1,\alpha}$ . In hogere dimensies ( $m > 2$ ) is de schatting superlineair, wat de constructie complexer maakt, maar de $C^{1,\alpha}$ -grens blijft een beperking van de methode.

4. Technische Bijdragen

Constructie van Singulariteiten: Het leveren van expliciete voorbeelden van stationaire en stabiele varifolds met een singulariteit van multipliciteit 2, omringd door oneindige topologie (oneindig genus of oneindige ringen).
Optimaliteit van Regulariteit: Het aantonen dat de resultaten van recente regulariteitsstellingen (zoals die van Bellettini [3] of De Lellis & Spolaor [13]) afhankelijk zijn van de regulariteit van de metiek of topologische aannames. Zonder deze aannames (of met lagere regulariteit) kunnen pathologische gevallen optreden.
Calibratie-techniek: Een verfijning van de techniek om calibratievormen te construeren in een tubulaire omgeving bij het samenvoegen van verschillende minimale oppervlakken, specifiek aangepast voor niet-Euclidische (maar close-to-Euclidean) metieken.

5. Betekenis en Impact

De resultaten hebben belangrijke implicaties voor het veld van de geometrische maattheorie:

Beperking van Allard's Stelling: Het paper suggereert dat het verbeteren van Allard's interieurregulariteitsstelling (die garandeert dat varifolds met lage dichtheid regulier zijn) extreem moeilijk is, omdat topologische complicaties (zoals oneindig genus) kunnen ontstaan rond singulariteiten van multipliciteit 2.
Topologische Aannames: Het onderstreept dat topologische trivialiteit van het multiplicity-1 deel rond een multiplicity-2 punt een noodzakelijke voorwaarde lijkt te zijn voor reguliere resultaten. Zonder deze voorwaarde kunnen "bad" voorbeelden worden geconstrueerd.
Regulariteit van de Metiek: Het benadrukt dat de regulariteit van de achtergrondmetiek ( $C^{1,\alpha}$ vs $C^2$ of hoger) een kritieke factor is in de structuur van de singulariteitsverzameling. De constructie toont aan dat bij $C^{1,\alpha}$ -metieken de singulariteitsverzameling veel complexer kan zijn dan bij gladde metieken.

Kortom, dit paper levert een krachtig negatief antwoord op de vraag of er universele bounds zijn voor de grootte van de singulariteitsverzameling zonder extra topologische of regulariteitsvoorwaarden, en markeert een grens in de huidige theorie van stationaire varifolds.