동형 카테고리에서 근사와 수반함수

초록

이 논문은 완비 가법 범주에서 오른쪽 근사의 존재 조건을 일반화하고, 이를 이용해 동형 카테고리에서 수반함수를 구성한다. 특히 순수 파생 범주의 콤팩트 생성성을 증명함으로써 모듈 범주의 순수 파생 범주가 항상 콤팩트하게 생성됨을 보여준다.

상세 분석

본 연구는 먼저 El Bashir의 “right approximations in locally presentable additive categories” 결과를 확장한다. 기존 정리는 코콤플리트(complete) 가법 범주에서 작은 객체들의 집합이 충분히 풍부하면 각 객체에 대해 오른쪽 근사를 얻을 수 있음을 보였는데, 저자는 이를 “cocomplete additive categories” 즉, 전대합을 허용하는 가법 범주로 일반화한다. 핵심 가정은 (1) 범주가 충분히 큰 직렬(colimit)을 갖고, (2) 선택된 작은 객체들의 집합이 전대합을 통해 모든 객체를 근사할 수 있을 정도로 풍부하다는 점이다. 이때 오른쪽 근사는 “right (\mathcal{S})-approximation”이라 부르며, (\mathcal{S})는 선택된 작은 객체들의 집합이다. 저자는 이 근사가 존재하면 해당 범주의 사전적(contravariant) 함자에 대해 좌측 적당한 사상(cover)와 우측 적당한 사상(envelop) 사이의 adjunction을 구축할 수 있음을 증명한다.

다음 단계에서는 이러한 일반적 근사 이론을 동형 카테고리 (\mathbf{K}(\mathcal{A}))에 적용한다. 여기서 (\mathcal{A})는 코콤플리트 가법 범주이며, (\mathbf{K}(\mathcal{A}))는 복합체들의 동형 카테고리이다. 저자는 복합체들의 작은 집합 (\mathcal{S})를 선택하고, 위의 근사 기준을 만족하도록 (\mathcal{S})를 “compact generators”로 만든다. 그 결과, (\mathbf{K}(\mathcal{A})) 안에서 (\mathcal{S})에 대한 오른쪽 근사가 존재하고, 이는 곧 (\mathcal{S})가 생성하는 완전한 서브카테고리와의 포함 사상이 좌측 적당한 사상, 우측 적당한 사상 사이에 수반함수를 형성함을 의미한다.

특히, 모듈 범주 (\mathsf{Mod}\text{-}R)에 대해 순수(“pure”) exact 구조를 고려한다. 순수 사상은 일반적인 사상보다 더 약한 조건을 만족하지만, 순수 프로젝트브와 순수 인젝티브 객체들의 존재가 보장된다. 저자는 순수 복합체들의 동형 카테고리 (\mathbf{K}{\mathrm{pur}}(R))에 위의 근사-수반 이론을 적용해, 순수 파생 범주 (\mathbf{D}{\mathrm{pur}}(R))가 콤팩트하게 생성됨을 증명한다. 이는 순수 파생 범주가 트라이앵귤러 구조를 갖고, 그 안의 콤팩트 객체들이 순수 프로젝트브 복합체들의 유한 직합으로 구성된다는 사실과 일치한다.

결과적으로, 논문은 (1) 코콤플리트 가법 범주에서 오른쪽 근사의 존재 조건을 명확히 제시하고, (2) 이를 통해 동형 카테고리와 파생 카테고리 사이에 자연스러운 adjoint 관계를 구축하며, (3) 순수 파생 범주의 콤팩트 생성성을 일반적인 모듈 범주 전반에 걸쳐 확장한다는 세 가지 주요 공헌을 이룬다. 이러한 결과는 기존의 모델 구조와 t-구조 이론을 보완하고, 특히 순수 호몰로지 이론에서의 계산 가능성을 크게 향상시킨다.