[論文レビュー] Opérations de Steenrod motiviques

Joël Riou|arXiv (Cornell University)|Jul 12, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 9

ひとこと要約

この論文は、特性 ≠ ℓ である完全体上のモチビックコホモロジーに Z/ℓZ 係数をもつモチビックスティーナーディ操作の修正され、きめ細やかな構成を提供する。G- torsor とねじれた Eilenberg-Mac Lane 空間を用いて、安定かつ相対的なスティーナーディスイスム型の枠組みを確立し、特性 0 の体上ではモチビックコホモロジースペクトラに非ゼロの「スーパー・ファンタム」自己準同型が存在しないことを証明する。

ABSTRACT

This article fills some gaps in Voevodsky's construction of the Steenrod operations acting on the motivic cohomology with coefficients in Z/lZ of motivic spaces in the sense of Morel and Voevodsky over a perfect field of characteristic different from l. Moreover, as a consequence of the method of proof of a theorem by Voevodsky on stable cohomology operations, we show that the spectrum that represents motivic cohomology with coefficients Z/lZ has no nonzero "superphantom" endomorphism.

研究の動機と目的

• ヴェドフスキーのモチビックコホモロジーに Z/ℓZ 係数をもつモチビックスティーナーディ操作の構成を修正・完成すること。
• ヴェドフスキーの 2003 年論文における、縮小作用素に関する元の証明技法の穴や曖昧さを解消すること。
• 相対的スティーナーディスイスム型と G- torsor を用いた、安定モチビックコホモロジー作用素の堅牢な枠組みを確立すること。
• 特性 0 の体上では、Z/ℓZ 係数をもつモチビックコホモロジースペクトラに非ゼロの「スーパー・ファンタム」自己準同型が存在しないことを証明すること。
• ヴェドフスキーの元の論文に依存しないが、負の P^i および μ_2 分類空間関係に関する特定の結果を除いて、独立して読める一貫性のある取り扱いを提供すること。

提案手法

• G が有限集合に作用する有限群であるとき、滑らかな底スキーム上の G- torsor に関連するファイブレーションに対する相対的スティーナーディスイスム型を導入する。
• 点付きモチビックホモトピー圏 H_•(S) 内の写像 K_r → K_ξ^r を通じて、自然変換 H^{2r,r}(X) → H^{2rn,rn}(X × (G\U)) を構成する。
• 底スキーム S 上のベクトルバンドル E に関連するねじれた Eilenberg-Mac Lane 空間 K_E を用い、そのホモトピー型が E のランクにのみ依存することを示す。
• G- torsor のテンソル積による作用の合成則を確立し、G × G' の積作用のための作用素の構成を可能にする。
• 対称性定理（定理 3.5.1）を適用して、モチビックスティーナーディ操作のアデム関係を導出する。
• モチビックホモトピー圏、A^1-ホモトピー論、およびモチビックスティーナーディ代数 A^{*,*} 及びその双対 A_*,* の構造に依存する。

実験結果

リサーチクエスチョン

• RQ1 ヴェドフスキーのモチビックスティーナーディ操作の構成は、技術的穴がある状況でどのように修正され、完成されるか？
• RQ2 G- torsor と相対的スティーナーディスイスム型は、安定モチビックコホモロジー作用素を定義する上で果たす役割は何か？
• RQ3 群作用の合成およびテンソル積の下で、これらの作用素はどのように振る舞うか？
• RQ4 対称性定理は、モチビック設定におけるアデム関係にどのような意味を持つのか？
• RQ5 特性 0 の体上では、Z/ℓZ 係数をもつモチビックコホモロジースペクトラに非ゼロの「スーパー・ファンタム」自己準同型が存在するか？

主な発見

• この論文は、特性 ≠ ℓ である完全体上の Z/ℓZ 係数をもつモチビックコホモロジーに、モチビックスティーナーディ操作 P^i および B^i の完全かつ修正された構成を提供する。
• Z/ℓZ 係数をもつモチビックコホモロジースペクトラは、特性 0 の体上では非ゼロの「スーパー・ファンタム」自己準同型をもたないことが示された。
• 構成は、G- torsor に対する相対的スティーナーディスイスム型に基づき、H_•(S) 内の写像 K_r → K_ξ^r を通じて作用素を定義する。
• 対称性定理（定理 3.5.1）は、モチビックスティーナーディ操作のアデム関係を示し、古典的代数的トポロジーと一貫していることを確認する。
• この方法により、G- torsor の合成を通じて作用素を体系的に構成でき、群の積への一般化が可能になる。
• 論文は、ヴェドフスキーの定理 6.10 で述べられたように、B_ét μ_2 の mod 2 コホモロジーにおける関係 u^2 = τv + ρu が成り立つことを確認し、新しい枠組みを用いて証明を提供する。