2‑차원 번들과 그 게이지 2‑그룹의 새로운 시각

이 논문은 **주요 2‑번들(principal 2‑bundle)** 이라는 개념을 체계적으로 구축하고, 이를 **비가환 Čech 공동체(cohomology)** 로 완전히 분류한다는 두 가지 주요 목표를 달성한다. 첫 번째 장에서는 2‑그룹과 매끄러운 2‑공간의 기본 정의를 정리한다. 약한 2‑그룹은 모든 사상이 가역적이며 객체와 사상이 모두 약하게 가역적인 단일 모노이달 범주로 정의된다. 강한(엄격) Lie 2‑그룹은 이러한 구조에 매끄러운 다양체 구조를 부여한 것으로, 모든 곱셈, 단위, 결합자 등에 대해 매끄러운 사상이 존재한다. 매끄러운 2‑공간은 객체와 사상이 각각 매끄러운 다양체이며, 소스·타깃·합성 사상이 모두 매끄러운 작은 범주이다. 두 번째 장에서는 **주요 2‑번들** 을 정의한다. 베이스 공간 \(M\) 은 일반 매끄러운 다양체이며, 이를 하나의 객체와 항등 사상만을 가진 2‑공간으로 본다. \(G\)‑2‑공간 \(P\) 가 \(M\) 위에 매끄러운 투사 \(\pi:P\to M\) 를 갖고, 각 열린 커버 \(U_i\subset M\) 에 대해 \(P|_{U_i}\) 가 \(U_i\times G\) 와 동형(자연 동형)인 경우를 ‘국소적으로 평범’하다고 한다. 이러한 구조를 갖는 \(P\) 를 **주요 \(G\)‑2‑번들** 로 부른다. 이때 동형은 자연 동형을 포함하는 일련의 2‑셀프동형을 만족해야 하며, 이는 고차 동형성(coherence) 조건을 내포한다. 세 번째 장에서는 **분류 정리** 를 제시한다. 엄격한 Lie 2‑그룹 \(G\) 와 매끄러운 매니폴드 \(M\) 에 대해, 반엄격(semistrict) \(G\)‑2‑번들은 **비가환 Čech 1‑코호몰로지** \(\check H^1(M,G)\) 로 완전히 분류된다. 여기서 \(\check H^1(M,G)\) 은 \(M\) 의 열린 커버와 그 교차에서 정의된 2‑코시 체인 복합체를 이용해 정의되며, 1‑코체와 2‑코체가 각각 전이 함수와 전이 사상(2‑셀프동형)으로 해석된다. 이 정리는 전통적인 principal \(G\)‑bundle 의 \(\check H^1(M,G)\) 분류와 직접적인 고차 일반화이며, Morita 동형까지 고려한다는 점에서 강력하다. 네 번째 장에서는 **게이지 2‑그룹** 을 다룬다. 주어진 주요 2‑번들 \(P\to M\) 에 대해 자동변환 2‑그룹 \(\operatorname{Aut}(P)\) 은 **2‑그룹값 함자** \(\operatorname{Funct}_G(P,G_{\mathrm{Ad}})\) 와 동형임을 보인다. 여기서 \(G_{\mathrm{Ad}}\) 은 \(G\) 의 자기작용을 나타내는 2‑그룹이며, 함자는 \(P\) 의 각 점에 대해 \(G\) 의 원소를 할당하고, 전이 사상에 대해 자연 변환을 제공한다. 이 구조를 이용하면 \(\operatorname{Aut}(P)\) 에 **엄격한 Lie 2‑그룹** 구조를 부여할 수 있다. 구체적으로, \(M\) 이 콤팩트하고 \(G\) 가 **국소적으로 지수적**(exponential)이며 작용이 자유롭고 적절히 정칙이면, \(\mathcal{C}^\infty(P,G_{\mathrm{Ad}})^G\) 가 매끄러운 2‑그룹이 되고, 그 리‑2‑대수는 \(\mathcal{C}^\infty(P,\mathfrak{L}(G)_{\mathrm{ad}})^G\) 로 기술된다. 이는 전통적인 게이지 이론에서 “게이지 변환 = 함수값 군”이라는 관점을 고차 범주론적으로 확장한 결과이다. 마지막 장에서는 **구체적 예시** 를 제공한다. 교차 모듈(crossed module) \((H\overset{\beta}{\to}G,\alpha)\) 로부터 얻어지는 엄격 2‑그룹을 이용해, 전통적인 **bundle gerbe** 가 어떻게 주요 2‑번들 형태로 재구성되는지를 보여준다. 또한, \(U(1)\)‑번들 게르베, 비가환 교차 모듈, 그리고 2‑그룹 확장 등을 통해 이론의 적용 범위를 넓힌다. 부록에서는 **국소적으로 볼록한 리 이론** 의 기본 개념을 정리하여, 매끄러운 2‑공간과 2‑그룹의 미분기하학적 구조를 뒷받침한다. 전체적으로, 논문은 **고차 범주론, 비가환 코호몰로지, 무한 차원 리 구조** 를 결합해 2‑차원 번들의 분류·게이지 구조·매끄러운 미분기하학을 일관되게 정립하고, 기존 번들 이론을 고차 수준으로 확장하는 중요한 발판을 제공한다.