고차 범주 이론의 유일성 정리와 그 적용

초록

이 논문은 (∞, n)‑범주의 이론을 다섯 개의 직관적인 공리로 정의하고, 이러한 공리를 만족하는 모든 모델이 (ℤ/2)ⁿ의 작용에 의해 서로 유일하게 동등함을 증명한다. 구체적으로 Rezk의 Θₙ 완전 Segal 공간, Simpson‑Tamsamani의 Segal n‑범주, n‑중 완전 Segal 공간, n‑상대 범주 등 주요 모델들이 모두 이 공리를 만족함을 보인다.

상세 분석

논문은 먼저 “gaunt n‑범주”라는 개념을 도입한다. 이는 모든 가역 k‑사상이 항등인 엄격 n‑범주이며, 셀 Cₖ(0≤k≤n)들만으로 전체 Catₙ를 생성한다는 사실을 이용한다. 저자들은 Gauntₙ를 로컬화하여 현재성(프레젠테이션)과 콜리밋을 보존하는 완전한 범주로 만든다.

다섯 개의 공리(C.1–C.5)는 다음과 같다.

• 강한 생성(C.1): 모든 객체는 가운트 n‑범주들의 정규 콜리밋으로 표현된다.
• 약한 생성(C.2): 각 객체는 셀들의 콜리밋, 즉 “셀 분해”를 가진다.
• 내부 Hom(C.3): k‑셀 위의 객체들에 대해 내부 Hom이 존재한다.
• 기본 푸시아웃(C.4): 특정 유한 푸시아웃 집합 S₀₀이 C 안에서도 푸시아웃으로 유지된다.
• 보편성(C.5): 다른 ∞‑범주 D가 같은 공리를 만족하면, C에서 D로의 좌측 적이 존재하고, 셀에 대해 동등함을 보장한다.

이 공리들을 만족하는 ∞‑범주를 “(∞, n)‑범주의 이론”이라 정의하고, 이러한 이론들의 모듈리 공간 Thy(∞, n)를 연구한다. 주요 정리인 Unicity Theorem은 Thy(∞, n)가 B(ℤ/2)ⁿ, 즉 n 차원 이중 교환군의 클래스ifying space와 동형임을 보인다. 이는 각 차원마다 “대립(opposite)”을 취하는 두 가지 선택이 존재하고, 이 선택들이 독립적으로 조합될 수 있음을 의미한다.

자동동형군을 계산하기 위해 저자들은 Gauntₙ의 자기함수군을 분석한다. 자연 변환이 항등임을 보이고, (ℤ/2)ⁿ의 자유 작용이 유일한 비자명 자동동형임을 증명한다. 이는 “셀의 반전”이 모든 모델 사이의 동등성을 완전히 기술한다는 강력한 결과다.

마지막 부분에서는 기존에 제안된 여러 모델이 위의 공리를 만족함을 검증한다. Rezk의 Θₙ 완전 Segal 공간은 Θₙ-전달자를 이용해 강한 생성과 기본 푸시아웃을 만족한다. n‑중 완전 Segal 공간은 반복적인 완전 Segal 구조를 통해 셀 분해와 내부 Hom을 제공한다. Simpson‑Tamsamani의 Segal n‑범주는 Segal 조건과 완전성으로부터 공리를 얻으며, n‑상대 범주 역시 상대적 모델 구조를 통해 동일한 공리를 만족한다. 따라서 모든 알려진 모델은 동일한 (∞, n)‑범주 이론을 구현하고, 그 차이는 오직 (ℤ/2)ⁿ에 의한 대립 선택뿐이다.

이러한 결과는 고차 범주 이론의 “모델 독립성”을 강력히 뒷받침하며, 향후 새로운 모델을 제시할 때도 위의 다섯 공리만 검증하면 충분함을 시사한다.