Complete subvarieties in the projectivized strata of meromorphic differentials

Technische Samenvatting: Volledige Subvariëteiten in de Geprojectiviseerde Strata van Meromorfe Differentiaalvormen

Probleemstelling
Het artikel behandelt de vraag of geprojectiviseerde strata van strikt meromorfe differentiaalvormen, aangeduid als $P\Omega M_g(\mu)$, positief-dimensionale volledige algebraïsche subvariëteiten bevatten. Hierbij vertegenwoordigt $\mu$ een tupel van gehele getallen die optellen tot $2g-2$, wat de orden van nulpunten en polen voorschrijft. Hoewel bekend is dat strata van holomorfe differentiaalvormen (waarbij $\mu$ niet-negatieve termen heeft) dergelijke subvariëteiten niet bevatten, en dat de ongeprojectiviseerde strata van strikt meromorfe differentiaalvormen deze eveneens niet bevatten (bewezen via algebraïst-geometrische methoden met betrekking tot divisorklassen), was een vlak-geometrisch bewijs voor het geprojectiviseerde strikt meromorfe geval voorheen niet beschikbaar. De auteurs beogen dit gat te vullen door een specifieke analytische functie op deze strata te construeren.

Methodologie
De auteurs maken gebruik van een vlak-geometrische benadering, waarbij zij de translatie-oppervlaktestructuren gebruiken die door meromorfe differentiaalvormen worden geïnduceerd. De kern van de methodologie bestaat uit het construeren van een globaal gedefinieerde, strikt plurisubharmonische functie op de geprojectiviseerde strata $P\Omega M_g(\mu)$. Dit wordt bereikt door het combineren van twee verschillende functies:

1. De Lengtefunctie ($\ell^{-2}$): Geïntroduceerd door Mondello, meet deze functie de totale lengte van een basis van korte zadelverbindingen (saddle connections). Voor een basis $B$ van relatieve homologie is $\ell^{-2}_B = \sum_{\gamma \in B} |P_\gamma|^{-2}$, waarbij $P_\gamma$ de periode langs de zadelverbinding $\gamma$ is. De globale functie $\ell^{-2}$ is het supremum over alle dergelijke bases.
2. De Polaire Groottefunctie ($S$): Een nieuwe functie die in dit werk wordt geïntroduceerd. In de vlakke structuur van een strikt meromorfe differentiaalvorm vervalt het oppervlak in een "kern" (een eindig gebied met eindige oppervlakte, de convexe huls van de nulpunten) en "polaire domeinen" (gebieden met oneindige oppervlakte rondom elke pool). De rand van deze polaire domeinen bestaat uit "perifere zadelverbindingen". De functie $S(\omega)$ wordt gedefinieerd als de maximale modulus van de som van de perioden over alle deelverzamelingen van deze randzadelverbindingen:
   $$S(\omega) := \max_{E \subset D_\omega} \left| \sum_{\gamma \in E} P_\gamma \right|$$
   waarbij $D_\omega$ de vereniging is van de randranden van alle polaire domeinen.

De auteurs analyseren de deformatie-eigenschappen van deze functies. Zij stellen vast dat hoewel $S$ homogeen is van graad 1 en $\ell^{-2}$ homogeen is van graad -2, hun combinatie $2 \log S + \log \ell^{-2}$ goed gedefinieerd is op de geprojectiviseerde stratum (waar schaling van $\omega$ met $\lambda \in \mathbb{C}^*$ de waarde invariant laat).

Belangrijkste Bijdragen en Resultaten

• Constructie van een Strikt Plurisubharmonische Functie: Het primaire resultaat (Theorem 1.3) bewijst dat de functie $F = 2 \log S + \log \ell^{-2}$ strikt plurisubharmonisch is op elke geprojectiviseerde stratum $P\Omega M_g(\mu)$ van strikt meromorfe differentiaalvormen.

  • Het bewijs berust op het aantonen dat $\log \ell^{-2}$ strikt plurisubharmonisch is op submanifolds die transversaal zijn aan de stralen van de stratum (een resultaat aangepast van Mondello).
  • Cruciaal is dat de auteurs bewijzen dat $\log S$ plurisubharmonisch is. Dit wordt bereikt door aan te tonen dat de maximum-definitie van $S$ altijd wordt bereikt door "coherente homologieklassen". Dit zijn specifieke sommen van perifere zadelverbindingen die standhouden als coherente klassen onder kleine deformaties, waardoor $S$ lokaal kan worden uitgedrukt als het maximum van een eindig aantal holomorfe modulusfuncties.

• Niet-bestaan van Volledige Subvariëteiten: Als direct gevolg (Corollary 1.4) leiden de auteurs af dat er geen positief-dimensionale volledige subvariëteit bestaat binnen $P\Omega M_g(\mu)$. Het argument volgt uit het maximumprincipe: een niet-constante plurisubharmonische functie kan niet bestaan op een volledige variëteit. Aangezien $F$ strikt plurisubharmonisch is, zou de restrictie ervan op elke positief-dimensionale subvariëteit niet-constant zijn, wat leidt tot een tegenspraak indien die subvariëteit volledig zou zijn.

• Extensie naar $k$-differentiaalvormen: Het resultaat wordt uitgebreid naar strata van $k$-differentiaalvormen met polen van orde minstens $k$ (Corollary 1.5). Dit wordt gerechtvaardigd door het feit dat dergelijke differentiaalvormen kunnen worden opgetild via een canonieke cyclische afdekking naar de $k$-de macht van een strikt meromorfe $1$-vorm, en daarmee de eigenschap van niet-bestaan erven.

Betekenis en Claims
Het artikel claimt het eerste vlak-geometrische bewijs te leveren dat geprojectiviseerde strata van strikt meromorfe differentiaalvormen geen positief-dimensionale volledige subvariëteiten bevatten. Eerdere bewijzen voor het meromorfe geval vertrouwden op de positiviteit van divisorklassen in de algebraïst-geometrische setting.

De auteurs benadrukken dat de geconstrueerde polaire groottefunctie $S$ en de plurisubharmonische aard ervan dienen als een "analytische incarnatie" van de positiviteit van $\psi$-klassen (geassocieerd met de $S^1$-bundel bij de polen) die gebruikt worden in eerdere algebraïst-geometrische bewijzen. Zij merken op dat deze interactie tussen metrische geometrie (vlakke structuren) en cohomologische klassen ($\psi$-klassen) parallel loopt aan technieken gebruikt door Kontsevich en Mirzakhani in de context van de conjectuur van Witten. Het werk beoogt de kloof te overbruggen tussen affiene geometrische perspectieven en moduli-theorie, en biedt een nieuw instrument voor het bestuderen van de geometrie van strata van differentiaalvormen.