[論文レビュー] MW-motivic complexes

Frédéric Déglise, Jean Fasel|arXiv (Cornell University)|Aug 21, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 20

ひとこと要約

本稿は、二次形式を係数とする有限チャウ・ウット対応に基づき、MW-モチーフ的複体の新しい理論を展開し、ヴェドフスキーのフレームワークに並行するモチーフ的ホモトピー理論を構築する。MW-モチーフ的コホモロジー群がハイパーセクトル・スペクトル系列を通じてチャウ・ウット群に同型であることを確立し、コホモロジー層が厳密にA¹不変であることを証明することで、古典的モチーフ的コホモロジーとの完全な比較が可能となり、MW-モチーフ的コホモロジーとグレーディングされたチャウ・ウット環の間の環同型が得られる。

ABSTRACT

The aim of this work is to develop a theory parallel to that of motivic complexes based on cycles and correspondences with coefficients in quadratic forms. This framework is closer to the point of view of $\mathbb{A}^1$-homotopy than the original one envisioned by Beilinson and set up by Voevodsky.

研究の動機と目的

• MW-対応に基づくモチーフ的ホモトピー理論を構築し、ヴェドフスキーのフレームワークを二次形式を含む形に拡張すること。
• 有効なMW-モチーフの圏とその安定化を構成し、環Rを係数とするコホモロジー理論を可能にすること。
• MW-モチーフ的複体のコホモロジー層が厳密にA¹不変であることを証明し、古典的モチーフのヴェドフスキーの定理に類似した性質を示すこと。
• MW-モチーフ的コホモロジーとチャウ・ウット群の比較を確立し、高次元においてそれらが同型であることを示すこと。
• MW-モチーフ的複体のハイパーセクトル・スペクトル系列が、MW-モチーフ的コホモロジーとミルナー・ウットK理論層のコホモロジーの間の同型を誘導することを示すこと。

提案手法

• [CF14]の有限チャウ・ウット対応のカテゴリを基盤とし、環Rを係数とするMW-対応を定義する。
• MW-転送を持つ層および前層を構成し、ヴェドフスキーの手法の変種を用いて、MW-前層の関連層がMW-層であることを証明する。
• フレームド対応の理論を適用し、[GP15]の結果を活用して、ホモトピー的不変なMW-前層に付随する層が厳密にA¹不変であることを証明する。
• A¹導来カテゴリおよびMW-層の安定A¹導来カテゴリを定義し、有効なMW-モチーフの圏をA¹局所化対象として構成する。
• ススリンの総複体を用いて、明示的なA¹局所化関手を定義し、厳密にA¹不変なホモロジー層によって有効なMW-モチーフを特徴付ける。
• 複体$\tilde{\mathbb{Z}}(n)$に対するハイパーセクトル・スペクトル系列を適用し、コホモロジー層を計算し、ミルナー・ウットK理論層との同型を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的有限対応の代わりにMW-対応を用いることで、どのようにモチーフ的ホモトピー理論を構築できるか？
• RQ2 MW-モチーフ的複体のコホモロジー層の構造は何か？ そして、それらは厳密にA¹不変か？
• RQ3 MW-モチーフ的コホモロジーは、どれほどチャウ・ウット群と一致するか？
• RQ4 ハイパーセクトル・スペクトル系列は、MW-モチーフ的コホモロジーとミルナー・ウットK理論の関係をどのように規定するか？
• RQ5 MW-モチーフ的ホモトピーにおけるトム同型は、ベクトルバンドルのチャウ・ウット群とどのように関係するか？

主な発見

• MW-モチーフ的複体$\tilde{\mathbb{Z}}(n)$のコホモロジー層$\mathbf{H}_{\mathrm{MW}}^{q,n}$は、$q > n$ または $p \geq n$ かつ $q \neq n$ のとき消える。これはスペクトル系列の台を制限する。
• 任意の滑らかなスキーム$X$と$n \in \mathbb{N}$に対して、自然な同型$\mathrm{H}^{2n,n}_{\mathrm{MW}}(X,\mathbb{Z}) \simeq \widetilde{CH}^n(X)$が存在し、トップ次数におけるMW-モチーフ的コホモロジーがチャウ・ウット群に同型であることを示す。
• 複体$\tilde{\mathbb{Z}}(n)$のハイパーセクトル・スペクトル系列は、$p \geq 2n-1$のとき、同型$\mathrm{H}^{p,n}_{\mathrm{MW}}(X,\mathbb{Z}) \simeq \mathrm{H}^{p-n}(X, \mathbf{K}^\mathrm{MW}_n)$を誘導し、MW-モチーフ的コホモロジーとミルナー・ウットK理論を結びつける。
• 同型$\mathrm{H}^{2n,n}_{\mathrm{MW}}(X,\mathbb{Z}) \simeq \widetilde{CH}^n(X)$は函手的であり、環構造を保存するため、MW-モチーフ的コホモロジーとチャウ・ウット環の間のグレーディングされた環同型を誘導する。
• スキーム$X$上のベクトルバンドル$E$のトム空間は、$\operatorname{Hom}_{\widetilde{\mathrm{DM}}(k,\mathbb{Z})}(\mathrm{Th}(E), \tilde{\mathbb{Z}}(n)[2n]) \simeq \widetilde{CH}^{n-r}(X, \det E)$を満たし、MW-モチーフ的トム同型が確認される。