그룹과 브레이디드 2 그룹 확장의 새로운 분류 이론

논문은 크게 여섯 부분으로 구성된다. 1장 서론에서는 고전적 그룹 확장 문제를 되짚으며, Drinfeld·Gelaki·Nikshych·Ostrik이 제시한 브레이디드 2‑그룹 𝔅에 대한 확장 개념을 소개한다. 여기서 𝔅는 π₀𝔅=A(객체들의 동형류)와 π₁𝔅=H(단위 객체의 자기동형)라는 두 층을 가진다. 2장에서는 2‑그룹에 대한 토러스 개념을 정의하고, 왼쪽·오른쪽 모듈(즉, 2‑그룹 작용)과 토러스의 동등조건을 증명한다. 특히 “특징 사상 χ=(a,π₂):G×X→X×X”가 동형사상이면 X는 G‑토러스가 된다. 3장에서는 (C,D)‑비모듈을 정의하고, 비모듈들의 텐서곱을 통해 2‑그룹의 비터소르 구조를 구축한다. 여기서 중요한 결과는 비모듈이 2‑범주에서 단일 객체를 갖는 모노이달 2‑카테고리를 형성한다는 점이다. 4장에서는 브레이디드 2‑그룹 𝔅에 특화된 비터소르, 즉 𝔅‑비터소르를 정의하고, 자동동형군 Aut⊗(𝔅)와의 관계를 조사한다. 핵심은 비터소르 X에 대해 정의되는 자동동형 Ad X가 브레이디드 구조에 의해 고유하게 정해진다는 사실이며, 이를 통해 𝔅‑비터소르들의 3‑그룹 BᵉT𝔅와 Aut⊗(𝔅) 사이에 모노이달 의사함자가 존재함을 보인다. 5장에서는 Grothendieck의 비터소르 기반 그룹 확장 이론을 2‑그룹 수준으로 끌어올린다. 구체적으로, G‑비터소르와 𝔅‑비터소르를 결합해 “G‑인덱스된 𝔅‑비터소르 패밀리”를 만든 뒤, 이러한 패밀리를 모노이달 함자 형태로 정리한다. 여기서 얻어지는 함자는 BG→B(BᵉT𝔅)와 동형이며, 이는 확장의 동형류와 일대일 대응한다. 6장에서는 주요 분류 정리를 제시한다. 첫 번째 차단 사상 \