[論文レビュー] From fibered symmetric bimonoidal categories to symmetric spectra

José Manuel Gómez|ArXiv.org|May 19, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 3

ひとこと要約

本稿は、対称モノイダルなベースの上にファイバーされた、加法的および乗法的構造が整合するトポロジカルな圏としてのファイバード対称双モノイダル圏を導入し、その構造に対して $E_\infty$-環スペクトルの関手的割り当てを構成する。この構成は単体的解体と実現を経て行われ、ファイバー付き圏の間の準同型を保存する形で、自然な $E_\infty$-環スペクトルが得られる。

ABSTRACT

In here we define the concept of fibered symmetric bimonoidal categories. These are roughly speaking fibered categories D->C whose fibers are symmetric monoidal categories parametrized by C and such that both D and C have a further structure of a symmetric monoidal category that satisfy certain coherences that we describe. Our goal is to show that we can correspond to a fibered symmetric bimonoidal category an E_{\infty}-ring spectrum in a functorial way.

研究の動機と目的

• 対称双モノイダル圏の一般化として、ベース圏上の整合性を持つファイバー構造と乗法的構造を有するファイバード対称双モノイダル圏を定義すること。
• コンformal field theories およびモジュラー関手から得られる圏を用いて、楕円コホモロジーの幾何的モデルを構成し、$E_\infty$-環スペクトルを生成すること。
• 単体的およびスペクトル的解体技術を用いて、離散的およびトポロジカルなファイバード対称双モノイダル圏から $E_\infty$-環スペクトルへの関手的割り当てを確立すること。
• 群の半直積と多関手を用いて、局所的圏から対称スペクトルを構成する手法をファイバード設定に一般化すること。
• 構成が関手的であること、すなわちファイバー付き圏の準同型が $E_\infty$-環スペクトルの写像を誘導することを示すこと。

提案手法

• トポロジカルな対称モノイダル圏 $\mathcal{D}$ と $\mathcal{C}$ の間の連続関手 $\Lambda: \mathcal{D} \to \mathcal{C}$ としてファイバード対称双モノイダル圏を定義し、ファイバー $\mathcal{D}_c$ が加法的および乗法的構造を備えた対称モノイダル圏となるようにする。
• 離散的ファイバード対称双モノイダル圏を、乗法的および加法的演算が厳密となる離散的ファイバード双順序圏に置き換えるための厳密化プロセスを適用する。
• ファイバード圏の乗法的構造を記述するため、$\mathcal{A} = \textbf{Inj} \int (\mathcal{C}^{\text{op}})^*$ としてのワルト・積カテゴリを構成する。
• 多関手 $\Psi: \mathcal{A} \to \mathbb{P}$ を定義し、ここで $\mathbb{P}$ は小さな順序圏の圏であり、乗法的および加法的整合性を保つようにする。
• $K$-理論多関手とスペクトル的実現を用いて、厳密に可換な対称環スペクトルの圏における単体的対象を生成する。
• 単体的対象を実現することで $E_\infty$-環スペクトルを得られ、関手 $\mathfrak{Z}: \mathcal{TFS} \to \mathcal{E}_\infty$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして対称双モノイダル圏を、ベース圏上の加法的および乗法的構造が整合するファイバード設定に一般化できるか？
• RQ2 このようなファイバード構造から $E_\infty$-環スペクトルへの関手的構成を確立できるか？
• RQ3 ワルト積カテゴリと多関手は、ファイバード対称双モノイダル圏の乗法的構造をどのように記述するか？
• RQ4 ファイバード圏の単体的解体は、$E_\infty$-環スペクトルを生成するためにどのように用いられるか？
• RQ5 構成が関手的であるか、すなわちファイバー付き圏の準同型が $E_\infty$-環スペクトルの写像を誘導するか？

主な発見

• 本稿は、単体的解体とスペクトル的実現を経て、各トポロジカルなファイバード対称双モノイダル圏に $E_\infty$-環スペクトルを割り当てる関手 $\mathfrak{Z}: \mathcal{TFS} \to \mathcal{E}_\infty$ を構成する。
• 構成は関手的である：ファイバード対称双モノイダル圏の準同型は、$E_\infty$-環スペクトルの写像を誘導する。
• 主な技術的ステップは、ファイバード圏の乗法的構造をモデル化するため、$\mathcal{A} = \textbf{Inj} \int (\mathcal{C}^{\text{op}})^*$ としてのワルト積カテゴリを構成することにある。
• 乗法的および加法的整合性を保つ多関手 $\Psi: \mathcal{A} \to \mathbb{P}$ が定義される。
• 厳密に可換な対称環スペクトルの圏における単体的対象が実現され、最終的な $E_\infty$-環スペクトルが得られる。
• 構成は、動機づけられた例（モジュラー関手上の conformal field theories）に適用され、2つの $E_\infty$-環スペクトルとそれらの間の写像が得られ、そのファイバーが楕円コホモロジーのスペクトルであると提案される。