[论文解读] Tannaka duality over ring spectra

James Wallbridge|arXiv (Cornell University)|Apr 25, 2012

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

一句话总结

本文建立了关于交换环谱上的$(\infty,1)$-范畴的坦纳卡对偶定理，将经典的坦纳卡对偶推广至导出代数几何。证明了导出群堆栈（或丛）的范畴与带有纤维函子的刚性对称张量$(\infty,1)$-范畴的范畴之间存在等价关系，将经典结果扩展至$E_\infty$-环谱和稳定同伦理论的设定。

ABSTRACT

We prove a Tannaka duality theorem for $(\infty,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric monoidal $(\infty,1)$-categories endowed with particular structure. This duality theorem is defined over commutative ring spectra and subsumes the classical statement. We show how the classical theory, and its extension over arbitrary rings, arises as a special case of our more general theory. The application to perfect complexes is explored.

研究动机与目标

• 将经典的坦纳卡对偶推广至交换环谱上的$(\infty,1)$-范畴设定。
• 将仿射群概形与坦纳卡范畴之间的对偶性推广至导出和谱设定。
• 表明经典理论作为新框架下刚性$(\infty,1)$-范畴与纤维函子的特例而出现。
• 在导出群堆栈与带有纤维函子的刚性对称张量$(\infty,1)$-范畴之间建立全忠实的伴随关系。
• 利用谱代数技术探索完美复形与导出代数几何中的应用。

提出的方法

• 使用$(\infty,1)$-范畴与对称张量结构的框架，推广经典坦纳卡对偶。
• 将格罗滕迪克关于基本群范畴作为纤维函子自同构群的哲学应用于导出设定。
• 采用刚性$(\infty,1)$-范畴的概念，其中所有对象均为对偶化对象，以建模有限维向量空间的稳定同伦理论类比。
• 定义刚性化函子$(\bullet)^{\text{rig}}$，从对称张量$(\infty,1)$-范畴构造自由刚性范畴。
• 利用纤维函子与完美复形之间的伴随关系$\textup{Fib}_* \dashv \textup{Perf}_*$ 建立对偶性。
• 应用导出代数几何中的结果，包括堆栈、丛以及在$\infty$-范畴语境下的霍普夫代数理论。

实验结果

研究问题

• RQ1 经典坦纳卡对偶如何推广至$E_\infty$-环谱上的$(\infty,1)$-范畴设定？
• RQ2 在带有纤维函子的对称张量$(\infty,1)$-范畴中，何种条件可确保其重构为导出群堆栈？
• RQ3 经典坦纳卡对偶在域上仿射群概形的情形如何作为新谱框架下的特例出现？
• RQ4 在$(\infty,1)$-范畴设定中，刚性在坦纳卡对偶推广中起何作用？
• RQ5 在环谱上的完美复形与导出丛和刚性范畴之间的对偶性有何关联？

主要发现

• 本文证明了一个带基点的坦纳卡对偶定理：从导出群堆栈到带有纤维函子的刚性对称张量$(\infty,1)$-范畴的函子$\textup{Perf}_*$ 是全忠实的。
• 伴随关系$\textup{Fib}_* \dashv \textup{Perf}_*$ 在导出群堆栈的范畴与带有纤维函子的刚性对称张量$(\infty,1)$-范畴的范畴之间诱导出一个等价关系。
• 当$E_\infty$-环为域且拓扑平凡时，经典坦纳卡对偶在域上仿射群概形的情形作为特例被恢复。
• $(\infty,1)$-范畴中对象的对偶化性对应于其在同伦范畴中存在对偶，从而确保了稳定且一致的对偶结构。
• 刚性化函子$(-)^{\text{rig}}$ 提供了一种从给定对称张量$(\infty,1)$-范畴构造自由刚性范畴的方法，从而实现对偶化对象的构造。
• 刚性范畴中的转置映射构造诱导出一个同伦等价$C(x,y) \simeq C(y^\vee, x^\vee)$，推广了张量范畴中的经典对偶性。