[論文レビュー] Algebraic cycles on a generalized Kummer variety

Ze Xu|arXiv (Cornell University)|Jun 13, 2015

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

ひとこと要約

本稿は、複素アーベル曲面に付随する一般化されたクーマー多様体のチャウモチーフを計算し、それがそのアーベル曲面のモチーフによって生成される剛体テンソル部分カテゴリ内にあることを示している。主な結果は、一般化されたクーマー多様体のモチーフが、アーベル多様体の商のモチーフのテートねじれの直和として表される自然な同型であり、これが、それらの多様体の積におけるホッジ予想が成り立つこと、およびすべての数値的に自明な1次サイクルがスモーズ・ニルポテンティであることを示唆する。

ABSTRACT

We compute explicitly the Chow motive of any generalized Kummer variety associated to any abelian surface. In fact, it lies in the rigid tensor subcategory of the category of Chow motives generated by the Chow motive of the underlying abelian surface. One application of this calculation is to show that the Hodge conjecture holds for arbitrary products of generalized Kummer varieties. As another application, all numerically trivial 1-cycles on arbitrary products of generalized Kummer varieties are smash-nipotent.

研究の動機と目的

• 一般化されたクーマー多様体のチャウモチーフを、複素アーベル曲面に付随するものとして計算すること。
• 一般化されたクーマー多様体の任意の積におけるホッジ予想が成り立つことを示すこと。
• 一般化されたクーマー多様体の積上のすべての数値的に自明な1次サイクルがスモーズ・ニルポテンティであることを証明すること。

提案手法

• 写像 $\alpha = \sigma \circ \pi$ を通じた一般化されたクーマー多様体 $K^{[n]}$ の自然な層化を構成し、その層は分割 $\lambda \in P(n)$ および $A[e(\lambda)]$ のねじれ点 $\tau$ でインデックス付けされる。
• 正規化写像 $K_{\tau}^{(\lambda)} \to \overline{K}_{\lambda,\tau}^{(n)}$ を定義し、ここで $K_{\tau}^{(\lambda)}$ はアーベル多様体の商のねじれ平行移動である。
• 分解定理および対応の位相的実現を用いて、対角 $\Delta_{K^{[n]}}$ の明示的な分解を、直交する冪等元に構成する。
• チャウモチーフの自然な同型を確立する: $h(K^{[n]}) \cong \bigoplus_{\lambda \in P(n)} \bigoplus_{\tau \in A[e(\lambda)]} h(K_{\tau}^{(\lambda)}) \otimes \mathbb{L}^{n - \ell(\lambda)}$、ここで $\mathbb{L}$ はレフシェーツモチーフである。
• この結果を $A \times K^{[n]}$ のモチーフへと精錬する: $h(A \times K^{[n]}) \cong \bigoplus_{\lambda, \tau} h(A^{(\lambda)}) \otimes \mathbb{L}^{n - \ell_{\lambda}}$、これは [GS93] の結果を精錬する。
• モチーフの分解とアーベル多様体上の1次サイクルに関する既知の結果を適用し、一般化されたクーマー多様体の積上の数値的に自明な1次サイクルのスモーズ・ニルポテンスを導出する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたクーマー多様体のチャウモチーフは、その基盤となるアーベル曲面のモチーフによって生成される剛体テンソル部分カテゴリに属するか？
• RQ2 一般化されたクーマー多様体の任意の積におけるホッジ予想は成り立つか？
• RQ3 一般化されたクーマー多様体の積上のすべての数値的に自明な1次サイクルはスモーズ・ニルポテンティか？

主な発見

• 一般化されたクーマー多様体 $K^{[n]}$ のチャウモチーフは、アーベル多様体の商のモチーフのテートねじれの直和に同型である: $h(K^{[n]}) \cong \bigoplus_{\lambda \in P(n)} \bigoplus_{\tau \in A[e(\lambda)]} h(K_{\tau}^{(\lambda)}) \otimes \mathbb{L}^{n - \ell(\lambda)}$。
• $A \times K^{[n]}$ のモチーフは、精錬された分解を備える: $h(A \times K^{[n]}) \cong \bigoplus_{\lambda, \tau} h(A^{(\lambda)}) \otimes \mathbb{L}^{n - \ell_{\lambda}}$、これは [GS93] のホッジ理論的公式を精錬する。
• 一般化されたクーマー多様体 $K_1^{[n_1]} \times \cdots \times K_r^{[n_r]}$ の積におけるホッジ予想は成り立つ。そのモチーフはアーベル曲面のモチーフから構成され、アーベル曲面の積におけるホッジ予想は成り立つからである。
• 一般化されたクーマー多様体の積上のすべての数値的に自明な1次サイクルはスモーズ・ニルポテンティである。これは、アーベル多様体の商上の1次サイクルに還元し、[Seb13] の結果を適用することで示された。
• モチーフの分解により、このような積上の1次サイクルのチャウ群は、アーベル多様体の積のチャウ群の直和に分解され、その中で数値的に自明なサイクルは代数的に自明である。
• この結果は、一般化されたクーマー多様体の積の文脈において、ヴォエヴォズキーのスモーズ・ニルポテンスに関する予想を裏付ける。