The cohomology groups of finite cyclic covers of complexified real arrangement complements

Resumen Técnico: Los Grupos de Cohomología de las Cubiertas Cíclicas Finitas de los Complementos de Arreglos Reales Complejizados

Planteamiento del Problema
El problema central abordado en este artículo es la determinación combinatoria de los grupos de (co)homología de las cubiertas cíclicas finitas de los complementos de arreglos de hiperplanos. Mientras que los resultados clásicos de Orlik y Solomon establecieron que el anillo de cohomología y los grupos de homología del propio complemento son libres de torsión y están determinados enteramente por el retículo de intersección, la situación para las cubiertas finitas (incluyendo la fibra de Milnor) es más compleja. Se sabe que la (co)homología de tales cubiertas puede contener torsión, y sigue siendo una pregunta abierta si esta torsión está determinada combinatoriamente. Específicamente, el artículo investiga si la torsión en la (co)homología de la fibra de Milnor y de las cubiertas cíclicas finitas generales está determinada por el retículo de intersección, extendiendo el marco de Cohen-Dimca-Orlik (CDO) que proporciona criterios combinatorios para la cohomología de sistemas locales.

Metodología
El autor emplea el complejo de cadenas de cámaras construido por Yoshinaga para computar la cohomología de sistemas locales de rango uno en los complementos de arreglos. La metodología procede a través de los siguientes pasos:

1. Construcción de Sistema Local y Cubierta: El artículo considera una cubierta cíclica finita $U^\phi$ del complemento $U$ de un arreglo real complejizado, inducida por un epimorfismo $\phi: \pi_1(U) \to \mathbb{Z}_N$. Esta cubierta corresponde a un sistema local de rango uno sobre el anillo $R = \mathbb{Z}[\mathbb{Z}_N] \cong \mathbb{Z}[t]/(t^N-1)$.
2. Complejo de Cadenas de Cámaras: Utilizando una bandera genérica $F$ cerca del hiperplano en el infinito $H_\infty$, el autor utiliza el complejo de cadenas de cámaras $(R[\text{ch}^\bullet(A)], d'_L)$. La cohomología de este complejo es isomórfica a la cohomología del sistema local $H^*(U, L)$.
3. Análisis de Matrices: El mapa de frontera $d'_L$ se analiza mediante su representación matricial. Al ordenar las cámaras basándose en la dimensión de sus subespacios asociados en el infinito, el autor construye una matriz donde los bloques diagonales corresponden a términos de la forma $1 - q_X^{-1}$, donde $q_X$ está determinado por la monodromía alrededor de la intersección $X$.
4. Computación de Rango: El rango del mapa de frontera sobre un campo arbitrario $K$ se estima reemplazando la variable $t$ con la matriz de permutación $T_N$ (que representa el generador de $\mathbb{Z}_N$). El rango de $T_N^k - I_N$ está determinado por el máximo común divisor $\gcd(k, N)$. Esto permite la derivación de cotas superiores explícitas para los números de Betti.
5. Condición de Ausencia de Torsión: El artículo introduce una condición combinatoria análoga a la condición CDO, denominada la condición CDO para cubiertas cíclicas $N$, la cual requiere que para cada arista densa $X \subset H_\infty$, $\gcd(\epsilon_X, N) = 1$, donde $\epsilon_X$ es la suma de los exponentes asociados a los hiperplanos que contienen a $X$.

Contribuciones Clave y Resultados

• Cotas Superiores Explícitas: El artículo establece cotas superiores explícitas para los números de Betti $b_i(U^\phi, K)$ de cubiertas cíclicas finitas sobre campos arbitrarios $K$. Para un arreglo real complejizado de dimensión $l$, las cotas son:

  • Para $0 \le i \le l-1$: $b_i(U^\phi, K) \le \sum_{C \in \text{ch}_i(A)} \gcd(\epsilon_{X(C)}, N)$.
  • Para $i = l$: $b_l(U^\phi, K) \le N \cdot (-1)^l \chi(U) + \sum_{C \in \text{uch}_l(A)} \gcd(\epsilon_{X(C)}, N)$.
    Aquí, $\chi(U)$ es la característica de Euler, y la suma recorre las cámaras en el complejo.

• Teorema de Ausencia de Torsión (Teorema Principal): Bajo la suposición de que el arreglo es un arreglo real complejizado y que el mapa $\phi$ satisface la condición CDO para cubiertas cíclicas $N$ (es decir, $\gcd(\epsilon_X, N) = 1$ para todas las aristas densas $X \subset H_\infty$), se demuestra que los grupos de cohomología entera son libres de torsión. Específicamente:

  • $H^k(U^\phi, \mathbb{Z}) \cong \mathbb{Z}^{b_k}$ para $0 \le k \le l-1$.
  • $H^l(U^\phi, \mathbb{Z}) \cong \mathbb{Z}^{b_l + (N-1)(-1)^l \chi(U)}$.
    Este resultado implica que, bajo estas condiciones, la cohomología está completamente determinada por el retículo de intersección y el grado de la cubierta $N$.

• Corolarios:

  • Fibra de Milnor: Para la fibra de Milnor de un arreglo real esencial complejizado donde el número de hiperplanos es un primo $p$, los grupos de cohomología son libres de torsión y están determinados explícitamente.
  • Condición de Transversalidad: Si existe un hiperplano $H$ transverso a todos los demás tal que $\gcd(\epsilon_H, N) = 1$, los grupos de cohomología de la cubierta cíclica $N$-doble son libres de torsión.

• Generalización de Trabajo Previo: Los resultados generalizan hallazgos recientes del autor y de Liu sobre arreglos de líneas en $\mathbb{CP}^2$ a arreglos reales complejizados de mayor dimensión.

Significancia y Pretensiones
El artículo pretende proporcionar una generalización parcial de los resultados existentes sobre arreglos de líneas a dimensiones superiores, específicamente dentro del ámbito de los arreglos reales complejizados. La significancia principal radica en establecer un criterio puramente combinatorio (la condición CDO para cubiertas cíclicas) que garantiza la ausencia de torsión en la cohomología de las cubiertas cíclicas finitas. Esto ofrece una respuesta positiva a la pregunta de la determinación combinatoria para una clase específica y significativa de arreglos, contrastando con ejemplos conocidos donde existe torsión.

El autor establece explícitamente que el resultado de ausencia de torsión se demuestra para arreglos reales complejizados y plantea una conjetura de que este resultado puede extenderse a arreglos esenciales complejos arbitrarios, siempre que el sistema local asociado satisfaga la condición CDO. El artículo no pretende haber resuelto el caso general para todos los arreglos complejos, ni propone nuevas aplicaciones experimentales, sino que se enfoca en refinar la comprensión teórica de la relación entre los datos combinatorios y los invariantes topológicos en la teoría de arreglos.