[논문 리뷰] Homotopy Diagrams of Algebras

Martin Markl|ArXiv.org|2001. 03. 07.

Homotopy and Cohomology in Algebraic Topology인용 수 23

한 줄 요약

이 논문은 강한 호모토피 대수의 호모토피 다이어그램을 분류하는 색이 칠해진 오페라드에 대해 명시적이고 최소의 코프리프레이션 모델을 구축하며, 이를 통해 호모모피즘과 강한 호모토피 동치를 통한 호모토피의 엄밀한 대수적 기술을 가능하게 한다. 주요 기여는 오페라드적 분해를 통한 구조화된 체인 복합체에서의 호모로지적 편미분에 대한 개념적이고 계산 가능한 프레임워크를 제공하는 것이다.

ABSTRACT

In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant operads and on the principle that algebras over cofibrant operads are homotopy invariant. In our approach, algebraic models for colored operads describing diagrams of homomorphisms played an important role. The aim of this paper is to give an explicit description of these models. A possible application is an appropriate formulation of the `ideal' homological perturbation lemma for chain complexes with algebraic structures. Our results also provide a conceptual approach to `homotopies through homomorphism' for strongly homotopy algebras. We also argue that strongly homotopy algebras form a honest (not only weak Kan) category. The paper is a continuation of our program to translate the famous book "M. Boardman, R. Vogt: Homotopy Invariant Algebraic Structures on Topological Spaces" to algebra.

연구 동기 및 목표

• 강한 호모토피 대수의 다이어그램을 묘사하는 색이 칠해진 오페라드에 대해 명시적이고 계산 가능한 최소의 코프리프레이션 모델을 제공하는 것.
• 오페라드적 분해를 사용하여 강한 호모토피 대수 간의 호모모피즘을 통한 호모토피의 개념을 체계화하는 것.
• 제안된 프레임워크 하에서 강한 호모토피 대수가 진정한 (약한 칸이 아닌) 범주를 이룬다는 것을 확립하는 것.
• 이러한 모델을 통해 고차 대수적 구조를 가진 대수에 대해 호모로지적 편미분 보조정리를 일반화하는 것.
• 호모토피 동치와 편미분 하에서 대수적 구조를 확장하기 위한 개념적 기반을 제공하는 것.

제안 방법

• 강한 호모토피 대수의 $\mathcal{A}$-대수 간 호모모피즘을 분류하는 색이 칠해진 오페라드 $\mathcal{A}_{\mathbf{B} \to \mathbf{W}}$에 대해 최소 모델 $\mathfrak{M}_{\mathbf{B} \to \mathbf{W}}$를 구축한다.
• 코프리프레이션 오페라드의 대수는 호모토피 불변임이라는 원리를 활용하여, 최소 모델을 통해 강한 호모토피 호모모피즘을 표현한다.
• 호모모피즘에 대해 두 개의 독립적인 생성자를 가진 두 번째 모델 $\mathfrak{M}_{{\mathbf{B} \rightrightarrows \mathbf{W}}}$를 도입하여, 호모모피즘을 통한 호모토피를 표현한다.
• 서로 역인 호모모피즘의 오페라드에 대한 최소 모델 $\mathfrak{M}_{\mathrm{Iso}}$를 통해 강한 호모토피 동치를 정의한다.
• 표준적인 호모로지 대수 기법(예: 일반적인 추상 논리)을 적용하여 호모모피즘의 호모토피류에 대한 동치 관계를 증명한다.
• 임의의 다이어그램 $\mathcal{D}$로의 일반화를 위한 추측을 제시하며, $X \times V \sqcup F \sqcup X^F$ 위의 자유 오페라드와 다이어그램의 관계에 대한 교환자와 편미분을 조합한 미분을 갖는 모델 $\mathfrak{M}_{\mathcal{D}}$를 구성한다.

실험 결과

연구 질문

• RQ1 강한 호모토피 대수 간 호모모피즘을 분류하는 색이 칠해진 오페라드에 대해 최소의 코프리프레이션 분해를 명시적으로 어떻게 구성할 수 있는가?
• RQ2 강한 호모토피 대수의 호모모피즘을 통한 호모토피를 분류하는 오페라드적 구조는 무엇인가?
• RQ3 강한 호모토피 대수의 강한 호모토피 동치는 오페라드를 통해 일관된 대수적 및 호모토피적 정의를 가질 수 있는가?
• RQ4 고차 대수적 구조(예: $A(\infty)$-구조)를 가진 체인 복합체에 대해 호모로지적 편미분 보조정리는 어떻게 일반화할 수 있는가?
• RQ5 임의의 다이어그램 범주에 대해 강한 호모토피 대수의 다이어그램을 위한 일반적인 오페라드 모델이 존재하는가?

주요 결과

• 최소 모델 $\mathfrak{M}_{\mathbf{B} \to \mathbf{W}}$는 강한 호모토피 대수 간 강한 호모토피 호모모피즘을 완전히 대수적으로 기술한다.
• 모델 $\mathfrak{M}_{{\mathbf{B} \rightrightarrows \mathbf{W}}}$는 호모모피즘을 통한 호모토피를 표현하며, 관계 $\mathbf{P} \sim \mathbf{Q}$는 동치 관계를 이룬다.
• 강한 호모토피 대수의 강한 호모토피 동치는 최소 모델 $\mathfrak{M}_{\mathrm{Iso}}$를 통해 정의되며, 이러한 동치는 진정한 범주를 이룬다.
• 논문은 강한 호모토피 대수와 그들의 강한 호모토피 호모모피즘으로 구성된 범주가 잘 정의되어 있으며, 약한 칸이 아니라는 것을 증명한다.
• 이러한 구성은 편미분 하에서 대수적 구조를 확장하기 위한 개념적 프레임워크를 제공하며, 구조화된 체인 복합체에 대한 '이deal 편미분 보조정리'의 잠재적 기반을 제공한다.
• 임의의 다이어그램 $\mathcal{D}$로의 모델 일반화를 추측적으로 제안하며, $\mathfrak{M}_{\mathcal{D}}$는 $X \times V \sqcup F \sqcup X^F$ 위의 자유 오페라드와 다이어그램의 관계에 대한 교환자와 편미분을 조합한 미분을 갖는다.