[논문 리뷰] Examples of categorification

Louis Crane, David N. Yetter|ArXiv.org|1996. 07. 27.

Algebraic structures and combinatorial models참고 문헌 12인용 수 20

한 줄 요약

이 논문은 단순한 텐서 범주를 사용하여 융합 규칙 대수의 분류화 프레임워크를 제안하며, Drinfeld 이중 D(ℕ[G])의 단위 및 쌍단위를 갖춘 비텐서 분류화와 K×에 대한 H³(G, K×)의 군 코homology 클래스 사이의 대응을 수립한다. 이러한 분류화가 3-코호몰로지에 의해 분류됨을 보이며, 특히 군 준동형사상을 통해 3-코호몰로지에 들어가는 예를 포함한 명시적 구축을 제공함으로써, Crane-Frenkel 구성에 의한 4-다양체 불변량을 위한 기초를 마련한다.

ABSTRACT

We construct tensor and bitensor categories with given Grothedieck rig (fusion algebra) in simple cases. The results provide examples on which to test the conjectural construction of 4-D TQFT's proposed by Crane and Frenkel and shed light on several other constructions of TQFT's.

연구 동기 및 목표

• 4차원 양자 위상 물리학 이론(TQFT)의 맥락에서 융합 규칙 대수의 분류화를 위한 범주론적 프레임워크를 개발하는 것.
• 텐서 범주와 코텐서 범주 사이의 이중성 관계를 수립하여, 이중대칭 대수의 범주론적 해석으로서 비텐서 범주의 개념을 도출하는 것.
• 특히 H³(G, K×)를 통해 D(ℕ[G])의 단위 및 쌍단위를 갖춘 비텐서 분류화를 군 코homology를 이용해 분류하는 것.
• 3-코호몰로지와 군 준동형사를 통해 비자명한 분류화의 명시적 구축을 위한 조건을 제공하는 것.
• 모노이드 2-범주적 표현의 구조를 통해 Crane-Yetter 구성에 의한 4-다양체 불변량을 구성하기 위한 기초 자료를 제공하는 것.

제안 방법

• 아르틴 반단순 텐서 범주에 대해 그로텐디크 리그 구성법을 정의하여, 대상의 동형류를 직합과 텐서곱에 대해 리그로 매핑한다.
• 추상적인 융합 규칙 대수와 이중대수의 개념을 도입하며, 모든 1-생성자 부분모노이드가 자유임을 가정한다.
• 아르틴 반단순 K-선형 범주들의 2-범주 VECT_K-mod를 구성하고, ℕ에 대한 텐서곱의 보편성 조건을 이용해 모노이드 2-범주적 구조를 정의한다.
• 비텐서 범주는 텐서 구조와 코텐서 구조(강한 단위함수의 반대)를 갖춘 범주로 정의되며, 강한 단위함수의 조건과 대응되는 호환성 조건을 만족한다.
• D(ℕ[G])의 비텐서 분류화의 구조를 이중 복합체의 코체인으로 묘사하며, 구성요소 α, φ, β, ρ, r를 포함하고, 동시에 공액화에 대해 불변인 조건을 도입한다.
• 코호몰로지 분류를 통해 분류화를 분류: 단위 및 쌍단위를 갖춘 비텐서 분류화의 동치류가 H³(G, K×)와 자연스럽게 일대일 대응됨을 보이며, 코 boundary 조정을 통해 코호몰로지 표현을 정규화한다.

실험 결과

연구 질문

• RQ1 어떻게 융합 규칙 대수를 비텐서 범주로 분류화할 수 있으며, 이러한 분류화를 지배하는 구조는 무엇인가?
• RQ2 군 코호몰로지 H³(G, K×)는 D(ℕ[G])의 단위 및 쌍단위를 갖춘 비텐서 분류화를 분류하는 데 어떤 역할을 하는가?
• RQ3 비자명한 분류화는 명시적으로 구축할 수 있으며, 그 존재를 보장하는 조건은 무엇인가?
• RQ4 예를 들어, 허리케인 지표에 대한 동시 공액화 불변성 조건은 이중 복합체의 코체인 선택에 어떤 제약을 가하는가?
• RQ5 코호몰로지 분류와 Crane-Frenkel 및 Crane-Yetter 프로그램을 통한 4-다양체 불변량 구성 간의 관계는 무엇인가?

주요 결과

• 모든 스케일링된 비단위 반단순 비텐서 K-범주화 D(ℕ[G])는 3-코호몰로지 (α, φ, β)와 함수 ρ(e;ĥ), r(g;ê)에 의해 결정되며, φ(e,e;ĥ,ĝ)·d₂(ρ)(e,ĥ,ĝ)에 대해 공액화 불변 조건을 만족한다.
• D(ℕ[G])의 단위 및 쌍단위를 갖춘 비텐서 분류화의 동치류는 자연스럽게 H³(G, K×), 즉 G에 대한 K× 계수의 세 번째 군 코호몰로지 집합과 일대일 대응된다.
• 비자명한 예를 구성하기 위해 β(g;ĥ,i,ĥ,j,ĥ,k) = -1로 정의하고, g, i, j, k 가 모두 홀수일 경우(또는 C₂ 몫을 거쳐서), 나머지 경우는 1로 정의함으로써, char(K) ≠ 2 이면 H³(G, K×)에 비자명한 클래스를 얻을 수 있다.
• 모든 G에 대해 모든 스칼라 가중치를 1로 설정함으로써, 자명한 분류화는 항상 존재한다.
• 코호몰로지 프레임워크는 비텐서 범주의 무한소 변형을 가능하게 하며, 장애물은 이중 복합체의 총 코호몰로지에 위치한다.
• 결과적으로, 이는 Crane-Yetter 구성에 의한 4-다양체 불변량을 구성하기 위한 초석 자료를 제공하며, 이러한 비텐서 범주의 표현의 모노이드 2-범주를 구축하는 데에도 기여한다.