Holomorphic Lie algebroid connections over rationally connected varieties

Sintesi Tecnica: Connessioni di Algebroidi di Lie Olomorfi su Varietà Razionalmente Connesse

Enunciato del Problema
Il lavoro indaga l'esistenza e le proprietà delle connessioni di algebroidi di Lie olomorfi su fibrati vettoriali definiti su varietà complesse proiettive lisce. Mentre le connessioni olomorfe su fibrati vettoriali su superfici di Riemann compatte sono ben comprese (l'esistenza implica la piattezza, e l'esistenza è governata da condizioni sul grado dei sommandi indecomponibili), la situazione su varietà di dimensione superiore è più restrittiva. Nello specifico, gli autori affrontano il comportamento di tali connessioni quando la varietà base $X$ è razionalmente connessa (dove due punti qualsiasi possono essere uniti da una curva razionale irriducibile) e la struttura sottostante è un generico algebroid di Lie olomorfo $(V, \phi)$ piuttosto che il fibrato tangente standard $(TX, \text{Id}_{TX})$.

La domanda centrale è: in quali condizioni un fibrato vettoriale olomorfo $E$ su una varietà razionalmente connessa $X$ ammette una connessione $(V, \phi)$, e se tale connessione esiste, è necessariamente piatta?

Metodologia
Gli autori impiegano una combinazione di tecniche di geometria algebrica e della teoria degli algebroidi di Lie:

1. Quadro degli Algebroidi di Lie: Il lavoro utilizza la definizione di un algebroid di Lie $(V, \phi)$, dove $V$ è un fibrato vettoriale olomorfo e $\phi: V \to TX$ è la mappa di ancoraggio. Una connessione $(V, \phi)$ è definita come una mappa olomorfa $\mathbb{C}$-lineare $\nabla: E \to E \otimes V^*$ che soddisfa la regola di Leibniz coinvolgente il duale della mappa di ancoraggio $\phi^*$.
2. Formulazione tramite Fasci di Jet: L'esistenza di una connessione $(V, \phi)$ è caratterizzata dalla scissione di una specifica successione esatta corta che coinvolge il fascio di jet $V$-del primo ordine $J^1_V(E)$. Nello specifico, $E$ ammette una connessione se e solo se la successione $0 \to E \otimes V^* \to J^1_V(E) \to E \to 0$ si scinde olomorficamente.
3. Restrizione alle Curve Razionali: Un passaggio metodologico chiave consiste nel restringere il problema a morfismi non costanti $f: \mathbb{P}^1 \to X$. Poiché $X$ è razionalmente connessa, tali curve sono abbondanti. Gli autori tirano indietro l'algebroid di Lie $(V, \phi)$ e il fibrato $E$ su $\mathbb{P}^1$, costruendo un nuovo algebroid di Lie $(V_f, \hat{\phi})$ su $\mathbb{P}^1$.
4. Condizioni di Ampiezza e Strettamente Neff: Le dimostrazioni si basano pesantemente sulle proprietà del nucleo $S := \text{Ker}(\phi)$. Gli autori assumono che $S$ sia strettamente neff. Sfruttano il fatto che il pullback di un fibrato strettamente neff su $\mathbb{P}^1$ rimane strettamente neff (e quindi possiede componenti di grado positivo). Ciò permette di invocare teoremi di annullamento (tramite la dualità di Serre) per mostrare che certe classi di estensione si annullano, forzando la scissione delle successioni pertinenti.
5. Analisi della Curvatura: Per dimostrare la piattezza, gli autori analizzano la curvatura $K(\nabla) \in H^0(X, \text{End}(E) \otimes \bigwedge^2 V^*)$. Restringendosi a curve razionali dove il pullback di $TX$ è ampio, dimostrano che anche il pullback di $V$ è ampio. Di conseguenza, il fibrato $\bigwedge^2 V^*$ è costituito da fibrati di linea di grado negativo, portando all'annullamento delle sezioni globali della curvatura su tali curve. Grazie alla densità di Zariski di tali curve, la curvatura globale si annulla.

Contributi e Risultati Chiave
Il lavoro stabilisce due teoremi principali sotto l'assunzione che $X$ sia una varietà complessa proiettiva liscia razionalmente connessa e $(V, \phi)$ sia un algebroid di Lie con una mappa di ancoraggio $\phi$ suriettiva tale che $S := \text{Ker}(\phi)$ sia strettamente neff:

• Teorema 3.1 (Criterio di Esistenza): Un fibrato vettoriale olomorfo $E$ su $X$ ammette una connessione $(V, \phi)$ se e solo se $E$ è olomorfamente banale.

  • Meccanismo: La dimostrazione mostra che se una connessione esiste, il suo pullback su qualsiasi curva razionale $\mathbb{P}^1$ produce una connessione olomorfa su un fibrato su $\mathbb{P}^1$. Poiché qualsiasi connessione olomorfa su $\mathbb{P}^1$ implica che il fibrato sia banale (a causa della semplice connessione e della piattezza), $f^*E$ è banale per tutte tali curve. Ciò forza $E$ a essere banale su $X$.

• Teorema 3.2 (Piattezza): Qualsiasi connessione $(V, \phi)$ su un fibrato vettoriale olomorfo su $X$ (che deve essere banale per il Teorema 3.1) è piatta (integrabile).

  • Meccanismo: La curvatura della connessione, quando ristretta a curve razionali dove $f^*TX$ è ampio, deve annullarsi perché il gruppo di coomologia pertinente $H^0(\mathbb{P}^1, \bigwedge^2 f^*V^*)$ è nullo a causa della negatività dei gradi del duale di un fibrato ampio. Poiché queste curve coprono un sottoinsieme denso di Zariski di $X$, la curvatura globale è zero.

• Corollario 3.3: Come applicazione specifica, se $X$ è razionalmente connessa e $E$ ammette una connessione olomorfa solita (corrispondente all'algebroid di Lie $(TX, \text{Id}_{TX})$), allora $E$ è olomorfamente banale e la connessione è piatta.

Significato e Affermazioni
Il lavoro afferma di generalizzare risultati noti riguardanti le connessioni olomorfe su superfici di Riemann e varietà di Calabi-Yau al contesto più ampio delle varietà razionalmente connesse e delle connessioni di algebroidi di Lie.

• Unificazione: Il lavoro unifica vari oggetti geometrici (fibrati di Higgs, connessioni logaritmiche, connessioni meromorfe) sotto il singolo quadro delle connessioni di algebroidi di Lie, mostrando che per varietà razionalmente connesse con nuclei strettamente neff, l'esistenza di tali strutture è una condizione estremamente rigida.
• Rigidità: I risultati evidenziano un forte fenomeno di rigidità: su varietà razionalmente connesse con le specifiche condizioni sugli algebroidi di Lie, gli unici fibrati vettoriali capaci di supportare una connessione $(V, \phi)$ sono quelli banali, e qualsiasi tale connessione è automaticamente piatta.
• Ambito: Gli autori non affermano di risolvere il problema per tutte le varietà razionalmente connesse o per tutti gli algebroidi di Lie; i risultati sono strettamente condizionati dalla suriettività della mappa di ancoraggio e dalla strettissima neff del suo nucleo. Il lavoro posiziona queste scoperte come un'estensione naturale del lavoro classico di Atiyah sulle connessioni su curve a contesti razionali di dimensione superiore.