[논문 리뷰] On the $3$-representations of groups and the $2$-categorical Traces

Wei Wang|arXiv (Cornell University)|2015. 02. 14.

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

한 줄 요약

이 논문은 엄격한 3차 범주에서 유한군의 3표현을 도입하고, 1-자기형사상에 대한 2범주적 트레이스를 정의하며, 그 군 원소의 중심화자(subgroup)가 이 트레이스 위에 범주적으로 작용함을 보여준다. 주요 기여는 엄격한 2범주적 작용을 유도하는 데 쓰이는 3표현 공식을 통해 군 표현 이론을 고차 범주론적으로 일반화한 것이다. 이는 트레이스와 군 작용의 2범주화를 통해 고차 범주론으로의 일반화이다.

ABSTRACT

To $2$-categorify the theory of group representations, we introduce the notions of the $3$-representation of a group in a strict $3$-category and the strict $2$-categorical action of a group on a strict $2$-category. We also $2$-categorify the concept of the trace by introducing the $2$-categorical trace of a $1$-endomorphism in a strict $3$-category. For a $3$-representation $ρ$ of a group $G$ and an element $f$ of $G$, the $2$-categorical trace $\mathbb{T}r_2 ρ_f $ is a category. Moreover, the centralizer of $f$ in $G$ acts categorically on this $2$-categorical trace. We construct the induced strict $2$-categorical action of a finite group, and show that the $2$-categorical trace $ \mathbb{T}r_2$ takes an induced strict $2$-categorical action into an induced categorical action of the initia groupoid. As a corollary, we get the $3$-character formula of the induced strict $2$-categorical action.

연구 동기 및 목표

• 유한군 G의 3표현을 엄격한 3범주론에서 정의하고, 엄격한 2범주적 군 작용을 2범주론에 도입함으로써 군 표현 이론을 2범주화한다.
• 엄격한 3범주론에서 1-자기형사상의 2범주적 트레이스를 정의함으로써, 선형 연산자의 트레이스 개념을 2범주론으로 일반화한다.
• 군 원소의 중심화자가 3표현의 2범주적 트레이스 위에 범주적으로 작용함을 확립한다.
• 유한군의 유도된 엄격한 2범주적 작용을 구성하고, 그 2범주적 트레이스가 초기 군oids 위에 유도된 범주적 작용으로 매핑됨을 보여준다.
• 유도된 엄격한 2범주적 작용에 대한 3표현 공식을 유도하며, 고전적 표현 이론을 고차 범주적 구조로 확장한다.

제안 방법

• 유한군 G의 3표현을 G의 델로핑(de-looping)에서 엄격한 3범주론으로의 3-함수로 정의한다. 이는 군 원소에 1-동형사상, 쌍에 2-동형사상, 삼중조합에 3-동형사상 할당하며, 3코호몰로지 조건을 만족한다.
• 2범주적 트레이스 Tr₂ρ_f를 3표현에서 1-자기형사상 ρ_f에 관련된 범주로 정의한다. 이는 2게이지 이론과 고차 범주론에서의 트레이스 구성 방법을 활용한다.
• 하나의 부분군 H에서 G로의 범주적 유도 과정을 통해 2범주론에서의 유도된 엄격한 2범주적 작용을 구성한다. 이는 고전적 유도 표현 구성의 일반화이다.
• 2범주적 트레이스가 유도를 보존함을 증명하며, 유도된 2범주적 작용이 초기 군oids 위에 유도된 범주적 작용으로 매핑됨을 보여준다.
• 3범주론에서 3-동형사상의 결합법칙과 교환 법칙을 사용하여 중심화자 작용이 트레이스 위에 정의된 자연 동형사상들의 조화를 검증한다.
• 기하학적으로 3코호몰로지 조건을 5개의 테트라헤드론으로 이루어진 4단체의 경계에서의 항등 3화살표로 표현한다.

실험 결과

연구 질문

• RQ1 어떻게 엄격한 3범주론에서의 3표현을 사용하여 군 표현 이론을 2범주화할 수 있는가?
• RQ2 2범주론의 맥락에서 선형 연산자의 트레이스 개념을 어떻게 고차 범주론적으로 일반화할 수 있는가?
• RQ3 군 원소의 중심화자는 3표현의 2범주적 트레이스 위에 어떻게 작용하는가?
• RQ4 유도된 엄격한 2범주적 작용의 2범주적 트레이스는 어떤 구조를 갖는가?
• RQ5 유도된 2범주적 작용에 대한 3표현 공식은 무엇이며, 고전적 표현 이론과의 관계는 어떠한가?

주요 결과

• 3표현에서 1-자기형사상 ρ_f의 2범주적 트레이스 Tr₂ρ_f는 벡량공간이 아니라 범주이며, 이는 고전적 트레이스를 고차 범주론으로 일반화한다.
• f ∈ G의 중심화자는 잘 정의된 2-동형사상으로 Tr₂ρ_f 위에 범주적으로 작용하며, 이는 반류 함수 위의 중심화자 작용의 고차 버전을 제공한다.
• 2범주적 트레이스 함자( functor )는 G의 유도된 엄격한 2범주적 작용을 초기 군oids 위에 유도된 범주적 작용으로 매핑하며, 유도 구조를 유지한다.
• 3코호몰로지 조건은 3표현 내의 3-동형사상의 조화를 보장하며, 기하학적으로 4단체의 경계에서 항등 3화살표로 해석된다.
• 유도된 2범주적 작용에 대한 3표현 공식은 유도된 작용의 범주적 트레이스로 유도되며, 이는 2표현을 고차 범주론적 맥락에서 3표현으로 확장한다.
• 자연 동형사상 Γ_k,hg와 Γ_kh,g는 교환 법칙을 통해 결합법칙을 만족하며, 중심화자 작용이 트레이스 위에 조화를 이룬다는 것을 확인한다.