[论文解读] Adjunction beyond thresholds and birationally rigid hypersurfaces

Tommaso de Fernex|arXiv (Cornell University)|Apr 10, 2006

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

一句话总结

本文证明了普赫利科夫猜想：当 N ≥ 4 时，射影空间 P^N 中所有次数为 N 的光滑超曲面都是双有理超刚性的，该结果将经典的伊斯基夫斯基-马尼恩结果（N = 4 时）推广至更高维。关键进展在于提出了一种关于限制到超曲面上的对的奇点的新型邻接公式，该公式推广了连通性原理，并依赖于艾因、拉扎尔斯费尔德和穆斯塔察提出的弧空间技术来处理对数离差。

ABSTRACT

Abstract. We give an affirmative answer to a conjecture of Pukhlikov, proving that for N ≥ 4, all smooth hypersurfaces of degree N in P N are birationally superrigid, the case N = 4 of this result being the celebrated theorem of Iskovskikh and Manin that started this whole direction of research. The main new ingredient to obtain the complete result is an adjunction formula for singularities of pairs under restriction that, under suitable conditions, generalizes the well-known formula for hyperplane sections derived from the connectedness principle of Shokurov and Kollár. The proof uses in an essential way a result on log-discrepancies via arc spaces due to Ein, Lazarsfeld and Mustat¸ǎ.

研究动机与目标

• 解决普赫利科夫关于当 N ≥ 4 时，P^N 中次数为 N 的光滑超曲面的双有理超刚性猜想。
• 建立在限制到超曲面上时奇点邻接的连通性原理的一般化。
• 通过为具有奇点的对开发新型邻接公式，将双有理刚性的框架扩展至已知临界情形之外。
• 应用弧空间技术处理对数离差，以在双有理几何背景下控制奇点。

提出的方法

• 为限制到超曲面上的对的奇点开发新型邻接公式，推广经典超平面截面公式。
• 以肖库罗夫和科尔拉的连通性原理作为广义邻接公式的基底情形。
• 应用艾因、拉扎尔斯费尔德和穆斯塔察关于通过弧空间处理对数离差的结果，以在双有理刚性背景下分析奇点。
• 建立广义邻接公式在对与限制除子满足适当条件时成立。
• 将新型邻接公式与双有理几何中现有工具结合，证明当 N ≥ 4 时，P^N 中所有次数为 N 的光滑超曲面均为双有理超刚性。
• 验证在 P^N 中次数为 N 的光滑超曲面情形下，邻接公式的条件均满足，从而确保不存在到其他 Fano 代数簇的双有理映射。

实验结果

研究问题

• RQ1 当 N ≥ 4 时，P^N 中每个次数为 N 的光滑超曲面是否都存在一个到同维数与 Picard 数相同的其他 Fano 代数簇的双有理映射？
• RQ2 经典超平面截面的邻接公式能否推广至限制到超曲面上时具有奇点的对？
• RQ3 何种条件可确保一对的对数极大值阈值在限制到超曲面上时保持不变？
• RQ4 弧空间技术在处理对数离差方面如何促进对高维超曲面上双有理刚性的证明？
• RQ5 是否存在一个统一的邻接原理，可将连通性原理推广至高余维的奇点对？

主要发现

• 当 N ≥ 4 时，P^N 中所有次数为 N 的光滑超曲面均为双有理超刚性，从而证实了普赫利科夫猜想。
• 建立了关于限制到超曲面上的对的奇点的新型邻接公式，推广了肖库罗夫与科尔拉的连通性原理。
• 该邻接公式在满足适当条件时成立，而这些条件在 P^N 中次数为 N 的光滑超曲面情形下确实满足。
• 该证明关键依赖于艾因、拉扎尔斯费尔德与穆斯塔察提出的关于对数离差的弧空间方法。
• 该结果将 N = 4 时的经典伊斯基夫斯基-马尼恩定理推广至所有维度 N ≥ 4。
• 该框架为证明已知临界情形之外的双有理刚性提供了一套系统性方法。