[논문 리뷰] Transformation Double Categories Associated to 2-Group Actions

Jeffrey C. Morton, Roger Picken|arXiv (Cornell University)|2013. 12. 31.

Topological and Geometric Data Analysis참고 문헌 27인용 수 10

한 줄 요약

이 논문은 범주 위의 2군 작용을 위해 전이 이중 범주 $\mathbf{C}/\!\!/{\mathcal G}$ 를 도입하며, 군 작용의 전이 군oids 를 고차 범주로 일반화한다. 이 이중 범주는 $\mathbf{\rm Cat}$ 내부에서 구성되며, 수평 및 수직 2범주를 통해 국소 대칭을 포착하고, 2군이 스스로에 작용하는 동치 작용이 핵심 예시가 된다. 주요 기여는 2군 작용의 대칭 구조를 완전히 캡처하는 다이어그램적이고 내부적인 구성이다.

ABSTRACT

Transformation groupoids associated to group actions capture the interplay between global and local symmetries of structures described in set-theoretic terms. This paper examines the analogous situation for structures described in category-theoretic terms, where symmetry is expressed as the action of a 2-group G (equivalently, a categorical group) on a category C. It describes the construction of a transformation groupoid in diagrammatic terms, and considers this construction internal to Cat, the category of categories. The result is a double category C//G which describes the local symmetries of C. We define this and describe some of its structure, with the adjoint action of G on itself as a guiding example.

연구 동기 및 목표

• 집합 위의 군 작용에서의 전이 군oids 구성 방식을 집합에서의 군 작용에서 2군 작용으로 일반화한다.
• 범주 $\boldsymbol{\rm Cat}$ 내부에 존재하는 이중 범주 구조를 개발하여, 2군 작용 하에서 범주의 국소 대칭을 포착한다.
• 결과적으로 도출된 이중 범주의 구조를 분석하며, 특히 2군이 스스로에 작용하는 동치 작용을 중심으로 다룬다.
• 전체 대칭 정보가 단지 수평 또는 수직 2범주 슬라이스에만 포함되는 것이 아니라, 이중 범주 전체에 완전히 캡처된다는 것을 보여준다.

제안 방법

• 범주론의 범주 $\boldsymbol{\rm Cat}$ 내부에서 전이 군oids 구성 방식을 내재화하여 전이 이중 범주 $$\boldsymbol{\rm C}/\!\!/{\mathcal G}$$ 를 구성한다.
• 2군 $${\mathcal G}$ 를 교환 모듈 $$(G, H, \rhd, \partial)$$ 로 표현하여, 사상과 2사상의 명시적 계산을 가능하게 한다.
• 수직 및 수평 구성의 사각형을 $$G\ltimes H$$ 의 군oids 구조와 $$G$$ 가 $$H$$ 에 작용하는 방식을 이용해 정의한다.
• 2군이 스스로에 작용하는 동치 작용을 지도적 예시로 삼아, $$H(\mathcal{G}/\!\!/{\mathcal G})$$ 와 $$V(\mathcal{G}/\!\!/{\mathcal G})$$ 인 수평 및 수직 2범주 구조를 유도한다.
• 2-사상이 수평 2범주에서는 $$\operatorname{ker}(\partial) \subset H$$ 의 원소들과 대응되며, 수직 2범주에서는 코너 작용의 고정점들과 대응됨을 확립한다.
• 2-사상과 작용 구조 간의 상호작용 덕분에, 이중 범주 전체가 단지 수평 또는 수직 2범주 각각보다 더 많은 정보를 담고 있음을 증명한다.

실험 결과

연구 질문

• RQ1 집합 위의 군 작용에서의 전이 군oids 구성 방식을 어떻게 집합에서의 군 작용에서 2군 작용으로 일반화할 수 있는가?
• RQ2 2군 $${\mathcal G}$ 가 범주 $$\boldsymbol{\rm C}$$ 에 작용할 때, 이중 범주 $$\boldsymbol{\rm C}/\!\!/{\mathcal G}$$ 의 내부적 구조는 어떠한가?
• RQ3 수평 및 수직 2범주 $$\boldsymbol{\rm C}/\!\!/{\mathcal G}$$ 는 2군 작용의 대칭성을 어떻게 반영하는가?
• RQ4 2군이 스스로에 작용하는 동치 작용이 도출된 이중 범주의 구조를 어떻게 형성하는가?
• RQ5 왜 전체 이중 범주는 단지 수평 또는 수직 2범주 슬라이스보다 더 많은 대칭 데이터를 포착하기 위해 필수적인가?

주요 결과

• 전이 이중 범주 $$\boldsymbol{\rm C}/\!\!/{\mathcal G}$$ 는 $$\boldsymbol{\rm Cat}$$ 내부에 존재하는 이중 범주로서, 군oids 구성 방식을 2군 작용으로 일반화한다.
• 교환 모듈 $$(G, H, \rhd, \partial)$$ 로 분류된 2군 $${\mathcal G}$$ 의 동치 작용에 대해, 수평 2범주 $$H(\mathcal{G}/\!\!/{\mathcal G})$$ 는 객체 $$g \in G$$, 사상 $$(g, \eta) \in G\ltimes H$$, 그리고 타깃이 $$(g, \eta \cdot (\chi g \rhd \chi^{-1}))$$ 인 2사상 $$((g,\eta), \chi)$$ 를 가지며, 이는 $$\operatorname{ker}(\partial) \subset H$$ 에서의 곱셈에 의해 구성된다.
• 수직 2범주 $$V(\mathcal{G}/\!\!/{\mathcal G})$$ 는 객체 $$g \in G$$, 사상 $$(\gamma, g) \in G \times G$$ 를 가지며, $$(\gamma, g)$$ 에서 $$(\gamma', g)$$ 로의 2사상이 존재하는 것은 $$\chi^{-1}$$ 이 작용 $$\gamma g \gamma^{-1} \rhd \chi^{-1} = \chi^{-1}$$ 에 대해 고정점임과 정확히 동치이며, 이는 $$H$$ 에서의 곱셈에 의해 구성된다.
• 이중 범주 $$\mathcal{G}/\!\!/{\mathcal G}$$ 는 단지 수평 또는 수직 2범주 각각만으로는 포착되지 않는 많은 사각형을 포함하므로, 그보다 더 많은 정보를 담고 있다.
• 범주론의 범주 $$\boldsymbol{\rm Cat}$$ 내부에 존재하는 이중 범주로서 $$\boldsymbol{\rm C}/\!\!/{\mathcal G}$$ 의 구성은 2군 작용이 유도하는 국소 대칭의 완전한 다이어그램적 기술을 제공한다.
• 이중 범주의 구조는 완전히 교환 모듈 데이터 $$(G, H, \rhd, \partial)$$ 에 의해 결정되며, 동치 작용은 전체 대칭 구조를 드러내는 표준적인 예시가 된다.