[論文レビュー] Classical dynamical r-matrices, Poisson homogeneous spaces, and Lagrangian subalgebras

Eugene Karolinsky, Alexander Stolin|ArXiv.org|Oct 30, 2001

Algebraic structures and combinatorial models参考文献 20被引用数 5

ひとこと要約

本稿は、複素単純リー群 $G$ とその Cartan の部分代数を含む再帰的部分群 $U$ のペア $(\mathfrak{g},\mathfrak{u})$ に対して、三角的古典的動的 $r$-行列と $G/U$ 上の三角的ポアソン同調的構造の間の 1 対 1 対応を確立する。この対応は、Drinfeld の二重におけるラグランジュ部分代数の分類を用いて導出され、$\Omega = 0$ の三角的ケースにルの結果を拡張するものであり、Etingof-Varchenko の $r$-行列と射影技法を用いた明示的構成により検証される。

ABSTRACT

Jiang-Hua Lu showed that any dynamical r-matrix for the pair $(g,u)$ naturally induces a Poisson homogeneous structure on $G/U$. She also proved that if $g$ is complex simple, $u$ is its Cartan subalgebra and $r$ is quasitriangular, then this correspondence is in fact 1-1. In the present paper we find some general conditions under which the Lu correspondence is 1-1. Then we apply this result to describe all triangular Poisson homogeneous structures on $G/U$ for a simple complex group $G$ and its reductive subgroup $U$ containing a Cartan subgroup.

研究の動機と目的

• Lu が提案した動的 $r$-行列とポアソン同調的 $G$-空間の間の対応を、$\Omega = 0$ の三角的ケースに一般化すること。
• 複素単純リー群 $G$ とその Cartan の部分群を含む再帰的部分群 $U$ に対して、$G/U$ 上のすべての三角的ポアソン同調的構造を分類すること。
• 動的 $r$-行列とポアソン同調的構造の間の対応が双対的である条件を確立し、既知の準三角的ケースからの結果を拡張すること。
• Etingof-Varchenko の解と射影写像を用いた、三角的動的 $r$-行列の明示的構成を提供すること。

提案手法

• Etingof と Schiffmann による、$\mathfrak{u}$ が Cartan の部分代数であるペア $(\mathfrak{g},\mathfrak{u})$ に対する古典的動的 $r$-行列の分類を活用する。
• Drinfeld 二重 $D(\mathfrak{g})$ の一般枠組みを適用し、三角的リー双代数を $\mathfrak{g}[\varepsilon]$ 内のラグランジュ部分代数に結びつける（ここで $\varepsilon^2 = 0$）。
• $r(0)$ の $\mathfrak{u}$-不変性と不変性を用いて、古典的ヤン・バクスター方程式の $\mathfrak{v}\otimes\mathfrak{v}\otimes\mathfrak{v}$ 成分を分析する。
• $\mathfrak{g}\otimes\mathfrak{g}$ から $g(\mathfrak{p}\otimes\mathfrak{p})g^{-1}$ への射影写像 $p$ を用い、新しい $r$-行列 $v = g^{-1}p(r(0))g$ を放物型部分代数 $\mathfrak{p}$ 内に構成する。
• 得られた $v$ が修正古典的ヤン・バクスター方程式を満たし、歪対称的であることを検証し、それが三角的 $r$-行列として正当化されることを確認する。
• Drinfeld 二重 $D(\mathfrak{g})$ 内のラグランジュ部分代数における $G$-作用の軌道を用いたポアソン同調的空間の理論を適用し、1 対 1 対応を確立する。

実験結果

リサーチクエスチョン

• RQ1 三角的ケース（$\Omega = 0$）において、古典的動的 $r$-行列と $G/U$ 上のポアソン同調的 $G$-構造の間の対応が双対的となる条件は何か？
• RQ2 $U$ が複素単純リー群 $G$ の Cartan の部分代数を含む再帰的部分群であるとき、$G/U$ 上の三角的ポアソン同調的構造をどのように分類できるか？
• RQ3 Drinfeld 二重 $D(\mathfrak{g})$ は、三角的設定における動的 $r$-行列とラグランジュ部分代数を結ぶ役割を果たすか？
• RQ4 Etingof-Varchenko の解（例：$\Omega = 0$）を射影と共役を用いて、明示的に三角的動的 $r$-行列を導出できるか？

主な発見

• 本稿は、$(\mathfrak{g},\mathfrak{u})$ に対する三角的古典的動的 $r$-行列と $G/U$ 上の三角的ポアソン同調的 $G$-構造の間の 1 対 1 対応を確立し、$\Omega = 0$ の場合にルの結果を一般化する。
• $\mathfrak{g} = \mathfrak{sl}(n)$ の場合、相異なる $h_i$ が和が 0 となるように選ばれた条件下で、Etingof-Varchenko 理論を用いて特定の三角的動的 $r$-行列 $r(0) = \sum_{i<j} \frac{1}{h_i - h_j} E_{ij} \wedge E_{ji}$ が構成される。
• $g = \mathrm{id} - \sum_{i=1}^{n-1} E_{in}$ による共役と、$g(\mathfrak{p}\otimes\mathfrak{p})g^{-1}$ への射影 $p$ を組み合わせることで、放物型部分代数 $\mathfrak{p}$ 内の新しい $r$-行列 $v$ が得られ、明示的に $v = \sum_{i<j<n} \frac{1}{h_i - h_j} (E_{ij} - D_i) \wedge (E_{ji} - D_j) + \sum_{i=1}^{n-1} \frac{1}{h_i - h_n} D_i \wedge \left( \sum_{k \neq i} E_{ki} \right)$ として計算される。
• $r(0)$ の $\mathfrak{v}\otimes\mathfrak{v}\otimes\mathfrak{v}$ 成分が与えられた条件下で消えることにより、射影された $r$-行列 $v$ が修正古典的ヤン・バクスター方程式を満たすことが確認される。
• $r(0)$ の $\mathfrak{u}$-作用による不変性と $\Omega$ の構造により、$A_1 + A_6 = 0$、$A_2 + A_3 = 0$、$A_4 + A_5 = 0$ が成り立ち、構成の整合性が裏付けられる。
• $\mathcal{M}(\mathfrak{g},\mathfrak{u},\Omega)$ から $\mathfrak{v}$ の古典的 $r$-行列への写像は、$g \in \mathrm{Map}_0(D,G)^\mathfrak{u}$ によるゲージ変換の下で $\mathfrak{v}\otimes\mathfrak{v}$ 成分が保存されることから、well-defined である。