[논문 리뷰] Bimodules over operads characterize morphisms

Kathryn Hess, Paul-Eugène Parent외 1명|arXiv (Cornell University)|2005. 05. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 1

한 줄 요약

이 논문은 '모르피즘 집합을 '두꺼워지게' 하면서 객체를 유지함으로써 P-(코)대수 간의 사상들을 매개화하는 '상대적 오페라드'로 작용하는 오페라드 위의 코링(co-rings)을 소개한다. '산산이 튀기는'(diffracting) 함자를 통해 체인 코대수에서 A-코링을 구성함으로써, Koszul 해소를 통해 Gugenheim과 Munkholm의 DASH 및 DCSH 범주를 오페라드적 특성화하고, 약한 모델 기법을 통해 고차 호모토피 구조를 가능하게 한다.

ABSTRACT

Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in the category of P-bimodules. The co-ring R induces a natural ``fattening'' of the category of P-(co)algebras, expanding the morphism sets while leaving the objects fixed. Co-rings over operads are thus ``relative operads,'' parametrizing morphisms as operads parametrize (co)algebras. Let A denote the associative operad in the category of chain complexes. We define a ``diffracting'' functor that produces A-co-rings from symmetric sequences of chain coalgebras, leading to a multitude of ``fattened'' categories of (co)associative chain (co)algebras. In particular, we obtain a purely operadic description of the categories DASH and DCSH first defined by Gugenheim and Munkholm, via an A-co-ring that has the two-sided Koszul resolution of A as its underlying A-bimodule. The diffracting functor plays a crucial role in enabling us to prove existence of higher, ``up to homotopy'' structure of morphisms via acyclic models methods. It has already been successfully applied in this sense in a number of recent articles and preprints.

연구 동기 및 목표

• P-(코)대수 간의 사상을 코어링을 통해 표현하는 '상대적 오페라드'로 오페라드 위의 코링을 도입함으로써 오페라드를 일반화하는 것.
• 모르피즘의 구조가 풍부화된 (코)결합적 체인 (코)대수의 범주를 순수하게 오페라드적 프레임워크로 이해하는 것.
• 새로운 '산산이 튀기는'(diffracting) 함자를 통해 체인 코대수의 대칭 수열과 A-코링 사이의 연결 고리를 설정하는 것.
• 약한 모델 기법을 활용하여 모르피즘에 대한 고차 호모토피 구조를 구성할 수 있도록 하는 것.

제안 방법

• 이중 완비성과 닫힘을 갖춘 대칭 모나이드 카테고리 M 위에서 P-코링을 P-양측 모듈러의 코모노이드로 정의한다.
• P-(코)대수의 카테고리에서 모르피즘 집합을 확장하면서도 객체를 고정하는 '두꺼워지게 하기'(fattening) 구조를 도입한다.
• 체인 복합체의 카테고리에서 대칭 수열의 체인 코대수를 A-코링으로 매핑하는 '산산이 튀기는'(diffracting) 함자를 구성한다.
• 결합 오페라드 A의 양측 Koszul 해소를 핵심 A-코링의 A-양측 모듈로 사용한다.
• 약한 모델 기법을 적용하여 모르피즘에 대한 고차 호모토피 구조의 존재를 증명한다.
• 코링의 오페라드적 구조를 활용하여 DASH 및 DCSH 범주를 통일적이고 내재적인 방식으로 기술한다.

실험 결과

연구 질문

• RQ1 P-(코)대수 간의 사상들은 오페라드에 유사한 대수적 구조를 통해 어떻게 매개화될 수 있는가?
• RQ2 체인 코대수의 대칭 수열은 모르피즘 집합을 풍부화하는 코링을 구성하는 데 어떤 역할을 하는가?
• RQ3 DASH 및 DCSH 범주는 연산자 오페라드 위의 코링을 통해 순수하게 오페라드적 언어로 기술될 수 있는가?
• RQ4 산산이 튀기는 함자는 체인 코대수와 A-코링을 어떻게 연결하고 고차 호모토피 구조를 촉진하는가?
• RQ5 약한 모델 기법은 모르피즘에 대한 '호모토피에 의한' 구조를 어떻게 구성하는가?

주요 결과

• 오페라드 위의 코링은 객체를 유지하면서 모르피즘 집합을 두껍게 함으로써 P-(코)대수 간의 사상을 자연스럽게 매개화하는 '상대적 오페라드'로 기능한다.
• 산산이 튀기는 함자는 체인 코대수의 대칭 수열에서 A-코링을 구성함으로써 이러한 구조를 체계적으로 생성하는 방법을 제공한다.
• A-코링의 기초가 되는 A-양측 모듈로 A의 양측 Koszul 해소를 사용할 경우, DASH 및 DCSH 범주에 대한 순수한 오페라드적 기술이 가능해진다.
• 이 구성은 약한 모델 기법을 통해 모르피즘에 대한 고차 호모토피 구조의 존재를 가능하게 한다.
• 이 프레임워크는 이전의 호모로지 대수학적 구성들을 통합하고 일반화하며, 특히 Gugenheim과 Munkholm의 결과들을 포괄한다.
• 이 방법은 파생 대수학과 호모토피 이론에서 모르피즘 범주를 이해하는 데 새로운 오페라드적 시각을 제공한다.