Symplectically aspherical Kähler manifolds, scalar curvature, and the fundamental group

Sintesi Tecnica: Manifold Kähler Simpleticamente Asferiche, Curvatura Scalare e Gruppo Fondamentale

Enunciato del Problema
Questo articolo investiga la classe di varietà lisce chiuse dotate di forme Kähler il cui pullback sulle coperture universali è una forma esatta. Gli autori definiscono questa classe come manifold Kähler simpleticamente asferiche (SAK). Questa classe si colloca strettamente tra le varietà Kähler iperboliche (dove il pullback è $d$-limitato) e le varietà grandi di Kollár (dove la copertura universale non contiene sottovarietà complesse compatte di dimensione positiva). Lo studio mira a comprendere i vincoli topologici e geometrici imposti da questa condizione di "asfericità" sulla forma Kähler, affrontando specificamente:

1. La realizzabilità di gruppi discreti finitamente presentabili come gruppi fondamentali di manifold SAK, in particolare quelli con gruppi di secondo omotopia non triviali ($\pi_2 \neq 0$).
2. L'esistenza di metriche riemanniane e Kähler con curvatura scalare positiva su tali manifold.
3. La struttura del cono Kähler, ovvero l'unicità o l'abbondanza di forme asferiche al suo interno.

Metodologia
Gli autori impiegano una sintesi di geometria algebrica complessa, topologia semplice e geometria riemanniana.

• Costruzione: Utilizzano costruzioni di coperture ramificate cicliche su varietà proiettive lisce asferiche per generare manifold SAK non asferici in tutte le dimensioni complesse $\ge 2$. Analizzano inoltre i prodotti simmetrici di curve generiche ($SP_n(M_g)$) e coperture ramificate di superfici asseliane.
• Vincoli Topologici: L'analisi si basa sulla mappa di Hurewicz, sulle classi di omologia sferica reale ($\Pi(M)$) e sull'interazione tra il cono Kähler e il cono delle forme semplice tame/comparabili.
• Obstruzioni alla Curvatura: L'articolo applica la congettura di Novikov (specificamente per la coomologia di basso grado), il teorema dell'indice di Rosenberg per manifold spin e la teoria di Seiberg–Witten (in dimensione 4), oltre al teorema del cono di Mori combinato con la teoria dei fibrati lineari pseudo-effettivi per ostacolare la curvatura scalare positiva.
• Calcoli Cohomologici: Per i prodotti simmetrici, gli autori utilizzano la struttura del gruppo di Neron–Severi e le relazioni di Macdonald nell'anello di coomologia per caratterizzare il cono Kähler.

Contributi Chiave e Risultati

1. Esistenza e Flessibilità Topologica
L'articolo stabilisce che i manifold SAK esistono in abbondanza, anche al di fuori del contesto asferico ($\pi_2 \neq 0$).

• Costruzione: Il Teorema 3.1 fornisce una ricetta generale per costruire manifold SAK non asferici in ogni dimensione complessa $n \ge 2$ tramite coperture ramificate $k$-cicliche di varietà asferiche.
• Classificazione: La Proposizione 3.2 dimostra che i SAK superficiali non asferici sono di tipo generale. Tuttavia, ciò non si generalizza alle dimensioni superiori (Nota 3.3).
• Gruppi Fondamentali: L'articolo affronta il "problema della realizzabilità". Il Teorema 4.4 dimostra che ogni gruppo abeliano libero di rango pari $\ge 4$ può essere realizzato come gruppo fondamentale di una superficie proiettiva liscia SAK di tipo generale con classi di omologia sferica reale non triviali. Gli esempi includono i prodotti simmetrici di curve generiche e specifiche coperture ramificate di superfici asseliane.
• Vincoli: Gli autori elencano le condizioni necessarie affinché un gruppo sia un gruppo SAK (ad esempio, infinito, con un solo end, prodotti di Massey nulli, numero di Betti primo pari per i sottogruppi a indice finito).

2. Obstruzioni alla Curvatura Scalare
Motivati dalla congettura di Gromov–Lawson, gli autori propongono e supportano un'estensione al contesto semplice.

