The spaces of Kähler and holomorphically tamed symplectic forms on closed 4-manifolds

Sintesi Tecnica: Gli Spazi delle Forme di Kähler e delle Forme Simpletiche Olomorficamente Tamate su 4-Manifold Chiuse

Enunciato del Problema
Questo articolo investiga le proprietà topologiche (unicità, connettività e apertura) degli spazi delle forme di Kähler e delle forme simplicetiche olomorficamente tamate su 4-manifold chiuse, orientate e lisce. Lo studio è motivato dalla congettura di Streets–Tian, la quale postula che ogni varietà complessa ermitiana-simpletica chiusa ammetta una metrica di Kähler. Nel contesto simplicetico, ciò si traduce nella Domanda 1.4: Se una forma simplicetica $\omega$ su un 4-manifold chiuso $X$ è olomorficamente tamata da una struttura complessa integrabile $J$ (ovvero $\omega(v, Jv) > 0$ per ogni $v \neq 0$), e se la classe di coomologia $[\omega]$ giace nel cono compatibile integrabile $K^c_{Int}(X)$, esiste una struttura complessa $J'$ compatibile con $\omega$? In altre parole, ogni forma simplicetica olomorficamente tamata è di tipo Kähler?

Gli autori esaminano inoltre la struttura degli spazi di moduli di queste forme, affrontando specificamente:

