On combinatorial bounds for the total Tjurina numbers of certain curves and surfaces with isolated singularities

技术摘要：某些曲线与曲面的总 Tjurina 数的组合界限

问题陈述
本文研究了为射影超曲面建立有效下界的问题，特别关注平面曲线排列（直线与圆锥曲线）及其在 $\mathbb{P}^3$ 中向曲面的扩展。虽然关于 $\tau$ 相对于次数和 Jacobian 关系最小次数 ($mdr$) 的精确上界已得到充分研究（特别是由 du Plessis 和 Wall 建立的界限），但对于具有特定几何约束的配置（如具有预设奇异类型的自由排列），有效的下界仍不为人知。本研究旨在针对仅包含平凡拟齐次奇异性的排列，将组合交点性质直接与总 Tjurina 数的大小联系起来。

方法论
本研究综合运用了组合几何、奇异性理论以及 Jacobian 代数的同调性质。

1. 组合不等式： 作者利用 Hirzebruch 型不等式和交点（$n_r$，即 $r$ 重点的数量）的朴素组合计数，推导出直线排列的结构约束。
2. 自由性条件： 分析高度依赖于“自由”排列的定义，即 Jacobian 挠余项模是自由分次模。这使得利用特定的特征关系（通过用于自由曲线的 du Plessis-Wall 等式，将次数、指数与总 Tjurina 数联系起来）成为可能。
3. 判别式分析： 对于圆锥曲线-直线排列，证明过程涉及分析由自由性条件导出的控制 Jacobian 关系最小次数 ($d_1$) 的二次方程的判别式。
4. Thom-Sebastiani 原理： 为了将结果扩展到高维，本文通过在定义平面曲线的多项式中添加第四个变量的幂次来构造 $\mathbb{P}^3$ 中的曲面。由于 Tjurina 数的局部性质，可以应用 Thom-Sebastiani 原理将曲面的 $\tau$ 与底层曲线的 $\tau$ 联系起来。

主要贡献与结果

• 直线排列的结构界限：

  • 本文推导出了具有有界重数的复直线排列的结构不等式。具体而言，对于一个最大重数 $m(L) \le 4$ 且次数 $d \ge 6$ 的直线排列，本文确立了三重复点和四重复点（$n_3$ 和 $n_4$）分布的紧确界限。
  • 定理 3.5 表明，对于 $m(L)=4$ 的超可解（supersolvable）直线排列，直线数 $d$ 被限制在有限集合 $\{6, 7, 8, 9, 10\}$ 中。因此，推论 3.6 得出，此类超可解排列的组合类型是有限的。

• 自由圆锥曲线-直线排列的下界：

  • 定理 4.1 是主要结果，为具有平凡拟齐次奇异性的 $d$ 条直线和 $k$ 条圆锥曲线的自由排列提供了精确的下界：
    $$\tau(C_L) \ge \frac{3k(k-1) + 3kd + 3(d-1)^2}{4}$$
  • 该界限被证明是紧确的，在特定情况下（例如 3 条直线与 1 条圆锥曲线的排列）取等号。
  • 作为推论 4.2，对于仅由 $d$ 条直线组成的自由排列，$\tau(L) \ge \frac{3(d-1)^2}{4}$。这通过 21 条直线的 Klein 排列得到了说明，该排列预测 $\tau \ge 300$，而实际值为 301。

• 向 $\mathbb{P}^3$ 中曲面的扩展：

  • 命题 5.2 应用平面结果构造了一族在 $\mathbb{P}^3$ 中仅具有孤立奇异性的曲面。通过定义由 $F = f(x,y,z) + w^{2k+d} = 0$ 定义的曲面 $X$（其中 $f$ 定义了一个自由圆锥曲线-直线排列），本文确立了 $X$ 的总 Tjurina 数的下界：
    $$\tau(X) \ge (2k + d - 1) \cdot \left( \frac{3k(k-1) + 3kd + 3(d-1)^2}{4} \right)$$
  • 该结果提供了一种对于超曲面的下界，该下界独立于其自身的详细同调数据（特别是曲面 Jacobian 关系的最小次数），而是依赖于底层平面排列的组合数据。

意义与主张
本文声称弥合了排列的组合几何与超曲面奇异性理论之间的鸿沟。其主要意义在于将焦点从表征极大 Tjurina 曲线的上界转向了自由排列的有效下界。

• 结果表明，自由排列受到高度约束；其组合性质强烈限制了可能的奇异配置，导致总 Tjurina 数随分量数量呈二次增长。
• 构造具有任意大总 Tjurina 数的曲面的方法，为生成具有受控奇异行为的簇体提供了一种新方法，而无需显式计算高维对象的同调不变量。
• 本工作强调了开放性问题，例如分类具有固定次数和最大重数的几何自由直线排列，指出虽然已知 Klein 排列，但其他组合类型的可实现性仍是一个开放问题。