Gelfand-Fuks cohomology of vector fields on algebraic varieties

Resumo Técnico: Cohomologia de Gelfand-Fuks de Campos Vetoriais em Variedades Algébricas

Enunciado do Problema
O estudo de álgebras de Lie de campos vetoriais possui uma longa história, mas o cálculo de sua cohomologia geral permanece intratável além de exemplos simples. Enquanto Gelfand e Fuks introduziram uma teoria de cohomologia para variedades $C^\infty$ no contexto analítico, e trabalhos subsequentes (por exemplo, de Tsujishita) exploraram complexos diagonais no contexto complexo, as abordagens padrão têm sido historicamente difíceis de computar. Progressos recentes incluem a prova de finitude de dimensão por Hennion e Kapranov para a cohomologia de álgebra de Lie em variedades afins suaves usando álgebras de fatoração, e o trabalho de Williams conectando a cohomologia local ao complexo diagonal.

Este artigo aborda a lacuna em um arcabouço puramente algébrico. Os autores visam desenvolver uma cohomologia de Gelfand-Fuks algébrica para campos vetoriais polinomiais em variedades algébricas afins. O desafio específico é definir esta cohomologia com coeficientes em módulos $AV$-diferenciáveis (módulos onde a ação dos campos vetoriais é um operador diferencial no sentido de Grothendieck) e computá-la explicitamente para variedades que admitem parâmetros de uniformização.

Metodologia
Os autores empregam uma abordagem algébrica de múltiplas etapas, aproveitando desenvolvimentos recentes na teoria de representações e na teoria de jets:

1. Definição Algébrica: Eles definem a cohomologia de Gelfand-Fuks algébrica $H^*_{GF}(V, M)$ para um par de Rinehart $(A, V)$ (onde $A$ é o anel de coordenadas e $V$ é a álgebra de Lie de campos vetoriais) e um módulo $AV$-diferenciável $M$. O complexo de cocadeiras consiste em cocadeiras que são operadores diferenciais no sentido de Grothendieck, satisfazendo uma condição de nulidade específica envolvendo diferenças finitas dos argumentos.
2. Isomorfismo de Jet: Uma ferramenta técnica central é a identificação do complexo de Gelfand-Fuks com o complexo de cocadeiras finitas na álgebra de Lie de jets polinomiais, denotada por $A^\#V$. Eles provam que, para um módulo $AV$-diferenciável $M$, a cohomologia $H^*(V, M)$ é isomórfica à cohomologia $A$-linear $H^*_A(A^\#V, M)$.
3. Completamento e Decomposição: Ao considerar o completamento da álgebra de jet, $\hat{A}^\#V$ (a álgebra de Lie de $\infty$-jets), eles utilizam um resultado estrutural de [BI22]. Para variedades com parâmetros de uniformização (cobertas por um único chat étale), $\hat{A}^\#V$ se decompõe como um produto semidireto:
   $$\hat{A}^\#V \cong V \ltimes (\hat{A} \otimes L_+)$$
   onde $L_+$ é a álgebra de Lie de campos vetoriais em espaço afim que se anulam na origem (a parte positiva da álgebra de Lie graduada de derivações).
4. Fórmula de Künneth: Os autores estabelecem uma fórmula de Künneth para o produto semidireto $V \ltimes (A \otimes \mathfrak{g})$. Eles provam que a cohomologia $A$-linear de tal produto com coeficientes em um módulo tensor $S \otimes W$ se decompõe como:
   $$H^*_A(V \ltimes (A \otimes \mathfrak{g}), S \otimes W) \cong H^*_A(V, S) \otimes H^*(\mathfrak{g}, W)$$
   Isso se baseia na sequência espectral de Hochschild-Serre, que eles mostram estabilizar no termo $E_2$.
5. Identificação de De Rham: Eles demonstram que a cohomologia $A$-linear de campos vetoriais com coeficientes na álgebra de funções $A$ é isomórfica à cohomologia de de Rham da variedade: $H^*_A(V, A) \cong H^*_{dR}(X)$.

Principais Contribuições e Resultados

• Definição de Cohomologia de Gelfand-Fuks Algébrica: O artigo introduz formalmente e valida a teoria de cohomologia para módulos $AV$-diferenciáveis, mostrando que eles formam um subcomplexo bem definido da complexidade de Chevalley-Eilenberg.
• Teorema de Decomposição Principal (Teorema 1.1 & 6.1): Para uma variedade algébrica afim $X$ com parâmetros de uniformização, e um módulo tensor $M = A \otimes W$ (onde $W$ é um módulo de dimensão finita para $L_+$), a cohomologia de Gelfand-Fuks se decompõe como um produto tensorial:
  $$H^*_{GF}(V, A \otimes W) \cong H^*_{dR}(X) \otimes H^*(L_+, W)$$
  Este resultado alinha o cálculo algébrico com os resultados conhecidos no cenário $C^\infty$.
• Cálculos Explícitos: Os autores aplicam este arcabouço para calcular a cohomologia para casos específicos:
  • Espaço Afim ($A^n$): A cohomologia reduz-se a $H^*(L_+, W)$, uma vez que a cohomologia de de Rham do espaço afim é trivial em graus positivos. Isso recupera resultados conhecidos para campos vetoriais polinomiais $W_n$.
  • Toro ($T^n$): A cohomologia é expressa como uma soma envolvendo os coeficientes binomiais da dimensão do toro e a cohomologia de $L_+$.
  • Álgebras de Krichever-Novikov: Para campos vetoriais meromórficos em uma esfera de Riemann perfurada, a cohomologia é calculada como uma soma direta envolvendo a cohomologia de de Rham da esfera perfurada e a cohomologia de $L_+$.

Significância e Alegações
Os autores posicionam este trabalho como o desenvolvimento de uma "nova abordagem algébrica" para a cohomologia de Gelfand-Fuks. Eles afirmam explicitamente que os resultados obtidos "não são surpreendentes" no sentido de que concordam com aqueles obtidos no cenário analítico ($C^\infty$). A significância reside em:

1. Arcabouço Puramente Algébrico: Movendo a teoria de variedades analíticas para variedades algébricas afins usando ferramentas algébricas (jets, módulos $AV$, pares de Rinehart).
2. Tratabilidade Computacional: Fornecendo um método para calcular estas cohomologias para uma ampla classe de variedades (aquelas com parâmetros de uniformização) ao reduzir o problema para a cohomologia de de Rham da variedade e a cohomologia conhecida da álgebra de Lie $L_+$.
3. Unificação: Conectando a teoria algébrica de campos vetoriais com a cohomologia de de Rham e a teoria de representações de álgebras de Lie de dimensão infinita (especificamente $L_+$ e seus módulos).

O artigo não propõe novas aplicações experimentais ou implicações futuras além dos cálculos explícitos fornecidos para o espaço afim, o toro e as álgebras de Krichever-Novikov. Ele serve como uma ponte teórica, validando que a maquinaria algébrica produz resultados consistentes com a teoria analítica estabelecida.