[論文レビュー] The Hurewicz and Conservativity Theorems for SH(k) to DM(k)

Tom Bachmann|arXiv (Cornell University)|Jun 24, 2015

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

ひとこと要約

本稿は、SH(k)における0接続的モチーフ的スペクトラ E の0番目のモチーフ的ホモトピー群と、DM(k)におけるその関連モチーフ ME の h_0 の間の明確な関係を確立する。k が有限な2-エタールコhomological次元を持つとき、モチーフ関手 M はコンパクトスペクトラ上で忠実であり、Picard群への写像が単射であることが示され、結果として代数的K理論とコhomological有限性を介してモチーフ的ホモトピー理論とモチーフ的ホモロジーを結びつける。

ABSTRACT

Given a 0-connective motivic spectrum E in SH(k) over a perfect field k, we determine h_0 of the associated motive ME in DM(k) in terms of pi_0(E). Using this we show that if k has finite 2-\'etale cohomological dimension, then the functor M is conservative when restricted to the subcategory of compact spectra, and induces an injection on Picard groups.

研究の動機と目的

• SH(k)における0接続的モチーフ的スペクトラ E に対応する、DM(k)におけるモチーフ ME の h_0 を特定すること。
• モチーフ関手 M: SH(k) → DM(k) が、コンパクトスペクトラの部分圏上で忠実であるための条件を確立すること。
• 特に単射性に注目して、モチーフ関手 M によるPicard群への誘導写像を分析すること。
• ベース体 k におけるコhomological有限性条件を介して、モチーフ的ホモトピー理論とモチーフ的ホモロジーを結びつけること。
• 古典的ホモトピー理論におけるホイッチャーと忠実性の定理を、完備体上のモチーフ的安定ホモトピー理論の設定へと拡張すること。

提案手法

• SH(k)における E の0接続性を用いて、モチーフ的設定におけるホイッチャー準同型の普遍性を通じて、DM(k)における関連モチーフ ME の分析を行う。
• モチーフ的設定におけるホイッチャー写像の普遍性を用いて、SH(k)における π₀(E) を DM(k)における h₀(ME) と関連付ける。
• k の2-エタールコhomological次元の有限性条件を適用し、コンパクト対象上のモチーフ関手 M の振る舞いを制御する。
• モチーフ的ホモトピー理論の技術を用い、特に SH(k) のモチーフ的安定ホモトピー圏と DM(k) のモチーフの導来圏の構造を活用する。
• k の有限な2-エタールコhomological次元に依存する、コンパクト対象上での M の忠実性基準を用いる。
• ラインバンドルの M における振る舞いを分析することで、コンパクト対象上のPicard群への誘導写像を研究し、忠実性結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 0接続的モチーフ的スペクトラ E の0番目のモチーフ的ホモトピー群 π₀(E) と、DM(k)における h₀(ME) の関係は何か？
• RQ2 ベース体 k に対してどのような条件下で、モチーフ関手 M: SH(k) → DM(k) がコンパクトスペクトラの部分圏上で忠実になるか？
• RQ3 コンパクトスペクトラに制限したとき、モチーフ関手 M はPicard群に単射を誘導するか？
• RQ4 k の有限な2-エタールコhomological次元は、M の忠実性および単射性の性質において果たす役割は何か？
• RQ5 古典的ホモトピー理論におけるホイッチャーと忠実性の定理は、完備体上でのモチーフ的設定へと拡張可能か？

主な発見

• DM(k)におけるモチーフ ME の h₀ は、SH(k)におけるモチーフ的スペクトラ E の0番目のホモトピー群 π₀(E) と自然に同型である。
• k が有限な2-エタールコhomological次元を持つとき、関手 M は SH(k) 内のコンパクト対象の全部分圏上で忠実である。
• モチーフ関手 M は、SH(k) と DM(k) のコンパクト部分圏のPicard群に単射写像を誘導する。
• M がコンパクトスペクトラ上で忠実であることは、k の2-エタールコhomology における有限性条件によって確立される。
• 本結果は、古典的ホイッチャーおよび忠実性の定理を、2-エタールコhomological次元が有限な完備体上でのモチーフ的設定へと拡張する。