n‑그룹오이드의 계단식 정확열: 지구라스 구조의 일반화

본 논문은 “점화된 n‑그룹오이드” 사이의 정확열을 정의하고, 이를 통해 고차 범주론에서 전통적인 1‑차와 2‑차 결과를 일반화한다. 서론에서는 고차 범주가 대수적 위상수학, 비가환 코호몰로지, 고차 스택 등 다양한 분야에서 핵심적인 역할을 함을 강조하고, 현재는 기본적인 대수적 도구가 부족하다는 문제점을 제시한다. 저자는 Ronald Brown(1970)의 그룹오이드 fibration에 대한 6‑term 정확열을 출발점으로 삼아, 이를 2‑그룹오이드(HKK02, Vit02)와 n‑그룹오이드까지 확장한다. **1장**에서는 기존 결과를 정리하고, “Ziqqurath”라는 용어를 도입한다. 여기서는 fibration F : B→C와 그 strict kernel K 를 이용해 π₁, π₀ 사상이 만든 6‑term 정확열을 보여준다. 이어서 homotopy kernel을 도입해 fibration 조건을 완화하고, 정확열이 일반 사상에 대해서도 성립함을 설명한다. **2장**은 세스키‑범주(세스키‑카테고리)의 기본 개념을 정립한다. 객체, 1‑셀, 2‑셀로 구성된 구조를 정의하고, 세스키‑함수와 세스키‑자연 변환을 소개한다. 특히 2‑자연 변환의 “lax” 버전을 채택해, 복잡한 pasting diagram 없이도 고차 변환을 다룰 수 있게 한다. **3장**에서는 strict n‑카테고리 n‑Cat 의 구성을 상세히 기술한다. n‑Cat 은 (n‑1)‑Cat 위에 카르테시안 이중 폐쇄 구조를 이용해 귀납적으로 정의된다. 수직·수평 합성, 단위, whiskering 등 기본 연산을 정의하고, 이들이 만족해야 할 일곱 개의 공리를 증명한다. 또한 reduced left/right composition을 도입해 2‑셀 합성을 간소화한다. **4장**은 n‑그룹오이드와 정확열의 핵심 정의를 담고 있다. n‑그룹오이드는 모든 (n‑1)‑셀이 그룹오이드이며, 1‑셀은 동형 사상인 “weakly invertible” 구조로 정의한다. π₀ⁿ 사상은 객체의 동형 클래스( pointed set) 를 반환하고, Ω 함수는 루프 객체를 구성한다. π₁ⁿ := π₀ⁿ⁻¹∘Ω 로 정의된 이 사상은 (n‑1)‑그룹오이드의 “루프 군”을 제공한다. 저자는 π₀ⁿ와 π₁ⁿ가 h‑pullback을 보존하고, 서로 교환(π₁ⁿ∘π₀ⁿ⁻¹ = π₀ⁿ∘π₁ⁿ⁻¹)함을 증명한다. 정확열은 삼중 (K, φ, F) 로 구성된다. 여기서 K는 F의 h‑kernel, φ는 K→B에 대한 자연 변환이며, 정확성은 π₀ⁿ·π₁ⁿ가 적용된 후 연속된 사상들의 이미지가 전 단계의 커널과 일치하고, 중간에 나타나는 2‑사상 δ가 적절히 교환성을 만족하는 것으로 정의한다. 이 정의는 n=1일 때는 Brown의 6‑term 정확열, n=2일 때는 2‑그룹오이드의 6‑term 정확열과 일치한다. **5장**에서는 3‑차 변환과 0‑whiskering을 포함한 고차 합성 구조를 다룬다. 여기서는 n‑카테고리 사이의 3‑셀(2‑변환 사이의 변환)과 그 합성 법칙을 정의하고, “dimension raising” 연산을 통해 2‑셀의 합성을 고차원으로 끌어올린다. **6장**이 논문의 핵심이다. 먼저 2‑차원 h‑pullback을 n‑Cat에 적용하고, Ω와 π₁ⁿ의 정의를 완성한다. 이어서 Ω와 π₁ⁿ가 정확성을 보존한다는 정리를 증명한다. 가장 중요한 결과는 **Ziqqurath** 구조이다. F : B→C의 h‑kernel K와 연결 사상 ∇, 2‑사상 σ를 이용해 다음과 같은 정확열을 만든다: π₁ⁿ K → π₁ⁿ B → π₁ⁿ C → π₀ⁿ K → π₀ⁿ B → π₀ⁿ C 이 6‑term 정확열을 두 번 겹쳐 9‑term 정확열을 얻고, 이를 다시 차원 낮추어 반복한다. 결과적으로 n 차원에서 시작해 0 차원(점화된 집합)까지 이어지는 “계단식” 정확열이 형성된다. 각 단계는 k‑그룹오이드(0≤k≤n) 사이의 정확열이며, 위쪽 단계일수록 고차 군, 카테고리 군, 아벨 군 등 복잡한 대수적 구조를 포함한다. **부록**에서는 globular 접근법을 통한 n‑Cat 정의, 그룹오이드 조건, 그리고 역원 체계 등을 보충한다. 전체적으로 논문은 h‑pullback 기반의 커널 정의와 Ω‑구조를 이용해 고차 그룹오이드 사이의 정확열을 체계화하고, 이를 반복 적용해 “Ziqqurath”라 불리는 다층 정확열 피라미드를 구축한다. 이는 고차 범주론에서 정확성 개념을 정형화하고, 향후 비가환 코호몰로지, 고차 스택, 그리고 대수적 위상수학 등 다양한 분야에 적용될 수 있는 강력한 도구를 제공한다.