[논문 리뷰] Differential Batalin-Vilkovisky algebras arising from twilled Lie-Rinehart algebras

Johannes Huebschmann|arXiv (Cornell University)|2013. 03. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 38인용 수 16

한 줄 요약

이 논문은 두 개의 리-린하르 대수를 미분 Batalin-Vilkovisky (dBV) 대수와 연결하는 미분 호모로지 대수학 프레임워크를 수립하며, 정확한 생성자와 평탄한 접속 사이의 코스줄의 대응을 일반화한다. 거의 복소 구조가 정규화 가능할 조건은 그에 해당하는 게르스텐하버 대수가 미분 게르스텐하버 대수가 되는 것과 동치임을 증명하고, 칼라비-유만 다양체에서 헬로모르피크 볼륨 형식과 dBV 대수 생성자를 통해 티앙-토도로프 보조정리를 개념적으로 증명한다.

ABSTRACT

Twilled L(ie-)R(inehart)-algebras generalize, in the Lie-Rinehart context, complex structures on smooth manifolds. An almost complex manifold determines an "almost twilled pre-LR algebra", which is a true twilled LR-algebra iff the almost complex structure is integrable. We characterize twilled LR structures in terms of certain associated differential (bi)graded Lie and G(erstenhaber)-algebras; in particular the G-algebra arising from an almost complex structure is a d(ifferential) G-algebra iff the almost complex structure is integrable. Such G-algebras, endowed with a generator turning them into a B(atalin-)V(ilkovisky)-algebra, occur on the B-side of the mirror conjecture. We generalize a result of Koszul to those dG-algebras which arise from twilled LR-algebras. A special case thereof explains the relationship between holomorphic volume forms and exact generators for the corresponding dG-algebra and thus yields in particular a conceptual proof of the Tian-Todorov lemma. We give a differential homological algebra interpretation for twilled LR-algebras and by means of it we elucidate the notion of generator in terms of homological duality for differential graded LR-algebras.

연구 동기 및 목표

• 정확한 생성자와 평탄한 접속 사이의 코스줄의 대응을 두 개의 리-린하르 대수의 맥락으로 일반화한다.
• 형식에 대한 미분 게르스텐하버 대수의 구조를 통해 거의 복소 구조의 정규화 가능성을 특성화한다.
• 두 개의 리-린하르 대수에서 유도된 dBV 대수의 생성자에 대한 호모로지 쌍대성 해석을 제공한다.
• 칼라비-유만 다양체에서 헬로모르피크 볼륨 형식과 dBV 대수의 구조를 사용하여 티앙-토도로프 보조정리의 개념적 증명을 제시한다.
• 두 개의 리-린하르 대수에 관련된 dG-대수에서 헬로모르피크 볼륨 형식과 정확한 생성자 사이의 전단사 대응을 수립한다.

제안 방법

• 이so모피즘 Alt_A(L'', Λ_A L')와 Alt_A(D, A)를 이용하여 두 개의 리-린하르 대수의 외부 대수에서 이중등급 게르스텐하버 대수를 구성한다.
• Alt_A(L'', Λ_A L')에 정의된 리-린하르 미분 d''를 사용하여 이중등급 게르스텐하버 대수에 대한 미분을 정의한다.
• L' ⊕ L''*와 L'' ⊕ L'* 사이의 쌍대성을 적용하여 리-린하르 이대수의 구조를 미분 게르스텐하버 대수 조건과 연결한다.
• 첨부된 이소모피즘 (4.1.1)과 (4.1.2)을 사용하여 동형인 이중등급 A-대수 간에 게르스텐하버 괄호와 미분을 이전한다.
• 이중등급 게르스텐하버 대수의 구조가 정확히 거의 두 개의 리-린하르 대수가 진정한 두 개의 리-린하르 대수일 때 유도됨을 증명한다.
• 리-린하르 이대수와 미분 가환 대수 간의 쌍대성을 활용하여 생성자를 호모로지 쌍대성의 관점에서 해석한다.

실험 결과

연구 질문

• RQ1 거의 두 개의 리-린하르 대수가 언제 진정한 두 개의 리-린하르 대수가 되는가?
• RQ2 거의 복소 구조의 정규화 가능성은 관련 형식에 대한 미분 게르스텐하버 대수의 구조와 어떻게 관련되는가?
• RQ3 칼라비-유만 다양체의 맥락에서 헬로모르피크 볼륨 형식은 정확한 생성자를 결정하는 데 어떤 역할을 하는가?
• RQ4 코스줄의 정리에서 정확한 생성자와 평탄한 접속 사이의 대응은 두 개의 리-린하르 대수로 어떻게 일반화되는가?
• RQ5 두 개의 리-린하르 대수에서 유도된 dBV 대수의 생성자는 호모로지 쌍대성의 관점에서 어떻게 해석되는가?

주요 결과

• 거의 두 개의 리-린하르 대수가 정확히 그에 해당하는 이중등급 게르스텐하버 대수가 미분 게르스텐하버 대수일 때 진정한 두 개의 리-린하르 대수가 된다.
• Alt_A(L'', Λ_A L')에 대한 미분 게르스텐하버 대수의 구조는 (A, L, D)가 리-린하르 이대수일 때 정확히 유도된다.
• 칼라비-유만 다양체에서 헬로모르피크 볼륨 형식은 관련된 미분 게르스텐하버 대수의 정확한 생성자를 유도하며, 이를 통해 dBV 대수가 된다.
• 티앙-토도로프 보조정리는 dG-대수 프레임워크에서 헬로모르피크 볼륨 형식과 정확한 생성자 간의 대응을 통해 개념적으로 증명된다.
• 논문은 코스줄의 정리를 일반화하여 두 개의 리-린하르 대수의 맥락에서 정확한 생성자와 헬로모르피크 볼륨 형식 사이의 전단사 대응을 보여준다.
• dBV 대수의 생성자는 미분 가환 리-린하르 대수의 프레임워크에서 호모로지 쌍대성 조건에 대응한다.