[论文解读] Addition-deletion results for the minimal degree of logarithmic derivations of arrangements

Takuro Abe, Alexandru Dimca+1 more|arXiv (Cornell University)|Aug 19, 2019

Advanced Combinatorial Mathematics参考文献 27被引用 4

一句话总结

本文建立了超平面排列中对数导子最小次数的加法-删除定理，证明当三重点数不超过五个时，衡量雅可比关系最小次数的不变量 $ r({\rm A}) $ 是组合确定的。文章构造了新的直线排列对，其组合结构相同但 $ r({\rm A}) $ 不同，表明此类非唯一性仅在 $ n_3 \geq 6 $ 时出现，并确认在许多新配置中存在 Tjurina-极大排列。

ABSTRACT

We study the change of the minimal degree of a logarithmic derivation of a hyperplane arrangement under the addition or the deletion of a hyperplane, and give a number of applications. First, we prove the existence of Tjurina maximal line arrangements in a lot of new situations. Then, starting with Ziegler's example of a pair of arrangements of $d=9$ lines with $n_3=6$ triple points in addition to some double points, having the same combinatorics, but distinct minimal degree of a logarithmic derivation, we construct new examples of such pairs, for any number $d\geq 9$ of lines, and any number $n_3\geq 6$ of triple points. Moreover, we show that such examples are not possible for line arrangements having only double and triple points, with $n_3 \leq 5$.

研究动机与目标

• 理解在超平面排列中添加或删除一个超平面时，对数导子的最小次数 $ r({\mathcal{A}}) $ 如何变化。
• 确定仅含二重点和三重点的直线排列中，$ r({\mathcal{A}}) $ 是否为组合确定的。
• 构造具有同构交线格但 $ r({\mathcal{A}}) $ 不同的新直线排列对，特别是当 $ n_3 \geq 6 $ 时，并证明当 $ n_3 \leq 5 $ 时此类例子不可能存在。
• 证明在先前未知的配置中存在 Tjurina-极大直线排列。

提出的方法

• 作者使用加法-删除定理分析当从排列中添加或移除一个超平面时 $ r({\mathcal{A}}) $ 的行为。
• 他们应用雅可比关系 $ \sum a_i f_{x_i} = 0 $ 来刻画对数导子，并将其与最小次数 $ r({\mathcal{A}}) $ 关联。
• 他们分析了具有 $ d \geq 7 $ 条直线且 $ n_3 \leq 5 $ 的排列中的三重点构型，将其分为两种情况：(A) 某条直线仅包含一个三重点，(B) 存在两条此类直线。
• 他们通过 SINGULAR 进行计算验证，确认对于一个 7 条直线的排列有 $ r({\mathcal{B}}) = 3 $，支持加法-删除框架。
• 他们将 Ziegler 在 $ d=9 $、$ n_3=6 $ 时关于非组合 $ r({\mathcal{A}}) $ 的例子扩展到任意 $ d \geq 9 $ 和 $ n_3 \geq 6 $，通过在二重点处添加一般直线实现。
• 他们应用定理 3.3 证明：添加一条一般直线会使 $ r({\mathcal{A}}) $ 增加 1，同时保持组合结构不变但改变 $ r({\mathcal{A}}) $。

实验结果

研究问题

• RQ1 仅含二重点和三重点的直线排列中，对数导子的最小次数 $ r({\mathcal{A}}) $ 是否由其组合结构决定？
• RQ2 能否为 $ n_3 \geq 6 $ 构造出具有同构交线格但 $ r({\mathcal{A}}) $ 不同的新直线排列对？
• RQ3 当 $ n_3 = 5 $ 时，排列的结构约束是什么？为何此时 $ r({\mathcal{A}}) $ 是组合确定的？
• RQ4 Tjurina-极大排列的存在性是否可推广到此前未知的配置？
• RQ5 添加一般直线在保持组合结构的同时改变 $ r({\mathcal{A}}) $ 的作用是什么？

主要发现

• 对于满足 $ n_3 \leq 5 $ 的直线排列，不变量 $ r({\mathcal{A}}) $ 完全由组合结构决定，如推论 4.20 所示。
• 当 $ n_3 \geq 6 $ 时，$ r({\mathcal{A}}) $ 不再由组合结构决定；本文为任意 $ d \geq 9 $ 和 $ n_3 \geq 6 $ 构造了具有相同交线格但不同 $ r({\mathcal{A}}) $ 的排列对。
• 该构造依赖于在 Ziegler 原始的 $ d=9 $、$ n_3=6 $ 例子中通过一个二重点添加一条一般直线，使 $ r({\mathcal{A}}) $ 增加 1，同时保持组合结构不变。
• 本文证明了对于 $ n_3 = 4 $（例如 $ d=7 $）和 $ n_3 = 5 $（例如 $ d=8 $）的排列，$ r({\mathcal{A}}) = d - 3 $ 是可能的，展示了极值情况。
• 在许多新配置中确认了 Tjurina-极大直线排列的存在性，扩展了已知结果。
• 分析确认了对于仅含二重点和三重点的排列，有 $ r({\mathcal{A}}) \geq (d-2)/2 $，且此时一般分裂类型由 $ d $ 决定。