[論文レビュー] Bloch's conjecture and valences of correspondences for K3 surfaces

Claudio Pedrini|arXiv (Cornell University)|Oct 20, 2015

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

ひとこと要約

この論文は、複素数 K3 表面に対して、Bloch の予想 — つまり、ホモロジカルに自明な対応がアーベル・カーネルに自明に作用するという予想 — が、すべての対応が明確に定義された次数を持つことと同値であることを確立している。主な貢献は、次数を通じたモチビック有限性と Bloch の予想との間の構造的関係であり、その応用はシンプレクティック自己同型、定円曲線、および genus 3 から 6 の極形式 K3 表面の族におけるフランチェッティ型予想に及ぶ。

ABSTRACT

Bloch's conjecture for a surface $X$ over an algebraically closed field $k$ states that every homologically trivial correspondence $Γ$ acts as 0 on the Albanese kernel $T(X_Ω)$, where $Ω$ is a universal domain containing $k$. Here we prove that, for a complex K3 surface $X$, Bloch's conjecture is equivalent to the existence of a valence for every correspondence. We also give applications of this result to the case of a correspondence associated to an automorphisms of finite order and to the existence of constant cycle curves on $X$. Finally we show that Franchetta's conjecture, as stated by K.O'Grady, holds true for the family of polarized K3 surfacees of genus $g$, if $ 3 \le g \le 6$

研究の動機と目的

• 複素数 K3 表面における Bloch の予想と、すべての対応が次数を持つこととの同値性を確立すること。
• この同値性が有限群作用、特にシンプレクティック自己同型とそれらに付随するプロジェクターに与える影響を調査すること。
• K3 表面における定円曲線のモチビック特徴付けを提示し、それらをシンプレクティック群作用による商曲面に関連付けること。
• 3 ≤ g ≤ 6 である極形式 K3 表面の族に対して、フランチェッティの予想が成り立つかを検証し、一般化されたファイバー X_η のチャウ群 A₀ の有理型性と関連付けること。

提案手法

• K3 表面の洗練されたチャウ・クネンスキー分解を用いて、アーベル・カーネル T(X) を制御するトランスセンドタル・モチーフ t₂(X) を分離する。
• 対応の次数の概念を適用：対応 Γ が次数 v(Γ) を持つとは、Γ + v(Γ)Δ_X が退化対応のイデアル I(X) に属することを意味する。
• 有限群 G の自己同型作用に対して関連するプロジェクター p = (1/n)∑_{g∈G}Γ_g を分析し、シンプレクティック自己同型では v(p) = -1、非シンプレクティックでは v(p) = 0 であることを示す。
• 関数体上のチャウ・モチーブの圏における局所化系列とコロイミットの議論を用いて、一般ファイバーのチャウ群と全空間のそれとを関連付ける。
• 曲線上の族における A₀(X_η) ≃ ℚ と A²(𝒳) の有限次元性の同値性を用いて、フランチェッティ型の結果を証明する。
• モチービック技法を用いて、次数 ≠ -1 である対応の固定点曲線が必然的に定円曲線であることを示す。

実験結果

リサーチクエスチョン

• RQ1 複素数 K3 表面 X に対して、Bloch の予想は、A²(X×X) 内のすべての対応が次数を持つことと同値であるか？
• RQ2 K3 表面における有限群の自己同型作用に対して関連するプロジェクターの次数は何か？ そして、自己同型がシンプレクティックか否かに依存するか？
• RQ3 K3 表面における定円曲線はモチービック的に特徴付け可能か？ また、それらはシンプレクティック群作用による商曲面とどのように関係するか？
• RQ4 3 ≤ g ≤ 6 である極形式 K3 表面の族に対して、フランチェッティの予想は成り立つか？ そして、一般ファイバーの A₀ の有理型性とはどのように関連するか？
• RQ5 K3 表面の族 f:𝒳→S において、A²(𝒳) の有限次元性は、一般ファイバーにおける A₀ の有理型性とどのように関係するか？

主な発見

• 複素数 K3 表面 X に対して Bloch の予想が成り立つことは、A²(X×X) 内のすべての対応が明確に定義された次数を持つことと同値である。
• K3 表面における有限群 G の自己同型作用に対して、関連するプロジェクター p は、すべての自己同型がシンプレクティックであれば次数 -1、非シンプレクティックであれば次数 0 を持つ。
• G がシンプレクティックに作用するとき、X 上の G-固定の定円曲線と、X/G の最小的特異点解消 Y 上の定円曲線との間に 1 対 1 の対応が存在する。
• 3 ≤ g ≤ 6 である極形式 K3 表面の族に対して、フランチェッティの予想が成り立つことは、一般ファイバー X_η に対して A₀(X_η) ≃ ℚ であることと同値である。
• 滑らかな底 S 上の K3 表面の族 f:𝒳→S において、A₀(X_η) ≃ ℚ であることと、A²(𝒳) が ℚ ベクトル空間として有限次元であることとは同値である。
• 次数 ≠ -1 である対応の固定点曲線は、必然的に定円曲線であり、これによりその存在のモチビック基準が得られる。