[论文解读] Deletion theorem and combinatorics of hyperplane arrangements

Takuro Abe|arXiv (Cornell University)|Sep 18, 2017

Advanced Combinatorial Mathematics参考文献 13被引用 3

一句话总结

本文证明了自由超平面排列的删除定理具有组合性质：删除一个超平面后是否保持自由，仅取决于其交集格。关键结果是利用特征多项式提出一个精确条件——即对所有相关的平坦子集，限制的特征多项式整除原多项式，从而给出了一个完全基于组合结构的自由性删除判定准则。

ABSTRACT

We show that the deletion theorem of a free arrangement is combinatorial, i.e., whether we can delete a hyperplane from a free arrangement keeping freeness depends only on the intersection lattice. In fact, we give an explicit sufficient and necessary condition for the deletion theorem in terms of characteristic polynomials. This gives a lot of corollaries including the existence of free filtrations. The proof is based on the result about the form of minimal generators of a logarithmic derivation module of a multiarrangement which satisfies the $b_2$-equality.

研究动机与目标

• 确定删除一个超平面后，超平面排列的自由性是否仅依赖于其组合结构（即交集格）。
• 解决排列理论中长期悬而未决的开放问题：删除定理是否具有组合性质，特别是与Terao关于自由性组合本质的猜想相关。
• 以特征多项式为工具，提供删除后自由性的充分必要条件，且不依赖于代数或几何数据。
• 确立自由滤子的存在性与修正的Orlik猜想也均为组合性质。
• 将 $b_2$-等式与对数导子模结构的应用扩展，以推导出自由性的组合判别准则。

提出的方法

• 利用多排列上的 $b_2$-等式条件，分析对数导子模的结构。
• 在 $b_2$-等式成立时，应用 $D({\tilde{\mathcal{A}}}, m)$ 的最小生成元结构定理，将代数性质与组合结构联系起来。
• 对维数 $\ell$ 进行归纳，将问题约化为低维限制，并应用归纳假设。
• 采用Ziegler限制与局部自由性论证，分析限制下特征多项式的行为。
• 应用Terao的加法-删除定理与特征多项式的整除性，推导出必要且充分的条件。
• 利用层的正合列与在支撑集上点的逐点分析，当假设不成立时导出矛盾。

实验结果

研究问题

• RQ1 自由排列的删除定理是否具有组合性质，即 $\mathcal{A} \setminus \{H\}$ 的自由性是否仅依赖于交集格 $L(\mathcal{A})$？
• RQ2 当 $\chi(\mathcal{A}^H; t)$ 整除 $\chi(\mathcal{A}; t)$ 时，是否可以组合地确定限制 $\mathcal{A}^H$ 的自由性？
• RQ3 自由排列中自由滤子的存在性是否仅依赖于其交集格？
• RQ4 修正的Orlik猜想——即当 $\chi(\mathcal{A}^H; t) \mid \chi(\mathcal{A}; t)$ 时 $\mathcal{A}^H$ 是否自由——是否为组合性质？
• RQ5 在 $\mathcal{A}$ 自由的前提下，$\mathcal{A} \setminus \{H\}$ 保持自由的精确代数组合条件是什么？

主要发现

• 自由排列的删除定理具有组合性质：$\mathcal{A} \setminus \{H\}$ 是自由的，当且仅当对所有 $X \in L_i(\mathcal{A}^H)$ 满足 $2 \leq i \leq \ell - 1$，有 $\chi(\mathcal{A}^H_X; t)$ 整除 $\chi(\mathcal{A}_X; t)$。
• 该条件既必要又充分，且仅依赖于交集格 $L(\mathcal{A})$，因此删除后的自由性是组合性质。
• 自由排列中自由滤子的存在性是组合性质，因为其可归约为对删除条件的迭代应用。
• 当 $\ell \leq 4$ 时，若 $\chi(\mathcal{A}^H; t)$ 整除 $\chi(\mathcal{A}; t)$，则 $\mathcal{A}$ 自由当且仅当 $\mathcal{A}^H$ 自由。
• 修正的Orlik猜想是组合性质：在假设 $\chi(\mathcal{A}^H; t) \mid \chi(\mathcal{A}; t)$ 下，$\mathcal{A}^H$ 的自由性仅依赖于 $L(\mathcal{A})$。
• $H \in \mathcal{A}_X$ 上的 $b_2$-等式条件，以及根条件 $|\mathcal{A}_X| - |\mathcal{A}_X^H|$ 是 $\chi(\mathcal{A}_X; t)$ 的根，与删除定理成立等价，从而提供了另一种组合判别准则。