Rational Homotopy Type of Complements of Submanifold Arrangements

Resumen Técnico: Tipo de Homotopía Racional de Complementos de Arreglos de Subvariedades

Planteamiento del Problema
El artículo aborda el problema de determinar el tipo de homotopía racional del complemento $U = X - \bigcup_{i \in N} Z_i$, donde $X$ es una variedad algebraica suave y compacta sobre $\mathbb{C}$ y $\{Z_i\}$ es una colección de subvariedades tales que todas las intersecciones de conjuntos $Z_I = \bigcap_{i \in I} Z_i$ son suaves. Si bien el tipo de homotopía racional de los complementos de divisores de cruce normal (NCD) está bien comprendido mediante el trabajo de J. Morgan (usando la secuencia espectral de Leray), se carecía de un modelo de álgebra diferencial conmutativa graduada (cdga) unificado y explícito para arreglos suaves arbitrarios (donde las intersecciones pueden tener codimensión $>1$). Los enfoques existentes suelen depender de la reducción del problema al caso de los NCD mediante resoluciones de singularidades (por ejemplo, la resolución de Hironaka o la compactificación maravillosa de De Concini-Procesi), lo cual puede ser computacionalmente intratable o dejar oscurecida la estructura combinatoria del arreglo.

Metodología
El autor desarrolla un enfoque homológico que evita las resoluciones geométricas explícitas. La metodología se basa en la teoría de Diagramas de Hodge Mixtos (MHD) y Complejos de Hodge Mixtos (MHC), utilizando específicamente el marco funcional establecido por Cirici y Horel.

1. Formalismo de Retículo: El artículo introduce un formalismo para objetos $(L, \leq)$ y álgebras de cadenas $(L, \leq)$, donde $L$ es un conjunto parcialmente ordenado (específicamente un semilattice superior local o un retículo geométrico) que representa la estructura de intersección del arreglo. Esto incluye la construcción de álgebras de Orlik-Solomon (OS) como álgebras de cadenas $(L, \leq)$.
2. Resolución de Mayer-Vietoris: Se construye un "complejo de Mayer-Vietoris" $MV^\circ$ como una convolución de un haz sobre el arreglo con el álgebra OS, el cual modela el pushforward derivado $Rj_* j^* \mathbb{Q}$ pero es inicialmente no conmutativo.
3. Construcción de Čech: Para obtener un modelo conmutativo, el autor aplica una construcción de Čech para elevar el complejo de Mayer-Vietoris no conmutativo a una verdadera cdga.
4. Diagramas de Hodge Mixtos: La innovación técnica central es la construcción de un Diagrama de Hodge Mixto (MVHD) basado en esta resolución. Al aplicar el teorema de Cirici-Horel (Teorema 1.2.13), que establece que el término $E_1$ de un diagrama de Hodge mixto (con respecto a la filtración de peso) es cuasi-isomorfo al cdga racional subyacente de manera funcional, el autor extrae un modelo racional directamente de la cohomología de las intersecciones.

Contribuciones Clave y Resultados

• Modelo de Morgan Generalizado (Teorema 0.1.2): El artículo construye una secuencia espectral multiplicativa de segundo cuadrante $(E_r, d_r)$ que converge al tipo de homotopía racional del complemento $U$.

  • El término $E_1$ está dado por $E_1^{pq} = \bigoplus_{|I|=-p} H^q_{Z_I}(X) \otimes \mathbb{Z} \cdot d\nu_I$, donde $H^q_{Z_I}(X)$ es la cohomología relativa de la intersección $Z_I$.
  • La diferencial $d_1$ se define mediante mapas naturales inducidos por inclusiones y derivaciones en el álgebra de Grassmann.
  • Crucialmente, $E_2 = E_\infty$, y existe una cuasi-isomorfía funcional $E_1 \xrightarrow{\sim} A_{PL}(U)$. Esto generaliza el resultado de Morgan para NCDs a arreglos suaves arbitrarios sin requerir una reducción al caso de NCD.

• Modelo de Retículo para Arreglos Localmente Geométricos (Teorema 0.1.6): Para arreglos donde el conjunto parcialmente ordenado de intersección es un retículo localmente geométrico (una condición que generaliza las intersecciones limpias), el autor proporciona un modelo más económico.

  • Este modelo utiliza el álgebra de Orlik-Solomon $OS(L)$ asociada al retículo.
  • Recupera el tipo de homotopía racional mediante una cuasi-isomorfía $E_1 \xrightarrow{\sim} A_{PL}(U)$, donde el término $E_1$ involucra la cohomología de las intersecciones tensada con los componentes graduados del álgebra OS.
  • Este resultado implica que el modelo "cubico" (Teorema 0.1.2) es un corolario formal del modelo de retículo.

• Cohomología y Estructura de Hodge (Teorema 0.1.3): El artículo establece una secuencia espectral multiplicativa para la cohomología del complemento que respeta la estructura de Hodge mixta. Demuestra que el término $E_2$ es isomorfo al álgebra graduada asociada de la cohomología con respecto a la filtración de peso (tras el decalaje), proporcionando un desdoblamiento natural de la estructura de álgebra.

Aplicaciones
El artículo demuestra la utilidad de estos modelos recuperando y generalizando varios resultados conocidos de una manera uniforme:

1. Arreglos de Subespacios Afines: Generaliza el modelo atómico relativo de Yuzvinsky al caso afín. Demuestra que los complementos de arreglos de codimensión $c$-iguales son formales (Teorema 0.2.1).
2. Espacios de Configuración Cromáticos: Generaliza el modelo de Kriz-Totaro para espacios de configuración $F(M, n)$ a espacios de configuración cromáticos $F(M, G)$ asociados a un grafo $G$ (Teorema 0.2.4). El artículo proporciona un modelo cdga explícito que involucra generadores correspondientes a las aristas de $G$ y relaciones derivadas de los ciclos en $G$, el cual es equivariante bajo el grupo de automorfismos del grafo.

Significancia y Reivindicaciones
El artículo sostiene que proporciona un método uniforme, funcional y explícito para computar el tipo de homotopía racional de los complementos de arreglos de subvariedades suaves.

• Evitación de Resoluciones: Una significancia primaria es la evitación de resoluciones geométricas explícitas (como las compactificaciones maravillosas) que son difíciles de manejar en los ejemplos. El enfoque es puramente homológico y combinatorio.
• Funcionalidad: Los modelos construidos son funcionales con respecto a las morfismos de arreglos, permitiendo el estudio de las acciones de grupos sobre el tipo de homotopía racional.
• Unificación: El marco unifica modelos previamente dispares (el de Morgan para NCDs, el de Yuzvinsky para arreglos lineales, el de Kriz-Totaro para espacios de configuración) bajo un único paraguas teórico basado en diagramas de Hodge mixtos y combinatoria de retículos.
• Estructura de Hodge: La construcción incorpora naturalmente la estructura de Hodge mixta del complemento, mostrando que el tipo de homotopía racional puede ser modelado por un complejo de Hodge puro en el sentido de la secuencia espectral, incluso cuando la cohomología misma no es pura.

El trabajo se presenta como un desarrollo de la teoría de diagramas de Hodge mixtos de Cirici-Horel, aplicado al contexto geomético específico de los complementos de arreglos, ofreciendo una herramienta robusta para la teoría de homotopía racional en geometría algebraica.