[논문 리뷰] The simplicial interpretation of bigroupoid 2-torsors

Igor Baković|ArXiv.org|2009. 02. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 26인용 수 3

한 줄 요약

이 논문은 대칭 2-군의 2-자기작용을 통해 Duskin 신경을 통해 대칭 2-군의 2-자기작용을 삼각형 해석으로 제시한다. 즉, 대칭 2-군의 2-자기작용에서 그 작용하는 대칭 2-군으로 가는 표준 2-함수의 Duskin 신경은 정확히 Duskin-Glenn 삼각형 2-자기작용임을 보여준다. 핵심 결과는 대칭 2-군이 범주 위에서 주어진 주어진 2-작용을 통해 작용할 경우, 그로 인해 유도되는 삼각형 구조는 비가역적이고, 1-코스켈레탈하며, 정확한 필라르 조건을 만족함으로써, 군의 범주화를 통한 고전적 삼각형 2-자기작용을 실현한다.

ABSTRACT

Actions of bicategories arise as categorification of actions of categories. They appear in a variety of different contexts in mathematics, from Moerdijk's classification of regular Lie groupoids in foliation theory, to Waldmann's work on deformation quantization. For any such action we introduce an action bicategory, together with a canonical projection (strict) 2-functor to the bicategory which acts. When the bicategory is a bigroupoid, we can impose the additional condition that action is principal in bicategorical sense, giving rise to a bigroupoid 2-torsor. In that case, the Duskin nerve of the canonical projection is precisely the Duskin-Glenn simplicial 2-torsor.

연구 동기 및 목표

• 대칭 2-군의 2-자기작용을 삼각형 구조로 특성화하기.
• Duskin 신경을 통한 이중 범주적 작용과 삼각형 호모토피 이론 사이의 다리를 쌓기.
• 범주 위에서 주어진 2-작용이 삼각형 2-자기작용을 유도하며, 정확한 필라르 조건과 코스켈레탈성 조건을 만족함을 보여주기.
• 군의 범주화 원리를 사용하여 고전적 자기작용 이론을 2-범주적 맥락으로 일반화하기.
• 토파스 내에서 대칭 2-군 작용으로 유도된 2-자기작용의 삼각형적 해석 제공하기.

제안 방법

• 작용 이중범주와 작용하는 대칭 2-군으로 가는 표준적인 엄밀한 2-함수를 구성하기.
• 정확한 필라르 조건과 코스켈레탈성 조건을 만족하는 주어진 2-작용을 갖는 대칭 2-군의 2-자기작용으로서 대칭 2-군의 2-자기작용 정의하기.
• Duskin 신경을 사용하여 2-함수를 삼각형 집합으로 변환하기.
• 신경이 비가역적이고 1-코스켈레탈임을 증명하여, Duskin-Glenn 삼각형 2-자기작용의 조건을 만족함을 보장하기.
• 섬세한 필라르 조건을 만족시키기 위해, 유도된 함자에서의 전사적이고 본질적으로 전사적인 성질을 활용하여 유일한 2-삼각형을 구성하기.
• 신경이 차원 1 이상에서 정확한 칸 조건을 만족함을 검증하여, 삼각형 2-자기작용임을 확인하기.

실험 결과

연구 질문

• RQ1 Duskin 신경을 통해 대칭 2-군의 2-자기작용을 어떻게 삼각형적으로 해석할 수 있는가?
• RQ2 어떤 조건이 2-함수의 Duskin 신경이 Duskin-Glenn 삼각형 2-자기작용이 되도록 보장하는가?
• RQ3 범주 위에서 주어진 2-작용이 언제 1-코스켈레탈이면서 비가역적인 삼각형 집합을 유도하는가?
• RQ4 군의 범주화된 작용은 삼각형 하이퍼군의 구조와 자기작용과 어떻게 관련되는가?
• RQ5 유도된 함자의 전사적이고 본질적으로 전사적인 성질이 삼각형 2-자기작용을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 대칭 2-군의 2-자기작용에서 그 작용하는 대칭 2-군으로 가는 표준 2-함수의 Duskin 신경은 Duskin-Glenn 삼각형 2-자기작용이다.
• 2-자기작용의 신경은 비가역적이다. 즉, 고차 호모토피 군이 자명하다.
• 신경은 1-코스켈레탈이다. 즉, 모든 고차 삼각형은 1-삼각형과 그들의 복합으로 결정된다.
• 모든 n ≥ 2에 대해 2-함수는 정확한 필라르 조건을 만족한다. 이는 삼각형 구조가 요구하는 정확성 조건을 만족함을 보장한다.
• 유도된 함자의 전사적이고 본질적으로 전사적인 성질 덕분에, 어떤 1-호도 유일한 2-삼각형이 존재함을 보장한다.
• 이 구성은 Duskin 신경을 통해 주어진 2-작용과 삼각형 2-자기작용 사이에 정확한 대응 관계를 수립한다.