두 트랙 범주 이차원 트랙 구조와 응용

초록

본 논문은 기존의 트랙 범주를 2차원으로 확장한 ‘두 트랙 범주’를 정의하고, 이를 2‑형식 매핑 공간으로 풍부화된 범주를 모델링하는 도구로 제시한다. 또한 트랙 범주의 바우스‑비르슈링(cohomology) 이론을 구축하여, 주어진 트랙 범주 D와 D‑모듈 M에 대한 두 트랙 확장을 동형류(classification)하는 방법을 제공한다.

상세 분석

두 트랙 범주의 정의는 먼저 1‑차원 트랙 구조, 즉 사상 사이의 2‑셀(동형사상)과 그들의 합성법칙을 복습하고, 여기에 두 번째 차원의 ‘2‑셀 사이의 3‑셀’에 해당하는 고차 동형사상을 도입함으로써 이루어진다. 구체적으로, 객체와 1‑사상(트랙) 사이에 2‑사상(두 트랙)과 3‑사상(두 트랙 사이의 변형)이라는 네 층의 구조를 갖는 2‑카테고리 형태를 채택한다. 이때 합성은 수평·수직 두 방향으로 정의되며, 교환법칙과 연관성(coherence) 조건을 만족하도록 고차 교환도입을 통해 엄격화(strictification)한다.

논문은 이러한 두 트랙 범주가 ‘2‑형식 매핑 공간(enriched in 2‑type mapping spaces)’을 갖는 범주와 동등함을 보이기 위해, 먼저 2‑형식 공간을 모델링하는 모델 구조(model structure)를 구축한다. 여기서 2‑형식은 π₀, π₁, π₂가 비자명하고 πₙ=0 (n≥3)인 호모토피 타입을 의미한다. 두 트랙 범주의 호몰로지적 특성을 파악하기 위해 바우스‑비르슈링(cohomology) 이론을 일반화한다. 기존의 트랙 범주에 대한 바우스‑비르슈링 코호몰로지는 2‑셀(동형사상)과 그들의 자연 변형을 계수화했는데, 여기서는 추가된 3‑셀까지 확장하여 ‘두 트랙 코호몰로지’를 정의한다.

핵심 결과는 두 트랙 확장 문제를 이 코호몰로지 클래스와 일대일 대응시킨다. 구체적으로, 주어진 트랙 범주 D와 D‑모듈 M에 대해, 두 트랙 확장은 H³_BW(D;M) (바우스‑비르슈링 3차 코호몰로지) 의 원소와 정확히 대응한다는 정리를 증명한다. 이는 기존의 2‑차원 확장 이론을 3‑차원까지 끌어올린 것으로, 고차 동형사상과 그 변형을 동시에 제어할 수 있는 강력한 분류 도구를 제공한다. 또한, 이러한 분류가 실제 계산 가능한 예시(예: 2‑그룹, 이중 사상체계)와 연결되어, 구체적인 코호몰로지 그룹을 구하는 방법을 제시한다.

마지막으로, 두 트랙 범주의 내재된 ‘동형 사상 간의 동형 사상’ 구조가 고차 범주 이론, 특히 (∞,2)‑범주와의 관계를 암시함을 논의한다. 이는 향후 고차 동형사상 이론과 호몰로지 이론을 통합하는 연구 방향을 제시한다.