[論文レビュー] Modules homotopiques (Homotopy modules)

Frédéric Déglise|arXiv (Cornell University)|Apr 30, 2009

Homotopy and Cohomology in Algebraic Topology被引用数 17

ひとこと要約

本稿は、ホモトピー不変被覆付き層の圏（HI(k)）が、サイクルモジュールの圏（MCycl(k)）へ完全忠実埋め込みであることを確立し、サイクルモジュールが非効果的モチーフ的安定ホモトピー圏 DM(k) 上の自然な t-構造のハートをなしていることを示している。さらに、DM(k) 内の滑らかな k-スキームにおけるコニヴェランススペクトル系列が、ホモトピー t-構造に関するハイパーコホモロジースペクトル系列と一致することを証明し、ブロッホとオグスの古典的結果を一般化している。

ABSTRACT

The proof of the coincidence of the Gysin morphism in motivic cohomology and the usual pushout on Chow groups has been improved (see Lemma 3.3 and Proposition 3.11)

研究の動機と目的

• ヴェドフスキーのホモトピー不変被覆付き層の圏（HI(k)）とロストのサイクルモジュールの圏（MCycl(k)）を比較すること。
• HI(k) が MCycl(k) に完全忠実に埋め込まれることを示し、その逆関手がゲルステン複体の零番目のコホモロジーによって与えられることを示すこと。
• この比較を非効果的モチーフ的圏 DM(k) に拡張し、MCycl(k) が DM(k) 上の自然な t-構造のハートであることを示すこと。
• DM(k) 内の滑らかな k-スキームにおけるコニヴェランススペクトル系列が、ホモトピー t-構造に関するハイパーコホモロジースペクトル系列と一致することを証明すること。
• ブロッホとオグスのコニヴェランススペクトル系列に関する古典的結果を、DM(k) の設定へ一般化すること。

提案手法

• 著者たちは、チジンスキーと著者による最近の非効果的モチーフ的圏 DM(k) の構成を用い、ヴェドフスキーの効果的モチーフ的圏を一般化している。
• 彼らは、シフト間の整合性同型を備えた Z-次数付き層として、ホモトピー層の次数付き版、すなわち「ホモトピー的モジュール」を定義する。
• 各ホモトピーモジュール F に対して、φ_n = Hom_{HI(k)}(G_m^{ ens n}, F) を割り当てることで、HI*(k) から MCycl(k) への関手を構成し、関連するサイクルモジュールを形成する。
• 関手 F ↦ φ を通じて、ホモトピーモジュール F のゲルステン分解が、サイクルモジュール φ に関連する複体 C*(X, φ) と同型であることを示す。
• DM(k) 上の t-構造を用いて、MCycl(k) と同値なハートをなす自然な t-構造を定義し、効果的圏上のホモトピー t-構造を一般化する。
• コニヴェランスフィルトレーションが、DM(k) 内の滑らかな k-スキーム X において、ホモトピー t-構造に関するハイパーコホモロジースペクトル系列と同じ系列を誘導することを示すことにより、スペクトル系列の一致を証明する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー不変被覆付き層の圏 HI(k) は、サイクルモジュールの圏 MCycl(k) に完全忠実に埋め込まれるか？
• RQ2 サイクルモジュールの圏 MCycl(k) は、非効果的モチーフ的圏 DM(k) 上の自然な t-構造のハートとして実現可能か？
• RQ3 DM(k) 内のコホモロジーにおけるコニヴェランススペクトル系列は、ホモトピー t-構造に関するハイパーコホモロジースペクトル系列と一致するか？
• RQ4 ホモトピーモジュールのゲルステン分解は、ロストのサイクルモジュール構成とどのように関係するか？
• RQ5 ホモトピーモジュールは、その関数体上のファイバーによってどの程度決定されるか？ そしてそれはサイクルモジュールとどのように関係するか？

主な発見

• ホモトピー不変被覆付き層の圏 HI(k) は、F ↦ {Hom_{HI(k)}(G_m^{ ens n}, F)}_n を通じて、サイクルモジュールの圏 MCycl(k) に完全忠実に埋め込まれる。
• サイクルモジュールの圏 MCycl(k) は、非効果的モチーフ的圏 DM(k) 上の自然な t-構造のハートと同値であり、効果的圏上のホモトピー t-構造を一般化する。
• DM(k) 内の滑らかな k-スキームのコホモロジーにおけるコニヴェランススペクトル系列は、DM(k) 上のホモトピー t-構造に関連するハイパーコホモロジースペクトル系列と同型である。
• ホモトピーモジュール F のゲルステン分解は、F によって定義されるサイクルモジュール φ に関連する複体 C*(X, φ) と自然に同型である。
• ホモトピーモジュール F からサイクルモジュールを F ↦ {Hom_{HI(k)}(G_m^{ ens n}, F)}_n を通じて構成する方法は、サイクルモジュール φ を A^0(., φ)（ゲルステン複体の零番目のコホモロジー）に送る関手の擬似逆関手を提供する。
• この結果は、古典的ブロッホ＝オグスのスペクトル系列の一致を、効果的圏から非効果的圏へ一般化している。