모노이달 모델 범주에서 코모노이드의 모델 구조 구축

초록

본 논문은 특정 모노이달(Quillen) 모델 범주에서 코모노이드(코알제브라)들의 범주가 역시 모델 구조를 가짐을 증명한다. 주요 가정은 단위 객체가 코코프리턴트이며, 푸시아웃-곱 공리와 모노이드 공리를 만족하는 경우이다. 전이된 모델 구조는 자유 코모노이드 우변함수의 오른쪽 어드쥬인트를 이용해 구축되며, 체인 복합체, 단순 집합, 위상공간 등 여러 전형적인 예에 적용된다.

상세 분석

이 연구는 기존의 모노이달 모델 범주에서 모노이드(대수 구조)에 대한 전이 모델 구조 구축 결과를 코모노이드(코대수 구조) 쪽으로 대칭시킨다. 핵심 가정은 (M,⊗,𝟙) 가 코코프리턴트 단위 𝟙를 갖고, 푸시아웃‑곱 공리(PP)와 모노이드 공리(MA)를 만족하는 완전·코완전한 폐쇄 모노이달 모델 범주이다. 이러한 환경에서는 자유 코모노이드 함자 F: M→Comon(M) 가 존재하고, 그 오른쪽 어드쥬인트 U: Comon(M)→M 은 보존한다. 저자는 U가 반사적이며, U‑가 보존하는 한계와 콜리미트를 이용해 Cof, Fib, W 에 대한 정의를 전이한다. 특히, Cof는 U‑가 보존하는 코코프리턴트 객체들의 푸시아웃을 통해 생성되는 셀룰러 코파일을 사용하고, W는 U‑가 반사하는 약동형 사상이다. 증명 과정에서 중요한 단계는 (i) U‑가 푸시아웃을 보존함을 보이고, (ii) 코모노이드 범주의 작은 생성 집합이 존재함을 확인하며, (iii) 코모노이드 범주가 2‑사이드 조건을 만족해 모델 범주 공리를 충족함을 보이는 것이다. 저자는 또한 코모노이드 공리(co‑monoid axiom)를 제시해, 푸시아웃‑곱 공리의 이중화가 코모노이드 전이 구조에 충분함을 증명한다. 이와 더불어, 코코프리턴트 단위가 존재하지 않을 경우에는 제한된 전이 구조가 가능한지에 대한 논의도 포함한다. 결과적으로, 체인 복합체(Ch(R)), 단순 집합(sSet), 그리고 위상공간(Top)과 같은 전형적인 모노이달 모델 범주에서 코모노이드(예: 코알제브라, 코코알제브라, 코Hopf 대수) 범주가 모델 구조를 갖게 된다. 이는 코대수학적 호몰로지 이론, 코스펙트럼, 그리고 코모듈의 동형론적 분류에 새로운 도구를 제공한다.