[論文レビュー] On the splitting of the Bloch-Beilinson filtration

Arnaud Beauville|ArXiv.org|Mar 22, 2004

Nonlinear Waves and Solitons参考文献 5被引用数 33

ひとこと要約

この論文は代数幾何における弱分割性を調査し、正則シンプレクティック多様体が、コホロロジーにおける除数類の有理関係がチャウ環においても成立することを提案している。主な結果として、K3表面 $S$ のヒルベルトスキーム $S^{[2]}$ および $S^{[3]}$ に対してこの性質が示され、チャウ環内の深い関係とコホロロジー的技法を用いて証明されており、シンプレクティック構造とBloch-Beilinsonフィルトレーションの間の可能性ある関係を示唆している。

ABSTRACT

For a smooth projective variety X, let CH(X) be the Chow ring (with rational coefficients) of algebraic cycles modulo rational equivalence. The conjectures of Bloch and Beilinson predict the existence of a functorial ring filtration of CH(X). We want to investigate for which varieties this filtration splits, that is, comes from a graduation on CH(X) -- this occurs for K3 surfaces and, conjecturally, for abelian varieties. We observe that, though the Bloch-Beilinson filtration is only conjectural, the fact that it splits has some simple consequences which can be tested in concrete examples. Namely, for a regular variety X, it implies that the sub-Q-algebra of CH(X) spanned by divisor classes injects into the cohomology of X . We give examples of Calabi-Yau threefolds which do not satisfy this property. On the other hand we conjecture that the property does indeed hold for (holomorphic) symplectic manifolds, and we give some (weak) evidence in favour of this conjecture.

研究の動機と目的

• 特定の代数的多様体に対してBloch-Beilinsonフィルトレーションが弱分割性を意味する形で分割するかどうかを調査すること。
• 正則シンプレクティック多様体が、除数類のコホロロジー的関係がチャウ環に引き上げられることを示す予想を検証すること。
• K3表面 $S$ に関連するヒルベルトスキーム $S^{[2]}$ および $S^{[3]}$ に対して、$S^2$ および $S^3$ のチャウ環における既知の関係を用いて弱分割性を確立すること。
• 弱分割性の幾何学的およびコホロロジー的帰結、特にチャウ環の構造とサイクル類写像との関係を調査すること。

提案手法

• 除数類が生成する部分代数上でサイクル類写像 $c_X: DCH(X) \to CH(X)$ が単射であることを弱分割性として定義する。
• K3表面 $S$ の $S^2$ および $S^3$ のチャウ環の構造を用い、[B-V] の結果に依拠して $CH(S^{[2]})$ および $CH(S^{[3]})$ における関係を導出する。
• 自己同型 $\iota$ の使用や、ブ lows-up および射影による押し出しを含むコホロロジー的技法を用いて、$H^8(S \times S^{[2]})$ のクラスを分析する。
• 各 $\omega \in H^{2,0}(S)$ に対して $h(\xi) = (\mathrm{pr}_2)_*(\mathrm{pr}_1^*\omega \cdot \xi)$ という写像を用い、非自明な関係を検出するとともに、$\iota([o]) \notin DH^4(S^{[2]})$ を示し、$S^{[3]}$ におけるサイクル類写像の単射性を証明する。
• 非自明な関係が $DH^8(S \times S^{[2]})$ に存在しないことから、$S^{[3]}$ における弱分割性が示され、$DCH$ 上でのサイクル類写像の単射性が保証される。
• Mukaiフロップに関する不変性を活用し、弱分割性が特定の双有理変換のもとで保存されることを主張し、そのより広範な妥当性を支持する。

実験結果

リサーチクエスチョン

• RQ1 正則シンプレクティック多様体、特にK3表面のヒルベルトスキームに対して弱分割性は成立するか？
• RQ2 既知のチャウ環の関係を用いて、$S^{[3]}$ における除数生成部分代数上でのサイクル類写像の単射性を確立できるか？
• RQ3 弱分割性はMukaiフロップに関して不変であるか？ これはより深い幾何的安定性を示唆するか？
• RQ4 シンプレクティック形式はチャウ環の構造とそのフィルトレーションを制約する役割を果たすか？
• RQ5 弱分割性は、立方体五fold の直線のファノ多様体のような一般のシンプレクティック4次元多様体へ拡張可能か？

主な発見

• K3表面 $S$ のヒルベルトスキーム $S^{[2]}$ に対して弱分割性が成立し、サイクル類写像 $c_{S^{[2]}}: DCH(S^{[2]}) \to CH(S^{[2]})$ が単射である。
• $S^{[3]}$ に対しては詳細なコホロロジー的解析を通じて、$DH^8(S \times S^{[2]})$ に非自明な有理関係が存在しないことが示され、これが $DCH(S^{[3]})$ 上での単射性を示唆する。
• $\iota([o])$ が $DH^4(S^{[2]})$ に属さないことは、$S^{[3]}$ におけるサイクル類写像の単射性を証明する上で重要な段階である。
• 弱分割性はMukaiフロップに関して不変であり、特定の双有理変換のもとで安定である可能性を示唆する。
• $S^{[3]}$ の証明は、[B-V] で確立された $S^2$ および $S^3$ のチャウ環における非自明な関係に依存しており、深い代数的幾何的道具の必要性を示している。
• 結果は、すべての射影的正則シンプレクティック多様体が弱分割性を満たすという予想を支持しているが、一般には未解決のままである。