[論文レビュー] 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表面が、代数的対象としてだけでなく、フロベニウス代数的対象としても同型なチャウモチーフを持つことを示すことにより、同種のK3表面に対するモチーフ的グローバルTorelli定理を確立する。主な結果は、2つの複素射影的K3表面が同種であることと、それらのチャウモチーフがフロベニウス代数的対象として同型であることとは同値であり、有理ホッジ構造を超えた同種のモチーフ的特徴付けを提供する。

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.

研究の動機と目的

• 有理ホッジ構造を超えた同種のK3表面のモチーフ的特徴付けを提供すること。
• Huybrechtsの結果（捩れた導来同値なK3表面の同型チャウモチーフ）を、追加のフロベニウス代数的構造を備えたものに強化すること。
• 捩れた導来同値なハイパーケーラー多様体が、フロベニウス代数的対象として同型なチャウモチーフを持つかどうかを調査すること。
• チャウモチーフが代数的対象として同型であるが、フロベニウス代数的対象として同型でないK3表面の具体例を構成し、同種性が代数的構造のみでは捉えられないことを示すこと。

提案手法

• 捩れた導来同値なK3表面が、有理チャウモチーフの圏において、フロベニウス代数的対象として同型なチャウモチーフを持つことを証明する。
• 各捩れた導来同値のフーリエ＝ムカイ核を用いて、CH²(S×S′)に属する対応Γを構成し、それがフロベニウス代数的公理を満たすことを示す。
• 対応Γが、(Γ⊗Γ)∗ΔS = ΔS′ および (Γ⊗Γ⊗Γ)∗δS = δS′ を満たすモチーフの同型を誘導することを示し、これによりフロベニウス代数的構造が符号化されることを示す。
• 有理平方和に関する数論的条件を用いて、チャウモチーフが代数的対象として同型であるが、フロベニウス代数的対象として同型でないK3表面の無限族を構成する。
• K3表面のグローバルTorelli定理を用い、ディオファントス方程式の解の存在と、同種でないが有理ホッジ代数が同型であるK3表面の構成を関連付ける。
• 整数の帰納的構成 {mj} を用い、2mj⁴+1 が2つの有理平方和で表されず、かつ異なる項同士の比がこれも2つの有理平方和で表されないことを保証することで、フロベニウス構造の非同型性を保証する。

実験結果

リサーチクエスチョン

• RQ1 K3表面の同種類は、チャウモチーフをフロベニウス代数的対象としてモチーフ的に特徴付けられるか？
• RQ2 捩れた導来同値なハイパーケーラー多様体は、フロベニウス代数的対象として同型なチャウモチーフを持つか？
• RQ3 チャウモチーフが代数的対象として同型であるが、フロベニウス代数的対象として同型でないK3表面は存在するか？
• RQ4 互いに同種でないが、有理ホッジ代数が同型であるK3表面の無限族を構成できるか？
• RQ5 チャウモチーフ上のフロベニウス代数的構造は、有理ホッジ同型を超えて同種性を検出できるか？

主な発見

• 捩った導来同値なK3表面は、フロベニウス代数的対象として同型なチャウモチーフを持つ。これはHuybrechtsの代数的同型に関する結果を拡張する。
• 2つの複素射影的K3表面が同種であることと、それらのチャウモチーフがフロベニウス代数的対象として同型であることとは同値である。これにより、モチーフ的Torelli型定理が確立される。
• チャウモチーフが代数的対象として同型であるが、フロベニウス代数的対象として同型でないK3表面の無限族が存在する。
• この族に属するK3表面は、互いに同種でないが、有理ホッジ代数が同型である。これにより、フロベニウス代数的構造は有理ホッジ構造よりも厳密に細かく、より強い不変量であることが示される。
• 構成は数論的条件に依存する：無限列 {mj} に対して、2mj⁴+1 が2つの有理平方和で表されず、かつ異なる項同士の比も2つの有理平方和で表されない。
• チャウモチーフ上のフロベニウス代数的構造は同種性を検出できるが、それらの下にある代数的構造だけでは検出できない。これにより、追加の整合性条件の必要性が示される。