An Aubin-Yau theorem for transversally Kähler foliations

Technische Samenvatting: Een Aubin-Yau stelling voor transversaal Kähler-foliaties

Probleemstelling
Het artikel behandelt de existentie en uniciteit van speciale Hermitische metrieken op transversaal Kähler-foliaties, een klasse van geometrische structuren die Kähler-variëteiten generaliseert naar de complexe niet-Kähler setting. Specifiek onderzoekt de auteur het analoog van de Aubin-Yau stelling in deze context. Terwijl de klassieke Aubin-Yau stelling de existentie van een unieke Kähler-Einstein metriek met een negatieve Einstein-constante garandeert op compacte Kähler-variëteiten met een negatieve eerste Chern-klasse, was het overeenkomstige resultaat voor transversaal Kähler-foliaties nog niet rigoureus vastgesteld in de literatuur. Eerdere verwijzingen naar een dergelijk resultaat (bijv. El Kacimi-Alaoui) beweerden dat dit "zoals in het klassieke geval" volgde zonder een gedetailleerd bewijs te leveren. Bovendien merkt het artikel op dat de transversale versie van de $\partial\bar{\partial}$-lemma, essentieel voor dergelijke bewijzen, steunt op de voorwaarde van homologische oriëntabiliteit, een nuance die vaak over het hoofd wordt gezien in beknopte claims.

Methodologie
De auteur hanteert een zelfstandige analytische benadering, waarbij de klassieke Schauder continuïteitsmethode en de elliptische regulariteitstheorie aanpast aan de transversale setting van foliaties. De methodologie verloopt via verschillende cruciale stadia:

1. Geometrisch Kader: Het artikel maakt gebruik van Molino-theorie om transversaal Kähler-foliaties te definiëren. Het stelt de noodzakelijke geometrische objecten vast, inclusief de transversale framebundel, transversale $G$-structuren en de basis-Laplace-operator. Een cruciaal onderscheid wordt gemaakt tussen de transversale Laplace-Beltrami-operator ($\Delta_T$) en de basis-Laplace-operator ($\Delta_{bas}$), waarbij wordt opgemerkt dat onder de voorwaarde van homologische oriëntabiliteit het verschil tussen beide een operator van orde nul is.
2. Functionele Analyse: De auteur definieert Hölder-ruimtes van basisfuncties ($C^{k,\alpha}_{bas}$) en Sobolev-ruimtes ($W^{k,p}_{bas}$) op de gefoliareerde variëteit. Een compacte inbeddingstelling voor deze ruimtes (Propositie 4.5) wordt vastgesteld, wat cruciaal is voor de continuïteitsmethode.
3. Elliptische Operatoren: De kern van de analyse richt zich op de volledig niet-lineaire tweede-orde differentiaaloperator $\mathcal{C}al^-_T$, die het transversaal Kähler Aubin-Yau probleem codeert. De vergelijking heeft de vorm:
   $$\mathcal{C}al^-_T(u) = \log \left( \frac{(\omega_0 + \sqrt{-1}\partial_T \bar{\partial}_T u)^q}{\omega_0^q} \right) - u = f$$
   waarbij $\omega_0$ de initiële transversaal Kähler-vorm is.
4. Continuïteitsmethode: Om existentie te bewijzen, past de auteur de Schauder continuïteitsmethode toe. Dit omvat:
   • Openheid: Het bewijzen dat de verzameling parameters $t \in [0,1]$ waarvoor de vergelijking $\mathcal{C}al^-_T(u) = tf$ een oplossing heeft, open is. Dit berust op de Impliciete Functiestelling in Banachruimtes, wat vereist dat de linearisatie van de operator een isomorfisme is. De auteur demonstreert dat de gelineariseerde operator essentieel een geperturbeerde transversale Laplacian is, die een isomorfisme is vanwege de spectrale eigenschappen van de Laplacian op compacte variëteiten.
   • Geslotenheid: Het bewijzen dat de verzameling gesloten is door uniforme a priori schattingen ($C^0$, $C^1$, en $C^{2,\alpha}$) voor de oplossingen vast te stellen. De auteur past de klassieke schattingen van Yau (specifiek de $C^2$-schatting) aan naar de transversale setting, waarbij gebruik wordt gemaakt van lokale argumenten rond de maximumpunten van de oplossing.
