[论文解读] The class of the affine line is a zero divisor in the Grothendieck ring: via K3 surfaces of degree 12

Atsushi Ito, Makoto Miura+2 more|arXiv (Cornell University)|Dec 27, 2016

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文研究了在代数几何的格罗滕迪克环中，傅里叶–穆凯伊伙伴类之间的差异是否被某个幂次的勒夫谢茨类 $[\mathbb{A}^1]$ 消去。研究发现，对于度数为12的非常一般K3曲面，此类差异确实被某个幂次的 $[\mathbb{A}^1]$ 消去；但在更高维情况下，存在某些阿贝尔簇，其类与对偶类之间的差异无法被任何幂次的 $[\mathbb{A}^1]$ 消去，从而对一般性问题给出了否定回答。

ABSTRACT

In this paper, we discuss the problem of whether the difference $[X]-[Y]$ of the classes of a Fourier--Mukai pair $(X, Y)$ of smooth projective varieties in the Grothendieck ring of varieties is annihilated by some power of the class $\mathbb{L} = [ \mathbb{A}^1 ]$ of the affine line. We give an affirmative answer for Fourier--Mukai pairs of very general K3 surfaces of degree 12. On the other hand, we prove that in each dimension greater than one, there exists an abelian variety such that the difference with its dual is not annihilated by any power of $\mathbb{L}$, thereby giving a negative answer to the problem. We also discuss variations of the problem.

研究动机与目标

• 确定格罗滕迪克环中傅里叶–穆凯伊伙伴类的差异 $[X] - [Y]$ 是否被某个幂次的类 $[\mathbb{A}^1]$ 消去。
• 研究此类差异在度数为12的K3曲面上的行为，特别是对非常一般的情形。
• 探讨该消去性质是否在所有光滑射影簇中普遍成立，尤其是在高维情形下。
• 在高维中提供反例，表明某个阿贝尔簇与其对偶之间的差异无法被任何幂次的 $[\mathbb{A}^1]$ 消去。
• 考察原始问题的变体，澄清该消去性质在格罗滕迪克环中的适用范围。

提出的方法

• 作者利用K3曲面的几何不变量（特别是其导出范畴和傅里叶–穆凯伊伙伴）分析格罗滕迪克环。
• 他们利用格罗滕迪克环的结构以及勒夫谢茨类 $[\mathbb{A}^1]$ 的性质，研究类差异的消去子。
• 对于度数为12的K3曲面，他们采用模空间理论和上同调技术，证明类差异 $[X] - [Y]$ 被某个幂次的 $[\mathbb{A}^1]$ 消去。
• 他们构造了高维（大于一）阿贝尔簇的显式例子，其类与对偶类之间的差异无法被任何幂次的 $[\mathbb{A}^1]$ 消去，方法基于导出等价性和动机不变量。
• 该论证依赖于格罗滕迪克环中动机不变量的非平凡性，以及在高维情形下消去子性质的失效。
• 论文通过修改消去子条件并分析其对导出范畴和双有理几何的影响，探讨了问题的变体。

实验结果

研究问题

• RQ1 对于度数为12的K3曲面，傅里叶–穆凯伊伙伴类的差异 $[X] - [Y]$ 是否被格罗滕迪克环中某个幂次的类 $[\mathbb{A}^1]$ 消去？
• RQ2 该消去性质是否在所有光滑射影簇中普遍成立，特别是在高维情形下？
• RQ3 能否构造出维度大于一的阿贝尔簇，使得 $[A] - [A^∞ba]$ 无法被任何幂次的 $[\mathbb{A}^1]$ 消去？
• RQ4 哪些几何与动机障碍阻止了该消去性质在一般情形下成立？
• RQ5 消去子条件的变体如何影响格罗滕迪克环的结构以及导出等价类的性质？

主要发现

• 对于度数为12的非常一般K3曲面，其傅里叶–穆凯伊伙伴类的差异 $[X] - [Y]$ 被某个幂次的类 $[\mathbb{A}^1]$ 消去。
• 在每个大于一的维度中，均存在阿贝尔簇 $A$，使得 $[A] - [A^∞]$ 无法被任何幂次的 $[\mathbb{A}^1]$ 消去，从而对一般问题给出了否定回答。
• 此类阿贝尔簇的存在表明，该消去性质在代数几何的格罗滕迪克环中并非普遍成立。
• 研究结果表明，阿贝尔簇及其对偶的动机行为可能阻碍消去条件的成立，即使它们是导出等价的。
• 研究揭示，该消去性质在很大程度上依赖于所涉几何体的复杂性，而度数为12的K3曲面是该性质成立的特例。
• 问题的变体（包括不同的消去子条件）在格罗滕迪克环中导致不同的结构行为，凸显了相关不变量的敏感性。