[論文レビュー] Modules over quantized coordinate algebras and PBW-bases

Toshiyuki Tanisaki|arXiv (Cornell University)|Sep 29, 2014

Algebraic structures and combinatorial models参考文献 12被引用数 8

ひとこと要約

本稿は、量子化座標代数上のSoibelmanの既約モジュールを誘導モジュールとして統一的に実現し、正部分の量子包あくり代数におけるPBW型基底の移行行列とSoibelmanモジュールにおける自然基底の移行行列との間の対応関係について一般化された証明を提供する。Kuniba, Okado, and Yamadaの、これらのモジュール上に作用する作用素に関する予想を確認する。

ABSTRACT

Around 1990 Soibelman constructed certain irreducible modules over the quantized coordinate algebra. A. Kuniba, M. Okado, Y. Yamada recently found that the relation among natural bases of Soibelman's irreducible module can be described using the relation among the PBW-type bases of the positive part of the quantized enveloping algebra, and proved this fact using case-by-case analysis in rank two cases. In this paper we will give a realization of Soibelman's module as an induced module, and give a unified proof of the above result of Kuniba, Okado, Yamada. We also verify Conjecture 1 of Kuniba, Okado, Yamada about certain operators on Soibelman's module.

研究の動機と目的

• 量子化座標代数上のSoibelmanの既約モジュールを誘導モジュールを用いて一様かつ表現論的に構成すること。
• U_q(\mathfrak{n}^+)におけるPBW基底移行とSoibelmanモジュールにおける基底移行との観察された対応関係について、ケース別分析を避けた概念的証明を提供すること。
• Kuniba, Okado, and Yamadaの予想1、特にSoibelmanモジュール上に作用する特定の作用素の作用を検証すること。
• 完成化されたテンソル積における構成の有効性を示すことにより、可換化可能Kac-Moodyリー代数へと枠組みを拡張すること。

提案手法

• 部分代数 \mathbb{C}_q[(N^- \cap wN^+w^{-1})\backslash G] 上の1次元表現から誘導モジュール \overline{\mathcal{M}}_w を構成し、Soibelmanモジュールの構成を一般化する。
• 任意の簡約表現 w = s_{i_1} \cdots s_{i_m} に対して、\overline{\mathcal{M}}_w \cong \mathcal{F}_{i_1} \otimes \cdots \otimes \mathcal{F}_{i_m} である同型を確立し、誘導モジュールをランク1モジュールのテンソル積と関連付ける。
• U_q(\mathfrak{n}^+)におけるPBW基底の移行行列を用いて、\overline{\mathcal{M}}_w の自然基底における基底変換を記述し、正規化を除いて等価であることを示す。
• 作用素 \widehat{e}_{\mathbf{i}}^{(\mathbf{n})} を定義し、係数 d_{\mathbf{i},\mathbf{n}} を含むものと基底元 \overline{p}_{\mathbf{i}}(\mathbf{n}) との間の作用を関連づけ、基底変換の比較を可能にする。
• 2つの自然基底間の移行行列が、U_q(\mathfrak{n}^+)における対応するPBW基底の移行行列と、正規化因子を除いて一致することを証明する。
• Kuniba, Okado, and Yamadaの予想1を、特定の作用素が \overline{\mathcal{M}}_w 上でPBW基底移行と同じ行列を介して作用することを示すことにより検証する。

実験結果

リサーチクエスチョン

• RQ1 \mathbb{C}_q[G] 上のSoibelmanの既約モジュールは、どのように誘導モジュールを用いて一様に構成できるか？
• RQ2 U_q(\mathfrak{n}^+)におけるPBW基底移行とSoibelmanモジュールにおける基底移行との対応関係は、ランクやケース別分析に依存しないか？
• RQ3 特定の作用素がSoibelmanモジュール上に作用するという予想は、どのように厳密に検証できるか？
• RQ4 結果は、可換化可能Kac-Moodyリー代数へどの程度まで拡張可能か？

主な発見

• q が単位根でない限り、誘導モジュール \overline{\mathcal{M}}_w は \mathbb{C}_q[G]-モジュールとして既約である。
• 任意の簡約表現 w = s_{i_1} \cdots s_{i_m} に対して、\mathbb{C}_q[G]-モジュール同型 \overline{\mathcal{M}}_w \cong \mathcal{F}_{i_1} \otimes \cdots \otimes \mathcal{F}_{i_m} が存在し、Soibelmanモジュールがテンソル積として実現される。
• 異なる簡約表現に対応する \overline{\mathcal{M}}_w の2つの自然基底間の移行行列は、U_q(\mathfrak{n}^+)における対応するPBW基底の移行行列と、正規化因子を除いて一致する。
• 作用素 \frac{1}{1-q_i^2}(\sigma^{w_0}_{-\varpi_{i'}}e_i)(\sigma^{w_0}_{-\varpi_{i'}})^{-1} が \overline{p}_{\mathbf{i}}(\mathbf{n}) 上に作用する様子は、PBW基底移行と同じ行列によって記述され、Kuniba, Okado, and Yamadaの予想1が確認される。
• 完成化されたテンソル積におけるコムルティプリケーションの解釈と関連するホモモーフィズムが適切に定義される限り、結果は可換化可能Kac-Moodyリー代数へ拡張可能である。