[論文レビュー] Kontsevich formality and PBW algebras

Boris Shoikhet|arXiv (Cornell University)|Aug 12, 2007

Advanced Topics in Algebra参考文献 1被引用数 8

ひとこと要約

この論文は、複素ベクトル空間 V 上の多項式的ポアソン2次形式 α から、テンソル代数 T(V*) 内の生成子と関係式を用いて PBW 代数を構成する。Kontsevich の形式的同型を用いて、非可換関係 R_ij(ħ) を Kontsevich 積分として定義する。主な結果は、この代数が Poincaré-Birkhoff-Witt 性質を満たしており、古典的 PBW 定理を一般化し、線形ポアソン構造に対しては新しい概念的証明を提供し、二次的ポアソン構造に対しては量子 R-行列構造をもたらす。

ABSTRACT

This paper is based on the author's paper "Koszul duality in deformation quantization, I", with some improvements. In particular, an Introduction is added, and the convergence of the spectral sequence in Lemma 2.1 is rigorously proven. Some informal discussion in Section 1.5 is added.

研究の動機と目的

• 有限次元複素ベクトル空間 V 上の多項式的ポアソン2次形式 α から PBW 代数を生成子と関係式を用いて構成すること。
• 線形ポアソン構造の場合に、古典的 Poincaré-Birkhoff-Witt 定理の新しい概念的証明を提供すること。
• Kontsevich の形式的同型と双対グラフ積分を用いて、多項式的ポアソン2次形式に対する PBW 性質を一般化すること。
• 同じ α に対して、構成された代数 A_α と Kontsevich のスター代数との同型性を予想すること。
• 変形量子化に用いられるグラフと、cobar複体構成におけるそれらの双対との間に双対性を確立すること。

提案手法

• 代数は、自由テンソル代数 T(V*) を、関係式 x_i ⊗ x_j - x_j ⊗ x_i = R_ij(ħ) で割った商として定義される。ここで R_ij(ħ) ∈ T(V*)⊗ħℂ[[ħ]] であり、R_ij = ħ·Sym(α_ij) + 𝒪(ħ²) である。
• Koszul双対の α に Kontsevich の形式的同型を適用することで、cobar複体 CoBar(Λ^-(V))⊗ℂ[[ħ]] 上の微分 d_ħ を構成する。
• 微分 d_ħ が (d + d_ħ)² = 0 を満たすことが示され、cobar複体が非自明なコホモロジーをもつ唯一の次数 0 での dg 代数であることが保証される。
• 関係式 R_ij(ħ) は、各頂点に上半平面で2本の入射辺を持つ双対グラフ上の Kontsevich 積分として明示的に表現される。
• Hochschild-Kostant-Rosenberg 写像と d_ħ の1次項との関係を、対称化写像を用いて結ぶ。
• A_α が PBW 代数であることが示され、その関連する次数付き代数が S(V*)⊗ℂ[[ħ]] と同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 多項式的ポアソン2次形式 α を用いて、T(V*) 内の生成子と関係式から PBW 代数を構成できるか？
• RQ2 Kontsevich の形式的同型は、このような代数における非可換関係 R_ij(ħ) を自然に定義する方法を提供するか？
• RQ3 構成された代数 A_α は、対称化写像を介して、同じ α に対する Kontsevich のスター代数と同型であるか？
• RQ4 双対グラフは、cobar複体の微分 d_ħ の Kontsevich 積分表現において果たす役割は何か？
• RQ5 PBW 性質はすべての多項式的ポアソン2次形式に対して成り立ち、その保証に必要な条件は何か？

主な発見

• 構成された代数 A_α は Poincaré-Birkhoff-Witt 性質を満たしており、これは gr A_α ≅ S(V*)⊗ℂ[[ħ]] がフィルター付き代数として同型であることを意味する。
• 線形ポアソン構造の場合、この構成は古典的 PBW 定理の新しい概念的証明をもたらす。
• 二次的ポアソン構造の場合、関係式 R_ij(ħ) は V 上の量子 R-行列に密接に関連する対象をもたらす。
• 微分 d_ħ の1次項は Hochschild-Kostant-Rosenberg 写像に対応し、この場合それが対称化写像である。
• 関係式 R_ij(ħ) は、各頂点に上半平面で2本の入射辺を持つ双対グラフ上の Kontsevich 積分として明示的に与えられる。
• A_α が Kontsevich のスター代数と同型であるという予想は、Kontsevich 積分の間の極めて非自明な恒等式を示唆しており、開円板上の AKSZ モデルにおけるより深い双対性を示唆する。