[논문 리뷰] Homotopy types of strict 3-groupoids

Carlos Simpson|ArXiv.org|1998. 10. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 38

한 줄 요약

이 논문은 엄격한 3-군치가 모든 3-형식의 공간을 모델링할 수 없음을 보이며, 특히 2-구면 $S^2$의 3-형식이 에크만-힐튼 논증으로 인해 비영인 화이트헤드 브라켓으로 인해 어떤 합리적인 실현 함자로도 실현될 수 없다는 점을 구체적으로 보여준다. 핵심적인 장애물은 엄격한 합성에서의 교환 법칙을 강제하는 에크만-힐튼 논증으로, 이는 합성의 엄격한 가환성을 유도하고 고차 호모토피 연산을 영으로 만든다.

ABSTRACT

We look at strict $n$-groupoids and show that if $\Re$ is any realization functor from the category of strict $n$-groupoids to the category of spaces satisfying a minimal property of compatibility with homotopy groups, then there is no strict $n$-groupoid $G$ such that $\Re (G)$ is the $n$-type of $S^2$ (for $n\geq 3$). At the end we speculate on how one might fix this problem by introducing a notion of ``snucategory'', a strictly associative $n$-category with only weak units.

연구 동기 및 목표

• 엄격한 3-군치가 합리적인 실현 함자를 통해 모든 3-형식의 공간을 실현할 수 있는지 판단하는 것.
• 특히 비영인 화이트헤드 브라켓과 관련하여 엄격한 $n$-군치가 호모토피 형식을 모델링하는 데 가지는 제약를 명확히 하는 것.
• 호모토피 군과 개체에서 점으로의 대응을 유지하는 '합리적인 실현 함자'의 개념을 정형화하는 것.
• 엄격한 결합 법칙은 유지하지만 단위는 약한 형태인 새로운 프레임워크인 $n$-스누카테고리의 제안을 통해 문제의 해결책을 모색하는 것.
• $n$-스누카테고리가 약한 동치에 대해 $n$-단절된 호모토피 형식을 모델링할 수 있으며, 엄격한 $n$-군치보다 더 나은 대안이 될 수 있다는 추측을 제기하는 것.

제안 방법

• 합리적인 실현 함자를, 호모토피 군의 자연 동형사를 통해 $\tau_0$와 $\tau_i$를 유지하는 것으로 정의한다.
• 에크만-힐튼 논증을 사용하여 공통된 출발점과 도착점이 있는 엄격한 2-모르피즘은 정확히 가환해야 하며, 이는 고차 호모토피 연산을 영으로 만든다는 것을 보인다.
• 한 개의 객체와 한 개의 1-모르피즘을 가진 엄격한 3-군치를 분석하여, $\tau_0$가 군을 이루는 아벨 모나이드 군치로 표현됨을 보인다.
• 호모토피 군을 존중하는 사상에 의해 포스트니코프 타워를 분해함으로써, 이러한 실현이 타워를 반드시 분해해야 한다는 것을 보인다.
• 에크만-힐튼 장애를 피하기 위해, 엄격한 단위가 없고 오직 약한 단위만 존재하는 $n$-스누카테고리의 개념을 도입한다.
• $n$-스누카테고리에 대해 등가성과 단절 함자를 정의하여, 호모토피 국소화 및 공간과의 비교를 위한 프레임워크를 구축한다.

실험 결과

연구 질문

• RQ1 엄격한 3-군치에서 위상공간으로의 어떤 합리적인 실현 함자도 $S^2$의 3-형식을 실현할 수 있는가?
• RQ2 엄격한 $n$-군치가 비영인 화이트헤드 브라켓이 존재하는 경우에 어떻게 모든 $n$-형식을 모델링하지 못하는가?
• RQ3 에크만-힐튼 논증은 엄격한 $n$-카테고리에서 어떻게 가환성을 강제하며, 이는 호모토피 이론에 어떤 영향을 미치는가?
• RQ4 엄격한 합성 체계에서 약한 단위를 가진다(즉, $n$-스누카테고리)면 고차 화이트헤드 연산이 영이 되는 것을 피할 수 있는가?
• RQ5 예를 들어 $n$-스누카테고리와 같은 범주적 프레임워크가 약한 동치에 대해 $n$-단절된 호모토피 형식을 모델링할 수 있는가?

주요 결과

• 합리적인 실현 함자에 의해 엄격한 3-군치의 이미지로 $S^2$의 3-형식을 실현할 수 없다.
• 이 장애는 $S^2$에서 화이트헤드 브라켓 $\tau_2 \times \tau_2 \to \tau_3$가 비영이지만, 엄격한 3-군치에서는 에크만-힐튼 논증으로 인해 영이 되기 때문이다.
• 엄격한 $n$-카테고리에서는 교환 법칙이 모든 동일한 출발점과 도착점을 가진 2-모르피즘의 정확한 가환성을 강제하며, 이는 고차 호모토피 연산을 제거한다.
• 호모토피 군을 유지하는 모든 실현 함자는 실현의 포스트니코프 타워를 분해해야 하며, 이는 $S^2$의 비영인 $\tau_3$-불변량으로 인해 불가능하다.
• 약한 단위와 엄격한 합성으로 구성된 제안된 $n$-스누카테고리 프레임워크는 $n$-단절된 호모토피 형식을 더 나은 방식으로 모델링할 수 있다.
• 추측으로는, $n$-스누군치의 등가성에 대한 국소화는 $n$-단절된 공간의 약한 동치에 대한 국소화와 동치이다.