[论文解读] Jacobian syzygies and plane curves with maximal global Tjurina numbers

Alexandru Dimca, Gabriel Sticlaru|arXiv (Cornell University)|Jan 17, 2019

Commutative Algebra and Its Applications参考文献 27被引用 7

一句话总结

本文建立了约化平面曲线的雅可比挠量模的极小生成元数量的精确上界，并根据 du Plessis 和 Wall 的预测，提供了实现最大全局 Tjurina 数的曲线的同调刻画。研究证明了在各种次数-秩对 (d,r) 下此类曲线的存在性，对直线排列和有理曲线给出了显式构造，并推测其对所有 (d,r) 成立，且在次数 11 以内已验证。

ABSTRACT

First we give a sharp upper bound for the cardinal $m$ of a minimal set of generators for the module of Jacobian syzygies of a complex projective reduced plane curve $C$. Next we discuss the sharpness of an upper bound, given by A. du Plessis and C.T.C. Wall, for the global Tjurina number of such a curve $C$, in terms of its degree $d$ and of the minimal degree $r\leq d-1$ of a Jacobian syzygy. We give a homological characterization of the curves whose global Tjurina number equals the du Plessis-Wall upper bound, which implies in particular that for such curves the upper bound for $m$ is also attained. Finally we prove the existence of curves with maximal global Tjurina numbers for certain pairs $(d,r)$. Moreover, we conjecture that such curves exist for any pair $(d,r)$, and that, in addition, they may be chosen to be line arrangements when $r\leq d-2$. This conjecture is proved for degrees $d \leq 11$.

研究动机与目标

• 建立约化平面曲线的雅可比挠量模的极小生成元数量的精确上界。
• 根据 du Plessis 和 Wall 的定义，刻画实现最大全局 Tjurina 数的曲线。
• 证明在多种 (d,r) 对下，此类最大 Tjurina 曲线的存在性，特别是当 r ≥ d/2 时。
• 推测所有 (d,r) 对下最大 Tjurina 曲线均存在，并可选择为当 r ≤ d−2 时的直线排列。
• 在所有 d ≤ 11 的情况下验证该猜想，包括对 m = 3, 4, d−1, d−3, 和 d−5 的显式构造。

提出的方法

• 推导雅可比挠量模 AR(f) 的极小生成元数量 m 的精确上界，证明 m ≤ d₁ + d₂ − d + 3 ≤ d + 1。
• 利用同调代数方法，将最大 Tjurina 曲线刻画为所有指数均为 r 的 m-挠量曲线，其中 m = 2r − d + 3。
• 应用 du Plessis-Wall 对全局 Tjurina 数 τ(C) 的上界，根据 r < d/2 或 r ≥ d/2 的情况区分讨论。
• 构造显式曲线族（如近自由曲线、近尖点有理曲线和直线排列），使得 τ(C) 达到最大上界。
• 利用计算代数系统（如 SINGULAR）验证特定例子中 mdr(f) = r 且 τ(C) = τ(d,r)max，范围达次数 20。
• 借助已知的结点曲线和排列结果，证明次数为 d 的最大结点有理曲线是类型为 (d,d−1) 的最大 Tjurina 曲线。

实验结果

研究问题

• RQ1 对于哪些次数为 d 的约化平面曲线 C，其全局 Tjurina 数 τ(C) 达到 du Plessis 和 Wall 给出的以 d 和 r = mdr(f) 表示的上界 τ(d,r)max？
• RQ2 雅可比挠量模 AR(f) 的极小生成元数量 m 的精确上界是什么？在何种条件下达到？
• RQ3 是否可以对所有满足 r ≥ d/2 的 (d,r) 对显式构造出最大 Tjurina 曲线 (d,r)？
• RQ4 当 r ≤ d−2 时，此类曲线是否可实现为直线排列？若可，需满足何种条件？
• RQ5 是否所有 (d,r) 对下最大 Tjurina 曲线均存在？特别是对 d ≤ 11 的情况，该猜想是否成立？

主要发现

• AR(f) 的极小生成元数量 m 满足 m ≤ d₁ + d₂ − d + 3 ≤ d + 1，且该上界对所有 d 均为精确的。
• 当且仅当曲线为所有指数 d₁ = d₂ = ... = dₘ = r 的 m-挠量曲线时，其达到最大全局 Tjurina 数 τ(d,r)max，其中 m = 2r − d + 3。
• 当 m = 3 时，类型为 (2r,r) 的最大 Tjurina 曲线存在，对应于近自由曲线；此类曲线的存在性已有先前工作证明。
• 当 m = 4 时，类型为 (2r−1,r) 的最大 Tjurina 曲线存在，且与近尖点有理曲线相关；对所有 r ≥ 3，均构造出显式序列。
• 次数为 d 的最大结点有理曲线是类型为 (d,d−1) 的最大 Tjurina 曲线，该结论通过已知事实（即此类曲线满足 mdr(f) = d−1）得证。
• 对于直线排列，类型为 (d,d−2) 的最大 Tjurina 曲线存在，且由一般排列实现；对 (d,d−3) 和 (d,d−4)，给出了显式构造，并在 d ≤ 20 范围内验证了 mdr(f) = d−3 和 d−4。