[論文レビュー] Finite Chow-Witt correspondences

Baptiste Calmès, Jean Fasel|arXiv (Cornell University)|Dec 9, 2014

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

ひとこと要約

この論文は、特性 ≠ 2 の完全体上での有限 MW-対応の圏を導入し、チャウ・ウット群に二次的データを組み込むことでヴェドフスキーの有限対応を一般化する。MW-モチビックコホロジー群を定義し、それらが古典的モチビックコホロジーを負の q-次数へと拡張する。ここで、Gersten-ウット複体のコホロジーと一致する。さらに、有限生成体拡張に沿ったベースチェンジが MW-対応の間で同型を誘導することを証明する。

ABSTRACT

We introduce the category of finite Chow-Witt correspondences over a perfect field k of characteristic not 2. We then use them to define bigraded generalized motivic cohomology groups of a smooth scheme over k and begin the study of their relationship with ordinary motivic cohomology groups.

研究の動機と目的

• ヴェドフスキーの有限対応の圏を、チャウ・ウット群からの二次的データを組み込むことで一般化すること。
• 相対 canonical バンドルが自明化された有限分離的準同型写像の転送を扱える新しい圏、有限 MW-対応を定義すること。
• 古典的モチビックコホロジーを負の q-次数へ拡張する MW-モチビックコホロジー群を構成すること。
• MW-モチビックコホロジーの基本的性質、特にベースチェンジとトレース写像を確立すること。
• アティヤ＝ヒルツブルー型スペクトル系列を用いたヘルミート K-理論および安定ホモトピー層の研究への応用の基盤を築くこと。

提案手法

• サポートを伴うチャウ・ウット群 $\widetilde{\mathrm{CH}}^d_T(X \times Y, \omega_Y)$ を用いて、圏 $\widetilde{\mathrm{Cor}}_k$ を定義する。
• 古典的対応関手を因数分解する関手 $\mathrm{Sm}_k \to \widetilde{\mathrm{Cor}}_k \to \mathrm{Cor}_k$ を構成する。
• MW-モチビックコホロジー群 $\mathrm{H}^{p,q}_{\mathrm{MW}}(X, \mathbb{Z})$ を $X$ 上の層の複体のハイパーコホロロジーとして定義する。
• Gersten-ウット複体を用いて、負の q-次数における MW-コホロジーをその複体のコホロジーと特定する。
• 有限生成体拡張 $L/k$ に対して、ベースチェンジ同型 $\Psi_{L/k}: \widetilde{\mathrm{Cor}}_k(X_L, Y) \xrightarrow{\sim} \widetilde{\mathrm{Cor}}_L(X_L, Y_L)$ を確立する。
• 合成写像 $\mathrm{tr}_{L/k} \circ \mathrm{bc}_{L/k}$ が $\mathrm{K}^\mathrm{MW}_0(k)$ 内のトレース形式による乗法作用を果たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ヴェドフスキーの有限対応の圏は、チャウ・ウット群からの二次的データを組み込むことでどのように一般化できるか？
• RQ2 滑らかなスキーム $X$ と整数 $p,q$ に対して、MW-モチビックコホロジー群 $\mathrm{H}^{p,q}_{\mathrm{MW}}(X, \mathbb{Z})$ の構造はいかなるものか？
• RQ3 有限生成体拡張に沿ったベースチェンジにおいて、MW-モチビックコホロジー群はどのように振る舞うか？
• RQ4 負の q-次数において、MW-モチビックコホロジーと Gersten-ウット複体の関係は何か？
• RQ5 MW-モチビックコホロジーは、より高いグローテンディーク＝ウット群を計算するアティヤ＝ヒルツブルー型スペクトル系列の基盤として機能できるか？

主な発見

• チャウ・ウット群からの二次的データを組み込むことで、圏 $\widetilde{\mathrm{Cor}}_k$ は $\mathrm{Cor}_k$ を拡張する。
• MW-モチビックコホロジー群 $\mathrm{H}^{p,q}_{\mathrm{MW}}(X, \mathbb{Z})$ は $q < 0$ に対して非自明であり、この範囲では Gersten-ウット複体のコホロジーと同型である。
• 任意の有限生成体拡張 $L/k$ に対して、ベースチェンジ写像 $\Psi_{L/k}: \widetilde{\mathrm{Cor}}_k(X_L, Y) \xrightarrow{\sim} \widetilde{\mathrm{Cor}}_L(X_L, Y_L)$ は同型である。
• MW-コホロジー上のベースチェンジとトレース写像の合成は、$\mathrm{K}^\mathrm{MW}_0(k)$ 内のトレース形式による乗法作用を果たす。
• MW-転送を持つ層は、古典的転送を持つ層に加えて、$\mathbf{K}^\mathrm{MW}_n$ や $\mathbf{H}^\mathrm{A}^1_i(\mathbb{G}_m^{\wedge n})$ のような、古典的転送を持たない層を含む。
• 圏 $\widetilde{\mathrm{Cor}}_k$ から構成される導来圏 $\widetilde{\mathrm{DM}}(k)$ は、古典的 $\mathrm{DM}(k)$ よりも $\mathrm{D}_{\mathbb{A}^1}^\mathrm{eff}(k)$ に近く、より洗練されたモチビックホモトピー理論を示唆する。