[论文解读] Invariants and rigidity of projective hypersurfaces

Gabriel Sticlaru|arXiv (Cornell University)|Sep 27, 2013

Algebraic Geometry and Number Theory参考文献 13被引用 5

一句话总结

本文基于具有孤立奇点的射影超曲面的 Milnor 代数的 Hilbert-Poincaré 系列，引入并计算了新的不变量——如巧合阈值、稳定性阈值、缺陷和对数凹性——并利用这些不变量及一个 Singular 程序，建立了射影刚性判定准则，证明了某些经典曲面与三倍曲面（如 Cayley 三次曲面、Kummer 曲面）是否具有刚性，关键结果源自饱和 Jacobian 理想商的维数。

ABSTRACT

This paper continues our researches \cite{DS1, DS2, DS3} by computing some invariants based on Hilbert-Poincaré series associated to Milnor algebras. Our computations are for some of the classical surfaces and 3-folds with different configurations of isolated singularities. As a by-product of a recent result of E. Sernesi, we give examples of classical hypersurfaces which are (or are not) projectively rigid. We also include a Singular program to compute the invariants and to decide if a singular projective hypersurface is nodal and projectively rigid.

研究动机与目标

• 基于具有孤立奇点的射影超曲面的 Milnor 代数的 Hilbert-Poincaré 系列，计算新的不变量 ct、st、mdr、def、lc。
• 将这些不变量应用于判断具有 A_k、D_k 或 E_k 奇点的经典超曲面是否具有射影刚性。
• 通过一个 Singular 程序提供计算框架，以自动化计算不变量并检测节点性与射影刚性。
• 通过建立 Milnor 代数 Hilbert 函数的精确估计，改进 Choudary-Dimca 定理中的界限。
• 利用来自 Jacobian 理想及其饱和的代数不变量，解决经典超曲面的刚性问题。

提出的方法

• 使用组合方法与自由解析，计算 Milnor 代数 M(f) = S/J_f 的 Hilbert-Poincaré 系列 HP(M(f))(t)。
• 巧合阈值 ct(D) 定义为最大的次数 k，使得对所有不超过 k 的次数，有 dim M(f)_k = dim M(f_s)_k 成立，其中 f_s 为同次的光滑超曲面。
• 稳定性阈值 st(D) 是最小的次数 q，使得对所有 k ≥ q，有 dim M(f)_k = τ(D) 成立，其中 τ(D) 为总 Tjurina 数。
• 缺陷 def(D) 定义为 S(t) - F(t) 中第一个非零系数，其中 S(t) 和 F(t) 分别为奇异与光滑超曲面的 Hilbert-Poincaré 系列。
• 对数凹性不变量 lc(D) 是最大的 q，使得序列 dim M(f)_0, ..., dim M(f)_q 为对数凹序列；若 q ≥ st(D)+1，则定义为 ∞。
• 实现一个 Singular 程序，用于计算所有不变量，并利用公式 dim(Ĵ_d / J_d) = dim M(f)_d - dim M(f_s)_d + dim M(f)_{T-d} - τ(D) 判定射影刚性。

实验结果

研究问题

• RQ1 哪些具有孤立奇点的经典射影超曲面具有射影刚性？哪些不变量决定了该性质？
• RQ2 ct、st、mdr、def 和 lc 不变量如何与全局 Tjurina 数及 Milnor 代数的结构相关联？
• RQ3 Milnor 代数的 Hilbert-Poincaré 系列能否检测低次超曲面的节点性与射影刚性？
• RQ4 射影刚性的精确代数条件是什么？其表达形式涉及 Milnor 代数与 Jacobian 理想饱和性？
• RQ5 在 P^3、P^4 和 P^5 中，A_k、D_k 和 E_k 奇点的哪些构型会导致超曲面具有刚性或非刚性？

主要发现

• 在 P^3 中具有四个 A_1 奇点的 Cayley 三次曲面是射影刚性的，其判定依据为 Ĵ_d / J_d 的消失。
• 所有在 P^3 中具有孤立奇点、类型为 A_4、A_1+A_3、A_5、D_4、2A_1+A_2、A_1+A_4、D_5、4A_1、A_1+2A_2、2A_1+A_3、A_1+A_5、E_6 和 3A_2 的三次曲面均为射影刚性。
• 在 P^3 中具有 144 个 A_1 奇点的 Kummer 曲面与八次曲面并非射影刚性，其判定依据为 Ĵ_d / J_d 的非消失。
• 在 P^5 中具有 15 个节点的节点三次三倍曲面并非射影刚性，其判定依据为 dim(Ĵ_d / J_d) 的非零。
• 在 P^4 中的 Burkhardt 四次曲面（45A_1）、五次曲面（125A_1）以及 10A_1 三次曲面均为射影刚性，其判定依据为不变量与刚性准则。
• 本文提供了一个完整的 Singular 程序，可自动计算所有不变量，并利用推导出的 dim(Ĵ_d / J_d) 公式判定节点性与射影刚性。