[论文解读] Intersections of two Grassmannians in $\mathbf{P}^9$

Lev Borisov, Andrei Căldăraru+1 more|arXiv (Cornell University)|Jul 3, 2017

Algebraic Geometry and Number Theory参考文献 24被引用 10

一句话总结

本文研究了 ℙ⁹ 中两个 Grassmannian Gr(2,5) 及其在对偶射影空间中的对偶形式的交点，表明这些交点产生形变等价与导出等价的 Calabi–Yau 三复形，但它们并非双有理等价。关键结果是为 Calabi–Yau 三复形的双有理 Torelli 问题提供了反例，证明导出等价与形变等价并不蕴含双有理等价，并在代数几何的格罗滕迪克环中提供了新的例子，其中差值被仿射直线类的某次幂消去。

ABSTRACT

We study the intersection of two copies of $\mathrm{Gr}(2,5)$ embedded in $\mathbf{P}^9$, and the intersection of the two projectively dual Grassmannians in the dual projective space. These intersections are deformation equivalent, derived equivalent Calabi-Yau threefolds. We prove that generically they are not birational. As a consequence, we obtain a counterexample to the birational Torelli problem for Calabi-Yau threefolds. We also show that these threefolds give a new pair of varieties whose classes in the Grothendieck ring of varieties are not equal, but whose difference is annihilated by a power of the class of the affine line. Our proof of non-birationality involves a detailed study of the moduli stack of Calabi-Yau threefolds of the above type, which may be of independent interest.

研究动机与目标

• 研究 ℙ⁹ 中两个 Grassmannian Gr(2,5) 及其对偶形式的几何与导出性质。
• 确定此类交点是否双有理等价，尤其是在它们形变等价与导出等价时。
• 为 Calabi–Yau 三复形的双有理 Torelli 问题提供反例。
• 探讨这些三复形在代数几何的格罗滕迪克环中的行为，特别是关于被仿射直线类的某次幂消去的类。

提出的方法

• 通过同构 φ₁, φ₂: ∧²V ≅ W 构造 Gr(2,5) 到 ℙ⁹ 的两个嵌入，从而得到交点 X = Gr₁ ∩ Gr₂。
• 通过对偶同构 (φᵢ⁻¹)∗: ∧²V∨ ≅ W∨ 在对偶射影空间 ℙ⁹∨ 中定义对偶 Grassmannian Grᵢ∨，并考虑交点 Y = Gr₁∨ ∩ Gr₂∨。
• 证明 X 和 Y 是光滑的 Calabi–Yau 三复形，具有 Hodge 数 h¹¹ = 1，h¹² = 51，且通过其有界导出范畴的导出等价性，实现形变等价与导出等价。
• 基于此类 Calabi–Yau 三复形的模堆栈的无穷小论证，证明其非双有理等价性，依赖于 X 上某些扭曲丛的全局截面消失。
• 通过分析代数几何的格罗滕迪克环，证明 [X] − [Y] 被仿射直线类的某次幂消去，尽管在 K₀(Var/k) 中 [X] ≠ [Y]。
• 在 𝔽₁₀₃ 上进行显式的 Macaulay2 计算，验证仿射局部中三复形的光滑性，从而确认 GPK 3 双镜像构造的全局光滑性。

实验结果

研究问题

• RQ1 对于一般嵌入，ℙ⁹ 与 ℙ⁹∨ 中的交点 X = Gr₁ ∩ Gr₂ 和 Y = Gr₁∨ ∩ Gr₂∨ 是否双有理等价？
• RQ2 形变等价与导出等价的 Calabi–Yau 三复形是否必然双有理等价，还是可能在这些等价关系下仍非双有理等价？
• RQ3 能否在代数几何的格罗滕迪克环中构造出例子，使得类的差值被仿射直线类 L 的某次幂消去，但类本身不相等？
• RQ4 GPK 3 双镜像的模堆栈结构如何，它如何揭示 X 与 Y 的非双有理等价性？
• RQ5 X 与 Y 的导出等价与形变等价是否意味着其 Hodge 结构同构，这是否影响 Torelli 问题？

主要发现

• 对于一般同构 φ₁, φ₂，Calabi–Yau 三复形 X = Gr₁ ∩ Gr₂ 与 Y = Gr₁∨ ∩ Gr₂∨ 虽然形变等价与导出等价，但并非双有理等价。
• 三复形 X 与 Y 是光滑的 Calabi–Yau 三复形，具有 Hodge 数 h¹¹(X) = h¹¹(Y) = 1 与 h¹²(X) = h¹²(Y) = 51。
• 导出等价 Dᵇ(X) ≅ Dᵇ(Y) 成立，且该等价与 X 与 Y 之间的对偶性相容，从而合理化了“双镜像”这一术语。
• 这些三复形为 Calabi–Yau 三复形的双有理 Torelli 问题提供了首个已知反例，因为它们在 H³ 上具有同构的积分 Hodge 结构，但并非双有理等价。
• 在代数几何的格罗滕迪克环中，[X] ≠ [Y]，但 ([X] − [Y]) 被仿射直线类 L 的某次幂消去，表明在 K₀(Var/k) 中存在一种新型非平凡关系。
• 在 𝔽₁₀₃ 上的显式 Macaulay2 计算确认，GPK 3 双镜像在所有仿射局部中光滑，从而验证了该构造的全局光滑性。