5. Regulariteit: Zodra een zwakke oplossing is verkregen via de continuïteitsmethode, wordt de elliptische regulariteitstheorie ingeroepen om aan te tonen dat de oplossing glad ($C^\infty_{bas}$) is.

Belangrijkste Bijdragen en Resultaten

• Theorem 5.1 (Hoofdresultaat): Het artikel bewijst dat er voor een compacte, homologisch oriënteerbare, transversaal Kähler-foliatie $(M, \mathcal{F})$ waar de eerste Chern-klasse van de transversale bundel $c_1(\nu\mathcal{F})$ negatief is (gerepresenteerd door een transversaal negatieve vorm), een unieke transversaal Kähler, transversaal Einstein metriek met Einstein-constante $-1$ bestaat.
• Transversale $\partial\bar{\partial}$-Lemma: Het artikel maakt expliciet gebruik van en steunt op een transversale versie van de $\partial\bar{\partial}$-lemma (Lemma 3.3), die standhoudt onder de voorwaarde van homologische oriëntabiliteit. Dit maakt de reductie van het geometrische probleem naar een scalaire PDE op basisfuncties mogelijk.
• Uniciteitsbewijs: Een gedetailleerd bewijs voor uniciteit wordt geleverd, gebruikmakend van het maximumprincipe op het verschil tussen twee potentiële oplossingen. Het argument diagonaliseert de Hessiaan van de verschilfunctie ten opzichte van de achtergrondmetriek om aan te tonen dat het verschil nul moet zijn.
• Toepassing op Vaisman-variëteiten: Het artikel past de hoofdstelling toe op Vaisman-variëteiten. Het biedt een nieuw, eenvoudiger bewijs van de Aubin-Yau stelling voor Vaisman-variëteiten (Theorem 6.12). In tegenstelling tot eerdere bewijzen die vertrouwden op Weitzenböck-type formules om quasi-regulariteit vast te stellen, past deze benadering direct het transversale resultaat toe. De auteur verduidelijkt dat de existentie van een transversaal Einstein metriek op de canonieke foliatie van een Vaisman-variëteit de existentie van een Vaisman-metriek met specifieke Chern-Ricci krommingseigenschappen impliceert, mits de cohomologieklasse van de gewichtsbundel aan specifieke voorwaarden voldoet ($c_1(L) = c_1(K_M^{\otimes 2})$).

Betekenis en Claims
De auteur claimt dat dit werk een gat in de literatuur vult waar de existentie van transversaal Einstein metrieken voor transversaal Kähler-foliaties voorheen slechts werd geclaimd zonder bewijs. Het artikel benadrukt dat de adaptatie van klassieke technieken naar de gefoliareerde setting niet triviaal is en een zorgvuldige behandeling van de basis-cohomologie en de specifieke eigenschappen van de transversale Laplacian vereist.

De betekenis van het werk is tweeledig:

1. Theoretisch: Het levert een rigoureus, zelfstandig bewijs van de Aubin-Yau stelling in de context van transversaal Kähler-foliaties, waarbij het noodzakelijke analytische kader (elliptische operatoren op foliaties, a priori schattingen) wordt vastgesteld.
2. Toegepast: Het biedt een gestroomlijnde alternatieve bewijsvoering voor de Vaisman Aubin-Yau stelling, waarbij complexere machinerie uit eerdere literatuur wordt omzeild. De auteur merkt op dat hoewel het resultaat voor Vaisman-variëteiten bekend was, de hier gepresenteerde bewijsmethode verschillend en eenvoudiger is.

Het artikel blijft bescheiden over bredere implicaties en stelt dat het resultaat ontbrak in de literatuur en dat de toepassing op Vaisman-variëteiten dient als een demonstratie van de bruikbaarheid van de hoofdstelling. Het stelt geen nieuwe experimentele toepassingen of toekomstige richtingen voor buiten de reikwijdte van de vastgestelde stellingen.