[논문 리뷰] Homotopy Gerstenhaber Structure on Deformation Complex of a Morphism

Yuri I. Manin|arXiv (Cornell University)|2007. 01. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 2

한 줄 요약

이 논문은 연관 대수 간의 사상의 변형 복합체에 G∞-구조의 존재를 증명한다. 이는 B∞-대수를 연관 대수로 확장하여 달성되며, 해당 사상의 변형 복합체에 존재하는 G∞-대수와 그에 대응하는 다이어그램 대수의 복합체에 존재하는 G∞-대수 사이의 준동형성을 증명한다. 또한, 사상의 호크시ลด 복합체에 L∞-구조를 기술한다.

ABSTRACT

G∞ -structure is shown to exist on the deformation complex of a morphism of associative algebras. The main step of the construction is extension of a B∞ -algebra by an associative algebra. Actions of B∞ -algebras on associative and B∞ -algebras are analyzed, extensions of B∞ -algebras by associative and B∞ -algebras, that they act upon, are constructed. The resulting G∞ -algebra on the deformation complex of a morphism is shown to be quasi-isomorphic to the G∞ -algebra on deformation complex of the corresponding diagram algebra. L∞ -structure is described on the Hochschild complex of a morphism.

연구 동기 및 목표

• 연관 대수 간 사상의 변형 복합체에 G∞-구조를 구성하기.
• B∞-대수의 연관 대수 및 B∞-대수 위에서의 작용을 분석하기.
• B∞-대수를 그가 작용하는 연관 대수 및 B∞-대수로 확장하기.
• 사상의 변형 복합체에 존재하는 G∞-대수와 다이어그램 대수의 복합체에 존재하는 G∞-대수 사이의 준동형성을 확립하기.
• 사상의 호크시ลด 복합체에 존재하는 L∞-구조를 기술하기.

제안 방법

• 연관 대수로 B∞-대수를 확장하여 변형 복합체의 구조를 구축하기.
• B∞-대수의 연관 대수 및 B∞-대수 위에서의 작용을 분석하여 일관된 대수적 확장을 가능하게 하기.
• B∞-대수를 그가 작용하는 연관 대수 및 B∞-대수로 확장하여 대수적 일관성을 유지하기.
• 준동형성을 사용하여 사상의 변형 복합체에 존재하는 G∞-대수와 다이어그램 대수의 복합체에 존재하는 G∞-대수를 연결하기.
• 고차 호모토피 연산을 통해 사상의 호크시ลด 복합체에 존재하는 L∞-구조를 기술하기.
• 변형 이론과 호모토피론적 대수 기법을 적용하여 G∞-구조가 변형 이론과 호환되도록 보장하기.

실험 결과

연구 질문

• RQ1 연관 대수 간 사상의 변형 복합체에 G∞-구조가 존재하는가?
• RQ2 변형 이론의 맥락에서 B∞-대수의 연관 대수 및 B∞-대수 위에서의 작용은 어떻게 이루어지는가?
• RQ3 B∞-대수를 그가 작용하는 연관 대수 및 B∞-대수로 일관되게 확장할 수 있는가?
• RQ4 사상의 변형 복합체에 존재하는 G∞-대수와 다이어그램 대수의 복합체에 존재하는 G∞-대수 사이에 준동형성이 존재하는가?
• RQ5 사상의 호크시ลด 복합체에 어떤 L∞-구조가 존재하는가?

주요 결과

• B∞-대수를 연관 대수로 확장하여 연관 대수 간 사상의 변형 복합체에 G∞-구조를 구성하였다.
• B∞-대수의 연관 대수 및 B∞-대수 위에서의 작용을 체계적으로 분석하고 일관된 대수적 확장을 정의하는 데 사용하였다.
• B∞-대수를 그가 작용하는 연관 대수 및 B∞-대수로 확장하는 것을 명시적으로 구성하였으며, 필요한 호모토피 이론적 구조를 유지하였다.
• 사상의 변형 복합체에 존재하는 G∞-대수가 해당 다이어그램 대수의 변형 복합체에 존재하는 G∞-대수와 준동형임을 증명하였다.
• 사상의 호크시ลด 복합체에 존재하는 L∞-구조를 기술하였으며, 이는 변형 이론 프레임워크 내 고차 호모토피 연산과 연결된다.