무한운영체 위 대수의 코시울 이중성

초록

이 논문은 선형 ∞‑운영체와 그에 대응하는 ∞‑협동체에 대한 새로운 대수·협동체 개념을 정의하고, 이들 사이의 코시울 이중성을 전개한다. 핵심은 나무 범주 위의 프리셰이브와 코프리셰이브 사이의 일반적인 이중성을 이용해 ∞‑대수와 ∞‑협동체의 바‑코바 복합을 구축하고, 이를 통해 ∞‑운영체 위 대수의 동질성을 나무 범주의 호몰로지로 기술한다는 점이다.

상세 분석

본 연구는 먼저 선형 ∞‑운영체를 ‘나무 범주 A 위의 프리셰이브 X’로 정의하고, 각 grafting S ∘ₑ T에 대해 X(S ∘ₑ T)→X(S)⊗X(T)인 구조 사상을 부여한다. 이러한 사상은 준동형사상(quasi‑isomorphism)이어야 하며, 이를 만족하면 X를 ∞‑운영체라 부른다. 저자들은 이 구조를 ‘코시울 이중성’의 기반으로 삼아, A를 확장한 범주 R을 도입한다. R은 A보다 많은 외부 얼굴(프루닝) 사상을 허용하지만, 여전히 루트와 내부 구조를 보존한다.

R 위의 ‘컨릴팡트 코프리셰이브’와 ‘프리셰이브’ 사이에 바 ∨와 바라는 서로의 좌·우 adjoint를 구성하고, 이 adjunction이 준동형 사상까지는 동등함을 보인다. 핵심 정리는 이 adjunction이 ∞‑운영체 X와 그 코시울 B X 사이의 ∞‑대수와 ∞‑협동체 범주로 승격된다는 점이다. 구체적으로, X‑프리알제브라 M은 R 위의 프리셰이브이며, 각 프루닝 α:S→T에 대해 τ_α:M(T)→X(S)⊗M(T/S)인 구조 사상을 가진다. 이 사상이 모두 준동형이면 M을 ∞‑대수라 정의한다.

또한, 전통적인 차등 graded operad P에 대해 고전적인 P‑대수 A를 선택하면, N(P,A)라는 프리셰이브가 ∞‑대수 M을 제공하고, 바 복합 B(M) 를 평가하면 기존 바‑코바 복합과 일치함을 확인한다. 이 과정에서 ‘덴드리달 호몰로지’ DH₍ℓ₎⁎(X)=H⁎(B(X)(C_ℓ))를 정의하고, 이를 나무 범주의 슬라이스 카테고리 C_ℓ/A와 그 비동형 부분 C_ℓ//A의 호몰로지로 전환한다. ∞‑대수 M에 대해서도 동일한 방식으로 DH⁎(M)=H⁎(B(M)(η))를 얻으며, 이는 코시울 DH⁎(X) 위의 컨릴팡트 코알제브라 구조를 갖는다.

이러한 전개는 기존 코시울 이중성(클래식 operad 경우)과 일치하면서도, 프리셰이브·코프리셰이브 수준에서 독립적인 이중성을 먼저 확립한 뒤, 대수·협동체 구조를 끌어올리는 새로운 증명 전략을 제시한다. 특히, 나무 범주의 카테고리론적 해석을 통해 호몰로지 계산을 단순화하고, ∞‑운영체 위 대수의 Andrè‑Quillen 호몰로지를 명시적으로 기술한다는 점이 혁신적이다.