[논문 리뷰] Deformations of Batalin-Vilkovisky algebras

Olga Kravchenko|ArXiv.org|1999. 03. 31.

Advanced Topics in Algebra참고 문헌 20인용 수 34

한 줄 요약

이 논문은 Batalin–Vilkovisky (BV) 대수를 일반화하여 BV 연산자가 두 번째 차수일 필요가 없도록 조건을 완화함으로써, 고차 미분 연산자(차수 >2)가 기본적인 등급 교환 대수 위에 L∞-대수의 구조를 유도함을 보여준다. 주요 기여는 '호모토피를 고려한 BV 대수'의 정의와, Kontsevich의 형식성 정리가 BV∞ 수준으로 확장될 수 있다는 추측을 제기한 것으로, Calabi–Yau 다양체에서 다익선형 연산자와 다익선형 장의 사이에 준동형사상이 존재함을 시사한다.

ABSTRACT

We show that a graded commutative algebra A with any square zero odd differential operator is a natural generalization of a Batalin-Vilkovisky algebra. While such an operator of order 2 defines a Gerstenhaber (Lie) algebra structure on A, an operator of an order higher than 2 (Koszul-Akman definition) leads to the structure of a strongly homotopy Lie algebra (L$_\infty$-algebra) on A. This allows us to give a definition of a Batalin-Vilkovisky algebra up to homotopy. We also make a conjecture which is a generalization of the formality theorem of Kontsevich to the Batalin-Vilkovisky algebra level.

연구 동기 및 목표

• BV 연산자가 두 번째 차수를 초과하는 경우를 允허함으로써 Batalin–Vilkovisky 대수의 개념을 일반화하는 것.
• 그러한 고차 연산자가 기본적인 등급 교환 대수 위에 강한 호모토피 리 대수(L∞-대수)의 구조를 유도함을 보이는 것.
• 고전적 BV 구조를 고차 호모토피로 확장함으로써 '호모토피를 고려한 BV 대수'라 불리는 호모토피 버전의 BV 대수를 정의하는 것.
• Kontsevich의 형식성 정리를 BV∞ 수준으로 확장하는 추측을 제안함으로써, 제1 체르누흐 클래스가 0인 다양체 위에서 다익선형 연산자와 다익선형 장 사이의 준동형사상을 연결하는 것.
• 특히 정점 연산자 대수와 프로베누스 다양체의 맥락에서 변형 이론에 미치는 영향을 탐색하는 것.

제안 방법

• 반복된 교환자에 의한 Akman–Koszul의 k차 미분 연산자 정의를 사용하여, $ F_D^{k+1} $을 ≤k차로 표현할 수 없는 장애물로 정의함.
• 만약 $ D $가 두 번째 제곱이 0인 2보다 큰 차수의 미분 연산자이면, $ F_D^2 $는 등급 리 괄호를 정의하고, 고차 $ F_D^k $는 $ L_\bullet $-대수 관계를 만족함을 보임.
• 고차 BV 연산자가 유도하는 호모토피 구조를 특징짓기 위해 $ L_\bullet $-대수(강한 호모토피 리 대수)의 프레임워크를 적용함.
• BV 연산자의 코homology 위에 게르스텐하버 대수의 구조를 구성함으로써, 고전적 BV 구조가 이러한 호모토피 프레임워크의 특수한 경우임을 보임.
• Calabi–Yau 다양체 위에서 다익선형 연산자 대수와 다익선형 장 대수 사이에 BV∞-대수로서의 준동형사상이 존재한다는 추측을 제안함.
• 기존의 Gerstenhaber 대수에 대한 Kontsevich의 형식성 정리를 호모토피 버전으로 확장하고, 제안된 추측을 통해 BV∞ 설정으로 확장함.

실험 결과

연구 질문

• RQ1 고전적 Batalin–Vilkovisky 대수의 구조는 고차 미분 연산자를 允허함으로써 일반화될 수 있는가?
• RQ2 등급 교환 대수에 두 번째 제곱이 0인 2를 초과하는 차수의 미분 연산자가 부여될 경우 어떤 대수적 구조가 유도되는가?
• RQ3 고전적 BV 대수를 일반화하는 자연스러운 'Batalin–Vilkovisky 대수의 호모토피 버전'의 개념이 존재하는가?
• RQ4 Kontsevich의 형식성 정리는 BV∞ 수준으로 확장될 수 있는가? 즉, 제1 체르누흐 클래스가 0인 다양체에서 다익선형 연산자 대수와 다익선형 장 대수 사이에 BV∞-대수로서의 준동형사상이 존재하는가?
• RQ5 이러한 BV∞ 형식성 추측은 마우레르–카르탕 방정식의 해의 모듈리 공간과 프로베누스 다양체 구조에 어떤 영향을 미치는가?

주요 결과

• 두 번째 제곱이 0인 2를 초과하는 차수의 미분 연산자 $ D $는 기본적인 등급 교환 대수 위에 $ L_\bullet $-대수(강한 호모토피 리 대수)의 구조를 유도함.
• 고전적 BV 대수는 $ D $가 정확히 2차일 경우의 특수한 경우이며, 고차 연산자는 이를 호모토피 구조로 일반화함.
• 연산자 $ D $의 코homology 위의 리 괄호는 $ F_D^2 $로 주어지고, 고차 괄호 $ F_D^k $는 $ L_\bullet $-대수 관계를 만족함.
• 논문은 '호모토피를 고려한 BV 대수'를 등급 교환 대수에 두 번째 제곱이 0인 임의의 차수의 미분 연산자를 부여한 것으로 정의함으로써 고전적 BV 구조를 일반화함.
• 추측은 Calabi–Yau 다양체 위에서 다익선형 연산자 대수와 다익선형 장 대수 사이에 BV∞-대수로서의 준동형사상이 존재함을 시사함.
• 이 추측이 참이라면, 다익선형 연산자 위의 마우레르–카르탕 방정식의 해들이 다익선형 장으로 보존되는 동시에, 모듈리 공간 위의 프로베누스 다양체 구조도 유지됨을 의미함.