[논문 리뷰] About the globular homology of higher dimensional automata

Philippe Gaucher|ArXiv.org|2000. 02. 25.

Geometric and Algebraic Topology참고 문헌 17인용 수 20

한 줄 요약

이 논문은 고차원 자동기계(HDA)에 대한 기존 글로불러 호몰로지 이론의 핵심적 한계를 해결하는 새로운 단체형 네트워크 구조를 제안한다. 모서리 네트워크에 대해 정교화된 글로불러 컷과 단체형 구조를 정의하여, 분할이나 고차원 면을 압축하는 등의 합리적인 변형에 대해 불변성을 보장하면서도 분기 및 융합 호몰로지의 기하학적 해석을 단체형 사상으로 복원한다.

ABSTRACT

We introduce a new simplicial nerve of higher dimensional automata whose homology groups yield a new definition of the globular homology. With this new definition, the drawbacks noticed with the construction of math.CT/9902151 disappear. Moreover the important morphisms which associate to every globe its corresponding branching area and merging area of execution paths become morphisms of simplicial sets.

연구 동기 및 목표

• HDA의 합리적인 변형(예: 분할 또는 고차원 면의 압축)에 대해 기존 글로불러 호몰로지 이론이 불변성을 보이지 않는 문제를 해결하기 위해.
• 분기 및 융합를 단체형 사상으로 복원하는 새로운 단체형 네트워크 구조를 통해 글로불러 호몰로지 재정의하기 위해.
• I^n과 같은 큐브에서 양의 차원에서의 비영 호몰로지를 제거하여, 변형 불변성의 기대와 모순되지 않게 하기 위해.
• 글로불러를 분기 및 융합 모서리로 매핑하는 사상 $h^{-}$와 $h^{+}$가 이제 자연스럽게 단체형 사상임을 입증하여 동시성 이론에서의 적용 가능성을 강화하기 위해.

제안 방법

• HDA의 분기 및 융합 네트워크에서 유도된 '글로불러 컷'이라는 새로운 단체형 네트워크를 도입하여, 모서리 집합 위의 단체형 구조를 정교화한다.
• 글로불러 호몰로지 $H^{gl}$가 자연스럽게 포함되는 아벨 군의 다이어그램을 구성하며, $h^{-}$와 $h^{+}$가 글로불러의 모서리 영역으로 매핑하는 단체형 사상으로 작용한다.
• $\omega$-함수에 대한 연산 $S$, $T$, 및 $*$를 사용하여 새로운 단체형 대상 $\underline{\mathcal{N}^{gl}_{*}}$를 정의하고, $n$-사상 위에 소형 범주 구조를 형성한다.
• 이 단체형 범주에 분류 공간 함자를 적용하여 이중단체집합을 생성함으로써, 분할과 변형 불변성과의 호환성을 확보한다.
• 사슬 복합체에서 $A*_{1}B = A + B$와 같은 관계를 도입하여 임의의 순환을 제거하며, 특히 $I^3$ 및 $I^n$에서의 비정상적인 순환을 제거하여 큐브에서의 양의 차원에서 호몰로지가 영이 되도록 보장한다.
• 결과로 얻어진 호몰로지가 S- 및 T-변형에 대해 불변 임을 증명하여, $I^n$과 방향선이 호모토피적으로 동치임을 기대하는 바와 일치함을 입증한다.

실험 결과

연구 질문

• RQ1 HDA의 분할 또는 면의 압축과 같은 합리적인 변형에 대해 불변성을 가지는 새로운 글로불러 호몰로지 정의를 구성할 수 있는가?
• RQ2 기존 글로불러 호몰로지가 $n \geq 3$일 때 $I^n$에서 영이 되지 않는 이유는 무엇이며, 이를 어떻게 수정할 수 있는가?
• RQ3 글로불러를 분기 및 융합 모서리로 매핑하는 사상 $h^{-}$와 $h^{+}$가 새로운 구성에서 자연스럽게 단체형 사상인가?
• RQ4 새로운 단체형 네트워크 구조가 $I^n$의 총 호몰로지가 방향선과 일치함을 보장하는가? 이는 변형 이론의 기대와 부합한다.
• RQ5 모서리 네트워크를 면 및 퇴화 사상에 대해 존중하는 단체형 대상으로 구성할 수 있는가? 이를 통해 잘 정의된 분류 공간 구성이 가능해지는가?

주요 결과

• 사슬 복합체에서 $A*_{1}B = A + B$와 같은 관계를 도입함으로써, $I^n$ 포함 $I^3$에서의 양의 차원에서의 비영 호몰로지를 제거하는 새로운 글로불러 호몰로지 구성이 성공하였다.
• $h^{-}$와 $h^{+}$ 사상은 이제 자연스럽게 단체형 사상이 되었으며, 이는 면 및 퇴화 사상의 보존을 의미하여 기하학적 및 범주론적 해석을 강화한다.
• $n$-큐브 $I^n$과 방향선의 총 호몰로지는 차수 0에서 모두 $\mathbb{Z}$와 동형이며, S- 및 T-변형에 대한 변형 불변성을 확인한다.
• 이 구성은 소형 범주 범주 내에서 잘 정의된 증강 단체형 대상 $\underline{\mathcal{N}^{gl}_{*}}$를 생성하며, 면 및 퇴화 사상 간의 호환성이 보장된다.
• 이 단체형 범주의 분류 공간은 이중단체집합을 생성하며, 분할에 대해 잘 행동하여 시간 분할에 대한 호몰로지 불변성을 뒷받침한다.
• 특정 $p$-사상($p \geq 2$)이 $*_{i}$에 대해 $i \geq 1$일 때 가역적이라면 글로불러 네트워크는 칸 조건을 만족하지만, 핵심 사상(예: $R(0+0)$)이 제거될 경우 모서리 네트워크에서는 이 조건이 성립하지 않는다.