[论文解读] Cyclonic spectra, cyclotomic spectra, and a conjecture of Kaledin

Clark Barwick, Saul Glasman|arXiv (Cornell University)|Feb 5, 2016

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

一句话总结

本文通过在ϵ-集的2-范畴上的范畴的广义范畴的框架下，利用环状对象（cyclonic objects）——相对于有限子群的圆周等变谱——发展了一套代数的、同伦论的循环谱框架。通过构造Φ_N-固定点上的同伦余极限，证明了Kaledin的猜想，建立了非交换仿射概形上的模范畴与循环谱之间的对称单性等价。

ABSTRACT

With an explicit, algebraic indexing $(2,1)$-category, we develop an efficient homotopy theory of cyclonic objects: circle-equivariant objects relative to the family of finite subgroups. We construct an $\infty$-category of cyclotomic spectra as the homotopy fixed points of an action of the multiplicative monoid of the natural numbers on the category of cyclonic spectra. Finally, we elucidate and prove a conjecture of Kaledin on cyclotomic complexes.

研究动机与目标

• 在不依赖等变正交谱或具有 smash 积的函子的前提下，提供一种纯粹代数的循环谱构造方法。
• 将环状谱形式化为以具有有理旋转作为2-同构的ϵ-集2-范畴为指标的谱Mackey函子。
• 通过Φ_N-作用的同伦固定点构造N-余循环对象，解决Kaledin关于非交换勇敢新概形的猜想。
• 建立非交换仿射概形上的模范畴与循环谱之间的对称单性等价。
• 将h\mathbf{Sp}_{Φ_N}上的三角张量范畴结构推广为一个稳定、可表示、对称单性∞-范畴\mathbf{Sp}_{Φ_N}。

提出的方法

• 通过将\mathbf{Q}/\mathbf{Z}-集用对应于有理旋转的2-同构进行丰富，构造环状集的2-范畴\mathbf{F}_{Ω}。
• 将环状谱定义为从A^{\text{eff}}(\mathbf{F}_{Ω})中的广义范畴到谱∞-范畴\mathbf{Sp}的谱Mackey函子。
• 在环状谱上引入乘法幺半群\mathbf{N}的作用，将循环谱定义为其同伦固定点。
• 利用可表示对称单性∞-范畴的理论，将Φ_N-固定点构造提升为\mathbf{Sp}_{Φ_N}上的稳定、对称单性结构。
• 通过定义\mathbf{A}_{\Psi_N} = ((\mathbf{A}^{\text{op}})_{\Phi_N})^{\text{op}}，将N-余循环对象对偶化循环结构。
• 通过在\mathbf{Pr}^{L}_{\text{st}}中使用余极限与极限构造，建立关键等价关系\mathbf{A}_{\Phi_N} \simeq \operatorname{Fun}^L(\mathbf{Sp}_{\Psi_N}, \mathbf{A})。

实验结果

研究问题

• RQ1 是否可以在不依赖正交谱的纯代数、非等变框架下构造循环谱？
• RQ2 环状对象——带有有理旋转数据的谱——如何通过2-范畴广义范畴编码循环结构？
• RQ3 在非交换概形的语境下，N-余循环对象与Φ_N-固定点构造之间的精确关系为何？
• RQ4 Kaledin关于非交换仿射概形的拉回正方形猜想是否可提升为∞-范畴模的等价？
• RQ5 h\mathbf{Sp}_{Φ_N}上的三角张量范畴结构能否被增强为一个稳定、可表示、对称单性∞-范畴？

主要发现

• 循环谱的∞-范畴被实现为\mathbf{N}在环状谱∞-范畴上的作用的同伦固定点。
• \mathbf{Sp}_{\Phi_N}^\otimes的构造产生了一个可表示、对称单性、稳定的∞-范畴，该范畴将Cary Malkiewich在h\mathbf{Sp}_{\Phi_N}上的三角张量结构提升。
• N-余循环对象\mathbf{A}_{\Psi_N}满足\mathbf{A}_{\Phi_N} \simeq \operatorname{Fun}^L(\mathbf{Sp}_{\Psi_N}, \mathbf{A})，建立了循环谱与余循环谱结构之间的对偶性。
• \mathbf{A}_{\Psi_N} \simeq \mathbf{A} \otimes \mathbf{Sp}_{\Psi_N}在\mathbf{Pr}^{L}_{\text{st}}中成立，表明\mathbf{Sp}_{\Psi_N}作为通用的N-余循环生成元。
• Kaledin的猜想已得证明：\operatorname{Spec}\mathbf{A}_{\Psi_N} \simeq \operatorname{Spec}\mathbf{A} \times \operatorname{Spec}\mathbf{Sp}_{\Psi_N}，且\mathbf{Mod}(\operatorname{Spec}\mathbf{A}_{\Psi_N}) \simeq \mathbf{Mod}(\operatorname{Spec}\mathbf{A})_{\Phi_N}。
• 在\mathbf{Pr}^{L}_{\text{st}}中完整使用∞-范畴的极限与余极限构造，推导出等价关系\mathbf{A}_{\Phi_N} \simeq \mathbf{A} \otimes \mathbf{Sp}_{\Psi_N}，从而完成猜想的证明。