[論文レビュー] Poisson cohomology, Koszul duality, and Batalin-Vilkovisky algebras

Xiaojun Chen, Youming Chen+2 more|arXiv (Cornell University)|Jan 22, 2017

Algebraic structures and combinatorial models参考文献 34被引用数 4

ひとこと要約

この論文は、非可換Poincaré双対性を、ユニモジュラーなポアソン代数におけるポアソンホモロジーとコホモロジーの間で確立し、コンツェビッチの変形量子化とコシュール双対性がこの双対性を保存することを示している。主な結果は、ユニモジュラーな二次的ポアソン代数とそのコシュール双対のポアソンコホモロジーにおけるバタリン＝ヴィルコビッチ（BV）代数構造が同型であるということであり、これはカラビ＝ヤウ設定におけるルーカイエの予想を一般化する。

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.

研究の動機と目的

• ユニモジュラーなポアソン代数に対して、ポアソンホモロジーとコホモロジーの間の非可換Poincaré双対性を確立すること。
• コンツェビッチの変形量子化とコシュール双対性が、この双対性をどのように保存するかを調査すること。
• ユニモジュラーな二次的ポアソン代数とそのコシュール双対のポアソンコホモロジーにおけるバタリン＝ヴィルコビッチ代数構造が同型であることを証明すること。
• ルーカイエの予想（Koszulカラビ＝ヤウ代数）を、変形量子化と双対性を通じてポアソン幾何的設定へ一般化すること。

提案手法

• タマリンとツイガンが形式化した双対性を用いた微分的計算を用いて、ポアソンコホモロジーにおけるPoincaré双対性を分析すること。
• 二次的ポアソン代数 $A = \mathbb{R}[x_1, \dots, x_n]$ をその双対 $A^! = \Lambda(\xi_1, \dots, \xi_n)$ に変換するためのコシュール双対性の構成を適用し、誘導されたポアソン構造を考察すること。
• 複体の双対性を用いて、ポアソンホモロジーとコホモロジーの間の同型を確立する：$\mathrm{HP}_\bullet(A) \cong \mathrm{HP}^{-\bullet}(A^!; A^{!\prime})$。
• ユニモジュラー性の同値性の証明：$(A, \pi)$ がユニモジュラーであることと、そのコシュール双対 $(A^!, \pi^!)$ がユニモジュラーなフロベニウスであることとは同値である。
• $k[[\hbar]]$ 上の変形量子化を用いて、量子化された代数のホッホシュィルドコホモロジーと元の代数のポアソンコホモロジーとの関係を確立すること。
• カラケとロッシのDGリー代数間の同値写像に関する結果を応用し、量子化後のホッホシュィルドコホモロジーにおける最終的な双対性同型を導出すること。

実験結果

リサーチクエスチョン

• RQ1 ユニモジュラーなポアソン代数のポアソンコホモロジーの文脈において、コシュール双対性はPoincaré双対性を保存するか？
• RQ2 コンツェビッチの変形量子化は、コシュール双対性と組み合わせて、Poincaré双対性をどのように保存するか？
• RQ3 ユニモジュラーな二次的ポアソン代数とそのコシュール双対のポアソンコホモロジーにおけるバタリン＝ヴィルコビッチ代数構造は同型か？
• RQ4 ルーカイエの予想（Koszulカラビ＝ヤウ代数）は、変形量子化と双対性を用いてポアソン設定へ拡張可能か？
• RQ5 ねじれたPoincaré双対性はポアソン代数において果たす役割は何か？ また、ねじれたカラビ＝ヤウ代数とどのように関係するか？

主な発見

• ユニモジュラーな二次的ポアソン代数 $A$ のポアソンコホモロジーは、そのコシュール双対 $A^!$ のポアソンコホモロジーと、バタリン＝ヴィルコビッチ代数として同型である。
• $A$ のユニモジュラー性は、そのコシュール双対 $A^!$ のユニモジュラーなフロベニウス条件と同値であり、これらの代数的性質の間の双対性を確立する。
• バタリン＝ヴィルコビッチ代数としての同型 $\mathrm{HP}^\bullet(A) \cong \mathrm{HP}^\bullet(A^!)$ が成り立ち、これはルーカイエの予想をポアソン幾何に一般化する。
• $A^!$ の変形量子化が対称的フロベニウス代数をもたらすのは、$A^!$ がユニモジュラーなフロベニウスであるときであり、かつそのときのみであり、量子化された設定における双対性を確認する。
• Poincaré双対性同型の可換図式は、コシュール双対性および変形量子化の下で保存され、古典的構造と量子的構造を結ぶ。
• 証明はDGリー代数の準同型写像に依拠し、カラケ＝ロッシの結果を応用して、量子化後のホッホシュィルドコホモロジーにおける最終的な双対性を導出する。