[论文解读] Birational rigidity is not an open property

Ivan Cheltsov, Михаил Михайлович Гриненко|ArXiv.org|Dec 6, 2006

Organometallic Complex Synthesis and Catalysis参考文献 4被引用 19

一句话总结

该论文构造了一个反例，推翻了关于双有理刚性在模空间中是开性质的猜想：一个在 ℙ⁵ 中定义为一个二次曲面与一个三次曲面的完全交、且具有普通双重点的Fano三fold是双有理刚性的，但其小形变却产生非刚性的Fano簇。该结果表明刚性在形变下不被保持，从而否定了双有理几何中长期存在的一个猜想。

ABSTRACT

We construct an example of the birationally rigid complete intersection of a quadric and a cubic in $\PA^5$ with an ordinary double point, which under a small deformation gives a non-rigid Fano variety. Thus we show that birational rigidity is not open in moduli.

研究动机与目标

• 调查先前研究中提出的猜想，即双有理刚性是否在模空间中是开性质。
• 构造Fano三fold的显式例子，表明在小形变下刚性会失效。
• 证明在 ℙ⁵ 中一个二次曲面与一个三次曲面的奇异完全交可以是刚性的，但在形变后变为非刚性。
• 将反例推广至del Pezzo纤维化，表明其模空间中刚性也非开性质。
• 提供一个反例，以反驳Fano与del Pezzo纤维化中小形变保持双有理刚性的预期。

提出的方法

• 构造一个在 ℙ⁴ 中的奇异完全交 X ⊂ ℙ⁴，其定义方程为 ht − q₁q₂ = 0，其中 h, t 为线性形式，q₁, q₂ 为二次型。
• 通过两次未投影（unprojection）构造两个非奇异的Fano三fold V₁ 与 V₂，其方程为 y₅h = q₁, y₅q₂ = t 与 y₅h = q₂, y₅q₁ = t。
• 证明 V₁ 与 V₂ 通过一个非平方的翻转（flop）ψ: V₁ ⇢ V₂ 与 X 及彼此双有理等价。
• 利用 ψ 下的除子的上推（pushforward）分析 V₁ 与 V₂ 上的线性系统，通过引理 7.2 推导出次数界。
• 应用极大奇异点方法与双有理自同构（来自引理 7.1），证明任何到Mori纤维化的双有理映射必须是平方的，从而证明刚性。
• 利用 V₁ 与 V₂ 一般情况下不构同，但在对称条件下变得构同的事实，构造形变族。

实验结果

研究问题

• RQ1 Fano三fold的双有理刚性在模空间中是否为开性质？
• RQ2 一个双有理刚性的Fano三fold是否可能在小形变下退化为非刚性？
• RQ3 在del Pezzo纤维化的情形下，刚性在形变下是否也会失效？
• RQ4 未投影与翻转技术能否用于构造双有理刚性开性质的显式反例？
• RQ5 在何种对称条件下，非构同的Fano纤维化会变得构同，从而导致刚性？

主要发现

• 在 ℙ⁵ 中定义为一个二次曲面与一个三次曲面的完全交、且具有普通双重点的Fano三fold X 是双有理刚性的。
• X 的小形变产生非刚性的Fano三fold，表明双有理刚性在模空间中并非开性质。
• 通过未投影构造的 V₁ 与 V₂ 一般情况下不构同，但当截面 Q_S 在对合作用下对称时，它们变得构同，从而导致刚性。
• 翻转 ψ: V₁ ⇢ V₂ 非平方，且 V₁ 与 V₂ 之间的双有理映射不保持纤维化结构，这是其一般形变非刚性的关键原因。
• 该反例可推广至del Pezzo纤维化：对称选择分支除子可产生刚性纤维化，但一般选择破坏对称性，导致非刚性纤维化。
• 证明依赖于通过上推分析线性系统，并利用极大奇异点方法证明任何到Mori纤维化的双有理映射必须是平方的，从而在对称情形下证明刚性。