[论文解读] On freeness of divisors on $\mathbb P^2$

Ştefan Tohǎneanu|arXiv (Cornell University)|Mar 9, 2012

Commutative Algebra and Its Applications参考文献 10被引用 3

一句话总结

本文通过证明商环 $\mathbb{C}[x,y,z]/I$ 是算术柯本-麦克劳林环，从而建立了 $\mathbb{P}^2$ 中拟齐次除子的自由性准则——当且仅当理想 $I$ 上存在一个挠组构成正则序列时，该除子是自由的。该结果特别适用于约化曲线的雅可比理想，为通过挠组次数进行自由性计算测试提供了方法，并可对自由线排布的约化雅可比概形的次数给出界。

ABSTRACT

Let $I\subset \mathbb C[x,y,z]$ be an ideal of height 2 and minimally generated by three homogeneous polynomials of the same degree. If $I$ is a locally complete intersection we give a criterion for $\mathbb C[x,y,z]/I$ to be arithmetically Cohen-Macaulay. Since the setup above is most commonly used when $I=J_F$ is the Jacobian ideal of the defining polynomial of a "quasihomogeneous" reduced curve $Y=V(F)$ in $\mathbb P^2$, our main result becomes a criterion for freeness of such divisors. As an application we give an upper bound for the degree of the reduced Jacobian scheme when $Y$ is a free rank 3 central essential arrangement, as well as we investigate the connections between the first syzygies on $J_F$, and the generators of $\sqrt{J_F}$.

研究动机与目标

• 为由拟齐次多项式定义的 $\mathbb{P}^2$ 中约化除子的自由性提供一个准则。
• 刻画高度为 2、由三个等次齐次多项式生成的局部完全交理想 $I$ 的商环 $\mathbb{C}[x,y,z]/I$ 为算术柯本-麦克劳林环的条件。
• 通过将挠组次数与约化雅可比概形的次数关联，将该准则应用于 $\mathbb{P}^2$ 中的自由超平面排布，特别是线排布。
• 研究雅可比理想上首阶挠组的次数与其实根理想生成元次数之间的关系。

提出的方法

• 使用希尔伯特-伯奇定理分析 $\mathbb{C}[x,y,z]$ 中三个等次齐次多项式生成的理想结构。
• 应用艾森斯坦与休内克关于理想上存在正则序列挠组的结果，以确立算术柯本-麦克劳林条件。
• 将自由性问题转化为检查雅可比理想的挠组是否在多项式环中构成正则序列。
• 利用“线性类型”性质（对高度为 2 的理想等价于局部完全交），确保理想在解析分辨率下行为良好。
• 通过挠组次数与自由排布的结构，计算 $\deg(\sqrt{J_F})$ 的界。
• 构造例子与反例以检验界值的紧致性及假设的必要性，包括例 2.4 表明该准则在高维情况下不成立。

实验结果

研究问题

• RQ1 对于高度为 2、由三个等次齐次多项式生成的局部完全交理想 $I$，何时商环 $\mathbb{C}[x,y,z]/I$ 是算术柯本-麦克劳林环？
• RQ2 雅可比理想 $J_F$ 的挠组满足何种条件时，$\mathbb{P}^2$ 中的曲线 $V(F) \subset \mathbb{P}^2$ 是自由的？
• RQ3 能否用挠组次数来界定 $\mathbb{P}^2$ 中自由线排布的约化雅可比概形的次数？
• RQ4 对于横截相交的光滑曲线排布，$J_F$ 上首阶挠组的次数与 $\sqrt{J_F}$ 生成元次数之间有何关系？
• RQ5 对于指数为 $\{1,a,b\}$ 的自由排布，上界 $\deg(\sqrt{J_F}) \leq b^2 + b + 1$ 是否紧致？能否改进？

主要发现

• 商环 $\mathbb{C}[x,y,z]/I$ 是算术柯本-麦克劳林环，当且仅当存在一个理想 $I$ 上的挠组构成正则序列。
• 对于非“束加一般直线”类型的 $n$ 条直线的自由线排布 $\mathcal{A}$，有 $\deg(\sqrt{J_Q}) \leq (n-3)^2 + (n-3) + 1 = n^2 - 5n + 7$；若 $\deg(\sqrt{J_Q}) \geq n^2 - 5n + 8$，则 $\mathcal{A}$ 不是自由的。
• 对于指数为 $\{1,a,b\}$、$a \leq b$ 的自由排布，不等式 $\deg(\sqrt{J_F}) \leq b^2 + b + 1$ 成立，且在某些情况下该界是紧致的。
• 对于横截相交的光滑曲线排布，有 $\alpha(\sqrt{J_F}) \leq \beta(J_F) + 1$，其中 $\beta(J_F)$ 是 $J_F$ 上挠组的最小次数，且该界在例 3.4 中被取等。
• 对于 $\mathbb{P}^2$ 中自由除子 $Y = V(F)$，当 $\{ (A_1,B_1,C_1), (A_2,B_2,C_2) \}$ 是首阶挠组模的基时，有 $V(J_F) = V(I^{(A_1,B_1,C_1)}) \cap V(I^{(A_2,B_2,C_2)})$。
• 例 3.4 展示了 $\beta(J_Q) = 2$ 且 $\alpha(\sqrt{J_Q}) = 3$ 的情形，证实了界 $\alpha(\sqrt{J_F}) \leq \beta(J_F) + 1$ 的紧致性。