[논문 리뷰] On Some Generalizations of Batalin-Vilkovisky Algebras

Füsun Akman|arXiv (Cornell University)|1995. 06. 29.

Advanced Topics in Algebra인용 수 11

한 줄 요약

이 논문은 비가환, 비결합, 슈퍼대수에 대한 미분 연산자의 개념을 확장함으로써 Batalin-Vilkovisky (BV) 대수를 일반화한다. 특히 정점 연산자 대수를 포함한 비가환, 비결합 슈퍼대수에 대해 다루며, (r+1)-형식 조건을 통해 고차 미분 연산자를 정의한다. 기존의 완전한 가환성 또는 결합법칙이 없더라도, 기약형이 0인 홀수 차수의 두 번째 차수 연산자가 존재할 경우, 많은 BV 대수 성질이 '정확히' 유지됨을 보이며, Leibniz 대수와 위상적 칼라 대수와의 연결 고리를 밝힌다.

ABSTRACT

We define the concept of higher order differential operators on a general noncommutative, nonassociative superalgebra A, and show that a vertex operator superalgebra has plenty of them, namely modes of vertex operators. A linear operator Δis a differential operator of order at most r if an inductively defined (r+1)-form Φ_Δ^{r+1} is identically zero. When A is supercommutative and associative and Δis an odd, square zero, second order differential operator on A, Φ_Δ^2 defines a "Batalin-Vilkovisky algebra" structure on A. We generalize this notion to any superalgebra with an odd, square zero, second order differential operator, and show that all properties of the classical BV bracket but one continue to hold "on the nose". We also point out connections to Leibniz algebras and the noncommutative homology theory of Loday. Taking the generalization process one step further, we remove all conditions on Δto examine the changes in the basic properties of the bracket. We see that a topological chiral algebra with a mild restriction yields a classical BV algebra in the cohomology. Finally, we investigate the quantum BV master equation and relate it to deformations of differential graded algebras.

연구 동기 및 목표

• 가환, 결합적인 설정을 넘어서 일반적인 비가환, 비결합 슈퍼대수에 대해 Batalin-Vilkovisky 대수의 개념을 확장하는 것.
• 인정된 (r+1)-형식 조건을 통해 반복적으로 구성된 방법을 사용하여 이러한 대수에서 고차 미분 연산자를 정의하는 것.
• 기초 대수가 가환성 또는 결합법칙을 갖지 않을 경우에도 고전적 BV 대수 성질이 어떻게 유지되는지 조사하는 것.
• 일반화된 BV 구조와 Leibniz 대수, 비가환 호모로지 이론 간의 관계를 탐색하는 것.
• 위상적 칼라 대수와 양자 BV 마스터 방정식이 미분가환 대수의 변형 이론에서 수행하는 역할을 조사하는 것.

제안 방법

• 슈퍼대수 A 위의 선형 연산자 Δ에 대해, 차수 최대 r인 미분 연산자를 정의하기 위해 (r+1)-형식 ΦΔ^{r+1}의 재귀적 구성 방법을 제안한다.
• 정점 연산자 슈퍼대수에 이 프레임워크를 적용하여, 정점 연산자의 모드가 자연스럽게 고차 미분 연산자를 유도함을 보인다.
• 비가환 또는 비결합일 수 있는 슈퍼대수 A 위에 기약형이 0인 홀수 차수의 두 번째 차수 연산자 Δ가 존재할 경우, 일반화된 BV 구조를 정의한다.
• 일반화된 조건 하에서 모든 표준적인 BV 괄호 성질—차수 반대칭성, 호모토피를 통한 자코비 항등식, 곱셈과의 호환성—이 정확히 유지됨을 보여준다.
• 약간의 제약 조건 하에서 위상적 칼라 대수의 호모로지 분석을 수행하여, 그들이 고전적 BV 대수를 유도함을 보인다.
• 일반화된 연산자 프레임워크를 사용하여 양자 BV 마스터 방정식이 미분가환 대수의 변형을 어떻게 기술하는지 연결한다.

실험 결과

연구 질문

• RQ1 비가환, 비결합 슈퍼대수에 대해 미분 연산자의 개념을 어떻게 일반화할 수 있는가?
• RQ2 기초 대수가 가환성 또는 결합법칙을 갖지 않을 경우, 고전적 Batalin-Vilkovisky 괄호의 어떤 성질이 유지되는가?
• RQ3 정점 연산자 대수의 모드가 고차 미분 연산자를 어떻게 생성하는가?
• RQ4 일반화된 BV 구조는 Leibniz 대수와 비가환 호모로지 이론과 어떻게 관련되어 있는가?
• RQ5 이 일반화된 설정에서 양자 BV 마스터 방정식은 미분가환 대수의 변형을 어떻게 포함하고 있는가?

주요 결과

• (r+1)-형식 ΦΔ^{r+1}이 식별적으로 0이 되는 것은 Δ가 차수 최대 r인 미분 연산자일 때에만 성립함을 보이며, 이를 정확한 특성화로 제공한다.
• Δ가 슈퍼대수 A 위의 기약형이 0인 홀수 차수의 두 번째 차수 미분 연산자일 경우, 유도된 괄호는 고전적 BV 대수 공리계를 모두 만족하며, 유일한 예외가 있을 수 있으나 약간의 조건 하에서는 여전히 성립한다.
• 정점 연산자 슈퍼대수에는 정점 연산자의 모드를 통해 풍부한 고차 미분 연산자가 존재함을 입증하였다.
• 약간의 제약 조건이 있는 위상적 칼라 대수의 호모로지에서 고전적 BV 대수가 유도되며, 이는 BV 구조의 적용 범위를 확장한다.
• 이 일반화된 프레임워크에서 양자 BV 마스터 방정식이 미분가환 대수의 변형을 지배함을 보였다.
• 일반화된 BV 구조는 Loday의 비가환 호모로지 이론을 통해 Leibniz 대수와 깊은 연결 고리를 드러낸다.