[논문 리뷰] Cubical approximation for directed topology I

Sanjeevi Krishnan|arXiv (Cornell University)|2010. 12. 02.

Homotopy and Cohomology in Algebraic Topology인용 수 1

한 줄 요약

이 논문은 방향성 위상수학을 위한 입방체 및 단체 근사 정리들을 수립하며, 입방체 집합과 스트림을 통한 방향성 호모토피 불변량 계산을 위한 프레임워크를 제안한다. 압축 가능하고 사각형 분할 가능한 스트림에 대해 약한 및 강한 방향성 호모토피 관계가 일치함을 증명함으로써, 입방체 근사를 통한 방향성 코homology 이론의 계산이 가능해진다.

ABSTRACT

Topological spaces - such as classifying spaces, configuration spaces and spacetimes - often admit extra temporal structure. Qualitative invariants on such directed spaces often are more informative yet more difficult to calculate than classical homotopy invariants on underlying spaces because directed spaces rarely decompose as homotopy colimits of simpler directed spaces. Directed spaces often arise as geometric realizations of simplicial sets and cubical sets equipped with temporal structure encoding the orientations of simplices and 1-cubes. In an attempt to develop calculational tools for directed homotopy theory, we prove appropriate simplicial and cubical approximation theorems. We consequently show that geometric realization induces an equivalence between weak homotopy diagram categories of cubical sets and directed spaces and that its right adjoint satisfies an excision theorem. Along the way, we give criteria for two different homotopy relations on directed maps in the literature to coincide.

연구 동기 및 목표

• 고전적 단체 및 입방체 근사 정리를 방향성 설정으로 일반화하는 방향성 공간을 위한 근사 정리 개발.
• 입방체 집합과 스트림을 위한 호모토피 이론을 방향성 기하적 실현과 호환되게 수립.
• 압축성과 사각형 분할 가능성 조건 하에서 두 개별 정의된 방향성 호모토피—약한 및 강한—의 동치를 증명함으로써 통합.
• 엄격한 조합적 모델(입방체 집합)과 유연한 위상적 모델(스트림) 간의 관계를 통해 방향성 코homology 이론에 대한 계산 도구 제공.
• 기존 도구인 세포 근사 및 프로드-단체 근사 정리를 고차원 방향 경로 구조로 확장.

제안 방법

• 방향성의 구조를 코딩하는 순서 이론적 구조를 갖춘 입방체 집합과 단체 집합을 방향성 공간의 조합적 모델로 사용.
• 입방체 집합과 단체 집합을 위상적 스트림으로 기하적 실현하는 실현 유도자 ↿−⇂: ˆ□→S 및 ↿−⇂: ˆ∆→S 를 도입.
• 입방체 및 단체 모델 간의 관계를 설정하기 위해 에지와이즈 분할(sd) 및 삼각분할(tri) 유도자를 적용하고, 수반 관계의 교환도형을 구성.
• 기하적 실현을 정의하고 함자성 성질을 검증하기 위해 코엔드 및 동치관계 생성을 사용하며, 유한한 곱과 단사 임bedding의 보존을 포함.
• 복합 유도자 간의 호모토피 동치를 증명하기 위해 진동-지그재그 항등식과 자연 변환을 사용하며, 특히 sd 및 실현 유도자 간의 수반 쌍의 맥락에서 적용.
• 단위 구간에 국소 전순서를 부여한 단조 함수를 통한 강한 정의의 방향성 호모토피를 사용하여 스트림에 대한 호모토피 이론 수립.

실험 결과

연구 질문

• RQ1 스트림 간 사상에 대한 약한 및 강한 방향성 호모토피 관계가 어떤 조건에서 일치하는가?
• RQ2 고전적 호모토피 확장 성질이 실패하는 방향성 설정에서 단체 및 입방체 근사 정리는 어떻게 적응될 수 있는가?
• RQ3 스트림 실현 유도자 ↿−⇂: ˆ□→S 및 ↿−⇂: ˆ∆→S 는 곱과 임베딩에 관해 어떤 함자적 성질을 만족하는가?
• RQ4 다중 분할(예: 4중 입방체 분할)은 어떤 의미에서 표현 가능한 입방체 집합을 국소적으로 인수로 가지는가?
• RQ5 방향성의 존재 하에서 입방체 및 단체 모델을 사용하여 방향성 코homology 이론은 어떻게 체계화될 수 있는가?

주요 결과

• 유도자 ↿−⇂: ˆ∆→S 는 유한한 곱을 보존하므로, 방향성 호모토피 이론의 곱 구조와 호환된다.
• 유도자 ↿−⇂: ˆ□→S 는 단사 사상들을 스트림 임베딩으로 보존하여, 입방체 집합의 조합적 구조가 위상적 실현에서 유지된다.
• 압축 가능하고 사각형 분할 가능한 스트림에 대해, 약한 및 강한 방향성 호모토피의 정의가 동치인 동치관계를 생성함으로써, 이전의 전입방체 집합 결과를 일반화한다.
• 삼각분할과 그 오른쪽 수반의 복합은 연속성을 보이며, 기하적 실현과 그 수반의 복합과는 달리 이 성질은 호모토피 계산에 핵심적이다.
• 에지와이즈 분할 및 삼각분할 유도자들은 실현 유도자와 함께 교환도형을 형성하여, 단체 모델과 입방체 모델 간의 체계적 비교를 가능하게 한다.
• 복합 유도자 간의 호모토피 동치 증명은 진동-지그재그 항등식과 자연 변환에 의존하며, 실현 유도자가 ↭까지의 호모토피 동치를 보존한다.