파생 범주에서의 모리타 이론 이중범주적 관점

논문은 먼저 고전적인 모리타 이론을 이중범주 M(링, 바이모듈, 2‑셀) 안에서 재해석한다. 여기서 링은 0‑셀, (B,A)‑바이모듈은 1‑셀, 바이모듈 사상은 2‑셀이며, 수평 합성은 텐서곱을 통해 정의된다. 이 구조를 이용해 Yoneda 보조정리(5.3)를 제시하고, 그 직접적인 결과인 모리타 정리(5.4)를 도출한다. 이때 핵심은 P와 Hom\_S(P,S)가 서로의 좌·우 내부 호몰로지를 통해 역쌍을 이루는 dual pair 가 되면, −⊗\_R P와 −⊗\_S Hom\_S(P,S) 가 서로의 좌·우 적당한 어뎁터가 되어 카테고리 동형을 만든다는 점이다. 다음으로 파생 상황을 다루기 위해 DG‑k‑알제브라와 그 바이모듈을 객체와 1‑셀로 하는 이중범주 DGk 를 정의하고, 그 파생 이중범주 D\_k 를 구축한다. 여기서 D\_k(R)는 R‑모듈의 파생 범주이며, 삼각구조를 갖는다. Rickard 정리(정리 2.1)는 D\_k(R)≃D\_k(S) ⇔ 존재하는 T∈D\_k(S) 가 (i) 유한 생성 프로젝트ive 복합, (ii) 삼각생성자, (iii) End\_S(T) 의 호몰로지가 0 차에서 R과 동형인 경우로 서술한다. 증명은 먼저 (i),(ii) 조건이 삼각생성자를 보장하고, (iii) 조건을 통해 End\_S(T) 가 R과 준동형임을 보이며, 형식성(formality) 가 있으면 실제 DG‑알제브라까지 동형임을 얻는다. 그러나 DG‑알제브라에서는 형식성이 일반적으로 성립하지 않는다. 저자는 이 점을 Lemma 2.4와 Proposition 2.6, 2.7을 통해 상세히 설명한다. 특히, DG‑알제브라 E 가 호몰로지가 0 차에 집중될 때는 E 가 자체와 준동형이므로 파생 범주가 동형이 된다. 하지만 일반 DG‑알제브라에서는 End\_S(T) 가 R와 동형이 되지 않을 수 있다. Dugger‑Shipley가 제시한 반례는 C와 A 사이에 Quillen 동형이 존재하지만, 어떤 바이모듈도 Rickard 조건을 만족하지 못함을 보여준다. 이는 C가 Z/2‑위에서 DGA와 준동형이 아니기 때문이다. 이러한 장애를 해소하기 위해 저자는 표준 파생 동형을 “enriched equivalence” 로 정의한다. 즉, 파생 동형이 내부 호몰로지 구조를 보존하고, 이중범주적 Yoneda 보조정리의 강한 변환(strong transformation) 의 성분이 될 때만 표준이라 한다. 이를 위해 의사함수(pseudofunctor)와 강한 변환의 개념을 도입하고, Proposition 6.7에서 이 조건이 필요충분함을 증명한다. 구체적으로, (i) 변환이 풍부(enriched) 동형이어야 하고, (ii) D\_k(A,A) → D\_k(End\_k(A),A) 사이에 풍부한 동형 f′ 가 존재하며, (iii) f와 f′ 가 자연스러운 Ext‑사상과 합성에 대해 교환법칙을 만족해야 한다. 이러한 조건이 만족되면 파생 동형은 −⊗\_R T 와 그 듀얼을 이용한 표준 파생 동형과 동등함을 보인다. 마지막으로, 섹션 7, 8에서는 DG‑알제브라의 모델 구조와 베이스 교환(base change) 이론을 이중범주적 관점에서 정리한다. 모델 구조는 단일 객체에 대한 모노이달 안정 모델 카테고리와 일치하고, 베이스 교환은 의사함수 사이의 강한 변환을 통해 표현된다. 전체적으로 논문은 고전 모리타 이론을 이중범주와 Yoneda 보조정리라는 보편적 도구로 확장하고, 파생 상황에서 발생하는 복잡성을 풍부 구조 보존이라는 관점에서 명확히 규정한다. 이를 통해 DG‑알제브라와 스펙트럼에 대한 파생 모리타 이론을 일관된 프레임워크 안에 통합하고, 기존의 반례와 장애를 이중범주적 해석으로 설명한다.