반아벨 군 범주에 대한 실무적 정의

초록

이 논문은 반아벨 범주와 유한히 공극이 존재하는 동질 범주를 각각 네 가지와 세 가지 기본 공리를 이용해 간결히 정의한다. 또한 이러한 정의를 이용해 반아벨 범주의 도표 범주, 특히 단순체와 Γ-대상 범주가 다시 반아벨 범주가 됨을 보인다.

상세 분석

본 연구는 범주론의 고전 교재인 Mac Lane의 초반 장에서 소개되는 기본 개념—예를 들어 한계와 공한계, 정규 모노모르피즘, 그리고 적절한 사상들의 합성—만을 사용해 반아벨 범주와 동질 범주의 핵심 특성을 포착한다. 저자는 먼저 “동질 범주”를 세 가지 공리(정규성, 3‑사상 사상법칙, 그리고 사상들의 합성에 대한 보존성)로 정의하고, 여기에 추가적인 네 번째 공리인 “정규 에피모르피즘이 강제적으로 코커널을 갖는다”는 조건을 붙여 반아벨 범주를 얻는다. 이 네 공리는 각각 (1) 모든 모노모르피즘이 정규이며, (2) 모든 에피모르피즘이 정규, (3) 짧은 정확한 시퀀스가 3‑사상 사상법칙을 만족, (4) 정규 에피모르피즘이 코커널을 갖는다는 점이다.

특히 저자는 기존 문헌에서 복잡한 내부 구조(예: 프로토모르피즘, 교차 모듈러 법칙 등)를 필요로 했던 정의들을, 이 네 개의 직관적인 공리로 대체함으로써 “실무적인” 접근을 가능하게 한다. 이는 범주론을 실제 수학 및 컴퓨터 과학 문제에 적용하려는 연구자들에게 큰 장점이다.

다음으로 저자는 이러한 정의가 “도표 범주”에도 그대로 전이된다는 사실을 증명한다. 구체적으로, 임의의 소규모 카테고리 I와 반아벨 범주 C에 대해 Fun(I, C) 역시 반아벨 범주가 된다. 증명은 Functor 범주의 한계와 공한계가 점별로 계산된다는 사실과, 정규 모노모르피즘·에피모르피즘이 점별로 정규성을 유지한다는 점을 이용한다. 이 결과는 특히 단순체 객체(Δᵒᵖ→C)와 Γ‑객체(Γ→C)의 범주가 반아벨 범주임을 즉시 따라온다.

마지막으로 저자는 이론적 결과를 몇 가지 전형적인 예시(그룹, 리 대수, 교환 링, 그리고 다양한 대수적 구조)와 연결시켜, 기존에 알려진 반아벨 범주들이 새 정의와 완전히 일치함을 확인한다. 전체적으로 논문은 복잡한 기존 정의를 단순화하면서도, 범주의 핵심적인 동질성 및 반아벨 성질을 보존한다는 점에서 중요한 기여를 한다.