[論文レビュー] Deformations of linear Poisson orbifolds

Gilles Halbout, Jean-Michel Oudom+1 more|ArXiv.org|Jun 30, 2008

Advanced Topics in Algebra参考文献 9被引用数 4

ひとこと要約

本稿では、$ S(V^*)\rtimes\Gamma $ 上の定数および線形ポアソン構造の量子化を構成することにより、線形ポアソン軌道の変形を研究している。得られた $ T(V^*)\rtimes\Gamma $ の商代数が Poincaré-Birkhoff-Witt (PBW) 性質を満たすことを証明している。主な貢献は、線形ポアソン構造のシューテン＝ニーレンハイス括弧における非自明なコブアイス項であり、これは古典的リーディンクス代数およびシンプレクティック反射代数の設定とは異なっている。

ABSTRACT

Let $Γ$ be a finite group acting faithfully and linearly on a vector space $V$. Let $T(V)$ ($S(V)$) be the tensor (symmetric) algebra associated to $V$ which has a natural $Γ$ action. We study generalized quadratic relations on the tensor algebra $T(V) times Γ$. We prove that the quotient algebras of $T(V) times Γ$ by such relations satisfy PBW property. Such quotient algebras can be viewed as quantizations of linear or constant Poisson structures on $S(V) times Γ$, and are natural generalizations of symplectic reflection algebras.

研究の動機と目的

• 軌道として $ S(V^*)\rtimes\Gamma $ で表される線形および定数ポアソン構造の変形量子化を調査すること。ここで $ \Gamma $ はベクトル空間 $ V $ 上に線形に作用する有限群である。
• 一般化された二次関係による $ T(V^*)\rtimes\Gamma $ の商代数が PBW 性質を満たすことを確立し、これが量子化としての役割を果たすことを確認すること。
• 量子代数の中心とポアソン中心の比較を通じて、Duflo の同型の自然な拡張が軌道ポアソン構造の文脈でなぜ失敗するかを明らかにすること。
• シンプレクティック反射代数の Hochschild コホモロジーを、$ \hbar $ のローレンツ級数上での例外集合なしに有効な方法で、ポアソンコホモロジーを用いて再計算すること。
• $ \mathbb{R}^2/\mathbb{Z}_n $ の量子化代数の中心を解析し、それが錐 $ \mathbb{C}^2/\mathbb{Z}_n $ の非自明な変形を定義することを示すこと。

提案手法

• $ T(V^*)\rtimes\Gamma $ の商代数の PBW 性質を証明するために、Braverman-Gaitsory 条件を用いている。これは一般化された二次関係から導かれる。
• Hochschild コホモロジーを用いて $ S(V^*)\rtimes\Gamma $ 上のポアソン構造を分類し、2 種類のタイプを特定している：定数（$ \mathrm{Hom}(\wedge^2 V^*, \mathbb{R}\Gamma) $ 内）と線形（$ \mathrm{Hom}(\wedge^2 V^*, V^*\otimes_{\mathbb{R}} \mathbb{R}\Gamma) $ 内）。
• 線形ポアソン構造の証明には、$ GL(2,\mathbb{C}) $ の有限部分群の解析が必要であり、その結果は McKay 対応と関連している。
• 中心の計算を簡略化するために代数の複素化を用い、結果を実数の場合に拡張している。
• ポアソンコホモロジーを用いてシンプレクティック反射代数の Hochschild コホモロジーを計算し、$ \mathbb{R}[[\hbar]] $ 上で例外集合なしに有効な結果を得ている。
• $ \mathbb{R}^2/\mathbb{Z}_n $ の量子代数の中心を明示的に計算し、$ u = z^n $、$ v = \bar{z}^n $、$ w = z\bar{z} + \frac{i\hbar}{2(1-q^{-1})}\gamma $ で生成され、関係 $ u^n v^n = w^n + \text{補正項} $ を満たすことを示している。

実験結果

リサーチクエスチョン

• RQ1 一般化された二次関係を $ T(V^*)\rtimes\Gamma $ に適用することで、$ S(V^*)\rtimes\Gamma $ 上の線形および定数ポアソン構造の量子化として機能する PBW 性質を満たす代数を構成できるか？
• RQ2 シューテン＝ニーレンハイス括弧が線形ポアソン構造の変形に果たす役割は何か。特に、非自明なコブアイス項が現れる仕組みは？
• RQ3 量子化代数 $ \mathcal{U}^\hbar(V^*\rtimes\Gamma) $ の中心はポアソン中心 $ H^0_{\pi}[[\hbar]] $ とどのように比較できるか。これは、Duflo の同型の自然な拡張が破綻する原因となるか？
• RQ4 ローレンツ級数上でのポアソンコホモロジーを用いて、シンプレクティック反射代数の Hochschild コホモロジーを再計算し、例外集合の仮定を排除できるか？
• RQ5 $ \mathbb{Z}_n $-作用が $ \mathbb{R}^2 $ に作用する場合の量子化代数の中心の明示的構造は何か。これは、商特異点 $ \mathbb{C}^2/\mathbb{Z}_n $ の非自明な変形を定義するか？

主な発見

• $ T(V^*)\rtimes\Gamma $ の定数ポアソン構造から定義される関係による商代数は PBW 性質を満たし、量子化としての役割を果たすことが確認された。
• 線形ポアソン構造の下では、$ \Gamma $-不変な複素構造が $ V $ に存在するという仮定の下で PBW 性質が成り立つ。このとき、$ [\pi, \pi] $ に非自明なコブアイス項が現れるが、これはリーディンクス代数やシンプレクティック反射代数の文脈には存在しない現象である。
• 複素化された量子代数 $ \big{(}S(\mathbb{R}^2)\rtimes\mathbb{Z}_n[[\hbar]]\big{)}\otimes_{\mathbb{R}}\mathbb{C} $ の中心は $ u = z^n $、$ v = \bar{z}^n $、$ w = z\bar{z} + \frac{i\hbar}{2(1-q^{-1})}\gamma $ で生成され、関係 $ u^n v^n = w^n + \frac{(i\hbar/2)^n q^{-n(n-1)/2}}{(1-q)^n} \gamma^n $ を満たす。
• 中心は 0 次ポアソンコホモロジー $ S(\mathbb{R}^2)^{\mathbb{Z}_n}[[\hbar]] $ と同型でないため、Duflo の同型は軌道ポアソン構造に拡張されない。
• $ F^\hbar(u,v,w) = u^n v^n - w^n - \frac{(i\hbar/2)^n q^{-n(n-1)/2}}{(1-q)^n} = 0 $ で定義される曲面は $ \hbar \neq 0 $ で滑らかであるため、中心が錐 $ \mathbb{C}^2/\mathbb{Z}_n $ の非自明な変形を定義していることが確認された。
• $ n=2 $ の場合、中心は $ \mathbb{C}[u,v,w]/\{uv = w^2 + \hbar^2/16\} $ と同型であり、これは双曲面を表しており、$ A_1 $-特異点の非自明な変形を確認している。