About Wess-Zumino-Witten equation and Harder-Narasimhan potentials

Technische Samenvatting: Wess-Zumino-Witten-vergelijking en Harder-Narasimhan-potentialen

Probleemstelling
Het artikel onderzoekt het bestaan van oplossingen voor de Wess-Zumino-Witten (WZW)-vergelijking op een gepolariseerde familie van complexe projectieve variëteiten $\pi: X \to B$. Specifiek wordt voor een relatief ample lijnbundel $L$ met eerste Chern-klasse $[\alpha]$ de vergelijking gegeven door:
$$\alpha^{n+1} \wedge \pi^*\omega_B^{m-1} = 0$$
waarbij $\omega_B$ een Kähler-vorm is op de basis $B$. Hoewel deze vergelijking goed begrepen is wanneer $B$ een rand heeft (in verband met Mabuchi-geodeten), presenteert het geval waarbij $B$ een compacte variëteit zonder rand is een andere theorie. Het artikel adresseert twee centrale vragen:

1. Algebraïsche Obstructies: Wat zijn de algebraïsche obstructies die het bestaan van benaderende oplossingen voor de WZW-vergelijking regelen?
2. Optimale Alternatieven: Wanneer exacte of benaderende oplossingen niet bestaan, wat zijn dan de "beste" alternatieven? Het artikel streeft ernaar rijen van vormen te construeren die het bijbehorende WZW-functionaal minimaliseren.

De studie wordt gemotiveerd door de generalisatie van de Hermite-Einstein-vergelijking op vectorbundels. In het specifieke geval waarin $X = \mathbb{P}(F^*)$ voor een vectorbundel $F$ over $B$, is de oplosbaarheid van de WZW-vergelijking equivalent aan het bestaan van een Hermite-Einstein-metriek op $F$, wat een link legt met de Kobayashi-Hitchin-correspondentie. Dit werk beoogt deze correspondentie uit te breiden tot fibraties die niet noodzakelijk geassocieerd zijn met vectorbundels.

Methodologie
De aanpak leunt zwaar op geometrische kwantisatie en de asymptotische analyse van directe beeldsheaves. De methodologie verloopt via de volgende stappen:

1. Harder-Narasimhan-filtraties en Potentialen: De auteur maakt gebruik van de Harder-Narasimhan (HN)-filtratie van de directe beeldsheaves $E_k = R^0\pi_* L^{\otimes k}$. Een kerninzicht is dat deze filtraties een begrenste, submultiplicatieve filtratie induceren op de sectiering $\bigoplus E_k$ (buiten een verwaarloosbare verzameling).
2. Gewogen Bergman-kernen: Het artikel definieert een "Harder-Narasimhan-potentiaal", $HN_k(\omega)$, afgeleid van een gewogen Bergman-kern geassocieerd met de HN-filtratie. Naarmate $k \to \infty$, convergeren deze potentialen naar een limietfunctie $HN(\omega)$, die de snelheid van de geodeetstraal vertegenwoordigt die geassocieerd is met de HN-filtratie.
3. Benaderende Kritieke Structuren: Aansluitend bij resultaten van Atiyah-Bott, Daskalopoulos-Wentworth en Sibley, maakt de constructie gebruik van $L^1$-benaderende kritieke Hermitische structuren op de vectorbundels $E_k$. Deze structuren zijn aangepast aan de HN-filtratie en dienen als startpunt voor het construeren van geodeetstralen.
4. De-kwantisatie: De kern technische bijdrage betreft de "de-kwantisatie" van deze geodeetstralen. Door specifieke Hermitische metrieken op $E_k$ te construeren die de algebraïsche structuur van de ringbundel $\bigoplus E_k$ respecteren (via symmetrische machten en quotiëntmetrieken), leidt de auteur een rij van $(1,1)$-vormen $\omega_\epsilon$ op $X$ af.
5. Auxiliaire Monge-Ampère-vergelijking: Het artikel introduceert een auxiliaire vergelijking:
   $$\omega^{n+1} \wedge \pi^*\omega_B^{m-1} = HN(\omega) \cdot \omega^n \wedge \pi^*\omega_B^m \cdot (n+1)$$
   In tegenstelling tot de WZW-vergelijking, staat deze vergelijking benaderende oplossingen toe voor elke gepolariseerde familie.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1 (Algebraïsche Karakterisering): Het artikel vestigt een precieze formule die het infimum van het WZW-functionaal koppelt aan een algebraïsche grootheid afgeleid van de HN-hellingen. Specifiek:
  $$\text{WZW}(c_1(L) - t\pi^*[\omega_B], \omega_B) = \int_{\mathbb{R}} |x - t| d\eta^{HN}(x) \cdot \int_X c_1(L)^n \pi^*[\omega_B]^m \cdot (n+1)$$
  Hierbij is $\eta^{HN}$ de zwakke limiet van de waarschijnlijkheidsmaten gevormd door de genormaliseerde HN-hellingen van $E_k$. Dit resultaat biedt een differentiaal-geometrische karakterisering van de HN-maat en identificeert de algebraïsche obstructies (de spreiding van $\eta^{HN}$) voor het bestaan van oplossingen.

