[論文レビュー] Bloch's Conjecture and Chow Motives

Morihiko Saito|ArXiv.org|Feb 1, 2000

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

ひとこと要約

この論文は、p_g = 0 を満たす滑らかで射影的な曲面に対して、Bloch予想、 Chow群コホモロジーにおける核の冪零性、およびアーベル変換の単射性の3つが同値であることを確立する。これらの条件下で、Chow群における核イデアルの立方が0であることを証明し、Murreの分解とBeilinson型予想を通じて、モチーフ的分解、ホッジ理論、サイクル写像の単射性を結びつける。

ABSTRACT

Let X be a complex surface with no nontrivial 2-forms. Then we show that Bloch's conjecture is true (i.e. the Albanese map in this case is injective) if and only if any homologically trivial idempotent in the ring of correspondences vanishes. Furthermore the cube of the ideal of homologically trivial correspondences is zero if these equivalent conditions are satisfied (e.g. if X is not of general type).

研究の動機と目的

• 滑らかで射影的な曲面におけるBloch予想とChowモチーフの構造との関係を調査すること。
• Chow群からコホモロジーへのサイクル写像の核が冪零となる条件を特定すること。
• 3つの主要な予想的条件の同値性を確立すること：(0.1) 自己同型的でコホモロジーが自明なChowのイデアルの消滅、(0.2) 核イデアルの冪零性、(0.3) アーベル写像の単射性。
• p_g = 0 で一般型でない曲面に対して、核イデアルの立方が0であることを証明し、モチーフ的分解に関する理解を深めること。

提案手法

• CH^2(X × X)_Q における直交的イデアル π_i を用いたMurreのChowモチーフ分解の構成を用いる。
• ホッジ理論と Künneth分解を適用し、Chow対応とコホモロジー的作用を関連付ける。
• サイクル写像とその除法の場合の単射性を用いて、CH^2(X × X)_Q → H^4(X × X, Q)(2) の核を分析する。
• Beilinsonの議論の変種を用い、Bloch予想をコホモロジー類が自明なイデアルの消滅に還元する。
• 有限生成体へのベース・チェンジと一般化されたファイバー制限を用い、有理同値問題を複素幾何学に還元する。
• 混合ホッジモジュールの導来カテゴリ技術を適用し、Ext^2 項の消滅を示し、冪零性を支援する。

実験結果

リサーチクエスチョン

• RQ1 アーベル写像の単射性は、CH^2(X × X)_Q における核イデアルの冪零性（およびその立方の消滅）を意味するか？
• RQ2 p_g = 0 である曲面に対して、3つの条件—(0.1) コホモロジーが自明なChowのイデアルの消滅、(0.2) 核イデアルの冪零性、(0.3) アーベル写像の単射性—は論理的に同値か？
• RQ3 p_g = 0 のとき、Bloch予想はChowモチーフ分解における特定のイデアルの消滅に還元可能か？
• RQ4 p_g = 0 で不正則性が非ゼロである曲面に対して、CH^2(X × X)_Q における核イデアルの正確な冪零指数は何か？
• RQ5 H^1(X, Q) ≠ 0 のとき、核イデアルの平方は消えるか、それとも立方しか消えないのか？

主な発見

• p_g = 0 である滑らかで射影的な曲面に対して、3つの条件 (0.1)、(0.2)、(0.3) は同値である。
• アーベル写像が単射であれば、CH^2(X × X)_Q における核イデアルの立方は0である。
• 不正則性 q = dim H^1(X, Ω^1) が非ゼロのとき、核イデアルの平方は消えない。
• p_g = 0 で一般型ではない場合、核イデアルの立方は0である。これはBloch予想の帰結を確認する。
• 証明は除法の場合のサイクル写像の単射性と、混合ホッジモジュールを用いた導来カテゴリ的議論に依存する。
• 結果として、Bloch予想は、コホモロジー類が自明なCH^2(X × X)_Q 内のイデアルの消滅に還元される。