[논문 리뷰] A new higher homotopy groupoid: the fundamental globular omega-groupoid of a filtered space

Ronald Brown|arXiv (Cornell University)|2007. 02. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 4

한 줄 요약

이 논문은 n-글로브의 스케letal 필터링을 사용하여 필터링된 공간의 기본 글로부라르 ω-군론을 도입하며, 이는 기본 군론의 고차 호모토피 일반화로 간주된다. 큐브식 고차 호모토피 군론의 구성과 함께, 하나의 n차원 생성자에 대한 자유 글로부라르 ω-군론의 교차 복합체가 n-글로브의 기본 교차 복합체와 동형임을 증명함으로써, 이 작업은 필터링된 공간에 대해 향상된 호모토피 계산 가능성을 갖춘 새로운 대수적 모델을 제공한다.

ABSTRACT

We use the n-globe with its skeletal filtration to define the fundamental globular omega--groupoid of a filtered space; the proofs use an analogous fundamental cubical omega--groupoid due to the author and Philip Higgins. This method also relates the construction to the fundamental crossed complex of a filtered space, and this relation allows the proof that the crossed complex associated to the free globular omega-groupoid on one element of dimension n is the fundamental crossed complex of the n-globe.

연구 동기 및 목표

• 필터링된 공간에 대해 글로부라르 접근법을 사용하여 새로운 고차 호모토피 군론의 구조를 개발한다.
• 필터링된 공간의 기본 글로부라르 ω-군론과 그 기본 교차 복합체 사이의 관계를 확립한다.
• 단일 n-셀에 대한 자유 글로부라르 ω-군론의 교차 복합체가 n-글로브의 기본 교차 복합체와 동형임을 증명한다.
• 글로부라르 설정에서 고차 호모토피 반-칸펜 정리의 프레임워크를 제공한다.
• 큐브식 고차 호모토피 군론 접근법을 글로부라르 ω-군론 모델로 일반화하여 완전한 대수적 구조를 갖춘다.

제안 방법

• n-글로브의 스케letal 필터링을 모델 공간으로 사용하여 기본 글로부라르 ω-군론을 정의한다.
• 필터링된 공간으로부터 n-글로브로의 필터링된 사상의 글로부라르 집합을 정의하며, 정점에서의 필터 호모토피에 관하여 몫을 취한다.
• 이전에 확립된 큐브식 고차 호모토피 군론과 그 교차 복합체에 대한 관계에 기반한다.
• 합성 ∘ᵢ를 몫 집합에 정의하여 글로부라르 ω-군론의 구조를 부여한다.
• 큐브식 집합에 연결을 가진 경우, 글로부라르 부분집합을 추출하기 위해 접기 연산 Φₙ을 사용한다.
• 핵심 기술적 단계는 Φₙ이 글로부라르 부분집합으로 사상됨을 보여주어 글로부라르 구조와의 호환성을 확보하는 것이다.

실험 결과

연구 질문

• RQ1 필터링된 공간의 기본 글로부라르 ω-군론은 n-글로브의 필터링을 사용하여 구성될 수 있는가?
• RQ2 필터링된 공간의 기본 글로부라르 ω-군론은 그 필터링된 공간의 기본 교차 복합체와 어떻게 관련이 있는가?
• RQ3 단일 n-셀에 대한 자유 글로부라르 ω-군론의 교차 복합체는 n-글로브의 기본 교차 복합체와 동형인가?
• RQ4 글로부라르 ω-군론 설정에서 고차 호모토피 반-칸펜 정리를 서술할 수 있는가?
• RQ5 접기 연산 Φₙ은 연결을 가진 큐브식 집합에서 글로부라르 구조를 어떻게 추출하는가?

주요 결과

• 필터링된 공간의 기본 글로부라르 ω-군론은 모든 차원 n ≥ 1에 대해 합성 ∘ᵢ를 갖는 잘 정의된 구조이다.
• 글로부라르 ω-군론의 구조는 접기 연산 Φₙ을 통해 큐브식 고차 호모토피 군론으로부터 유도된다.
• 한 개의 n-셀에 대한 자유 글로부라르 ω-군론과 관련된 교차 복합체는 n-글로브의 기본 교차 복합체와 동형이다.
• 이 구성은 고차 호모토피 반-칸펜 정리를 만족하여 호모토피 이론에서 코로이드 계산을 가능하게 한다.
• 접기 연산 Φₙ은 연결을 가진 큐브식 집합의 글로부라르 부분집합으로 사상되며, 글로부라르 구조의 유지 보장을 보장한다.
• 이 방법은 글로부라르 ω-군론을 사용하여 필터링된 공간에 대해 새로운 계산 가능한 대수적 모델을 제공한다.