[論文レビュー] Orientable homotopy modules

Frédéric Déglise|arXiv (Cornell University)|May 23, 2010

Homotopy and Cohomology in Algebraic Topology被引用数 2

ひとこと要約

この論文は、モアルが提起した予想を証明しており、ヴェドフスキーのホモトピー不変的層を伴う移動構造が、正確にホップ写像ηが自明に作用するホモトピー加群であることを特定している。このような加群とロストのサイクル加群との間の同値性を確立することで、代数的コホモロジーの構造的基盤が提供され、モチーフコホモロジー スペクトラ H を通じて一般化されたコホモロジー理論における標準的なサイクル類の構成がなされる。

ABSTRACT

We prove a conjecture of Morel identifying Voevodsky's homotopy invariant sheaves with transfers with spectra in the stable homotopy category which are concentrated in degree zero for the homotopy t-structure and have a trivial action of the Hopf map. This is done by relating these two kind of objects to Rost's cycle modules. Applications to algebraic cobordism and construction of cycle classes are given.

研究の動機と目的

• ホモトピー加群に移動構造を備えたものと、η作用が自明なものの間の関係に関するモアルの予想を解明すること。
• ホモトピー加群に移動構造を備えたものとロストのサイクル加群との間の圏的同値性を確立すること。
• 一般化されたモチーフコホモロジー理論におけるサイクル類の体系的構成を提供すること。
• 安定モチーフホモトピー圏における環スペクトラの可換性の障害としてのホップ写像ηの役割を明確にすること。

提案手法

• 環スペクトラ上の加群の文脈において、ギジン三角形およびギジン準同型を用いて、η作用が自明なホモトピー加群をH加群と関連付ける。
• コニヴェランススペクトル系列を適用し、その微分を計算することで、コホモロジー群の構造を分析する。
• 先行研究に依拠し、ホモトピー加群に移動構造を備えたものは、有限生成体拡大におけるそのファイバーによって完全に決定されることを示す。
• コニヴェランススペクトル系列のE2項と、弱可換スペクトラのためのコホモロジースペクトル系列との間の標準的同型を構成する。
• ポストニコフ塔および切り捨てファンクターを用いて、モチーフスペクトラのためのコホモロジースペクトル系列を定義する。
• MGL加群の構造およびプッシュフォワード写像を用いて、スペクトル系列と整合するギジン準同型を定義する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー加群に移動構造を備えたものと、η作用が自明なホモトピー加群との間の正確な圏的関係は何か？
• RQ2 ファイバー上の代数的構造を用いて、ホモトピー加群に移動構造を備えたものをどのように特徴づけられるか？
• RQ3 安定モチーフホモトピー圏SH(k)における環スペクトラの可換性の障害として、ホップ写像ηが果たす役割は何か？
• RQ4 一般化されたモチーフコホモロジーにおけるサイクル類は、標準的に構成可能か？また、それらはプルバックおよびプッシュフォワードとどのような条件下で整合するか？
• RQ5 弱可換スペクトラに対して、コニヴェランススペクトル系列とコホモロジースペクトル系列のE2項はどの程度一致するか？

主な発見

• ホモトピー加群に移動構造を備えたものからホモトピー加群への関手γ∗は完全かつ忠実であり、その本質的像はηがゼロ作用するホモトピー加群に限られる。
• ホモトピー加群に移動構造を備えたものは、ロストのサイクル加群と同値であり、移動構造の完全な代数的記述が得られる。
• 任意の次元dの滑らかで連結なスキームXに対して、標準的写像MGL2d,d(X) → CH0(X)は同型である。
• 任意の弱可換スペクトラEに対して、π0(E)が可換であり、負の次数が消えるという条件下で、標準的サイクル類写像σX : CHn(X) → E2n,n(X)が存在する。
• 弱可換スペクトラに対して、コホモロジースペクトル系列とコニヴェランススペクトル系列のE2項は同型であり、微分と整合する。
• MGLの形式的群則における係数aijがψ: MGL → Eのもとで消えることから、環スペクトラの間の標準的準同型σ: H → Eの存在が導かれる。