[논문 리뷰] Poisson cohomology, Koszul duality, and Batalin-Vilkovisky algebras

Xiaojun Chen, Youming Chen외 2명|arXiv (Cornell University)|2017. 01. 22.

Algebraic structures and combinatorial models참고 문헌 34인용 수 4

한 줄 요약

이 논문은 비가환 Poincaré dualit를 비가환 Poisson 대수에서 유일모듈라 Poisson 대수에 대해 수립하며, Kontsevich의 변형 양자화와 Koszul dualit가 이 이중성을 유지함을 보여준다. 주요 결과는 유일모듈라 이차 Poisson 대수의 Poisson 코homology와 그 Koszul 쌍대의 Batalin-Vilkovisky (BV) 대수적 구조가 서로 동형이며, Calabi-Yau 설정에서 Rouquier의 추측을 일반화한다.

ABSTRACT

We study the noncommutative Poincaré duality between the Poisson homology and cohomology of unimodular Poisson algebras, and show that Kontsevich's deformation quantization as well as Koszul duality preserve the corresponding Poincaré duality. As a corollary, the Batalin-Vilkovisky algebra structures that naturally arise in these cases are all isomorphic.

연구 동기 및 목표

• 유일모듈라 Poisson 대수에 대해 Poisson 호모로지와 코호모로지 사이의 비가환 Poincaré 이중성을 수립하는 것.
• Kontsevich의 변형 양자화와 Koszul 이중성이 이 이중성을 어떻게 유지하는지 조사하는 것.
• 유일모듈라 이차 Poisson 대수와 그 Koszul 쌍대의 Poisson 코호모로지에 존재하는 Batalin-Vilkovisky 대수적 구조가 서로 동형임을 증명하는 것.
• Rouquier의 Koszul Calabi-Yau 대수에 대한 추측을 변형 양자화와 이중성에 의해 Poisson 기하 설정으로 일반화하는 것.

제안 방법

• Tamarkin과 Tsygan이 체계화한 이중성과 함께 미분법을 사용하여 Poisson 코호모로지에서 Poincaré 이중성을 분석하는 것.
• 이차 Poisson 대수 $A = \mathbb{R}[x_1, \dots, x_n]$를 그 쌍대 $A^! = \Lambda(\xi_1, \dots, \xi_n)$로 변환하기 위해 Koszul 이중성 구성법을 적용하고, 유도된 Poisson 구조를 고려하는 것.
• 복합체의 이중성에 의해 Poisson 호모로지와 코호모로지 사이의 동형을 수립하는 것: $\mathrm{HP}_\bullet(A) \cong \mathrm{HP}^{-\bullet}(A^!; A^{!\prime})$.
• 유일모듈라 조건의 동치성 증명: $(A, \pi)$가 유일모듈라이면, 그 Koszul 쌍대 $(A^!, \pi^!)$도 유일모듈라 프로베누스 조건을 만족한다.
• $k[[\hbar]]$ 위에서의 변형 양자화를 사용하여 양자화된 대수의 Hochschild 코호모로지와 원래 대수의 Poisson 코호모로지를 연결하는 것.
• Calaque-Rossi의 DG 리 대수 간의 quasi-isomorphism 결과를 적용하여, 양자화 이후 Hochschild 코호모로지에서 최종 이중성 동형을 유도하는 것.

실험 결과

연구 질문

• RQ1 Koszul 이중성이 유일모듈라 Poisson 대수의 Poisson 코호모로지 맥락에서 Poincaré 이중성을 유지하는가?
• RQ2 Kontsevich의 변형 양자화는 Koszul 이중성과 함께 Poincaré 이중성을 유지하는 데 어떻게 상호작용하는가?
• RQ3 유일모듈라 이차 Poisson 대수와 그 Koszul 쌍대의 Poisson 코호모로지에 존재하는 Batalin-Vilkovisky 대수적 구조는 서로 동형인가?
• RQ4 Rouquier의 Koszul Calabi-Yau 대수에 대한 추측은 변형 양자화와 이중성을 통해 Poisson 설정으로 일반화될 수 있는가?
• RQ5 왜곡된 Poincaré 이중성은 Poisson 대수에서 어떤 역할을 하는가? 그리고 왜곡된 Calabi-Yau 대수와의 관계는 무엇인가?

주요 결과

• 유일모듈라 이차 Poisson 대수 $A$의 Poisson 코호모로지는 그 Koszul 쌍대 $A^!$의 Poisson 코호모로지와 Batalin-Vilkovisky 대수로서 동형이다.
• $A$의 유일모듈라성은 그 Koszul 쌍대 $A^!$의 유일모듈라 프로베누스 조건과 동치이며, 이는 이러한 대수적 성질 간의 이중성을 수립한다.
• Batalin-Vilkovisky 대수로서의 동형 $\mathrm{HP}^\bullet(A) \cong \mathrm{HP}^\bullet(A^!)$이 성립하며, 이는 Rouquier의 추측을 Poisson 기하학으로 일반화한다.
• $A^!$의 변형 양자화는 $A^!$이 유일모듈라 프로베누스일 때에만 대칭 프로베누스 대수를 유도하며, 이는 양자화된 맥락에서의 이중성을 확인한다.
• Poincaré 이중성 동형의 교환도형은 Koszul 이중성과 변형 양자화 모두에서 유지되며, 고전적 구조와 양자적 구조를 연결한다.
• 증명은 DG 리 대수의 quasi-isomorphism과 Calaque-Rossi의 결과를 적용하여, 양자화 이후 Hochschild 코호모로지에서 최종 이중성을 도출하는 데 기반한다.