반무한 코호몰로지와 유한 차원 그레이드 대수의 범주적 해석

논문은 크게 여섯 개의 장으로 구성된다. 1. **서론**에서는 반무한 코호몰로지의 기원과 기존 연구(Arkhipov, Voronov 등)를 소개하고, 현재까지는 A = N ⊗ B 형태와 바‑해상도에 의존한 정의가 주류였음을 지적한다. 저자들은 이를 보다 범주론적인 틀로 일반화하고자 하는 동기를 제시한다. 2. **“카테고리를 통한 사상”**(섹션 2)에서는 작은 카테고리 A, A′, B와 전사함수 Φ, Φ′를 잡고, X∈A, Y∈A′에 대해 Hom\_{A B A′}(X,Y) 를 정의한다. 이 집합은 X→Φ(Z)←Φ′(Z)→Y 형태의 다이어그램을 동형류로 묶은 것으로, 가법·R‑선형 구조를 자연스럽게 갖는다. 또한, 좌·우 adjoint가 존재할 경우 이를 Hom\_{A′}(Φ′(Φ\_L(X)),Y) 혹은 Hom\_{A}(X,Φ(Φ\_R′(Y))) 로 표현하는 명제들을 제시한다. 삼각 완전 서브카테고리 B⊂A에 대해 장거리 정확한 시퀀스와 “B를 통한 사상”이 A/B의 호모몰지를 연결한다는 Proposition 2도 증명한다. 3. **대수 A#의 정의와 성질**(섹션 3)에서는 Z‑그레이드 유한 차원 대수 A와 그 하위 대수 K=A₀, N=A_{\ge0}, B=A_{\le0}를 가정한다. K는 반단순이며 N⊗\_K B → A 가 동형이라는 조건을 둔다. N∨=Hom\_{K^{op}}(N,K)를 코코알지 구조로 만든 뒤, N#=Hom\_{K^{op}}(N∨,K)와 A#=(N∨⊗\_N A)⊗\_{N∨} N# 를 정의한다. 여기서 S=N∨⊗\_N A는 N∨‑코코모듈 범주에서 링 객체이며, A#는 N#‑코코모듈 범주에서 링 객체가 된다. Proposition 4는 S가 A#‑A 바이모듈이며, A#≅End\_{A^{op}}(S), A≅End\_{A#^{op}}(S#) 라는 이중성을 보여준다. 4. **N‑프로젝티브·인젝티브 모듈과 파생 서브카테고리**(섹션 3.4)에서는 A‑mod과 A#‑mod 내에서 N에 제한했을 때 프로젝티브(또는 N#에 제한했을 때 인젝티브)인 모듈들을 정의하고, 이들로 생성되는 삼각 서브카테고리 D\_{∞/2}(A), D\_{∞/2}(A#)를 만든다. 이는 반무한 코호몰로지의 대상이 되는 파생 범주이다. 5. **주요 정리와 증명**(섹션 5)에서는 앞서 정의한 “B를 통한 사상”과 D\_{∞/2}(A), D\_{∞/2}(A#) 사이의 정확한 동형을 증명한다. 구체적으로, A = Dᵇ(A#‑mod), A′ = Dᵇ(A‑mod) 로 잡고, B를 N‑인젝티브 A#‑모듈이 생성하는 완전 삼각 서브카테고리로 두면, \