[논문 리뷰] Goodwillie's calculus and model categories

Georg Biedermann, Boris Chorny외 1명|arXiv (Cornell University)|2006. 01. 10.

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 단순 복합체에서 단순 복합체 및 스펙트럼으로의 함자를 위한 국소화된 모델 구조를 구축하여, 굿윌디의 미분계산에서 다항 및 동차 함수의 정밀한 분류를 가능하게 한다. 이는 $n$-동차 함수의 유한성 조건을 두 가지 다른 국소화 방법을 통해 도입함으로써 굿윌디의 분류를 강화한 것으로, 유한성 조건을 포함한 $Σ_n$-작용을 갖는 스펙트럼과 유한성 조건을 갖는 $n$-동차 함수 사이의 쿼일렌 동치를 확립한다.

ABSTRACT

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the $n$-homogeneous model structure, the $n$-th derivative is a Quillen functor to the category of spectra with $\Sigma_n$-action. After taking into account only finitary functors -- which may be done in two different ways -- the above Quillen map becomes a Quillen equivalence. This improves the classification of finitary homogeneous functors by T. G. Goodwillie.

연구 동기 및 목표

• 단순 복합체에서 단순 복합체 및 스펙트럼으로의 함수에 대한 국소화된 모델 구조를 구축한다.
• 이러한 모델 구조를 사용하여 다항 및 동차 함수를 분류한다.
• 유한성 조건을 도입한 두 가지 다른 국소화 방법을 통해 굿윌디의 유한성 조건을 갖는 동차 함수 분류를 개선한다.
• 모델 구조 내에서 유한성 조건을 갖는 함수로 제한하는 데 사용되는 두 가지 다른 방법을 비교한다.
• 유한성 조건을 적용한 후 $n$-번째 도함수 함수가 쿼일렌 동치가 되는 것을 증명한다.

제안 방법

• 단순 복합체에서 단순 복합체로의 작소함수에 대한 프로젝티브 모델 구조를 구축한다.
• 다항 및 동차 함수를 분리하기 위해 프로젝티브 모델 구조의 국소화를 도입한다.
• 이러한 구성 방법을 단순 복합체에서 스펙트럼으로의 함수로 확장하여 스펙트럼 값을 갖는 $n$-번째 도함수를 가능하게 한다.
• $n$-동차 모델 구조 내에서 유한성 조건을 갖는 함수로 제한하기 위해 두 가지 서로 다른 국소화 절차를 정의한다.
• $n$-번째 도함수 함수가 $Σ_n$-작용을 갖는 스펙트럼의 범주로 가는 쿼일렌 함수임을 보여준다.
• 두 방법 중 어느 것으로든 유한성 조건을 적용한 후 쿼일렌 함수가 쿼일렌 동치가 되는 것을 증명한다.

실험 결과

연구 질문

• RQ1 굿윌디 미분계산에서 다항 및 동차 함수를 분류하기 위해 모델 구조를 어떻게 국소화할 수 있는가?
• RQ2 유한성 조건을 갖는 함수의 역할은 $n$-동차 함수의 분류를 어떻게 개선하는가?
• RQ3 $n$-번째 도함수 함수가 유한성 조건을 갖는 함수로 제한되었을 때 쿼일렌 동치로 향상될 수 있는가?
• RQ4 유한성 조건을 갖는 함수로 제한하는 데 사용되는 두 가지 다른 방법이 $n$-동차 설정에서 동일한 모델 구조를 제공하는가?
• RQ5 이 틀 안에서 $n$-번째 도함수로부터 자연스럽게 유도되는 스펙트럼의 $Σ_n$-equivariant 구조는 어떻게 발생하는가?

주요 결과

• $n$-번째 도함수 함수가 $Σ_n$-작용을 갖는 스펙트럼의 범주로 가는 것으로 나타나며, 이 할당은 쿼일렌 함수이다.
• 두 가지 서로 다른 방법 중 어느 것으로든 유한성 조건을 적용한 후 $n$-번째 도함수 함수는 쿼일렌 동치가 된다.
• 국소화된 $n$-동차 모델 구조는 $n$-동차 함수에 대한 완전한 분류 프레임워크를 제공한다.
• 유한성 조건 제한을 위한 두 가지 다른 접근 방식이 동일한 쿼일렌 동치를 제공함으로써 분류의 강건성을 확인한다.
• 이 구성은 스펙트럼 값을 갖는 함수로 자연스럽게 확장되어 미분계산 프레임워크를 풍부하게 한다.
• 모델 이론적 국소화를 통해 유한성 조건을 통합함으로써 굿윌디의 분류를 개선한 결과를 도출한다.