Holomorphic Lie algebroid connections over rationally connected varieties

Resumen Técnico: Conexiones de Algebroides de Lie Holomorfos sobre Variedades Racionalmente Conectadas

Enunciado del Problema
El artículo investiga la existencia y las propiedades de las conexiones de algebroides de Lie holomorfos sobre haces vectoriales en variedades proyectivas complejas lisas. Si bien las conexiones holomorfas sobre haces vectoriales en superficies de Riemann compactas están bien comprendidas (la existencia implica planitud, y la existencia está gobernada por condiciones de grado en los sumandos indecomponibles), la situación sobre variedades de dimensión superior es más restrictiva. Específicamente, los autores abordan el comportamiento de estas conexiones cuando la variedad base $X$ es racionalmente conectada (donde cualquier par de puntos puede unirse mediante una curva racional irreducible) y la estructura subyacente es un algebroides de Lie holomorfo general $(V, \phi)$ en lugar del fibrado tangente estándar $(TX, \text{Id}_{TX})$.

La pregunta central es: ¿Bajo qué condiciones un haz vectorial holomorfo $E$ sobre una variedad racionalmente conectada $X$ admite una conexión $(V, \phi)$, y si tal conexión existe, es necesariamente plana?

Metodología
Los autores emplean una combinación de técnicas de geometría algebraica y la teoría de algebroides de Lie:

1. Marco de Algebroides de Lie: El artículo utiliza la definición de un algebroides de Lie $(V, \phi)$, donde $V$ es un haz vectorial holomorfo y $\phi: V \to TX$ es el mapa ancla. Una conexión $(V, \phi)$ se define como un mapa holomorfo $\mathbb{C}$-lineal $\nabla: E \to E \otimes V^*$ que satisface la regla de Leibniz que involucra el dual del mapa ancla $\phi^*$.
2. Formulación mediante Fibrados de Jets: La existencia de una conexión $(V, \phi)$ se caracteriza mediante la división de una secuencia exacta corta específica que involucra el fibrado de jets $V$-de primer orden $J^1_V(E)$. Específicamente, $E$ admite una conexión si y solo si la secuencia $0 \to E \otimes V^* \to J^1_V(E) \to E \to 0$ se divide holomórficamente.
3. Restricción a Curvas Racionales: Un paso metodológico clave implica restringir el problema a morfismos no constantes $f: \mathbb{P}^1 \to X$. Dado que $X$ es racionalmente conectada, tales curvas son abundantes. Los autores tiran hacia atrás el algebroides de Lie $(V, \phi)$ y el haz $E$ a $\mathbb{P}^1$, construyendo un nuevo algebroides de Lie $(V_f, \hat{\phi})$ sobre $\mathbb{P}^1$.
4. Condiciones Amplas y Estrictamente Nefas: Las demostraciones dependen en gran medida de las propiedades del núcleo $S := \text{Ker}(\phi)$. Los autores asumen que $S$ es estrictamente nef. Utilizan el hecho de que la tirada hacia atrás de un haz estrictamente nef a $\mathbb{P}^1$ permanece estrictamente nef (y por lo tanto tiene componentes de grado positivo). Esto les permite invocar teoremas de anulación (mediante dualidad de Serre) para mostrar que ciertas clases de extensión se anulan, forzando a las secuencias relevantes a dividirse.
5. Análisis de Curvatura: Para probar la planitud, los autores analizan la curvatura $K(\nabla) \in H^0(X, \text{End}(E) \otimes \bigwedge^2 V^*)$. Al restringir a curvas racionales donde la tirada hacia atrás de $TX$ es amplia, demuestran que la tirada hacia atrás de $V$ también es amplia. En consecuencia, el haz $\bigwedge^2 V^*$ consiste en haces de línea de grado negativo, lo que lleva a la anulación de las secciones globales de la curvatura en estas curvas. Debido a la densidad de Zariski de tales curvas, la curvatura global se anula.

Contribuciones y Resultados Clave
El artículo establece dos teoremas principales bajo la suposición de que $X$ es una variedad proyectiva compleja lisa racionalmente conectada y $(V, \phi)$ es un algebroides de Lie con un mapa ancla $\phi$ sobreyectivo tal que $S := \text{Ker}(\phi)$ es estrictamente nef:

• Teorema 3.1 (Criterio de Existencia): Un haz vectorial holomorfo $E$ sobre $X$ admite una conexión $(V, \phi)$ si y solo si $E$ es holomórficamente trivial.

  • Mecanismo: La demostración muestra que si existe una conexión, su tirada hacia atrás a cualquier curva racional $\mathbb{P}^1$ produce una conexión holomorfa sobre un haz en $\mathbb{P}^1$. Dado que cualquier conexión holomorfa en $\mathbb{P}^1$ implica que el haz es trivial (debido a la simplicidad de la conexión y la planitud), $f^*E$ es trivial para todas tales curvas. Esto fuerza a que $E$ sea trivial en $X$.

• Teorema 3.2 (Planitud): Cualquier conexión $(V, \phi)$ sobre un haz vectorial holomorfo en $X$ (que debe ser trivial por el Teorema 3.1) es plana (integrable).

  • Mecanismo: La curvatura de la conexión, cuando se restringe a curvas racionales donde $f^*TX$ es amplia, debe anularse porque el grupo de cohomología relevante $H^0(\mathbb{P}^1, \bigwedge^2 f^*V^*)$ es cero debido a la negatividad de los grados del dual de un haz amplio. Dado que estas curvas cubren un subconjunto denso de Zariski de $X$, la curvatura global es cero.

• Corolario 3.3: Como una aplicación específica, si $X$ es racionalmente conectada y $E$ admite una conexión holomorfa usual (correspondiente al algebroides de Lie $(TX, \text{Id}_{TX})$), entonces $E$ es holomórficamente trivial y la conexión es plana.

Significado y Afirmaciones
El artículo afirma generalizar resultados conocidos sobre conexiones holomorfas en superficies de Riemann y variedades de Calabi-Yau al contexto más amplio de variedades racionalmente conectadas y conexiones de algebroides de Lie.

• Unificación: El trabajo unifica diversos objetos geométricos (haces de Higgs, conexiones logarítmicas, conexiones meromorfas) bajo el único marco de las conexiones de algebroides de Lie, mostrando que para variedades racionalmente conectadas con núcleos estrictamente nef, la existencia de tales estructuras es una condición extremadamente rígida.
• Rigidez: Los resultados destacan un fuerte fenómeno de rigidez: en variedades racionalmente conectadas con las condiciones especificadas de algebroides de Lie, los únicos haces vectoriales capaces de soportar una conexión $(V, \phi)$ son los triviales, y cualquier tal conexión es automáticamente plana.
• Alcance: Los autores no afirman resolver el problema para todas las variedades racionalmente conectadas o para todos los algebroides de Lie; los resultados están estrictamente condicionados a la sobreyectividad del mapa ancla y a la nefidad estricta de su núcleo. El artículo posiciona estos hallazgos como una extensión natural del trabajo clásico de Atiyah sobre conexiones sobre curvas a configuraciones racionales de dimensión superior.