[논문 리뷰] On directed homotopy equivalences and a notion of directed topological complexity

Éric Goubault|arXiv (Cornell University)|2017. 09. 17.

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

한 줄 요약

이 논문은 방향성 있는 호모토피 동치(dihomotopy equivalence)의 새로운 개념과 이를 바탕으로 한 방향성 있는 위상적 복잡도($\overrightarrow{TC}$)를 도입하며, $\overrightarrow{TC}$ 가 방향성 호모토피 동치에 대해 불변임을 증명한다. 이는 $\overrightarrow{TC} = 1$ 이라는 조건이 공간이 한 점과 방향성 호모토피 동치일 때이고, 이는 dicontractible임을 의미하며, 로봇공학 및 제어 이론에 응용 가능한 고전적 위상적 복잡도를 방향성 있는 공간으로 확장한다.

ABSTRACT

This short note introduces a notion of directed homotopy equivalence and of "directed" topological complexity (which elaborates on the notion that can be found in e.g. Farber's book) which have a number of desirable joint properties. In particular, being dihomotopically equivalent implies having bisimilar natural homologies (defined in Dubut et al. 2015). Also, under mild conditions, directed topological complexity is an invariant of our directed homotopy equivalence and having a directed topological complexity equal to one is (under these conditions) equivalent to being dihomotopy equivalent to a point (i.e., to being "dicontractible", as in the undirected case). It still remains to compare this notion with the notion introduced in Dubut et al. 2016, which has lots of good properties as well. For now, it seems that for reasonable spaces, this new proposal of directed homotopy equivalence identifies more spaces than the one of Dubut et al. 2016.

연구 동기 및 목표

• 방향성 있는 위상공간의 구조적 불변성을 더 잘 반영하는 새로운 방향성 호모토피 동치(dihomotopy equivalence)의 개념을 정의하기.
• 로봇공학 및 제어 이론에 적합한, 경로의 방향성과 제어 제약 조건이 중요한 방향성 위상적 복잡도($\overrightarrow{TC}$)의 버전을 도입하기.
• $\overrightarrow{TC}$ 가 방향성 호모토피 동치에 대해 불변임을 증명하여, 동치인 공간 간의 안정성을 확보하기.
• $\overrightarrow{TC} = 1$ 이라는 조건이 공간이 한 점과 방향성 호모토피 동치일 때이고, 이는 dicontractible임을 보여주며, 고전적 수축 가능성 결과와 유사한 성질을 갖기.

제안 방법

• d-공간 간의 d-사상(d-map)을 연속적이고 방향성 경로(d-path)를 보존하는 사상으로 정의하여, 방향성 호모토피 동치의 기초를 마련한다.
• d-경로 공간 $PX$ (compact-open 위상)와 $\chi: PX \to X \times X$ 를 정의하며, $\chi(p) = (p(0), p(1))$ 로 하여 고전적 경로 공간 피브레이션을 일반화한다.
• 쌍의 d-사상 $f: X \to Y$ 와 $g: Y \to X$ 를 통해 방향성 호모토피 동치를 구성하며, $f \circ g$ 와 $g \circ f$ 가 d-호모토피를 통해 항등사상과 호모토피가 되도록 한다.
• 공간 간에 $\chi$ 의 이미지 위에서 유도된 사상 $f^*: \Gamma_X \to \Gamma_Y$ 와 $g^*: \Gamma_Y \to \Gamma_X$ 를 사용하여 연속적인 섹션을 전달한다.
• $\overrightarrow{TC}$ 의 불변성을 증명하기 위해, $f$ 와 $g$ 로부터 유도된 역호모토피 자료를 사용하여 분할된 부분집합 $F_i^Y$ 에서 연속적인 섹션을 구성하며, 연속적인 이중등급화를 통해 연속성을 보장한다.
• $\overrightarrow{TC}(X) = 1$ 이라는 조건이 공간 $X$ 가 한 점과 방향성 호모토피 동치일 때라는 것을, $\chi$ 에 대한 전역 연속 섹션의 존재성을 통해 증명한다.

실험 결과

연구 질문

• RQ1 방향성 호모토피 동치에 대해 방향성 위상적 복잡도가 불변이 되도록 하는 개념을 정의할 수 있는가?
• RQ2 $\overrightarrow{TC} = 1$ 이라는 조건이 고전적 수축 가능성 결과와 유사하게 공간이 한 점과 방향성 호모토피 동치임을 의미하는가?
• RQ3 이 새로운 방향성 호모토피 동치 개념은 [8]의 개념과 비교해 더 많은가, 더 적은가의 공간들을 동치로 간주하는가?
• RQ4 분할된 부분집합에서 $\Gamma_X$ 에서의 $\chi$ 의 연속 섹션을 통해 방향성 위상적 복잡도를 계산할 수 있는가?
• RQ5 $\overrightarrow{TC}$ 와 CAT(0) 큐브 복합체의 보편적인 방향성 커버링에서의 최대 d-경로 수나 수준 수 사이에 구조적 연결 고리가 존재하는가?

주요 결과

• 방향성 위상적 복잡도 $\overrightarrow{TC}$ 는 방향성 호모토피 동치에 대해 불변이다: $X$ 와 $Y$ 가 방향성 호모토피 동치이면 $\overrightarrow{TC}(X) = \overrightarrow{TC}(Y)$ 이다.
• 공간이 $\overrightarrow{TC}(X) = 1$ 을 만족할 때이고, 오직 그 때에만 한 점과 방향성 호모토피 동치이자 dicontractible이다. 이는 약간의 위상적 조건 하에서 성립한다.
• 역호모토피 자료를 통해 $\chi: PX \to \Gamma_X$ 의 연속 섹션을 구성함으로써 $\overrightarrow{TC}$ 가 동치인 공간 간에 유지됨을 보장한다.
• 새로운 방향성 호모토피 동치 개념은 [8]의 개념보다 더 많은 공간들을 동치로 간주하므로, 더 흐린 등가관계를 제공한다.
• 공백 큐브 d-공간의 경우 $\overrightarrow{TC}(X) = 2$ 이며, 이는 고전적 위상적 복잡도보다 엄밀히 작음을 보여주며, 방향성 설정에서의 핵심적인 차이를 드러낸다.
• 증명은 호모토피 역함수 $F_{a,b}$ 와 $G_{c,d}$ 의 연속적 이중등급화에 의존하며, 이는 $\Gamma_X$ 와 $\Gamma_Y$ 의 분할 영역을 넘어선 연속적인 올림 섹션을 보장한다.