[論文レビュー] Homotopy theory of Spectral categories

Gonçalo Tabuada|ArXiv.org|Jan 29, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 6

ひとこと要約

本稿は、スペクトル圏の圏にQuillenモデル構造を確立し、安定準同型同値を弱同値として用いる。スホエ・シップレーの非加法的フィルトレーション論法を対称スペクトルへ適応させることで、ホモトピー論的解析が可能な右正則モデル構造を構成し、非可換代数幾何学および安定ホモトピー論への応用を可能にする。

ABSTRACT

We construct a Quillen model structure on the category of spectral categories, where the weak equivalences are the symmetric spectra analogue of the notion of equivalence of categories.

研究の動機と目的

• スペクトル圏（対称スペクトルに値をとる圏の enriching）のためのホモトピー論を構築すること。スペクトル圏は微分形式的圏の位相的類似物である。
• カテゴリカルおよび安定ホモトピー的同値を統合した、スペクトル圏間の正しい同値関係—安定準同型同値—を定義し特徴づけること。
• 弱同値として安定準同型同値をとる、コフェイブルに生成され、右正則なQuillenモデル構造をスペクトル圏の圏に構成すること。
• マッピング空間および内部Hom対象の計算へと枠組みを拡張し、双モジュールのネ混合および導来スマッシュ積を用いること。

提案手法

• 単体圏と対称スペクトル上の射影的レベルモデル構造を用いて、スペクトル圏にレベルワイズのQuillenモデル構造を構成する。
• スホエ・シップレーの非加法的フィルトレーション論法を対称スペクトルへ適応させ、穴あき立方体を用いた反復押し出しにより、コフェイブル性および弱同値性の性質を解析する。
• 有限集合の部分集合によって添字づけられた、対称スペクトルのスラッシュ積の立方体を用いて、射空間のフィルトレーションを定義し、穴あき立方体上の余極限を解析する。
• 対称スペクトルにおけるモノイド公理および押し出し積公理を用いて、フィルトレーションにおける誘導写像が弱同値またはコフェイブルであることを示す。
• 射空間の初期部分がフィルタ付き余極限へ埋め込まれる包含写像が弱同値であることを証明し、望ましいモデル構造を確立する。
• モデル構造を活用して、二つのスペクトル圏間のマッピング空間を双モジュールの圏のネ混合として記述し、導来スマッシュ積に関する内部Homがホモトピー圏に存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 カテゴリカルおよび安定ホモトピー的データを統合した、スペクトル圏間の正しい同値関係とは何か？
• RQ2 弱同値として安定準同型同値をとるスペクトル圏の圏にQuillenモデル構造を構成できるか？
• RQ3 スホエ・シップレーの非加法的フィルトレーション技法を、対称スペクトルおよびスペクトル圏の文脈へどのように適応できるか？
• RQ4 このモデル構造において、二つのスペクトル圏間のマッピング空間のホモトピー的構造はいかなるものか？
• RQ5 スペクトル圏のホモトピー圏は、導来スマッシュ積に関する内部Hom対象を備えているか？

主な発見

• 弱同値として安定準同型同値をとる、右正則なQuillenモデル構造がスペクトル圏の圏に構成された。
• モデル構造はコフェイブルに生成され、単体圏へのレベルワイズ構成から得られ、単体的集合と点付き単体的集合の強モノイド随伴を介して持ち上げられる。
• 非加法的フィルトレーション論法が対称スペクトルへ成功裏に適応され、初期射空間がフィルタ付き余極限へ埋め込まれる包含写像が弱同値であることが証明された。
• 対称スペクトルにおけるモノイド公理および押し出し積構造を用いて、フィルトレーションにおける誘導写像が弱同値であることが示された。
• 二つのスペクトル圏間のマッピング空間は、双モジュールの圏のネ混合として記述され、射のホモトピー的記述が得られた。
• スペクトル圏のホモトピー圏は、導来スマッシュ積に関する内部Hom対象を備え、閉じた構造を有することが確認された。