[论文解读] Parametrized higher category theory and higher algebra: A general introduction

Clark Barwick, E. Dotto+3 more|arXiv (Cornell University)|Aug 12, 2016

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

一句话总结

本文提出了一套完整的参数化高范畴论与高代数的框架，引入了 $T$-∞-范畴、$T$-谱以及轨道 ∞-范畴 $T$ 上的 $T$-对称单峰结构。研究证明，$T$-对称单峰 Waldhausen $T$-∞-范畴的等变代数 $K$-理论自然具备 $T$-$E_\infty$ 环谱结构，统一并推广了等变与参数化代数 $K$-理论。

ABSTRACT

We introduce the study of parametrized higher category theory and parametrized higher algebra, and we describe the main theorems of the series of Exposés that make up the monograph.

研究动机与目标

• 建立关于轨道 ∞-范畴 $T$ 上的参数化高范畴论与高代数的系统性理论，将经典代数 $K$-理论推广至等变与参数化设置。
• 定义并研究 $T$-谱作为 $T$ 上的拟相干层的类比，并证明其可从 $T$-余积继承 $T$-对称单峰结构。
• 证明参数化稳定性源于普通稳定性与参数化半加法性的结合，从而实现对 $T$-∞-范畴的统一处理。
• 证明 Waldhausen $T$-∞-范畴的代数 $K$-理论自然具备 $T$-谱结构，将经典结果扩展至参数化设置。
• 确立 $\underline{\textbf{Sp}}^T$ 的普遍性质：其为 $\underline{\textbf{Top}}_G$ 关于反转置换表示球面的局部化，从而导出范数构造。

提出的方法

• 为轨道 ∞-范畴 $T$ 引入 $T$-∞-范畴，推广具有群作用的范畴。
• 将 $T$-谱定义为 $T$ 上的拟相干层的 $T$-∞-范畴，并证明其可从 $T$-余积继承 $T$-对称单峰结构。
• 利用定理 B 将参数化半加法性与参数化稳定性关联，将 $T$-稳定 $T$-∞-范畴的研究归约为与 $\underline{\textbf{Sp}}^T$ 的张量积。
• 通过轨道 $T$-∞-范畴中的闭浸入与开补集构造 $T$-谱的重组，得到等变性分离序列。
• 定义 $T$-∞-操作律与 $T$-对称单峰 $T$-∞-范畴，证明当 $T$ 为原子时，$\underline{\textbf{Pr}}_T^L$ 具备 $T$-对称单峰结构。
• 利用 $\underline{\textbf{Sp}}^T$ 的普遍性质，证明 $T$-对称单峰 Waldhausen $T$-∞-范畴的 $K$-理论自然为 $T$-$E_\infty$ 环谱。

实验结果

研究问题

• RQ1 如何利用轨道 ∞-范畴将高范畴论推广至参数化设置？
• RQ2 什么是 $T$-谱的正确概念？其在参数化设置下与拟相干层有何关系？
• RQ3 参数化半加法性在 $T$-∞-范畴中如何与稳定性相互作用？
• RQ4 在参数化语境下，$T$-谱与 $T$-$E_\infty$ 环谱满足何种普遍性质？
• RQ5 如何从 $T$-对称单峰 $T$-∞-范畴中的普遍性质推导出等变同伦论中的范数构造？

主要发现

• 当 $T$ 为原子时，$T$-可表示 $T$-∞-范畴的 $T$-∞-范畴 $\underline{\textbf{Pr}}_T^L$ 自然具备 $T$-对称单峰结构。
• 在 $\underline{\textbf{Pr}}_T^L$ 上，$T$-稳定 $T$-可表示 $T$-∞-范畴构成一个对称单峰局部化，其通过与 $\underline{\textbf{Sp}}^T$ 的张量积实现，而 $\underline{\textbf{Sp}}^T$ 是唯一反置换表示球面的 $T$-对称单峰 $T$-∞-范畴。
• $\underline{\textbf{Sp}}^T$ 是范数构造的普遍接收者，实现了等变稳定同伦论中范数的普遍性质。
• 一个 $T$-对称单峰 Waldhausen $T$-∞-范畴的代数 $K$-理论自然具备 $T$-$E_\infty$ 环谱结构。
• 轨道 $T$-∞-范畴中的闭浸入具有开补集，诱导出 $T$-谱的重组，并产生等变性分离序列。
• 一个 $T$-$E_\infty$-代数 $A$ 上的模构成一个 $T$-对称单峰 $T$-∞-范畴，且该构造与 $A$ 和 $T$ 均相容。