A nine-line counterexample to a conjecture on the minimal degree of Jacobian relations

技术摘要：关于雅可比关系最小次数猜想的一个九线反例

问题陈述
本文研究了复射影平面 $\mathbb{P}^2$ 中直线排列相关代数不变量的组合确定性问题。具体而言，它调查了广义 Terao 猜想（由第一作者在 [4] 中提出），该猜想认为，对于度数为 $d$ 的直线排列 $A$，如果雅可比关系的最小次数（记作 $mdr(f)$）满足严格不等式$mdr(f) < d/2$，那么$mdr(f)$ 仅由排列的组合性质（即其交集格）决定。

虽然 Ziegler 和 Yuzvinsky 的经典示例展示了具有同构交集格的排列可以表现出不同的雅可比西奇（Jacobian syzygy）行为，但这些示例通常涉及仅包含二重点和三重点的排列。该猜想认为，$mdr(f) < d/2$ 的范围施加了一种刚性，从而迫使组合确定性的发生。作者试图在具有更高重数点的排列这一“边界”情形下测试该猜想的有效性。

方法论
作者构造了两个由九条直线组成的截然不同的排列，分别记为 $A$（由多项式 $f$ 定义）和 $B$（由多项式 $g$ 定义），它们定义在有理数域 $\mathbb{Q}$ 上。

1. 组合验证： 利用线性代数（直线向量的行列式计算），作者验证了 $A$ 和 $B$ 具有同构的交集格。两者共享相同的弱组合特征：一个四重点（$n_4=1$）、七个三重点（$n_3=7$）和九个二重点（$n_2=9$），总 Tjurina 数 $\tau = 46$。这使它们区别于经典的 Ziegler–Yuzvinsky 对，后者的组合特征不同。
2. 计算代数： $mdr(f)$被定义为使得线性映射$\Phi_{f,q}: S^3_q \to S_{q+d-1}$的核非平凡的最小整数$q$。作者计算了对于$q = 0, \dots, 7$，两个多项式的映射秩。
3. 同调分析： 除了计算 $mdr$外，作者还确定了对数导数模$D_0(f)$和$D_0(g)$（等价于 Milnor 代数 $M(f)$ 和 $M(g)$）的最小分次自由分解。他们根据 [2] 中引入的同调类型层级对排列进行分类，特别关注“类型” $t(C) = d_1 + d_2 + 1 - d$，其中 $d_i$ 是最小生成元的次数。

关键结果
计算得出了以下确定的结果：

• 不同的最小次数： 对于排列 $A$，$mdr(f) = 4$。对于排列$B$，$mdr(g) = 5$。
• 组合同一性： 尽管 $mdr(f) \neq mdr(g)$，但 $A$ 和 $B$ 的交集格是同构的。
• 违反猜想： 由于排列的度数 $d=9$，条件 $mdr(f) < d/2$（即$4 < 4.5$）对于排列$A$成立。然而，排列$B$具有相同的组合特征，但其$mdr(g) = 5$。这直接反驳了猜想 1.1（[4] 中的猜想 3.5）。
• 同调差异： 这两个排列在同调结构上存在显著差异：
  • 排列 $A$ 是 Type 1（plus-one 生成型），指数为 $(4, 5, 6)$。
  • 排列 $B$ 是 Type 2B（四西奇曲线），指数为 $(5, 5, 5, 5)$。
  • 因此，它们的 Milnor 代数具有不同的最小分次自由分解和不同的 Hilbert 函数，尽管它们稳定到相同的 Tjurina 数。
• 自由缺陷： 作者指出，两个排列的自由缺陷 $\nu$ 是相同的（$\nu(A) = \nu(B) = 2$）。因此，该反例专门针对指定范围内 $mdr$ 的组合性，而非自由缺陷。

意义与主张
本文声称提供了广义 Terao 猜想在 $mdr(f) < d/2$ 范围内第一个显式的反例。其意义在于：

1. 驳斥刚性： 证明了即使在预期 $mdr(f)$ 具有组合刚性（严格小于度数的一半）的范围内，该不变量也不仅由交集格决定。
2. 示例的新颖性： 该示例不同于经典的 Ziegler–Yuzvinsky 对，它利用了一个具有四重点和特定弱组合特征 $(9, 7, 1)$ 的配置，代表了一个“边界”九线情形。
3. 同调锐度： 该反例是稳健的，因为这两个排列不仅在数值不变量 $mdr$ 上有所不同，而且在整个同调类型和最小分解上也存在差异。

作者得出结论，该猜想在当前表述下是错误的，这突显了过渡区间 $d_1 \geq (d-2)/2$ 允许非组合行为的存在。