Complete subvarieties in the projectivized strata of meromorphic differentials

Sintesi Tecnica: Sottovarietà Complete nei Strati Proiettizzati di Differenziali Meromorfi

Enunciato del Problema
Il saggio affronta la questione se gli strati proiettizzati di differenziali strettamente meromorfi, indicati con $P\Omega M_g(\mu)$, contengano sottovarietà algebriche complete di dimensione positiva. Qui, $\mu$ rappresenta una tupla di interi la cui somma è $2g-2$, prescrivendo gli ordini degli zeri e dei poli. Mentre è noto che gli strati di differenziali olistomorfi (dove $\mu$ ha termini non negativi) non contengono tali sottovarietà, e che gli strati non proiettizzati di differenziali strettamente meromorfi mancano anch'essi di esse (dimostrato tramite metodi algebro-geometrici riguardanti le classi di divisori), una prova basata sulla geometria piatta per il caso proiettizzato dei strettamente meromorfi era precedentemente assente. Gli autori mirano a colmare questa lacuna costruendo una specifica funzione analitica su questi strati.

Metodologia
Gli autori utilizzano un approccio di geometria piatta, impiegando le strutture di superficie di traduzione indotte dai differenziali meromorfi. Il nucleo della metodologia consiste nel costruire una funzione strettamente plurisubarmonica globalmente definita sugli strati proiettizzati $P\Omega M_g(\mu)$. Ciò viene ottenuto combinando due funzioni distinte:

1. La Funzione di Lunghezza ($\ell^{-2}$): Introdotta da Mondello, questa funzione misura la lunghezza totale di una base di brevi connessioni di sella (short saddle connections). Per una base $B$ dell'omologia relativa, $\ell^{-2}_B = \sum_{\gamma \in B} |P_\gamma|^{-2}$, dove $P_\gamma$ è il periodo lungo la connessione di sella $\gamma$. La funzione globale $\ell^{-2}$ è il supremo su tutte tali basi.
2. La Funzione di Dimensione Polare ($S$): Una nuova funzione introdotta in questo lavoro. Nella struttura piatta di un differenziale strettamente meromorfo, la superficie si decompone in un "core" (l'involucro convesso a area finita degli zeri) e "domini polari" (regioni ad area infinita che circondano ogni polo). Il bordo di questi domini polari è costituito da "connessioni di sella periferiche". La funzione $S(\omega)$ è definita come il modulo massimo della somma dei periodi su tutti i sottoinsiemi di queste connessioni di sella di bordo:
   $$S(\omega) := \max_{E \subset D_\omega} \left| \sum_{\gamma \in E} P_\gamma \right|$$
   dove $D_\omega$ è l'unione degli spigoli di bordo di tutti i domini polari.

Gli autori analizzano le proprietà di deformazione di queste funzioni. Stabiliscono che, mentre $S$ è omogenea di grado 1 e $\ell^{-2}$ è omogenea di grado -2, la loro combinazione $2 \log S + \log \ell^{-2}$ è ben definita sullo strato proiettizzato (dove la scalatura di $\omega$ per $\lambda \in \mathbb{C}^*$ lascia invariato il valore).

Contributi Chiave e Risultati

• Costruzione di una Funzione Strettamente Plurisubarmonica: Il risultato primario (Teorema 1.3) dimostra che la funzione $F = 2 \log S + \log \ell^{-2}$ è strettamente plurisubarmonica su ogni strato proiettizzato $P\Omega M_g(\mu)$ di differenziali strettamente meromorfi.

  • La prova si basa sul dimostrare che $\log \ell^{-2}$ è strettamente plurisubarmonica su sottofogli trasversi alle raggi dello strato (un risultato adattato da Mondello).
  • Fondamentalmente, gli autori dimostrano che $\log S$ è plurisubarmonica. Ciò è ottenuto dimostrando che il massimo che definisce $S$ è sempre raggiunto da "classi di omologia coerenti". Queste sono somme specifiche di connessioni di sella periferiche che persistono come classi coerenti sotto piccole deformazioni, permettendo a $S$ di essere espressa localmente come il massimo di un numero finito di funzioni modulo olistomorfe.

• Non Esistenza di Sottovarietà Complete: Come conseguenza diretta (Corollario 1.4), gli autori deducono che non esistono sottovarietà complete di dimensione positiva all'interno di $P\Omega M_g(\mu)$. L'argomento segue dal principio del massimo: una funzione plurisubarmonica non costante non può esistere su una varietà completa. Poiché $F$ è strettamente plurisubarmonica, la sua restrizione a qualsiasi sottovarietà di dimensione positiva sarebbe non costante, portando a una contraddizione se tale sottovarietà fosse completa.

• Estensione ai $k$-differenziali: Il risultato è esteso agli strati di $k$-differenziali con poli di ordine almeno $k$ (Corollario 1.5). Ciò è giustificato dal fatto che tali differenziali possono essere sollevati tramite un rivestimento ciclico canonico alla $k$-esima potenza di un differenziale di forma strettamente meromorfa, ereditandone la proprietà di non esistenza.

Significato e Rivendicazioni
Il saggio afferma di fornire la prima prova di geometria piatta che gli strati proiettizzati di differenziali strettamente meromorfi non contengano sottovarietà complete di dimensione positiva. Le prove precedenti per il caso meromorfo si basavano sulla positività delle classi di divisori nell'ambito algebro-geometrico.

Gli autori sottolineano che la funzione di dimensione polare $S$ costruita e la sua natura plurisubarmonica fungono da "incarnazione analitica" della positività delle classi $\psi$ (associate al bundle $S^1$ ai poli) utilizzate nelle precedenti prove algebro-geometriche. Notano come questo interazione tra geometria metrica (strutture piatte) e classi coomologiche (classi $\psi$) parallelizzi le tecniche utilizzate da Kontsevich e Mirzakhani nel contesto della congettura di Witten. Il lavoro mira a colmare il divario tra le prospettive della geometria affine e la teoria dei moduli, offrendo un nuovo strumento per studiare la geometria degli strati di differenziali.