Technische Samenvatting: Eindtijd-singulariteiten van de Lagrangiaanse Mean Curvature Flow met Kwantitatief Precieze Dynamica

1. Probleemstelling en Context

Het centrale probleem dat wordt behandeld, is de vorming van eindtijd-singulariteiten in de Lagrangiaanse Mean Curvature Flow (LMCF) binnen de omringende ruimte $\mathbb{C}^n$. Hoewel de Thomas-Yau-vermoedens suggereren dat stabiele Lagrangiaanse submanifolds onder LMCF zouden moeten convergeren naar speciale Lagrangiaanse submanifolds (SLs), staat het echter vast dat eindtijd-singulariteiten over het algemeen onvermijdelijk zijn.

Vóór dit werk steunde het begrip van deze singulariteiten zwaar op kwalitatieve argumenten met behulp van het maximumprincipe, blow-up argumenten en compactheid. Er bestond een significante kloof in de kwantitatieve beschrijving van singulariteitsvorming. Specifiek was het wel bekend dat onder de zero-Maslov-aanname eindtijd-singulariteiten noodzakelijkerwijs van het Type II moeten zijn (waarbij de kromming sneller explodeert dan $(T-t)^{-1/2}$), maar de precieze blow-up snelheden en de gedetailleerde dynamica die tot deze singulariteiten leiden, waren onbekend. Het was onduidelijk of de gemiddelde kromming uniform begrensd kon blijven of welke specifieke kromming-blow-up snelheden zouden optreden.

Dit artikel beoogt expliciete oplossingen voor de LMCF te construeren die eindtijd-singulariteiten ontwikkelen met kwantitatief precieze dynamica, waarmee de eerste rigoureuze beschrijving van de kromming-blow-up snelheden en de geometrische structuur van de flow nabij de singulariteit wordt gegeven.

2. Methodologie

De auteurs maken gebruik van een geavanceerd analytisch kader dat combineert van modulatie-analyse, spectrale theorie en topologische argumenten om deze oplossingen te construeren. De methodologie verschilt van eerdere benaderingen die uitsluitend vertrouwden op het maximumprincipe.

2.1. Reductie tot een Volledig Niet-Lineaire Scalaire PDE

Door de flow te beperken tot cohomogeneity-one Lagrangiaanse submanifolds die invariant zijn onder een compacte, verbonden Lie-groep $G \leq SU(n)$ (waarbij generieke banen $(n-1)$-dimensionaal zijn), reduceert de LMCF tot een volledig niet-lineaire, scalaire parabolische PDE voor een profielfunctie $h(s, \tau)$. Deze reductie transformeert een quasilineair systeem in een scalaire vergelijking, wat de toepassing van maximumprincipe-technieken mogelijk maakt, hoewel de volledige niet-lineariteit aanzienlijke analytische uitdagingen introduceert nabij de singulariteit.

2.2. Modulatie-analyse en Spectrale Decompositie

De kern van de constructie betreft de analyse van de flow nabij een krimpend gezin van speciale Lagrangiaanse desingularisaties ($aL$). De profielfunctie wordt gedecomposeerd als:
$$h = f_a + \partial_s u$$
waarbij $f_a$ het profiel is van een speciale Lagrangiaanse kegel-desingularisatie geschaald door een tijdsafhankelijke parameter $a(\tau)$. De perturbatie $u$ wordt verder gedecomposeerd in een einddimensionaal component $\phi$ (gespannen door eigenfuncties van de geliniariseerde operator) en een restterm $v$:
$$u = \sum_{k=1}^K b_k(\tau)(\phi_{k,a} - \phi_{0,a}) + v$$
Hierbij zijn $\phi_{k,a}$ eigenfuncties van de geliniariseerde operator $H_a$, geconstrueerd in het begeleidende artikel [SS26]. De parameters $a(\tau)$ en $b_k(\tau)$ zijn modulatieparameters die worden gecontroleerd door een stelsel van gewone differentiaalvergelijkingen (modulatievergelijkingen).

2.3. Overwinnen van Niet-Integreerbaarheid

Een grote technische hindernis is dat de tangent flow (een transversaal paar van SL-kegels) niet-integreerbare deformaties toelaat. In tegenstelling tot eerdere constructies (bijv. het werk van Velázquez op mean curvature flow) waar $L^2$-methoden beschikbaar waren vanwege integreerbare deformaties, valt de vervalrate van het desingularisatieprofiel hier ($O(|x|^{1-n})$) buiten $L^2_{loc}$.
Om dit aan te pakken, vervangen de auteurs de standaard $L^2$-ruimten door een verzameling gewogen ruimten $\{L^2(L_a)\}_{a>0}$ en maken zij gebruik van perturbatieve spectrale theorie ontwikkeld in [SS26]. Dit maakt het mogelijk om de restterm $v$ te controleren ondanks het gebrek aan standaard $L^2$-integreerbaarheid.

2.4. Het Ważewski Box-argument

Het bestaan van een oplossing met de gewenste asymptotische gedrag wordt bewezen met behulp van een Ważewski topologisch argument (vaak een "box-argument" genoemd).

