[논문 리뷰] Natural homotopy of multipointed d-spaces

Philippe Gaucher|arXiv (Cornell University)|2024. 04. 29.

Homotopy and Cohomology in Algebraic Topology인용 수 1

한 줄 요약

이 논문은 다중점 d-위상공간과 방향성 있는 위상공간 사이에 완전한 반사 부분범주 관계를 수립하여, Baues-Wirsching의 자연계의 개념을 다중점 d-위상공간으로 확장한다. 이는 호모토피에 관하여 불변인 위상공간의 자연계와 그 이산적 대응체를 세포적 다중점 d-위상공간에 대해 구성하며, 이들이 호모토피에 관하여 이방적임을 증명한다. 이 틀은 구형 분할에 관하여 불변이며, 이는 Dubut의 큐브릭 결과에 대한 구형 해석으로서 이전 접근보다 더 넓은 적용 가능성을 제공한다.

ABSTRACT

We identify Grandis' directed spaces as a full reflective subcategory of the category of multipointed $d$-spaces. When the multipointed $d$-space realizes a precubical set, its reflection coincides with the standard realization of the precubical set as a directed space. The reflection enables us to extend the construction of the natural system of topological spaces in Baues-Wirsching's sense from directed spaces to multipointed $d$-spaces. In the case of a cellular multipointed $d$-space, there is a discrete version of this natural system which is proved to be bisimilar up to homotopy. We also prove that these constructions are invariant up to homotopy under globular subdivision. These results are the globular analogue of Dubut's results. Finally, we point the apparent incompatibility between the notion of bisimilar natural systems and the q-model structure of multipointed $d$-spaces and we give some suggestions for future works.

연구 동기 및 목표

• 방향성 있는 위상공간이 다중점 d-위상공간 내에 완전한 반사 부분범주로 통합될 수 있도록 하는 것.
• Baues-Wirsching의 자연계 구성법을 방향성 있는 위상공간에서 일반적인 다중점 d-위상공간으로 확장하는 것.
• 세포적 다중점 d-위상공간에 대해 이산적 자연계를 정의하고, 이가 연속적 형태와 호모토피에 관하여 이방적임을 증명하는 것.
• 이러한 구성이 구형 분할에 관하여 불변임을 보이는 것.
• 다중점 d-위상공간에서 q-모델 구조와 자연계의 이방성 간의 근본적인 불일치를 규명하는 것.

제안 방법

• 다중점 d-위상공간에서 방향성 있는 위상공간으로의 반사 함자 →Sp를 구성하여, 방향성 경로가 실행 경로 조각들의 유한한 합성임을 보장한다.
• 반사된 →Sp(X)의 방향성 경로를 통해 임의의 다중점 d-위상공간 X에 대해 위상공간의 자연계 →NT(X)를 정의한다.
• 세포적 다중점 d-위상공간의 경우, 구형 세포의 중심을 사용하여 이산적 자연계 →NTd(X)를 도입한다.
• →NT(X)에서 →NTd(X)로의 사상이 호모토피에 관하여 열려 있음을 증명하여, 이는 호모토피에 관하여 이방적임을 의미한다.
• 구형 분할에 의한 사상이 호모토피 이방적 자연계를 유도함을 보여, 불변성을 입증한다.
• 약한 동치가 자연계의 이방성을 보존하지 않는 반례를 제시한다.

실험 결과

연구 질문

• RQ1 Baues-Wirsching의 자연계 구성법은 방향성 있는 위상공간에서 다중점 d-위상공간의 더 넓은 범주로 확장될 수 있는가?
• RQ2 세포적 다중점 d-위상공간에 대해 연속적 형태와 호모토피적으로 동치인 이산적이고 계산적으로 다룰 수 있는 자연계의 형태가 존재하는가?
• RQ3 이러한 구성은 Dubut의 큐브릭 설정에서의 결과와 유사하게 구형 분할에 관하여 불변인가?
• RQ4 다중점 d-위상공간에서 q-모델 구조와 자연계의 이방성 개념 간의 관계는 무엇인가?
• RQ5 q-모델 구조의 약한 동치와 자연계의 이방성 간에 나타나는 명백한 불일치는 해결되거나 재해석될 수 있는가?

주요 결과

• 방향성 있는 위상공간의 범주는 다중점 d-위상공간 내에 완전한 반사 부분범주를 이룬다. 이는 각 다중점 d-위상공간을 그 최대 방향성 부분공간으로 반사하는 함자 →Sp를 통해 이루어진다.
• 임의의 다중점 d-위상공간 X에 대해 위상공간의 자연계 →NT(X)는 잘 정의되어 있으며, Baues-Wirsching의 구성법을 방향성 있는 위상공간으로부터 확장한다.
• 세포적 다중점 d-위상공간의 경우, 구형 세포의 중심을 사용하여 이산적 자연계 →NTd(X)를 구성하며, 이는 →NT(X)와 호모토피에 관하여 이방적이다.
• →NT(X)와 →NTd(X)의 구성은 구형 분할에 관하여 불변이다: 만약 f: X → Y 가 구형 분할이라면, →NT(X), →NT(Y), →NTd(X), →NTd(Y)는 모두 호모토피에 관하여 이방적이다.
• 약한 동치가 자연계의 이방성을 보존하지 않는 반례를 제시함으로써, q-모델 구조와 자연계의 이방성 간에 명백한 불일치가 있음을 보여준다.
• 논문은 q-모델 구조와 자연계의 이방성 개념이 방향성 대수적 위상수학에서 상호 배타적인 형식적 체계일 수 있음을 제안한다.