[论文解读] The Noether inequality for algebraic threefolds (With an Appendix by J\'{a}nos Koll\'{a}r)

Jungkai A. Chen, Chen Meng+1 more|arXiv (Cornell University)|Mar 15, 2018

Algebraic Geometry and Number Theory参考文献 43被引用 2

一句话总结

本文建立了射影三叉一般型的最优Noether不等式，证明了当几何亏格 pg(X) ≤ 4 或 pg(X) ≥ 21 时，对所有此类三叉均有 vol(X) ≥ 4/3 pg(X) − 10/3 成立。证明方法包括典范纤维化、解析方法以及典范除子与曲面极小模型之间的比较定理，附录由János Kollár撰写，对奇点的对数极小阈值估计进行了精炼，通过Kobayashi和Chen–Hu提供的例子确认了该不等式的最优性。

ABSTRACT

We establish the Noether inequality for projective $3$-folds. More precisely, we prove that the inequality $${ m vol}(X)\geq frac{4}{3}p_g(X)-{ frac{10}{3}}$$ holds for all projective $3$-folds $X$ of general type with either $p_g(X)\leq 4$ or $p_g(X)\geq 21$, where $p_g(X)$ is the geometric genus and ${ m vol}(X)$ is the canonical volume. This inequality is optimal due to known examples found by M. Kobayashi in 1992.

研究动机与目标

• 建立射影三叉一般型的最优Noether不等式，拓展曲面与高维代数簇中已知结果。
• 解决非Gorenstein三叉Noether不等式这一长期悬而未决的问题，该问题此前难以通过已有方法解决。
• 通过验证Kobayashi与Chen–Hu提供的极值例子，证明该不等式是最优的。
• 完整分类可能使不等式失效的例外情况，证明其数量有限且有界。

提出的方法

• 假设 X 是具有至多 Q-因子终端奇点且典范除子 KX 为 nef 的极小射影三叉。
• 分析典范映射 ϕ1 = Φ|KX| 及其像的维数 dX，依据典范维数对情形进行分类。
• 使用解析 π: W → X 及 W 上的除子 S 满足 π*KX ≥ S，通过 (π*KX|S)^2 估计 KX^3。
• 建立 π*KX|S 与 S 的极小模型 σ: S → S0 的典范除子之间的比较定理，从而实现精确的体积估计。
• 应用高级奇点理论，特别是对数极小阈值，利用Kollár附录中的结果控制曲面奇点的分歧。
• 借助 [34, 定理4] 中的有界性结果，证明例外情况有限，因此不等式对所有但有限多个族均成立。

实验结果

研究问题

• RQ1 对于所有满足 pg(X) ≤ 4 或 pg(X) ≥ 21 的射影三叉一般型 X，不等式 vol(X) ≥ 4/3 pg(X) − 10/3 是否成立？
• RQ2 可能使不等式失效的例外三叉的精确结构为何？其数量是否有限？
• RQ3 能否对曲面奇点的对数极小阈值估计进行精炼，以在三叉情形下证明最优界？
• RQ4 典范纤维化与解析技术如何在交数非整数时帮助估计典范体积？
• RQ5 该不等式是否最优？Kobayashi 与 Chen–Hu 提供的例子是否达到等号？

主要发现

• 对所有满足 pg(X) ≤ 4 或 pg(X) ≥ 21 的射影三叉一般型 X，不等式 vol(X) ≥ 4/3 pg(X) − 10/3 成立。
• 该不等式是最优的，因为等号由Kobayashi于1992年构造的已知例子以及Chen–Hu于2017年推广的例子所实现。
• 可能使不等式失效的例外情况是有限且有界的，因为它们满足 pg(X) ∈ [5, 20] 且 KX^3 < 70/3。
• 证明依赖于 π*KX|S 与 σ*(KS0) 之间精炼的比较定理，即使在交数非整数时也能实现体积估计。
• János Kollár的附录提供了精确的对数极小阈值估计，特别是表明对 E7 奇点有 lct(S; ∆S) ≥ 1/10，对 E8 奇点有 lct(S; ∆S) ≥ 1/16。
• 分析确认，唯一可能的失效情形是 |KX| 由 (1,2)-曲面的有理线性系统构成的情况，且这些情形在形变下是有限的。