Twisted cohomology on algebraic and analytic varieties

Resumen Técnico: Cohomología Retorcida en Variedades Algebraicas y Analíticas

Planteamiento del Problema
El artículo aborda el desafío de definir y calcular la "cohomología retorcida" en variedades algebraicas, tomando inspiración de sus contrapartes bien establecidas en la geometría analítica compleja (específicamente la cohomología de Morse-Novikov o de Lichnerowicz). Mientras que la cohomología retorcida en variedades suaves y variedades complejas se define mediante un operador diferencial deformado $d_\omega = d + \omega \wedge$ (donde $\omega$ es una 1-forma cerrada), extender esto a la categoría algebraica presenta obstáculos significativos.

La dificultad principal radica en la escasez de formas diferenciales algebraicas globales en variedades proyectivas. A diferencia del caso analítico, donde pueden existir formas holomorfas o suaves globales, las funciones regulares globales en una variedad proyectiva son constantes (según el teorema de Liouville y la naturaleza de las variedades proyectivas), lo que implica que las 1-formas algebraicas globales derivadas de la derivada exterior de funciones globales son triviales. En consecuencia, un "parámetro de retorcimiento" global (una 1-forma cerrada utilizada para deformar el diferencial) no existe naturalmente en variedades proyectivas generales. El artículo busca identificar las restricciones estructurales necesarias en las variedades algebraicas para permitir la existencia de tales parámetros y establecer una comparación rigurosa entre las cohomologías retorcidas algebraicas y analíticas.

Metodología
Los autores emplean un enfoque multifacético que combina geometría algebraica, análisis complejo y teoría de haces:

1. GAGA y Comparación Analítica: El artículo utiliza los teoremas de GAGA (Geometría Algebraica y Geometría Analítica) de Serre para relacionar las variedades algebraicas $X$ con sus variedades analíticas subyacentes $X^h$. Investiga cómo los parámetros de retorcimiento en el contexto analítico (específicamente las $(0,1)$-formas $\eta$ para el complejo de Dolbeault) corresponden a parámetros algebraicos.
2. Identificación de Parámetros de Retorcimiento: Se proponen dos métodos para identificar parámetros de retorcimiento algebraicos con los analíticos:
   • Parámetro Conjugado: Tomar el conjugado complejo de una 1-forma holomorfa global (derivada de una forma algebraica) para obtener una $(0,1)$-forma.
   • Parámetro Contraído: Contraer una $(0,1)$-forma holomorfa con valores vectoriales (diferencial de Beltrami) con una 1-forma holomorfa, sujeto a la condición de que el corchete $[\mu, \mu] = 0$ para asegurar la cerradura.
3. Restricción a Variedades Abelianas: Los autores argumentan que, para que exista un parámetro de retorcimiento algebraico global en una variedad proyectiva, la variedad debe poseer una estructura de grupo abeliano (es decir, ser una variedad abeliana). Esto se justifica por la existencia de 1-formas holomorfas globales no triviales en variedades abelianas (y curvas elípticas), las cuales están ausentes en variedades proyectivas generales.
4. Estructuras Logarítmicas y Teorema de Deligne: Reconociendo que las formas regulares globales son insuficientes, el artículo introduce estructuras logarítmicas. Postula que la variedad debe estar equipada con un divisor con cruces normales (mediante la compactificación de Hironaka) para definir 1-formas logarítmicas. Los autores invocan el teorema de Deligne sobre conexiones regulares, el cual establece un isomorfismo entre la cohomología de de Rham algebraica con coeficientes en un fibrado vectorial con una conexión regular y su contraparte analítica, siempre que la conexión tenga polos logarítmicos.
5. Haces de Peso y Conexiones Planas: La cohomología retorcida se reinterpreta como la cohomología de un fibrado de línea plano (haz de peso) con una conexión $\nabla = d + \omega$. La nilpotencia del derivado retorcido corresponde a la planitud de esta conexión.
6. Cálculos Explícitos: El artículo realiza cálculos elementales en casos afines y proyectivos (específicamente curvas elípticas punteadas y curvas elípticas con divisores logarítmicos) para demostrar el comportamiento del complejo retorcido.

