[論文レビュー] 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

ひとこと要約

この論文は、単位行列式の解体交差形式をもつゴレンシュタイン表面特異点について、Durfee型の強い不等式を証明し、負の符号数が幾何的 genus と埋め込み次元の関数によって下から有界であることを示している。また、解体グラフの不変量と径方向和およびホルダーの不等式による体積推定を用いて、高次の多重度を持つ超曲面および厳密な完全交差に対して弱い不等式を確立している。

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.

研究の動機と目的

• 表面特異点の符号数、幾何的 genus、ミルナー数の間の不等式に関するダーフィーの長年の予想を解決すること。
• 正規表面特異点において弱い不等式 $4p_g \leq \mu + \mu_0$（同値に $\sigma \leq 0$）が成り立つ条件を明確にすること。
• 解体交差形式が単位行列式であるゴレンシュタイン特異点に対して強い不等式 $6p_g \leq \mu$ を確立すること。
• これらの結果を多重度が大きい超曲面および厳密な完全交差に拡張し、多重度が増加するにつれて $-\sigma$ が無限大に発散することを証明すること。

提案手法

• 表面特異点の解体を用いて、幾何的 genus $p_g$、標準クラス $K$、および最小・最大サイクル $Z_{\min}$、$Z_{\max}$ を定義する。
• ゴレンシュタイン特異点で交差形式が単位行列式である場合に、$-\sigma = 8p_g + K^2 + s$ という公式を適用し、符号数を解体データと結びつける。
• ニュートン多面体上の径方向和構成 $Q' = \bigstar_{i=1}^d Q_i$ を用いて、$\mathbb{R}^e_{\geq 0}$ 内の補集合の体積を比較し、商環の長さをモデル化する。
• ホルダーの不等式を用いて $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^\prime \subsetneq Q$ であることを示すことにより、体積比較における厳密な不等式を証明する。これは、$Q \setminus Q^\prime$ における明示的な単項式反例を用いる。

実験結果

リサーチクエスチョン

• RQ1 ゴレンシュタイン表面特異点において、強いダーフィー不等式 $6p_g \leq \mu$ が成り立つ条件は何か？
• RQ2 すべての正規表面特異点において弱い不等式 $4p_g \leq \mu + \mu_0$（すなわち $\sigma \leq 0$）が成り立つか。成り立たない場合、例外は何か？
• RQ3 解体交差形式が単位行列式であるゴレンシュタイン特異点において、符号数 $\sigma$ は $p_g$ と埋め込み次元 $e$ の関数として下から有界にできるか？
• RQ4 多重度 $\nu$ が増加するにつれて、厳密な完全交差特異点の符号数 $\sigma$ はどのように漸近的に振る舞うか？
• RQ5 解体グラフおよびその双対サイクル構造は、符号数 $\sigma$ の符号と大きさを決定づける役割を果たすか？

主な発見

• 解体交差形式が単位行列式であるゴレンシュタイン特異点において、符号数は $-\sigma \geq 2^{4-e}(p_g + 1)$ を満たし、強い下界を与える。
• 超曲面特異点においては、$-\sigma \geq 1 + \mu_0$ が成り立ち、これは $\mu_0 = 0$ でない限り $\sigma \leq -1$ を意味し、この場合においても弱い不等式が強化される。
• 埋め込み次元 $e$ の厳密な完全交差特異点において、多重度 $\nu$ が増加するにつれて $-\sigma$ は無限大に発散し、弱い不等式の漸近的妥当性が確認される。
• 径方向関数へのホルダーの不等式を用いて、体積不等式 $\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$ で $τ_i$ が等しい単項イデアルに対して $τ(R/\mathfrak{a}) < d^{e-1} \sum \ell(R/\mathfrak{a}_i)$ が成り立つことが示され、$Q^\prime$ の凸性の欠如に起因する。