2차원 아벨리안 범주와 동형론

초록

이 논문은 대칭 2-군이 1차원 대수에서 아벨리안 군이 차지하던 역할을 2차원으로 확장한 ‘2-아벨리안 범주’를 정의한다. 2-군으로 풍부해진 범주와 2-아벨리안 군oid 풍부 범주를 도입하고, 이들 안에서 호몰로지를 전개하여 사슬 복합의 확장에 대응하는 긴 정확열을 구축한다. 주요 예제로는 대칭 2-군, 2-링 위의 2-모듈, 그리고 아벨리안 범주 C 안의 내부 군oid, 사상, 자연 변환이 포함된다. 특히 C에서 선택 공리가 성립할 때만 내부 군oid들이 2-아벨리안 군oid 풍부 범주를 이룬다.

상세 분석

논문은 먼저 기존의 아벨리안 범주 개념을 2‑차원으로 끌어올리기 위해 ‘대칭 2‑군(symmetric 2‑group)’을 기본 객체로 삼는다. 대칭 2‑군은 군의 연산이 카테고리 수준에서 이중화된 구조로, 객체와 사상 사이에 가법 구조가 존재한다는 점에서 1‑차원 아벨리안 군과 직접적인 유사성을 가진다. 저자는 이러한 2‑군을 기반으로 ‘2‑아벨리안 군oid 풍부 범주(2‑abelian groupoid‑enriched category)’를 정의한다. 여기서 ‘풍부(enriched)’라는 용어는 호몰셈(space) 대신에 동형군oid를 사용한다는 의미이며, 이는 사상 사이의 2‑셀(2‑morphism)까지 고려하는 고차 구조를 제공한다.

핵심 정의는 다음과 같다. 먼저 ‘아벨리안 2‑군oid(abelian 2‑groupoid)’을 정의하고, 이를 만족하는 범주가 ‘2‑아벨리안’이라 부른다. 이때 요구되는 공리는 (1) 모든 사상이 가법 구조를 갖고, (2) 2‑셀이 교환법칙을 만족하며, (3) 커널·코커널 개념이 존재하고, (4) 정규 사상과 정규 코사상이 존재해 정확한 사상열을 형성한다는 점이다. 이러한 공리를 통해 전통적인 아벨리안 범주의 핵심 정리—예를 들어 사상들의 이미지·코이미지가 존재하고, 사상열이 정확하면 커널·코커널이 일치한다—를 2‑차원 수준으로 그대로 옮길 수 있다.

다음으로 저자는 호몰로지 이론을 전개한다. 체인 복합을 2‑아벨리안 범주 안에 정의하고, 사슬 복합 사이의 사상(2‑사상 포함)을 이용해 경계 연산자를 만든다. 경계 연산자는 2‑셀의 교환법칙을 이용해 ‘∂²=0’이라는 관계를 만족한다. 이 구조를 바탕으로 ‘긴 정확열(long exact sequence)’을 증명한다. 구체적으로, 두 체인 복합 사이의 확장(extension) 0→A→B→C→0이 주어지면, 각 차원에서 호몰로지 객체 Hₙ(A), Hₙ(B), Hₙ(C) 사이에 연결 사상이 존재하고, 이 사상들이 정확히 연결되어 긴 정확열을 이룬다. 이는 기존의 대칭 2‑군에 대한 결과를 일반화한 것으로, 2‑아벨리안 군oid 풍부 범주 전반에 적용 가능함을 보인다.

예시 부분에서는 세 가지 주요 사례를 제시한다. 첫째, 전통적인 대칭 2‑군 자체가 2‑아벨리안 범주의 한 예이며, 여기서 호몰로지 이론은 이미 알려진 ‘2‑그룹 호몰로지’를 재현한다. 둘째, 2‑링(2‑ring) 위의 2‑모듈(2‑module)들을 고려한다. 2‑모듈은 2‑아벨리안 군oid 풍부 범주를 형성하고, 모듈의 사상과 2‑셀은 자연스럽게 가법 구조를 갖는다. 셋째, 아벨리안 범주 C 안의 내부 군oid, 사상, 자연 변환을 모은 구조를 살핀다. 여기서 중요한 결과는 ‘선택 공리(axiom of choice)’가 C 안에서 성립할 경우에만 이 구조가 2‑아벨리안 군oid 풍부 범주가 된다는 점이다. 선택 공리가 없으면 커널·코커널이 기대한 대로 존재하지 않아 정확성 조건이 깨진다.

전체적으로 이 논문은 2‑차원 대수학의 기반을 다지는 중요한 작업이다. 기존의 1‑차원 아벨리안 범주 이론을 고차 범주론으로 확장함으로써, 호몰로지와 정확열 같은 핵심 도구들을 새로운 차원에서도 사용할 수 있게 만든다. 이는 고차 대수, 고차 호몰로지 이론, 그리고 물리학에서의 2‑차원 대칭 구조(예: 2‑게이지 이론) 등에 응용 가능성을 열어준다.