[논문 리뷰] Rational Homotopy Calculus of Functors

Ben Walter|ArXiv.org|2006. 03. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 5

한 줄 요약

이 논문은 미분합성대수 및 미분합성코알지의 범주에 대해 유리수 호모토피 미분계산법을 구성하며, 호모토피 쐐기와 끌림을 위한 명시적이고 계산에 용이한 모델을 사용한다. 이는 동차층이 유리수 스펙트럼을 통해 인해되는 유리수 타일러 탑을 수립하고, DGL, DGC, DG 범주 간의 안정화 함자들이 이러한 모델에 자연스럽게 유도됨을 보여주며, 이는 유리수 타일러 탑의 효과적인 계산을 가능하게 한다.

ABSTRACT

This is a (slightly edited) version of the PhD dissertation of the author, submitted to Brown University in July 2005. We construct a homotopy calculus of functors in the sense of Goodwillie for the categories of rational homotopy theory. More precisely, given a homotopy functor between any of the categories of differential graded vector spaces (DG), reduced differential graded vector spaces, differential graded Lie algebras (DGL), and differential graded coalgebras (DGC), we show that there is an associated approximating "rational Taylor tower" of excisive functors. The fibers in this tower are homogeneous functors which factor as homogeneous endomorphisms of the category of differential graded vector spaces. Furthermore, we develop very straightforward and simple models for all of the objects in this tower. Constructing these models entails first building very simple models for homotopy pushouts and pullbacks in the categories DG, DGL, and DGC. We end with a short example of the usefulness of our computationally simple models for rational Taylor towers, as well as a preview of some further results dealing with the structure of rational (and non-rational) Taylor towers.

연구 동기 및 목표

• 유리수 호모토피 이론의 맥락에서 계산에 용이한 호모토피 미분계산법을 개발하기 위해.
• DG, DGL, DGC 범주에서 호모토피 쐐기와 끌림을 위한 명시적이고 단순한 모델을 구성하기 위해.
• DGL, DGC, DG 범주가 자연스러운 안정화 함자들을 통해 공통의 유리수 스펙트럼 범주로 안정화됨을 보여주기 위해.
• 이러한 모델이 유리수 타일러 탑의 계산을 단순화하는 방식을 보여주기 위해.
• 비유리수 및 위상적 맥락으로의 유리수 미분계산법 확장을 위한 기초 도구를 마련하기 위해.

제안 방법

• 유리수 호모토피 범주에서 호모토피 함자의 분할 근사에 기반한 유리수 타일러 탑을 구성하기 위해.
• DG, DGL, DGC 범주에서 호모토피 쐐기와 끌림을 위한 매우 단순한 모델을 사용하여 명시적 근사를 구축하기 위해.
• DGL, DGC, DG 간의 안정화 함자 Σ∞ 및 Ω∞를 정의하며, 이들은 표준적이지 않지만 모델에서 자연스럽게 유도됨을 보여주기 위해.
• 타일러 탑의 섬유들이 유리수 스펙트럼 범주의 통과를 하는 동차 함자임을 보여주기 위해.
• DG 범주가 DGL과 DGC의 안정화와 동치임을 수립하여 통합된 유리수 스펙트럼 프레임워크를 제공하기 위해.
• 큐브 모델과 총 호모토피 섬유를 사용하여 초기 함자를 그 동차층과 구조 사상으로 재구성하기 위해.

실험 결과

연구 질문

• RQ1 계산에 용이한 모델을 사용하여 유리수 호모토피 이론에서 호모토피 미분계산법을 효과적으로 구성할 수 있는가?
• RQ2 DGL 및 DGC 범주의 안정화와 유리수 스펙트럼 범주 간의 정확한 관계는 무엇인가?
• RQ3 DGL 및 DGC에서 호모토피 쐐기 및 끌림 모델로부터 자연스러운 안정화 및 무한 루프 함자가 어떻게 유도되는가?
• RQ4 대칭군 작용을 갖는 스펙트럼을 사용하여 유리수 타일러 탑의 동차층을 명시적으로 기술할 수 있는가?
• RQ5 제트 구성에서 스펙트럼으로의 n-분할 함자의 분류는 어떻게 이루어지며, 계수는 스펙트럼이고 구조 사상은 일관된 노름 호모토피 체계를 만족하는가?

주요 결과

• 논문은 DG, DGL, DGC 범주 간의 호모토피 함자에 대해 호모토피 극한과 극대의 명시적이고 단순한 모델을 사용하여 유리수 타일러 탑을 구성한다.
• DG, DGL, DGC에서의 호모토피 쐐기와 끌림은 스위스닝과 루프 함자를 자연스럽게 유도하는 방식으로 모델링되며, 이는 유리수 스펙트럼으로의 안정화 함자로 이어진다.
• 유리수 스펙트럼의 범주는 DGL과 DGC의 안정화와 동치임을 보여주며, 이는 유리수 호모토피 이론의 통합 프레임워크를 제공한다.
• 타일러 탑의 섬유들은 유리수 스펙트럼 범주를 통과하는 동차 함자이며, 구조 사상은 스펙트럼 간의 등변 사상으로 주어진다.
• 제트를 통해 스펙트럼으로의 n-분할 함자에 대한 분류가 이루어지며, 계수는 스펙트럼이고 구조 사상은 일관된 노름 호모토피 체계를 만족한다.
• 큐브 모델의 총 호모토피 섬유는 약한 동치까지 원래 함자를 재구성하므로, 이는 유리수 타일러 탑의 계산 도구로 기능한다.