Kähler-Ricci Flow preserves negative anti-bisectional curvature

Technische Samenvatting: Kähler-Ricci-stroom behoudt negatieve anti-bisectie-kromming

Probleemstelling
Dit artikel onderzoekt het gedrag van de "anti-bisectie-kromming" onder de Kähler-Ricci-stroom. De anti-bisectie-kromming, gedefinieerd als $R(V, W, V, W)$ voor gepolariseerde $(1,0)$-vectoren $V$ en $W$, vloeit voort uit een correspondentie tussen de regulariteitstheorie van optimaal transport en de geometrie van Kähler-variëteiten op buisdomeinen. De Ma-Trudinger-Wang (MTW) tensor voor kostenfuncties van de vorm $c(x, y) = \Psi(x-y)$ komt overeen met de anti-bisectie-kromming van een geassocieerde Kähler-metriek.

Hoewel de Ricci-stroom bekend staat om het behoud van diverse positiviteitscondities op kromming (bijv. niet-negatieve bisectie-kromming), is het over het algemeen niet bekend of negativiteitscondities worden behouden, met als opmerkelijke uitzondering de negatieve Gaussische kromming voor Riemann-oppervlakken. De auteurs adresseren de vraag of niet-positieve anti-bisectie-kromming behouden blijft onder de stroom, een eigenschap die significante implicaties zou hebben voor de regulariteit van optimale transportkaarten en de geometrie van Kähler-Einstein-metrieken.

Methodologie
De auteurs bestuderen de Kähler-Ricci-stroom op buisdomeinen $T\Omega = \Omega + i\mathbb{R}^n$, waarbij $\Omega \subset \mathbb{R}^n$ een convexe domein is. Deze domeinen komen overeen met de raakbundels van Hessische variëteiten uitgerust met Kähler-Sasaki-metrieken. De stroom wordt geanalyseerd via de evolutie van de krommingstensor.

1. Uhlenbeck's Truc: Om de complexe reactie-diffusievergelijkingen die de evolutie van de kromming beheersen te vereenvoudigen, maken de auteurs gebruik van Uhlenbeck's truc. Ze introduceren een abstracte vectorbundel die isomorf is aan de complexe raakbundel en een tijdafhankelijke isometrie om de krommingstensor te transformeren naar een vorm waarbij de evolutievergelijking vereenvoudigt tot een reactie-diffusiesysteem met een kwadratische reactieterm $Q(\tilde{R})$.
2. Maximumprincipe: Omdat de overwogen variëteiten vaak niet-compact zijn (buisdomeinen), is het standaard maximumprincipe voor compacte variëteiten onvoldoend. De auteurs maken gebruik van een versie van het maximumprincipe voor volledige variëteiten met begrensde kromming, oorspronkelijk vastgesteld door Shi. Dit vereist het verifiëren van een "nul-vectorconditie" voor de reactieterm $Q$.
3. Verificatie van de Nul-vector: De kern van de technische bijdrage is het bewijzen dat als de anti-bisectie-kromming niet-positief is (of niet-negatief voor het orthogonale geval in dimensie twee) en verdwijnt op een specifiek paar vectoren, de reactieterm $Q$ "naar binnen gericht" is (d.w.z. niet-positief of respectievelijk niet-negatief) in dat punt. Deze verificatie berust op algebraïsche manipulaties van de symmetrieën van de krommingstensor en specifieke lemma's betreffende semi-positief bepaalde matrices (aangepast aan het werk van Cao en Hamilton).
4. Dimensionale Beperkingen: De analyse maakt onderscheid tussen algemene dimensies en complexe dimensie twee. Voor het behoud van niet-negatieve orthogonale anti-bisectie-kromming berust het bewijs op specifieke algebraïsche annuleringen die alleen standhouden wanneer de complexe dimensie $n=2$ is.

Belangrijkste Bijdragen en Resultaten

