[论文解读] Non-birational Calabi-Yau threefolds that are derived equivalent

Andrei Căldăraru|ArXiv.org|Jan 10, 2006

Algebraic Geometry and Number Theory参考文献 16被引用 5

一句话总结

本文构建了一个理论框架，通过使用高次多节的椭圆纤维化，证明了存在非双有理的卡拉比-丘三流形，其导出等价。在特定条件下——霍奇数为2、非等变纤维化度数为 $ n $，且单位群模2足够大——此类配对存在，为非双有理的傅里叶-穆凯伊等价提供了强有力证据，并可能成为经典托里问题的反例。

ABSTRACT

We argue that the existence of genus one fibrations with multisections of high degree on certain Calabi-Yau threefolds implies the existence of pairs of such varieties that are not birational, but are derived equivalent. It also (likely) implies the existence of non-birational counterexamples to the Torelli problem for Calabi-Yau threefolds.

研究动机与目标

• 建立非双有理卡拉比-丘三流形具有等价导出范畴的证明。
• 为一个开放问题提供证据：是否存在非双有理但傅里叶-穆凯伊等价的卡拉比-丘三流形？
• 探究卡拉比-丘三流形的托里问题失败是否可能出现在非双有理的流形中。
• 探讨导出等价性、霍奇结构与椭圆纤维化上层空间模空间之间的关系。
• 提出此类例子可能产生非双有理的、经典托里定理的反例，且其 $ \mathbf{Z}[1/2] $-霍奇结构同构。

提出的方法

• 通过 $ X \times Y $ 中余维2子簇上支持的核复形使用傅里叶-穆凯伊变换，特别地，利用相对模空间上的通用层。
• 应用格罗滕迪克-黎曼-罗赫定理计算上推的陈类，证明当核的秩为2时，$ c_3(i_*U^\cdot) $ 可被2整除。
• 通过分析具有多节的椭圆纤维化 $ X \to S $ 的度数 $ n $ 构造导出等价性，假设 $ U(\mathbb{Z}_n)/\mathbb{Z}_2 $ 至少有三个元素。
• 依赖于存在一个霍奇数为2、且纤维中仅有孤立非约化奇点的光滑卡拉比-丘三流形 $ X $。
• 论证导出等价性在 $ H^3 $ 的自由部分上诱导出一个整霍奇等距，意味着 $ \mathbf{Z}[1/2] $-霍奇结构同构。
• 提出 $ X' $ 和 $ X'' $ 可能作为彼此纤维上秩为2的无 torsion 层的模空间出现，暗示一种对称关系。

实验结果

研究问题

• RQ1 是否存在一对非双有理的卡拉比-丘三流形，其导出范畴等价？
• RQ2 卡拉比-丘三流形的托里问题失败是否必然仅出现在双有理流形中？
• RQ3 导出范畴能否检测卡拉比-丘三流形的非双有理性？这是否意味着B模型拓扑量子场论的等价性？
• RQ4 导出等价性诱导的霍奇等距是否在 $ \mathbf{Z} $ 上为整数，或仅在 $ \mathbf{Z}[1/2] $ 上？
• RQ5 能否构造一对卡拉比-丘三流形，使得每个都是另一个纤维上秩为2层的模空间？

主要发现

• 在所述条件下，存在光滑、射影的卡拉比-丘三流形 $ X' $ 和 $ X'' $，它们非双有理，但其导出范畴等价 $ \mathbf{D}(X') \cong \mathbf{D}(X'') $。
• 导出等价性在 $ H^3(X', \mathbb{Z}) $ 和 $ H^3(X'', \mathbb{Z}) $ 的自由部分之间诱导出一个等距，意味着 $ \mathbf{Z}[1/2] $-霍奇结构同构。
• 预期 $ \mathbf{Z}[1/2] $-霍奇结构的同构可延拓为 $ \mathbf{Z} $ 上的同构，提示可能存在经典托里问题的反例。
• 该构造依赖于高次多节的椭圆纤维化，对 $ n \geq 7 $ 有效，但因缺乏度数 $ \geq 7 $ 的椭圆曲线方程，显式例子尚不可及。
• 此类配对存在的强烈支持来自：当 $ n \leq 6 $ 时，已知许多满足条件的例子，且对 $ n > 6 $ 无明显障碍。
• 本文猜想 $ X' $ 和 $ X'' $ 可实现为彼此纤维上秩为2层的模空间，这将意味着对称导出等价的存在，并进一步支持霍奇等距的整性。