[论文解读] Free and nearly free surfaces in $P^3$

Alexandru Dimca, Gabriel Sticlaru|arXiv (Cornell University)|Jul 13, 2015

Geometric and Algebraic Topology参考文献 21被引用 10

一句话总结

本文引入并研究了 $\mathbb{P}^3$ 中的自由与近乎自由曲面，将自由曲线的概念推广至高维情形。证明了此类曲面的米尔诺代数的希尔伯特多项式由其指数唯一确定，建立了近乎自由曲面对应的佐藤型自由性判别准则，并给出了显式例子，包括不可约与有理曲面，且在向量丛与对数层方面具有应用。

ABSTRACT

We define the nearly free surfaces in $P^3$ and show that the Hilbert polynomial of the Milnor algebra of a free or nearly free surface in $P^3$ can be expressed in terms of the exponents. An analog of Saito's criterion of freeness in the case of nearly free divisors is proven and examples of irreducible free and nearly free surfaces are given.

研究动机与目标

• 在 $\mathbb{P}^3$ 中定义并刻画自由与近乎自由曲面，作为 $\mathbb{P}^2$ 中自由曲线的高维类比。
• 以指数表示此类曲面的米尔诺代数的希尔伯特多项式。
• 在近乎自由曲面的情形下，建立佐藤自由性判别准则的类比。
• 构造不可约自由与近乎自由曲面的显式例子，包括有理曲面以及与二元型式判别式相关的曲面。
• 研究第一局部上同调群 $H^1_Q(M(f))$ 的结构及其对对数层 $Der(-log D)$ 的影响。

提出的方法

• 通过雅可比理想与米尔诺代数 $M(f) = S/J_f$ 的关系，利用其关系式结构在 $\mathbb{P}^3$ 中定义自由与近乎自由曲面。
• 利用希尔伯特多项式 $P(M(f))$ 来刻画奇点集与曲面的代数与几何性质。
• 证明对于自由曲面，指数 $d_1 \leq d_2 \leq d_3$ 唯一确定希尔伯特多项式，反之亦然。
• 通过将二阶关系式与一阶关系式的行列式关联，建立近乎自由曲面的佐藤型判别准则。
• 通过自由/近乎自由曲线的锥面构造与二元型式判别式构造例子。
• 使用计算机代数系统（CoCoA、Singular）计算最小解析式并验证自由性与近乎自由性。

实验结果

研究问题

• RQ1 如何将 $\mathbb{P}^2$ 中曲线的自由性概念推广至 $\mathbb{P}^3$ 中的曲面？
• RQ2 自由或近乎自由曲面的指数与其米尔诺代数的希尔伯特多项式之间存在何种精确关系？
• RQ3 能否在 $\mathbb{P}^3$ 中的近乎自由曲面情形下，形式化并证明佐藤自由性判别准则的类比？
• RQ4 在何种几何条件下，$\mathbb{P}^3$ 中的不可约曲面是自由或近乎自由的？
• RQ5 何时第一局部上同调群 $H^1_Q(M(f))$ 是有限维的？这对对数层 $Der(-log D)$ 意味着什么？

主要发现

• 对于 $\mathbb{P}^3$ 中的自由曲面，希尔伯特多项式 $P(M(f))$ 完全由其指数 $d_1 \leq d_2 \leq d_3$ 决定，反之亦然。
• 近乎自由曲面对应的佐藤型自由性判别准则成立：唯一的二阶关系式可通过一阶关系式的行列式表达。
• 当且仅当四个多项式 $a_1, a_2, a_3, a_4$（来自解析式）构成正则序列时，第一局部上同调群 $H^1_Q(M(f))$ 是有限维的。
• 存在近乎自由曲面使得 $H^1_Q(M(f))$ 为无限维，这意味着对数层 $Der(-log D)$ 不是局部自由的。
• 对于某些近乎自由曲面（如 $D_6, D_7, D_8$ 与 $D_{a,b}$），序列 $a_1, a_2, a_3, a_4$ 是正则的，且 $H^1_Q(M(f))$ 为有限维，导致对数层为局部自由但非分裂的。
• 这些例子包括不可约有理曲面，如 $f = x^4 - xyw^2 + zw^3 = 0$，以及形如 $D_{a,b}: f = x^{2a+2b-1} + x^{a+b-1}y^a z^b + y^{2a-1}z^{2b-1}w = 0$（其中 $a>1, b>1, a+b>4$）的族。