[论文解读] Jacobian syzygies, stable reflexive sheaves, and Torelli properties for projective hypersurfaces with isolated singularities

Alexandru Dimca|arXiv (Cornell University)|Aug 10, 2014

Algebraic Geometry and Number Theory参考文献 27被引用 4

一句话总结

本文建立了具有孤立奇点的射影超曲面的雅可比理想关系式与Torelli性质之间的联系，证明了Tjurina数较小的超曲面在Dolgachev-Kapranov意义下是Torelli的。文章引入了一维完全交中关系式最小次数的新下界，并表明在某些条件下对数向量场的反射层是稳定的，从而为平面曲线和曲面得出了更严格的Torelli判别准则。

ABSTRACT

We investigate the relations between the syzygies of the Jacobian ideal of the defining equation for a projective hypersurface $V$ with isolated singularities and the Torelli properties of $V$ (in the sense of Dolgachev-Kapranov). We show in particular that hypersurfaces with a small Tjurina numbers are Torelli in this sense. When $V$ is a plane curve, or more interestingly, a surface in $P^3$, we discuss the stability of the reflexive sheaf of logarithmic vector fields along $V$. A new lower bound for the minimal degree of a syzygy associated to a 1-dimensional complete intersection is also given.

研究动机与目标

• 研究具有孤立奇点的射影超曲面的雅可比理想关系式与Torelli性质之间的关系。
• 为一维完全交中关系式的最小次数建立新的下界。
• 分析沿超曲面的对数向量场反射层 T⟨V⟩ 的稳定性，特别是对 ℙ³ 中的平面曲线和曲面。
• 证明Tjurina数较小的超曲面在Dolgachev-Kapranov意义下是Torelli的。
• 通过降低节点与尖点奇点下Torelli性质所需的次数界限，改进平面曲线的现有Torelli判别准则。

提出的方法

• 本文使用本质关系式 ER(f) = AR(f)/KR(f) 的分次模，其中 AR(f) 是 df ∧ 在 Ωⁿ 上的核，KR(f) 是 df ∧ 在 Ωⁿ⁻¹ 上的像。
• 通过正合列 0 → T⟨V⟩ → O_X(1)ⁿ⁺¹ → I_Y(N) → 0 定义对数向量场的反射层 T⟨V⟩。
• 该方法依赖于上同调技巧，并将 H⁰(T⟨V⟩(m−1)) 与 AR(f)_m 识别，从而将关系式模与层的全局截面联系起来。
• 通过 Tjurina 数 τ(V) 推导出 ER(f)_m 的消失性新界限，表明在不需加权齐次奇点的条件下，ER(f)_m = 0 对所有 m ≤ n(N−2) − τ(V) 成立。
• 通过全局截面的维数与雅可比理想商上乘法映射的核计算，分析 T⟨V⟩ 的稳定性。
• Torelli 结果的证明基于次数界限与雅可比理想结构的反证法，表明在给定的 Tjurina 数约束下，仅存在平凡关系式。

实验结果

研究问题

• RQ1 在何种 Tjurina 数 τ(V) 条件下，具有孤立奇点的射影超曲面 V 在 Dolgachev-Kapranov 意义下是 Torelli 的？
• RQ2 对于由 n+1 个等次数齐次多项式定义的一维完全交，非平凡关系式的最小次数是多少？
• RQ3 对数向量场的反射层 T⟨V⟩ 在何种条件下稳定，特别是对 ℙ³ 中的平面曲线和曲面？
• RQ4 能否在弱于先前已知的次数界限下，为仅含节点与尖点的平面曲线建立 Torelli 性质？
• RQ5 在何种充要条件下，雅可比理想可由层 T⟨V⟩ 确定，从而实现类似 Torelli 的重构？

主要发现

• 本文证明了对所有 m ≤ n(N−2) − τ(V)，有 ER(f)_m = 0，给出了一个无需加权齐次奇点假设的精确且初等的界限。
• 对于由 n+1 个次数为 e 的齐次多项式定义的一维完全交，有 ER(f)_m = 0 对所有 m ≤ n(e−1) − ∑ₚ o(m_p) 成立，其中 o(m_p) 是在零维概形每一点处极大理想的阶数。
• 当 Tjurina 数 τ(V) 较小时，反射层 T⟨V⟩ 是稳定的，特别是当 τ(V) ≤ (n−1)(N−4)/2 + 1 时。
• 若曲线 V 仅含节点与尖点，且满足 ν + 2κ ≤ (N−2)/2，则其为 DK-Torelli，该结果将单个尖点情形下先前所需的 N ≥ 8 改进为 N ≥ 6。
• 层 T⟨V⟩ 确定了雅可比理想的齐次分量 J_f,N−1，这意味着若 J_f 可由 T⟨V⟩ 恢复，则 f 可被唯一确定（至多相差一个常数倍）。
• 本文在 Tjurina 数约束下排除了 Sebastiani-Thom 与高重数奇点情形，完整证明了 Torelli 定理。