1. Unicità: Lo spazio delle forme di tipo Kähler in una fissata classe di coomologia, modulo diffeomorfismi omoologicamente triviali, è un singolo punto?
2. Connettività: Lo spazio delle forme di tipo Kähler (modulo diffeomorfismi che preservano l'orientamento) è connesso?
3. Apertura: L'inclusione dello spazio delle forme di tipo Kähler nello spazio di tutte le forme simplicetiche è una mappa aperta?

Metodologia
Il saggio impiega una combinazione di topologia simplicetica, geometria complessa e teoria del gauge, adattata alla dimensione della varietà e al valore del secondo numero di Betti $b_2^+$.

• Decomposizione Cohomologica: Gli autori utilizzano la decomposizione di $H^2(X; \mathbb{R})$ in sottospazi $J$-invarianti e $J$-anti-invarianti. Uno strumento chiave è la relazione tra il cono tamato da $J$, $K^t_J(X)$, e il cono compatibile con $J$, $K^c_J(X)$, specificamente il risultato che $K^t_J(X) = K^c_J(X) + H^-_J(X)$ quando $K^c_J(X)$ è non vuoto.
• Deformazione-a-Isotopia: Per le varietà con $b_2^+ = 1$, gli autori si affidano al teorema di deformazione-a-isotopia (McDuff, Lalonde–McDuff), che permette di homotopare una deformazione di forme simplicetiche in un'isotopia. Ciò riduce lo studio della path-connettività allo studio delle strutture complesse.
• Teoria di Torelli e Domini dei Periodi: Per le varietà con $b_2^+ > 1$ (specificamente superfici K3, tori complessi $T^4$ e loro blowup), gli autori utilizzano il teorema globale di Torelli. Analizzano il dominio dei periodi $\Phi$ (una varietà complessa di dimensione 20 per K3 e 4 per $T^4$) e il comportamento della mappa dei periodi. Studiano la topologia dei sottodomini definiti dalla positività della proiezione di una classe di coomologia sulla parte $(1,1)$, rimuovendo i muri corrispondenti alle curve $(-2)$ (per K3).
• Risultati di Rigidità: Per le varietà che ammettono metriche di curvatura sezionale negativa, gli autori applicano forti teoremi di rigidità (Siu, Zheng) che implicano che le omotopie di equivalenza tra tali varietà siano omotope a biolomorfismi o anti-biholomorfismi.
• Analisi del Blowup: Il saggio estende i risultati dalle superfici minime ai loro blowup attraverso la costruzione di famiglie olomorfe di blowup e l'analisi della connettività dello spazio dei centri di blowup, utilizzando la densità di configurazioni con punti distinti.

Contributi Chiave e Risultati

1. Equivalenza di Tipi Tamati e Kähler (Domanda 1.4):
   Gli autori dimostrano che per un 4-manifold chiuso $X$ e una classe $a \in H^2(X; \mathbb{R})$, lo spazio delle forme di Kähler $S^a_K(X)$ è o vuoto o uguale allo spazio delle forme olomorficamente tamate $S^a_T(X)$ sotto le seguenti condizioni:

   • $b_2^+(X) = 1$ (coprendo superfici razionali e regolate).
   • $X$ ammette una forma simplicetica di dimensione di Kodaira zero (coprendo K3, Enriques, superfici iperellittiche e $T^4$).
   • $X$ ammette una metrica di Kähler di curvatura sezionale negativa (coprendo i quozienti della palla complessa).
     Ciò stabilisce che, in questi regimi, l'esistenza di una struttura complessa tamante implica l'esistenza di una compatibile all'interno della stessa classe di coomologia.

2. Unicità (Domanda 1.5):
   Il saggio stabilisce che il numero di componenti connesse dello spazio di moduli delle forme di tipo Kähler in una fissata classe, denotato con $\#M^a_K(X)$, è al massimo 1 sotto le condizioni di dimensione di Kodaira non positiva o curvatura sezionale negativa.

   • Per le superfici di tipo generale con $b_2^+ = 1$, il numero di componenti è finito.
   • Ciò estende i precedenti risultati di unicità per K3 e $T^4$ ai loro blowup e anche a superfici di Enriques/iperellittiche.

3. Connettività (Domanda 1.6):

   • Lo spazio di moduli $M_K(X)$ ha un numero finito di componenti connesse per qualsiasi 4-manifold chiuso.
   • Se $X$ ammette una forma simplicetica di dimensione di Kodaira non positiva, $M_K(X)$ è connesso.
   • Se $X$ ammette una metrica di Kähler di curvatura sezionale negativa, $M_K(X)$ ha al massimo due componenti connesse (il limite è raggiunto dalle superfici di Cartwright–Steger/fake projective planes).

4. Apertura (Domanda 1.7):

   • L'inclusione $S_K(X) \hookrightarrow S(X)$ è aperta se $b_2^+(X) = 1$ o se $X$ ammette una forma simplicetica di dimensione di Kodaira zero.
   • Al contrario, se $b_2^+(X) > 1$ e $X$ ammette una metrica di Kähler di curvatura sezionale negativa, l'inclusione non è aperta. Gli autori forniscono la superficie di Cartwright–Steger come controesempio dove lo spazio delle forme di tipo Kähler non è aperto nello spazio delle forme simplicetiche.

Significato e Rivendicazioni
Il saggio sostiene di risolvere la versione simplicetica della congettura di Streets–Tian per una vasta classe di 4-manifold, dimostrando che la distinzione tra strutture complesse "tamanti" e "compatibili" svanisce dal punto di vista della coomologia per queste specifiche geometrie.

Un contributo primario è l'estensione dei risultati di unicità e connettività per le forme di Kähler dalle superfici minime (come K3 e $T^4$) ai loro blowup. Questo è significativo perché molti risultati in topologia simplicetica (ad esempio, riguardanti i gruppi di symplectomorfismi, i packing e i sottoamministratori lagrangiani) spesso assumono che la forma simplicetica sia di tipo Kähler. Dimostrando che le forme olomorficamente tamate sono di tipo Kähler in questi casi, gli autori permettono a tali risultati di essere trasferiti alla classe più ampia delle forme tamate.

Il saggio chiarisce inoltre i vincoli topologici sugli spazi di moduli delle strutture complesse, collegando il numero di componenti dello spazio delle forme simplicetiche al numero di componenti dello spazio di moduli delle strutture complesse (tramite il teorema di Torelli e l'analisi del dominio dei periodi). Infine, il saggio fornisce una distinzione netta riguardo all'apertura del cono di Kähler, mostrando che mentre ciò avviene per $b_2^+ = 1$ e dimensione di Kodaira zero, fallisce per certe varietà negativamente curve con $b_2^+ > 1$, delineando così i limiti della stabilità di Kodaira–Spencer nella categoria simplicetica.