[论文解读] Durfee's conjecture on the signature of smoothings of surface singularities

Tommaso de Fernex, Janós Kollár+1 more|arXiv (Cornell University)|Nov 4, 2014

Algebraic Geometry and Number Theory参考文献 17被引用 8

一句话总结

本文证明了具有幺模解析相交形式的Gorenstein曲面奇点的强Durfee型不等式，表明负惯性指数被几何亏格和嵌入维数的函数所下界控制。此外，通过利用解析图不变量和通过径向和与Hölder不等式进行的体积估计，本文还建立了高阶数的超曲面和严格完全交的弱不等式。

ABSTRACT

In 1978 Durfee conjectured various inequalities between the signature and the geometric genus of a normal surface singularity. Since then a few counter examples have been found and positive results established in some special cases. We prove a `strong' Durfee--type inequality for any smoothing of a Gorenstein singularity, provided that the intersection form the resolution is unimodular, and the conjectured `weak' inequality for all hypersurface singularities and for sufficiently large multiplicity strict complete intersections. The proofs establish general inequalities valid for any normal surface singularity.

研究动机与目标

• 解决Durfee长期以来关于曲面奇点的签名、几何亏格和Milnor数之间不等式的猜想。
• 阐明对于正规曲面奇点，弱不等式 $4p_g \leq \mu + \mu_0$（等价于 $\sigma \leq 0$）成立的条件。
• 对于解析相交形式为幺模的Gorenstein奇点，建立强不等式 $6p_g \leq \mu$。
• 将这些结果推广至高阶数的超曲面和严格完全交，证明当阶数增加时，$-\sigma$ 趋向无穷。

提出的方法

• 利用曲面奇点的解析化定义关键不变量：几何亏格 $p_g$、典范类 $K$，以及最小和最大循环 $Z_{\min}$、$Z_{\max}$。
• 应用公式 $-\sigma = 8p_g + K^2 + s$，适用于具有幺模相交形式的Gorenstein奇点，将签名与解析数据联系起来。
• 在Newton多面体上使用径向和构造 $Q' = \bigstar_{i=1}^d Q_i$，比较 $\mathbb{R}^e_{\geq 0}$ 中补集的体积，以建模商环的长度。
• 利用Hölder不等式证明 $d^{e-1} \sum r_i^e \geq r^e$，从而推出关键的体积不等式 $\operatorname{Vol}(\mathbb{R}^e_{\geq 0} \setminus Q^\prime) \geq \operatorname{Vol}(\mathbb{R}^e_{\geq 0} \setminus Q)$。
• 通过平坦退化和首项理想，将问题约化为单项式理想，利用此类退化下长度的不变性。
• 通过在 $Q \setminus Q^\prime$ 中构造显式单项式反例，证明当理想相等时 $Q^\prime \subsetneq Q$，从而在体积比较中得到严格不等式。

实验结果

研究问题

• RQ1 在何种条件下，Gorenstein曲面奇点满足强Durfee不等式 $6p_g \leq \mu$？
• RQ2 弱不等式 $4p_g \leq \mu + \mu_0$（即 $\sigma \leq 0$）是否对所有正规曲面奇点成立？若不成立，其例外情况为何？
• RQ3 对于具有幺模相交形式的Gorenstein奇点，签名 $\sigma$ 是否能以 $p_g$ 和嵌入维数 $e$ 为变量进行下界控制？
• RQ4 当阶数 $\nu$ 增加时，严格完全交奇点的签名 $\sigma$ 的渐近行为如何？
• RQ5 解析图及其对偶循环结构在决定 $\sigma$ 的符号和大小方面起什么作用？

主要发现

• 对于具有幺模解析相交形式的Gorenstein奇点，签名满足 $-\sigma \geq 2^{4-e}(p_g + 1)$，提供了强有力的下界。
• 对于超曲面奇点，有 $-\sigma \geq 1 + \mu_0$，这意味着除非 $\mu_0 = 0$，否则 $\sigma \leq -1$，从而在该情形下强化了弱不等式。
• 对于嵌入维数为 $e$ 的严格完全交奇点，当阶数 $\nu$ 增加时，$-\sigma$ 趋向无穷，确认了弱不等式的渐近有效性。
• 通过径向函数上的Hölder不等式，证明了体积不等式 $\operatorname{Vol}(\mathbb{R}^e_{\geq 0} \setminus Q^\prime) \geq \operatorname{Vol}(\mathbb{R}^e_{\geq 0} \setminus Q)$，当 $d \geq 2$，$e \geq 2$ 时为严格不等式。
• 径向和构造 $Q' = \bigstar_{i=1}^d Q_i$ 满足 $Q' \subsetneq Q$，确保了体积比较中的严格不等式，从而也保证了长度不等式的严格性。
• 证明表明，当 $d \geq 2$，$e \geq 2$ 且 $")$ 时，有 $")$，这是由于 $Q^\prime$ 的非凸性所致。