On algebraically coisotropic submanifolds of holomorphic symplectic manifolds

Il paper dimostra che, per una varietà abeliana $M$, ogni sottovarietà algebricamente coisotropica non uniruleata $X$ è, a meno di un ricoprimento étale finito, un prodotto di una sottovarietà lagrangiana e di una varietà iperkähler, fornendo inoltre risultati parziali nel caso in cui il fibrato canonico di $X$ sia semi-ampolo.

L'essenziale

Immagina di essere un esploratore che si avventura in un mondo geometrico magico e complesso, chiamato varietà simplettica olomorfa. Per renderlo più semplice, pensalo come un "gioco di specchi" multidimensionale dove ogni punto ha una regola speciale di simmetria (la forma simplettica) che collega le direzioni opposte, un po' come le due facce di una moneta o le due mani di un guanto.

In questo mondo, gli autori del paper (Amerik e Campana) stanno cercando di capire come si comportano certi "oggetti" (sottovarietà) che vivono dentro questo spazio. In particolare, si concentrano su oggetti chiamati coisotropi algebrici.

Ecco la spiegazione passo dopo passo, usando metafore quotidiane:

1. Il Concetto di "Coisotropo": La Regola del "Mezzo Specchio"

Immagina che il nostro spazio magico sia un grande oceano.

• Un oggetto isotropo è come un'isola piatta che galleggia sull'acqua: non rispecchia affatto la simmetria dell'oceano (la forma simplettica è zero su di essa).
• Un oggetto coisotropo è come una barca che ha un "mezzo specchio". Se guardi la barca, c'è una parte che rispetta perfettamente la simmetria dell'oceano e una parte che no.
• In termini matematici, se l'oggetto è "coisotropo", significa che le sue direzioni interne contengono tutte le direzioni che sono "perpendicolari" (in senso magico) a se stesse. È un equilibrio speciale.

2. Il Grande Indovinello: Sono tutti uguali?

Gli autori si chiedono: "Se prendiamo un oggetto coisotropo che non è fatto di linee rette che si incrociano all'infinito (non 'uniruled'), è sempre possibile scomporlo in pezzi più semplici?"

La loro ipotesi è che, se guardi bene (magari dopo aver fatto un "zoom" o una coperta finita), ogni oggetto coisotropo sia in realtà un prodotto di due cose:

