Some examples of DG-Lie formality transfer

Problematica
Il documento affronta il problema del "trasferimento di formalità" per le algebre di Lie differenziali graduate (DG). Nello specifico, investiga le condizioni sotto le quali la proprietà di formalità (essere quasi-isomorfa alla propria algebra di coomologia) può essere trasferita tra due algebre di Lie DG, $L$ e $M$, collegate da un morfismo $f: L \to M$.

Sebbene sia ben stabilito che certe proprietà, come l'abelianità omotopica, si trasferiscano sotto specifiche condizioni sulla mappa indotta in coomologia (ad esempio, iniettività o suriettività), gli autori osservano che la formalità non si comporta in modo simile. I teoremi standard di trasferimento per l'abelianità omotopica non si generalizzano immediatamente alla formalità; ad esempio, un morfismo $f: L \to M$ può avere $M$ formale e $f: H^*(L) \to H^*(M)$ iniettiva, eppure $L$ può non essere formale. Il saggio cerca di identificare le corrette obstruzioni coomologiche e le condizioni che permettano un rigoroso teorema di trasferimento della formalità.

Metodologia
Gli autori utilizzano il framework della coomologia di Chevalley–Eilenberg e delle sequenze spettrali per analizzare l'obstruzione alla formalità. La loro metodologia prevede:

1. Complesso Doppio di Chevalley–Eilenberg: Utilizzano il complesso doppio $CE(L, M)$ associato a un'algebra di Lie DG $L$ e un modulo $L$, $M$. La coomologia del complesso totale, $H^*_{CE}(L, M)$, funge da strumento primario per rilevare le obstruzioni.
2. Sequenze Spettrali: Analizzano la sequenza spettrale coomologica $(E(L, M)^{p,q}_r, d_r)$ associata alla prima filtrazione del complesso doppio.
3. Classi di Euler e Differenziali: Un dispositivo tecnico centrale è la "classe di Euler" $e_f \in E(L, M)^{1,0}_2$, definita tramite la derivazione di Euler. Gli autori sfruttano il fatto che la scomparsa dei differenziali superiori ($d_r$) nella sequenza spettrale è equivalente alla formalità. Nello specifico, utilizzano il risultato secondo cui un'algebra di Lie DG $L$ è formale se e solo se la sua sequenza spettrale $E(L, L)_r$ decade al piano $E_2$.
4. Morfismi Indotti: Studiano come un morfismo $f: L \to M$ induca morfismi tra le sequenze spettrali di $(L, L)$, $(M, M)$ e $(L, M)$, tracciando come le classi di Euler e i differenziali si comportano sotto tali mappe.

Contributi Chiave e Risultati
Il contributo primario è la formulazione e la dimostrazione di un generale Teorema di Trasferimento della Formalità (Teorema 1.2 / Teorema 2.5), che generalizza i risultati precedenti sull'abelianità omotopica alla proprietà di formalità.

• Il Teorema Principale: Sia $f: L \to M$ un morfismo di algebre di Lie DG.

  • Trasferimento all'indietro (Backward Transfer): Se $M$ è formale e la mappa indotta $f^*: H^2_{CE}(H^*(L), H^*(L)) \to H^2_{CE}(H^*(L), H^*(M))$ è iniettiva, allora $L$ è formale.
  • Trasferimento in avanti (Forward Transfer): Se $L$ è formale e la mappa indotta $f^*: H^2_{CE}(H^*(M), H^*(M)) \to H^2_{CE}(H^*(L), H^*(M))$ è iniettiva, allora $M$ è formale.

• Corollari: Gli autori derivano corollari pratici per i casi in cui il morfismo ammette una sezione o una ritrazione. Ad esempio, se $M$ è formale ed esiste un morfismo di moduli $H^*(L)$ $s: H^*(M) \to H^*(L)$ tale che $s \circ f = \text{Id}_{H^*(L)}$, allora $L$ è formale.

• Applicazioni:

  1. Algebre Universali Avvolgenti: Gli autori dimostrano che, per un'algebra di Lie DG $L$, la formalità di $L$ è equivalente alla formalità della sua algebra universale avvolgente $U(L)$, sia come algebra associativa DG che come algebra di Lie DG. Ciò è stabilito utilizzando il teorema di Poincaré–Birkhoff–Witt (PBW) e la decomposizione di $U(L)$ come modulo $L$.
  2. Sottialgebre Invarianti: Dimostrano che se un'algebra di Lie DG $M$ è formale e $L \subseteq M$ è una sottialgebra che ammette una ritrazione di moduli $L$ (ad esempio, la sottialgebra degli invarianti sotto l'azione di un gruppo finito o di un gruppo algebrico linearmente riduttivo), allora anche $L$ è formale.
  3. Formalità di Kodaira–Spencer: Il saggio dimostra che se una varietà proiettiva liscia $X$ è formale di Kodaira–Spencer (ovvero la sua algebra di Lie DG di controllo è formale) e un gruppo finito $G$ agisce liberamente su $X$, allora anche il quoziente $X/G$ è formale di Kodaira–Spencer.
  4. Non-Esempio: Il saggio fornisce un contro-esempio (Sottosezione 3.4) dimostrando che l'iniettività di $H^*(L) \to H^*(M)$ da sola è insufficiente per il trasferimento della formalità, rinforzando la necessità delle condizioni di coomologia di Chevalley–Eilenberg.

Significatività e Rivendicazioni
Il saggio sostiene di fornire una "formulazione conveniente" e una "leggera generalizzazione" dei risultati esistenti sul trasferimento della formalità. Gli autori osservano che il risultato del trasferimento all'indietro (Punto 1 del teorema principale) era stato precedentemente dimostrato in [19] e applicato nel contesto della congettura di formalità di Kaledin–Lehn.

La significatività di questo lavoro risiede nel:

1. Completare il Quadro: Aggiungendo il risultato del trasferimento in avanti (Punto 2) e fornendo una dimostrazione diversa e leggermente più semplice per il trasferimento all'indietro, il saggio offre un quadro più simmetrico e accessibile per il trasferimento della formalità.
2. Chiarire le Obstruzioni: Identifica esplicitamente l'iniettività di specifiche mappe in coomologia di Chevalley–Eilenberg come la condizione precisa richiesta per superare il fallimento della formalità nel trasferirsi sotto la semplice iniettività/suriettività delle mappe di coomologia.
3. Unificare le Applicazioni: I risultati unificano vari fenomeni noti, come la preservazione della formalità sotto i quozienti di gruppi finiti e l'equivalenza tra formalità di Lie e associativa per le algebre universali avvolgenti, sotto un unico ombrello teorico.

Gli autori rimangono modesti riguardo all'estensione del lavoro, riconoscendo che, sebbene il framework teorico sia generale, "quasi tutte le interessanti applicazioni note" di questi risultati dipendono dal corollario specifico riguardante i sommi diretti (Corollario 1.4). Il saggio non propone nuove applicazioni sperimentali, ma piuttosto consolida le fondamenta teoriche per quelle esistenti nella teoria della deformazione e nella geometria algebrica.