[논문 리뷰] Homotopy Algebras via Resolutions of Operads

Martin Markl|ArXiv.org|1998. 08. 23.

Advanced Topics in Algebra참고 문헌 13인용 수 18

한 줄 요약

이 논문은 작동의 최소 모델을 사용하여 호모토피 대수의 체계적 프레임워크를 제안하며, 호모토피 P-대수는 주어진 작동 P의 최소 모델 위의 미분가환대수임을 입증한다. 주요 기여는 호모토피 안정성 원리이다: 기저 복합체 간의 호모로지 동형사상은 호모토피 P-대수 사상으로 올라갈 수 있으며, 이는 A(∞)-대수에 대한 Kadeishvili의 정리의 일반화이다.

ABSTRACT

The aim of this brief note is mainly to advocate our approach to homotopy algebras based on the minimal model of an operad. Our exposition is motivated by two examples which we discuss very explicitly - the example of strongly homotopy associative algebras and the example of strongly homotopy Lie algebras. We then indicate what must be proved in order to show that these homotopy algebraic structures are really `stable under a homotopy.' The paper is based on a talk given by the author on June 16, 1998, at University of Osnabrueck, Germany.

연구 동기 및 목표

• 호모토피 대수를 작동 P의 최소 모델 위의 대수로 체계화하여 A(∞)-대수 및 관련 구조를 위한 통합 프레임워크를 제공한다.
• 기저 복합체의 호모토피 동치에 대한 호모토피 P-대수 사상의 안정성을 입증함으로써, 호모토피 P-대수 사상의 개념을 정당화한다.
• Kadeishvili의 정리를 호모토피 대수의 일반적 설정으로 확장하여, 체인 대수의 호모로지가 호환 가능한 A(∞)-구조를 가짐을 보인다.
• 호모토피 P-대수의 범주에 대한 기본 성질을 확립하며, 호모로지 동형사상이 고차 대수적 구조로 올라가는 것을 다룬다.
• 호모토피 대수의 호모토피 이론에 대한 개념적 기초를 제공하며, A(∞)-대수와 Koszul 작동에 적용 가능하다.

제안 방법

• 호모토피 P-대수를 작동 P의 최소 모델에 대한 작용을 지닌 미분가환벡터공간으로 정의한다.
• 미분가환작동에 대한 최소 모델의 존재성과 유일성을 이용하여 임의의 작동 P에 대한 표준 해소를 구성한다.
• 최소 모델을 이중첨자 자유작동으로 표현하며, 미분이 고차 호모토피 호환성 자료를 코딩한다.
• 기저 복합체 간의 호모로지 동형사상 g: (A,∂) → (B,∂)를 B 위에 호모토피 P-대수 구조와 f: A → B 이며 f₁ = g 를 만족하는 호모토피 P-대수 사상으로 올린다.
• 퍼티어베이션 보조정리 및 관련 호모로지 기법을 적용하여, 호모토피 동치에 대한 호모토피 대수 구조의 안정성을 증명한다.
• A(∞)-대수의 공리가 작동 Ass의 최소 모델에서 자연스럽게 유도됨을 검증한다. 여기서 결합법칙 관계는 미분에 의해 코딩된다.

실험 결과

연구 질문

• RQ1 호모토피 대수는 작동 P의 최소 모델을 통해 체계적으로 정의될 수 있으며, 이 프레임워크는 A(∞)-대수와 같은 기존 구성들을 통합하는가?
• RQ2 두 호모토피 P-대수의 기저 복합체 간의 호모로지 동형사상이 호모토피 P-대수 사상으로 올라갈 수 있는 조건은 무엇인가?
• RQ3 작동의 최소 모델이 체인 대수의 호모로지에 호환 가능한 A(∞)-구조를 제공하는 표준적인 방법을 제공하는가?
• RQ4 호모토피 P-대수 구조는 기저의 미분가환벡터공간의 호모토피 동치에 대해 어느 정도 안정적인가?
• RQ5 A(∞)-대수의 공리는 어떻게 작동 Ass의 최소 모델에서 유도되는가?

주요 결과

• 호모토피 P-대수는 작동 P의 최소 모델 위의 미분가환대수로 정의되며, 이는 표준적이고 함의적인 구성이다.
• 미분가환작동에 대한 최소 모델은 존재하며, 동형사상 이외에 유일하므로, 작동의 체계적 해소가 가능하다.
• 임의의 체인 대수 (C,∂)에 대해 호모로지 H(C)는 µ₂ 가 C의 곱에 의해 유도되는 A(∞)-구조를 지닌다. 이는 Kadeishvili의 정리를 일반화한다.
• 호모토피 P-대수의 기저 복합체 간의 호모로지 동형사상 g: (A,∂) → (B,∂)는 항상 f: A → B 이며 f₁ = g 를 만족하는 호모토피 P-대수 사상으로 올라간다.
• 만약 f: A → B 가 호모토피 P-대수 사상이며 첫 번째 성분 f₁ 이 호모로지 동형사상이라면, 임의의 호모로지 역원 g: B → A 는 호모토피 P-대수 구조를 지닌다.
• 이 프레임워크는 Koszul 대칭성과 호환되며, Koszul 이차 작동에 대해 Ginzburg-Kapranov 정의를 복원한다.