이미지와 전이 함수

초록

본 논문은 역정확 범주(inverse exact category)에서 정의되는 세 가지 전이 함자 P, P′, P″를 소개하고, 이들 함수가 투사(projection) 구조와 어떻게 상호작용하는지를 조사한다. 전이 함수의 정의, 전이 함자들의 기본 성질, 그리고 투사들의 합성 및 분해 규칙을 중심으로 주요 정리를 제시한다.

상세 분석

역정확 범주란 각 사상 f에 대해 유일한 역사상 f⁻¹이 존재하고, 또한 모든 동형 사상이 정확(exact) 구조를 보존하는 범주를 의미한다. 이러한 범주에서는 투사 p(즉, p² = p)와 그 보조 사상 p가 중요한 역할을 하며, 특히 Baer‑범주와의 유사성이 강조된다. 논문은 먼저 세 종류의 전이 함수 τ, τ′, τ″를 정의한다. τ는 사상 f에 대해 이미지(image) Im f와 핵(kernel) Ker f 사이의 관계를 이용해 투사 p를 전이시킨다; 구체적으로 τ(f)(p) = f p f⁻¹와 같은 형태를 취한다. τ′는 역전이 함수로, τ′(f)(p) = f⁻¹ p f와 정의되며, 이는 τ와 대칭적인 구조를 형성한다. τ″는 두 전이 함수를 결합한 복합 전이로, τ″(f)(p) = f p f⁻¹ ∧ f⁻¹ p f와 같이 교차합(conjunction) 형태를 갖는다.

이들 전이 함수로부터 유도되는 전이 함자 P, P′, P″는 각각 τ, τ′, τ″를 사상 수준에서 함자 수준으로 끌어올린 것으로, 범주의 객체에 대한 투사들의 집합을 또 다른 객체(보통은 동일한 객체)로 보내는 역할을 한다. 논문은 먼저 P가 반자명함자(contravariant functor)임을 보이며, P′는 공변함자(covariant functor)임을 증명한다. P″는 두 함자의 조합이므로, 공변·반자명함자의 혼합 구조를 가지며, 특히 P와 P′ 사이의 이중대수적 관계를 만족한다는 것이 핵심 결과이다.

투사들의 합성에 관해서는, P가 투사들의 교차합을 보존하고, P′가 합집합을 보존한다는 정리를 제시한다. 구체적으로, 임의의 투사 p, q에 대해 P(p ∧ q) = P(p) ∧ P(q)이며, P′(p ∨ q) = P′(p) ∨ P′(q)가 성립한다. 이는 역정확 범주의 투사 격자(lattice)가 전이 함자에 의해 완전한 격자 동형을 유지한다는 의미이다. 또한, P와 P′ 사이의 상보 관계를 이용해 P″가 교차합과 합집합을 동시에 보존하는 복합 격자 동형을 제공함을 보인다.

논문은 이러한 전이 함자들의 성질을 이용해, 역정확 범주 내에서 이미지와 코이미지, 핵과 코핵 사이의 이중성(due‑duality)을 명확히 설명한다. 특히, 이미지와 핵을 각각 P와 P′가 전이시키는 방식이 서로 역함수 관계에 있음을 보이며, 이는 전통적인 아벨 범주에서의 사상 분해 정리와 유사하지만, 역정확 구조의 특수성 때문에 보다 일반적인 형태를 갖는다. 마지막으로, 전이 함자들이 보존하는 정규성(regularity)과 완전성(completeness) 조건을 제시하고, 이를 통해 역정확 범주의 내에서 투사들의 분해와 재구성이 가능한 새로운 방법론을 제공한다.