약하게 정확한 범주와 뱀 사다리 정리

초록

본 논문은 기존의 정확한 범주 개념을 완화하여 ‘약하게 정확한 범주’를 정의하고, 이 구조 안에서 뱀 사다리 정리를 증명한다. 정의, 기본 공리, 주요 예시들을 제시한 뒤, 뱀 사다리 정리의 증명을 전개하고, 이를 이용한 다섯 사다리·아홉 사다리 등 고전적인 결과와 몇 가지 응용을 논한다.

상세 분석

논문은 먼저 정확한 범주의 핵심인 ‘짧은 정확한 시퀀스(short exact sequence)’를 일반화하려는 동기를 제시한다. 기존의 정확한 범주는 모든 커널과 코커널이 존재하고, 이들이 서로 적절히 맞물리는 구조를 요구한다. 그러나 많은 자연스러운 예, 예컨대 사상들의 부분군을 포함하는 범주나 비가환 환경에서는 이러한 강한 조건을 만족시키기 어렵다. 이를 해결하기 위해 저자는 ‘약하게 정확한 범주(weakly exact category)’라는 새로운 개념을 도입한다.

정의는 세 가지 기본 공리로 구성된다. 첫째, 모든 ‘정확한 사상(exact morphism)’은 단사와 상사가 동시에 만족하는 특수한 형태이며, 이들의 합성은 다시 정확한 사상이 된다. 둘째, 임의의 정확한 사상 f에 대해 그 코이미지(coimage)와 이미지(image)가 존재하고, 이 두 객체 사이에 자연스러운 동형사상이 존재한다는 ‘이미지-코이미지 동형성 공리’가 성립한다. 셋째, 정확한 사상의 풀(Pullback)과 푸시아웃(Pushout)이 존재하며, 이들 연산이 정확성을 보존한다는 ‘완전성 공리’가 추가된다. 이러한 공리들은 기존 정확한 범주의 공리와 비교했을 때, 커널·코커널의 존재 자체를 요구하지 않으면서도 충분히 강력하게 작동한다.

다음으로 저자는 이 정의가 기존의 정확한 범주와 아벨리안 범주를 포함함을 보이며, 특히 ‘단사와 상사만을 갖는 부분군 범주’, ‘모듈의 서브모듈 범주’, ‘정규 사상만을 허용하는 사상 범주’ 등에서 자연스럽게 적용될 수 있음을 예시한다. 특히, 모듈 범주에서 서브모듈을 객체로 삼고, 포함 사상만을 허용하는 경우, 일반적인 커널·코커널이 존재하지 않음에도 불구하고 약하게 정확한 구조를 가질 수 있음을 강조한다.

핵심 정리인 뱀 사다리 정리는 정확한 사상들의 사다리형 다이어그램이 주어졌을 때, 연결된 장(長) 사슬이 정확한 시퀀스를 이룬다는 전통적인 결과를 그대로 재현한다. 증명은 먼저 각 행과 열에 대한 이미지·코이미지 동형성을 이용해 ‘중간 사상(mid morphism)’을 구성하고, 이후 풀과 푸시아웃의 보존성을 활용해 사슬을 연결한다. 특히, 기존 증명에서 필수적이던 ‘모든 사상이 커널·코커널을 갖는다’는 가정을 약화된 공리들로 대체함으로써, 보다 일반적인 범주에서도 동일한 논리를 전개할 수 있음을 보여준다.

뱀 사다리 정리의 직접적인 응용으로는 다섯 사다리 정리와 아홉 사다리 정리가 도출된다. 또한, 약하게 정확한 범주에서 장(長) 사슬을 이용한 장기 정확한 시퀀스의 구축이 가능해짐에 따라, 전통적인 호몰로지 이론의 기본 도구인 ‘전달 장(derived functor)’과 ‘확장군(Ext)’을 정의하는 데 필요한 기반을 제공한다. 논문 말미에서는 이러한 구조를 이용해 ‘약한 호몰로지 이론(weak homological algebra)’의 가능성을 제시하고, 향후 연구 방향으로 ‘약하게 정확한 유도체(derived category)’와 ‘약한 삼각 구조(triangulated structure)’의 구축을 제안한다.

전반적으로 이 논문은 정확한 범주의 강제성을 완화하면서도 핵심적인 호몰로지 도구들을 보존하는 새로운 범주론적 틀을 제시한다는 점에서 이론적 의의가 크며, 비가환 대수, 모듈 이론, 그리고 범주론적 위상수학 등 다양한 분야에 적용 가능성을 열어준다.