[論文レビュー] Relations between the Chow motive and the noncommutative motive of a smooth projective variety

Marcello Bernardara, Gonçalo Tabuada|arXiv (Cornell University)|Mar 13, 2013

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

ひとこと要約

本稿は、体上の滑らかで射影的多様体のチャウモチーフと非可換モチーフの間の明確な関係を確立する。非可換モチーフがユニット型（ユニットモチーフのコピーの直和）であるとき、チャウモチーフはレフシェッツ型であることを証明する—これは、既知の含意の逆が成り立つかどうかという核心的な問いに答える。この結果は、係数環にややきつい条件が課せられるが、R が主イデアル整域であるか、1/(2d)! を含む場合に成り立つ。

ABSTRACT

In this note we relate the notions of Lefschetz type, decomposability, and isomorphism, on Chow motives with the notions of unit type, decomposability, and isomorphism, on noncommutative motives. Examples, counter-examples, and applications are also described.

研究の動機と目的

• チャウモチーフがレフシェッツ型から非可換モチーフがユニット型への含意の逆が成り立つかどうかを特定すること。
• チャウモチーフと非可換モチーフの分解可能性の関係を調査すること。
• チャウモチーフの同型が非可換モチーフの同型を意味し、逆も成り立つかどうかを検討すること。
• 非可換モチーフがユニット型である場合に、対応するチャウモチーフがレフシェッツ型である条件を提供すること。
• モチーフの代数的構造とK理論やチャウ環といった幾何的不変量との間の明確な関係を確立すること。

提案手法

• 滑らかで射影的な多様体上の完全複体の代数的不変量を関連付けるために、dg圏から非可換モチーフへの普遍的加法的不変量関手 $ U(-)_{R} $ を用いる。
• モチーフの自己準同型環を比較するために、完全忠実関手 $ \theta $ と射影 $ \theta: \text{Chow}(k)_{R} \to \text{Chow}(k)_{R}/_{-\bigotimes R(1)} $ を適用する。
• 非可換設定におけるモチーフ的分解を導くために、$ \mathrm{perf}(X) $ の半直交分解を用いる。
• 局所化された圏における同型を確立するために、チエーン写像の同型 $ K_0(X)_{R[1/(2d)!]} \to \bigoplus_{i} CH^i(X)_{R[1/(2d)!]} $ を用いる。
• 非可換モチーフのテンソル積と直和との関係を、$ U(-)_{R} $ の対称モノイダル構造を用いて関連付ける。
• 代数的K理論と循環ホモロジーの結果を適用し、$ R $ が主イデアル整域であるか、$ 1/(2d)! \in R $ であるなどのややきつい仮定の下で、ユニット型非可換モチーフがレフシェッツ型チャウモチーフを意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 チャウモチーフがレフシェッツ型から非可換モチーフがユニット型への含意の逆が成り立つか。
• RQ2 チャウモチーフと非可問モチーフの分解可能性の性質はどのように関係しているか。
• RQ3 チャウモチーフの同型が非可換モチーフの同型を意味し、逆も成り立つか。
• RQ4 どのような条件下で非可換モチーフがユニット型であると、対応するチャウモチーフがレフシェッツ型であることが保証されるか。
• RQ5 局所化された圏 $ \text{Chow}(k)_{R[1/(2d)!]} $ において、チャウモチーフと非可換モチーフの自己準同型環の明確な関係は何か。

主な発見

• 本稿は、$ \mathbb{Z} \subseteq R $ かつ任意の有限生成射影 $ R[1/(2d)!] $-加群が自由であるという仮定の下で、非可換モチーフ $ U(\mathrm{perf}_{\mathsf{dg}}(X))_{R} $ がユニット型（ユニットモチーフのコピーの直和）であるならば、チャウモチーフ $ M(X)_{R} $ はレフシェッツ型であることを証明する。
• この逆含意は、$ R $ が主イデアル整域であるか、$ 1/(2d)! \in R $ である場合に成り立ち、非可換ユニット型がチャウレフシェッツ型を意味する明確な条件を提供する。
• 完全忠実関手 $ \theta $ を通じて、局所化された圏 $ \text{Chow}(k)_{R[1/(2d)!]} $ において、非可換モチーフの自己準同型環がチャウモチーフの自己準同型環と同型であることが示され、重要な代数的リンクが確立される。
• チエーン写像は同型 $ K_0(X)_{R[1/(2d)!]} \to \bigoplus_{i=0}^{d} CH^i(X)_{R[1/(2d)!]} $ を誘導し、これは局所化された設定におけるモチーフの同型を証明するために不可欠である。
• 半直交分解 $ \mathrm{perf}(X) $ から生じるモチーフ的分解 $ U(\mathrm{perf}_{\mathsf{dg}}(X))_{R} \simeq \bigoplus_{i=0}^{d-1} U(\underline{A}^{\bigotimes i})_{R} $ は、与えられた条件下でチャウモチーフの分解に持ち上がる。
• 局所化された圏 $ \text{Chow}(k)_{R[1/(2d)!]} $ において、$ M(X)_{R} \simeq M(Y)_{R} \Rightarrow U(\mathrm{perf}_{\mathsf{dg}}(X))_{R} \simeq U(\mathrm{perf}_{\mathsf{dg}}(Y))_{R} $ という含意が、$ 1/(2d)! \in R $ であるという仮定の下で成り立つ。