[논문 리뷰] Categorical representations of categorical groups

John W. Barrett, Marco Mackaay|ArXiv.org|2004. 07. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 27인용 수 50

한 줄 요약

이 논문은 고유한 군의 범주론적 표현에 대한 모나이드 2-category를 수립하며, 군 표현 이론을 고차 범주로 확장한다. 표현이 분해 불가능할 수는 있지만 기약적이지는 않다는 점—고전적 표현 이론보다 더 rich한 구조를 드러냄—을 보여주며, 1차원의 경우는 3차원 및 4차원 다양체에서의 위상적 상태합 불변량에 적합한 단순 구조를 가진다.

ABSTRACT

The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A simple example is computed in explicit detail.

연구 동기 및 목표

• 고전적 군 표현 이론에 대응하는 범주론적 군에 대한 표현 이론을 개발하기 위해.
• 군의 표현의 모나이드 범주를 일반화한, 범주론적 표현의 모나이드 2-category를 구성하기 위해.
• 분해 불가능하고 기약적이지 않은 표현의 구조를 조사하며, 특히 분해 불가능하지만 기약적이지 않은 표현의 현상에 초점을 맞추기 위해.
• 일반적인 범주론적 표현의 복잡성을 설명하기 위해 간단한 예제에서 명시적인 계산을 제공하기 위해.
• 이러한 범주론적 표현을 사용하여 4차원 다양체에서 위상적 상태합 불변량을 구성할 잠재 가능성을 탐색하기 위해.

제안 방법

• 범주론적 군을 군의 범주에서의 군 대상으로 정의하며, 이는 군의 교차 모듈과 동치이다.
• 엄격한 모나이드 함자를 사상으로 사용하여, 범주론적 표현의 모나이드 2-category를 구성한다.
• 간단한 예제(G(2,3))에서 명시적인 행렬 계산을 통해 범주론적 표현을 분석하여, 기약적이지 않은 분해 불가능한 표현을 시연한다.
• 기저 군에서 대칭군으로의 준동형과 군 2-코호몰로지 원소를 사용하여 1차원 범주론적 표현을 특성화한다.
• 특성 공간의 궤도 분해를 사용하여 분해 불가능한 표현과 그들 간의 상호작용자를 동차 벡터 다발로 묘사한다.
• 표현의 모나이드 곱을 분해하여 궤도의 곱을 분석함으로써, 기약적이지만 분해 불가능한 표현이 나타날 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 군의 표현 이론은 어떻게 고차 범주적 프레임워크 내에서 범주론적 군으로 일반화될 수 있는가?
• RQ2 범주론적 군의 범주론적 표현이 형성하는 모나이드 2-category의 구조는 무엇인가?
• RQ3 왜 분해 불가능하지만 기약적이지 않은 범주론적 표현이 존재하며, 어떻게 분류할 수 있는가?
• RQ4 1차원 범주론적 표현은 위상적 상태합 모델에 적합한 단순 모나이드 2-category를 제공할 수 있는가?
• RQ5 군 2-코호몰로지와 프로젝티브 작용은 1-상호작용자(class)를 분류하는 데 어떤 역할을 하는가?

주요 결과

• 범주론적 군의 범주론적 표현은 고전적 군 표현의 모나이드 범주를 확장한 모나이드 2-category를 이룬다.
• 기약적이지 않은 분해 불가능한 범주론적 표현은 기저 군과 그 안정자 부분군의 작용 하에서 특성의 궤도에 의해 분류된다.
• 1차원의 경우, 범주론적 표현은 단순하며, 이는 위상적 상태합 불변량을 구성하기에 적합한 단순 모나이드 2-category를 이룬다.
• 분해 불가능한 표현 간의 1-상호작용자는 특성 궤도의 곱 위의 프로젝티브 동차 벡터 다발에 대응하며, 군 2-코호몰로지에 의해 작용이 왜곡된다.
• 두 분해 불가능한 표현의 모나이드 곱은 기약적이지만 분해 불가능한 표현을 포함할 수 있으며, 이는 일반적으로 비단순 구조를 시사한다.
• 일반적인 범주론적 표현은 (C*)^N 값을 갖는 정규화된 군 2-코호몰로지 원소 등의 추가 자료가 필요하지만, 추가적인 일致 조건으로 인해 전체 분류는 여전히 복잡하다.