다중군 구조의 공간과 유도 모리타 이론

초록

본 논문은 심플리컬 다중군(색칠된 operad)의 유도 범주를 연구하고, 두 다중군 P와 Q 사이의 유도 매핑 공간을 P‑Q‑바이모듈 범주의 신경으로 기술한다. 이를 통해 유도 모리타 동등성의 기준을 제시하고, 전체 유도 범주가 내부 Hom 객체를 갖는 것을 증명한다.

상세 분석

논문은 먼저 심플리컬 집합값 다중군(색칠된 operad)의 모델 구조를 구축한다. 약한 동등성은 operad 수준의 약한 동등성과 범주 수준의 동등성을 동시에 만족하도록 정의되며, 이는 Reedy 모델 구조와 Dwyer‑Kan 로컬라이제이션을 이용해 정확히 기술된다. 핵심 정리(A)는 두 다중군 P, Q에 대해 유도 매핑 공간 Mapᵍ(P,Q) 가 P‑Q‑바이모듈의 오른쪽 자유(또는 쿼시‑프리) 모델 범주 PMQ 의 신경과 약한 동형이라는 것을 보인다. 여기서 바이모듈은 P‑왼쪽·Q‑오른쪽 구조를 동시에 갖는 객체이며, “right quasi‑free” 조건은 모델 구조에서 코피브런트 교체를 통해 얻어지는 자유적 성질을 의미한다. 이 정리는 전통적인 모리타 이론을 operad 수준으로 끌어올린 것으로, 모듈 범주의 동등성이 곧 다중군 자체의 동등성(연결 성분)과 일치함을 보여준다.

증명 전략은 먼저 다중군의 모형 구조를 이용해 P‑Q‑바이모듈 범주의 코피브런트 교체와 fibrant replacement 를 구성하고, 그 후 Dwyer‑Kan의 호모토피 함수 복합체 모델(zig‑zag 카테고리, 코시미클 해상도 등)을 적용한다. 특히, 섹션 1에서 제시된 다양한 zig‑zag 모델을 이용해 Mapᵍ(P,Q) 를 명시적으로 계산하고, 이를 바이모듈 신경과 동형시킨다. 이 과정에서 Berger‑Moerdijk의 이전 결과와 Dwyer‑Hess의 비대칭 operad 경우를 일반화한 것이 눈에 띈다.

또한, 논문은 내부 Hom 객체 존재를 보이기 위해 위의 모리타 동등성을 이용한다. 내부 Hom 은 두 다중군 사이의 바이모듈 범주를 다시 다중군으로 보는 구조이며, 이는 유도 범주의 폐쇄적(monoidal closed) 성질을 확보한다. 마지막으로, 코시미클 모델을 통한 필터링(바이모듈 차수에 따른 층)과 그 계산 가능성을 제시하여, 실제적인 동형론적 계산에 활용할 수 있는 도구를 제공한다. 전체적으로, 이 연구는 다중군 이론을 호모토피 이론과 결합시켜, 모리타 관점에서의 “동등성”을 새로운 고차원 구조로 확장한 중요한 기여라 할 수 있다.