[论文解读] A motivic global Torelli theorem for isogenous K3 surfaces

Lie Fu, Charles Vial|arXiv (Cornell University)|Jul 25, 2019

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

一句话总结

本文通过证明扭曲导出等价的K3曲面不仅作为代数对象，而且作为Frobenius代数对象，其Chow动机同构，从而建立了同源K3曲面的动机全局Torelli定理。关键结果是：两个复射影K3曲面同源当且仅当它们的Chow动机作为Frobenius代数对象同构，提供了超越有理Hodge结构的同源性更精细的动机刻画。

ABSTRACT

We prove that the Chow motives of twisted derived equivalent K3 surfaces are isomorphic, not only as Chow motives (due to Huybrechts), but also as Frobenius algebra objects. Combined with a recent result of Huybrechts, we conclude that two complex projective K3 surfaces are isogenous (i.e. their second rational cohomology groups are Hodge isometric) if and only if their Chow motives are isomorphic as Frobenius algebra objects; this can be regarded as a motivic Torelli-type theorem. We ask whether, more generally, twisted derived equivalent hyper-Kaehler varieties have isomorphic Chow motives as (Frobenius) algebra objects and in particular isomorphic graded rational cohomology algebras. In the appendix, we justify introducing the notion of "Frobenius algebra object" by showing the existence of an infinite family of K3 surfaces whose Chow motives are pairwise non-isomorphic as Frobenius algebra objects but isomorphic as algebra objects. In particular, K3 surfaces in that family are pairwise non-isogenous but have isomorphic rational Hodge algebras.

研究动机与目标

• 提供超越有理Hodge结构的同源K3曲面的动机刻画。
• 通过赋予Chow动机额外的Frobenius代数结构，强化Huybrechts关于扭曲导出等价K3曲面具有同构Chow动机的结果。
• 探究扭曲导出等价的超凯勒流形是否具有作为Frobenius代数对象同构的Chow动机。
• 构造K3曲面的显式例子，其Chow动机作为代数对象同构但作为Frobenius代数对象不同构，表明同源性无法仅由代数结构捕捉。

提出的方法

• 证明扭曲导出等价的K3曲面在有理Chow动机范畴中，其Chow动机作为Frobenius代数对象同构。
• 利用每个扭曲导出等价的傅里叶–穆凯伊核，构造CH²(S×S′)中的对应关系Γ，使其满足Frobenius代数公理。
• 证明对应关系Γ诱导的动机同构满足(Γ⊗Γ)∗ΔS = ΔS′和(Γ⊗Γ⊗Γ)∗δS = δS′，从而编码Frobenius代数结构。
• 利用有理平方和的数论条件，构造一个无限族K3曲面，其Chow动机作为代数对象同构但作为Frobenius代数对象不同构。
• 利用K3曲面的全局Torelli定理，将丢番图方程解的存在性与构造具有同构有理Hodge代数但非同源的K3曲面联系起来。
• 通过归纳构造整数序列{mj}，使得2mj⁴+1不是两个有理平方之和，且不同项之间的比值也非两个有理平方之和，从而确保Frobenius结构的非同构性。

实验结果

研究问题

• RQ1 K3曲面的同源类能否通过其Chow动机作为Frobenius代数对象进行动机刻画？
• RQ2 扭曲导出等价的超凯勒流形是否具有作为Frobenius代数对象同构的Chow动机？
• RQ3 是否存在Chow动机作为代数对象同构但作为Frobenius代数对象不同构的K3曲面？
• RQ4 能否构造一个无限族K3曲面，使得它们两两非同源但具有同构的有理Hodge代数？
• RQ5 Chow动机上的Frobenius代数结构是否能检测K3曲面的同源性，而不仅仅是依赖于有理Hodge同构？

主要发现

• 扭曲导出等价的K3曲面具有作为Frobenius代数对象同构的Chow动机，扩展了Huybrechts关于代数同构的结果。
• 两个复射影K3曲面同源当且仅当它们的Chow动机作为Frobenius代数对象同构，确立了动机型Torelli定理。
• 存在一个无限族K3曲面，其Chow动机作为Frobenius代数对象两两不同构，但作为代数对象同构。
• 该族中的K3曲面两两非同源但具有同构的有理Hodge代数，表明Frobenius代数结构严格优于有理Hodge结构。
• 该构造依赖于数论条件：对于无限序列{mj}，值2mj⁴+1不是两个有理平方之和，且其比值也非两个有理平方之和。
• Chow动机上的Frobenius代数结构能够检测同源性，而仅依赖于底层代数结构则不能，证明了附加相容性条件的必要性。