파생범주에서의 반사성 및 코틸팅 정리 일반화

본 논문은 아벨 범주 A와 B 사이에 존재하는 반변함수(contravariant) 쌍 (Φ, Ψ)를 출발점으로, 이 쌍을 파생범주 D(A), D(B)까지 끌어올려도 adjoint 관계가 유지된다는 기본 사실을 확인한다(Lemma 2.1). 이를 위해 Φ와 Ψ가 왼쪽 정확(left exact)이며, 충분한 Φ‑acyclic 및 Ψ‑acyclic 객체가 존재한다는 가정을 둔다. 이러한 가정 하에 전역 파생함자 R Φ: D(A)→D(B)와 R Ψ: D(B)→D(A) 가 정의되고, (R Φ, R Ψ) 역시 오른쪽 adjoint 쌍을 이룬다. 논문은 두 단계의 반사성 개념을 구분한다. 첫 번째는 원래 아벨 범주 수준에서의 반사성으로, 객체 M∈A에 대해 단위 사상 η_M: M→ΨΦ M가 동형이면 M을 “반사성(reflexive)”이라고 부른다. 두 번째는 파생범주 수준에서의 D‑반사성으로, 복합체 X∈D(A)에 대해 단위 사상 \hat η_X: X→R Ψ R Φ X가 동형이면 X를 D‑반사성이라 정의한다. 스톡 복합체(즉, A의 객체를 0차에 놓은 복합체)인 경우, D‑반사성 여부가 바로 해당 객체의 “D‑반사성 객체” 여부와 일치한다. 섹션 2에서는 이 두 adjunction 사이의 단위 사상 관계를 상세히 분석한다. Proposition 2.3은 Φ‑acyclic 해석을 통해 η와 \hat η 사이의 동형성을 설명하고, 이를 통해 D‑반사성 객체가 실제로 Φ‑acyclic 객체들의 스톡 복합체와 동치임을 보인다. 섹션 3에서는 D‑반사성 복합체와 그 구성요소(terms) 혹은 코호몰로지 사이의 함의 관계를 탐구한다. Proposition 3.5는 “복합체의 모든 항이 D‑반사성이면 복합체 자체도 D‑반사성이다”를 증명한다. 반대로, 복합체가 D‑반사성이라 하더라도 모든 항이 D‑반사성이라는 역은 일반적으로 성립하지 않으며, 예시 3.2와 3.3에서 구체적인 반례를 제시한다. 그러나 코호몰로지 차원이 1 이하인 경우, Corollary 3.6에 따라 “복합체가 D‑반사성 ⇔ 모든 코호몰로지 Hⁿ(X)가 D‑반사성”이라는 강력한 동치가 성립한다. 이는 차원이 1을 초과하면 일반적으로 깨지는 점을 명확히 보여준다. 섹션 4는 코틸팅 정리와의 직접적인 연결을 다룬다. 코틸팅 이론에서는 특정 (Φ, Ψ)‑쌍이 cotilting bimodule에 의해 유도될 때, Φ‑acyclic 객체들의 반사성 군이 완전한 반사성 서브카테고리를 형성한다는 것이 핵심이다. Theorem 4.3은 코호몰로지 차원 ≤ 1인 경우, D‑반사성 객체가 바로 “Cotilting Theorem”이 적용될 수 있는 가장 큰 클래스임을 증명한다. 이는 Colby와 Fuller의 고전적인 결과(