1. Een tijdsafhankelijke verzameling (de "box") $B(\tau)$ wordt gedefinieerd in de ruimte van parameters $(u, a)$.
2. De auteurs leiden een reeks integraal-schattingen (Sectie 3) en gewogen Hölder-schattingen (Sectie 4) af om aan te tonen dat als een oplossing uit deze box treedt, dit moet gebeuren via een specifieke $(K-1)$-dimensionale sfeer op de rand.
3. Door aan te nemen, ter bewijs van tegenspraak, dat alle oplossingen de box verlaten, construeren zij een continue retractie van een $K$-dimensionale bal naar de rand, wat topologisch onmogelijk is.
4. Deze tegenspraak impliceert het bestaan van ten minste één oplossing die voor alle tijd in de box blijft, en daarmee het gewenste asymptotische gedrag vertoont.

2.5. Regulariteit en Schattingen

Het bewijs rust op het vaststellen van:

• Modulatievergelijkingen: Het controleren van de evolutie van $a(\tau)$ en $b_k(\tau)$.
• Energie-schattingen: $L^2_a$ en $H^k_a$ schattingen voor de restterm $v$.
• Gewogen Hölder-schattingen: Het vaststellen van $C^{2,\alpha}$ bounds in drie onderscheiden regio's:
  • Parabolische Regio: $|s| \sim 1$.
  • Buitenste Regio: $|s| \gtrsim 1$.
  • Binnenste Regio: $|s| \lesssim 1$ (nabij de singulariteit).
    Cruciaal is dat de schattingen in de binnenste regio gebruikmaken van een blow-up argument gecombineerd met Liouville-type stellingen voor ancient solutions van de warmtevergelijking op de tangent-kegels en de gedesingulariseerde SLs.

3. Belangrijkste Resultaten

De hoofdstelling (Theorem 1.1) vestigt de existentie van een gladde, niet-compacte, $G$-invariante Lagrangiaanse mean curvature flow $L_K(t)$ in $\mathbb{C}^n$ voor specifieke dimensies en gehele getallen $K$:

• Condities: $n \geq 4, K \geq 2$; of $n=3, K \in \{2, 3, 4\}$.
• Singulariteitsvorming: De flow ontwikkelt een eindtijd-singulariteit in de oorsprong op tijdstip $T < \infty$.
• Kromming-blow-up Rate: De tweede fundamentele vorm explodeert met een expliciete snelheid:
  $$\sup_{L_K(t)} |A_{L_K(t)}| \sim (T-t)^{-K/2}$$
  Dit biedt de eerste kwantitatieve bevestiging van specifieke Type II blow-up snelheden voor volledig niet-lineaire parabolische PDE's voortkomend uit LMCF.
• Geometrische Structuur:
  • De tangent flow bij de singulariteit is een uniek transversaal paar van $G$-invariante speciale Lagrangiaanse kegels $C_0 \cup C_1$.
  • De Type II blow-up limiet is een gladde, $G$-invariante speciale Lagrangiaanse desingularisatie $aL$.
• Initiële Data: De oscillatie van de initiële Lagrangiaanse hoek kan willekeurig klein worden genomen, wat betekent dat de initiële data willekeurig dicht bij het zijn van een speciale Lagrangiaanse submanifold ligt.

4. Betekenis en Claims

Het artikel claimt de eerste constructie te zijn van een Type II blow-up voor een volledig niet-lineaire parabolische PDE met behulp van ofwel de Hadžić-Raphaël spectrale strategie of de Dávila-del Pino-Wei gluing strategie.

• Kwantitatieve Precisie: Het herstelt het gebrek aan kwantitatief precieze beschrijvingen in de voorgaande literatuur over singulariteitsvorming, door expliciete kromming-blow-up snelheden en gedetailleerde asymptotische profielen te bieden.
• Analytische Innovatie: Het werk toont aan hoe men niet-integreerbare deformaties kan behandelen in de context van volledig niet-lineaire PDE's door $L^2$-methoden te vervangen door spectrale analyse op een gezin van gewogen ruimten.
• Voltooiing van een Onderzoeksagenda: Het resultaat wordt gepresenteerd als een voltooiing van een probleem gesteld door Joyce [Joy15, Problem 3.12(a)] betreffende de dynamica van speciale Lagrangiaanse kegels en hun desingularisaties in dimensies $n \geq 3$.
• Methodologische Uitbreiding: Het breidt technieken uit die eerder werden toegepast op semilineaire warmtevergelijkingen, het Keller-Segel systeem en de Yang-Mills heat flow naar de meer uitdagende setting van volledig niet-lineaire geometrische flows.

De auteurs merken expliciet op dat hun constructie gebaseerd is op een "modulatie-analyse rond een krimpende familie van cohomogeneity-one speciale Lagrangiaanse desingularisaties" en sterk leunt op de perturbatieve spectrale theorie ontwikkeld in hun begeleidende artikel [SS26]. Zij beweren niet de algemene Thomas-Yau conjectuur op te lossen, maar bieden een rigoureus, kwantitatief model van hoe singulariteiten kunnen ontstaan en worden opgelost (in de zin van de blow-up limiet) binnen deze specifieke symmetrische setting.