Joint Deformations of Manifolds, Coherent Sheaves and Sections

Sintesi Tecnica: Deformazioni Congiunte di Varietà, Fasci Coerenti e Sezioni

Enunciato del Problema
Il saggio affronta la teoria delle deformazioni della terna $(X, F, \sigma)$, dove $X$ è una varietà liscia su un campo di caratteristica 0, $F$ è un fascio coerente su $X$, e $\sigma \in H^0(X, F)$ è una sezione globale. Sebbene la teoria delle deformazioni delle coppie $(X, Z)$ (dove $Z$ è un divisore) sia ben compresa tramite l'ipercoomologia del complesso $\Theta_X \xrightarrow{\gamma} N_{Z|X}$, esiste un significativo vuoto tecnico: il complesso $D = [\Theta_X \xrightarrow{\gamma} N_{Z|X}]$ non possiede naturalmente la struttura di un fascio di algebre di Lie differenziali graduate (algebre di Lie DG) . Questa assenza complica lo studio delle deformazioni utilizzando la strumentazione standard delle soluzioni di Maurer–Cartan e dell'equivalenza di gauge, in particolare per il calcolo delle obstruzioni primarie e dei prodotti di Massey.

Il lavoro precedente degli autori e di altri ha stabilito che per un fibrato lineare $L$ e una sezione $\sigma$, le deformazioni di $(X, L, \sigma)$ sono controllate dal complesso $P(X, L) \xrightarrow{e_\sigma} L$, dove $P(X, L)$ è il fascio degli operatori differenziali del primo ordine. Tuttavia, mancava un quadro generale per fasci coerenti arbitrari $F$ (che potrebbero non essere localmente liberi) e le loro sezioni.

Metodologia
Gli autori impiegano la teoria delle algebre di Lie DG e dei groupoid di Deligne per costruire un meccanismo di controllo per queste deformazioni. La metodologia procede in diverse fasi:

1. Risoluzione e Costruzione: Per un fascio coerente $F$, gli autori selezionano una risoluzione localmente libera finita $E^\bullet$ e una sezione $s \in H^0(X, E^0)$ che eleva $\sigma$. Costruiscono un fascio di algebroidi di Lie DG $C^\bullet(X, E^\bullet, s)$, definito come il cocone di mappatura della morfismo di valutazione $e_s: P^\bullet(X, E^\bullet) \to E^\bullet$. Qui $P^\bullet(X, E^\bullet)$ denota il fascio degli operatori differenziali del primo ordine con simbolo scalare.
2. Indipendenza dalla Risoluzione: Utilizzando tecniche di algebra omologica (specificamente la procedura di "uccisione dei cicli" e le proprietà delle quasi-isomorfismi), gli autori dimostrano che la classe di quasi-isomorfismo dell'algebroide di Lie DG $C^\bullet(X, E^\bullet, s)$ è indipendente dalla scelta della risoluzione $(E^\bullet, s)$.
3. Teoria della Discesa: Per passare dai patch affini locali alla varietà globale $X$, gli autori utilizzano la totalizzazione di Thom–Whitney del semicosimplicial DG-Lie algebra formato dalle restrizioni di $C^\bullet$ su una copertura aperta affina. Applicano una variazione del teorema di discesa di Hinich per i groupoid di Deligne (specificamente l'estensione di Fiorenza–Iacono–Martinengo) per relazionare il funtore di deformazione globale alle sezioni globali derivate della totalizzazione dell'algebra di Lie DG.
4. Groupoid Formali: Gli autori definiscono groupoid formali $G(X,F,\sigma)$ che rappresentano le classi di isomorfismo delle deformazioni infinitesimali. Stabiliscono equivalenze tra questi groupoid e i groupoid di Deligne associati alle algebre di Lie DG costruite.

Contributi Chiave e Risultati

• Teorema Principale (Teorema 5.6): Le deformazioni infinitesimali della terna $(X, F, \sigma)$ sono controllate dall'algebra di Lie DG $L$ delle sezioni globali derivate del complesso $C^\bullet(X, E^\bullet, s)$. Specificamente, esiste un isomorfismo di funtori di deformazione:
  $$\text{Def}_{\text{Tot}(U, C^\bullet)} \cong \text{Def}_{(X,F,\sigma)}$$
  Di conseguenza, lo spazio tangente alle deformazioni è identificato con $T^1_{(X,F,\sigma)} = H^1(X, C^\bullet(X, E^\bullet, s))$, e le obstruzioni risiedono in $T^2_{(X,F,\sigma)} = H^2(X, C^\bullet(X, E^\bullet, s))$.
• Generalizzazione alle Sezioni: Il quadro si estende naturalmente a sequenze finite di sezioni $\sigma_1, \dots, \sigma_n$ sostituendo il target del morfismo di valutazione con la somma diretta delle risoluzioni.
• Recupero di Risultati Noti (Sezione 6): Il saggio dimostra che quando $F = L$ è un fibrato lineare e $\sigma$ definisce un divisore $Z$, il complesso $C^\bullet(X, L, \sigma)$ è quasi-isomorfo al classico complesso $\Theta_X \xrightarrow{\gamma} N_{Z|X}$. Questo recupera il risultato noto secondo cui l'ipercoomologia di questo complesso controlla le deformazioni della coppia $(X, Z)$.
• Intuizione Strutturale (Esempio 6.2): Gli autori dimostrano esplicitamente che il complesso $\Theta_X \xrightarrow{\gamma} N_{Z|X}$ non ammette una struttura di algebra di Lie DG compatibile con la parentesi di Lie su $\Theta_X$ in modo tale da rendere la proiezione un morfismo di Lie DG. Ciò evidenzia la necessità del fascio intermedio di operatori differenziali $P(X, L)$ per ottenere una valida struttura di Lie DG.
• Criterio di Smoothness (Corollario 5.8): Se $H^1(X, F) = 0$, il morfismo di forgetful dalle deformazioni di $(X, F, \sigma)$ alle deformazioni di $(X, F)$ è liscio (smooth).

Significato
Il saggio rivendica la sua importanza fornendo un quadro di algebre di Lie DG unificato e rigoroso per le deformazioni congiunte di una varietà, un fascio coerente e una sezione. Questo approccio risolve la difficoltà tecnica del gestire fasci non localmente liberi e le loro sezioni dove il classico complesso tangente-normale fallisce nel possedere una struttura di algebra di Lie DG. Stabilendo che le sezioni globali derivate del costruito cocone di mappatura controllano queste deformazioni, gli autori permettono l'applicazione degli standard della teoria delle deformazioni (come la teoria delle obstruzioni e i prodotti di Massey) a una classe più ampia di oggetti geometrici. Inoltre, il lavoro generalizza i risultati esistenti sulle deformazioni di coppie $(X, Z)$ a casi in cui il divisore $Z$ può essere singolare, senza richiedere che il fascio dei campi vettoriali logaritmici sia l'unico controllore.