[论文解读] A general context for Goodwillie Calculus

Luís Alexandre Pereira|arXiv (Cornell University)|Jan 13, 2013

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

一句话总结

本文为古德伊利计算建立了一个通用的模型范畴框架，证明了存在普遍的 $n$-可裂逼近，并表明 $n$-齐次函子通过对称多重线性函子经由稳定化过程实现分解。关键贡献在于构建了一个广泛适用的范畴基础，使古德伊利计算得以超越经典设定，精确刻画了函子通过谱范畴分解的条件。

ABSTRACT

The objective of this paper is to provide a fairly general model category context in which one can perform Goodwille Calculus. There are two main parts to the paper, the first establishing general conditions which guarantee the existence of universal $n$-excisive approximations, and a second providing conditions for which the layers of the Goodwillie tower can be appropriately factored through the spectra categories.

研究动机与目标

• 为古德伊利计算提供一个通用的模型范畴背景，使其超越古德伊利原始框架的限制。
• 确立在模型范畴之间函子存在普遍 $n$-可裂逼近 $P_nF$ 的条件。
• 将 $n$-齐次函子表征为源范畴与目标范畴稳定化之间对称多重线性函子的产物。
• 阐明古德伊利塔的各层通过谱范畴分解的条件，从而实现同伦分类。
• 通过稳定同伦极限与余极限，将古德伊利计算扩展至超限迭代与无限延拓。

提出的方法

• 使用可生成的模型范畴及 $T_nF$ 构造的超限迭代，构建 $P_nF$ 作为普遍的 $n$-可裂逼近。
• 应用命题 2.8，确保在可生成范畴中线性余极限与有限同伦极限的交换性。
• 利用 hocartesian/hococartesian 长方体在一般模型范畴设定下定义可裂函子。
• 确立 $n$-齐次函子由对称多重线性函子通过公式 $F = igwedge^{ ext{h} olimits}_{ ext{h} olimits}(ar{F} imes (ar{F} imes ext{Stab}( ext{--}))$ 分类。
• 采用文献 [14] 中定义的范畴稳定化，并通过 $ ilde{ u}^{ ext{h} olimits}$ 函子检测弱等价。
• 在谱的图示中应用余极限性论证，证明在可数迭代下 $ ilde{ u}^{ ext{h} olimits}$-极限与 $ ilde{ u}^{ ext{h} olimits}$-余极限可交换。

实验结果

研究问题

• RQ1 在何种一般条件下，模型范畴之间函子的普遍 $n$-可裂逼近存在？
• RQ2 如何系统地从其交叉效应或多重线性分量重构 $n$-齐次函子？
• RQ3 在何种条件下，古德伊利塔的各层可分解为谱的稳定范畴？
• RQ4 古德伊利计算能否扩展至 $T_n$ 函子的超限迭代？在何种同伦极限/余极限条件下成立？
• RQ5 在何种意义上，$n$-齐次函子可由源与目标范畴稳定化之间的对称多重线性函子导出？

主要发现

• 定理 4.12 在源范畴与目标范畴均为可生成模型范畴的假设下，证明了普遍 $n$-可裂逼近 $P_nF$ 的存在性。
• 命题 6.7 表明，若可数定向同伦余极限与有限同伦极限可交换，则 $n$-齐次函子可通过目标范畴的稳定化实现分解。
• 定理 7.2 证明，在弱等价由 $ ilde{ u}^{ ext{h} olimits}$ 函子检测的条件下，通过构造 $F = igwedge^{ ext{h} olimits}_{ ext{h} olimits}(ar{F} imes ( ext{Stab}( ext{--}))^{ imes n})$，稳定化范畴之间的对称多重线性函子可诱导出 $n$-齐次函子。
• 命题 5.29 证明，在稳定目标范畴中，$n$-齐次函子完全由其交叉效应决定，推广了古德伊利的分类结果。
• 本文表明，在所述条件下，古德伊利塔的第 $n$ 层自然同构于第 $n$ 个交叉效应的 $ ilde{ u}^{ ext{h} olimits}$-谱。
• 通过命题 2.8 证明，使用 $T_nF$ 的超限迭代构造 $P_nF$ 的方法是可裂的，该命题确保了在可生成设定下同伦余极限与极限的相容性。