Addition theorems for Ziegler pairs of hyperplane arrangements

Resumo Técnico: Teoremas de Adição para Pares de Ziegler de Arranjos de Hiperplanos

Enunciado do Problema
O artigo aborda a relação entre as propriedades combinatórias e algébricas de arranjos de hiperplanos. Especificamente, investiga os pares de Ziegler: pares de arranjos centrais de hiperplanos $(A_1, A_2)$ que compartilham o mesmo reticulado de interseção (e, portanto, o mesmo matroide subjacente, $L(A_1) \cong L(A_2)$), mas possuem módulos de derivações logarítmicas não isomorfos, $D(A_1) \not\cong D(A_2)$.

Esta investigação é motivada pela Conjectura de Freeness de Terao, que postula que, se dois arranjos possuem a mesma combinatória, então um é livre se, e somente se, o outro também for. Embora a conjectura permaneça em aberto, os pares de Ziegler servem como contraexemplos à afirmação mais forte de que a estrutura completa do módulo de derivações é determinada pela combinatória. Antes deste trabalho, os pares de Ziegler conhecidos limitavam-se a baixas dimensões (especificamente arranjos de retas em $\mathbb{P}^2$) e frequentemente dependiam de coincidências geométricas específicas, como colinearidades ocultas não forçadas pelo matroide. O artigo busca construir pares de Ziegler em dimensões e tamanhos arbitrários, focando especificamente em arranjos irredutíveis.

Metodologia
Os autores desenvolvem um método de construção geral baseado em duas operações primárias:

1. Adição de um Hiperplano Genérico: Partindo de arranjos em $\mathbb{C}^3$, eles adicionam um hiperplano $H$ que é "genérico" em relação ao arranjo. O artigo distingue entre hiperplanos combinatoriamente genéricos (que interceptam flats na codimenssão esperada) e algebricamente genéricos (que satisfazem condições específicas em relação à avaliação dos geradores de derivação).
2. Conificação (Coning): Os autores utilizam a operação de conificação para elevar arranjos de $\mathbb{C}^3$ para dimensões superiores $\mathbb{C}^\ell$.

O núcleo técnico do artigo baseia-se na análise da sequência exata de Euler associada ao triplo de exclusão-restrição (deletion-restriction). Um passo crucial envolve provar que, sob condições de genericidade específicas, o mapa de restrição de Euler $\rho: D(A) \to D(A_H)$ é sobrejetor. Isso permite aos autores determinar a resolução livre mínima e os graus dos geradores (expoentes) do módulo de derivação para o novo arranjo com base no arranjo original.

Ferramentas teóricas fundamentais incluem:

• Teorema 2.1 (Abe et al.): Condições sob as quais a sequência de Euler é exata à direita.
• Lema 3.2 & 3.6: Estabelecendo que, para arranjos irredutíveis em $\mathbb{C}^3$, um hiperplano combinatoriamente genérico é também algebricamente genérico, garantindo a preservação da minimalidade nos conjuntos geradores de derivações.
• Construção Indutiva: Usando conificações sucessivas e a adição de hiperplanos genéricos para propagar as propriedades dos pares de Ziegler de $\mathbb{C}^3$ para $\mathbb{C}^\ell$.

Principais Contribuições e Resultados

1. Construção Geral em $\mathbb{C}^3$ (Teorema 4.1):
   Os autores provam que, se $A_1$ e $A_2$ são arranjos centrais em $\mathbb{C}^3$ com reticulados isomorfos, mas sequências de expoentes distintas ($\exp(A_1) \neq \exp(A_2)$), e se $H$ é um hiperplano genérico tal que $L(A_1 \cup \{H\}) \cong L(A_2 \cup \{H\})$, então os pares resultantes $B_1 = A_1 \cup \{H\}$ e $B_2 = A_2 \cup \{H\}$ formam um par de Ziegler.

   • Teorema 4.2 fornece a fórmula explícita para os expoentes do novo arranjo: se $\exp(A) = (1, a_2, \dots, a_n)$, então $\exp(B) = (1, a_2+1, \dots, a_n+1, |A|-1)$. Este deslocamento garante que sequências de expoentes iniciais distintas permaneçam distintas após a adição.

2. Extensão para Dimensões Arbitrárias (Teorema 5.1):
   O artigo apresenta uma receita geral para construir pares de Ziegler em $\mathbb{C}^\ell$ ($\ell \geq 3$). Partindo de um arranjo irredutível $A \subset \mathbb{C}^3$, os autores realizam $(\ell-3)$ operações de conificação para criar $A_\ell \subset \mathbb{C}^\ell$ e, em seguida, adicionam um hiperplano genérico $H$.

   • Teorema 5.1 calcula explicitamente a sequência de graus dos geradores mínimos para o arranjo resultante $B_\ell = A_\ell \cup \{H\}$. A fórmula envolve uma distribuição específica de graus derivada dos expoentes originais e da dimensão.

3. Existência de Pares de Ziegler Irredutíveis (Corolário 5.2):
   Ao aplicar a construção do Teorema 5.1 a pares de Ziegler conhecidos em $\mathbb{C}^3$ (como o exemplo clássico de Ziegler de 9 retas), os autores geram pares de Ziegler em qualquer dimensão $\ell$.

   • Exemplo 5.3 constrói explicitamente um par de Ziegler em $\mathbb{C}^4$ derivado do arranjo clássico de 9 retas. Os arranjos resultantes são irredutíveis (não podem ser decompostos como um produto de arranjos de dimensões menores), uma propriedade não garantida em exemplos anteriores.

Significado e Alegações
O artigo afirma fornecer as primeiras famílias conhecidas de pares de Ziegler em dimensões e tamanhos arbitrários que são irredutíveis.

• Antes deste trabalho, os pares de Ziegler conhecidos estavam amplamente confinados a arranjos de retas em $\mathbb{P}^2$ (dimensão 2) ou arranjos redutíveis em dimensões superiores.
• Os autores afirmam explicitamente que seus exemplos são os "primeiros pares de Ziegler irredutíveis (não triviais) em dimensões maiores que três".
• O trabalho demonstra que o fenômeno da equivalência combinatória falhar em implicar a equivalência algébrica (módulos de derivação não isomorfos) não é um artefato da geometria de baixa dimensão ou de singularidades específicas, mas pode ser sistematicamente gerado em espaços de alta dimensão através de perturbações genéricas e conificação.

O artigo não pretende resolver a conjectura de Terao, mas sim expandir o panorama de contraexemplos conhecidos à ideia de que o módulo de derivação é puramente combinatório, fornecendo um mecanismo robusto para gerar tais exemplos em dimensões mais altas.