Special Lagrangians with multiple isolated singularities

Technische Samenvatting: Special Lagrangiaanse submanifolds met meerdere geïsoleerde singulariteiten

Probleemstelling
Dit artikel behandelt de constructie van verbonden special Lagrangiaanse submanifolds in $\mathbb{C}^m$ ($m \geq 3$) die meerdere geïsoleerde kegelvormige singulariteiten (conical singularities) bezitten. Terwijl de deformatietheorie van gladde compacte special Lagrangiaanse submanifolds goed begrepen is (McLean), en de deformatietheorie van singulariteitische special Lagrangiaanse submanifolds gemodelleerd op een enkele kegel is bestudeerd (Joyce, Pacini), blijft de existentie van verbonden voorbeelden met meerdere voorgeschreven singulariteiten een aanzienlijke uitdaging. Specifiek beogen de auteurs het te generaliseren van het "brugprincipe" (bridge principle) voor minimale kegels, oorspronkelijk ontwikkeld door Nathan Smale, naar de special Lagrangiaanse setting. Het doel is om te bewijzen dat men, gegeven een eindige lijst van reguliere special Lagrangiaanse kegels met dezelfde Lagrangiaanse hoek, een verbonden special Lagrangiaanse submanifold kan construeren waarvan de raakkegels (tangent cones) bij de singulariteiten precies overeenkomen met de voorgeschreven lijst.

Methodologie
De auteurs maken gebruik van een perturbatieve gluing-strategie, waarbij zij de kaders van Caffarelli–Hardt–Simon en Smale uitbreiden. De methodologie verloopt in drie hoofdfasen:

1. Constructie van benaderende oplossingen:
   De auteurs construeren een benaderende oplossing $L_\varepsilon$ door afgeknipte reguliere special Lagrangiaanse kegels $C_1, \dots, C_N$ te verbinden via vlakke Lagrangiaanse stroken (getermineerd als "$\varepsilon$-bruggen"). In tegenstelling tot de bruggen van Smale voor minimale oppervlakken, die steunen op schattingen van de gemiddelde kromming, vereist de special Lagrangiaanse setting controle over de Lagrangiaanse hoek. De auteurs maken gebruik van een "afvlakkingsprocedure" (flattening procedure), geïnspireerd door het werk van Dimler en Smale over grafische minimale oppervlakken, om ervoor te zorgen dat de benaderende oplossing een Lagrangiaanse hoekdefect $\Theta_0^\varepsilon$ heeft die niet alleen klein is in $L^p$, maar ook in de $C^{0,\alpha}$-norm. Deze $C^{0,\alpha}$-controle is cruciaal voor het beheersen van de niet-lineaire resttermen in de special Lagrangiaanse vergelijking.

2. Linearisatie en Functionele Analyse:
   Het probleem van het vinden van een exacte special Lagrangiaanse submanifold wordt gereduceerd tot het oplossen van een niet-lineaire partiële differentiaalvergelijking voor een scalaire functie $u$ (de potentiaal van een gesloten 1-vorm). De vergelijking heeft de vorm:
   $$\Delta_{L_\varepsilon} u = -\Theta_0^\varepsilon - R(u)$$
   waarbij $\Delta_{L_\varepsilon}$ de Laplaciaan op de benaderende manifold is, $\Theta_0^\varepsilon$ het initiële hoekdefect, en $R(u)$ een niet-lineaire restterm.
   Een essentieel technisch onderscheid met het geval van minimale oppervlakken is dat de linearisatie van de Lagrangiaanse hoek een eerste-orde operator is op gesloten 1-vormen, die de auteurs identificeren met exacte 1-vormen (via Lemma 1) om met scalaire potentialen te werken. Dit maakt de toepassing van Fredholm-theorie voor tweede-orde kegelvormige operatoren mogelijk. De auteurs werken binnen gewogen Hölder- en Sobolev-ruimten ($C^{k,\alpha,\nu}$ en $\rho^\delta H^k$) om het gedrag van de oplossingen nabij de kegelsingulariteiten te beheren.

