Gelfand-Fuks cohomology of vector fields on algebraic varieties

Resumen Técnico: Cohomología de Gelfand-Fuks de Campos Vectoriales en Variedades Algebraicas

Planteamiento del Problema
El estudio de las álgebras de Lie de campos vectoriales tiene una larga historia, pero el cálculo de su cohomología general sigue siendo intratable más allá de ejemplos simples. Mientras que Gelfand y Fuks introdujeron una teoría de cohomología para variedades $C^\infty$ en el entorno analítico, y trabajos posteriores (por ejemplo, el de Tsujishita) exploraron complejos diagonales en el entorno complejo, los enfoques estándar han sido históricamente difíciles de computar. Progresos recientes incluyen la prueba de la finitud de dimensión de Hennion y Kapranov para la cohomología de álgebras de Lie en variedades afines suaves mediante álgebras de factorización, y el trabajo de Williams conectando la cohomología local con el complejo diagonal.

Este artículo aborda la brecha en un marco puramente algebraico. Los autores pretenden desarrollar una cohomología de Gelfand-Fuks algebraica para campos vectoriales polinómicos en variedades algebraicas afines. El desafío específico es definir esta cohomología con coeficientes en módulos $AV$-diferenciables (módulos donde la acción de los campos vectoriales es un operador diferencial en el sentido de Grothendieck) y computarla explícitamente para variedades que admiten parámetros de uniformización.

Metodología
Los autores emplean un enfoque algebraico de múltiples pasos aprovechando desarrollos recientes en la teoría de representaciones y la teoría de jets:

1. Definición Algebraica: Definen la cohomología de Gelfand-Fuks algebraica $H^*_{GF}(V, M)$ para un par de Rinehart $(A, V)$ (donde $A$ es el anillo de coordenadas y $V$ es el álgebra de Lie de campos vectoriales) y un módulo $AV$-diferenciable $M$. El complejo de cocadenas consiste en cocadenas que son operadores diferenciales en el sentido de Grothendieck, satisfaciendo una condición de anulación específica que involucra diferencias finitas de los argumentos.
2. Isomorfismo de Jets: Una herramienta técnica central es la identificación del complejo de Gelfand-Fuks con el complejo de cocadenas finitas sobre el álgebra de Lie de jets polinómicos, denotado como $A^\#V$. Demuestran que para un módulo $AV$-diferenciable $M$, la cohomología $H^*(V, M)$ es isomórfica a la cohomología $A$-lineal $H^*_A(A^\#V, M)$.
3. Completación y Descomposición: Al considerar la completación del álgebra de jets, $\hat{A}^\#V$ (el álgebra de Lie de $\infty$-jets), utilizan un resultado estructural de [BI22]. Para variedades con parámetros de uniformización (cubiertas por una única carta étale), $\hat{A}^\#V$ se descompone como un producto semidirecto:
   $$\hat{A}^\#V \cong V \ltimes (\hat{A} \otimes L_+)$$
   donde $L_+$ es el álgebra de Lie de campos vectoriales en el espacio afín que se anulan en el origen (la parte positiva del álgebra de Lie graduada de derivaciones).
4. Fórmula de Künneth: Establecen una fórmula de Künneth para el producto semidirecto $V \ltimes (A \otimes \mathfrak{g})$. Demuestran que la cohomología $A$-lineal de tal producto con coeficientes en un módulo tensor $S \otimes W$ se descompone como:
   $$H^*_A(V \ltimes (A \otimes \mathfrak{g}), S \otimes W) \cong H^*_A(V, S) \otimes H^*(\mathfrak{g}, W)$$
   Esto se basa en la secuencia espectral de Hochschild-Serre, la cual muestran que se estabiliza en el término $E_2$.
5. Identificación de De Rham: Demuestran que la cohomología $A$-lineal de campos vectoriales con coeficientes en el álgebra de funciones $A$ es isomórfica a la cohomología de de Rham de la variedad: $H^*_A(V, A) \cong H^*_{dR}(X)$.

Contribuciones Principales y Resultados

• Definición de la Cohomología de Gelfand-Fuks Algebraica: El artículo introduce formalmente y valida la teoría de cohomología para módulos $AV$-diferenciables, mostrando que forman un subcomplejo bien definido del complejo de Chevalley-Eilenberg.
• Teorema de Descomposición Principal (Teorema 1.1 y 6.1): Para una variedad algebraica afín $X$ con parámetros de uniformización, y un módulo tensor $M = A \otimes W$ (donde $W$ es un módulo de dimensión finita para $L_+$), la cohomología de Gelfand-Fuks se descompone como un producto tensorial:
  $$H^*_{GF}(V, A \otimes W) \cong H^*_{dR}(X) \otimes H^*(L_+, W)$$
  Este resultado alinea el cálculo algebraico con los resultados conocidos en el entorno $C^\infty$.
• Computaciones Explícitas: Los autores aplican este marco para computar cohomologías en casos específicos:
  • Espacio Afín ($A^n$): La cohomología se reduce a $H^*(L_+, W)$, ya que la cohomología de de Rham del espacio afín es trivial en grados positivos. Esto recupera los resultados conocidos para campos vectoriales polinómicos $W_n$.
  • Toro ($T^n$): La cohomología se expresa como una suma que involucra los coeficientes binomiales de la dimensión del toro y la cohomología de $L_+$.
  • Álgebras de Krichever-Novikov: Para campos vectoriales meromorfos en una esfera de Riemann con puntos perforados, la cohomología se computa como una suma directa que involucra la cohomología de de Rham de la esfera perforada y la cohomología de $L_+$.

Significancia y Reivindicaciones
Los autores posicionan este trabajo como el desarrollo de un "nuevo enfoque algebraico" para la cohomología de Gelfand-Fuks. Declaran explícitamente que los resultados obtenidos "no son sorprendentes" en tanto que coinciden con los obtenidos en el entorno analítico ($C^\infty$). La significancia reside en:

1. Marco Puramente Algebraico: Trasladar la teoría de variedades diferenciables a variedades algebraicas afines utilizando herramientas algebraicas (jets, módulos $AV$, pares de Rinehart).
2. Tractabilidad Computacional: Proporcionar un método para computar estas cohomologías para una amplia clase de variedades (aquellas con parámetros de uniformización) reduciendo el problema a la cohomología de de Rham de la variedad y la cohomología conocida del álgebra de Lie $L_+$.
3. Unificación: Conectar la teoría algebraica de campos vectoriales con la cohomología de de Rham y la teoría de representaciones de álgebras de Lie de dimensión infinita (específicamente $L_+$ y sus módulos).

El artículo no propone nuevas aplicaciones experimentales o implicaciones futuras más allá de las computaciones explícitas proporcionadas para el espacio afín, el toro y las álgebras de Krichever-Novikov. Sirve como un puente teórico, validando que la maquinaria algebraica produce resultados consistentes con la teoría analítica establecida.