비정확 범주에서의 정확한 열과 반정밀 모듈론

초록

이 논문은 임의의 점류(category)에서 (E, M)‑분해 구조를 이용해 “정확한 열”을 새롭게 정의하고, 이를 세미링 위의 세미모듈에 적용한다. 표준 이미지‑코이미지 분해를 사용해 왼·오른 정확성을 동시에 만족하는 열을 정의하고, 제한된 형태의 Short Five Lemma과 Snake Lemma를 증명한다. 결과적으로 취소 가능한 세미모듈(특히 취소 가능한 가환 모노이드)에서 호몰로지 이론을 전개할 수 있는 기반을 제공한다.

상세 분석

논문은 먼저 기존의 Puppe‑exact 범주와 Barr‑exact 범주의 개념을 재검토한다. Puppe‑exact 범주는 (NormalEpi, NormalMono)‑분해 구조를 갖는 점류이며, 여기서는 이미지와 코이미지가 각각 Ker(Coker γ)와 Coker(Ker γ) 로 정의된다. 이때 “정확한 열”은 Im f ≅ Ker g 로 표현된다. 그러나 Mon, Grp 등 Puppe‑exact가 아닌 점류에서는 이러한 정의가 충분하지 않다. 특히 이미지와 코이미지의 보편적 성질이 깨지며, Im f ≅ Ker g 와 Coim g ≅ Coker f 가 동치가 아니므로 좌·우 정확성을 구분해야 한다는 문제가 발생한다.

이를 해결하기 위해 저자는 임의의 점류 C에 대해 (E, M)‑분해 구조가 항상 존재한다는 사실을 이용한다. 여기서 E는 일반적으로 에피모픽(또는 정규 에피) 클래스, M은 모노모픽(또는 정규 모노) 클래스로 잡는다. 각 사상 γ에 대해 E‑코이미지 coim_E(γ)와 M‑이미지 im_M(γ)를 정의하고, γ = im_M(γ) ∘ ι와 γ = κ ∘ coim_E(γ) 형태의 표준 분해가 존재함을 보인다.

정의 1.13에 따르면, A →^f B →^g C 가 (E, M)‑정확하다는 것은 f와 g가 각각 f = ker(g) ∘ f′, g = g″ ∘ coker(f) 로 분해될 수 있고, (f′, ker g)∈E×M, (coker f, g″)∈E×M 를 만족한다는 뜻이다. 이는 기존 Puppe‑exact에서 Im f ≅ Ker g 로 표현되는 조건과 동치이며, E와 M을 적절히 선택하면 Mon, Semimod 등 비정규 범주에서도 동일한 형태의 정확성을 확보한다.

세미링 위의 세미모듈에 이 정의를 적용할 때 저자는 (E, M)으로 (RegEpi, Mono) 혹은 (Surj, Inj) 를 선택한다. 특히 세미모듈의 표준 이미지‑코이미지는 “정규 이미지”(cokernel of kernel)와 “정규 코이미지”(kernel of cokernel) 로 정의되며, 이는 기존 문헌에서 제시된 부적절한 이미지 개념을 교정한다. 결과적으로, f가 정규 에피이면 coker f∈E, g가 정규 모노이면 ker g∈M 가 되므로 짧은 정확열 0→A→^f B→^g C→0 가 (E, M)‑정확함을 보인다.

이러한 정의를 바탕으로 저자는 두 가지 주요 동형 사상 정리를 증명한다. 첫째, 제한된 Short Five Lemma (정리 4.7)에서는 두 개의 연속된 사상이 정규 에피/모노이면, 중간 사상이 동형임을 보인다. 둘째, Snake Lemma (정리 4.13)에서는 취소 가능한 세미모듈(또는 취소 가능한 가환 모노이드) 범주에서 커넥션 사상이 존재함을 보여, 장Exact 시퀀스와 호몰로지 객체를 정의할 수 있음을 확인한다.

또한 저자는 “상대 호몰로지 범주”(relative homological category) 개념을 도입한다. (E, M)‑정확성을 만족하는 점류가 “정규”, “공정” 등 추가적인 조건을 가질 때, 이 범주는 기존의 호몰로지 범주(예: 아벨리안 범주)의 일반화가 된다. 특히 취소 가능한 세미모듈 범주는 이러한 상대 호몰로지 범주의 전형적인 예시이며, 여기서는 모든 정규 에피가 강 에피이며, 모든 정규 모노가 강 모노임을 보인다.

전체적으로 논문은 비정확 범주에서도 이미지·코이미지의 표준 분해를 이용해 정확한 열을 정의하고, 이를 통해 세미모듈 이론에 호몰로지적 도구를 성공적으로 이식한다는 점에서 의미가 크다. 기존의 “Im f = Ker g” 정의가 깨지는 경우를 체계적으로 해결하고, 구체적인 사상 클래스와 분해 구조를 명시함으로써 향후 비가환 대수, 범주론적 호몰로지, 그리고 세미링 위의 구조 이론에 새로운 연구 방향을 제시한다.