[论文解读] On the $8n^2$-inequality

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

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

一句话总结

本文提供了 $8n^2$-不等式的一个完整且正确的证明，该不等式是双有理几何中的一个关键局部不等式，用于控制在孤立非典范奇点处可移动线性系统自交的上界。作者识别并修正了先前证明中的两个关键错误——特别是错误应用连通性原理以及对 LCS（对数可 canonical 阈值）中心的误用——通过引入基于加权路径计数和 Noether-Fano 不等式的全新论证方法，最终在反 canonical 次数为 6、7 和 8 的 Fano 素性上确立了该不等式。

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$-不等式的一个完整且正确的证明，该不等式是双有理几何中的基础局部不等式。
• 识别并纠正 Cheltsov 及其他研究者先前证明中的两个主要错误，特别是连通性原理的应用和 LCS 中心理析的错误。
• 用基于加权路径计数和 Noether-Fano 不等式的全新方法，替代 $\nu < 2n$ 情况下的错误论证。
• 恢复 $8n^2$-不等式作为证明反 canonical 次数为 6、7 和 8 的 Fano 3- folds 双有理（超）刚性的有效工具。
• 澄清该不等式证明的逻辑结构，并纠正后续出版物中重复错误论证的错误陈述。

提出的方法

• 通过限制到包含奇点的通用光滑子簇，将问题约化至四维。
• 对在点 $o$ 处的爆破 $\varphi: X^+ \to X$ 应用 Noether-Fano 不等式，分析对偶对 $(X^+, \frac{1}{n}\Sigma^+ + \frac{\nu - 2n}{n}E)$ 的对数可 canonical 阈值。
• 在对偶对 $(X^+, \frac{1}{1+\varepsilon}\frac{1}{n}\Sigma^+ + \frac{\nu - 2n}{n}E + R^+)$ 上应用连通性原理，证明非对数可 canonical 中心与 $R^+$ 相交，从而确保在 $E$ 中存在正维数中心 $Y \subset E$。
• 当 $\dim Y = 2$ 时，应用标准的邻接反演，并利用公式 $> 4(3 - \nu/n)n^2$ 估计重数 $\mathop{\rm mult}_Y(D_1^+ \circ D_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$，并利用 Noether-Fano 不等式在假设 $m_1 + m_2 \leq 8n^2$ 下导出矛盾，从而证明结论。

实验结果

研究问题

• RQ1 在 $\nu < 2n$ 情况下，$8n^2$-不等式应如何正确处理，此前的证明在此处失败？
• RQ2 为何先前研究中（特别是文献 [1]）对连通性原理和 LCS 中心理析的应用在逻辑上存在缺陷？
• RQ3 是否可以不依赖于 $S \cap C$ 必须非空或包含多个点的错误断言，来证明 $8n^2$-不等式？
• RQ4 是否存在一种替代邻接反演的方法，可用于在 $\nu < 2n$ 情况下建立所需的重数上界？
• RQ5 能否通过新的几何或组合框架，系统性地纠正 [1] 和 [2] 中的错误论证，特别是引理 24？

主要发现

• 不等式 $8n^2$-不等式无条件成立：存在余维数为二的子空间 $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 可能源于纤维中非主导的曲线。
• 基于例外除子对偶图中加权路径计数的新方法，成功替代了 $\nu < 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$ 矛盾。
• 修正后的证明恢复了 $8n^2$-不等式作为证明反 canonical 次数为 6、7 和 8 的 Fano 3- folds 双有理刚性的有效工具的可靠性。