[論文レビュー] Periodizable motivic ring spectra

Markus Spitzweck|ArXiv.org|Jul 9, 2009

Algebraic structures and combinatorial models参考文献 13被引用数 7

ひとこと要約

この論文は、モチビック $E_{\infty}$-リングスpectrum $E$ が強く周期的であるとき、$E$ 上のモジュールの導来圏における細胞的対象が、グレーディング付きトポロジカル $E_{\infty}$-リングスpectrum 上のモジュールとしてトポロジカル実現可能であることを確立する。主な貢献は、$\mathrm{MGL}$ および特徴数 0 の体上のヴォエバドスキーのモチビック圏における単位対象が強く周期的であることを証明することであり、これによりモチビック・ランドウェバー スペクトラと整数係数タウト・モチーフのトポロジカルモデルが得られる。

ABSTRACT

We show that the cellular objects in the module category over a motivic E infinity ring spectrum E can be described as the module category over a graded topological spectrum if E is strongly periodizable in our language. A similar statement is proven for triangulated categories of motives. Since MGL is strongly periodizable we obtain topological incarnations of motivic Landweber spectra. Under some categorical assumptions the unit object of the model category for triangulated motives is as well strongly periodizable giving motivic cochains whose module category models integral triangulated categories of Tate motives.

研究の動機と目的

• グレーディング付き $E_{\infty}$-リングスpectrum を用いて、モチビックモジュール圏における細胞的対象のトポロジカル実現を構成すること。
• モチビック $E_{\infty}$-リングスpectrum が強く周期的であるための条件を確立すること。
• グレーディング付きスペクトラにおける $E_{\infty}$-代数を用いた、整数係数三角的圏としてのタウト・モチーフの表現定理を提供すること。
• 強い周期化を用いて、既存の有理数係数タウト・モチーフに関する結果を整数係数の場合に拡張すること。

提案手法

• モチビック安定ホットピー圏における強く周期的である $E_{\infty}$-代数の概念を導入する。
• カテゴリカルな仮定の下で、半周期化を完全周期化に高めるための局所化技術（命題 4.2）を用いる。
• 対称スペクトラおよび双準同型の理論を用いて、グレーディング付きスペクトラ上の整合性のある積構造を構成する。
• レベル同型の検証に、ニスネヴィッチおよび cdh コホモロジーの同型を用い、モチーフにおける単位の周期化の構成を検証する。
• ヴォエバドスキーとレヴィンの球面スペクトラのゼロスライスに関する結果を活用し、モチビック・エイレンバーグ＝マクライン スペクトラの強周期的性を導出する。
• 抽象的表現定理（定理 4.3）を適用し、導来モジュール圏をグレーディング付き $E_{\infty}$-代数上のテンソル三角圏として実現する。

実験結果

リサーチクエスチョン

• RQ1 モチビック $\mathrm{MGL}$-モジュールの導来圏における細胞的対象は、グレーディング付きトポロジカル $E_{\infty}$-リングスpectrum 上のモジュールとして実現可能か？
• RQ2 モチビック $E_{\infty}$-リングスpectrum が強い周期化をもつのはどのような条件下か？
• RQ3 特徴数 0 の体上のヴォエバドスキーのモチーフ圏における単位対象は強く周期的か？
• RQ4 整数係数三角的圏としてのタウト・モチーフは、グレーディング付きスペクトラにおける $E_{\infty}$-代数の導来圏として表現可能か？
• RQ5 モチビック $\mathrm{MGL}$ の強い周期化は、モチビック・ランドウェバー スペクトラのトポロジカルモデルをもたらすか？

主な発見

• モチビックコボルディズムスペクトラ $\mathrm{MGL}$ は強く周期的であり、これによりモチビック・ランドウェバー スペクトラが細胞的 $\mathrm{MGL}$-モジュールとしてトポロジカルモデルを持つ。
• 標準的なカテゴリカルな仮定の下で、特徴数 0 の体上のモチーフ圏における単位対象は強く周期的である。
• アーベル群の複体におけるグレーディング付き $E_{\infty}$-代数 $A$ が存在し、その導来圏 $\mathsf{D}(A)$ が $\mathsf{DM}(k)$ 内のタウト・モチーフの完全部分圏とテンソル三角圏として同値である。
• 完備体上のモチビック・エイレンバーグ＝マクライン スペクトラは、ヴォエバドスキーとレヴィンのゼロスライス結果により強く周期的である。
• 任意の $k$ 上で分離的でネーター的かつ有限クルル次元をもつスキーム $X$ に対して、$\mathsf{DM}(X)$ のテンソル単位は強く周期的であり、これにより $\mathsf{DM}(X)_{\mathcal{T}}$ があるグレーディング付き $E_{\infty}$-代数 $A$ に対して $\mathsf{D}(A)$ として表現可能である。
• 等次元サイクル複体を用いたモチーフにおける単位の半周期化の構成が、$\infty$-カテゴリカルな仮定の下で局所化により強い周期化に高められる。