Existence of holomorphic Lie algebroid connections in higher dimensions

Resumen Técnico: Existencia de Conexiones de Lie Algebroides Holomorfas en Dimensiones Superiores

1. Planteamiento del Problema

El artículo aborda el problema fundamental de determinar las condiciones bajo las cuales un fibrado vectorial holomorfo $E$ sobre una variedad proyectiva compleja suave e irreducible $X$ (de dimensión $d \geq 3$) admite una conexión holomorfa generalizada.

• Contexto: Las conexiones holomorfas clásicas (definidas sobre el fibrado tangente $TX$) son una condición altamente restrictiva. En superficies de Riemann compactas, la existencia depende de que el grado de cada componente indecomponible sea cero. En variedades de dimensión superior, Atiyah estableció criterios específicos, pero la generalización a estructuras más complejas es un desafío abierto.
• Objetivo: Generalizar el criterio de Atiyah para el contexto de Lie algebroides holomorfos $(V, \phi)$, donde el fibrado tangente $TX$ es reemplazado por un Lie algebroides arbitrario $V$ con un anclaje $\phi: V \to TX$.
• Motivación: Muchas estructuras geométricas importantes (paquetes de Higgs, conexiones logarítmicas, conexiones meromorfas, módulos $\Lambda$ de Simpson) pueden interpretarse como conexiones de Lie algebroides para elecciones específicas de $(V, \phi)$.

2. Metodología y Marco Teórico

Los autores utilizan una combinación de geometría algebraica compleja, cohomología de haces y teoría de fibrados.

• Definiciones Clave:

  • Lie Algebroides: Un par $(V, \phi)$ donde $V$ es un fibrado vectorial holomorfo, $\phi: V \to TX$ es el anclaje, y existe una estructura de álgebra de Lie sobre las secciones que satisface la regla de Leibniz modificada por $\phi$.
  • Conexión $(V, \phi)$: Un mapa $\nabla: E \to E \otimes V^*$ que satisface una regla de Leibniz generalizada.
  • Clase de Atiyah $V$-asociada ($at_V(E)$): Se define mediante la sucesión exacta corta de haces coherentes:
    $$0 \to E \otimes V^* \to J^1_V(E) \to E \to 0$$
    donde $J^1_V(E)$ es el fibrado de jets de primer orden asociado a $V$. La existencia de una conexión holomorfa es equivalente a que esta sucesión se divida holomórficamente, lo cual ocurre si y solo si la clase de extensión $at_V(E) \in H^1(X, \text{End}(E) \otimes V^*)$ es nula.

• Estrategia de Restricción:
  El núcleo de la metodología es reducir el problema de dimensión superior ($d \geq 3$) a un problema en una hipersuperficie de dimensión inferior ($d-1$).

  1. Se considera una hipersuperficie $X_n = X \cap H_n$ de grado $n$ suficientemente grande en el espacio proyectivo.
  2. Se construye un Lie algebroides inducido $(V_n, \phi_n)$ sobre $X_n$ mediante la restricción y el núcleo de la aplicación de anclaje compuesta con la proyección al fibrado normal.
  3. Se utilizan teoremas de dualidad de Serre y teoremas de anulación de cohomología para demostrar que, para $n$ suficientemente grande, la aplicación de restricción en cohomología:
     $$H^1(X, \text{End}(E) \otimes V^*) \to H^1(X_n, \text{End}(E|_{X_n}) \otimes V_n^*)$$
     es un isomorfismo (o inyectiva bajo ciertas condiciones de anclaje).

3. Contribuciones Clave y Resultados Principales

El artículo establece dos teoremas principales que proporcionan criterios de restricción necesarios y suficientes:

Teorema 3.1 (Caso General con Anclaje Sobreyectivo):

• Hipótesis: $X$ es una variedad proyectiva compleja suave de dimensión $\geq 3$. $(V, \phi)$ es un Lie algebroides holomorfo donde el anclaje $\phi: V \to TX$ es sobreyectivo.
• Resultado: Un fibrado vectorial holomorfo $E$ sobre $X$ admite una conexión $(V, \phi)$ si y solo si su restricción $E|_{X_n}$ a una hipersuperficie $X_n$ de grado suficientemente grande admite una conexión $(V_n, \phi_n)$, donde $(V_n, \phi_n)$ es el Lie algebroides inducido en la intersección.
• Mecanismo: La prueba se basa en demostrar que la clase de Atiyah $at_V(E)$ es cero si y solo si su restricción $at_{V_n}(E|_{X_n})$ es cero, aprovechando la inyectividad de la aplicación de restricción en el grupo de cohomología $H^1$ para $n$ grande.

Teorema 3.2 (Caso de Divisores Reducidos):

• Hipótesis: Se considera un Lie algebroides asociado a un divisor efectivo reducido $Z \subset X$, definido como $W = TX \otimes \mathcal{O}_X(-Z)$ con el anclaje de inclusión (no sobreyectivo).
• Resultado: Bajo la misma hipótesis de dimensión ($d \geq 3$), $E$ admite una conexión $(W, j)$ si y solo si $E|_{X_n}$ admite una conexión $(W_n, j_n)$ para alguna hipersuperficie suave $X_n$ de grado grande que intersecta a $Z$ "adecuadamente" (properly).
• Significado: Esto extiende los criterios de existencia a estructuras logarítmicas y conexiones con polos.

4. Significado e Impacto

• Generalización del Teorema de Atiyah: El trabajo extiende el criterio clásico de Atiyah (originalmente para conexiones sobre $TX$ en variedades de dimensión $\geq 3$) a una clase mucho más amplia de estructuras geométricas definidas por Lie algebroides.
• Unificación de Conceptos: Proporciona un marco unificado para entender la existencia de conexiones en objetos diversos como paquetes de Higgs, conexiones logarítmicas y módulos de Simpson, demostrando que su existencia puede verificarse localmente en hipersuperficies genéricas.
• Herramienta de Reducción: Introduce una técnica poderosa para reducir problemas de existencia global en variedades de alta dimensión a problemas en variedades de dimensión inferior, simplificando el análisis de clases de obstrucción (clases de Atiyah).
• Problemas Abiertos: Los autores señalan que establecer criterios análogos para Lie algebroides arbitrarios (sin la condición de anclaje sobreyectivo o para foliaciones generales) sigue siendo un problema abierto importante.

En conclusión, Biswas y Singh demuestran que la obstrucción a la existencia de conexiones de Lie algebroides holomorfas en dimensiones altas es de naturaleza "local" en el sentido de que puede detectarse completamente mediante la restricción a hipersuperficies genéricas de grado alto, siempre que se cumplan ciertas condiciones de anclaje y dimensión.