Quillen 함자의 충실성에 관한 연구

본 논문은 모델 범주 M 의 섬유 객체들에 대해 원통 동형 (cylinder homotopy) 관계를 이용해 만든 몫 범주 Fib(M)/c∼ 와 그 동형 범주 Ho Fib(M) 사이의 자연스러운 함자 Fib(M)/c∼ → Ho Fib(M) 의 충실성 문제를 다룬다. 첫 장에서는 기본 용어와 표기법을 정리한다. 모델 범주 M 은 약동형(weak equivalence), 코코피(cofibration), 파이버링(fibration)이라는 세 종류의 구분된 사상을 가진다. 섬유 객체(Fibrant objects) Fib(M) 은 파이버링이 만족되는 객체들의 전부분류이며, 이들에 대해 원통 (cylinder) 을 정의한다. 원통은 객체 Z와 삽입 ins₀, ins₁: X⊔X → Z, 그리고 약동형 s: Z → X 으로 구성되며, 두 사상 f,g: X→Y 가 원통 동형 f ∼ g 인지 여부는 Z 와 사상 H: Z→Y ( ins₀H=f, ins₁H=g )의 존재 여부로 판단한다. 이 관계는 반사적·대칭적이지만 전이적이지 않을 수 있다. 다음으로, 원통 동형이 생성하는 동치 관계 c∼ 를 이용해 Fib(M) 의 몫 범주 Fib(M)/c∼ 을 만든다. 퀼렌은 이 몫 범주와 섬유 객체들의 호모토피 범주 Ho Fib(M) 사이에 자연스러운 함자 Fib(M)/c∼ → Ho Fib(M) 을 정의했으며, 이 함자가 동형(동등)인지 여부가 오랫동안 궁금증으로 남아 있었다. **주요 결과**는 두 부분으로 나뉜다. 1. **충실성 조건**: 명제에서는 M이 좌측 적절(left proper)하고, 모든 약동형 w에 대해 w⊔w (두 복사본의 푸시아웃)가 역시 약동형이면, c∼ 가 실제 동치 관계가 되고, 위의 자연스러운 함자는 충실함을 보인다. 증명은 다음과 같다. 두 사상 f,g: X→Y 가 호모토피 범주에서 동일한 이미지( Γf=Γg )라면, 퀼렌의 정리(Thm 1(ii))에 의해 약동형 w: X′→X 가 존재하고 wf ∼ wg 가 된다. 가정에 의해 w⊔w 가 약동형이므로, 푸시아웃을 이용해 새로운 원통 Z 을 구성하고, wf ∼ wg 을 Z 위의 사상 H 로 끌어올린다. 결국 f ∼ g 가 되므로 c∼ 가 동치 관계이며, 함자는 사상들을 정확히 구분한다. 이 과정에서 퀼렌의 원통 동형에 관한 보조정리와 푸시아웃 보존 성질을 활용한다. 2. **비충실성 반례**: 일반적인 상황에서는 위 조건이 만족되지 않을 수 있다. 저자는 (Z/4 ↓ mod (Z/4))) 범주(즉, Z/4‑모듈 위에 기본 모형 구조를 물려받은 범주)를 예로 든다. 여기서는 모든 객체가 섬유이며, 약동형은 정확히 안정 동형이다. 두 사상 (1 0)와 (1 1) 은 원통 Z 를 통해 동형 관계에 놓이지만, 몫 범주 Fib/∼ 에서는 서로 다른 원소로 남는다. 반면, 약동형 2: Z/4→Z/4 을 앞에 붙이면 두 사상이 호모토피 범주에서 동일해 Γ(1 0)=Γ(1 1) 이 된다. 따라서 Fib(M)/c∼ → Ho Fib(M) 함자는 일반적으로 충실하지 않다. 마지막으로, 논문은 이 결과가 퀼렌의 동형 범주 정리에서 “원통 동형을 이용한 몫 범주가 호모토피 범주와 동등하다”는 직관이 추가적인 가정 없이는 성립하지 않음을 강조한다. 좌측 적절성 및 w⊔w 가 약동형이라는 가정은 푸시아웃을 통한 동형 보존을 보장하는 핵심 조건이며, 이는 모델 범주의 구조적 특성을 깊이 이해하는 데 중요한 역할을 한다.