Addition theorems for Ziegler pairs of hyperplane arrangements

Résumé technique : Théorèmes d'addition pour les paires de Ziegler d'arrangements d'hyperplans

Énoncé du problème
L'article traite de la relation entre les propriétés combinatoires et algébriques des arrangements d'hyperplans. Plus précisément, il étudie les paires de Ziegler : des paires d'arrangements d'hyperplans centraux $(A_1, A_2)$ qui partagent le même treillis d'intersection (et donc le même matroid sous-jacent, $L(A_1) \cong L(A_2)$) mais possèdent des modules de dérivations logarithmiques non isomorphes, $D(A_1) \not\cong D(A_2)$.

Cette investigation est motivée par la conjecture de freeness de Terao, qui postule que si deux arrangements ont la même combinatoire, alors l'un est libre si et seulement si l'autre l'est. Bien que la conjecture reste ouverte, les paires de Ziegler servent de contre-exemples à l'affirmation plus forte selon laquelle l'intégralité de la structure du module de dérivation est déterminée par la combinatoire. Avant ce travail, les paires de Ziegler connues étaient limitées aux basses dimensions (spécifiquement les arrangements de droites dans $\mathbb{P}^2$) et reposaient souvent sur des coïncidences géométriques spécifiques, telles que des colinéarités cachées non imposées par le matroid. L'article cherche à construire des paires de Ziegler dans des dimensions et des tailles arbitraires, en se concentrant spécifiquement sur les arrangements irréductibles.

Méthodologie
Les auteurs développent une méthode de construction générale basée sur deux opérations principales :

1. Ajout d'un hyperplan générique : En partant d'arrangements dans $\mathbb{C}^3$, ils ajoutent un hyperplan $H$ qui est « générique » par rapport à l'arrangement. L'article distingue les hyperplans combinatoirement génériques (intersectant les plats dans la codimension attendue) des hyperplans algébriquement génériques (satisfaisant des conditions spécifiques concernant l'évaluation des générateurs de dérivations).
2. Conage (Coning) : Les auteurs utilisent l'opération de conage pour élever des arrangements de $\mathbb{C}^3$ vers des dimensions supérieures $\mathbb{C}^\ell$.

Le cœur technique de l'article repose sur l'analyse de la suite exacte d'Euler associée au triple de suppression-restriction. Une étape cruciale consiste à prouver que, sous des hypothèses de généricité spécifiques, l'application de restriction d'Euler $\rho: D(A) \to D(A_H)$ est surjective. Cela permet aux auteurs de déterminer la résolution libre minimale et les degrés des générateurs (exposants) du module de dérivation pour le nouvel arrangement à partir de l'arrangement original.

Outils théoriques clés :

• Théorème 2.1 (Abe et al.) : Conditions sous lesquelles la suite d'Euler est exacte à droite.
• Lemme 3.2 & 3.6 : Établissement que pour les arrangements irréductibles dans $\mathbb{C}^3$, un hyperplan combinatoirement générique est également algébriquement générique, assurant la préservation de la minimauté des ensembles générateurs de dérivations.
• Construction inductive : Utilisation du conage successif et de l'ajout d'hyperplans génériques pour propager les propriétés des paires de Ziegler de $\mathbb{C}^3$ vers $\mathbb{C}^\ell$.

Contributions clés et résultats

1. Construction générale dans $\mathbb{C}^3$ (Théorème 4.1) :
   Les auteurs prouvent que si $A_1$ et $A_2$ sont des arrangements centraux dans $\mathbb{C}^3$ avec des treillis isomorphes mais des séquences d'exposants distinctes ($\exp(A_1) \neq \exp(A_2)$), et si $H$ est un hyperplan générique tel que $L(A_1 \cup \{H\}) \cong L(A_2 \cup \{H\})$, alors les paires résultantes $B_1 = A_1 \cup \{H\}$ et $B_2 = A_2 \cup \{H\}$ forment une paire de Ziegler.

   • Le Théorème 4.2 fournit la formule explicite pour les exposants du nouvel arrangement : si $\exp(A) = (1, a_2, \dots, a_n)$, alors $\exp(B) = (1, a_2+1, \dots, a_n+1, |A|-1)$. Ce décalage garantit que les séquences d'exposants initiales distinctes restent distinctes après l'ajout.

2. Extension à des dimensions arbitraires (Théorème 5.1) :
   L'article présente une recette générale pour construire des paires de Ziegler dans $\mathbb{C}^\ell$ ($\ell \geq 3$). En partant d'un arrangement irréductible $A \subset \mathbb{C}^3$, les auteurs effectuent $(\ell-3)$ opérations de conage pour créer $A_\ell \subset \mathbb{C}^\ell$, puis ajoutent un hyperplan générique $H$.

   • Le Théorème 5.1 calcule explicitement la séquence de degrés des générateurs minimaux pour l'arrangement résultant $B_\ell = A_\ell \cup \{H\}$. La formule implique une distribution spécifique de degrés dérivée des exposants originaux et de la dimension.

3. Existence de paires de Ziegler irréductibles (Corollaire 5.2) :
   En appliquant la construction du Théorème 5.1 à des paires de Ziegler connues dans $\mathbb{C}^3$ (telles que l'exemple classique de Ziegler de 9 droites), les auteurs génèrent des paires de Ziegler dans n'importe quelle dimension $\ell$.

   • L'Exemple 5.3 construit explicitement une paire de Ziegler dans $\mathbb{C}^4$ dérivée de l'arrangement classique de 9 droites. Les arrangements résultants sont irréductibles (ils ne peuvent pas être décomposés en un produit d'arrangements de dimension inférieure), une propriété qui n'est pas garantie dans les exemples précédents.

Signification et affirmations
L'article affirme fournir les premières familles connues de paires de Ziegler dans des dimensions et des tailles arbitraires qui sont irréductibles.

• Avant ce travail, les paires de Ziegler connues étaient largement confinées aux arrangements de droites dans $\mathbb{P}^2$ (dimension 2) ou aux arrangements réductibles dans des dimensions supérieures.
• Les auteurs affirment explicitement que leurs exemples sont les « premiers exemples irréductibles (non triviaux) de paires de Ziegler dans des dimensions supérieures à trois ».
• Le travail démontre que le phénomène où l'équivalence combinatoire échoue à impliquer l'équivalence algébrique (modules de dérivation non isomorphes) n'est pas un artefact de la géométrie de basse dimension ou de singularités spécifiques, mais peut être systématiquement généré dans des espaces de haute dimension par des perturbations génériques et le conage.

L'article ne prétend pas résoudre la conjecture de Terao, mais élargit le paysage des contre-exemples connus à l'idée que le module de dérivation est purement combinatoire, fournissant un mécanisme robuste pour générer de tels exemples dans des dimensions plus élevées.