[论文解读] 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

一句话总结

本文引入了纤维对称双monoidal范畴——即纤维化在对称单峰基范畴上的拓扑范畴，其纤维上具有相容的加法与乘法结构——并构建了从这类结构到 $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.

研究动机与目标

• 将纤维对称双monoidal范畴定义为对称双monoidal范畴的推广，其在基范畴上具有相容的纤维化与乘法结构。
• 通过从共形场论与模函子的范畴构造 $E_\infty$-环谱，为椭圆上同调提供一个几何模型。
• 通过单形化与谱解构技术，建立从离散与拓扑纤维对称双monoidal范畴到 $E_\infty$-环谱的函子性赋值。
• 通过半自由积与多函子，将对称谱的构造从置换范畴推广至纤维化情形。
• 证明该构造是函子性的，即保持纤维范畴之间的态射，并诱导出 $E_\infty$-环谱之间的映射。

提出的方法

• 将纤维对称双monoidal范畴定义为连续函子 $\Lambda: \mathcal{D} \to \mathcal{C}$，其中 $\mathcal{D}$ 与 $\mathcal{C}$ 是拓扑对称单峰范畴，且纤维 $\mathcal{D}_c$ 具有相容的乘法与加法结构的对称单峰结构。
• 应用严格化过程，将离散纤维对称双monoidal范畴替换为等价的离散纤维双置换范畴，以确保乘法与加法运算的严格性。
• 构造一个半自由积范畴 $\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 如何将对称双monoidal范畴推广至具有基范畴上相容加法与乘法结构的纤维化情形？
• RQ2 能否从这类纤维化结构中建立 $E_\infty$-环谱的函子性构造？
• RQ3 半自由积范畴与多函子在编码纤维对称双monoidal范畴的乘法结构中起到何种作用？
• RQ4 如何利用纤维范畴的单形化解析来构造 $E_\infty$-环谱？
• RQ5 该构造是否函子性？即纤维范畴之间的态射是否诱导出 $E_\infty$-环谱之间的映射？

主要发现

• 本文构造了一个函子 $\mathfrak{Z}: \mathcal{TFS} \to \mathcal{E}_\infty$，通过单形化解析与谱实现，为每个拓扑纤维对称双monoidal范畴分配一个 $E_\infty$-环谱。
• 该构造是函子性的：纤维对称双monoidal范畴之间的态射诱导出 $E_\infty$-环谱之间的映射。
• 关键技术步骤是构造半自由积范畴 $\mathcal{A} = \textbf{Inj} \int (\mathcal{C}^{\text{op}})^*$，以建模纤维范畴的乘法结构。
• 定义了一个多函子 $\Psi: \mathcal{A} \to \mathbb{P}$，保持对称双monoidal结构所要求的相干性。
• 在严格交换对称环谱范畴中的单形对象被实现，从而得到最终的 $E_\infty$-环谱。
• 该构造应用于一个激励性例子：模函子上的共形场论，得到两个 $E_\infty$-环谱及两者之间的映射，其纤维被提议为椭圆上同调谱。