[論文レビュー] Coideal Subalgebras and Quantum Symmetric Pairs

Gail Letzter|ArXiv.org|Mar 30, 2001

Algebraic structures and combinatorial models参考文献 27被引用数 82

ひとこと要約

本稿では、量子包合代数の片側コイデアル部分代数を用いて、量子対称対の統一的枠組みを構築し、量子ハリシュ・チャンドラモジュールおよび量子対称空間の構成におけるその役割を確立する。主な貢献は、球対称モジュールを特徴づける、重み条件 $ olimits \lambda \in P^{+}_{ Theta}$ による特徴付けであり、これは非ゼロの $B$-不変部分空間を持つ有限次元表現を分類し、量子ゾーン球関数と関連付ける。

ABSTRACT

Coideal subalgebras of the quantized enveloping algebra are surveyed, with selected proofs included. The first half of the paper studies generators, Harish-Chandra modules, and associated quantum homogeneous spaces. The second half discusses various well known quantum coideal subalgebras and the implications of the abstract theory on these examples. The focus is on the locally finite part of the quantized enveloping algebra, analogs of enveloping algebras of nilpotent Lie subalgebras, and coideals used to form quantum symmetric pairs. The last family of examples is explored in detail. Connections are made to the construction of quantum symmetric spaces.

研究の動機と目的

• 量子包合代数における片側コイデアル部分代数の一般理論を展開し、量子対称対を構成すること。
• 古典的ケースに類似する重み条件を用いて、量子設定における有限次元球対称モジュールを特徴づけること。
• コイデアル部分代数、量子同次空間、および量子関数代数 $R_q[G]$ の構造との関係を確立すること。
• コイデアル部分代数を用いた一様な量子対称空間の構成法を提供すること。

提案手法

• 最大分解型の場合に特に、$U_q(\mathfrak{g}^\theta)$ の量子アナロジーとして片側コイデアル部分代数を用いる。
• 量子ハリシュ・チャンドラモジュールを用いて、コイデアル部分代数の下での表現と不変量を分析する。
• 量子関数代数 $R_q[G]$ におけるコイデアル部分代数の双対を用いて、量子同次空間を構成する。
• $U_q(\mathfrak{g})$ におけるフィルトレーションを用いて、やや弱い条件下でコイデアル部分代数の生成元を記述する。
• 局所有限部分 $F(U)$ が、ホップ部分代数ではないがコイデアル部分代数であり、有限次元表現を支えることを特定する。
• コイデアル構造を用いて、ピーターウェイの分解を証明し、$R_q[G]$ における $B$-不変量の特徴づけを行う。

実験結果

リサーチクエスチョン

• RQ1 $U_q(\mathfrak{g}^\theta)$ がホップ部分代数として埋め込まれない場合、$U_q(\mathfrak{g})$ の片側コイデアル部分代数をどのように用いて量子対称対を構成できるか。
• RQ2 最高重量 $\lambda$ が、有限次元 $U_q(\mathfrak{g})$-モジュール $L(\lambda)$ が非ゼロの $B$-不変ベクトルを持つための条件は何か。
• RQ3 コイデアル部分代数は、量子同次空間および $R_q[G]$ の分解とどのように関係するか。
• RQ4 $R_q[G]$ における $B$-双不変部分空間の構造は何か。また、これは量子ゾーン球関数とどのように関連するか。
• RQ5 本稿で提示されたコイデアル部分代数は、以前の量子対称空間の構成で用いられた左イデアルを同じように生成できるか。

主な発見

• 対称対 $\mathfrak{g}^\theta, \mathfrak{g}$ に対応するコイデアル部分代数 $B$ は、$U_q(\mathfrak{g}^\theta)$ の量子アナロジーであることが示され、$B$ は一般にホップ部分代数ではないが、コイデアル条件を満たす。
• 有限次元 $U_q(\mathfrak{g})$-モジュール $L(\lambda)$ は、$B$-不変部分空間を高々1次元しか持たず、その次元が1であるための必要十分条件は $\lambda \in P^{\pm}_{\Theta}$ であること、すなわち特定の直交性および整数性条件を満たす支配的整数重みの集合に属することである。
• $R_q[G]$ における左 $B$-不変部分空間 $R_q[G]^B_l$ は、右 $U_q(\mathfrak{g})$-加群として $\bigoplus_{\lambda \in P^{+}_{\Theta}} L(\lambda)^*$ に同型である。
• $R_q[G]$ における $B$-双不変部分空間 $R_q[G]^B_{bi}$ は、各 $\mathcal{H}(\lambda)$ が1次元の自明な $B$-双加群であるとき、$\bigoplus_{\lambda \in P^{+}_{\Theta}} \mathcal{H}(\lambda)$ に同型である。
• $R_q[G]^B_{bi}$ は可換であり、$\mathbb{C}(q)[\mathcal{A}]^{W_\Theta}$ に同型である。ここで $\mathcal{A}$ はカルタン部分空間の量子アナロジーであり、$W_\Theta$ は制限付きワイル群である。
• $\mathcal{H}(\lambda)$ は量子ゾーン球関数として特定され、初期的証拠から一般にマクドナルド多項式または $q$-超幾何級数に一般化可能である可能性がある。