[논문 리뷰] Homotopical interpretation of globular complex by multipointed d-space

Philippe Gaucher|ArXiv.org|2007. 10. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 42인용 수 19

한 줄 요약

이 논문은 그랑디스의 d-공간의 변종인 다중점 d-공간 위에 조합론적 모델 범주 구조를 수립한다. 이 구조에서 구형 복합체는 정확히 셀러블 객체들이다. 이 모델 범주의 호모토피 범주는 플로우의 호모토피 범주와 동치임을 증명함으로써, 플로우의 기저 호모토피 유형 함수를 총 왼쪽 유도 함자로 해석할 수 있게 되어, 호모토피 쐐기함수를 통한 호모토피 계산을 단순화시킨다.

ABSTRACT

Globular complexes were introduced by E. Goubault and the author in arXiv:math/0107060 to model higher dimensional automata. Globular complexes are topological spaces equipped with a globular decomposition which is the directed analogue of the cellular decomposition of a CW-complex. We prove that there exists a combinatorial model category such that the cellular objects are exactly the globular complexes and such that the homotopy category is equivalent to the homotopy category of flows introduced in arXiv:math/0308054. The underlying category of this model category is a variant of M. Grandis' notion of d-space over a topological space colimit generated by simplices. This result enables us to understand the relationship between the framework of flows and other works in directed algebraic topology using d-spaces. It also enables us to prove that the underlying homotopy type functor of flows constructed in arXiv:math/0308063 can be interpreted up to equivalences of categories as the total left derived functor of a left Quillen adjoint.

연구 동기 및 목표

• 구형 복합체의 호모토피 해석을 그랑디스의 d-공간의 변종을 통해 제공하기 위해.
• 구형 복합체가 셀러블 객체가 되는 조합론적 모델 범주를 구성하기 위해.
• 다중점 d-공간의 호모토피 범주가 플로우의 호모토피 범주와 동치임을 보이기 위해.
• 플로우의 기저 호모토피 유형 함수를 총 왼쪽 유도 함수로 해석하기 위해.
• 유도 함수를 통한 간소화된 호모토피 이론적 계산을 유도 대수적 위상수학에서 가능하게 하기 위해.

제안 방법

• 지향 호모토피 이론에 적합한, M. 그랑디스의 d-공간 개념의 변종을 도입한다.
• 조합론성과 국소적 현존성 보장을 위해 Δ-생성 위상공간의 범주 내에서 작업한다.
• 형식 $ Z \times_{\Delta} S^{n-1} \to Z \times_{\Delta} D^n $ 에 따른 쐐기합을 이용한 새로운 조합론적 분해를 통한 구형 복합체 정의.
• 셀러블 및 코프레임 생성 기법을 사용하여 다중점 d-공간의 범주에 모델 구조를 구성한다.
• 수반 함자 정리와 접근성 추론을 통해 모델 범주는 단순형이며 왼쪽 적절함을 증명한다.
• 퀴렌 수반 관계와 유도 함수를 이용하여 다중점 d-공간의 호모토피 범주와 플로우의 호모토피 범주 간의 동치를 확립한다.

실험 결과

연구 질문

• RQ1 구형 복합체는 d-공간의 변종을 사용한 조합론적 모델 범주 프레임워크 내에서 완전히 포괄될 수 있는가?
• RQ2 다중점 d-공간의 호모토피 범주는 플로우의 호모토피 범주와 동치인가?
• RQ3 플로우의 기저 호모토피 유형 함수는 왼쪽 쿠일렌 수반의 총 왼쪽 유도 함수로 표현될 수 있는가?
• RQ4 Δ-생성 공간의 구조는 조합론성과 접근성을 보장하는 데 어떤 역할을 하는가?
• RQ5 다중점 d-공간에 존재하는 단순형 구조는 모델 범주 공리계를 지원하는 데 어떻게 기여하는가?

주요 결과

• Δ-생성 위상공간 위의 다중점 d-공간의 범주는, 구형 복합체가 정확히 셀러블 객체가 되는 조합론적 모델 구조를 갖는다.
• 다중점 d-공간의 호모토피 범주는 플로우의 호모토피 범주와 동치이며, 이는 이 두 프레임워크 간의 기초적인 연결 고리를 확립한다.
• 플로우의 기저 호모토피 유형 함수는 왼쪽 쿠일렌 수반의 총 왼쪽 유도 함수와 동치이며, 이는 호모토피 계산에서의 활용을 단순화시킨다.
• 다중점 d-공간의 모델 범주는 단순형이며, 기하적 실현과 사상 공간을 통한 텐서 및 코텐서 구조가 정의되어 있다.
• 이 구성은 호모토피 쐐기함수 기법을 사용하여 플로우의 기저 호모토피 유형을 계산하는 데 유리하다.
• 다중점 d-공간의 범주는 국소적으로 현존하며 모든 작은 쐐기함수를 갖는다. 이는 원래의 구형 복합체 범주의 한계를 해결한다.