3. Vastpuntargument:
   Om de niet-lineaire vergelijking op te lossen, definiëren de auteurs een operator $P_\psi$ die een functie $u$ afbeeldt op de oplossing $v$ van de lineaire vergelijking met specifieke randvoorwaarden en projecties op de kern van de Laplaciaan. Zij bewijzen dat deze operator, voor voldoende kleine $\varepsilon$ en kleine randgegevens, een specifieke begrensde, convexe, compacte deelverzameling van de functieruimte in zichzelf afbeeldt. Door het toepassing van de stelling van Schauder (Schauder's Fixed Point Theorem), stellen zij de existentie van een vast punt $u$ vast, wat een exacte special Lagrangiaanse submanifold $L_{du}$ oplevert.

Kernbijdragen en Resultaten

• Het Brugprincipe voor Special Lagrangiaanse submanifolds (Theorem 1): Het primaire resultaat stelt dat voor elke eindige lijst van reguliere special Lagrangiaanse kegels $C_1, \dots, C_N$ in $\mathbb{C}^m$ die dezelfde Lagrangiaanse hoek delen en zodanig zijn gerangschikt dat opeenvolgende kegels langs een straal tangenteren aan een gemeenschappelijk affien Lagrangiaans vlak, er een verbonden special Lagrangiaanse submanifold met rand bestaat die $N$ geïsoleerde kegelsingulariteiten heeft gemodelleerd op deze kegels.
• Deformatietheorie van een enkele kegel (Theorem 2/3): Als voorlopige stap bewijzen de auteurs een special Lagrangiaans analoog van het Caffarelli–Hardt–Simon perturbatieresultaat. Zij tonen aan dat men, voor een enkele afgeknipte reguliere special Lagrangiaanse kegel, randgegevens kan voorschrijven (tot een einddimensionale deelruimte) en de kegel kan deformeren tot een special Lagrangiaanse submanifold met hetzelfde singulariteitstype.
• Gebied-minimaliserende eigenschap: De auteurs merken op dat de geconstrueerde submanifolds gebied-minimaliserend (gekalibreerd) zijn, omdat ze special Lagrangiaans zijn met een constante hoek. Dit staat in contrast met de constructie van Smale voor minimale oppervlakken, waarbij de gebied-minimaliserende eigenschap van het resulterende verbonden oppervlak niet gegarandeerd was.
• Regulariteit en Schattingen: Het artikel biedt gedetailleerde schattingen voor de niet-lineaire restterm $R(u)$ in gewogen Hölder-ruimten. Een cruciale bijdrage is de demonstratie dat de specifieke keuze van vlakke bruggen een $C^{0,\alpha}$-controle van het hoekdefect mogelijk maakt, wat noodzakelijk is om de super-lineaire restterm $R(u)$ te begrenzen in het vastpuntargument.

Betekenis en Claims
Het artikel claimt een flexibel existentietheorema te bieden voor conisch gesingulariseerde special Lagrangiaanse submanifolds met meerdere voorgeschreven singulariteiten, waarmee eerdere resultaten die beperkt waren tot specifieke families van basiskegels of specifieke configuraties, worden uitgebreid. De auteurs benadrukken dat hun aanpak geen perturbatie van de omgeving-metriek vereist (in tegen tegenstelling tot constructies door Simon of Liu voor algemene singulariteitsverzamelingen), waardoor zij voorbeelden direct in de standaard $\mathbb{C}^m$ produceren.

De auteurs vermelden bescheiden de beperkingen:

• De geconstrueerde voorbeelden hebben noodzakelijkerwijs randen.
• De gebruikte bruggen zijn minder flexibel dan die in de minimal surface theorie van Smale; ze vereisen dat de kegels langs een straal tangenteren aan een gemeenschappelijk vlak, in plaats van dat zij willekeurige verbindingen tussen kegels met dezelfde hoek toestaan.
• De methode berust op de aanname dat de kegels "regulier" zijn (gladde links) en dezelfde Lagrangiaanse hoek hebben.

Het werk wordt gepresenteerd als een direct analoog van Smale's brugprincipe, aangepast aan de specifieke analytische restricties van de special Lagrangiaanse vergelijking en de noodzaak van $C^{0,\alpha}$ schattingen voor het hoekdefect en de super-lineaire aard van de niet-lineaire restterm.