1. Una parte che è un "Lagrangiano" (un'isola perfetta che galleggia su un piccolo oceano).
2. Una parte che è un "Oceano Symplectic" (un altro pezzo di spazio magico).

È come dire: "Ogni macchina complessa è in realtà un motore (la parte Lagrangiana) attaccato a un telaio (la parte Symplectic)."

3. Cosa hanno scoperto? (I Risultati)

Gli autori non hanno risolto tutto per sempre, ma hanno fatto passi da gigante in casi specifici:

• Il caso dei "Tori" (Varietà Abeliane):
  Immagina un toro come una ciambella che si ripete all'infinito in tutte le direzioni (un reticolo). Se il nostro spazio magico è una ciambella gigante, gli autori hanno dimostrato che la loro ipotesi è vera.

  • La metafora: Se hai una ciambella magica, ogni oggetto coisotropo che ci trovi è semplicemente un pezzo di ciambella più piccolo (Lagrangiano) incollato a un'altra ciambella. Hanno anche scoperto che in certe ciambelle "molto generiche" (quelle che non hanno simmetrie nascoste strane), non esistono affatto queste isole Lagrangiane perfette. È come cercare un'isola in un oceano che è tutto acqua: non c'è terra ferma!

• Il caso della "Curvatura" (Bundle Canonico):
  Hanno guardato la "forma" degli oggetti. Se un oggetto è molto curvo in modo positivo (come una sfera, o "general type"), allora deve essere necessariamente un'isola Lagrangiana perfetta.

  • La metafora: Se un oggetto è così "ricurvo" e complesso da non poter essere srotolato in linee rette, allora deve essere la parte più pura e speciale del mondo magico (Lagrangiano).

• Il caso delle "Iper-Kähler" (Spazi molto speciali):
  Qui la situazione è diversa. In questi spazi, esistono molti esempi di isole Lagrangiane che si muovono, cambiano forma e sono molto varie. È come se in questo tipo di oceano magico, le isole potessero nascere e scomparire, mentre nelle ciambelle (Abeliane) la situazione è molto più rigida e spesso vuota.

4. Un esempio "strano" (Non Proiettivo)

Alla fine, gli autori mostrano un esempio che non vive nel mondo normale (non è "proiettivo"). Immagina un toro che non può essere disegnato su un foglio di carta senza strapparlo. In questo mondo bizzarro, esiste un automorfismo (una trasformazione magica) che cambia le regole del gioco in modo che la simmetria non si ripeta mai (non è una radice dell'unità).

• La metafora: È come avere un orologio i cui ingranaggi girano in modo che l'ago non torni mai mai nella stessa posizione esatta. In questo scenario caotico, riescono a costruire delle "isole Lagrangiane" perfette.

In Sintesi

Il paper è come una mappa di un territorio misterioso. Gli autori dicono:

1. Se il territorio è una ciambella gigante (Abeliana), le regole sono chiare: gli oggetti speciali sono prodotti di pezzi più semplici, ma in alcune ciambelle "perfette" non ci sono isole Lagrangiane.
2. Se l'oggetto è molto curvo, allora è un'isola Lagrangiana pura.
3. Se il territorio è un mondo iper-Kähler, le cose sono molto più libere e ci sono molte più isole Lagrangiane.

Hanno dimostrato che la loro congettura (che tutto si possa scomporre in pezzi semplici) è vera per le ciambelle, e hanno dato indizi forti per gli altri casi, aprendo la strada a future esplorazioni. È un lavoro che cerca di ordinare il caos geometrico in categorie logiche e pulite.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "On algebraically coisotropic submanifolds of holomorphic symplectic manifolds" di Ekaterina Amerik e Frédéric Campana, pubblicata su Épijournal de Géométrie Algébrique nel 2023.

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio delle varietà complesse proiettive $M$ dotate di una forma simplettica olomorfa $\sigma$ (varietà simplettiche olomorfe), che hanno dimensione pari $2n$. L'oggetto centrale di studio sono le **sottovarietà algebricamente coisotrope**$X \subset M$.

• Definizione: Una sottovarietà $X$ di codimensione $c$ è coisotropa se la restrizione di $\sigma$ a $X$ ha rango $2(n-c)$ovunque. Questo implica che il nucleo di$\sigma|_X$definisce un foliazione regolare$\mathcal{F}$di rango$c$, detta foliazione caratteristica.
• Condizione algebrica: $X$ è detta algebricamente coisotropa se la foliazione caratteristica è algebrica (le sue foglie sono sottovarietà algebriche). Questo induce una fibrazione $f: X \to B$ (la fibrazione caratteristica).
• La questione aperta: Il lavoro è motivato da risultati precedenti nel caso degli iperpiani (divisori). Gli autori si chiedono se una descrizione simile valga per sottovarietà di codimensione arbitraria, specialmente quando $X$ non è univocamente coperta da curve razionali (non uniruled).
  • Domanda 1.4: Se $X \subset M$ è algebricamente coisotropa e non uniruled, esiste un rivestimento étale finito tale che la coppia $(X, M)$ si decompone in un prodotto $(Z \times Y, N \times Y)$, dove $N, Y$ sono varietà simplettiche olomorfe e $Z \subset N$ è una sottovarietà lagrangiana?

2. Metodologia

Gli autori combinano tecniche di geometria algebrica complessa, teoria delle varietà abeliane e proprietà delle forme simplettiche. I metodi principali includono:

1. Analisi della fibrazione caratteristica: Studio della struttura della fibrazione $f: X \to B$ indotta dalla foliazione caratteristica, utilizzando risultati sulla stabilità di Reeb e la discesa della forma simplettica sul base $B$.
2. Teoria dei Modelli Minimi e Proprietà del Fascio Canonico: L'uso di condizioni sul fascio canonico $K_X$ (semiampiezza, nef, big) per determinare la struttura della fibrazione. Si fa riferimento a teoremi recenti (es. Taji) sui modelli minimi.
3. Classificazione di Ueno: Per il caso delle varietà abeliane, si utilizza la classificazione delle sottovarietà di Ueno per analizzare la struttura di $X$ in termini di sottotori e varietà di tipo generale.
4. Teoria di Hodge e Gruppi di Hodge: Per le varietà abeliane, si analizza la struttura dei sottogruppi di Hodge per dimostrare l'assenza di sottovarietà lagrangiane in casi "generici".
5. Costruzioni Esplicite: Costruzione di esempi non proiettivi (tori complessi) per mostrare fenomeni che non si verificano nel caso proiettivo.

3. Risultati Principali e Contributi Chiave

A. Risultati Generali su $K_X$

Gli autori stabiliscono condizioni sufficienti affinché una sottovarietà coisotropa sia lagrangiana (codimensione $n$):

• Teorema 1.7 e 1.8: Se $K_X$ è semiampio (o più in generale, se le fibre lisce della fibrazione caratteristica ammettono buoni modelli minimi), allora la fibrazione caratteristica $f: X \to B$ è isotriviale e il grado di Kodaira soddisfa $\kappa(X) = \kappa(F)$, dove $F$ è una fibra generale.
• Corollario 1.9: Se $K_X$ è nef e big (o se $X$ è di tipo generale), allora $X$ è necessariamente lagrangiana. Questo generalizza il teorema di Hwang-Viehweg (che valeva per i divisori) a codimensioni superiori.

B. Il Caso delle Varietà Abeliane (Risposta Positiva alla Domanda 1.4)

Il contributo più significativo è la risoluzione completa della Domanda 1.4 quando $M$ è una varietà abeliana.

• Teorema 1.11: Sia $M$ una varietà abeliana e $X \subset M$ algebricamente coisotropa. Dopo un rivestimento étale finito, esiste una decomposizione di $M$ in sottotori $M = D \times C \times N \times P$ tale che:
  1. $X = D \times C \times Z$, dove $Z \subset N$ è una sottovarietà di tipo generale.
  2. $Z$ è lagrangiana in $N$ rispetto alla restrizione della forma simplettica $\sigma_N$.
  3. La fibrazione caratteristica di $X$ è la proiezione su $D$, con fibre $C \times Z$.
  4. $\dim(C) = \dim(P)$ e la forma simplettica si decompone in modo compatibile.
• Questo risultato conferma che, nel caso abeliano, la struttura di $X$ è essenzialmente un prodotto di una parte lagrangiana e di tori "trasversali".

C. Assenza di Lagrangiane in Varietà Abeliane "Generiche"

• Corollario 5.5: Se $M$ è una varietà abeliana "Hodge-generale" (una condizione più forte della semplicità, che implica numero di Picard 1), allora non esistono sottovarietà lagrangiane di dimensione $\ge 2$.
• Significato: Questo crea un forte contrasto con le varietà IHS (Irreducible Holomorphic Symplectic) o iperkähler, dove esistono molte lagrangiane (es. fibrati lagrangiani, superfici di tipo generale). Nelle varietà abeliane generiche, la ricchezza delle forme olomorfe impedisce l'esistenza di lagrangiane non banali.

D. Esempi e Controesempi

• Varietà IHS: Vengono discussi esempi noti di lagrangiane in varietà IHS (es. superficie di K3, Hilbert square, fissi di involuzioni antisimplettiche).
• Esempi Non Proiettivi (Sezione 6): Gli autori costruiscono tori complessi non proiettivi (dimensione 2) che ammettono automorfismi con autovalori non radici dell'unità. Su prodotti di tali tori ($T \times T$), esistono superfici lagrangiane lisce per forme simplettiche specifiche $(s, \lambda s)$. Questo mostra che l'ipotesi di proiettività è cruciale per alcuni risultati di non-esistenza.

4. Significato e Implicazioni

1. Classificazione Strutturale: Il lavoro fornisce una classificazione quasi completa delle sottovarietà algebricamente coisotrope non uniruled nel caso delle varietà abeliane, riducendo il problema allo studio delle lagrangiane.
2. Distinzione tra Tipi di Varietà: Evidenzia una differenza fondamentale tra le varietà IHS (dove le lagrangiane sono abbondanti e possono muoversi in famiglie) e le varietà abeliane (dove le lagrangiane sono rare o inesistenti nel caso generico).
3. Generalizzazione di Risultati Classici: Estende il teorema di Hwang-Viehweg (sui divisori coisotropi di tipo generale) a sottovarietà di codimensione arbitraria, dimostrando che la condizione "di tipo generale" forza la lagrangianità.
4. Connessioni con la Topologia: La Sezione 5.3 collega l'esistenza di lagrangiane alle proprietà del gruppo fondamentale $\pi_1(X)$, suggerendo che per varietà abeliane semplici, i gruppi fondamentali delle sottovarietà di dimensione intermedia potrebbero essere più vincolati di quanto si pensi.

In sintesi, il paper offre una risposta parziale ma profonda alla struttura delle sottovarietà coisotrope, risolvendo il caso abeliano e ponendo nuove domande sulla natura delle lagrangiane nelle varietà iperkähler e sulle restrizioni topologiche nelle varietà abeliane semplici.