다이어그램 대수의 해상도와 최소 모델 구축

초록

본 논문은 마크르(Markl)의 예측을 부분적으로 입증한다. 코시즈(Koszul) operad A와 임의의 소형 범주 C에 대해, A와 C의 최소·자유 해상도를 결합하여 새로운 최소 자유 해상도 D⁽∞⁾를 구성하고, 그 차분의 주요 부분을 명시한다. 또한

상세 분석

논문은 먼저 색칠된 operad와 Σ‑module의 기본 개념을 정리하고, 두 구조 사이의 합성곱 ◦ 에 대해 Künneth 공식의 색칠된 버전을 증명한다. 이 공식은 (A ◦ B)의 호몰로지가 각각의 호몰로지의 합성곱과 동형임을 보이며, 이후 해상도 구성에 핵심적인 도구가 된다.
다음으로 저자는 범주 C의 operadic 표현 C = k⟨Mor C⟩을 도입하고, 자유 해상도 C^∞ = (F(F),∂) 를 가정한다. 여기서 F₀는 비동형 사상들의 k‑선형 스팬, F₁은 관계들을 담당하는 생성원이며, ∂는 관계 r₁−r₂ 형태로 정의된다. 특히 바‑코바르(bar‑cobar) 해상도가 구체적인 예로 제시된다.
핵심 결과는 A가 단일 차수·아리티에 집중된 Koszul operad일 때, A와 C^∞ 를 “붙여” 새로운 최소 자유 해상도 D^∞ 를 만들 수 있다는 정리(정리 3.15)이다. 구체적으로, A의 최소 해상도 A^∞ 와 C^∞ 의 자유 해상도를 텐서 곱한 뒤, 적절한 차분 ∂의 주된 부분을