유도류와 토션 이론에서의 공위치화 함수

본 논문은 임의의 비가환 환 R과 그 위의 유전 토션 클래스 T에 대해, 파생 범주 D(R)에서 T‑세포화 함수를 오른쪽 수반인 공위치화 함수 Cell_T를 명시적으로 구성한다. 서론에서는 Dwyer‑Greenlees의 셀룰러 근사와 Neeman‑Krause의 로컬라이제이션 이론을 간략히 소개하고, Benson이 군환 kG와 단순 kG‑모듈에 대해 제시한 k‑squeeze 해법을 일반화하려는 동기를 제시한다. 2장에서는 유전 토션 이론의 기본 개념을 정리한다. 토션 클래스 T는 서브모듈·몫·직접합·확장에 대해 닫혀 있으며, 이에 대응하는 토션 자유 클래스 F는 Hom_R(T,F)=0을 만족한다. 토션 자유 모듈에 대한 사상 M↦M_F는 좌측 적당함을 가지는 사상이며, 그 핵은 토션 라디칼 t(M)이다. 또한, 셀룰러 근사와 공위치화의 정의를 재정리하고, A_T를 사이클릭 T‑토션 모듈들의 집합으로 두어 h_{A_T}=h_T임을 Lemma 2.8으로 증명한다. 이로써 T‑세포화 근사와 T‑공위치화가 언제든 존재함을 Corollary 2.9에서 확인한다. 3장에서는 핵심 공위치화 구성을 제시한다. 두 가지 동등한 방법을 제시한다. 첫 번째는 Nullification Construction 3.1으로, M을 시작으로 토션 자유 부분 F_n을 취하고 그 주입 껍질 I_n을 차례로 연결한다. 두 번째는 Construction 3.2로, M을 토션 자유 부분 M_F에 사상하고, 그 주입 껍질 J_n을 쌓아가며 복합체 J를 만든다. Lemma 3.4는 I와 J가 각각 T‑공위치화이며, 중간 복합체 C가 T‑세포화 근사임을 보인다. 특히, H_0(Null_T M)≅M_F가 된다. 주입 코히어트 E의 선택이 핵심이다. 각 I_n이 E의 유한 직합의 직접 부분으로 들어가도록 E를 잡는다(예: E=∏_n I_n). 그러면 End_R(E)‑모듈 구조가 부여되고, Hom_R(–,E)와 R Hom_{End_R(E)}(–,E) 사이에 쌍대성 관계가 성립한다. 이를 이용해 Theorem 1.1을 증명한다. 즉, 모든 R‑모듈 M에 대해 \