[論文レビュー] Triangular dynamical r-matrices and quantization

Ping Xu|ArXiv.org|May 1, 2000

Advanced Data Compression Techniques被引用数 4

ひとこと要約

この論文は、非退化な三角的動的 r-行列——古典的動的ヤン・バクスターベルヌール方程式を満たし、反対称性と正則性を満たす解——が、$\mathfrak{h}^* \times G$ 上にシンプレクティックなポアソン構造を誘導することを確立し、フェドソフの方法による可積分性を証明する。主な結果は、このような量子化が相対的リーホモロジー $ H^2(\mathfrak{g}, \mathfrak{h})[[\hbar]] $ によって分類されることであり、非動的三角的 r-行列のドリナフの量子化を一般化する。

ABSTRACT

We provide a general study for triangular dynamical r-matrices using Poisson geometry. We show that a triangular dynamical r-matrix always gives rise to a regular Poisson manifold. Using the Fedosov method, we prove that non-degenerate (i.e., the corresponding Poisson manifolds are symplectic) triangular dynamical r-matrices (over $ \frakh^* $ and valued in $\wedge^{2}\frakg$) are quantizable, and the quantization is classified by the relative Lie algebra cohomology $H^{2}(\frakg, \frakh)[[\hbar ]]$. We also generalize this quantization method to splittable triangular dynamical r-matrices, which include all the known examples of triangular dynamical r-matrices. Finally, we arrive a conjecture that the quantization for an arbitrary triangular dynamical r-matrix is classified by the formal neighbourhood of this r-matrix in the modular space of triangular dynamical r-matrices. The dynamical r-matrix cohomology is introduced as a tool to understand such a modular space.

研究の動機と目的

• 一般の古典的三角的動的 r-行列の量子化という未解決問題に取り組むこと、特に非退化（シンプレクティック）な場合に焦点を当てる。
• ポアソン幾何学とフェドソフのスター積構成を用いて、三角的リーバイアトリック代数のドリナフの量子化法を動的設定に拡張すること。
• 非退化な三角的動的 r-行列の可能な量子化を分類し、それらをパrameter化するコホモロジー不変量を同定すること。
• 三角的動的 r-行列が非退化なものに還元可能（いわゆる「分裂可能」な r-行列）であるための条件を調査すること、これにより同じ方法で量子化が可能になる。

提案手法

• 三角的動的 r-行列 $ r: \mathfrak{h}^* \to \wedge^2 \mathfrak{g} $ が、$ \mathfrak{h}^* \times G $ 上に正則で、$ G \times H $-不変なポアソン構造を誘導することをポアソン幾何学を用いて示す。
• トーションのないシンプレクティック接続と、Weyl曲率形式 $ \Omega \in Z^2(M)[[\hbar]] $ を用いて、シンプレクティック多様体 $ \mathfrak{h}^* \times G $ 上にスター積を構成するフェドソフの方法を適用する。
• Weyl代数バンドル上にフェドソフ接続 $ D = -\delta + \partial + \frac{i}{\hbar}[\gamma, \cdot] $ を構成し、$ \gamma \in \Gamma W_3 \otimes \Lambda^1 $ であり、$ D^2 a = -\frac{i}{\hbar}[\Omega, a] $ を満たすようにする。
• 条件 $ \delta^{-1}\gamma = 0 $ を課し、再帰的方程式 $ \gamma_{n+1} = \delta^{-1}(\partial\gamma_n + \frac{i}{\hbar}\gamma_n^2) + \delta^{-1}\tilde{\Omega} $ を解いて $ \gamma $ を一意に決定する。
• 評価 $ y = 0 $ による定義による同型 $ \sigma: W_D \to C^\infty(M)[[\hbar]] $ を用いて、滑らかな関数を平行切断へと持ち上げ、スター積を定義する。
• フェドソフスター積の空間は $ Z^2(M)[[\hbar]] $ と双対であり、量子化の分類はコホモロジー不変量を介して $ H^2(\mathfrak{g}, \mathfrak{h})[[\hbar]] $ に対応することが示される。

実験結果

リサーチクエスチョン

• RQ1 非退化な三角的動的 r-行列は量子化可能か？ もしそうなら、どのような方法で？
• RQ2 非退化な三角的動的 r-行列のすべての可能な量子化はどのように分類されるか？
• RQ3 一般の三角的動的 r-行列が非退化なものに還元可能（いわゆる「分裂可能」）であるための条件は何か？
• RQ4 フェドソフの方法は、ドリナフの量子化手順を動的設定にどのように一般化するか？
• RQ5 このような r-行列の量子化のモジュライ空間を制御するコホモロジー不変量は何か？

主な発見

• 非退化な三角的動的 r-行列は、$ \mathfrak{h}^* \times G $ 上にシンプレクティックなポアソン構造を誘導し、左 $ G $-作用と右 $ H $-作用に対して不変である。
• フェドソフの方法により、このシンプレクティック多様体上にスター積を体系的に構成でき、r-行列の量子化が得られる。
• このような量子化のすべての空間は、相対的リーホモロジー群 $ H^2(\mathfrak{g}, \mathfrak{h})[[\hbar]] $ によって分類され、これは可能な変形をパラメータ化する。
• この構成は非退化および分裂可能な三角的動的 r-行列の両方に対して有効であり、非退化の場合に限らず適用範囲を拡張する。
• フェドソフ接続 $ D $ は、シンプレクティック接続と Weyl曲率 $ \Omega \in Z^2(M)[[\hbar]] $ によって一意に決定され、スター積の存在と一意性を保証する。
• 同型 $ \sigma: W_D \to C^\infty(M)[[\hbar]] $ を用いることで、量子観測値の代数が多様体上の形式的べき級数と同一視できる。