동형 이론의 호모토피 섬유곱

논문은 모델 범주 사이의 왼쪽 퀼레 함수를 이용해 정의된 호모토피 섬유곱이 실제로 호모토피 풀백인지 여부를 검증하고, 이를 보다 일반적인 호모토피 이론의 프레임워크인 완전 세갈 공간(CSS)으로 옮겨 분석한다. 서론에서는 모델 범주가 호모토피 이론의 추상화이며, 모델 범주 자체를 객체로 하는 범주가 아직 모델 구조를 갖추지 못했음을 지적한다. 이러한 상황에서 호모토피 제한(특히 섬유곱)을 정의하려면 다른 모델, 예를 들어 simplicial categories, Segal precategories, quasi‑categories 등을 활용해야 한다고 설명한다. 2장에서는 모델 범주의 기본 개념을 재정리하고, 약동형을 형식적으로 뒤집는 과정과 그 한계(특히 사상 집합이 너무 커지는 문제)를 언급한다. 이어서 완전 세갈 공간의 정의와 Rezk이 구축한 모델 구조 \(CSS\) 를 소개한다. 중요한 점은 \(CSS\) 안에서 완전 세갈 공간이 fibrant 객체이며, 모든 객체가 cofibrant이므로 레벨별 약동형이 전체 약동형과 일치한다는 사실이다. 또한, 모델 범주 \(M\)을 완전 세갈 공간으로 변환하는 함수 \(L_{C}\) 를 정의하고, 이를 통해 모델 범주의 약동형을 보존하는 왼쪽 퀼레 함수를 CSS 수준에서도 다룰 수 있음을 보인다. 3장에서는 실제 섬유곱의 정의를 다룬다. 기존 문헌(Töen)의 정의에 따라, 왼쪽 퀼레 함수를 갖는 삼각형 다이어그램 \(M_{1}\xrightarrow{F_{1}}M_{3}\xleftarrow{F_{2}}M_{2}\) 에 대해 객체를 \((x_{1},x_{2},x_{3};u,v)\) 로 잡고, 사상을 각각의 구성요소에 대해 레벨별 약동형으로 정의한다. 여기서 두 가지 버전이 존재한다. 첫 번째는 “약한” 버전으로, \(u,v\)가 약동형일 필요가 없으며 모델 구조를 그대로 유지한다. 두 번째는 “강한” 버전으로, \(u,v\)를 약동형으로 강제하지만 이 경우 범주가 한계와 공한계를 닫지 않아 모델 구조를 부여할 수 없다. 저자는 이러한 모순을 해결하기 위해 \(L_{C}\) 를 적용한다. \(L_{C}(M_{i})\) 를 완전 세갈 공간으로 바꾸면, 강한 버전에서 요구하는 \(u,v\)가 약동형이라는 조건은 CSS 안에서는 레벨별 약동형과 동치가 된다. 따라서 \(L_{C}(M_{1})\times^{h}_{L_{C}(M_{3})}L_{C}(M_{2})\) 라는 CSS 풀백이 강한 섬유곱과 동형임을 증명한다. 또한, 약한 섬유곱은 강한 섬유곱을 로컬라이즈한 결과이며, 두 정의가 서로 다른 CSS 객체로 나타나지만, 로컬라이제이션을 통해 동일한 호모토피 이론을 기술한다. 주요 정리로는 (1) CSS 모델 구조에서 완전 세갈 공간 사이의 약동형이 레벨별 약동형과 일치한다는 점, (2) 모델 범주의 강한 섬유곱을 CSS 로 옮기면 호모토피 풀백과 동형이라는 점, (3) 약한 정의와 강한 정의가 각각 어떤 CSS 로 대응되는지 명시하고, 강한 정의가 로컬라이제이션을 통해 약한 정의에서 얻어질 수 있다는 점을 들었다. 응용 측면에서는 파생 할드 대수의 구축에 사용된 모델 범주의 섬유곱을 CSS 풀백으로 대체함으로써, 보다 일반적인 안정된 호모토피 이론(예: 안정된 완전 세갈 공간)에서도 동일한 대수 구조를 정의할 수 있음을 강조한다. 마지막으로, 향후 연구 과제로 모델 범주의 호모토피 푸시아웃, 일반적인 호모토피 한계와 공한계를 CSS 안에서 정의하고, 이들을 기존 모델 구조와 비교하는 작업을 제시한다. 이는 모델 구조가 존재하지 않거나 퀼레 쌍함수가 제한적인 경우에도 호모토피 이론을 다룰 수 있는 새로운 방법론을 제공한다.