비대칭 연산자들의 호모토피 이론과 모델 구조

본 논문은 비대칭 연산자(non‑symmetric operads)의 호모토피 이론을 체계적으로 구축한다. 먼저, 대칭 모노이달 모델 범주 V를 가정한다. V는 코프리베틀리 생성되고, 모노이드 공리(monad axiom)를 만족한다는 전제 하에, V의 시퀀스 범주 V^ℕ은 자연스럽게 비대칭 모노이달 구조(∘‑곱)를 갖는다. 비대칭 연산자 O는 이 ∘‑곱에 대한 모노이드로 정의되며, 연산자 간 사상 f:O→P는 차수별 사상 f(n):O(n)→P(n)으로 구성된다. 정리 1.1은 Op(V) — 비대칭 연산자들의 범주 — 가 코프리베틀리 생성된 모델 범주임을 증명한다. 여기서 약한 동형과 섬유는 각각 차수 n에 대한 V의 약한 동형·섬유와 일치한다. 또한, V가 오른쪽 적절(right proper)하거나 조합가능(combinatorial)하면 Op(V)도 동일한 성질을 물려받는다. 이 결과는 기존 대칭 연산자에 대한 모델 구조 구축에서 요구되던 추가적인 제한(예: Q‑선형성, 카테시안 폐쇄성 등)을 완전히 배제한다. 다음으로, V에 대해 풍부화된 모노이달 모델 범주 C를 도입한다. C는 V‑모듈 구조를 갖는 강한 브레이드된 모노이달 함수를 통해 V와 연결된다. O∈Op(V) 위의 O‑대수 Alg_C(O)는 C 안에서 O의 작용을 받는 객체들의 범주이다. 정리 1.3은 C가 코프리베틀리 생성되고 모노이드 공리를 만족하면, Alg_C(O) 역시 코프리베틀리 생성된 모델 범주가 되며, 약한 동형·섬유는 C 자체의 구조와 동일함을 보인다. 정리 1.5는 추가 가정으로 C가 왼쪽 적절(left proper)일 때, 연산자 φ:O→P가 차수별 코프리베틀리 객체 사이의 약한 동형이면, 유도된 쿼일레니 쌍 φ_*⊣φ^*가 Alg_C(O)와 Alg_C(P) 사이의 쿼일레니 등가성을 제공한다. 이는 연산자 수준에서의 약한 동형이 대수 수준에서도 동등한 호모토피 이론을 만든다는 중요한 결과이다. 기술적인 핵심은 ‘관련 연산자 푸시아웃(relevant operad push‑out)’과 ‘관련 대수 푸시아웃(relevant algebra push‑out)’을 구성하기 위해 트리(combinatorial trees)를 활용한 점이다. 3절에서는 ‘식재된(planted) 평면 트리’를 정의하고, 레벨·경로 순서를 도입해 연산자 합성의 구조를 시각화한다. 4절에서는 이러한 트리를 이용해 모노이달 범주 V의 사상 ∘‑곱에 대한 푸시아웃을 명시적으로 계산한다. 5절과 8절에서는 각각 연산자와 대수 수준에서의 푸시아웃을 다루며, 이를 통해 모델 구조의 생성( cofibrations )과 푸시아웃-대수( push‑out‑algebra )의 복잡한 구조를 제어한다. 10절에서는 앞서 구축한 이론을 구체적인 예시들에 적용한다. 체인 복합체, 단순 복합체, 스펙트럼, Γ‑공간, S‑모듈 등 다양한 대칭 모노이달 모델 범주가 V의 예시가 된다. 특히, V‑모듈에 대한 풍부 카테고리(예: k‑모듈에 객체 집합 S를 갖는 카테고리)와 A∞‑범주의 호모토피 이론이 동일함을 보인다. 비대칭 연산자를 이용하면 풍부한 카테고리의 구조를 A∞‑구조와 직접 연결할 수 있어, 기존 대칭 연산자에 의존하던 방법보다 더 일반적인 상황을 다룰 수 있다. 결론적으로, 이 논문은 비대칭 연산자와 그 위의 대수에 대한 모델 구조를 최소한의 가정으로 확립하고, 퀼렌 등가성까지 제공함으로써 풍부한 호모토피 이론과 A∞‑구조 사이의 다리를 놓는다. 이는 향후 비대칭 연산자를 활용한 고차 구조(예: ∞‑카테고리, 고차 연산자 이론) 연구에 강력한 기반을 제공한다.