[論文レビュー] Poisson Hopf algebras associated to quantized enveloping algebras

Toshiyuki Tanisaki|ArXiv.org|Feb 12, 2008

Algebraic structures and combinatorial models参考文献 7被引用数 3

ひとこと要約

本稿は、特殊化された量子包あつまり代数 $ U_{\zeta} $ のフロベニウス中心 $ Z_{\zeta} $、古典的極限 $ U_1 $、および再帰的代数群 $ M $ の座標環 $ \mathbb{C}[M] $ の間のポアソンホップ代数同型 $ Z_{\zeta} \cong U_1 \cong \mathbb{C}[M] $ を直接構成する。この同型はドリンフェルト双対性に基づく直接的議論により、先行研究における双対に基づく証明とは対照的に、より明確な形でポアソン構造を保つことが示されている。

ABSTRACT

We study certain Poisson structures related to quantized enveloping algebras. In particular, we give a description of the Poisson structure of a certain manifold associated to the ring of differential operators.

研究の動機と目的

• 特殊化された量子包あつまり代数 $ U_{\zeta} $ のフロベニウス中心 $ Z_{\zeta} $ に対して、双対性に依存しない直接的証明によりポアソンホップ代数同型 $ Z_{\zeta} \cong U_1 \cong \mathbb{C}[M] $ を確立すること。
• 複素単純リー代数 $ \mathfrak{g} $ に付随する再帰的代数群 $ M $ の座標環 $ \mathbb{C}[M] $ におけるポアソン構造を明確にすること。
• 量子包あつまり代数 $ U_{\zeta} $ に関連する微分作用素の環に付随するポアソン代数構造を記述し、$ G \times M $ のポアソン幾何と関連付けること。

提案手法

• ドリンフェルト双対性を用いて、双対ホップ代数の議論に依存せずに、直接的に $ U_1 \cong \mathbb{C}[M] $ の同型を構成する。
• 量子包あつまり代数 $ U $ のコマルティプリケーション $ \Delta $、コユニット $ \varepsilon $、およびアンチポード $ S $ を用い、反復コマルティプリケーションにはスウィードラー記法を適用する。
• ドリンフェルト双対性を用いて、リー代数 $ \mathfrak{g} $ と群 $ M \subset G \times G $ のリー代数 $ \mathfrak{m} $ 間のリー代数同型を定義する。
• 修正されたキリング形式 $ \tilde{\kappa} $ に関する双対基底 $ \{\xi_r\}, \{\eta_r\} $ を用いて、$ \mathbb{C}[G] \otimes \mathbb{C}[M] $ 上のポアソン括弧を $ \{\varphi, \psi\} = -\sum_r (L_{\xi_r}\varphi)(R_{\eta_r}\psi) $ で与える。
• 完成化された $ U(\mathfrak{g}) \otimes \mathbb{C}[M]^* $ 内で、$ \overline{(\sum_j x_j \otimes v_j - 1 \otimes 1)/(q - q^{-1})} = \sum_r \xi_r \otimes \eta_r $ という重要な恒等式を導出し、ポアソン構造の整合性を証明する。
• 補題 8.4 を用いて、写像 $ \Xi: \mathbb{C}[M] \to \mathfrak{g} $ が $ \tilde{\kappa}(\theta(\Xi(\varphi)), \eta) = \langle \varphi, \eta \rangle $ を満たすことを示し、キリング形式によるポアソン構造の確認を行う。

実験結果

リサーチクエスチョン

• RQ1 双対性に依存しない直接的証明により、ポアソンホップ代数同型 $ Z_{\zeta} \cong U_1 \cong \mathbb{C}[M] $ をどのように示せるか？
• RQ2 量子包あつまり代数 $ U_{\zeta} $ に関連する微分作用素の環に付随するポアソン括弧の明示的形は何か？ また、$ G \times M $ の幾何とどのように関連するか？
• RQ3 ドリンフェルト双対性は $ \mathbb{C}[M] $ 上にどのようにポアソン構造を誘導するか？ また、古典的極限 $ U_1 $ と整合的か？
• RQ4 量子設定における直接的計算により、$ Z_{\zeta} $、$ U_1 $、$ \mathbb{C}[M] $ 間の同型がポアソン構造を保存することを示せるか？

主な発見

• ドリンフェルト双対性に基づく直接的議論により、ポアソンホップ代数同型 $ Z_{\zeta} \cong U_1 \cong \mathbb{C}[M] $ が確立され、先行研究における双対に基づく証明とは対照的に、より明確な代替的証明が得られた。
• $ \mathbb{C}[G] \otimes \mathbb{C}[M] $ 上のポアソン括弧は、$ \{\varphi, \psi\} = -\sum_r (L_{\xi_r}\varphi)(R_{\eta_r}\psi) $ で明示的に与えられ、$ \{\xi_r\}, \{\eta_r\} $ は修正キリング形式 $ \tilde{\kappa} $ に関する双対基底である。
• $ \mathbb{C}[M] \to \mathfrak{g} $ を $ x \mapsto (x - \varepsilon(x)1)/(q - q^{-1}) $ で定義する写像 $ \Xi $ は、$ \tilde{\kappa}(\theta(\Xi(\varphi)), \eta) = \langle \varphi, \eta \rangle $ を満たし、キリング形式による $ \mathbb{C}[M] $ 上のポアソン構造の確認がなされた。
• $ G \times M $ 上のポアソンテンソル $ \delta $ は、$ \delta_{(g,m)}((L^*_{\eta})_g, (R^*_{\xi})_m) = -\tilde{\kappa}(\xi, \eta) $ を満たし、ポアソン幾何がキリング形式と関連している。
• $ U_1 \cong \mathbb{C}[M] $ の同型は、ポアソンホップ代数同型であることが示され、$ \mathbb{C}[M] $ 上のポアソン構造は量子群構造の古典的極限によって誘導される。
• 双対ホップ代数の議論を回避することで、従来の手法とは対照的に、より直接的かつ幾何的に明確な証明が得られた。