[논문 리뷰] Twisting structures and strongly homotopy morphisms

Kathryn Hess, Jonathan Scott|arXiv (Cornell University)|2010. 07. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 5

한 줄 요약

이 논문은 분할별로 유한 생성 프로젝티브 체인 복합체에서 작용하는 옵레라드의 대수 간 강한 호모토피(Strongly Homotopy, SH) 준동형사상들을 매개화하는 co-ring을 구성하기 위해 비틀림 구조를 사용하는 일반적인 프레임워크를 제안한다. 주요 기여는 $\Pi$-co-ring과 관련된 $g: \mathscr{Q} \to \mathbf{B}\mathscr{P}$의 형태를 띤 협업자(코옵레라드)의 준동형사상에 대해, 그 Kleisli 범주가 $\Pi$-대수와 그들의 SH 준동형사상의 범주와 동형임을 보여주는 것이다. 이는 바르, 코바르, 코즐러의 구성들을 하나의 옵레라드적 프레임워크로 통합한다.

ABSTRACT

In an application of the notion of twisting structures introduced by Hess and Lack, we define twisted composition products of symmetric sequences of chain complexes that are degreewise projective and finitely generated. Let Q be a cooperad and let BP be the bar construction on the operad P. To each morphism of cooperads g from Q to BP is associated a P-co-ring, K(g), which generalizes the two-sided Koszul and bar constructions. When the co-unit from K(g) to P is a quasi-isomorphism, we show that the Kleisli category for K(g) is isomorphic to the category of P-algebras and of their morphisms up to strong homotopy, and we give the classifying morphisms for both strict and homotopy P-algebras. Parametrized morphisms of (co)associative chain (co)algebras up to strong homotopy are also introduced and studied, and a general existence theorem is proved. In the appendix, we study the particular case of the two-sided Koszul resolution of the associative operad.

연구 동기 및 목표

• 분할별로 유한 생성 프로젝티브 체인 복합체의 범주에서 옵레라드의 대수 간 강한 호모토피 준동형사상을 분류하기 위한 일반적인 옵레라드적 프레임워크를 개발하는 것.
• 협업자(코옵레라드)의 준동형사상 $g: \mathscr{Q} \to \mathbf{B}\mathscr{P}$에 관련된 새로운 co-ring 구조인 $K(g)$를 통해 이중 코즐러 및 바르 구성의 일반화를 시도하는 것.
• co-ring $K(g)$의 Kleisli 범주가 $\mathscr{P}$-대수와 그들의 SH 준동형사상의 범주와 동형임을 보이는 것. 이는 $K(g) \to \mathscr{P}$의 코이소모르피즘(counit)이 성립할 조건에서 성립한다.
• 결합된 SH 준동형사상의 존재 정리를 확보하기 위해 결합된 연관 대수와 코결합 코알제브라에 대한 이론을 확장하는 것.

제안 방법

• 논문은 체인 복합체의 대칭 시퀀스에 대한 비틀림 구조를 사용하여, 고전적 비틀림 코체인 구성의 일반화인 비틀림 조합 곱을 정의한다.
• 옵레라드 $\mathscr{P}$의 바 구성 $\mathbf{B}\mathscr{P}$에 대해 준동형사상 $g: \mathscr{Q} \to \mathbf{B}\mathscr{P}$로부터 $\mathscr{P}$-co-ring $K(g)$를 구성한다.
• 이 co-ring $K(g)$는 $\mathscr{P}$-대수의 범주 위에 comonad을 유도하며, 이에 따라 유도된 Kleisli 범주는 SH 준동형사상을 매개화한다.
• 이 구성은 코즐러 옵레라드 $\mathscr{P}$의 이중 코즐러 해상 $K(\mathscr{P})$에 적용되며, 자연스럽게 $\mathscr{P}$-co-ring을 형성함을 보여준다.
• $\mathscr{P}_{\infty}$-대수의 경우, $\mathbf{\Omega}\mathscr{P}^{\bot}$의 해상 $K'(\mathscr{P})$를 구성하며, 이는 $\mathbf{\Omega}\mathscr{P}^{\bot}$-co-ring을 형성하고, 그 Kleisli 범주는 $\mathscr{P}_{\infty}$-대수와 그들의 SH 준동형사상의 범주와 동형임을 보여준다.
• 논문은 필터링된 부분복합체 위에서의 사상의 자연스러운 확장을 이용하여 약한 호모토피성과 자연성을 활용함으로써, 결합된 SH 준동형사상의 존재 정리를 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 $\mathscr{P}$-대수 간 강한 호모토피 준동형사상의 개념을 옵레라드적 구조를 통해 체계적으로 매개화할 수 있는가?
• RQ2 준동형사상 $g: \mathscr{Q} \to \mathbf{B}\mathscr{P}$에 관련된 co-ring $K(g)$는 SH 준동형사상을 분류하는 데 어떤 역할을 하는가?
• RQ3 Kleisli 범주 $K(g)$가 $\mathscr{P}$-대수와 그들의 SH 준동형사상의 범주와 동형이 되는 조건은 무엇인가?
• RQ4 이 프레임워크는 연관 대수와 코연관 코알제브라의 결합된 SH 준동형사상으로 확장될 수 있으며, 이러한 구조의 존재를 보장하는 조건은 무엇인가?
• RQ5 연관 옵레라드 $\mathscr{A}$의 이중 코즐러 해상, 즉 알렉산더-휴이트니 co-ring으로 알려진 것은 이 일반적인 co-ring과 Kleisli 범주 프레임워크에 어떻게 통합되는가?

주요 결과

• 코즐러 옵레라드 $\mathscr{P}$의 이중 코즐러 해상 $K(\mathscr{P})$는 자연스럽게 $\mathscr{P}$-co-ring을 형성하며, $\mathbf{dgProj}$ 내의 $\mathscr{P}$-대수의 범주에 comonad을 유도한다.
• $K(\mathscr{P})$의 Kleisli 범주는 $\mathscr{P}$-대수와 그들의 강한 호모토피 준동형사상의 범주와 동형이다.
• $\mathscr{P}_{\infty}$-대수의 경우, $\mathbf{\Omega}\mathscr{P}^{\bot}$의 해상 $K'(\mathscr{P})$는 $\mathbf{\Omega}\mathscr{P}^{\bot}$-co-ring을 형성하며, 그 Kleisli 범주는 $\mathscr{P}_{\infty}$-대수와 그들의 SH 준동형사상의 범주와 동형이다.
• 표준 준동형사상 $\mathscr{A}^{\perp} \to \mathbf{B}\mathscr{A}$에 관련된 co-ring은 알렉산더-휴이트니 co-ring이며, 이는 연관 옵레라드의 이중 코즐러 해상을 실현한다.
• 논문은 약한 호모토피성과 자연성을 활용하여 필터링된 부분복합체 위에서의 사상 확장을 구성함으로써, 연관 대수와 코연관 코알제브라의 결합된 SH 준동형사상에 대한 일반적인 존재 정리를 확립한다.
• 필터링 수준에 대한 유도를 통한 사상 $\hat{\tau}$의 구성과 약한 호모토피 해상의 사용은 자연성과 미분형식과의 호환성을 보장한다.