[論文レビュー] Comparison of Poisson structures and Poisson-Lie dynamical r-matrices

Benjamin Enriquez, Pavel Etingof+1 more|arXiv (Cornell University)|Dec 17, 2004

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

ひとこと要約

この論文は、幾何的および量子化手法を用いて、有限次元の準三角的リーバイア algebra $\mathfrak{g}^*$（リーポisson構造を備えた）と形式的ポアソン代数群 $G^*$（ポアソン代数群構造を備えた）の間のポアソン同型を確立する。主な結果は、ジンツブルグ＝ヴァインスタインの定理を一般化する自然な同型であり、ドリンフェルトのアソシエータとねじれ変換を用いてポアソン代数群的動的 $r$-行列の量子化を提供する。

ABSTRACT

We construct a Poisson isomorphism between the formal Poisson manifolds g^* and G^*, where g is a finite dimensional quasitriangular Lie bialgebra. Here g^* is equipped with its Lie-Poisson (or Kostant-Kirillov-Souriau) structure, and G^* with its Poisson-Lie structure. We also quantize Poisson-Lie dynamical r-matrices of Balog-Feher-Palla.

研究の動機と目的

• 有限次元の準三角的リーバイア代数 $\mathfrak{g}$ に対して、リーポアソン構造を備えた形式的ポアソン多様体 $\mathfrak{g}^*$ と、ポアソン代数群構造を備えた $G^*$ の間のポアソン同型を確立すること。
• 非退化な $t$-テンソルに依存しない一般化されたジンツブルグ＝ヴァインスタインの定理を、形式的設定に拡張すること。
• バログ＝フェーラー＝パラが導入したポアソン代数群的動的 $r$-行列を、普遍的量子群とドリンフェルトのアソシエータを用いて量子化すること。
• ねじれ量子群の古典的極限が、ポアソン代数群的動的 $r$-行列 $\rho_{\text{FM}}$ を回復することを示すこと。

提案手法

• 古典的ヤン・バクスター方程式とゲージ変換から導かれる微分方程式を満たす形式的群値写像 $g(\lambda) \in \text{Map}_0(\mathfrak{g}^*, G)$ を構成する。
• 幾何的証明の鍵となる成分として、アレクセエフ＝マイレンケンの $r$-行列 $\rho_{\text{AM}}(\lambda) = (\text{id} \otimes \varphi(\text{ad} \lambda^\vee))(t)$ を用いる。
• 普遍的リーダイアソシエータ $\Phi_{\text{univ}}$ と適切なねじれ $J$ を用いて、リーバイア代数の普遍包あらわし代数 $U(\mathfrak{g})[[\hbar]]$ を変形する、リーバイア代数の量子化理論を適用する。
• ねじれアソシエータ $\Phi_\nu^J$ の古典的極限を計算し、ポアソン代数群的動的 $r$-行列 $\rho_{\text{FM}}(g^*)$ を得ることで、望ましい古典的構造と一致することを示す。
• $\text{Map}_0^{\text{ham}}(\mathfrak{g}^*, G)$ の群が $g(\lambda)$ の定義方程式の解に対して単純かつ推移的に作用することを示し、解の存在と一意性を保証する。
• $\rho_{\text{AM}}$ および $\rho_{\text{AM}}^\nu$ の $G$-不変性に依拠し、ねじれアソシエータの古典的極限と動的 $r$-行列 $\rho_{\text{FM}}$ を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 準三角的リーバイア代数に対して、リーポアソン構造を備えた形式的ポアソン多様体 $\mathfrak{g}^*$ と、ポアソン代数群構造を備えた $G^*$ の間にポアソン同型を構成できるか？
• RQ2 $t = r + r^{2,1}$ の非退化性仮定が、そのような同型の存在に影響を与えるか。また、その仮定を外すことは可能か？
• RQ3 ポアソン代数群的動的 $r$-行列 $\rho_{\text{FM}}$ は、量子群の技法を用いてどのように量子化できるか？
• RQ4 ねじれ量子群 $(U(\mathfrak{g})[[\hbar}}, \Delta_0^J, \Phi_\nu^J)$ の古典的極限は何か。そして、$\rho_{\text{FM}}$ を回復するか？
• RQ5 $g(\lambda)$ の幾何的構成と、動的 $r$-行列の量子化との間に、自然な対応関係が存在するか？

主な発見

• 形式的ポアソン多様体 $\mathfrak{g}^*$ と $G^*$ は、ポアソン多様体として同型であり、ジンツブルグ＝ヴァインスタインの定理を形式的設定に一般化する。
• 非退化性仮定のもとで、古典的ヤン・バクスター方程式を含む微分方程式の解 $g(\lambda)$ を用いた幾何的証明が確立される。
• 量子化技法を用いた、非退化性に依存しない同型の証明が提供され、同型の存在が $t$ が非退化でない場合にも成立することを示す。
• ねじれアソシエータ $\Phi_\nu^J$ を備えた量子化された普遍包あらわし代数 $U_\hbar(\mathfrak{g}) = U(\mathfrak{g})[[\hbar]]^J$ は、ポアソン代数群的動的 $r$-行列 $\rho_{\text{FM}}(g^*)$ の量子化を提供する。
• ねじれアソシエータ $\Phi_\nu^J$ の古典的極限は $\rho_{\text{FM}}(g^*) = \text{Ad}(g(\lambda))^{\otimes 2}(\rho_{\text{AM}}(\lambda) - \rho_{\text{AM}}^\nu(\lambda))$ を与え、バログ＝フェーラー＝パラの動的 $r$-行列と一致する。
• $g(\lambda)$ はポアソン同型 $\lambda \mapsto \text{Ad}^*(g(\lambda))(\lambda)$ を誘導し、群 $\text{Map}_0^{\text{ham}}(\mathfrak{g}^*, G)$ はそのような解に対して単純かつ推移的に作用するため、一意性が保証される。