[论文解读] Introduction to the manifold calculus of Goodwillie-Weiss

Brian A. Munson|arXiv (Cornell University)|May 11, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 6

一句话总结

本文介紹了 Goodwillie 和 Weiss 所發展的函子的流形微積分理論，透過類比於經典微積分，研究從流形的開子集到拓撲空間的函子。文章利用透過同倫極限定義的導數，建立多項式逼近的泰勒塔，並證明該塔在光滑嵌入空間上收斂，關鍵結果包括對導數的連通性估計與對原函子的收斂性。

ABSTRACT

We present an introduction to the manifold calculus of functors, due to Goodwillie and Weiss. Our perspective focuses on the role the derivatives of a functor F play in this theory, and the analogies with ordinary calculus. We survey the construction of polynomial functors, the classification of homogeneous functors, and results regarding convergence of the Taylor tower. We sprinkle examples throughout, and pay special attention to spaces of smooth embeddings.

研究动机与目标

• 為不熟悉該主題的研究者提供直觀且易懂的函子流形微積分導論。
• 釐清函子導數的角色及其與經典微積分中泰勒級數的類比。
• 解釋多項式函子如何近似一般函子，以及泰勒塔如何收斂至原函子。
• 特別分析函子 $ U \mapsto \operatorname{Emb}(U,N) $，即光滑嵌入空間的收斂性。
• 建立嵌入情形下導數與泰勒塔各階段的連通性估計。

提出的方法

• 將函子 $ F $ 的第 $ n $ 個導數定義為在有限集的 $ n $ 個元素子集上的總同倫纖維，此為微積分中第 $ n $ 個導數的推廣。
• 利用多項式逼近構造函子的泰勒塔，其中每一階段均由 $ F $ 的導數構成。
• 使用同倫極限與同倫上極限定義泰勒塔，並透過 Blakers-Massey 定理分析收斂性。
• 應用分離技術與連通性估計，分析嵌入函子的泰勒塔收斂性。
• 利用流形體分解與橫截性控制泰勒塔中映射的連通性。
• 證明泰勒塔的第 $ k $ 個階段在 $ (k+1) $-連通性意義下近似函子，且當導數滿足適當連通性界時，收斂成立。

实验结果

研究问题

• RQ1 如何在函子流形微積分中類比於經典微積分的導數，定義函子的導數？
• RQ2 在何種條件下，函子的泰勒塔會收斂至原函子？
• RQ3 嵌入函子 $ \operatorname{Emb}(U,N) $ 的導數之連通性特徵如何影響其泰勒塔的收斂性？
• RQ4 Blakers-Massey 定理在分析泰勒塔收斂性中扮演何種角色？
• RQ5 能否證明嵌入函子的泰勒塔收斂？若能，其收斂需滿足何種導數的連通性假設？

主要发现

• 函子 $ F $ 的第 $ n $ 個導數定義為在開子集的 $ n $-重立方上的總同倫纖維，此為微積分中第 $ n $ 個導數的推廣。
• 若函子的 $ (k+1) $-階導數為可縮的，則該函子為 $ k $-次多項式函子，且此類函子的泰勒塔在第 $ k $ 階截斷。
• 若導數滿足適當的連通性界，則函子的泰勒塔會收斂至原函子，收斂性以塔中映射的連通性來衡量。
• 對於嵌入函子 $ \operatorname{Emb}(U,N) $，當 $ N $ 維數為 $ n $ 時，其第 $ k $ 個導數為 $ (n-k-1) $-連通，進而導致泰勒塔收斂。
• 在標準維數假設下，嵌入函子泰勒塔的線性與二次階段分別為 $ (n-3) $-連通與 $ (n-5) $-連通。
• Blakers-Massey 定理被用來證明：若一個正方形的映射分別為 $ k_1 $-與 $ k_2 $-連通，且該正方形為 $ k $-上纖維，則該正方形為 $ (k_1 + k_2 - 1) $-卡蒂埃，此結果對嵌入情形的連通性估計至關重要。