[論文レビュー] 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$- excisive 近似の存在を証明するとともに、$n$-homogeneous 関手が対称多重線形関手を通じて安定化を通して因数分解されることを示している。主な貢献は、古典的状況を超えたグッドウィルィー微積分を可能にする広範な圏論的基盤を提供することであり、スペクトル圏への因数分解の明確な条件が得られている。

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$- excisive 近似 $P_nF$ の存在を保証する条件を確立すること。
• 源および終域の圏の安定化間の対称多重線形関手から生じる関手として、$n$- homogeneous 関手を特徴づけること。
• グッドウィルィー層がスペクトルの安定圏を経由して因数分解する条件を明確にし、ホモトピー的分類を可能にすること。
• 安定化されたホモトピー極限および余極限を用いて、グッドウィルィーの微積分を非可算反復および無限次デロープに拡張すること。

提案手法

• コフェイブル生成モデル圏と $T_nF$ の非可算反復を用いて、$P_nF$ を普遍的な $n$- excisive 近似として構成する。
• コフェイブルな圏における線形余極限と有限ホモトピー極限の可換性を保証するため、命題 2.8 を適用する。
• 一般のモデル圏設定において、excisive 関手を hocartesian / hococartesian 2次元立方体を用いて定義する。
• $n$- homogeneous 関手が、公式 $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$- excisive 近似が存在する一般的条件は何か？
• RQ2 $n$- homogeneous 関手は、そのクロス効果または多重線形成分からどのように体系的に再構成できるか？
• RQ3 グッドウィルィー層がスペクトルの安定圏を経由して因数分解する条件は何か？
• RQ4 グッドウィルィー微積分は、$T_n$ 関手の非可算反復に拡張可能か？また、ホモトピー極限／余極限のどのような条件下で可能か？
• RQ5 $n$- homogeneous 関手は、源および終域の圏の安定化間の対称多重線形関手から、どのような意味で生じるか？

主な発見

• 定理 4.12 は、源および終域の圏がコフェイブル生成モデル圏であるという仮定の下で、普遍的な $n$- excisive 近似 $P_nF$ の存在を確立している。
• 命題 6.7 は、可算有向 hocolim が有限 holim と可換である限り、$n$- homogeneous 関手が終域の安定化を経由して因数分解されることを示している。
• 定理 7.2 は、弱同値が $ ilde{ u}^{ ext{h} olimits}$ 関手によって検出可能であるという条件下で、$ ext{Stab}( ext{--})$ の安定化間の対称多重線形関手が、$F = igwedge^{ ext{h} olimits}_{ ext{h} olimits}(ar{F} imes ( ext{Stab}( ext{--}))^{ imes n})$ の構成によって $n$- homogeneous 関手を誘導することを証明している。
• 命題 5.29 は、安定な終域圏において、$n$- homogeneous 関手がそのクロス効果によって完全に決定されることを確立しており、グッドウィルィーの分類を一般化している。
• 本稿は、提示された条件下で、グッドウィルィー層の $n$ 番目の層が、$n$ 番目のクロス効果の $ ilde{ u}^{ ext{h} olimits}$-スペクトルと自然同型であることを示している。
• 命題 2.8 を用いて、$T_nF$ の非可算反復による $P_nF$ の構成が excisive であることが示されており、これはコフェイブルな設定におけるホモトピー余極限と極限の整合性を保証する。