[논문 리뷰] A-infinity Algebras Derived from Associative Algebras with a Non-Derivation Differential

Kaj Börjeson|arXiv (Cornell University)|2013. 04. 23.

Advanced Topics in Algebra참고 문헌 3인용 수 3

한 줄 요약

이 논문은 $A_\infty$-구조를 분할된 결합 대수에 도입하며, 이 대수는 degree $+1$ 미분 $\Delta$를 지니고 있으나 반드시 도함수일 필요는 없다. 이 $\Delta$가 곱과 가환하지 않는 정도를 측정한다. 주요 기여는 비가환 BV-대수의 일반화로서, $\Delta$가 결합 대수의 순서 2를 가질 경우, degree $+1$의 엄밀히 결합적인 곱이 존재하며 원래 곱과 호환됨을 보여주는 것이다. 이는 Hochschild 코hom로지와 바 복합체의 구성과 일반화된다.

ABSTRACT

Given an associative graded algebra equipped with a degree +1 differential we define an A-infinity structure that measures the failure of the differential to be a derivation. This can be seen as a non-commutative analog of generalized BV-algebras. In that spirit we introduce a notion of associative order for the differential and prove that it satisfies properties similar to the commutative case. In particular when it has associative order 2 the new product is a strictly associative product of degree +1 and there is a compatibility between the products, similar to ordinary BV-algebras. We consider several examples of structures obtained in this way. In particular we obtain an A-infinity structure on the bar complex of an A-infinity algebra that is strictly associative if the original algebra is strictly associative. We also introduce strictly associative degree +1 products for any degree +1 action on a graded algebra. Moreover, an A-infinity structure is constructed on the Hochschild cocomplex of an associative algebra with a non-degenerate inner product by using Connes' B-operator.

연구 동기 및 목표

• 분할된 결합 대수에 degree $+1$ 미분 $\Delta$를 지닌 $A_\infty$-구조를 정의하는 것.
• 비가환 설정에서 $\Delta$의 순서 개념을 일반화하는 개념을 도입하는 것, 이는 일반화된 BV-대수의 순서 개념을 일반화한다.
• 원래 곱과 새로운 degree $+1$ 곱 사이의 호환성을 $\Delta$가 결합 대수의 순서 2를 가질 경우 확립하는 것.
• 이 구성이 바 복합체의 $A_\infty$-대수와 Hochschild 코복합체에 Connes의 $B$-연산자를 적용한 경우에 적용 가능한지 확인하는 것.
• Hochschild 코hom로지에 적용했을 때, 결과로 얻어진 $A_\infty$-구조가 $m_2$를 통해 기저의 Gerstenhaber 괄호를 부호를 제외하고 유도함을 보이는 것.

제안 방법

• $\Delta$와 결합 곱을 사용하여 $A_\infty$-연산 $m_n$을 정의하며, $m_n$은 $\Delta$가 도함수로 작동하지 않을 때의 실패를 측정한다.
• 복합체의 대칭 모나드 범주에서의 Koszul 부호 규칙을 사용하여 연산의 분할된 부호를 처리한다.
• $A_\infty$-대수의 바 복합체에 $A_\infty$-구조를 구성하며, 원래 대수가 엄밀히 결합적일 경우 이것이 엄밀히 결합적임을 보인다.
• 유한 차원 결합 대수에 비퇴화된 $\mathrm{G}$-불변 내적을 지닌 Hochschild 코복합체에 이 구성 적용.
• 내적을 사용하여 Connes의 $B$-연산자를 코복합체 위의 degree $+1$ 미분으로 쌍대화한 후 일반적 구성 적용.
• 결과로 얻어진 코hom로지의 $A_\infty$-구조가 $m_1 = \Delta$이고 $m_2$가 부호를 제외하고 Gerstenhaber 괄호와 같음을 증명한다.

실험 결과

연구 질문

• RQ1 degree $+1$ 미분 $\Delta$를 지닌 분할된 결합 대수에 대해, $\Delta$가 도함수일 필요 없이 $A_\infty$-구조를 어떻게 정의할 수 있는가?
• RQ2 비가환 설정에서 $\Delta$의 순서 개념을 어떻게 일반화할 수 있으며, 이는 고차 $A_\infty$-연산의 소멸과 어떤 관련이 있는가?
• RQ3 $\Delta$가 결합 대수의 순서 2를 가질 경우 원래 결합 곱과 새로운 degree $+1$ 곱 사이에 어떤 호환 조건이 발생하는가?
• RQ4 이 구성은 $A_\infty$-대수의 바 복합체에 적용 가능한가, 그리고 어떤 구조를 유도하는가?
• RQ5 이 구성이 Connes의 $B$-연산자를 지닌 코복합체에 적용되었을 때, Hochschild 코hom로지에 Gerstenhaber 괄호를 유도하는가?

주요 결과

• $A_\infty$-연산 $m_n$은 비가환 대수로의 Koszul 계층의 일반화로서, $\Delta$가 도함수로 작동하지 않을 때의 실패를 측정한다.
• $\Delta$가 결합 대수의 순서 2를 가질 경우, $m_2$는 degree $+1$의 엄밀히 결합적인 곱이 되며, 원래 곱과의 호환성이 존재한다.
• 바 복합체의 $A_\infty$-대수에 대해 이 구성은 degree $+1$의 엄밀히 결합적인 곱을 유도하며, 원래 대수가 엄밀히 결합적일 경우 이것이 엄밀히 결합적임을 보인다.
• 비퇴화된 $\mathrm{G}$-불변 내적을 지닌 Hochschild 코복합체에 대해, Connes의 $B$-연산자에 의해 유도된 $A_\infty$-구조는 $m_2$가 부호를 제외하고 Gerstenhaber 괄호와 같다.
• $A_\infty$-구조는 코hom로지에서 잘 정의되어 있으며, 표준적인 Gerstenhaber 괄호를 유도함으로써 변형 이론에서 알려진 구조와의 일관성을 확인한다.
• 이 구성은 호모로지적 분할 설정에서 유효하며, $C^\bullet(A,A)[-1]$에 유도된 $A_\infty$-구조는 Hochschild 코boundary와 호환된다.