2‑범주에서의 코호몰로지 이론

본 논문은 2‑범주 SCG(대칭 범주군)의 구조를 일반화하여, 아벨 범주의 핵심적인 ‘정밀성(exactness)’ 개념을 2‑차원으로 확장한다. 서론에서는 1970년대 Pareigis가 시작한 대칭 모노이달 범주의 Brauer 군 연구와, 2000년대 Vitale가 도입한 대칭 범주군 개념을 배경으로 제시한다. 기존 연구에서는 SCG와 그 변형(G‑SMod 등)에서 2‑정밀(sequence)와 Picard‑Brauer 관계를 다루었으나, 체계적인 2‑범주 호몰로지 이론은 부재했다는 점을 지적한다. 제2절에서는 2‑범주의 기본 정의와 표준 구조(곱, 푸시아웃, 차이 커널·코커널)를 상세히 기술한다. 특히 2‑셀의 수평·수직 합성법칙(식 2.1)을 강조하며, 이는 이후 diagram‑chasing 증명의 핵심 도구가 된다. 제3절에서 ‘locally SCG 2‑category’라는 개념을 도입한다. 이는 모든 동형군 Hom(A,B)이 SCG 구조를 가지며, 0‑셀(영 객체)와 그에 대한 유일한 2‑셀 존재성을 요구한다. (A1)–(A4) 조건을 통해 각 Hom‑범주가 대칭 범주군임을 보장하고, 1‑셀에 대한 좌·우 작용(f♯, f♭)이 모노이달 함자임을 확인한다. 이러한 설정은 자가‑대칭성을 확보해, 이후 정의와 정리에서 ‘dual’ 개념을 자유롭게 사용할 수 있게 한다. 핵심 정의인 ‘상대적으로 정확한 2‑범주(relatively exact 2‑category)’는 다음 세 가지 조건을 만족한다. (B1) 모든 1‑셀이 커널과 코커널을 갖는다. (B2) 1‑셀이 faithful ⇔ 그가 커널·코커널의 합성으로 표현될 수 있다. (B3) cofaithful에 대해서도 동일한 동등조건이 성립한다. 이는 아벨 범주의 ‘exact sequence’ 정의와 직접 대응되며, 특히 (B2), (B3)의 동등성은 커널·코커널이 서로의 반대쪽에 위치함을 의미한다. 다음으로 1‑셀에 대한 두 종류의 인자분해를 증명한다. 첫 번째는 ‘i∘m’ 형태로, i는 fully cofaithful, m은 faithful; 두 번째는 ‘e∘j’ 형태로, e는 cofaithful, j는 fully faithful이다. 이 분해는 아벨 범주의 epi‑mono 분해를 2‑차원으로 끌어올린 것으로, 복합체 사이의 정확성을 분석할 때 필수적인 도구가 된다. 제5절에서는 복합체와 그 상대적 2‑정밀성을 정의한다. 복합체는 1‑셀들의 연속이며, 각 단계에서 차이 커널·코커널을 이용해 ‘relative 2‑exactness’를 기술한다. 이 정의는 self‑dual이므로, 증명 과정에서 duality를 자유롭게 활용할 수 있다. 제6절이 논문의 핵심 결과인 ‘길고 무한한 코호몰로지 2‑정밀(sequence)’를 제시한다. 짧은 상대적 2‑정밀 연속(즉, 복합체의 확장)으로부터 시작해, 각 복합체의 차이 커널·코커널을 차례로 취해 나가면, … → Hⁿ⁻¹ → Hⁿ → Hⁿ⁺¹ → … 형태의 2‑정밀 sequence가 얻어진다. 증명은 전적으로 diagram‑chasing 방식이며, 앞서 구축한 인자분해와 차이 커널·코커널의 보편성을 활용한다. 이 과정에서 2‑셀의 교환법칙과 (B2), (B3)의 동등성을 반복적으로 적용해, 전통적인 호몰로지 이론에서의 ‘snake lemma’, ‘five lemma’ 등에 해당하는 2‑차원 버전을 자연스럽게 도출한다. 마지막으로, SCG가 이 정의를 만족함을 재확인하고, G‑SMod, SCG×SCG, SCG에서 정의된 이중함수 범주 등 다양한 예시가 ‘상대적으로 정확한 2‑범주’의 조건을 만족함을 제시한다. 향후 연구에서는 이러한 예시들을 구체적으로 분석하고, 2‑범주 수준에서의 장벽(cohomology) 이론을 더욱 확장할 계획임을 밝힌다. 전체적으로, 이 논문은 2‑범주에서의 호몰로지 이론을 체계화하고, 아벨 범주의 풍부한 구조를 고차원 범주론에 자연스럽게 이식함으로써, 기존 SCG 연구를 일반화하고 새로운 2‑차원 대수적 도구들을 제공한다.