운영자 위의 대수의 파생 범주와 포장 연산자

** 이 논문은 “연산자 위의 대수”라는 현대 대수적 구조에 대해, 그 파생 범주를 체계적으로 구축하고 불변성을 입증한다. 서두에서는 고전적인 호몰로지 대수학에서 링 \(R\)의 파생 범주 \(D(R)\)가 어떻게 정의되는지를 상기하고, 두 링이 동등한 파생 범주를 가질 조건을 탐구한다. 기존의 틸팅 복합체 이론을 언급한 뒤, 저자는 비가법적(non‑additive) 상황에서도 유사한 구조를 만들고자 한다는 목표를 제시한다. **1. 포장 연산자와 포장 대수** 먼저 폐쇄된 대칭 모노이달 범주 \(E\)를 고정하고, 연산자 \(P\)와 \(P\)-대수 \(A\)를 도입한다. \(A\)-모듈은 객체 \(M\)와 연산 \(\mu_{n,k}\)들의 집합으로 정의되며, 단위, 결합성, 대칭성 공리를 만족한다. 이는 전통적인 모노이드 모듈과 동형임을 보이기 위해, \(P\)-모듈 관점에서 \(A\)-모듈을 “차수 0,1에 집중된” 왼쪽 \(P\)-모듈로 해석한다. 다음으로 **포장 연산자** \(P_{A}\)를 정의한다. 이는 “\(P\)-대수 \(A\) 아래의 \(P\)-대수”를 대표하는 자유적 구조이며, 자유 \(P\)-대수 \(F_{P}(X)\)에 대해 명시적인 콜렉션 식을 제시한다. 일반적인 \(A\)에 대해서는 동등화(coequalizer) 과정을 통해 \(P_{A}\)를 얻으며, 이 과정은 연산자 범주가 콜렉션 범주로부터 반사되는 성질을 이용한다. **2. 포장 대수와 모듈 범주의 동형** 핵심 정리 1.10은 \(P_{A}(1)\)이 바로 **포장 대수** \(\mathrm{Env}_{P}(A)\)이며, \(A\)-모듈 범주 \(\mathrm{Mod}_{P}(A)\)가 \(\mathrm{Env}_{P}(A)\)-모듈 범주와 동형임을 증명한다. 이를 위해 저자는 자유 \(A\)-모듈의 구성을 명시적으로 기술하고, Beck의 삼중성 정리를 적용해 \(\mathrm{Mod}_{P}(A)\)가 모노이드 \(M_{A}=U_{A}F_{A}(I)\)에 대한 모듈 범주임을 보인다. 이후 \(M_{A}\)와 \(P_{A}(1)\) 사이의 동등성을 두 동등화 다이어그램을 비교함으로써 확인한다. **3. 파생 범주의 정의와 불변성** 포장 대수 \(\mathrm{Env}_{P}(A)\)가 모노이드이므로, 전통적인 모델 구조 이론을 적용해 \(\mathrm{Env}_{P}(A)\)-모듈에 대한 프로젝트·인젝션 모델 구조를 전이한다. 그 결과, 파생 범주 \(D_{P}(A)\)를 \(\mathrm{Ho}(\mathrm{Mod}_{P}(A))\) 혹은 \(\mathrm{Ho}(\mathrm{Env}_{P}(A)\text{-Mod})\) 로 정의한다. 불변성은 세 가지 변환에 대해 입증된다. - **연산자 변환**: \((\phi,\psi):(P,A)\to(Q,B)\)가 주어지면, 포장 연산자에 대한 자연 변환 \(\phi_{*}:P_{A}\to Q_{B}\)가 존재하고, 이는 좌 퀼레 펑터를 보존한다. 따라서 \(D_{P}(A)\simeq D_{Q}(B)\). - **대수 변환**: \(A\to A'\)가 코패러블한 \(P\)-대수 사상이면, 포장 대수 사이의 모노이드 사상이 퀼레 어드제인트를 유지해 파생 범주가 동형이다. - **환경 변환**: 모노이달 구조를 보존하는 강한 단사함수 \(F:E\to E'\)에 대해, \(\mathrm{Env}_{P}(A)\)와 \(\mathrm{Env}_{F(P)}(F(A))\) 사이에 모노이드 동형이 존재하므로 파생 범주가 전이된다. **4. 기존 사례와 비교** 특히 차등 그레이드 대수(예: \(A_{\infty}\)-대수, \(E_{\infty}\)-대수) 경우를 검토한다. 여기서는 연산자 \(P\)가 체인 복합체(Chain complexes) 위의 연산자이며, 포장 대수는 전통적인 차등 그레이드 대수의 엔벨로핑 대수와 일치한다. 따라서 정의된 \(D_{P}(A)\)는 기존의 파생 범주와 완전히 동일함을 확인한다. **5. 부가 결과** 논문은 또한 포장 대수가 바이알제브라가 되기 위한 충분조건을 제시한다. 이는 \(A\)-모듈 범주에 모노이달 구조가 존재함을 의미하며, 이는 포장 연산자 \(P_{A}\)가 코프라임(co‑operad) 구조를 가질 때 실현된다. 전체적으로, 저자는 연산자 이론과 모듈 이론을 결합해 비가법적 상황에서도 파생 범주를 정의하고, 그 불변성을 체계적으로 증명함으로써 호몰로지 대수학의 적용 범위를 크게 확장한다. **