소범주를 위한 새로운 모델 구조와 커버링 이론

초록

저자들은 소범주(Category) 위에 커버링과 기본군 개념을 반영한 새로운 모델 구조를 정의한다. 이 구조에서 휘발성(weak equivalence)은 동형 사상과 동등한 동형 사상으로 정의되고, 휘발성 객체는 군oid이며, 휘발성 대체는 군oid화(groupoidification)와 일치한다. 또한, 이 모델 구조는 기존의 Thomason 모델 구조와는 다른 코페어와 휘발성 사상 체계를 제공한다.

상세 분석

본 논문은 소범주(小範疇) Cat 에 새로운 모델 구조를 부여함으로써, 범주론적 커버링 이론과 기본군(π₁) 개념을 자연스럽게 연결한다. 모델 구조는 세 가지 클래스, 즉 휘발성(weak equivalences), 휘발성 코페어(cofibrations), 휘발성 섬유(fibrations)로 구성되며, 각각은 다음과 같이 정의된다. 휘발성 사상은 ‘동형 사상과 동등한 동형 사상(equivalence of categories)’으로 잡는다. 이는 기존의 Thomason 모델 구조에서 사용되는 ‘동형 사상’과는 차이가 없지만, 휘발성 코페어와 휘발성 섬유의 정의가 달라진다. 휘발성 코페어는 ‘전사적 전이 사상(essentially surjective on objects)’이며, 휘발성 섬유는 ‘각 객체에 대한 군oid화가 보존되는 사상’으로 정의된다. 특히, 휘발성 섬유는 대상 범주의 모든 동형 사상이 원래 범주의 동형 사상으로 끌어올려질 수 있음을 요구한다. 이러한 정의를 통해, 휘발성 객체는 정확히 군oid이 된다. 즉, 모든 사상이 동형 사상이며, 모든 객체가 동형적으로 연결된 구조만이 휘발성 객체가 된다.

핵심적인 결과는 ‘군oid화’가 휘발성 대체(fibrant replacement) 역할을 한다는 점이다. 임의의 소범주 C 에 대해, 그 군oid화 C^{gp} 는 휘발성 사상 C → C^{gp} 을 제공하고, 이는 휘발성 대체 사상으로서 모델 구조의 모든 공리(특히, 두 사상 사이의 삼각형 식)를 만족한다. 따라서, 군oid화는 모델 범주 Cat 에서 휘발성 대체 함자를 구현하는 전역적인 방법이 된다.

또한, 저자들은 커버링 이론을 범주론적으로 재구성한다. ‘커버링 사상’은 휘발성 코페어이면서 휘발성 섬유인 사상으로 정의되며, 이는 전통적인 위상공간의 커버링 사상과 동형 사상 사이의 일대일 대응을 제공한다. 이때, 기본군 π₁(C) 은 군oid C^{gp} 의 자동동형군(automorphism group)으로 해석되며, 커버링 사상의 분류는 군oid의 서브군과 일대일 대응한다.

마지막으로, 이 모델 구조는 기존의 Thomason 모델 구조와 비교했을 때, 휘발성 코페어와 휘발성 섬유가 서로 교환되는 ‘dual’ 관계에 있다. Thomason 구조에서는 휘발성 코페어가 ‘모든 사상’이고 휘발성 섬유가 ‘동형 사상’인 반면, 현재 구조에서는 휘발성 코페어가 ‘전사적 전이 사상’, 휘발성 섬유가 ‘군oid 보존 사상’으로 바뀐다. 이러한 대칭성은 커버링 이론을 모델 범주론적 관점에서 다루는 데 유리한 구조적 기반을 제공한다.