Contribuciones y Resultados Clave

• Restricciones de Existencia: El artículo establece que, para que una variedad algebraica proyectiva soporte un parámetro de retorcimiento algebraico global compatible con el caso analítico, debe ser esencialmente una variedad abeliana. Para variedades no abelianas, la existencia de tales parámetros está vinculada a estructuras logarítmicas en divisores.
• Isomorfismo de Cohomologías:
  • Caso Analítico: El artículo demuestra (Teorema 1) que si dos parámetros de retorcimiento analíticos $\psi_1$ y $\psi_2$ son cohomólogos (difieren por una forma exacta $\partial f/f$), sus cohomologías retorcidas de Dolbeault son isomorfas. Esto se demuestra mediante un mapa de cadenas que involucra la multiplicación por una función $f$ (o $e^{-r}$).
  • Caso Algebraico: Se prueba un resultado similar (Teorema 3) para 1-formas algebraicas logarítmicas. Si dos parámetros de retorcimiento algebraicos difieren por una forma exacta logarítmica $dg/g$, las cohomologías retorcidas algebraicas resultantes son localmente isomorfas.
• Cálculo en Curvas:
  • Para una curva elíptica punteada (caso afín), los autores calculan que la cohomología retorcida de orden cero se anula ($H^0_\omega = 0$) porque ninguna función algebraica no nula satisface la condición de cerradura retorcida sin ser trascendente. La primera cohomología se reduce en dimensión en comparación con la cohomología de de Rham estándar.
  • Para una curva elíptica proyectiva con un divisor logarítmico, la cohomología de orden cero se anula (ya que las secciones globales son constantes), y la primera cohomología se calcula utilizando sucesiones espectrales y resultados de degeneración de Deligne.
• Extensión Logarítmica: El artículo demuestra que la cohomología retorcida algebraica puede calcularse eficazmente utilizando el complejo de de Rham logarítmico en una compactificación de Hironaka. Esto permite el uso de herramientas de la teoría de cohomología logarítmica para manejar las "singularidades" en el infinito requeridas para que el parámetro de retorcimiento exista globalmente.

Significado y Afirmaciones
El artículo afirma proporcionar un estudio fundacional y elemental de la cohomología retorcida específicamente dentro del contexto de variedades algebraicas, distinguiéndola de trabajos anteriores que se centraron en aspectos logarítmicos o variedades complejas.

• Motivación: El trabajo está motivado por el deseo de deformar el complejo de de Rham algebraico de manera similar a como se deforma el complejo de Dolbeault en la geometría compleja (haciendo referencia a los trabajos [13, 14, 15]).
• Alcance Modesto: Los autores declaran explícitamente que no incluyen aplicaciones extensas ni propuestas experimentales. En cambio, el artículo se centra en motivar la definición de la cohomología retorcida algebraica, aclarar las restricciones en las variedades subyacentes (necesitando estructuras abelianas o divisores logarítmicos) y proporcionar "cálculos sencillos" para ilustrar la teoría.
• Puente Teórico: El significado radica en cerrar la brecha entre la cohomología retorcida analítica (que es sensible a la estructura compleja) y la cohomología algebraica (que es topológica en el sentido estándar de de Rham). El artículo sugiere que, mediante la introducción de estructuras logarítmicas y conexiones regulares, se puede recuperar un isomorfismo entre las teorías retorcidas algebraica y analítica, resolviendo el obstáculo causado por la falta de formas algebraicas globales en variedades proyectivas generales.

En resumen, el artículo argumenta que la cohomología retorcida algebraica es un concepto viable solo cuando la variedad es una variedad abeliana o está equipada con una estructura logarítmica, y proporciona el marco teórico y ejemplos computacionales básicos para apoyar esta definición.