[论文解读] On rational cuspidal plane curves, and the local cohomology of Jacobian rings

Alexandru Dimca|arXiv (Cornell University)|Jul 17, 2017

Algebraic Geometry and Number Theory参考文献 14被引用 11

一句话总结

本文对度数 ≥6 且仅具有加权齐次奇点的有理单峰平面曲线进行分类，证明其在射影等价下均同构于双项式形式 $ C_{d,k}: y^d + x^k z^{d-k} = 0 $，其中 $ 1 ackslashleq k < d/2 $，$ \gcd(k,d) = 1 $。本文建立了关于不变量 $ \nu(C) $ 的新公式，其以度数、Tjurina 数和 $ mdr(f) $ 表示，并提出了 Terao 猜想在自由性组合确定性方面的更强版本，通过 $ \nu(C) $ 表达。

ABSTRACT

This note gives the complete projective classification of rational, cuspidal plane curves of degree at least 6, and having only weighted homogeneous singularities. It also sheds new light on some previous characterizations of free and nearly free curves in terms of Tjurina numbers. Finally, we suggest a stronger form of Terao's conjecture on the freeness of a line arrangement being determined by its combinatorics.

研究动机与目标

• 对度数至少为 6 且仅具有加权齐次奇点的有理单峰平面曲线进行分类。
• 通过 Tjurina 数和 $ mdr(f) $ 特征化近自由曲线与自由曲线，扩展先前结果。
• 提出 Terao 猜想的更强形式，建议 $ \nu(C) $ 对于线排布是组合确定的。
• 建立关于 $ \nu(C) $ 的精确公式，以度数、Tjurina 数和 $ mdr(f) $ 表示，适用于所有约化平面曲线。
• 提供此类曲线的完整射影分类，表明它们均射影等价于双项式单峰曲线 $ C_{d,k} $。

提出的方法

• 使用雅可比关系的最小次数 $ mdr(f) $ 作为关键不变量对曲线进行分类。
• 应用 du Plessis 和 Wall 关于加权齐次奇点及其 Tjurina 数的结果。
• 利用局部上同调模 $ N(f) = I_f / J_f $，其中 $ I_f $ 是雅可比理想 $ J_f $ 的饱和包，定义 $ \nu(C) = \max_k \dim N(f)_k $。
• 利用 $ N(f) $ 的 Lefschetz 型性质，推导其分次分量维数的不等式。
• 对奇数次曲线应用 $ N(f) $ 的自对偶性，建立 $ \dim N(f)_{3m-2} $ 与 $ \dim N(f)_{3m-1} $ 的关系。
• 利用对 $ mdr(f) = 1 $ 且具有 1 维对称群的不可约曲线的分类，证明其必为双项式形式 $ C_{d,k} $。

实验结果

研究问题

• RQ1 度数 $ d \geq 6 $ 且仅具有加权齐次奇点的有理单峰平面曲线的完整射影分类是什么？
• RQ2 通过雅可比环的局部上同调定义的不变量 $ \nu(C) $，如何与约化平面曲线的度数、Tjurina 数和 $ mdr(f) $ 相关联？
• RQ3 Terao 关于自由性组合确定性的猜想是否可被强化，以包含 $ \nu(C) $？
• RQ4 是否存在有限多个度数 ≥6 且仅具有加权齐次奇点的有理单峰曲线？若存在，它们是什么？
• RQ5 在何种条件下，有理单峰曲线是近自由或自由的？$ mdr(f) $ 如何决定这一性质？

主要发现

• 度数 $ d \geq 6 $ 且仅具有加权齐次奇点的有理单峰平面曲线，其射影等价类仅由 $ C_{d,k}: y^d + x^k z^{d-k} = 0 $ 给出，其中 $ 1 \leq k < d/2 $ 且 $ \gcd(k,d) = 1 $，共给出 $ \phi(d)/2 $ 个不同的模型。
• 对任意约化平面曲线 $ C $，其度数为 $ d $，不变量 $ \nu(C) $ 满足：当 $ r < d/2 $ 时，$ \nu(C) = (d-1)^2 - r(d-1-r) - \tau(C) $；当 $ r \geq (d-2)/2 $ 时，$ \nu(C) = \left\lceil \frac{3}{4}(d-1)^2 \right\rceil - \tau(C) $，其中 $ r = mdr(f) $。
• 所有满足 $ mdr(f) = 1 $ 的此类曲线 $ C_{d,k} $ 均为近自由曲线；当 $ d \geq 6 $ 时，无此类曲线为自由曲线。
• 反例表明 $ mdr(f) $ 并非组合确定的，但本文推测 $ \nu(C) $ 可能是，从而提出 Terao 猜想的更强形式。
• 当 $ d = 5 $ 时分类不成立，如存在一个自由曲线满足 $ mdr(f) = 2 $，$ \tau(C) = \tau(5,2)_{\text{max}} $，但其不被 $ C_{d,k} $ 模型覆盖，凸显了 $ d \geq 6 $ 条件的必要性。
• 存在不可约、单峰、近自由但非有理的曲线满足 $ \mu(C) = \tau(C) $，例如 $ C_{2k}: x^{2k} + y^{2k} + z^{2k} - 2(x^k y^k + x^k z^k + y^k z^k) = 0 $，其亏格为 $ \frac{(k-1)(k-2)}{2} $，且 $ mdr(f) = k $。