• Congettura 5.2: Un manifold simpleticamente asferico chiuso non può supportare una metrica riemanniana di curvatura scalare positiva.
• Evidenze a Supporto:
  • Caso Spin: Il Teorema 5.3 prova la congettura per i manifold che ammettono una copertura spin finita, utilizzando la congettura di Novikov e il teorema dell'indice di Rosenberg.
  • Caso Asseliano/2-Tame: Il Corollario 5.4 estende questo ai manifold con gruppi fondamentali asseliani e coperture universali spin.
  • Basse Dimensioni: Il Teorema 5.5 conferma la congettura per i manifold simpleticamente asferici chiusi in dimensioni 2 e 4 senza ulteriori assunzioni topologiche, utilizzando Gauss–Bonnet e la teoria di Seiberg–Witten.
  • Metriche Kähler: Il Teorema 5.6 prova che le varietà proiettive lisce che ammettono un morfismo birazionale su una varietà SAK non possono supportare una metrica Kähler di curvatura scalare positiva. Ciò si basa sul fatto che la copertura universale di un manifold SAK non contiene sottovarietà complesse compatte, implicando che il fibrato canonico è nef (tramite il teorema del cono di Mori) e pseudo-effettivo.
  • Corollario 5.8: Di conseguenza, le varietà proiettive lisce grandi di Kollár (incluse quelle con coperture universali Stein) non possono supportare metriche Kähler di curvatura scalare positiva.

3. Il Cono Kähler e l'Unicità
L'articolo investiga la rigidità della condizione di asfericità all'interno del cono Kähler.

• Asfericità Totale: La Sezione 6 studia i manifold "totalmente Kähler asferici" (dove ogni forma Kähler è asferica). La Proposizione 6.1 mostra che se ogni forma Kähler è asferica, il duale dello spazio di omologia sferica reale $\Pi(M)$ deve trovarsi all'interno del gruppo di coomologia di Dolbeault $(2,0)+(0,2)$.
• Superfici: Il Corollario 6.3 implica che per le superfici Kähler, se tutte le forme Kähler sono asferiche, nessuna classe di omologia sferica reale può essere rappresentata da una 2-sfera simpleticamente immersa.
• Unicità sui Prodotti Simmetrici: La Proposizione 7.1 stabilisce che sul prodotto simmetrico $SP_n(M_g)$ di una curva generica, la forma Kähler asferica è essenzialmente unica. Nello specifico, una forma Kähler è asferica se e solo se la sua classe di coomologia è un multiplo scalare non nullo del pullback della forma canonica dal Jacobiano. Qualsiasi altra forma nel cono è non-asferica.

Significatività
L'articolo posiziona i manifold SAK come una classe intermedia "tame" tra le varietà Kähler iperboliche e le varietà grandi di Kollár, adatta a testare congetture come la congettura di Shafarevich (se le varietà grandi di Kollár abbiano coperture universali Stein).

• Rigidità Geometrica: I risultati dimostrano che la condizione di asfericità semplice impone forti vincoli sulla curvatura scalare, escludendo metriche di curvatura scalare positiva in ampie classi di varietà proiettive.
• Flessibilità Topologica: La costruzione di esplicite superfici SAK con $\pi_2$ non trivial e specifici gruppi fondamentali (abeliani liberi di rango $\ge 4$) colma una lacuna nella comprensione di quali gruppi possano emergere in questo contesto geometrico.
• Struttura del Cono: Le scoperte sul cono Kähler evidenziano come l'asfericità sia una proprietà fragile; forme Kähler strettamente correlate possono comportarsi in modo radicalmente diverso quando il loro pullback sulla copertura universale viene considerato (una esatta, l'altra no).

Gli autori concludono ponendo domande aperte, come se tutte le varietà grandi di Kollár ammettano una forma Kähler asferica e se i gruppi SAK possano avere torsione non triviale, osservando che gli attuali metodi semplici potrebbero non bastare per rispondere a queste questioni nel contesto olo-morfico.