오른쪽 보스필드 국소화의 존재와 적용

초록

이 논문은 오른쪽 반모델 범주에서 오른쪽 보스필드 국소화가 언제 존재하는지를 증명하고, 이를 이용해 왼쪽 퀴즐 프레시브의 동형극한을 오른쪽 반모델 범주로 모델링하는 방법을 제시한다.

상세 분석

보스필드 국소화는 기존 모델 구조에 새로운 약한 동등성을 강제로 추가함으로써 원하는 사상들을 ‘동등’하게 만드는 과정이다. 전통적으로는 왼쪽 보스필드 국소화가 잘 알려져 있으며, 이는 모델 범주의 코파일리티(코피브레션)와 왼쪽 적절성(left properness)을 가정하면 존재한다는 것이 표준 결과이다. 반면 오른쪽 보스필드 국소화는 오른쪽 적절성(right properness)과 같은 조건이 필요하고, 실제로 많은 상황에서 모델 구조 자체가 존재하지 않아 적용이 어려웠다. 저자는 이러한 어려움을 ‘오른쪽 반모델 범주(right semimodel category)’라는 약화된 구조로 해결한다. 오른쪽 반모델 범주는 모든 코피브레션과 퀴즐 구조는 유지하지만, 퀴즐 사상이 모든 객체에 대해 아닌 ‘코피브레드’ 객체에 대해서만 만족한다는 점에서 전통적 모델 범주보다 유연하다. 논문은 먼저 오른쪽 반모델 범주가 충분히 ‘작음(smallness)’ 조건을 만족하면, 스미스(Smith) 스타일의 생성법을 이용해 원하는 클래스의 약한 동등성을 강제로 포함하는 새로운 오른쪽 반모델 구조를 구축할 수 있음을 보인다. 핵심은 (1) 대상 클래스가 세트로 생성될 수 있음, (2) 퀴즐 사상이 코피브레드 객체에 대해 보존됨, (3) 오른쪽 적절성 가정이 필요 없으며 대신 ‘right semimodel’ 조건만으로 충분함을 증명하는 것이다. 이 결과는 기존의 오른쪽 보스필드 국소화 존재성 정리들을 일반화하며, 특히 왼쪽 적절성을 잃은 상황에서도 적용 가능하게 만든다.