[论文解读] Spectral sequences in unstable higher homotopy theory and applications to the coniveau filtration

Frédéric Déglise, Rakesh Pawar|arXiv (Cornell University)|Nov 1, 2024

Homotopy and Cohomology in Algebraic Topology被引用 1

一句话总结

本文在∞-范畴中构建了一个不稳定的谱序列框架，将Bloch-Ogus-Gabber定理推广至非交换设定，建立了具有紧支集的同伦群上同调的不稳定Gersten分解。证明了在维数≤2的正规概形上，分离的代数群概形是同伦Cohen-Macaulay的，从而在Zariski、Nisnevich和étale拓扑中得到精确序列与扭子分类的双射——将Weil与Morel的经典结果推广至更广泛的概形与群概形类。

ABSTRACT

Comments are welcome

研究动机与目标

• 在具有有限极限/余极限的 pointed ∞-范畴中，发展不稳定上同调三角形与谱序列的形式化。
• 通过具有支集的同伦群上同调，将Bloch-Ogus-Gabber定理推广至非阿贝尔设定。
• 在动机同伦与étale同伦理论中，为过滤的连通性过滤建立不稳定Gersten分解。
• 证明在正规概形上，分离的代数群概形是同伦Cohen-Macaulay的，从而推广经典扭子分类结果。

提出的方法

• 在具有有限极限/余极限的 pointed ∞-范畴中，发展不稳定上同调三角形与谱序列。
• 引入具有支集的同伦群函子，并定义不稳定连通性上同调三角形。
• 应用不稳定八面体公理，关联谱序列各页之间的关系，并导出典范增强。
• 在不稳定设定中应用Gabber技巧，构造满足支集条件的截断Cousin复形。
• 通过在Zariski/Nisnevich 站上的支集条件，定义概形上的同伦Cohen-Macaulay群层。
• 通过归纳构造与Z′-同构准则，证明截断Cousin复形的唯一性。

实验结果

研究问题

• RQ1 能否在∞-范畴中形式化不稳定同伦理论中的谱序列，以推广经典结果？
• RQ2 Bloch-Ogus-Gabber定理是否可推广至具有支集的非阿贝尔同伦群上同调？
• RQ3 在概形的小范畴上，什么条件下一个群层是同伦Cohen-Macaulay的？
• RQ4 同伦Cohen-Macaulay性对不同拓扑中扭子分类有何后果？
• RQ5 在具有支集的条件下，不稳定Gersten分解与经典及动机上同调有何关系？

主要发现

• 对维数≤2的正规概形X及分离的X-群概形G，当t = Zar或Nis时，映射H1(Xt, G) → ∏′x∈X(1) H1x(Xt, G)/G(K) 是双射。
• 当G是正规积分概形上维数为2的光滑半单或乘法型群概形时，映射H1(Xet, G) → ∏′x∈X(1) H1x(Xet, G)/G(K) 是同构。
• 在Xt上，具有阿贝尔层的复形Cz∗(F)由在X(p)/X(p+1)上的支集条件及在X≥p+2中的余核支集唯一确定。
• Cousin复形的构造在同构意义下唯一，且在每一度上满足正合性与支集约束。
• 不稳定谱序列收敛于总化对象的同伦群，其项由具有支集的同伦群上同调控制。
• 该理论提供了一个通过典范增强从谱序列导出不稳定分解的框架。