• Stelling 1.7 (Bestaan van Benaderende Oplossingen): De belangrijkste technische prestatie is het bewijzen dat de auxiliaire Monge-Ampère-vergelijking benaderende oplossingen toestaat voor elke $\epsilon > 0$. Deze oplossingen, $\omega_\epsilon$, minimaliseren het WZW-functionaal en dienen als de dichtstbijzijnde tegenhangers van ware oplossingen wanneer laatstgenoemde niet bestaan.

• Corollarium 1.3 (Generaliseerde Kobayashi-Hitchin-correspondentie): Het artikel bewijst dat het bestaan van benaderende oplossingen voor de WZW-vergelijking equivalent is aan de semistabiliteit van de onderliggende algebraïsche data (specifiek dat $\eta^{HN}$ een Dirac-massa is). Wanneer gespecialiseerd tot geprojectiviseerde vectorbundels, herwint men een versie van de Kobayashi-Hitchin-correspondentie.

• Corollarium 1.5 (Asymptotische Cohomologie): Als toepassing bewijst het artikel een asymptotisch converse van de stelling van Andreotti-Grauert (vermoed door Demailly) voor gefibereerde situaties waarbij de basis een kromme is. Het toont aan dat de rij van vormen die het WZW-functionaal minimaliseert, de ondergrens verzadigt die wordt gegeven door de asymptotische cohomologie.

• Verbinding met Hessian-quotiëntvergelijkingen: Het artikel bespreekt de relatie tussen de WZW-vergelijking en Hessian-quotiëntvergelijkingen, en merkt op dat hoewel de WZW-vergelijking degeneraat is (niet-elliptische linearisatie), de benaderende oplossingen kunnen worden gerelateerd aan oplossingen van de J-vergelijking (een type Hessian-quotiëntvergelijking) wanneer de basis een kromme is.

Betekenis en Claims
Het artikel claimt de vraag naar algebraïsche obstructies voor de WZW-vergelijking in de randloze setting op te lossen, door middel van een complete karakterisering via de Harder-Narasimhan-maat. Het stelt dat de geconstrueerde benaderende oplossingen optimaal zijn in de zin dat ze het bijbehorende Yang-Mills-functionaal minimaliseren.

De betekenis ligt in:

1. Generalisatie: Het uitbreiden van de Kobayashi-Hitchin-correspondentie buiten vectorbundels naar algemene fibraties.
2. Nieuwe Vergelijking: Het introduceren en oplossen van een auxiliaire Monge-Ampère-type vergelijking die de WZW-vergelijking generaliseert door de gewogen Bergman-kern van de HN-filtratie te incorporeren.
3. Methodologische Innovatie: Het aantonen dat geometrische kwantisatie, specifiek de de-kwantisatie van geodeetstralen geassocieerd met $L^1$-benaderende kritieke structuren, kan worden gebruikt om oplossingen te construeren voor degenererende geometrische PDE's waar traditionele continuïteitsmethoden of geometrische stromen niet direct van toepassing zijn.

De auteur merkt op dat de resultaten het robuustst zijn wanneer de basis $B$ een kromme is (dimensie 1), waarbij de relatie tussen het WZW-functionaal en absolute Monge-Ampère-functionalen direct is. Voor hogere-dimensionale bases breken de technieken voor het bestuderen van het WZW-functionaal buiten de relatief ample setting, en blijft het bestaan van expliciete oplossingen voor de auxiliaire vergelijking een open vraag met betrekking tot regulariteit. Het artikel claimt niet de algemene Demailly-conjectuur voor alle gevallen op te lossen, maar biedt eerder een bewijs voor het gefibereerde geval over krommen.