ω‑범주와 아벨 군: Dold‑Kan 대응의 새로운 시각

본 논문은 “아벨 군 객체 in ω‑범주”라는 주제로, 엄격 ∞‑범주 모델인 ω‑범주와 전통적인 Dold‑Kan 대응 사이의 관계를 체계적으로 탐구한다. 1. **서론(Section 1)**에서는 ∞‑범주의 다양한 모델(완전 Segal 공간, 교차 복합 등)을 간략히 소개하고, 저자는 ω‑범주를 선택한다. ω‑범주는 객체와 n‑모프리즘을 갖는 집합 A와, 각 차수 i에 대한 소스·타깃 사상 s_i, t_i, 그리고 합성 연산 *_i 로 정의된다. 이 구조는 모든 차수에 대해 범주와 2‑범주 조건을 만족하도록 강제한다. 2. **ω‑범주의 등가성(Section 2)**에서는 ω‑범주 사이의 등가성 개념을 정의한다. 0‑객체에 대한 본질적 전사성, i‑모프리즘에 대한 전사·전단(essentially full, faithful) 조건을 고차원적으로 확장한다. 특히 그룹오이드를 다룰 때는 이러한 조건이 자동으로 만족함을 언급한다. 3. **Picard ω‑범주(Section 3)**는 ω‑범주 안에서 아벨 군 객체가 되는 경우를 정의한다. + : A×A → A 가 ω‑범주 사상이며, 각 차수 i에 대해 x *_i y = x + y – s_i(x) 라는 관계가 성립한다. 이를 통해 Pic_ω 가 자연스럽게 아벨 군 구조를 계층적으로 전파한다. Proposition 3.2는 Pic_ω 가 자체적으로 아벨 범주이며, 직접합·핵·코핵을 차원별 아벨 군 연산으로 정의할 수 있음을 증명한다. 4. **체인 복합과 Picard ω‑범주의 대응(Section 3.1‑3.5)**에서는 체인 복합 C h⁺(Ab) 를 Picard ω‑범주로 보내는 함자 P : C h⁺(Ab) → Pic_ω 를 정의하고, Deligne의 1‑차 체인 복합 ↔ Picard 범주 대응을 일반화한다. 특히 긴 체인 복합을 Picard ω‑범주로 전환하는 과정에서 각 차수의 모프리즘이 체인 복합의 차등 d와 일치하도록 구성한다. 5. **Dold‑Kan 대응(Section 4)**에서는 기존의 Dold‑Kan 삼각형을 ω‑범주 언어로 재해석한다. Street의 nerve functor N : ωCat → sSet 은 Pic_ω 를 제한하면 N : Pic_ω → sAb 로 떨어진다. Brown‑Higgins‑Sivera의 결과에 따라 C h⁺(Ab) ≃ Pic_ω ≃ sAb 가 모델 2‑범주 수준에서도 동형임을 확인한다. 즉, 체인 복합 → Pic_ω → simplicial 아벨 군 의 합성은 전통적인 Dold‑Kan 등가성과 동일하다. 6. **프리시브 ω‑하강(Section 5‑6)**은 논문의 핵심이다. 먼저 프리시브(프리시브) 정의를 제시하고, 모델 구조를 도입해 fibrant 객체를 ‘모든 하이퍼커버에 대한 descent’를 만족하는 sheaf, cofibrant 객체를 ‘Čech descent’를 만족하는 presheaf 로 잡는다. Theorem 6.4는 다음과 같은 구체적 접합 조건을 제시한다: - (i) 열린 커버 {U_i} 에 대해 각 U_i 에서 객체 x_i 와 고차원 모프리즘이 일관되게 연결되면, 전역 객체 x 가 존재하고 유일(동형까지)한다. - (ii) n‑모프리즘 x, y 에 대해 Hom_A(x,y) 가 동일한 접합 조건을 만족한다. 이 조건은 1‑스택·2‑스택에서 흔히 보는 ‘objects glue + 1‑morphisms glue’ 규칙을 n‑차원까지 확장한 형태이며, 실제로 Čech 코호몰로지를 계산하거나 sheafification 알고리즘을 구현할 때 직접 사용할 수 있다. 7. **∞‑torsor와 n‑gerbe(Section 7)**에서는 위의 결과를 이용해 아벨 군 G 에 대한 n‑gerbe 를 G 를 차수 n 에만 배치한 simplicial 아벨 군 프리시브로 모델링한다. Theorem 6.4에 의해 이러한 프리시브가 Čech descent 를 만족하면, 그 동형 클래스는 Čech 코호몰로지 \v{H}^n(X,G) 와 일치한다. 이는 Fiorenza‑Sati‑Schreiber‑Stasheff의 고차원 전기장 이론과도 연결된다. 8. **부록(Section 8)**에서는 Deligne 정리, nerve‑path functor, 그리고 ω‑범주에서의 호모토피 이론을 상세히 전개한다. 특히 ω‑범주의 호모토피가 simplicial 집합의 호모토피와 일치함을 보이며, 이를 통해 앞서 언급한 등가성들이 모두 ‘모델 카테고리’ 수준에서 강하게 유지됨을 확인한다. 전체적으로 논문은 ω‑범주라는 엄격한 ∞‑범주 모델을 통해 아벨 군 객체와 체인 복합, simplicial 아벨 군 사이의 고전적 Dold‑Kan 대응을 재구성하고, 프리시브 수준에서의 하강(Descent) 조건을 구체적인 ‘접합’ 형태로 제시함으로써 1‑스택·2‑스택 이론을 ∞‑스택(∞‑stack)으로 확장하는 데 필요한 기술적 기반을 제공한다.