[論文レビュー] A characterization of cellular motivic spectra

Hadrian Heine|arXiv (Cornell University)|Dec 1, 2017

Homotopy and Cohomology in Algebraic Topology被引用数 3

ひとこと要約

本稿は、細胞的モチーフ的 A-加群スペクトラと、球面スペクトルの 0 番目の空間からスペクトルへのファンクターの ∞-圏における E∞-代数上のモジュールの間で、対称モノイダル同値を確立する。安定 ∞-圏における随伴ファンクターと対称モノイダル構造を活用することで、ファンクター圏を用いた細胞的モチーフ的スペクトルの新しい代数的特徴付けが得られ、すべてのモチーフ的 E∞-環スペクトルへと一般化される。

ABSTRACT

Let $ \alpha: \mathcal{C} o \mathcal{D}$ be a symmetric monoidal functor from a stable presentable symmetric monoidal $\infty$-category $\mathcal{C} $ compactly generated by the tensorunit to a stable presentable symmetric monoidal $\infty$-category $ \mathcal{D} $ with compact tensorunit. Let $\beta: \mathcal{D} o \mathcal{C}$ be a right adjoint of $\alpha$ and $ \mathrm{X}: \mathcal{B} o \mathcal{D} $ a symmetric monoidal functor starting at a small rigid symmetric monoidal $\infty$-category $ \mathcal{B}$. We construct a symmetric monoidal equivalence between modules in the $\infty$-category of functors $ \mathcal{B} o \mathcal{C} $ over the $ \mathrm{E}_\infty$-algebra $\beta \circ \mathrm{X} $ and the full subcategory of $\mathcal{D}$ compactly generated by the essential image of $\mathrm{X}$. Especially for every motivic $ \mathrm{E}_\infty$-ring spectrum $\mathrm{A}$ we obtain a symmetric monoidal equivalence between the $\infty$-category of cellular motivic $\mathrm{A}$-module spectra and modules in the $\infty$-category of functors $\mathrm{QS}$ to spectra over some $ \mathrm{E}_\infty$-algebra, where $\mathrm{QS}$ denotes the 0th space of the sphere spectrum.

研究の動機と目的

• E∞-代数上のファンクター圏を用いた細胞的モチーフ的スペクトルの特徴付けを達成すること。
• 対称モノイダル随伴を用いて、モチーフ的モジュールスペクトルの代数的構造を一般化すること。
• 球面スペクトルの 0 番目の空間を用いた普遍的記述を通じて、細胞的モチーフ的 A-加群スペクトルを特定すること。
• ファンクター的構成を用いて、すべてのモチーフ的 E∞-環スペクトルに適用可能な枠組みを確立すること。

提案手法

• コンパクトなテンソル単位を備えた安定的・プレセントエーブルな対称モノイダル ∞-圏 C と D の間の対称モノイダルファンクター α: C → D を用いる。
• α に右随伴 β: D → C を構成し、D から C への移行を可能にするとともに、モノイダル構造を保存する。
• 小規模でリジッドな対称モノイダル ∞-圏 B から D への対称モノイダルファンクター X: B → D を適用する。
• Fun(B, C) 内の β∘X 上のモジュールと、X の像の本質的像によってコンパクト生成される D のフル部分圏との間で、対称モノイダル同値を確立する。
• モチーフ的 E∞-環スペクトル A にこの構成を適用し、細胞的 A-加群スペクトルを Fun(QS, Sp) 内の E∞-代数上のモジュールと特定する。
• コンパクト生成性、随伴、ファンクター圏内の E∞-代数構造を含む ∞-圏的技法に依拠する。

実験結果

リサーチクエスチョン

• RQ1 細胞的モチーフ的 A-加群スペクトルは、どのようにファンクター圏を用いて代数的に特徴付けられるか？
• RQ2 モチーフ的スペクトルの文脈において、随伴ファンクター α と β を合成することで生じる対称モノイダル構造は何か？
• RQ3 細胞的モチーフ的 A-加群の圏は、ファンクター ∞-圏内の E∞-代数上のモジュールの圏と同値になり得るか？
• RQ4 球面スペクトルの 0 番目の空間は、モチーフ的モジュールの分類において果たす役割は何か？
• RQ5 この構成において、コンパクト生成性と対称モノイダル構造はどのように相互作用するか？

主な発見

• 細胞的モチーフ的 A-加群スペクトルの ∞-圏と、Fun(QS, Sp) 内の E∞-代数上のモジュールの ∞-圏との間で、対称モノイダル同値が確立された。
• この構成は、すべてのモチーフ的 E∞-環スペクトル A に普遍的に適用可能であり、一様な特徴付けを提供する。
• X の像の本質的像は、Fun(B, C) 内の β∘X 上のモジュールの圏と同値である D のフル部分圏を生成する。
• この方法は、C と D のテンソル単位のコンパクト生成性に依拠しており、適切に定義された随伴の存在を保証する。
• 同値は対称モノイダル構造を保存するため、高次代数的応用に適している。
• この枠組みは、右随伴 β を持つ任意の対称モノイダルファンクター α およびリジッドなソース圏 B に対して一般化可能である。