Addition theorems for Ziegler pairs of hyperplane arrangements

技術要約：ハイパープレーン配置のジークラー対に関する加法定理

問題提起
本論文は、ハイパープレーン配置の組合せ論的性質と代数的性質の関係を扱っている。具体的には、**ジークラー対（Ziegler pairs）**を調査している。これは、同じ交差格子（したがって同じ基礎となるマトロイド $L(A_1) \cong L(A_2)$）を共有するが、対数微分形式の加群が非同型である（$D(A_1) \not\cong D(A_2)$）中心ハイパープレーン配置のペア $(A_1, A_2)$ のことである。

この調査は、**テラオの自由性予想（Terao's Freeness Conjecture）によって動機付けられている。この予想は、「二つの配置が同じ組合せ論的性質を持つならば、一方が自由であることと他方が自由であることは同値である」と主張している。この予想は未解決であるが、ジークラー対は、「導来加群の構造全体が組合せ論によって決定される」というより強い主張に対する反例として機能する。本研究以前、既知のジークラー対は低次元（具体的には $\mathbb{P}^2$ 内の直線配置）に限定されており、多くの場合、マトロイドによって強制されない隠れた共線性などの特定の幾何学的偶然性に依存していた。本論文は、任意の次元およびサイズ、特に既約（irreducible）**な配置に焦点を当てたジークラー対を構成することを目的としている。

手法
著者らは、主に二つの操作に基づく一般的な構成手法を開発している：

1. 生成的（Generic）なハイパープレーンの追加： $\mathbb{C}^3$ における配置から出発し、配置に対して「生成的」なハイパープレーン $H$ を追加する。論文では、組合せ論的に生成的なハイパープレーン（期待される余次元でフラットと交差するもの）と、代数的に生成的なハイパープレーン（導来生成元の評価に関する特定の条件を満たすもの）を区別している。
2. コーニング（Coning）： 著者らは、$\mathbb{C}^3$ から高次元 $\mathbb{C}^\ell$ へ配置をリフトアップするために、コーニング操作を利用している。

本論文の技術的中核は、削除・制限（deletion-restriction）の三つ組に関連する**オイラー完全列（Euler exact sequence）**の解析にある。重要なステップは、特定の生成性仮定の下で、オイラー制限写像 $\rho: D(A) \to D(A_H)$ が全射であることを証明することである。これにより、元の配置に基づいた新しい配置の最小自由分解および生成元の次数（指数）を決定することが可能となる。

主要な理論的ツール：

• 定理 2.1 (Abe et al.): オイラー完全列が右完全になる条件。
• 補題 3.2 & 3.6: $\mathbb{C}^3$ における既約配置において、組合せ論的に生成的なハイパープレーンは代数的にも生成的であることを確立し、導来の生成集合における最小性の保存を保証する。
• 帰納的構成: 連続的なコーニングと生成的ハイパープレーンの追加を用いることで、ジークラー対の性質を $\mathbb{C}^3$ から $\mathbb{C}^\ell$ へ伝播させる。

主要な貢献および結果

1. $\mathbb{C}^3$ における一般的構成 (定理 4.1):
   著者らは、もし $A_1$ と $A_2$ が同型の格子を持つ指数列が異なる $\mathbb{C}^3$ 内の中心配置であり、$H$ が $L(A_1 \cup \{H\}) \cong L(A_2 \cup \{H\})$ を満たす生成的なハイパープレーンであるならば、結果として得られるペア $B_1 = A_1 \cup \{H\}$ と $B_2 = A_2 \cup \{H\}$ はジークラー対を形成することを証明している。

• 定理 4.2 は、新しい配置の指数の明示的な公式を提供している。もし $\exp(A) = (1, a_2, \dots, a_n)$ ならば、$\exp(B) = (1, a_2+1, \dots, a_n+1, |A|-1)$ である。このシフトにより、異なる初期の指数列が追加後も異なる状態に保たれる。

2. 任意の次元への拡張 (定理 5.1):
   本論文は、$\mathbb{C}^\ell$ ($\ell \geq 3$) におけるジークラー対を構成するための一般的なレシピを提示している。既約配置 $A \subset \mathbb{C}^3$ から出発し、$(\ell-3)$ 回のコーニング操作を行って $A_\ell \subset \mathbb{C}^\ell$ を作成し、その後、生成的なハイパープレーン $H$ を追加する。

• 定理 5.1 は、結果として得られる配置 $B_\ell = A_\ell \cup \{H\}$ の最小生成元の次数の分布を明示的に計算している。この公式は、元の指数と次元から導出された特定の次数の分布を含む。

3. 既約なジークラー対の存在 (系 5.2):
   $\mathbb{C}^3$ における既知のジークラー対（古典的なジークラーの9直線配置など）に定理 5.1 の構成を適用することで、著者らは任意の次元 $\ell$ におけるジークラー対を生成している。

• 例 5.3 は、古典的な9直線配置から派生した $\mathbb{C}^4$ におけるジークラー対を明示的に構成している。得られた配置は既約（より低次元の配置の直積として分解できない）であり、これは以前の例では保証されていなかった性質である。

意義および主張
本論文は、任意の次元およびサイズにおいて既約な、最初の既知のジークラー対の族を提供していると主張している。

• 本研究以前、既知のジークラー対は、主に $\mathbb{P}^2$（次元2）内の直線配置、または高次元における可約な配置に限定されていた。
• 著者らは、自分たちの例が「3次元より大きい次元における最初の既約（非自明な）ジークラー対」であることを明言している。
• 本研究は、組合せ論的一致が代数的一致（非同型の導来加群）を意味しないという現象が、低次元の幾何学や特定の特異性の産物ではなく、生成的摂動とコーニングを通じて高次元空間において体系的に生成できることを示している。

本論文はテラオの予想を解決しようとするものではなく、導来加群が純粋に組合せ論的であるという考えに対する既知の反例の範囲を広げ、高次元においてこのような例を生成するための堅牢なメカニズムを提供している。