[論文レビュー] On Triples, Operads, and Generalized Homogeneous Functors

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

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

ひとこと要約

この論文は、直積をもつ点付きの圏から $A$-加群への関手のグッドウィル・タワーの分裂に関する必要十分条件を確立する。ここで $A$ は可換な $S$-代数である。三重 $T$ がそのグッドウィル・レイヤーの積と自然同型であることは、その誘導されたオペラッド上での代数であることと同値であり、導来を用いて $\bf 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$ のグッドウィル・タワーがそのレイヤー $D_nF$ の積に分裂する条件を特定すること。
• 分裂基準を用いてホッフシュャイルド＝コスタント＝ローゼンバーグの定理を位相的設定に一般化すること。
• 三重がそのグッドウィル・レイヤーの積と自然同型であることの特徴づけを、その誘導されたオペラッドを用いて行うこと。
• $F$ の導来を用いて $\bf a$-代数からの忘却関手の分裂条件を導出すること。
• 細胞 $\bf a$-代数が拡張された細胞 $A$-加群であることを確立し、テンソル積のホモトピー的制御を可能にすること。

提案手法

• グッドウィル・計算を用いて関手を同次層 $D_nF$ に分解する。ここで $D_nF$ は $P_nF \to P_{n-1}F$ のファイバーであり、$P_nF$ は $n$-次のテイラー多項式である。
• 一般化された同次関手（$n$-同次関手の積に等価）の概念を用いて、テイラー・タワーの分裂を形式化する。
• 関手の振る舞いをさまざまな方向で調べるため、導来写像 $F(X) \to D_1F(X)$ を定義し、方向微分の一般化を施す。
• 細胞 $\bf a$-代数が拡張された細胞 $A$-加群と同値であることを示すために、単体的解体 $\beta_\ast(T_{\bf a}CE, T_{\bf a}E, M_{i-1})$ を構成する。
• 帰納法を用いて、繰り返し自由代数 $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$ のグッドウィル・タワーがそのレイヤー $D_nF$ の積に分裂する条件は何か？
• RQ2 三重 $T$ がそのグッドウィル・レイヤーの積と自然同型であるのはいつか？ そしてこれはその誘導されたオペラッドとどのように関係するか？
• RQ3 $\bf a$-代数からの忘却関手の分裂基準を、$F$ の導来を用いてどのように表現できるか？
• RQ4 細胞 $\bf a$-代数がどのようなホモトピー的性質を持つのか？ そしてそれは拡張された細胞 $A$-加群とどのように関係するか？
• RQ5 $T_{\bf a}^kC$ の構造は対称群作用の下でどのように分解されるのか？ そしてこれはグッドウィル・タワーにどのような含意を持つのか？

主な発見

• 関手 $F$ が一般化された同次的であることと、そのグッドウィル・タワーが分裂すること（つまり $P_\infty F \simeq \prod_n D_nF$）は同値であり、ポストニコフ系の概念を一般化する。
• 三重 $T$ がそのグッドウィル・レイヤーの積と自然同型であることと、その誘導されたオペラッド上での代数であることとは同値である。
• $\mathcal{C}_{\bf a} \to \mathcal{M}_A$ への忘却関手 $U_{\bf 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$-加群であることが証明される。
• $T_{\bf a}^kC$ のこのような和分解は、対称群作用とスムージング積の構造を用いて帰納的に確立される。