[논문 리뷰] Infinity-Inner-Products on A-Infinity-Algebras

Thomas Tradler|ArXiv.org|2001. 08. 03.

Advanced Topics in Algebra참고 문헌 8인용 수 27

한 줄 요약

이 논문은 A-∞ 대수에서의 무한-내적을 A-∞ 이중모듈러 맵으로서 정의하고, Poincaré 대칭성의 호모토피적 구조를 코딩하는 그래프 복합체를 구성한다. 주요 기여는 A-∞ 대수와 $∞$-내적의 프레임워크를 통해 Hochschild 코homology의 BV-대수 구조를 연결하는 것으로, 호모토피 이론적 방법을 통해 매니폴드의 체인 수준에서 Poincaré 대칭성을 실현한다.

ABSTRACT

In this paper the Hochschild-cochain-complex of an A-infinity-algebra A with values in an A-infinity-bimodule M over A and maps between them is defined. Then, an infinity-inner-product on A is defined to be an A-infinity-bimodule-map between A and its dual A*. There is a graph-complex associated to A-infinity-algebras with infinity-inner-product.

연구 동기 및 목표

• A-∞ 대수에서 내적의 호모토피 일반화를 A-∞ 이중모듈러 맵을 통해 정의한다.
• A-∞ 대수에 $∞$-내적을 갖춘 그래프 복합체를 구성한다.
• $∞$-내적과 Hochschild 코homology의 BV-대수 구조 사이의 연결 고리를 확립한다.
• 코chain 모델을 통해 컴act 매니폴드에 대한 Poincaré 대칭성을 체인 수준에서 실현한다.
• 고전적 내적을 보존하는 사상의 $∞$-설정으로의 일반화를 통해 호모토피 불변의 구조를 허용한다.

제안 방법

• A-∞ 대수의 Hochschild 코체인 복합체를 bar 코알제브라 $T(sA)$ 위의 coderivation을 사용하여 정의한다.
• 이중코알제브라 $T^{sM}(sA)$ 위의 coderivation을 통해 A-∞ 이중모듈러를 정의하고, $(D^M)^2 = 0$을 보장한다.
• 이중모듈러 간의 coderivation을 보존하는 맵으로서 A-∞ 이중모듈러 맵을 정의하고, Hochschild 코체인 복합체에 체인 맵을 유도한다.
• $∞$-내적을 A-∞ 이중모듈러 맵으로서 $A$에서 그 이중 $A^*$로의 사상으로 정의한다.
• $∞$-내적의 구조에서 그래프 복합체를 구성하며, 그림은 고차원 연산과 관계를 나타낸다.
• 그래프 복합체의 미분이 $d^2 = 0$을 만족함을 보여, 다면체 구조를 코딩하는 경계가 없는 복합체를 확보한다.

실험 결과

연구 질문

• RQ1 어떻게 A-∞ 대수의 맥락에서 고차 호모토피 일관성의 개념을 내적의 일반화로 확장할 수 있는가?
• RQ2 A-∞ 대수의 이중에 $∞$-내적을 갖춘 Hochschild 코체인 복합체의 구조는 어떠한가?
• RQ3 $∞$-내적은 어떻게 Poincaré 대칭성을 체인 수준에서 코딩하는 그래프 복합체를 생성하는가?
• RQ4 콤팩트 매니폴드의 코체인 대수에 존재하는 $∞$-내적의 구조는 그 Hochschild 코homology에서 BV-대수의 구조를 실현할 수 있는가?
• RQ5 A-∞ 대수 간의 사상 중 $∞$-내적을 호모토피에 대해 보존하는 올바른 개념은 무엇인가?

주요 결과

• $∞$-내적은 A-∞ 이중모듈러 맵으로서 A-∞ 대수에서 그 이중으로의 사상으로 정의되며, 호모토피 일관성의 구조를 통해 고전적 내적을 일반화한다.
• $∞$-내적과 관련된 그래프 복합체의 미분 $d$는 $d^2 = 0$을 만족하여 잘 정의된 코homological 구조를 보장한다.
• $k+l=2$일 때, $<a,b,c>_{k,l}$의 경계는 다섯 또는 여섯 개의 내적 다이어그램의 합으로 표현되며, $d^2=0$에 의한 항의 상쇄는 다면체 복합체를 이끈다.
• 콤팩트 매니폴드의 코체인 대수에 존재하는 $∞$-내적의 구조는 그 Hochschild 코homology에서 BV-대수의 구조를 유도하며, 체인 수준에서 Poincaré 대칭성을 실현한다.
• $∞$-내적의 구조는 호모토피 동치에 대해 보존되며, 이는 이중성의 호모토피 불변 실현을 시사한다.
• $∞$-내적의 프레임워크는 Hochschild 코homology에서 Gerstenhaber 괄호와 Connes의 $B$-연산자의 호모토피 이론적 해석을 가능하게 한다.