[論文レビュー] Symplectic involutions of K3 surfaces act trivially on CH_0

Claire Voisin|arXiv (Cornell University)|Apr 30, 2012

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

ひとこと要約

この論文は、K3表面のシンプレクティックな自己同型が Chow 群 CH₀ に自明に作用することを、商表面上の曲線のエタール二重被覆のプリム多様体を用いて証明する。反変 0-サイクルの群がロイタマンの意味でフィニット次元的であることを示し、一般化されたロイタマン定理を適用することで、そのようなサイクルが有理同値にゼロに等しいことを結論づけ、したがって自己同型が CH₀ に恒等的に作用することを示す。

ABSTRACT

Symplectic involutions of a K3 surface are those involutions which leave the holomorphic 2-form invariant. We show, as predicted by Bloch's conjecture, that they act trivially on the CH_0 group of the K3 surface. This was recently proved by Huybrechts and Kemeny for one of the three types of symplectic involutions.

研究の動機と目的

• K3 表面の CH₀ におけるシンプレクティック自己同型の作用に関する予想を解決すること。
• H^{2,0} に自明に作用する有限群作用が、CH₀ の反変部分に自明に作用することを確立すること。
• 特定の K3 表面の族から得られた結果を、一般のシンプレクティック自己同型の一般ケースに一般化すること。
• 幾何的およびコホロロジー的技法を用いて、K3 表面における i-反変 0-サイクルの群が CH₀ で自明であることを証明すること。

提案手法

• 商表面 S/i を用いて、S/i に含まれる一般の豊富な曲線 C ⊂ S/i のエタール二重被覆を研究する。
• genus g の曲線に対して (g−1) 次元のアーベル多様体であるプリム多様体の理論を適用する。
• CH²(S×S) 内の対応 Γ = Δ_S − Graph(i) を構成し、CH₀(S) 上の作用を分析する。
• Γ_* の S^g 上の像が、次元 2g−1 を持つプリムファイブレーションを通して因数分解されることを示す。
• 写像 f: U → P(𝓒̃/𝓒) が正次元のファイバーを持つことから、反変サイクルが有理同値であることを導く。
• 一般化されたロイタマン定理（定理 1.3）を適用し、i-反変 0-サイクルの群が CH₀(S) で自明であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 K3 表面におけるシンプレクティック自己同型は CH₀(S) に自明に作用するか？
• RQ2 シンプレクティック自己同型の下での CH₀(S) の反変部分が自明であることを示せるか？
• RQ3 商表面上の曲線のエタール二重被覆の幾何は、CH₀(S) の構造とどのように関係するか？
• RQ4 ロイタマンの意味での反変 0-サイクルの群のフィニット次元性を用いて、CH₀ での自明性を証明できるか？
• RQ5 プリム多様体の構成は、特定の K3 表面の族から一般ケースへの結果の拡張をどの程度可能にするか？

主な発見

• K3 表面 S における i-反変 0-サイクルの群は CH₀(S) で自明であり、i_* が CH₀(S) 上で恒等的に作用することを意味する。
• 対応 Γ_*: S^g → CH₀(S)^− は、次元 2g−1 を持つプリムファイブレーションを通して因数分解される。
• 任意の s ∈ S^g に対して、サイクル z_s = ∑s_l − i(∑s_l) は、S^{g−1} に支持されるサイクルと有理同値である。これは Γ_*(S^g) ⊂ Γ_*(S^{g−1}) を意味する。
• サイクル c_S は i-不変であり、Γ_*(c_S) = 0 である。これは CH₀ 上での作用の自明性を支持する。
• 結果は、特殊な族に限らず、すべての代数的 K3 表面に、シンプレクティック自己同型が存在する場合に普遍的に成り立つ。
• 証明は、写像 f: U → P(𝓒̃/𝓒) が正次元のファイバーを持つという事実に依存しており、これによりファイバー間でのサイクルの有理同値性が保証される。