[论文解读] The class of the affine line is a zero divisor in the Grothendieck ring: via $G_2$-Grassmannians

Atsushi Ito, Makoto Miura+2 more|arXiv (Cornell University)|Jun 14, 2016

Algebraic Geometry and Number Theory参考文献 6被引用 14

一句话总结

本文证明了在特征零代数闭域上的代数簇格罗滕迪克环中，仿射直线的类 $ L = [ℝ^1] $ 是一个零因子。利用从 $ G_2 $-格拉斯曼ian 构造的两个卡拉比-丘 3-fold $ X $ 和 $ Y $，作者证明了 $ ([X] - [Y]) \cdot L = 0 $，且 $ [X] \neq [Y] $，其结果强于此前关于 Pfaffian-Grassmannian 对的研究。关键洞见源于将 $ D = Z(s) $ 视为 $ F_1 $ 沿 $ X $ 的一个爆破，从而在格罗滕迪克环中得到一个几何恒等式。

ABSTRACT

Motivated by [Bor] and [Mar], we show the equality $\left([X] - [Y] ight) \cdot [\mathbb{A}^1] = 0$ in the Grothendieck ring of varieties, where $(X, Y)$ is a pair of Calabi-Yau 3-folds cut out from the pair of Grassmannians of type $G_2$.

研究动机与目标

• 建立仿射直线类 $ L $ 在特征零域上代数簇格罗滕迪克环中为零因子。
• 通过从 $ G_2 $-格拉斯曼ian 构造一对非同构的卡拉比-丘 3- fold $ X $ 和 $ Y $，提供此类零因子关系的新且更强的实例。
• 证明 $ ([X] - [Y]) \cdot L = 0 $，且 $ [X] \neq [Y] $，从而给出对格罗滕迪克环结构一个弱化版本猜想的反例。

提出的方法

• 构造旗流形 $ F_{12} = G/B $，即 $ G_2 $ 群的 6 维齐次空间，其具有两个 $ \mathbb{P}^1 $-丛结构，分别覆盖 $ F_1 = G/P_1 $ 和 $ F_2 = G/P_2 $，二者均为 5 维。
• 定义一个一般全局截面 $ s \in H^0(F_{12}, E(1,1)) $，并设 $ D = Z(s) $，$ X = Z(p_1^*s) \subset F_1 $，$ Y = Z(p_2^*s) \subset F_2 $，由一般性保证其均为光滑流形。
• 通过正则截面 $ s_1 = p_1^*s $ 的正合列，证明限制映射 $ \pi_1: D \to F_1 $ 是 $ F_1 $ 沿 $ X $ 的爆破，类似地对 $ \pi_2 $ 成立。
• 利用爆破结构，推导出格罗滕迪克环中的恒等式 $ [D] = [F_1] + L \cdot [X] $，以及对偶恒等式 $ [D] = [F_2] + L \cdot [Y] $。
• 通过 Weyl 群陪集 $ W^{P_1} $ 与 $ W^{P_2} $ 之间的长度保持双射，建立 $ [F_1] = [F_2] $，从而得出 $ [F_1] = [F_2] = 1 + L + L^2 + L^3 + L^4 + L^5 $。
• 通过联立两个 $ [D] $ 的表达式，得出 $ ([X] - [Y]) \cdot L = 0 $，并利用稳定有理性和 MRC 纤维丛的唯一性证明 $ [X] \neq [Y] $。

实验结果

研究问题

• RQ1 在特征零域上，仿射直线类 $ L $ 是否为代数簇格罗滕迪克环中的零因子？
• RQ2 一对非双有理等价的卡拉比-丘 3- fold $ X $ 和 $ Y $ 是否可能满足 $ ([X] - [Y]) \cdot L = 0 $？
• RQ3 $ G_2 $-格拉斯曼ian 构造是否构成对猜想 1.2 的反例，该猜想断言 $ \alpha \cdot L^2 = 0 $ 蕴含 $ \alpha \in \langle L \rangle $？
• RQ4 作为 $ G_2 $-齐次空间中截面零点构造的流形 $ X $ 和 $ Y $，是否为稳定有理等价？
• RQ5 关系 $ ([X] - [Y]) \cdot L = 0 $ 是否能通过格罗滕迪克环中爆破结构的几何方式建立？

主要发现

• 仿射直线类 $ L $ 在格罗滕迪克环 $ K_0(V/k) $ 中为零因子，由关系 $ ([X] - [Y]) \cdot L = 0 $ 对一对卡拉比-丘 3- fold $ X $ 和 $ Y $ 成立。
• 该对 $ (X, Y) $ 由非同构、非双有理等价的卡拉比-丘 3- fold 构成，且 Picard 数为 1，故 $ [X] \neq [Y] $。
• 在格罗滕迪克环中恒等式 $ [D] = [F_1] + L \cdot [X] $ 成立，其中 $ D $ 为一般截面的零点，且 $ \pi_1: D \to F_1 $ 为沿 $ X $ 的爆破。
• 类似地，$ [D] = [F_2] + L \cdot [Y] $，且因 $ [F_1] = [F_2] $，故有 $ ([X] - [Y]) \cdot L = 0 $。
• 该对 $ (X, Y) $ 为猜想 1.2 在 $ d \geq 4 $ 时的反例，因 $ \alpha = [X] - [Y] $ 满足 $ \alpha \cdot L^2 = 0 $ 但 $ \alpha \notin \langle L \rangle $。
• 通过 $ G_2 $-格拉斯曼ian 的构造，本结果实现了 Pfaffian-Grassmannian 对的退化，使其强于该背景下先前的结果。