[論文レビュー] Every rational Hodge isometry between two K3 surfaces is algebraic

Nikolay Buskin|arXiv (Cornell University)|Oct 10, 2015

Algebraic Geometry and Number Theory参考文献 22被引用数 3

ひとこと要約

この論文は、2つの射影的複素数K3表面間の任意の有理的ホッジ等長写像が代数的であることを証明している。つまり、$H^{2,2}(S_1 \times S_2, \mathbb{Q})$ に値をとる関連するコホロロジー類が代数的であるということである。証明は、格子論的技法を用いて巡回型等長写像への還元を行い、このような等長写像が一様な層のチャーン類から生じることを確立することで、シャファレヴィチの予想を裏付ける。

ABSTRACT

We prove that given any rational Hodge isometry $ψ:H^2(S_1,\mathbb{Q}) ightarrow H^2(S_2,\mathbb{Q})$ between any two Kähler $K3$ surfaces $S_1$ and $S_2$ the cohomology class of $ψ$ in $H^{2,2}(S_1 imes S_2)$ is a polynomial in Chern classes of coherent analytic sheaves over $S_1 imes S_2$. Consequently, the cohomology class of $ψ$ is algebraic whenever $S_1$ and $S_2$ are algebraic.

研究の動機と目的

• 射影的K3表面間の任意の有理的ホッジ等長写像が代数的であるというシャファレヴィチの予想を解決すること。
• 有理的ホッジ等長写像 $\varphi$ に関連するコホロロジー類 $Z_\varphi \in H^{2,2}(S_1 \times S_2, \mathbb{Q})$ が代数的であることを示すこと。
• ムカイの結果（ランク $\geq 11$ のホッジ等長写像）を、射影的K3表面間のすべての有理的ホッジ等長写像へと拡張すること。
• K3格子の有理的等長写像が巡回型であるための格子論的基準を確立し、既知の代数的ケースへの還元を可能にすること。
• モジュライ空間における安定層のチャーン類によって生成される代数的クラスの部分環が、コホロロジーにおける代数的クラスの部分環に一致することを示すこと。

提案手法

• マークを用いて、K3表面間の有理的ホッジ等長写像をK3格子 $\Lambda_\mathbb{Q}$ の有理的等長写像に同定する。
• 有理的等長写像群がこのような巡回型等長写像によって生成されることを示すことにより、一般の場合を巡回型等長写像のケースに還元する。
• すべての巡回型等長写像がK3表面の積上のユニバーサル層から生じることを証明し、したがって代数的対応を誘導することを示す。
• K3表面上の安定層のモジュライ空間を構成し、そのコホロロジーが一様な層のチャーン類によって生成されることを示す。
• チャーン類の乗法的性質と分割原理を用いて、$ch(\mathcal{F})$ によって生成される $H^*(X,\mathbb{Q})$ の部分環 $V$ がすべてのチャーン類を含むことを示す。
• バテルマン行列の議論を適用し、$V$ がすべての同次成分のチャーン類を含むことを示し、$V = Hdg(X)_{alg}$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 2つの射影的K3表面間の任意の有理的ホッジ等長写像は、それらの積上の代数的サイクルによって誘導されるか？
• RQ2 K3格子 $\Lambda_\mathbb{Q}$ の任意の有理的等長写像は、巡回型等長写像の合成に分解可能か？
• RQ3 K3表面のモジュライ空間における代数的コホロロジー類の部分環は、一様な層のチャーン類によって生成される部分環と一致するか？
• RQ4 中間のK3表面を経由して、ホッジ等長写像の代数的性質を巡回型等長写像のケースに還元できるか？
• RQ5 ハイパーケーラー多様体における代数的コホロロジー類の環は、一様な層のチャーン類によって生成されるか？

主な発見

• 射影的K3表面 $S_1$, $S_2$ 間の任意の有理的ホッジ等長写像 $\varphi: H^2(S_1, \mathbb{Q}) \to H^2(S_2, \mathbb{Q})$ は、$H^{2,2}(S_1 \times S_2, \mathbb{Q})$ に値をとる代数的コホロロジー類 $Z_\varphi$ を誘導する。
• K3格子 $\Lambda_\mathbb{Q}$ の有理的等長写像群は、巡回型等長写像によって生成されており、これにより特殊な代数的等長写像への還元が可能である。
• 任意の $n \geq 2$ に対して、K3表面 $S$ とその上の安定層のモジュライ空間 $M$ が存在し、$H^*(M, \mathbb{Q})$ のコホロロジー環が一様な層のチャーン類によって生成される。
• ハイパーケーラー多様体 $X$ 上の、一様な層のチャーン類によって生成される部分環 $V \subset H^*(X, \mathbb{Q})$ は、代数的コホロロジー類の環 $Hdg(X)_{alg}$ に一致する。
• チャーン類写像 $ch: K_{alg}(X) \to H^*(X, \mathbb{Q})$ は環準同型であり、その像は代数的コホロロジー類を生成する。
• 環 $V$ は自己同型 $r_2$（$H^{2i}$ 上での $2^i$ 倍）に関して不変であり、この対称性とバテルマン行列の議論を組み合わせることで、すべての同次成分の $ch(\mathcal{F})$ が $V$ に属することが保証される。