덴드리달 세갈 공간과 무한 오페라드

초록

이 논문은 덴드리달 세갈 공간과 완전 세갈 공간을 정의하고, 각각을 모델 구조의 fibrant 객체로 만들었다. 두 모델 구조가 서로 Quillen 동등하고, 이전에 구축한 ∞‑operad의 모노이달 모델 구조와도 동등함을 증명한다. 또한 단위 객체 위에서 슬라이스하면 Joyal의 quasi‑category, Rezk의 완전 세갈 공간, Segal category 사이의 알려진 비교 결과를 즉시 얻는다.

상세 분석

논문은 먼저 dendroidal set이라는 색인 체계 위에 Segal 조건을 전이시켜 dendroidal Segal space와 complete dendroidal Segal space를 정의한다. 기존의 simplicial Segal space 이론을 dendroidal 맥락으로 확장하기 위해, 저자들은 operadic model structure를 기반으로 하는 dendroidal presheaf 카테고리를 사용한다. 핵심 기술은 두 단계의 바깥쪽(outer) 및 안쪽(inner) horn filler 조건을 적절히 조합해, operadic composition이 homotopy 수준에서 보존되는지를 검증하는 것이다. 특히, 완전성 조건은 dendroidal analog of Rezk’s completeness를 도입해, 객체들의 “객체 수준” 동등성(π₀)과 “모핑 수준” 동등성(π₁)이 기대되는 방식으로 일치하도록 만든다.

다음으로 저자들은 두 개의 모델 구조를 구축한다. 첫 번째는 dendroidal Segal space 모델 구조로, fibrant 객체가 dendroidal Segal space가 되도록 한다. 두 번째는 complete dendroidal Segal space 모델 구조로, fibrant 객체가 완전 dendroidal Segal space가 되게 한다. 두 모델 구조는 각각 cofibration을 monomorphism, weak equivalence를 operadic weak equivalence로 정의하고, fibrations를 적절한 lifting property로 기술한다. 중요한 결과는 이 두 모델 구조가 Quillen 등가임을 보이는 것이다. 이를 위해 저자들은 Bousfield localization 기법을 이용해 Segal 조건과 완전성 조건을 각각 별도의 localization으로 처리하고, 그 결과 얻어지는 두 모델 구조가 서로 연속적인 Quillen 사슬을 통해 동등함을 증명한다.

또한, 이전 논문에서 구축한 ∞‑operad의 모노이달 모델 구조와도 Quillen 동등함을 보인다. 여기서 핵심은 dendroidal complete Segal space가 ∞‑operad의 “complete Segal object”와 동형이라는 점이다. 이 동등성은 operadic nerve와 dendroidal realization functor 사이의 adjunction을 이용해, 각각의 homotopy 이론이 동일한 ∞‑category를 모델링한다는 것을 확인한다.

마지막으로, 단위 객체(모노이달 단위) 위에서 슬라이스 카테고리를 취하면, dendroidal 구조가 simplicial 구조로 축소된다. 이 과정을 통해 Joyal의 quasi‑category, Rezk의 complete Segal space, 그리고 Segal category 사이의 기존 비교 결과가 자동으로 따라온다. 즉, dendroidal 접근법이 기존의 여러 모델을 하나의 통일된 프레임워크 안에 끌어들여, ∞‑operad와 ∞‑category 이론 사이의 교차점을 명확히 한다는 점에서 큰 의미를 가진다.