• Stelling 1 (Behoud van Niet-Positieve Anti-Bisectie-Kromming): De auteurs bewijzen dat als een volledige Kähler-variëteit met begrensde kromming een niet-positieve anti-bisectie-kromming heeft, deze conditie behouden blijft onder de Kähler-Ricci-stroom voor alle tijd dat de stroom bestaat. Dit is een significant resultaat omdat het een zeldzaam geval identificeert waarin een behouden negativiteitsconditie in hogere dimensies voorkomt.
• Stelling 2 (Behoud van Niet-Negatieve Orthogonale Anti-Bisectie-Kromming in Dimensie 2): In complexe dimensie twee tonen de auteurs aan dat niet-negatieve orthogonale anti-bisectie-kromming (de MTW(0)-conditie beperkt tot orthogonale vectoren) eveneens behouden blijft onder de stroom. Zij merken op dat dit resultaat niet generaliseert naar dimensies $n \geq 3$ vanwege het teken van de kwadratische reactieterm.
• Geometrische Gevolgen (Corollaria 1–4):
  • Kähler-Einstein-Metrieken: Door Stelling 1 te combineren met de convergentieresultaten van Tong voor metrieken met negatief afgeklemde holomorfe sectiekromming, tonen de auteurs aan dat de resulterende Kähler-Einstein-metriek op een buisdomein een niet-positieve anti-bisectie-kromming behoudt.
  • Negatieve Kosten-Kromming: Voor gladde, begrensde en sterk convexe domeinen wordt aangetoond dat de Kähler-Einstein-metriek een "negatieve kosten-kromming" heeft (een sterkere conditie die niet-positieve anti-bisectie-kromming en negatief afgeklemde gepolariseerde holomorfe sectiekromming impliceert).
  • Krommingcontrole: De auteurs leiden kwantitatieve schattingen af die aantonen dat voor positieve tijd $t$, de gepolariseerde holomorfe sectiekromming ondergrenzen heeft die afhangen van de orthogonale anti-bisectie trace-kromming ($O$) en de initiële scalaire kromming, onafhankelijk van de initiële holomorfe sectiekromming-afklemming.
• Toepassingen op Optimaal Transport:
  • KR Zwakke Regulariteit: Het behoud van niet-negatieve orthogonale anti-bisectie-kromming in dimensie 2 maakt de definitie van "KR zwak reguliere" kostenfuncties mogelijk. Dit zijn kostenfuncties $c(x,y) = \Psi(x-y)$ waarbij het potentieel $\Psi$ evolueert onder een parabolische stroom om de MTW(0)-conditie te handhaven.
  • Regulariteitsschattingen: Met behulp van deze stroom stellen de auteurs de binnenste Hölder-schattingen vast voor optimale transportkaarten geassocieerd met $W^{2,p}$ convexe potentialen in twee dimensies, waarmee de bestaande regulariteitstheorie generaliseert naar minder gladde kostenfuncties.

Betekenis en Claims
Het artikel claimt dat het behoud van niet-positieve anti-bisectie-kromming "enigszins onverwacht" is, aangezien de meeste bekende invariante krommingcondities onder de Ricci-stroom positiviteitscondities zijn. De auteurs benadrukken dat dit resultaat een nieuw instrument biedt voor het bestuderen van de relatie tussen holomorfe sectiekromming en Ricci-kromming in de complexe geometrie.

In de context van optimaal transport overbrugt het werk de kloof tussen de geometrische evolutie van metrieken en de regulariteit van transportkaarten. Door aan te tonen dat de stroom de MTW(0)-conditie behoudt (in dimensie 2), biedt het papier een canonieke methode om kostenfuncties te deformeren om regulariteit te waarborgen, wat potentieel de regulariteitstheorie kan uitbreiden naar ruwere kostenfuncties (zoals de oorspronkelijke kostenfunctie van Monge $|x-y|$) via benadering.

De auteurs bieden ook concrete voorbeelden van metrieken die aan deze condities voldoen, inclusief de Calabi-metriek op het buisdomein over de eenheidssfeer en metrieken op kegels, waarmee zij aantonen dat de assumptie van negatieve anti-bisectie-kromming niet triviaal is. Tot slot merken de auteurs op dat hoewel de resultaten robuust zijn voor volledige metrieken, de uitbreiding naar incomplete metrieken (veelvoorkomend in optimaal transport) een open vraag blijft die geschikte randvoorwaarden vereist.