2그룹의 정규 표현과 2벡터 공간에서의 재현

초록

본 논문은 본질적으로 유한한 2그룹 𝔾의 정규 표현을 Kapranov‑Voevodsky 2벡터 공간 𝟚Vectₖ 안에서 정의하고, 이를 분류하는 코호몰로지 불변량을 계산한다. 또한 모든 동사상 범주가 2벡터 공간임을 보이며, 얽힘 수(인터트위닝 넘버)의 대칭성을 증명한다. 마지막으로 망각 2함수 ω가 정규 표현을 대표 객체로 갖는다는 것을 보여, ω의 의사자연 종단 사상들의 범주와 𝔾의 기본 군오이드에서 벡터 공간으로 가는 함수군 사이에 k‑선형 동형을 구축한다.

상세 분석

논문은 먼저 “본질적으로 유한한” 2그룹 𝔾를 정의한다. 여기서 𝔾는 한정된 수의 객체와 가역적인 1‑사상, 그리고 2‑사상으로 구성된 군형 군오이드이며, 그 동형군과 동형 2‑동형군이 유한군과 유한 2‑코사인으로 각각 동형임을 가정한다. 저자는 Kapranov‑Voevodsky 가 제시한 2벡터 공간 𝟚Vectₖ를 사용한다. 𝟚Vectₖ는 유한 차원 k‑벡터 공간들의 직접합으로 이루어진 카테고리이며, 1‑사상은 k‑선형 함자, 2‑사상은 자연 변환으로 정의된다.

정규 표현 ℛ은 𝔾를 𝟚Vectₖ에 작용시키는 2‑함수로, 객체를 𝔾의 모든 객체들의 직합 ⊕_{x∈Ob(𝔾)} k 로, 1‑사상을 𝔾의 동형군에 대응하는 전치 행렬식 형태의 선형 사상으로, 2‑사상을 항등 변환으로 보낸다. 이때 ℛ는 𝔾‑모듈 구조를 갖는 자유 2‑벡터 공간이며, 그 동형류는 𝔾의 3‑코호몰로지 H³(𝔾, k^×) 의 원소에 의해 완전히 분류된다. 저자는 𝔾의 2‑코시 체인 복합체를 이용해 H³를 계산하고, 정규 표현이 이 코호몰로지 클래스와 일대일 대응함을 증명한다.

다음 단계에서는 𝟚Vectₖ‑내의 𝔾‑표현 범주 Rep_{𝟚Vectₖ}(𝔾) 의 동사상(호모‑카테고리)들을 조사한다. 표준적인 가정, 즉 k가 대수적으로 폐쇄되고 특성 0이며, 모든 2‑사상이 가역적이라는 전제 하에, 각 호모‑카테고리는 다시 𝟚Vectₖ의 객체가 된다. 구체적으로, 두 𝔾‑표현 F, G 사이의 인터트위닝 2‑벡터 공간 Hom(F,G) 은 F와 G가 각각 분해된 자유 2‑벡터 공간으로 표현될 때, 그 차원은 𝔾‑객체들의 동형군 수와 2‑코시 클래스의 교차 항에 의해 결정된다. 저자는 “얽힘 수” n(F,G) 를 명시적으로 구하는 공식
n(F,G)=∑_{