Addition theorems for Ziegler pairs of hyperplane arrangements

技术摘要：超平面排列 Ziegler 对的加法定理

问题陈述
本文探讨了超平面排列的组合性质与代数性质之间的关系。具体而言，研究了 Ziegler 对：即一对中心超平面排列 $(A_1, A_2)$，它们具有相同的交集格（因此具有相同的底层拟阵，$L(A_1) \cong L(A_2)$），但拥有非同构的对数导数模 ($D(A_1) \not\cong D(A_2)$)。

这项研究的动机源于 Terao 的自由性猜想 (Terao's Freeness Conjecture)，该猜想认为，如果两个排列具有相同的组合结构，那么一个是自由的当且仅当另一个也是自由的。虽然该猜想仍是一个开放问题，但 Ziegler 对为“导数模结构完全由组合性质决定”这一更强的说法提供了反例。在此项工作之前，已知的 Ziegler 对局限于低维情形（特别是 $\mathbb{P}^2$ 中的直线排列），并且通常依赖于特定的几何巧合，例如并非由拟阵强制要求的隐藏共线性。本文旨在构建任意维度和规模的 Ziegler 对，特别侧重于不可约 (irreducible) 排列。

方法论
作者开发了一种基于两种主要操作的一般构造方法：

1. 添加一个泛型超平面 (Adding a Generic Hyperplane)： 从 $\mathbb{C}^3$ 中的排列出发，添加一个相对于该排列是“泛型”的超平面 $H$。论文区分了组合泛型 (combinatorially generic) 超平面（在预期的余维数处与平坦相交）和代数泛型 (algebraically generic) 超平面（关于导数生成元的求值满足特定条件）。
2. 圆锥化 (Coning)： 作者利用圆锥化操作将排列从 $\mathbb{C}^3$ 提升到更高维度的 $\mathbb{C}^\ell$。

论文的技术核心在于分析与删除-限制三元组 (deletion-restriction triple) 相关的 Euler 正合序列。关键步骤是证明在特定的泛型假设下，Euler 限制映射 $\rho: D(A) \to D(A_H)$ 是满射。这使得作者能够根据原排列确定新排列的极小自由分解以及生成元的次数（指数）。

关键理论工具包括：

• 定理 2.1 (Abe 等人)： 关于 Euler 序列何时是右正合的条件。
• 引理 3.2 & 3.6： 确立了对于 $\mathbb{C}^3$ 中的不可约排列，组合泛型超平面也是代数泛型超平面，从而确保了导数生成集之极小性的保持。
• 归纳构造： 通过连续的圆锥化操作和添加泛型超平面，将 Ziegler 对的性质从 $\mathbb{C}^3$ 传播到 $\mathbb{C}^\ell$。

主要贡献与结果

1. $\mathbb{C}^3$ 中的一般构造 (定理 4.1)：
   作者证明，如果 $A_1$ 和 $A_2$ 是 $\mathbb{C}^3$ 中的中心排列，具有同构的格但具有不同的指数序列 ($\exp(A_1) \neq \exp(A_2)$)，且 $H$ 是一个泛型超平面使得 $L(A_1 \cup \{H\}) \cong L(A_2 \cup \{H\})$，那么生成的对 $B_1 = A_1 \cup \{H\}$ 和 $B_2 = A_2 \cup \{H\}$ 构成 Ziegler 对。

   • 定理 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$) 中构造 Ziegler 对的一般方案。从 $\mathbb{C}^3$ 中的一个不可约排列 $A$ 出发，作者进行 $(\ell-3)$ 次圆锥化操作以创建 $A_\ell \subset \mathbb{C}^\ell$，然后添加一个泛型超平面 $H$。

   • 定理 5.1 显式计算了所得排列 $B_\ell = A_\ell \cup \{H\}$ 的极小生成元次数序列。该公式涉及一个根据原指数和维度导出的特定次数分布。

3. 不可约 Ziegler 对的存在性 (推论 5.2)：
   通过将定理 5.1 中的构造应用于 $\mathbb{C}^3$ 中的已知 Ziegler 对（例如经典的 9 线 Ziegler 例子），作者生成了任何维度 $\ell$ 下的 Ziegler 对。

   • 例 5.3 显式地从经典的 9 线排列构造了一个 $\mathbb{C}^4$ 中的 Ziegler 对。所得排列是不可约的（不能分解为低维排列的乘积），这一属性在以往的例子中并未得到保证。

意义与主张
本文声称提供了首批在任意维度和规模下且为不可约的 Ziegler 对族。

• 在本工作之前，已知的 Ziegler 对主要局限于 $\mathbb{P}^2$（维度 2）中的直线排列或高维中的可约排列。
• 作者明确指出，他们的例子是“维度大于三的第一个不可约（非平凡）Ziegler 对”。
• 该工作表明，组合等价无法蕴含代数等价（非同构导数模）这一现象，并非低维几何或特定奇异性的产物，而是可以通过泛型扰动和圆锥化在更高维空间中系统性地生成。

本文并非声称解决了 Terao 猜想，而是扩展了已知反例的范畴，这些反例表明导数模并非纯粹由组合性质决定，并提供了一种在更高维度中系统生成此类反例的稳健机制。