[논문 리뷰] Multibraces on the Hochschild complex

Füsun Akman|ArXiv.org|1997. 02. 07.

Advanced Algebra and Geometry참고 문헌 16인용 수 4

한 줄 요약

이 논문은 Hochschild 복합체에 일반화된 다중브레이스 연산을 도입하여, 결합법칙, 리 대수, Batalin-Vilkovisky 대수와 같은 대수적 구조에서의 부호 모호성을 해결한다. 또한 호모토피 리 대수에 대한 새로운 마스터 항등식을 수립하고, 새로운 형식론을 통해 고차 미분 연산자를 정의함으로써, 위상수학적 정점 연산 대수에 대한 대수적 프레임워크를 발전시킨다.

ABSTRACT

We generalize the coupled braces {x}{y} of Gerstenhaber and {x}{y,...,z} of Getzler depicting compositions of multilinear maps in the Hochschild complex C(A)=Hom(TA;A) of a graded vector space A to expressions of the form {x,...,y}...{z,...,w} on the extended space Hom(TA;TA), and clarify many of the existing sign conventions that show up in the algebra of mathematical physics (namely in associative and Lie algebras, Batalin-Vilkovisky algebras, homotopy associative and homotopy Lie algebras). As a result, we introduce a new variant of the master identity for homotopy Lie algebras. We also comment on the bialgebra cohomology differential of Gerstenhaber and Schack, and define multilinear higher order differential operators with respect to multilinear maps using the new language. The continuation of this work will be on the various homotopy structures on a topological vertex operator algebra, as introduced by Kimura, Voronov, and Zuckerman.

연구 동기 및 목표

• 수학적 물리학의 대수 이론에서 오랫동안 남아 있던 부호 규칙 문제를 해결하는 것, 특히 Hochschild 코homology와 다중선형 사상에서의 문제를 다루는 것.
• Gerstenhaber의 브레이스와 Getzler의 다중브레이스를 Hom(TA;A)에서 Hom(TA;TA)로 확장하여 더 광범위한 일반성을 확보하는 것.
• 통일된 다중브레이스 형식론을 통해 호모토피 결합법칙 대수와 호모토피 리 대수의 대수적 구조를 명확히 하는 것.
• Kimura, Voronov, Zuckerman가 시작한 바탕으로, 위상수학적 정점 연산 대수에서의 호모토피 구조를 연구하기 위한 기초를 마련하는 것.
• 새로운 다중브레이스 형식론을 사용하여 다중선형 사상에 대한 고차 미분 연산자를 일관적으로 정의하는 것.

제안 방법

• 표준 브레이스 {x}{y}와 다중브레이스 {x}{y,...,z}를 Hom(TA;TA) 공간에서의 표현 {x,...,y}...{z,...,w}로 일반화한다.
• 기하학적 텐서 대수와 Koszul 부호 규칙을 사용하여 다중브레이스 연산에 대한 일관된 부호 규칙을 도입한다.
• 새로운 다중브레이스 구조를 사용하여 호모토피 리 대수에 대한 마스터 항등식을 유도하고, L∞-대수의 공리계와의 일관성을 보여준다.
• 이 형식론을 사용하여 Gerstenhaber와 Schack의 대형대수 코homology 미분을 새로운 언어로 재해석한다.
• 다중브레이스 연산을 일반화하여 다중선형 사상에 대한 다중선형 고차 미분 연산자를 정의한다.

실험 결과

연구 질문

• RQ1 Hochschild 코homology에서의 표준 브레이스와 다중브레이스는 어떻게 전체 텐서 대수 Hom(TA;TA)에서 작용하도록 일반화될 수 있는가? (단지 Hom(TA;A)에서가 아니라.)
• RQ2 기하학적 벡터 공간과 결합법칙/리 대수 구조의 맥락에서 다중브레이스 연산에 대한 올바른 부호 규칙은 무엇인가?
• RQ3 일반화된 다중브레이스 형식론을 사용하여 호모토피 리 대수에 대한 새로운 마스터 항등식을 도출할 수 있는가?
• RQ4 새로운 형식론은 Gerstenhaber와 Schack의 대형대수 코호몰로지 미분을 어떻게 명확히 하거나 재구성하는가?
• RQ5 Hochschild 복합체에서 새로운 다중브레이스 연산을 사용하여 다중선형 사상에 대한 고차 미분 연산자를 일관되게 정의할 수 있는가?

주요 결과

• 논문은 Hom(TA;TA)에서 브레이스를 다중브레이스로 일반화하여 다중선형 연산을 위한 일관되고 통합된 프레임워크를 제공한다.
• 호모토피 리 대수에 대한 새로운 마스터 항등식이 도출되었으며, 이는 L∞-대수의 구조와 호환됨을 보였다.
• 문헌에서 오랫동안 남아 있던 Batalin-Vilkovisky 대수와 호모토피 대수 이론에서의 부호 모호성을 이 형식론이 해결하였다.
• Gerstenhaber와 Schack의 대형대수 코호몰로지 미분은 새로운 다중브레이스 언어를 사용하여 재해석되었으며, 그 대수적 기원이 명확히 드러났다.
• 다중브레이스 형식론을 사용하여 다중선형 사상에 대한 고차 미분 연산자가 정의되었으며, 고전적 미분 연산자 이론이 확장되었다.