[논문 리뷰] Introduction to the manifold calculus of Goodwillie-Weiss

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

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 6

한 줄 요약

이 논문은 굿윌디와 Weiss가 개발한 함의체의 함의계산법을 소개하며, 일반 미적분학과의 유사성을 통해 다양체의 열린 부분집합에서 위상공간으로의 함의를 연구한다. 유도미분을 호모토피 극한을 통해 정의한 다항근사의 테일러 탑재를 구축하고, 매끄러운 임bedding 공간에 대해 탑재의 수렴을 증명하며, 유도미분과 탑재의 수렴성에 관한 핵심 결과를 제시한다.

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) $ 에 대해 수렴을 분석하기 위해.
• 임베딩의 경우에 대한 유도미분과 탑재 단계의 연결성 추정을 수립하기 위해.

제안 방법

• 유한 집합의 $ n $-원소 부분집합 위에서의 총 호모토피 피브어로 함의 $ F $의 $ n $-번째 유도미분을 정의하며, 이는 미적분학에서의 $ n $-번째 도함수를 일반화한다.
• 함의의 각 단계가 $ F $의 유도미분으로 구성되는 다항근사로 함의의 테일러 탑재를 구성한다.
• 호모토피 극한과 쌍극한을 사용하여 테일러 탑재를 정의하고, 특히 블러커스-매시 정리를 통해 수렴성을 분석한다.
• 분할 기법과 연결성 추정을 활용하여 임베딩 함의의 테일러 탑재의 수렴성을 분석한다.
• 핸들바디 분해와 일반성 조건을 활용하여 테일러 탑재 내 맵의 연결성을 제어한다.
• 함의의 $ k $-번째 단계가 원래 함의를 $ (k+1) $-연결성까지 근사하며, 유도미분이 적절한 연결성 조건을 만족할 경우 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 함의체의 함의계산법에서 함의의 유도미분은 일반 미적분학의 도함수와 어떻게 유사하게 정의될 수 있는가?
• RQ2 함의의 테일러 탑재가 원래 함의로 수렴하기 위한 조건은 무엇인가?
• RQ3 임베딩 함의 $ \operatorname{Emb}(U,N) $ 의 유도미분의 연결성 성질이 그 테일러 탑재의 수렴성에 어떻게 영향을 주는가?
• RQ4 블러커스-매시 정리는 테일러 탑재의 수렴성을 분석하는 데 어떤 역할을 하는가?
• RQ5 임베딩 함의의 테일러 탑재는 수렴하는 것으로 보일 수 있으며, 만약 그렇다면 어떤 연결성 조건 하에서 수렴하는가?

주요 결과

• 함의 $ F $의 $ n $-번째 유도미분은 열린 부분집합의 $ n $-중립 큐브 위에서의 총 호모토피 피브어로 정의되며, 이는 미적분학에서의 $ n $-번째 도함수를 일반화한다.
• 함의가 $ k $-차 다항함의일 조건은 $ (k+1) $-번째 유도미분이 수축 가능할 때이며, 이러한 함의는 탑재가 $ k $-차수에서 끝나는 것으로 특징지어진다.
• 함의의 테일러 탑재가 원래 함의로 수렴하기 위해서는 유도미분이 적절한 연결성 조건을 만족해야 하며, 이 수렴성은 탑재 내 맵의 연결성으로 측정된다.
• 임베딩 함의 $ \operatorname{Emb}(U,N) $ 에서 $ k $-번째 유도미분은 $ N $ 이 $ n $-차원일 경우 $ (n-k-1) $-연결성임을 보여주며, 이는 테일러 탑재의 수렴을 이끈다.
• 임베딩의 선형 및 이차 단계는 표준 차원 조건 하에서 각각 $ (n-3) $-연결성과 $ (n-5) $-연결성을 띤다.
• 블러커스-매시 정리는 사각형이 $ (k_1 + k_2 - 1) $-카르티esian임을 증명하는 데 사용되며, 이는 맵이 각각 $ k_1 $-연결성과 $ k_2 $-연결성이고 사각형이 $ k $-코카르티esian일 경우에 해당하며, 이는 임베딩의 경우 연결성 추정에 필수적이다.