[论文解读] Non-recursive freeness and non-rigidity of plane arrangements

Takuro Abe, Michael Cuntz+2 more|arXiv (Cornell University)|Oct 13, 2014

Advanced Combinatorial Mathematics参考文献 12被引用 6

一句话总结

该论文构造了首个已知的在 ℚ 上定义的、非递归自由但自由的平面排列，分别包含13个和15个超平面，证明了13平面的例子是此类排列中最小的。通过组合分类与计算机辅助验证，作者表明所有包含≤12个超平面的自由排列都是递归自由的，从而解决了关于递归自由性及其与组合学和模空间关系的长期悬而未决的问题。

ABSTRACT

In the category of free arrangements, inductively and recursively free arrangements are important. In particular, in the former, Terao's open problem asking whether freeness depends only on combinatorics is true. A long standing problem whether all free arrangements are recursively free or not was settled by the second author and Hoge very recently, by giving a free but non-recursively free plane arrangement consisting of 27 planes. In this paper, we construct free but non-recursively free plane arrangements consisting of 13 and 15 planes, and show that the example with 13 planes is the smallest in the sense of the cardinality of planes. In other words, all free plane arrangements consisting of at most 12 planes are recursively free. To show this, we completely classify all free plane arrangements in terms of inductive freeness and three exceptions when the number of planes is at most 12. Several properties of the 15 plane arrangement are proved by computer programs. Also, these two examples solve negatively a problem posed by Yoshinaga on the moduli spaces, (inductive) freeness and, rigidity of free arrangements.

研究动机与目标

• 确定在 ℂ³ 中，自由但非递归自由的中心排列所需的最少超平面数量。
• 根据归纳自由性与递归自由性，对 ℂ³ 中所有包含至多12个超平面的自由中心排列进行分类。
• 解决 Yoshinaga 关于模空间、（归纳）自由性与自由排列刚性性的开放问题。
• 构造在 ℚ 上定义的、包含13个和15个超平面的自由但非递归自由排列的显式例子。
• 通过展示这些例子中存在非刚性与非递归性，证明自由性不能仅由组合结构决定。

提出的方法

• 通过分析其交集格 L₂(𝒜) 的组合性质，对所有包含≤12个超平面的自由排列进行分类。
• 使用 Saito 准则与加法-删除定理来检验自由性与递归自由性。
• 利用 Singular 和 GAP 进行计算机辅助验证，分析15个超平面的排列，并检查在不同超平面添加情况下的递归自由性。
• 使用 [3] 中的算法计算15个超平面排列的模空间，识别出在这些特殊化中格结构保持不变的情形。
• 通过双对偶 Hesse 型构型构造13个超平面的例子，并验证其自由性与非递归结构。
• 分析交集格的对称群与自同构，表明 Aut(L(𝒜ₜ)) ≅ ℤ/2ℤ ≀ 𝔖₃ ≅ B₃ 反射群。

实验结果

研究问题

• RQ1 是否存在一个在 ℂ³ 中包含少于13个超平面的自由排列，但不是递归自由的？
• RQ2 自由性是否能完全由其交集格决定，如 Terao 的开放问题所提出？
• RQ3 在 ℚ 上定义的自由但非递归自由排列中，最少需要多少个超平面？
• RQ4 自由排列的模空间是否同时包含递归自由与非递归自由的实现？
• RQ5 是否存在一个自由排列，其自由性取决于几何实现方式，而不仅仅是组合结构？

主要发现

• 最小的自由但非递归自由平面排列由13个超平面构成，且所有包含≤12个超平面的自由排列都是递归自由的。
• 所有满足 |𝒜| ≤ 8 或 |𝒜| = 10 的自由排列都是归纳自由的，这在低复杂度情况下确认了更强的自由性性质。
• 15个超平面的排列具有一个一维模空间，在 ℂ \ Z 中有11个特殊化点 λ，使得格结构保持同构，但仅有6个点对应递归自由排列。
• 15个超平面的排列是自由的，其指数为 (1,7,7)，但不是递归自由的，其自同构群同构于 B₃ 型的 Weyl 群。
• 13个超平面的例子是首个在 ℚ 上定义的自由但非递归自由排列，解决了长期悬而未决的开放问题。
• 本文提供了对包含≤12个超平面的自由排列的完整分类：要么是归纳自由的，要么属于三种例外类型（对偶 Hesse 型、五边形型、单式 G(4,4,3) 型）。