Transversal unfoldings of derived foliations

Resumen Técnico: Desplegamientos Transversales de Foliaciones Derivadas

Planteamiento del Problema
El artículo aborda el problema de controlar el transporte transversal de las foliaciones derivadas relativas a lo largo de un espacio de parámetros. Si bien las foliaciones derivadas, introducidas por Toën y Vezzosi, proporcionan una mejora homotópica de las foliaciones singulares mediante álgebras de de Rham mixtas graduadas, el comportamiento de estas estructuras bajo deformación requiere un marco derivado preciso. Específicamente, el autor distingue entre una deformación general (donde la estructura de la hoja cambia con un parámetro) y un desplegamiento (unfolding). Un desplegamiento se define como una deformación transversal integrable donde las direcciones del parámetro se elevan al espacio total como simetrías infinitesimales planas. El desafío central es identificar el objeto derivado que clasifica tales desplegamientos, particularmente en presencia de singularidades y acciones no efectivas (donde existen estabilizadores o isotropía central), y establecer la invariancia homotópica de esta clasificación independientemente de modelos algebraicos específicos.

Metodología
El artículo desarrolla un formalismo basado en presentaciones de Chevalley–Eilenberg (CE) y álgebra homotópica. La metodología procede a través de varias etapas:

1. Modelos Estrictos Afines: El autor trabaja primero en el entorno afín estricto donde la foliación derivada relativa está presentada por un algebroide de Lie dg relativo, cofibrante y estrictamente perfecto $\rho: \mathfrak{g} \to T_{A/B}$. En este contexto, el "controlador transversal" se construye como el álgebra de Lie dg de las derivaciones de primer orden básicas de $\mathfrak{g}$ módulo las derivaciones internas.
2. Manejo de la No-Efectividad: Cuando el mapa de derivación interna $\iota: \mathfrak{g} \to D^1_{\text{bas}}(\mathfrak{g}/B)$ no es inyectivo, el cociente ordinario falla en retener los datos del estabilizador. El artículo reemplaza el cociente con un módulo cruzado (un algebroide $L_\infty$ de dos términos) $Uder(\mathfrak{g}/B) = [\mathfrak{g} \to D^1_{\text{bas}}(\mathfrak{g}/B)]$, que actúa como el cociente homotópico.
3. Formulación Intrínseca: Para asegurar que los resultados sean independientes de la presentación CE elegida, el artículo construye un "controlador graduado-mixto" intrínseco definido como el cociente homotópico de las derivaciones mixtas graduadas de peso cero del álgebra de de Rham derivada $DR(F/S)$.
4. Descenso y Globalización: Utilizando hipercoberturas y la teoría de descenso para stacks derivados, el artículo extiende la clasificación afín local a una afirmación global. El autor establece que la clasificación de los desplegamientos globales es equivalente al espacio derivado de los desdoblamientos planos (flat splittings) del controlador intrínseco descendido.
5. Deformación y Transporte: El artículo analiza la teoría de deformación de un desplegamiento fijo mediante un complejo de Maurer–Cartan y construye una conexión de Gauss–Manin para cristales linealizados por el desplegamiento.

Contribuciones Clave y Resultados

• Clasificación de Desplegamientos: El resultado principal (Teorema 5.6 para el caso afín efectivo y Teorema 7.5 para el caso no efectivo) establece una biyección (o equivalencia de grupoides derivados) entre los desplegamientos transversales estrictos y los desdoblamientos planos del controlador transversal.
  • En el caso efectivo, los desplegamientos están clasificados por los desdoblamientos planos del algebroide de Lie dg $uder(\mathfrak{g}/B) \to T_{B/k}$.
  • En el caso no efectivo, los desplegamientos están clasificados por el espacio de mapeo derivado de los desdoblamientos superiores planos del módulo cruzado $Uder(\mathfrak{g}/B)$.
• Invariancia Homotópica: El Teorema 9.3 y el Corolario 9.4 prueban que el controlador transversal y la clasificación resultante son independientes de la presentación CE elegida. El controlador intrínseco se identifica como el cociente homotópico $[T_{F/S} \to D^{\text{gm}}_{\text{bas}}(DR(F/S))]$.
• Teorema de Descenso Global: Bajo hipótesis explícitas respecto a la presentabilidad CE y el descenso de los controladores (Hipótesis 8.6), el Teorema 8.8 proporciona una equivalencia global: los desplegamientos derivados transversales de $F/S$ son equivalentes al espacio derivado de los desdoblamientos planos del controlador descendido sobre el algebroide tangente de la base.
• Teoría de Obstrucciones: El artículo identifica la clase de Atiyah–Kodaira–Spencer (Definición 13.1) como la obstrucción para la existencia de un desdoblamiento transversal. La curvatura de un desdoblamiento elegido sirve como la obstrucción para la planitud (Proposición 13.4). En el caso abeliano, la existencia de un desdoblamiento plano está gobernada por una clase de cohomología en $H^2(T_{B/k}, \ker(\text{anclaje}))$ (Teorema 14.6).
• Forma Normal Partida y Maurer–Cartan: El artículo deriva una forma normal partida para el álgebra de de Rham desplegada (Proposición 15.3). Se muestra que la condición para que el diferencial mixto total su cuadrado sea cero es la ecuación de Maurer–Cartan para el término de la derivada de Lie transversal, generalizando el término transversal clásico de Suwa $h d\varepsilon$.
• Conexión de Gauss–Manin y Clases Características: Para cristales coherentemente linealizados por Cartan, el artículo construye una conexión de Gauss–Manin plana (Teorema 10.6). Se demuestra que esta conexión preserva la filtración de peso/Hodge linealizada por Cartan (Proposición 17.2) y que el carácter de Chern foliado de tales cristales es horizontal (Proposición 17.3).

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco homotópicamente invariante y unificado para los desplegamientos transversales que subsume y extiende las teorías clásicas.

• Unificación: La construcción recupera resultados clásicos para foliaciones suaves, algebroides de Lie y estructuras logarítmicas, mientras que también aborda la geometría de Poisson desplazada (shifted Poisson geometry) y los espacios de hojas representables.
• Necesidad Derivada: El trabajo enfatiza que, para las foliaciones derivadas singulares, la truncación clásica es insuficiente. La estructura derivada (específicamente el diferencial mixto graduado y el cociente homotópico de las derivaciones) es necesaria para capturar correctamente la integrabilidad y las simetrías transversales, particularmente en presencia de isotropía central donde los cocientes ordinarios fallan.
• Claridad Estructural: Al identificar el controlador transversal como un cociente homotópico específico, el artículo aclara la naturaleza geométrica de los desplegamientos como "deformaciones transversales integrables" donde las direcciones del parámetro actúan como simetrías planas.
• Limitaciones: El teorema de descenso global es condicional a hipótesis específicas sobre la presentabilidad CE y la existencia de empujes (pushforwards) derivados de los controladores (Hipótesis 8.6). El artículo no pretende construir una teoría de empuje general para todos los stacks de algebroides de Lie, sino que aísla los datos de descenso específicos requeridos para esta clasificación.

El autor señala que los resultados son consecuencias derivadas del teorema de clasificación más que datos adicionales, específicamente respecto a la horizontalidad de las clases características y la existencia de la conexión de Gauss–Manin. El trabajo sirve como un formalismo fundacional para estudiar la teoría de deformación de las foliaciones derivadas y sus invariantes cohomológicos asociados.