[論文レビュー] On the Conservativity of Some Functors in Motivic Homotopy Theory

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

Homotopy and Cohomology in Algebraic Topology被引用数 3

ひとこと要約

この論文は、完備体 k 上の 0-接続的モチビックスペクトラム E に関連するモチーフ的スペクトラム M E の h_0 を π₀(E) で記述し、k が有限の 2-étale コホモロジー次元を持つとき、関手 M がコンパクトスペクトラム上で忠実であることを証明する。また、k が有限の仮想 2-étale コホモロジー次元を持つ場合に、実モチーフを用いてこの結果を拡張し、Rondings-Østvær の剛性定理の別証明も得る。

ABSTRACT

Given a 0-connective motivic spectrum $E \in SH(k)$ over a perfect field k, we determine $h_0$ of the associated motive $M E \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. We extend the conservativity result to fields of finite virtual 2-\'etale cohomological dimension by considering what we call real motives. As a by-product we reprove a variant of a rigidity Theorem of R\ondings-{\O}stv{\ae}r.

研究の動機と目的

• 完備体 k 上の 0-接続的モチーフ的スペクトラム E に対して、h₀(M E) を π₀(E) で決定すること。
• k が有限の 2-étale コホモロジー次元を持つとき、M がコンパクトスペクトラムの部分圏上で忠実であることを確立すること。
• 実モチーフの導入により、M の忠実性を有限の仮想 2-étale コホモロジー次元を持つ体へ拡張すること。
• 同じ条件下で、M がピカード群に単射を誘導することを示すこと。
• 主結果の副産物として、Rondings-Østvær の剛性定理の変種を再証明すること。

提案手法

• 0-接続的モチーフ的スペクトラムの構造を用いて、h₀(M E) を π₀(E) で計算すること。
• 2-étale コホモロジー次元の性質を応用し、M がコンパクト対象上でどのように振る舞うかを分析すること。
• コンパクトスペクトラム上の M の忠実性を、有限の仮想 2-étale コホモロジー次元を持つ体へ拡張するために、実モチーフを導入すること。
• モチーフ的ホモトピー論におけるピカード群に関する既知の結果を活用し、M による単射性を示すこと。
• 安定モチーフ的ホモトピー論の枠組みと Voevodsky のモチーフの圏 DM(k) を用いること。
• étale コホモロジーおよび双対性の技術を適用し、剛性結果を補題として確立すること。

実験結果

リサーチクエスチョン

• RQ1 完備体 k 上の 0-接続的モチーフ的スペクトラム E に対して、M E の h₀ は π₀(E) でどのように表現できるか？
• RQ2 関手 M がコンパクトモチーフ的スペクトラムの部分圏上で忠実であるための条件は何か？
• RQ3 M の忠実性は、仮想 2-étale コホモロジー次元が有限である体へ拡張可能か？
• RQ4 k が有限の仮想 2-étale コホモロジー次元を持つ場合、M はピカード群に単射を誘導するか？
• RQ5 実モチーフの構成は、忠実性結果の拡張をどのように支援するか？

主な発見

• 任意の完備体 k 上の 0-接続的モチーフ的スペクトラム E に対して、M E の h₀ は π₀(E) で明示的に決定される。
• k が有限の 2-étale コホモロジー次元を持つとき、M はコンパクトモチーフ的スペクトラムの部分圏上で忠実である。
• 実モチーフの導入により、M の忠実性は仮想 2-étale コホモロジー次元が有限である体へ拡張される。
• 同じ条件下で、M はピカード群に単射を誘導する。
• 本論文は、主結果の副産物として、Rondings-Østvær の剛性定理の変種を再証明する。
• これらの結果は、コホモロジー次元の条件とモチーフ的関手の表現性の性質との強い関連を確立する。