[論文レビュー] On the $8n^2$-inequality

Александр Валентинович Пухликов|ArXiv.org|Nov 2, 2008

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

ひとこと要約

この論文は、特異点における可動線型系統の自己交わりを制限する、双有理幾何学における重要な局所的不等式である$8n^2$-不等式の完全で修正された証明を提供する。著者は、特に接続性原理の誤った適用とLCS（対数正則閾値）中心の誤用という、先行研究における二つの重大な誤りを特定し、修正する。そのために、重み付きパス数え上げとノエター＝ファーノ不等式に基づく新たな議論を導入し、最終的に反標準的次数6, 7, 8のファノ多様体について不等式を確立する。

ABSTRACT

We give a complete proof of the so called $8n^2$-inequality, a local inequality for the self-intersection of a movable linear system at an isolated centre of a non canonical singularity. The inequality was suggested and several times published by I.Cheltsov but some of his arguments are faulty. We explain the mistake and replace the faulty piece by a correct argument.

研究の動機と目的

• 双有理幾何学における基礎的局所不等式である$8n^2$-不等式の完全かつ正しい証明を提供すること。
• チェルツォフらの他の研究者による証明における二つの主要な誤り——特に接続性原理の適用とLCS中心解析の誤用——を特定し是正すること。
• $ u < 2n$の場合における誤った議論を、重み付きパス数え上げとノエター＝ファーノ不等式に基づく新たな方法に置き換えること。
• 反標準的次数6, 7, 8のファノ多様体の双有理（超）剛性を示すための$8n^2$-不等式の有効性を回復させること。
• 不等式の証明の論理的構造を明確にし、誤った議論を再現した後続の出版物における誤記述を是正すること。

提案手法

• 特異点を含む一般の滑らかでない部分多様体への制限により、問題を次元4に還元する。
• 点$o$における吹き上げ$ varphi: X^+ \to X$に対して、対$(X^+, \frac{1}{n}\Sigma^+ + \frac{\nu - 2n}{n}E)$の対数正則閾値を分析する。
• 対$(X^+, \frac{1}{1+\varepsilon}\frac{1}{n}\Sigma^+ + \frac{\nu - 2n}{n}E + R^+)$に接続性原理を適用し、非対数正則中心が$R^+$と交わることを示し、$E$内に正次元の中心$Y \subset E$が存在することを保証する。
• dim $Y = 2$の場合、標準的反転の付加的性質を適用し、$\mathop{\rm mult}_Y(D_1^+ \circ D_2^+)$の多重度を公式$> 4(3 - \nu/n)n^2$で推定する。
• dim $Y = 1$の場合、例外的除算の双対グラフにおける重み付きパス数え上げに基づく新たな方法を導入し、$p_i$を頂点$i$へのパス数として定義する。
• 鍵となる不等式$\sum_{i=1}^L p_i m_i > \frac{(2\Sigma_0 + \Sigma_1)^2}{\Sigma_0 + \Sigma_1} n^2$を導出し、ノエター＝ファーノ不等式を用いて、$m_1 + m_2 \leq 8n^2$の仮定の下で矛盾を導き、結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 前の証明が失敗した$ u < 2n$の場合において、$8n^2$-不等式を正しく扱う方法は何か？
• RQ2 特に[1]において、接続性原理とLCS中心解析が誤って適用された理由は何か？論理的に誤りである理由は？
• RQ3 S \cap Cが非空または複数点を含む必要があるという誤った主張に依存せずに、$8n^2$-不等式を証明できるか？
• RQ4 $ u < 2n$の場合に必要な多重度の下界を確立するための、反転の付加的性質の代替方法はあるか？
• RQ5 特に[1]と[2]の補題24において誤りが生じた議論を、新たな幾何的または組合せ論的枠組みを用いて体系的に是正できるか？

主な発見

• $8n^2$-不等式は条件なしに成立する：あるcodimension2部分空間$P \subset E$に対して、$\mathop{\rm mult}_o Z + \mathop{\rm mult}_P Z^+ > 8n^2$が成り立つ。
• [1]における誤った議論——$S \cap C$が非自明または複数点を含む必要があると主張した——は誤りであり、$S \cap C$が単一の点であるか、すなわち空集合である可能性もある。
• 対$(W, B^W + \bar{E} + 2F)$のLCSがちょうど$S \cap C$に等しいという主張は誤りである。LCSは支配的でない曲線から生じる可能性があるため。
• 例外的除算の双対グラフにおける重み付きパス数え上げに基づく新たな方法が、$ u < 2n$の場合における誤った議論を効果的に置き換えた。
• 仮定$m_1 + m_2 \leq 8n^2$の下で、$p_1 m_1 + (\Sigma_0 - p_1) m_2 \leq 4n^2 \Sigma_0$が得られ、これは導出された不等式$> 4n^2 \Sigma_0$と矛盾する。
• 修正された証明により、反標準的次数6, 7, 8のファノ3-foldの双有理剛性を示すための$8n^2$-不等式の有効性が回復された。