[논문 리뷰] Co-rings over operads characterize morphisms

Kathryn Hess, Paul-Eugène Parent외 1명|ArXiv.org|2005. 05. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 11

한 줄 요약

이 논문은 연쇄 복합체의 맵들 사이의 고차 호모토피 구조를 캐릭터라이즈하기 위한 프레임워크로, 작동자에 대한 공환원을 도입한다. 특히, 대칭 수열로 이루어진 연쇄 코알제브라로부터 반자기 공환원을 만드는 분산 함수(functor)를 구성함으로써, 이전에 바르(bar) 및 코바르(cobar) 구성에 의해 정의된 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.

연구 동기 및 목표

• 작동자에 대한 공환원을 사용하여 (코)알제브라 간 맵들의 고차 호모토피 구조를 캐릭터라이즈하는 일반적 프레임워크를 개발하기 위해.
• 이전에 바르 및 코바르 구성에 의존한 바, DASH 및 DCSH의 카테고리들을 순수하게 작동자 이론적으로 기술하기 위해.
• 연쇄 대수나 코알제브라 간 맵들이 바르 또는 코바르 구성으로 올라갈 수 있는 조건을 설정하기 위해.
• 모형의 약한 성질을 사용하여 맵 카테고리에서 고차 호모토피 구조의 존재를 증명하기 위한 기법을 가능하게 하기 위해.
• 연쇄 코알제브라의 대칭 수열에서 유도되는 자연스러운 '분산' 함수를 통해 DASH- 및 DCSH 유형의 구조를 일반화하기 위해.

제안 방법

• 주어진 작동자에 대한 이중 모듈러의 범주에서의 코모노이드로서, 작동자에 대한 공환원을 도입함으로써, 맵들을 매개화하는 '상대적 작동자'로서의 역할을 수행한다.
• 모든 연쇄 코알제브라의 대칭 수열에 대해 A-공환원을 부여하는 분산 함수 Φ를 정의하며, 이는 코알제브라 데이터로부터 반자기 공환원을 생성한다.
• 기본적인 A-공환원 F = Φ(J)를 구성하며, 여기서 J는 작동자 구조에 대한 항등원이며, 기초가 되는 이중 코즈울 해상법으로서의 연쇄 작동자 A의 두 측면 해상법을 갖는다.
• 얻어진 반자기 공환원 F를 사용하여 DASH 및 DCSH의 카테고리를 A-(코)알제브라에 공환원 작용이 있는 것으로 특징짓는다.
• 약한 모형 기법을 적용하여, 연쇄 대수나 코알제브라 간 맵들을 확장하는 자연스럽고 곱셈적인 변환의 존재를 증명한다.
• 코바르 구성에 대한 귀납법을 사용하여 맵을 ΩX에서 Ω²X로 올리며, DCSH 설정에서 고차 호모토피 구조를 가능하게 한다.

실험 결과

연구 질문

• RQ1 작동자에 대한 공환원을 사용하여 (코)알제브라 간 맵들을 어떻게 캐릭터라이즈할 수 있는가? 이는 (코)알제브라를 매개화하는 작동자의 일반화로서의 역할을 한다.
• RQ2 DASH 및 DCSH의 카테고리들이 바르 및 코바르 구성에 의존하지 않고 순수하게 작동자 이론적 공환원으로 기술될 수 있는가?
• RQ3 연쇄 작동자에 대한 두 측면 코즈울 해상법이 DASH- 및 DCSH-맵을 매개화하는 공환원을 구성하는 데 어떤 역할을 하는가?
• RQ4 약한 모형 기법을 사용하여 연쇄 (코)알제브라 간 맵들에 대한 고차 호모토피 구조의 존재를 어떻게 증명할 수 있는가?
• RQ5 분산 함수 Φ를 사용하여 연쇄 코알제브라의 대칭 수열에서 고차 호모토피 맵의 매개화된 가중치를 구성할 수 있는가?

주요 결과

• DASH의 카테고리는 증가된, 연결된 연쇄 작동자 대수의 카테고리로 특징지어지며, 여기서 F는 연쇄 작동자 A의 두 측면 코즈울 해상법으로서의 A-공환원이다.
• DCSH는 유사하게, 코단위가 있고 연결된 코작동자 연쇄 코알제브라의 카테고리로 특징지어지며, 동일한 A-공환원 F의 작용이 있다.
• 분산 함수 Φ는 임의의 연쇄 코알제브라의 대칭 수열 X로부터 반자기 A-공환원 Φ(X)를 생성하며, Φ(J) = F는 DASH 및 DCSH의 핵심 공환원이다.
• 소스가 자유롭고 전역적으로 연결되어 있으며, 타겟이 약한 조건을 만족할 경우, 약한 모형 기법을 통해 체인 맵 τ:UX→UY를 확장하는 자연스럽고 곱셈적인 변환의 존재가 보장된다.
• 코환원 작용에 대한 귀납법을 통해 Ω²X 및 Ω²Y에서 고차 호모토피 구조가 확립되며, s⁻¹τ를 확장하는 맵 Θ:Ω²X→Ω²Y를 얻는다.
• 이 구성은 약한 동치 Ω²C* (EK) → C*(G²EK)가 DCSH 맵으로서 자연스럽게 나타나는 것을 설명하며, 이는 이전의 루프 공간과 유리 호모토피 이론에 대한 결과를 일반화한다.