엄격한 2그룹은 교차 모듈이다

초록

이 논문은 엄격한 2-그룹과 교차 모듈을 각각 2범주적으로 정의하고, 두 구조 사이에 2-동형성을 구축한다. 내부 범주로서의 엄격한 2-그룹과 Peiffer 항등식을 만족하는 교차 모듈 사이의 상호 변환 함자를 명시적으로 제시하고, 자연 변환과 수정까지 포함한 2-범주 수준의 동등성을 증명한다.

상세 분석

엄격한 2-그룹은 그룹 내부 범주(internal category in Grp)로 정의된다. 즉, 객체군 G₀와 사상군 G₁ 사이에 source, target, identity, composition이 모두 군 동형사상으로 주어지며, 이들 연산은 그룹 연산과 호환된다. 이러한 구조는 ‘그룹‑그룹’이라고도 불리며, 각 사상은 두 객체 사이의 ‘2‑셀’ 역할을 한다. 반면 교차 모듈은 그룹 동형 ∂ : H → G와 G가 H에 작용하는 액션 ⊲ 을 갖고, (i) ∂(g⊲h)=g∂(h)g⁻¹, (ii) ∂(h)⊲h′=hh′h⁻¹ 라는 Peiffer 항등식을 만족한다. 논문은 먼저 두 구조를 2‑범주 2‑Grp와 XMod으로 정식화한다. 2‑Grp의 1‑셀은 내부 범주 사이의 강함수(strong functor), 2‑셀는 자연 변환이며, XMod의 1‑셀은 교차 모듈 사상, 2‑셀는 교차 모듈 변형이다. 핵심은 두 2‑범주 사이의 2‑함자 F : 2‑Grp → XMod와 G : XMod → 2‑Grp를 구성하는 것이다. F는 내부 범주의 사상군 G₁을 H로, 객체군 G₀를 G로 식별하고, source와 target을 ∂와 액션으로 변환한다. G는 교차 모듈 (∂ : H→G)를 객체군 G와 사상군 H⋊G(반직접곱)으로 확장해 내부 범주를 만든다. 두 변환은 각각 동형 사상과 동형 자연 변환을 통해 2‑동등성을 만족한다. 특히, 수정(modification) 수준까지 고려해 ‘삼각동등식’과 ‘사다리법칙’을 검증함으로써 2‑범주적 동등성을 완전하게 증명한다. 이 과정에서 교차 모듈의 Peiffer 항등식이 내부 범주의 결합법칙과 정확히 일치함을 보이며, 두 구조가 같은 ‘고차대수적’ 정보를 담고 있음을 확인한다. 논문은 또한 기존 문헌에서 간과된 2‑셀 수준의 자연성 문제를 해결하고, 엄격성(strictness) 조건이 없을 경우 발생하는 ‘weak’ 2‑그룹과 ‘2‑crossed module’ 사이의 관계에 대한 전망도 제시한다.