[논문 리뷰] Remarks on formal deformations and Batalin-Vilkovisky algebras

Vadim Schechtman|ArXiv.org|1998. 02. 02.

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

한 줄 요약

이 논문은 칼라비-야우 다양체의 정준 번들의 통합 가능한 접속과 다형성장의 대칭 대수 위의 바탈린-빌코비츠(BV) 구조 사이에 표준적인 전단사 관계를 수립한다. 기존의 정준 번들의 자명화가 필요로 하는 상황을 넘어, 통합 가능한 접속만으로도 충분함을 보이며, 이는 기존 결과를 일반화한다. 핵심 결과는 오른쪽 $\Delta_X$-모듈러 구조가 $\mathcal{O}_X$ 위에 존재할 때와 $\u039b^{\bullet}\mathcal{T}_X$ 위의 BV 구조 사이에 일대일 대응이 성립하며, 이는 리 대수다발과 슈아우텐 괄호를 포함한 일반적인 프레임워크로 확장된다.

ABSTRACT

This note consists of two parts. Part I is an exposition of (a part of) the V.Drinfeld's letter, [D]. The sheaf of algebras of polyvector fields on a Calabi-Yau manifold, equipped with the Schouten bracket, admits a structure of a Batalin-Vilkovisky algebra. This fact was probably first noticed by Z.Ran, [R]. Part II is devoted to some generalizations of this remark.

연구 동기 및 목표

• 칼라비-야우 다양체 위에서 다형성장 대수 $\Lambda^{\bullet}\mathcal{T}_X$ 위에 정의된 알려진 바탈린-빌코비츠(BV) 대수적 구조를 정준 번들의 자명화 조건을 초월하여 일반화하는 것.
• BV 구조가 정준 번들의 자명화가 아니라, $\mathcal{K}_X$ 위의 통합 가능한 접속에서 유래함을 보이며, 이는 더 약하고 더 일반적인 조건임을 밝혀내는 것.
• 정준 번들의 통합 가능한 접속 집합과 다형성장 대수 $\Lambda^{\bullet}\mathcal{T}_X$ 위의 BV 구조 집합 사이에 표준적이고 함의적인 대응 관계를 수립하여 이전 결과를 일반화하는 것.
• 이 대응 관계를 오른쪽 $\mathcal{D}_X$-모듈러 구조, 리 대수다발, 대칭 대수 위의 슈아우텐 괄호를 포함한 더 넓은 대수적 프레임워크로 확장하는 것.

제안 방법

• 논문은 다형성장 대수 $\Lambda^{\bullet}\mathcal{T}_X$ 위의 슈아우텐 괄호를 정의하기 위해 차수를 가진 벡터 공간과 제르스텐하버 대수의 형식을 사용하며, 이는 BV 구조의 핵심이다.
• 기존의 $\mathcal{D}_X$-모듈러 구조에 대한 일반화로, $\mathcal{O}_X$ 위의 오른쪽 $\mathcal{D}_X$-모듈러 구조를 유도하는 데 기여하는 'CY A-구조'라는 개념을 도입한다. 이는 $\mathcal{T}_X$ 위에 호환 가능한 작용을 유도하며, 곱법칙 유사 항등식을 만족한다.
• 핵심 기술적 도구는 다항식장 $\Lambda^{\bullet}\mathcal{T}_X$ 위에 차수 1의 미분을 만드는 것인데, 이는 $\nabla^r: \mathcal{T}_X \to \mathcal{O}_X$ 라는 사상으로 정의되며, $\nabla^r(a\tau) = a\nabla^r(\tau) - \tau(a)$ 를 만족한다. 이는 접속에 기반한 미분의 일반화이다.
• 논문은 $\text{Gerst}^{[-1,0]}$ 에서 $\text{Gerst}$ 로 가는 왼쪽 수반 함자 $S$ 를 구성한다. 이는 각 리 대수다발 $({\mathcal{A}}^{-1}, {\mathcal{A}}^0)$ 에 대해 $S({\mathcal{A}}) = \Lambda^{\bullet}_{{\mathcal{A}}^0}({\mathcal{A}}^{-1})$ 라는 슈아우텐 대수를 부여하며, 유일한 슈아우텐 괄호를 갖춘다.
• 논문은 $S({\mathcal{A}})$ 위의 BV 구조가 식 (4.20)을 만족하는 $\nabla^r: \mathcal{A}^{-1} \to \mathcal{A}^0$ 의 사상과 표준적인 전단사 관계에 있음을 증명한다. 이는 접속 기반의 구성 방식을 일반화한 것이다.
• 증명의 핵심은 BV 미분의 존재성과 유일성이 오직 식 (4.13)의 라이프니츠 항등식에 의존하며, 이는 대응 관계 하에서도 유지된다는 점이다.

