[論文レビュー] A classification of Poisson homogeneous spaces of complex reductive Poisson-Lie groups

Eugene Karolinsky|ArXiv.org|Jan 18, 1999

Advanced Algebra and Geometry参考文献 8被引用数 17

ひとこと要約

この論文は、複素再帰的ポアソン代数群 $G$ にスクライニン括弧を備えた場合、そのポアソン同相空間（連結安定化部分群を有するもの）を、二重リー代数 $\mathfrak{g} \times \mathfrak{g}$ 内の特定のラグランジュ部分代数と一対一対応づけることで分類する。この分類は、対角部分代数と特定の交差条件を満たすラグランジュ部分代数の $G$-軌道を用いて達成され、対称な双一次形式を保存する自己同型のなす群 $\bar{G}$ を用いた幾何的実現が提供される。

ABSTRACT

Let $G$ be a complex reductive connected algebraic group equipped with the Sklyanin bracket. A classification of Poisson homogeneous $G$-spaces with connected isotropy subgroups is given. This result is based on Drinfeld's correspondence between Poisson homogeneous $G$-spaces and Lagrangian subalgebras in the double $D(g)$ (here $g = Lie G$). A geometric interpretation of some of Poisson homogeneous $G$-spaces is also proposed.

研究の動機と目的

• 複素再帰的ポアソン代数群 $G$ にスクライニン括弧を備えた場合、連結固定部分群を有するポアソン同相 $G$-空間を分類すること。
• このような $G$-空間と二重リー代数 $D(\mathfrak{g}) = \mathfrak{g} \times \mathfrak{g}$ 内のラグランジュ部分代数との間の対応関係を確立すること。
• ラグランジュ部分代数 $\mathfrak{l} \subset \mathfrak{g} \times \mathfrak{g}$ で、$\mathfrak{l} \cap \mathfrak{g}_{\text{diag}}$ が $G$ の閉部分群に対応するものについて特徴づけること。
• $\mathfrak{g}$ 上の対称双一次形式を保存する自己同型のなす群 $\bar{G}$ を用いて、特定のポアソン同相 $G$-空間の幾何的解釈を提供すること。

提案手法

• ドリンフェルトの対応関係を用い、ポアソン同相 $G$-空間と二重 $D(\mathfrak{g})$ 内のラグランジュ部分代数との間の対応を活用する。
• 対角随伴作用の下での $\mathfrak{g} \times \mathfrak{g}$ 内のラグランジュ部分代数の $G$-軌道を分析する。
• ラグランジュ部分代数をパラメトライズするための「適切な四つ組 $(\mathfrak{p}, \mathfrak{p}', \theta, \mathfrak{l}_0)$」の概念を導入する。
• 共役作用を用いた $G$-作用を備えたポアソン多様体 $X = \bar{G}$ を構成し、スクライニン構造から導かれるポアソン括弧を備える。
• 定理 4.2 を適用し、$X$ 上の $G$-軌道がポアソン同相 $G$-空間であることを示し、ラグランジュ部分代数 $\mathfrak{l}_g = \{(x, y) \mid x = g(y)\}$ を得る。
• 自然なスカラー積 $\langle (x_1, y_1), (x_2, y_2) \rangle = \langle x_1, x_2 \rangle - \langle y_1, y_2 \rangle$ を用いて、固定部分群とラグランジュ条件を定義する。

実験結果

リサーチクエスチョン

• RQ1 複素再帰的ポアソン代数群に対して、連結安定化部分群を有するポアソン同相 $G$-空間はどのように分類可能か？
• RQ2 このような $G$-空間と $D(\mathfrak{g}) = \mathfrak{g} \times \mathfrak{g}$ 内のラグランジュ部分代数との間の正確な対応関係は何か？
• RQ3 どのラグランジュ部分代数 $\mathfrak{l} \subset \mathfrak{g} \times \mathfrak{g}$ が、対角埋め込みによる $G$ の閉部分群に対応するか？
• RQ4 $\mathfrak{g}$ の自己同型群を用いて、ポアソン同相 $G$-空間の幾何的実現を構成可能か？
• RQ5 適切な四つ組 $(\mathfrak{p}, \mathfrak{p}', \theta, \mathfrak{l}_0)$ は、ラグランジュ部分代数の $G$-軌道をパラメトライズする上で果たす役割は何か？

主な発見

• 連結固定部分群を有するポアソン同相 $G$-空間の完全な分類が、$\mathfrak{g} \times \mathfrak{g}$ 内のラグランジュ部分代数の $G$-軌道を用いて達成された。
• この分類は、$\mathfrak{p}, \mathfrak{p}'$ をパラボリック部分代数とし、$\mathfrak{l}_0$ を $\mathfrak{g}$ の中心の部分代数とする適切な四つ組 $(\mathfrak{p}, \mathfrak{p}', \theta, \mathfrak{l}_0)$ を $G$-共役に関して分類することに等しい。
• $g \in \bar{G}$ に対して $\mathfrak{l}_g = \{(x, y) \mid x = g(y)\}$ の形をしたラグランジュ部分代数は、$\bar{G}$ 上の幾何的実現における $G$-軌道に対応する。
• $\bar{G}$ 上のポアソン括弧は $\{\phi, \psi\} = r^{\mu\nu}_{\text{alt}} (\partial'_{\mu}\phi - \partial_{\mu}\phi)(\partial'_{\nu}\psi - \partial_{\nu}\psi) + r^{\mu\nu}_{\text{sym}} (\partial'_{\mu}\phi - \partial_{\mu}\phi)(\partial'_{\nu}\psi + \partial_{\nu}\psi)$ で与えられ、これは $G$-作用（共役）と整合するポアソン構造を定義する。
• $\bar{G}$ 内の $G$-軌道はポアソン同相 $G$-空間であり、対応するラグランジュ部分代数 $\mathfrak{l}_g$ が $G$-共役であることは、$g$ と $g'$ が $G$ の作用で共役であることに同値である。
• 適切な三つ組の理論により、半単純の場合のジョルダン分解と分類が可能となり、複素半単純リー代数の自己同型の理論に類似した構造が得られる。