[论文解读] On Triples, Operads, and Generalized Homogeneous Functors

Randy McCarthy, Vahagn Minasian|ArXiv.org|Jan 25, 2004

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

一句话总结

本文建立了从带有余积的 pointed 类到 $A$-模的函子的 Goodwillie 层次分解的必要且充分条件，其中 $A$ 是一个交换的 $S$-代数。它表明，当且仅当一个三元组 $T$ 是其诱导操作律上的代数时，$T$ 自然同构于其 Goodwillie 层的乘积；并利用导数推导出从 $\bf a$-代数到 $A$-模的遗忘函子的较弱分解准则。

ABSTRACT

We study the splitting of the Goodwillie towers of functors in various settings. In particular, we produce splitting criteria for functors $F: \A o M_A$ from a pointed category with coproducts to $A$-modules in terms of differentials of $F$. Here $A$ is a commutative $S$-algebra. We specialize to the case when $\A$ is the category of $\a$-algebras for an operad $\a$ and $F$ is the forgetful functor, and derive milder splitting conditions in terms of the derivative of $F$. In addition, we describe how triples induce operads, and prove that, roughly speaking, a triple $T$ is naturally equivalent to the product of its Goodwillie layers if and only if it is an algebra over its induced operad.

研究动机与目标

• 确定函子 $F: \mathcal{A} \to \mathcal{M}_A$ 的 Goodwillie 层次是否可分解为各层 $D_nF$ 的乘积。
• 通过函子的分解准则，将 Hochschild-Kostant-Rosenberg 定理推广至拓扑设定。
• 通过其诱导操作律，刻画三元组何时同构于其 Goodwillie 层的乘积。
• 利用 $F$ 的导数，推导出从 $\bf a$-代数到 $A$-模的遗忘函子的分解条件。
• 建立细胞 $\bf a$-代数为扩展的细胞 $A$-模，从而实现对张量幂的同伦控制。

提出的方法

• 使用 Goodwillie 微积分将函子分解为齐次层 $D_nF$，其中 $D_nF$ 定义为 $P_nF \to P_{n-1}F$ 的纤维，$P_nF$ 为 $F$ 的 $n$-阶泰勒多项式。
• 应用广义齐次函子的概念——等价于 $n$-齐次函子的乘积——以形式化泰勒层次的分解。
• 引入导数映射 $F(X) \to D_1F(X)$，并推广方向导数以研究函子在不同方向上的行为。
• 构造单纯化解 $\beta_\ast(T_{\bf a}CE, T_{\bf a}E, M_{i-1})$，以证明细胞 $\bf a$-代数同构于扩展的细胞 $A$-模。
• 使用归纳法证明迭代自由代数 $T_{\bf a}^kC$ 可分解为形如 $(P \wedge C^{\wedge l})_H$ 的对象之和，其中 $H < \Sigma_l$，利用对称群作用。
• 利用对称张量积结构和同伦上积的性质，证明 $T_{\bf a}^kC$ 是扩展细胞 $A$-模的和。

实验结果

研究问题

• RQ1 在何种条件下，函子 $F: \mathcal{A} \to \mathcal{M}_A$ 的 Goodwillie 层次可分解为各层 $D_nF$ 的乘积？
• RQ2 三元组 $T$ 何时自然同构于其 Goodwillie 层的乘积，且这与其诱导操作律有何关系？
• RQ3 如何用 $F$ 的导数表达从 $\bf a$-代数到 $A$-模的遗忘函子的分解准则？
• RQ4 细胞 $\bf a$-代数具有何种同伦性质，且其与扩展细胞 $A$-模的关系为何？
• RQ5 在对称群作用下，$T_{\bf a}^kC$ 的结构如何分解，这对 Goodwillie 层次意味着什么？

主要发现

• 函子 $F$ 是广义齐次函子当且仅当其 Goodwillie 层次分解，即 $P_\infty F \simeq \prod_n D_nF$，这推广了 Postnikov 系统的概念。
• 三元组 $T$ 自然同构于其 Goodwillie 层的乘积当且仅当它是其诱导操作律上的代数。
• 对于遗忘函子 $U_{\bf a}: \mathcal{C}_{\bf a} \to \mathcal{M}_A$，其分解准则由导数 $D_1U_{\bf a}$ 导出，当 $\bf a$ 是单纯集中的操作律时，条件更为宽松。
• 通过单纯化解，证明了细胞 $\bf a$-代数同构于扩展细胞 $A$-模，从而实现了对张量幂的同伦控制。
• 迭代自由代数 $T_{\bf a}^kC$ 可分解为形如 $(P \wedge C^{\wedge l})_H$ 的对象之和，其中 $H < \Sigma_l$，从而证明 $T_{\bf a}^kC$ 是扩展细胞 $A$-模。
• 通过利用对称群作用和 smash 积的结构，归纳地建立了 $T_{\bf a}^kC$ 到此类分量的分解。