Joint Deformations of Manifolds, Coherent Sheaves and Sections

Resumen Técnico: Deformaciones Conjuntas de Variedades, Fibrados Coherentes y Secciones

Planteamiento del Problema
El artículo aborda la teoría de deformaciones de triples $(X, F, \sigma)$, donde $X$ es una variedad suave sobre un cuerpo de característica 0, $F$ es un fibrado coherente sobre $X$, y $\sigma \in H^0(X, F)$ es una sección global. Si bien la teoría de deformaciones de pares $(X, Z)$ (donde $Z$ es un divisor) está bien comprendida mediante la hipercohomología del complejo $\Theta_X \xrightarrow{\gamma} N_{Z|X}$, existe una brecha técnica significativa: el complejo $D = [\Theta_X \xrightarrow{\gamma} N_{Z|X}]$ no posee naturalmente la estructura de una algebra de Lie diferencial graduada (algebra DG-Lie) de haces. Esta ausencia complica el estudio de las deformaciones utilizando la maquinaria estándar de soluciones de Maurer–Cartan y equivalencia de gauge, particularmente para el cálculo de obstrucciones primarias y productos de Massey.

Trabajos previos de los autores y otros establecieron que, para un fibrado de línea $L$ y una sección $\sigma$, las deformaciones de $(X, L, \sigma)$ están controladas por el complejo $P(X, L) \xrightarrow{e_\sigma} L$, donde $P(X, L)$ es el haz de operadores diferenciales de primer orden. Sin embargo, faltaba un marco general para fibrados coherentes arbitrarios $F$ (que pueden no ser localmente libres) y sus secciones.

Metodología
Los autores emplean la teoría de algebras de Lie DG y los grupoides de Deligne para construir un mecanismo de control para estas deformaciones. La metodología procede en varias etapas:

1. Resolución y Construcción: Para un fibrado coherente $F$, los autores seleccionan una resolución localmente libre finita $E^\bullet$ y una sección $s \in H^0(X, E^0)$ que eleva a $\sigma$. Construyen un haz de algebroides de Lie DG $C^\bullet(X, E^\bullet, s)$, definido como el cocone de mapeo de la morfismo de evaluación $e_s: P^\bullet(X, E^\bullet) \to E^\bullet$. Aquí, $P^\bullet(X, E^\bullet)$ denota el haz de operadores diferenciales de primer orden con símbolo escalar.
2. Independencia de la Resolución: Utilizando técnicas de álgebra homológica (específicamente el procedimiento de "matar ciclos" y propiedades de cuasi-isomorfismos), los autores demuestran que la clase de cuasi-isomorfismo del algebroide de Lie DG $C^\bullet(X, E^\bullet, s)$ es independiente de la elección de la resolución $(E^\bullet, s)$.
3. Teoría de la Descendencia: Para pasar de parches afines locales a la variedad global $X$, los autores utilizan la totalización de Thom–Whitney del algebra de Lie DG semicosimplicial formado por las restricciones de $C^\bullet$ a una cobertura abierta afín. Aplican una variación del teorema de descendencia de Hinich para grupoides de Deligne (específicamente la extensión de Fiorenza–Iacono–Martinengo) para relacionar el funtor de deformación global con las secciones globales derivadas del algebra de Lie DG totalizado.
4. Grupoides Formales: Los autores definen grupoides formales $G(X,F,\sigma)$ que representan las clases de isomorfismo de las deformaciones infinitesimales. Establecen equivalencias entre estos grupoides y los grupoides de Deligne asociados a los algebras de Lie DG construidos.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 5.6): Las deformaciones infinitesimales del triple $(X, F, \sigma)$ están controladas por el algebra de Lie DG $L$ de las secciones globales derivadas del complejo $C^\bullet(X, E^\bullet, s)$. Específicamente, existe un isomorfismo de funtores de deformación:
  $$\text{Def}_{\text{Tot}(U, C^\bullet)} \cong \text{Def}_{(X,F,\sigma)}$$
  Consecuentemente, el espacio tangente a las deformaciones se identifica con $T^1_{(X,F,\sigma)} = H^1(X, C^\bullet(X, E^\bullet, s))$, y las obstrucciones residen en $T^2_{(X,F,\sigma)} = H^2(X, C^\bullet(X, E^\bullet, s))$.
• Generalización a Secciones: El marco se extiende naturalmente a secuencias finitas de secciones $\sigma_1, \dots, \sigma_n$ reemplazando el objetivo del mapeo de evaluación con la suma directa de las resoluciones.
• Recuperación de Resultados Conocidos (Sección 6): El artículo demuestra que cuando $F = L$ es un fibrado de línea y $\sigma$ define un divisor $Z$, el complejo $C^\bullet(X, L, \sigma)$ es cuasi-isomorfo al complejo clásico $\Theta_X \xrightarrow{\gamma} N_{Z|X}$. Esto recupera el resultado conocido de que la hipercohomología de este complejo controla las deformaciones del par $(X, Z)$.
• Perspectiva Estructural (Ejemplo 6.2): Los autores prueban explícitamente que el complejo $\Theta_X \xrightarrow{\gamma} N_{Z|X}$ no admite una estructura de algebra de Lie DG compatible con el corchete de Lie en $\Theta_X$ de manera que la proyección sea un morfismo de DG-Lie. Esto resalta la necesidad del haz intermedio de operadores diferenciales $P(X, L)$ para obtener una estructura de DG-Lie válida.
• Criterio de Suavidad (Corolario 5.8): Si $H^1(X, F) = 0$, el morfismo de olvido de las deformaciones de $(X, F, \sigma)$ a las deformaciones de $(X, F)$ es suave.

Significancia
El artículo reclama significancia al proporcionar un marco de algebra de Lie DG unificado y riguroso para las deformaciones conjuntas de una variedad, un fibrado coherente y una sección. Este enfoque resuelve la dificultad técnica de manejar fibrados que no son localmente libres y secciones donde el complejo tangente-normal estándar falla en poseer una estructura de DG-Lie. Al establecer que las secciones globales derivadas del cocone de mapeo construido controlan estas deformaciones, los autores permiten la aplicación de herramientas estándar de la teoría de deformaciones (como la teoría de obstrucciones y los productos de Massey) a una clase más amplia de objetos geométricos. Además, el trabajo generaliza los resultados existentes sobre las deformaciones de pares $(X, Z)$ a casos donde el divisor $Z$ puede ser singular, sin requerir que el haz de campos vectoriales logarítmicos sea el único controlador.