[论文解读] Plane curves with three syzygies, minimal Tjurina curves curves, and nearly cuspidal curves

Alexandru Dimca, Gabriel Sticlaru|arXiv (Cornell University)|Oct 28, 2018

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文引入并研究了3-挠曲线——即雅可比挠模有三个生成元的约化复射影平面上的曲线——统一了几乎自由曲线与+1生成线构型。通过挠模分析与杜普莱西斯-沃爾边界估计，证明了偶数次或特定奇数次（素数的幂次或3倍素数幂次）的有理几乎尖点曲线，要么是自由的，要么是几乎自由的，要么是+1生成的，从而在多个情形下解决了该猜想。

ABSTRACT

We start the study of reduced complex projective plane curves, whose Jacobian syzygy module has 3 generators. Among these curves one finds the nearly free curves introduced by the authors, and the plus-one generated line arrangements introduced by Takuro Abe. All the Thom-Sebastiani type plane curves, and more generally, any curve whose global Tjurina number is equal to a lower bound given by A. du Plessis and C.T.C. Wall, are 3-syzygy curves. Rational plane curves which are nearly cuspidal, i.e. which have only cusps except one singularity with two branches, are also related to this class of curves.

研究动机与目标

• 在复射影平面上对3-挠曲线进行分类与表征，扩展自由曲线与几乎自由曲线的理论。
• 研究具有仅一个非尖点奇异点（其余均为尖点）的有理几乎尖点曲线的雅可比挠模结构。
• 建立此类曲线为自由、几乎自由或+1生成的条件，特别是针对偶数次与特定奇数次。
• 证明曲线的全局杜普莱西斯-沃爾边界下界被取等当且仅当其为3-挠曲线且指数满足 $d_2 = d_3 = d-1$。
• 验证猜想1.2（有理尖点曲线为自由或几乎自由）在次数不超过33，以及次数为素数幂次或3倍素数幂次的情形下成立。

提出的方法

• 分析雅可比挠模 $AR(f)$ 的极小自由分解，重点关注分解 $0 \to F_3 \to F_2 \to F_1 \to F_0 \to 0$ 中 $F_2$ 的秩 $m$。
• 利用 $AR(f)$ 的极小生成元的指数 $d_1 \leq d_2 \leq d_3$ 定义3-挠曲线，并引入不变量 $\nu(C)$ 以对它们进行分类。
• 应用杜普莱西斯-沃爾不等式于全局杜普莱西斯-沃爾数 $\tau(C)$，表明等式成立当且仅当为满足 $d_2 = d_3 = d-1$ 的3-挠曲线。
• 采用拓扑与单值性技术，包括补集的欧拉示性数与局部单值算子的特征值，以界定 $\nu(C)$。
• 构造显式4-挠曲线族（如 $f_d = x^{r-1}y^{r-1}z + x^d + y^d = 0$）以证明奇数次情形下存在非3-挠曲线。
• 利用条件 $d_1 + d_2 = d$ 定义并表征+1生成曲线，表明其等价于 $\nu(C) = 2$。

实验结果

研究问题

• RQ1 哪些约化平面上的曲线在它们的雅可比挠模中恰好有三个生成元？
• RQ2 在何种条件下，具有一个非尖点奇异点的有理几乎尖点曲线（其余均为尖点）是自由、几乎自由或+1生成的？
• RQ3 何时曲线的全局杜普莱西斯-沃爾数 $\tau(C)$ 达到杜普莱西斯与沃爾给出的下界？
• RQ4 极小挠度（mdr(f)）在3-挠曲线分类中起何作用？
• RQ5 猜想1.2——有理尖点曲线为自由或几乎自由——在奇数次 $d \leq 33$ 的情形下在多大程度上成立？

主要发现

• 约化平面上的曲线 $C:f=0$ 是3-挠曲线当且仅当其雅可比挠模 $AR(f)$ 由三个齐次挠度极小生成。
• 条件 $d_1 + d_2 = d$ 表征了所有3-挠曲线中的+1生成曲线，且此类曲线满足 $\nu(C) = 2$。
• 对于偶数次 $d$ 的有理几乎尖点曲线，有 $\nu(C) \leq 2$，因此其为自由、几乎自由或+1生成。
• 若 $d = 2d' + 1$ 为奇数且 $mdr(f) \leq d'$，则 $\nu(C) \leq 2$，意味着曲线为自由、几乎自由或+1生成。
• 当 $d = 3p^k$ 且 $p > 3$ 为素数时，若 $mdr(f) \leq r_0 = (d - 3)/2$，则有 $\nu(C) \leq 2$，确认此类曲线为自由、几乎自由或+1生成。
• 猜想1.2对所有次数 $d \leq 33$ 的有理几乎尖点曲线成立，且对所有次数为 $d = p^k$ 或 $d = 3p^k$（$p > 3$ 为素数）的此类曲线也成立。