[论文解读] Syzygies of Jacobian ideals and defects of linear systems

Alexandru Dimca|arXiv (Cornell University)|Oct 5, 2012

Advanced Differential Equations and Dynamical Systems参考文献 6被引用 20

一句话总结

本文建立了齐次多项式偏导数的 syzygies 与射影空间中相应超曲面奇异点处线性系统缺陷之间的精确联系。利用 Cayley-Bacharach 定理及 Milnor 代数和 Tjurina 代数的性质，证明了雅可比理想的饱和性在 $\max(T - ct(D), st(D))$ 处稳定，其中 $T = (n+1)(d-2)$，并推导出 Milnor 代数的 $a$-不变量和 Castelnuovo-Mumford 正则性的显式公式。

ABSTRACT

Our main result describes the relation between the syzygies involving the first order partial derivatives $f_0,...,f_n$ of a homogeneous polynomial $f\in \C[x_0,...x_n]$ and the defect of the linear systems vanishing on the singular locus subscheme $Σ_f=V(f_0,...,f_n)$ of the hypersurface $D:f=0$ in the complex projective space $\PP^n$, when $D$ has only isolated singularities.

研究动机与目标

• 理解在具有孤立奇点的射影超曲面 $D:f=0$ 的奇异点概形 $\Sigma_f = V(f_0, \dots, f_n)$ 上消失的线性系统的缺陷。
• 阐明偏导数 $f_0, \dots, f_n$ 的 syzygies 与雅可比理想 $J_f$ 的饱和性之间的关系。
• 以不变量 $ct(D)$ 和 $st(D)$ 表示，确定雅可比理想 $\widehat{J}_f$ 的饱和性精确稳定阈值。
• 推导 Milnor 代数 $M(f)$ 的 $a$-不变量和 Castelnuovo-Mumford 正则性的显式公式。
• 通过充分运用 Cayley-Bacharach 定理，将节点情形的结果推广至一般孤立奇点。

提出的方法

• 利用 Koszul 复形 $K^*(f)$ 通过 $H^n(K^*(f))_{q+n} \neq 0$ 定义非平凡 syzygy 的最小次数 $mdr(D)$。
• 应用 Cayley-Bacharach 定理 (CB7)，在奇异点 $\Sigma_f$ 的背景下，关联剩余子概形与 syzygy 结构。
• 依赖 Hilbert-Poincaré 级数 $HP(M(f); t)$，并与光滑超曲面的 $M(f_s)$ 的级数进行比较，使用 $HP(M(f_s); t) = \frac{(1-t^{d-1})^{n+1}}{(1-t)^{n+1}}$。
• 定义关键不变量：$ct(D)$ 为重合阈值，$st(D)$ 为稳定性阈值，$mdr(D)$ 为 syzygy 的最小次数。
• 利用关系式 $ct(D) = mdr(D) + d - 2$，将饱和性界限表示为 $ct(D)$ 和 $st(D)$ 的函数。
• 应用饱和性条件 $\widehat{J}_f = \{ s \in S \mid \exists m_i \text{ 使得 } x_i^{m_i}s \in J_f \}$，以确定 $J_f$ 何时达到饱和。

实验结果

研究问题

• RQ1 偏导数 $f_0, \dots, f_n$ 之间的 syzygies 如何与在奇异点 $\Sigma_f$ 上消失的线性系统的缺陷相关？
• RQ2 以 $ct(D)$ 和 $st(D)$ 表示，雅可比理想 $\widehat{J}_f$ 的饱和性精确稳定阈值是什么？
• RQ3 $ct(D)$、$st(D)$ 和 $mdr(D)$ 这些不变量如何控制 Milnor 代数 $M(f)$ 的结构及其 $a$-不变量与正则性？
• RQ4 在何种条件下，饱和性 $\widehat{J}_f$ 恰好在 $st(D)$ 处稳定？
• RQ5 当 $\Sigma_f$ 为完全交时，$M(f)$ 的 Hilbert-Poincaré 级数能否用 $M(f_s)$ 的级数与奇异点结构表示？

主要发现

• 饱和性 $\widehat{J}_f$ 满足对所有 $k \geq \max(T - ct(D), st(D))$ 有 $\widehat{J}_{f,k} = J_{f,k}$，其中 $T = (n+1)(d-2)$。
• Milnor 代数的 $a$-不变量为 $a(M(f)) = T - ct(D) - 1$。
• Milnor 代数的 Castelnuovo-Mumford 正则性为 $\operatorname{reg}(M(f)) = \max(T - ct(D), \operatorname{sat}(J_f) - 1)$。
• 当 $\Sigma_f$ 是由次数为 $a_1, \dots, a_n$ 的形式定义的完全交时，有 $\tau(D) = a_1 \cdots a_n$ 且 $ct(D) = T - \sum a_i + n$。
• 对于 $\mathbb{P}^n$ 中的节点超曲面，有 $ct(D) \geq T/2$，且当 $n=2$ 时 $st(D) = 2d - 3$，在某些条件下可推出 $\operatorname{sat}(J_f) = st(D)$。
• 当 $ct(D) \geq T/2$ 时，Tjurina 数 $\tau(D)$ 受 $\dim M(f_s)_{T - ct(D)}$ 的限制，意味着较大的 $ct(D)$ 会迫使 $\tau(D)$ 变小。