Addition theorems for Ziegler pairs of hyperplane arrangements

Resumen Técnico: Teoremas de Adición para Pares de Ziegler de Arreglos de Hiperplanos

Planteamiento del Problema
El artículo aborda la relación entre las propiedades combinatorias y algebraicas de los arreglos de hiperplanos. Específicamente, investiga los pares de Ziegler: pares de arreglos centrales de hiperplanos $(A_1, A_2)$ que comparten el mismo retículo de intersección (y, por lo tanto, el mismo matroide subyacente, $L(A_1) \cong L(A_2)$), pero poseen módulos de derivaciones logarítmicas no isomorfos, $D(A_1) \not\cong D(A_2)$.

Esta investigación está motivada por la Conjetura de la Freeness de Terao, la cual postula que si dos arreglos tienen la misma combinatoria, entonces uno es libre si y solo si el otro lo es. Si bien la conjetura sigue abierta, los pares de Ziegler sirven como contraejemplos a la afirmación más fuerte de que toda la estructura del módulo de derivaciones está determinada por la combinatoria. Antes de este trabajo, los pares de Ziegler conocidos se limitaban a dimensiones bajas (específicamente arreglos de líneas en $\mathbb{P}^2$) y a menudo dependían de coincidencias geométricas específicas, tales como colinealidades ocultas no forzadas por el matroide. Este artículo busca construir pares de Ziegler en dimensiones y tamaños arbitrarios, enfocándose específicamente en arreglos irreducibles.

Metodología
Los autores desarrollan un método de construcción general basado en dos operaciones primarias:

1. Adición de un Hiperplano Genérico: Partiendo de arreglos en $\mathbb{C}^3$, añaden un hiperplano $H$ que es "genérico" con respecto al arreglo. El artículo distingue entre hiperplanos combinatoriamente genéricos (que intersectan los planos (flats) en la codimension esperada) e hiperplanos algebraicamente genéricos (que satisfacen condiciones específicas respecto a la evaluación de los generadores de las derivaciones).
2. Conificación (Coning): Los autores utilizan la operación de conificación para elevar arreglos desde $\mathbb{C}^3$ a dimensiones superiores $\mathbb{C}^\ell$.

El núcleo técnico del artículo reside en el análisis de la secuencia exacta de Euler asociada con la triple de eliminación-restricción (deletion-restriction triple). Un paso crucial consiste en demostrar que, bajo supuestos específicos de genericidad, el mapa de restricción de Euler $\rho: D(A) \to D(A_H)$ es sobreyectivo. Esto permite a los autores determinar la resolución libre mínima y los grados de los generadores (exponentes) del módulo de derivaciones para el nuevo arreglo basándose en el arreglo original.

Herramientas teóricas clave incluyen:

• Teorema 2.1 (Abe et al.): Condiciones bajo las cuales la secuencia de Euler es exacta por la derecha.
• Lema 3.2 y 3.6: Establecer que para arreglos irreducibles en $\mathbb{C}^3$, un hiperplano combinatoriamente genérico es también algebraicamente genérico, asegurando la preservación de la minimidad en los conjuntos generadores de las derivaciones.
• Construcción Inductiva: El uso de conificaciones sucesivas y la adición de hiperplanos genéricos para propagar las propiedades de los pares de Ziegler de $\mathbb{C}^3$ a $\mathbb{C}^\ell$.

Contribuciones Clave y Resultados

1. Construcción General en $\mathbb{C}^3$ (Teorema 4.1):
   Los autores demuestran que si $A_1$ y $A_2$ son arreglos centrales en $\mathbb{C}^3$ con retículos isomorfos pero secuencias de exponentes distintas ($\exp(A_1) \neq \exp(A_2)$), y si $H$ es un hiperplano genérico tal que $L(A_1 \cup \{H\}) \cong L(A_2 \cup \{H\})$, entonces los pares resultantes $B_1 = A_1 \cup \{H\}$ y $B_2 = A_2 \cup \{H\}$ forman un par de Ziegler.

   • El Teorema 4.2 proporciona la fórmula explícita para los exponentes del nuevo arreglo: si $\exp(A) = (1, a_2, \dots, a_n)$, entonces $\exp(B) = (1, a_2+1, \dots, a_n+1, |A|-1)$. Este desplazamiento asegura que las secuencias de exponentes iniciales distintas permanezcan distintas tras la adición.

2. Extensión a Dimensiones Arbitrarias (Teorema 5.1):
   El artículo presenta una receta general para construir pares de Ziegler en $\mathbb{C}^\ell$ ($\ell \geq 3$). Partiendo de un arreglo irreducible $A \subset \mathbb{C}^3$, los autores realizan $(\ell-3)$ operaciones de conificación para crear $A_\ell \subset \mathbb{C}^\ell$, y luego añaden un hiperplano genérico $H$.

   • El Teorema 5.1 calcula explícitamente la secuencia de grados de los generadores mínimos para el arreglo resultante $B_\ell = A_\ell \cup \{H\}$. La fórmula involucra una distribución específica de grados derivada de los exponentes originales y la dimensión.

3. Existencia de Pares de Ziegler Irreducibles (Corolario 5.2):
   Al aplicar la construcción del Teorema 5.1 a pares de Ziegler conocidos en $\mathbb{C}^3$ (como el ejemplo clásico de Ziegler de 9 líneas), los autores generan pares de Ziegler en cualquier dimensión $\ell$.

   • El Ejemplo 5.3 construye explícitamente un par de Ziegler en $\mathbb{C}^4$ derivado del arreglo clásico de 9 líneas. Los arreglos resultantes son irreducibles (no pueden descomponerse como un producto de arreglos de menor dimensión), una propiedad no garantizada en ejemplos previos.

Significado y Reivindicaciones
El artículo afirma proporcionar las primeras familias conocidas de pares de Ziegler en dimensión y tamaño arbitrarios que son irreducibles.

• Antes de este trabajo, los pares de Ziegler conocidos estaban mayormente confinados a arreglos de líneas en $\mathbb{P}^2$ (dimensión 2) o arreglos reducibles en dimensiones superiores.
• Los autores declaran explícitamente que sus ejemplos son los "primeros pares de Ziegler irreducibles (no triviales) en dimensiones mayores a tres".
• El trabajo demuestra que el fenómeno de que la equivalencia combinatoria falle en implicar la equivalencia algebraica (módulos de derivación no isomorfos) no es un artefacto de la geometría de baja dimensión o de singularidades específicas, sino que puede generarse sistemáticamente en espacios de alta dimensión mediante perturbaciones genéricas y conificación.

El artículo no pretende resolver la conjetura de Terao, sino que expande el panorama de los contraejemplos conocidos a la idea de que el módulo de derivación es puramente combinatorio, proporcionando un mecanismo robusto para generar tales ejemplos en dimensiones superiores.