Gelfand-Fuks cohomology of vector fields on algebraic varieties

Sintesi Tecnica: Coomologia di Gelfand-Fuks dei Campi Vettoriali su Varietà Algebriche

Enunciato del Problema
Lo studio delle alge di Lie dei campi vettoriali ha una lunga storia, eppure il calcolo della loro coomologia generale rimane intrattabile oltre gli esempi semplici. Mentre Gelfand e Fuks hanno introdotto una teoria della coomologia per varietà $C^\infty$ nell'ambito analitico, e il lavoro successivo (ad esempio, di Tsujishita) ha esplorato i complessi diagonali nell'ambito complesso, gli approcci standard sono stati storicamente difficili dal punto di vista computazionale. Progressi recenti, tra cui la prova della finitezza della dimensione della coomologia dell'algebra di Lie su varietà affini lisce da parte di Hennion e Kapranov tramite alge di fattorizzazione, hanno segnato il campo. Il lavoro di Williams, che collega la coomologia locale al complesso diagonale, è un altro punto di riferimento.

Questo articolo affronta il vuoto in un quadro puramente algebrico. Gli autori mirano a sviluppare una coomologia di Gelfand-Fuks algebrica per campi vettoriali polinomiali su varietà algebriche affini. La sfida specifica consiste nel definire questa coomologia con coefficienti in $AV$-moduli differenziabili (moduli in cui l'azione dei campi vettoriali è un operatore differenziale nel senso di Grothendieck) e nel calcolarla esplicitamente per varietà che ammettono parametri di uniformizzazione.

Metodologia
Gli autori impiegano un approccio algebrico multi-step sfruttando i recenti sviluppi nella teoria delle rappresentazioni e nella teoria dei jet:

1. Definizione Algebrica: Definiscono la coomologia di Gelfand-Fuks algebrica $H^*_{GF}(V, M)$ per una coppia di Rinehart $(A, V)$ (dove $A$ è l'anello delle coordinate e $V$ è l'algebra di Lie dei campi vettoriali) e un $AV$-modulo differenziabile $M$. Il complesso di cocatene consiste in cocatene che sono operatori differenziali nel senso di Grothendieck, soddisfacendo una specifica condizione di annullamento riguardante le differenze finite degli argomenti.
2. Isomorfismo dei Jet: Uno strumento tecnico centrale è l'identificazione della coomologia di Gelfand-Fuks con il complesso delle cochatene finite sull'algebra di Lie dei jet polinomiali, denotata $A^\#V$. Dimostrano che, per un $AV$-modulo differenziabile $M$, la coomologia $H^*(V, M)$ è isomorfa alla coomologia $A$-lineare $H^*_A(A^\#V, M)$.
3. Completamento e Decomposizione: Considerando il completamento dell'algebra dei jet, $\hat{A}^\#V$ (l'algebra di Lie degli $\infty$-jet), utilizzano un risultato strutturale da [BI22]. Per le varietà con parametri di uniformizzazione (coperte da un singolo intorno étale), $\hat{A}^\#V$ si decompone come un prodotto semi-diretto:
   $$\hat{A}^\#V \cong V \ltimes (\hat{A} \otimes L_+)$$
   dove $L_+$ è l'algebra di Lie dei campi vettoriali su spazio affine che si annullano nell'origine (la parte positiva dell'algebra graduata di derivazioni).
4. Formula di Künneth: Gli autori stabiliscono una formula di Künneth per il prodotto semi-diretto $V \ltimes (A \otimes \mathfrak{g})$. Dimostrano che la coomologia $A$-lineare di tale prodotto con coefficienti in un modulo tensoriale $S \otimes W$ si decompone come:
   $$H^*_A(V \ltimes (A \otimes \mathfrak{g}), S \otimes W) \cong H^*_A(V, S) \otimes H^*(\mathfrak{g}, W)$$
   Ciò si basa sulla sequenza spettrale di Hochschild-Serre, la quale mostrano stabilizzarsi al termine $E_2$.
5. Identificazione de Rham: Dimostrano che la coomologia $A$-lineare dei campi vettoriali con coefficienti nell'algebra delle funzioni $A$ è isomorfa alla coomologia de Rham della varietà: $H^*_A(V, A) \cong H^*_{dR}(X)$.

Contributi Principali e Risultati

• Definizione della Coomologia di Gelfand-Fuks Algebrica: Il saggio introduce formalmente e valida la teoria della coomologia per i $AV$-moduli differenziabili, dimostrando che essa costituisce un sottocomplesso ben definito del complesso di Chevalley-Eilenberg.
• Teorema di Decomposizione Principale (Teorema 1.1 & 6.1): Per una varietà algebrica affine $X$ con parametri di uniformizzazione, e un modulo tensoriale $M = A \otimes W$ (dove $W$ è un modulo a dimensione finita per $L_+$), la coomologia di Gelfand-Fuks si decompone come un prodotto tensoriale:
  $$H^*_{GF}(V, A \otimes W) \cong H^*_{dR}(X) \otimes H^*(L_+, W)$$
  Questo risultato allinea il calcolo algebrico con i risultati noti nell'ambito $C^\infty$.
• Calcoli Espliciti: Gli autori applicano questo quadro per calcolare la coomologia per casi specifici:
  • Spazio Affine ($A^n$): La coomologia si riduce a $H^*(L_+, W)$, poiché la coomologia de Rham dello spazio affine è banale nei gradi positivi. Ciò recupera i risultati noti per i campi vettoriali polinomiali $W_n$.
  • Toro ($T^n$): La coomologia è espressa come una somma che coinvolge i coefficienti binomiali della dimensione del toro e la coomologia di $L_+$.
  • Alge di Krichever-Novikov: Per i campi vettoriali meromorfi su una sfera di Riemann bucata, la coomologia è calcolata come una somma diretta che coinvolge la coomologia de Rham della sfera bucata e la coomologia di $L_+$.

Significato e Rivendicazioni
Gli autori pongono questo lavoro come lo sviluppo di un "nuovo approccio algebrico" alla coomologia di Gelfand-Fuks. Affermano esplicitamente che i risultati ottenuti "non sono sorprendenti" in quanto concordano con quelli ottenuti nell'ambito analitico ($C^\infty$). La significatività risiede in:

1. Quadro Puramente Algebrico: Spostare la teoria dalle varietà $C^\infty$ alle varietà algebriche affini utilizzando strumenti algebrici (jet, $AV$-moduli, coppie di Rinehart).
2. Trattabilità Computazionale: Fornire un metodo per calcolare queste coomologie per una vasta classe di varietà (quelle con parametri di uniformizzazione) riducendo il problema alla coomologia de Rham della varietà e alla coomologia nota dell'algebra di Lie $L_+$.
3. Unificazione: Connettere la teoria algebrica dei campi vettoriali con la coomologia de Rham e la teoria delle rappresentazioni delle alge di Lie a dimensione infinita (specificamente $L_+$ e i suoi moduli).

Il saggio non propone nuove applicazioni sperimentali o implicazioni future oltre ai calcoli espliciti forniti per lo spazio affine, il toro e le alge di Krichever-Novikov. Esso funge da ponte teorico, validando che il macchinario algebrico produce risultati coerenti con la teoria analitica stabilita.