덴드리달 집합으로 보는 호모토피 작동자 모델링

초록

이 논문은 덴드리달 집합(dendroidal sets)에 모델 구조를 부여하여, 그 피브레트 객체를 ∞‑작동자(∞‑operads) 즉, 내부 Kan 복합체로 만든다. 이는 기존의 Joyal 모델 구조를 일반화한 것으로, 단순히 점 위에서 슬라이스하면 기존의 ∞‑카테고리 모델이 회복된다.

상세 분석

본 연구는 기존에 Joyal이 제시한 ∞‑카테고리의 호모토피 이론을 덴드리달 집합이라는 더 풍부한 구조로 확장한다. 덴드리달 집합은 트리 형태의 인덱스를 갖는 프레시코시(프리시코시)이며, 이는 전통적인 단순 집합(simplicial sets)이 단순히 선형(선형 순서) 구조에 국한되는 것과 대비된다. 논문은 먼저 덴드리달 집합의 카테고리 dSet에 대해 코페어와 푸리에 제한을 이용해 완전·코완전함을 확인하고, 그 위에 모델 구조를 정의한다. 핵심은 ‘내부 Kan 복합체’라는 조건을 통해 피브레트 객체를 정의하는데, 이는 모든 내부 안면(inner horn) 삽입이 풀릴 수 있음을 의미한다. 이러한 내부 Kan 조건은 ∞‑작동자의 핵심적 특성으로, 작동자들의 복합적인 합성 규칙과 동등성(동형 사상)들을 고차원적으로 포착한다.

모델 구조의 구성은 세 가지 클래스로 나뉜다: (1) 코페어(코페어)인 약한 등가사상(weak equivalences), 이는 정규화된 바깥쪽 카테고리(operadic nerve)와 비교해 동등성을 판단한다; (2) 코페어인 코피베이션(cofibrations), 이는 단순히 모노모르피즘(단사)이며, 특히 정규화된 트리 포함을 포함한다; (3) 피브레션(fibrations), 이는 내부 Kan 복합체에 대한 오른쪽 사상 제한을 만족한다. 저자는 이 세 클래스가 모델 범주의 공리(2-3 교환법칙, 재생성, 휘발성 등)를 만족함을 상세히 증명한다.

특히 흥미로운 점은 이 모델 구조가 ‘슬라이스’ 연산을 통해 기존의 Joyal 모델 구조와 정확히 일치한다는 사실이다. 점(*) 위에서 dSet을 슬라이스하면 단순 집합(sSet)과 동형이 되며, 그때의 피브레트 객체는 ∞‑카테고리(내부 Kan 복합체)와 동일해진다. 따라서 이 작업은 ∞‑카테고리 이론을 ∞‑작동자 이론으로 자연스럽게 확장하는 ‘범주론적 상승’ 역할을 한다.

또한 저자는 모델 구조가 좌측 적대적(Left proper)이며, 가군(Combinatorial)임을 보이며, 이는 실용적인 호모토피 이론 전개에 필수적인 성질이다. 특히 가군성은 작은 생성자와 제한자를 이용해 모델 구조를 구축할 수 있음을 의미하고, 이는 향후 대규모 계산이나 컴퓨터 구현에 유리하다.

마지막으로, 논문은 이 모델 구조를 이용해 ∞‑작동자 사이의 ‘함수 작동자’(mapping operads)와 ‘모듈’(modules) 개념을 정의하고, 기존의 색깔(colored) 작동자 이론과 비교한다. 이러한 확장은 고차원 대수적 위상수학, 특히 고차원 양자장 이론과 고차원 대수 구조의 모델링에 중요한 토대를 제공한다.