Existence of holomorphic Lie algebroid connections in higher dimensions

Titolo: Esistenza di Connessioni di Algebri di Lie Olomorfe in Dimensione Superiore

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria algebrica complessa e della geometria differenziale, focalizzandosi sull'esistenza di connessioni olomorfe su fasci vettoriali olomorfi definiti su varietà proiettive complesse lisce e irriducibili.

• Contesto Storico: Le connessioni olomorfe sono state introdotte da Atiyah. Su una superficie di Riemann compatta, un fascio vettoriale ammette una connessione olomorfa se e solo se il grado di ogni suo componente indecomponibile è zero. Tuttavia, in dimensioni superiori ($\dim X \geq 3$), la condizione è molto più restrittiva. Atiyah ha stabilito un criterio per l'esistenza di connessioni olomorfe (dove l'algebroid è il fibrato tangente $TX$) su varietà di dimensione $\geq 3$.
• Generalizzazione: Gli autori generalizzano questo problema al contesto degli algebri di Lie olomorfi $(V, \phi)$. Un algebroid di Lie è una generalizzazione del fibrato tangente, dove il fibrato $V$ è dotato di un "mappa di ancoraggio" $\phi: V \to TX$ e di una struttura di algebra di Lie sulle sezioni.
  • Esempi includono: fasci di Higgs, connessioni logaritmiche, connessioni meromorfe e moduli $\Lambda$ di Simpson.
• Obiettivo: Stabilire un criterio necessario e sufficiente per l'esistenza di una connessione olomorfa $(V, \phi)$ su un fascio vettoriale $E$ su una varietà $X$ di dimensione $d \geq 3$, generalizzando il teorema di Atiyah.

2. Metodologia e Strumenti Teorici

Gli autori utilizzano un approccio basato sulla coomologia dei fasci e sulla teoria delle estensioni, sfruttando le proprietà di restrizione a ipersuperfici.

• Classi di Atiyah Generalizzate:
  L'esistenza di una connessione $(V, \phi)$ su $E$ è equivalente all'esistenza di una sezione olomorfa che scinde una successione esatta corta specifica, nota come successione di jet di primo ordine $J^1_V(E)$.
  $$0 \longrightarrow E \otimes V^* \xrightarrow{\iota_E} J^1_V(E) \xrightarrow{p_E} E \longrightarrow 0$$
  L'ostacolo alla scissione di questa successione è misurato dalla classe di Atiyah $V$-dipendente, $at_V(E) \in H^1(X, \text{End}(E) \otimes V^*)$.

  • Condizione di Esistenza: $E$ ammette una connessione $(V, \phi)$ se e solo se $at_V(E) = 0$.

• Tecnica di Restrizione (Teorema di Bertini e Dualità):
  Il cuore della metodologia risiede nel dimostrare che la classe di Atiyah su $X$ è nulla se e solo se la sua restrizione a un'ipersuperficie generica $X_n$ è nulla.

  1. Si considera un'ipersuperficie $X_n = X \cap H_n$ di grado $n$ sufficientemente alto.
  2. Si costruisce un algebroid di Lie indotto $(V_n, \phi_n)$ sulla varietà $X_n$ come nucleo di una mappa composta che proietta su $V|_{X_n}$ verso il fibrato normale $N_{X_n}$.
  3. Si utilizzano i teoremi di Serre e la dualità di Serre per dimostrare che, per $n \gg 0$, i gruppi di coomologia $H^1$ e $H^2$ con coefficienti twistati da $\mathcal{O}_X(-X_n)$ si annullano.
  4. Questo annullamento permette di stabilire un isomorfismo tra i gruppi di coomologia su $X$ e su $X_n$:
     $$H^1(X, \text{End}(E) \otimes V^*) \cong H^1(X_n, \text{End}(E|_{X_n}) \otimes V_n^*)$$

3. Risultati Principali

Il paper presenta due teoremi fondamentali:

Teorema 3.1 (Caso Generale):
Sia $X \subset \mathbb{CP}^N$ una varietà proiettiva complessa liscia irriducibile di dimensione $\geq 3$. Sia $(V, \phi)$ un algebroid di Lie olomorfo su $X$ tale che la mappa di ancoraggio $\phi: V \to TX$ sia suriettiva.

• Risultato: Un fascio vettoriale olomorfo $E$ su $X$ ammette una connessione $(V, \phi)$ se e solo se la sua restrizione $E|_{X_n}$ ammette una connessione $(V_n, \phi_n)$ su un'ipersuperficie $X_n$ di grado sufficientemente alto $n$, dove $(V_n, \phi_n)$ è l'algebroid indotto definito come $\text{Ker}(V|_{X_n} \to N_{X_n})$.

Teorema 3.2 (Caso delle Divisori Ridotti):
Sia $Z \subset X$ un divisore effettivo ridotto. Si considera l'algebroid di Lie associato alla struttura logaritmica (o singolare) $W = TX \otimes \mathcal{O}_X(-Z)$, con mappa di ancoraggio l'inclusione $j: W \hookrightarrow TX$ (non suriettiva).

• Risultato: Sotto l'ipotesi $\dim X \geq 3$, $E$ ammette una connessione $(W, j)$ se e solo se, per un'ipersuperficie liscia $X_n$ di grado sufficientemente alto che interseca $Z$ "in modo proprio" (properly), la restrizione $E|_{X_n}$ ammette una connessione $(W_n, j_n)$ sull'algebroid indotto su $X_n$.

4. Contributi Chiave

1. Generalizzazione del Criterio di Atiyah: Estendono il classico criterio di esistenza di connessioni olomorfe (originariamente per il fibrato tangente) a una vasta classe di algebri di Lie, inclusi quelli associati a strutture logaritmiche e fasci di Higgs.
2. Riduzione Dimensionale: Dimostrano che il problema dell'esistenza di connessioni in dimensione $\geq 3$ può essere ridotto all'esistenza di connessioni su varietà di dimensione inferiore (ipersuperfici), sfruttando la vanishing dei gruppi di coomologia per fasci molto negativi.
3. Trattamento di Ancoraggi Non Suriettivi: Il Teorema 3.2 affronta specificamente il caso in cui la mappa di ancoraggio non è suriettiva (caso dei divisori), un'area che presenta sfide tecniche maggiori rispetto al caso suriettivo.

5. Significato e Implicazioni

• Unificazione Geometrica: Il lavoro fornisce un quadro unificato per comprendere l'esistenza di diverse strutture geometriche (fasci di Higgs, connessioni logaritmiche, ecc.) come casi particolari di connessioni su algebri di Lie.
• Strumento Computazionale: I criteri ottenuti permettono di verificare l'esistenza di connessioni complesse su varietà di alta dimensione studiando il comportamento su sezioni iperplanari, che sono spesso più gestibili.
• Problemi Aperti: Gli autori notano che, sebbene abbiano risolto il caso per algebri con ancoraggio suriettivo o associati a divisori, l'estensione di criteri analoghi per algebri di Lie arbitrari o per foliazioni rimane un problema aperto importante nella geometria complessa.

In sintesi, il paper rappresenta un avanzamento significativo nella teoria delle connessioni olomorfe, fornendo strumenti potenti per analizzare la geometria dei fasci vettoriali su varietà complesse di dimensione superiore attraverso la lente della teoria degli algebri di Lie.