실험 결과

연구 질문

• RQ1 칼라비-야우 다양체 위의 다형성장 대수에서 바탈린-빌코비츠(BV) 대수적 구조는 정준 번들의 자명화 조건 없이도 구성될 수 있는가?
• RQ2 정준 번들의 통합 가능한 접속 집합과 다형성장 대수 $\Lambda^{\bullet}\mathcal{T}_X$ 위의 BV 구조 집합 사이에 표준적인 대응 관계가 존재하는가?
• RQ3 $\Lambda^{\bullet}\mathcal{T}_X$ 위의 BV 구조는 오른쪽 $\mathcal{D}_X$-모듈러 구조 $\mathcal{O}_X$ 에서 유래하는가? 만약 그렇다면, 그 정확한 대수적 조건은 무엇인가?
• RQ4 접속과 BV 구조 사이의 대응 관계는 칼라비-야우의 경우를 초월하여 일반화될 수 있으며, 이는 $\mathcal{T}_X$ 위의 리 대수다발의 구조와 어떻게 관련이 있는가?
• RQ5 슈아우텐 괄호는 다형성장 대수 $\Lambda^{\bullet}\mathcal{T}_X$ 위에서 BV 미분을 어떻게 실현하는가? 그리고 이는 어떤 방식으로 접속으로부터 유도되는가?

주요 결과

• 칼라비-야우 다양체 $X$ 의 정준 번들의 통합 가능한 접속 집합과 다형성장 대수 $\Lambda^{\bullet}\mathcal{T}_X$ 위의 바탈린-빌코비츠(BV) 구조 집합 사이에 표준적인 전단사 관계가 존재한다.
• $\Lambda^{\bullet}\mathcal{T}_X$ 위의 BV 구조는 오른쪽 $\mathcal{D}_X$-모듈러 구조 $\mathcal{O}_X$ 에 의해 유도되며, 이는 정준 번들의 통합 가능한 접속과 동치이며, 기존의 자명화된 정준 번들의 경우를 일반화한다.
• 이 대응 관계는 라이프니츠 항등식 $\nabla^r(a\tau) = a\nabla^r(\tau) - \tau(a)$ 를 만족하는 사상 $\nabla^r: \mathcal{T}_X \to \mathcal{O}_X$ 를 통해 수립되며, 이는 $\Lambda^{\bullet}\mathcal{T}_X$ 위의 BV 미분을 생성한다.
• 논문은 $\text{Gerst} \to \text{Gerst}^{[-1,0]}$ 의 절단 함자 $t$ 에 대한 왼쪽 수반 함자 $S$ 를 구성한다. 이는 각 $\mathcal{O}_X$ 위의 리 대수다발 $\mathcal{A}$ 에 대해 $S(\mathcal{A}) = \Lambda^{\bullet}_{\mathcal{O}_X}(\mathcal{A}^{-1})$ 라는 슈아우텐 대수를 제공하며, 유일한 슈아우텐 괄호를 갖춘다.
• $S(\mathcal{A})$ 위의 BV 구조는 식 (4.20)을 만족하는 $\nabla^r: \mathcal{A}^{-1} \to \mathcal{A}^0$ 의 사상과 일대일 대응되며, 이는 임의의 리 대수다발에 대해 접속 기반의 구성 방식을 일반화한다.
• 핵심 기술적 통찰은 BV 미분의 존재성과 유일성이 오직 라이프니츠 항등식 (4.13)에 의존하며, 이는 대응 관계 하에서도 유지되므로, 정리 4.3을 임의의 $\mathcal{D}_X$-모듈러 구조로 일반화할 수 있다.