[论文解读] On the fibrewise effective Burnside $\infty$-category

Clark Barwick, Saul Glasman|arXiv (Cornell University)|Jul 10, 2016

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

一句话总结

本文通过一种新颖的'大理石化单纯集'框架和改进的Joyal–Tierney论证，引入了有效Burnside ∞-范畴的纤维化版本，以建立必要的范畴结构。该研究将扭曲箭头 ∞-范畴理论推广至纤维化设定，为 ∞-范畴框架下的纤维化等变稳定同伦论奠定了基础。

ABSTRACT

Effective Burnside $\infty$-categories are the centerpiece of the $\infty$-categorical approach to equivariant stable homotopy theory. In this étude, we recall the construction of the twisted arrow $\infty$-category, and we give a new proof that it is an $\infty$-category, using an extremely helpful modification of an argument due to Joyal--Tierney. The twisted arrow $\infty$-category is in turn used to construct the effective Burnside $\infty$-category. We employ a variation on this theme to construct a fibrewise effective Burnside $\infty$-category. To show that this constuctionworks fibrewise, we introduce a fragment of a theory of what we call marbled simplicial sets, and we use a yet further modified form of the Joyal--Tierney argument.

研究动机与目标

• 将有效Burnside ∞-范畴的构造推广至纤维化或参数化设定。
• 发展'大理石化单纯集'理论作为处理纤维化结构的技术工具。
• 提供一种新证明，表明扭曲箭头 ∞-范畴确实是 ∞-范畴，采用改进的Joyal–Tierney论证。
• 确立纤维化有效Burnside ∞-范畴的定义良好性，并与标记单纯集上的cocartesian模型结构相容。
• 将扭曲箭头构造推广至纤维化语境，为参数化等变同伦论中的应用铺平道路。

提出的方法

• 通过在 Δ 上定义自函子 ε = op ⋆ id，利用 simplicial sets 上的 functor ε⋆ 定义扭曲箭头 ∞-范畴。
• 应用改进的Joyal–Tierney论证，证明扭曲箭头 ∞-范畴确实是 ∞-范畴。
• 引入'大理石化单纯集'作为处理纤维化结构的框架，特别是在标记单纯集的语境下。
• 使用边向细分函子 𝒪̃，将扭曲箭头构造与标准单纯形范畴联系起来。
• 采用标记单纯集上的cocartesian模型结构，重点关注大理石化平凡单射和脊椎包含。
• 应用具有右消去性质的饱和态射类，以证明其对左空洞包含的封闭性。

实验结果

研究问题

• RQ1 如何将有效Burnside ∞-范畴推广至纤维化或参数化设定？
• RQ2 需要何种结构以确保纤维化扭曲箭头构造产生一个行为良好的 ∞-范畴？
• RQ3 Joyal–Tierney论证能否被调整以证明纤维化扭曲箭头范畴的 ∞-范畴性质？
• RQ4 '大理石化单纯集'在 ∞-范畴理论中实现纤维化构造时起到何种作用？
• RQ5 在标记单纯集中，哪些态射类具有右消去性质并包含所需的包含关系？

主要发现

• 通过改进的Joyal–Tierney论证，证明了扭曲箭头 ∞-范畴确实是 ∞-范畴，提供了比以往方法更简洁的新证明。
• 纤维化有效Burnside ∞-范畴通过将扭曲箭头构造推广至纤维化语境而得以构建。
• 在右消去性质下封闭且包含标记脊椎和左空洞包含的态射类，也包含所有左空洞包含，这是关键的技术结果。
• 包含 lJⁿ → lΔⁿ 属于饱和类 E，且对某些子集 S，包含 lJⁿ → lΛⁿ_S 也属于 E，确认了对关键包含的封闭性。
• 通过证明相关函子在cocartesian模型结构下保持所需的纤维化和平凡单射，验证了纤维化有效Burnside ∞-范畴的构造。
• 大理石化单纯集的使用使得纤维化结构在 ∞-范畴理论中得以一致处理，特别是在标记单纯集及其模型结构的语境下。