[論文レビュー] Some quantum analogues of solvable Lie groups

Corrado De Concini, Victor G. Kač+1 more|ArXiv.org|Aug 27, 1993

Algebraic structures and combinatorial models参考文献 11被引用数 63

ひとこと要約

本稿は、根数の単位根における量子包合代数の文脈において、半単純代数的群の可解的およびユニポテン型部分群の量子類似物を、ねじれ多項式代数を用いて考察する。量子代数の既約表現の次元が $\ell^{\frac{1}{2}(\ell(w) + \mathrm{rank}(1 - w))}$ で割り切れることが示され、量子的状況下における表現論とポアソン幾何の深い関係が裏付けられる。

ABSTRACT

In this paper we analyze the structure of some subalgebras of quantized enveloping algebras corresponding to unipotent and solvable subgroups of a simple Lie group G. These algebras have the non--commutative structure of iterated algebras of twisted polynomials with a derivation, an object which has often appeared in the general theory of non-commutative rings. In particular, we find maximal dimensions of their irreducible representations. Our results confirm the validity of the general philosophy that the representation theory is intimately connected to the Poisson geometry.

研究の動機と目的

• 半単純代数的群のユニポテン型および可解的部分群に対応する量子包合代数の部分代数を研究すること。
• これらの部分代数が反復的ねじれ多項式環（導分を伴う）としてどのように構造化されるかを分析すること。
• これらの量子代数の既約表現の最大次元を特定すること。
• 量子的状況下における表現論とポアソン幾何の関係を確認すること。
• 古典的極限におけるシンプレクティック葉の次元と関連する表現次元を結ぶ一般化された予想を提示し、それを裏付けること。

提案手法

• 自己同型 $\sigma$ とねじれ導分 $D$ によって定義されるねじれ多項式代数 $A_{\sigma,D}[x]$ を用いる。ここで $D(ab) = D(a)b + \sigma(a)D(b)$ を満たす。
• $q$-変形二項係数公式および $q$-整数 $[n]$、$[n]!$、$\begin{bmatrix}m\\n\end{bmatrix}$ を用いて反復的ねじれ導分を計算する。
• $q$ が原始 $\ell$ 乗根であるとき、$0 < j < \ell'$ に対して $\begin{bmatrix}\ell'\\j\end{bmatrix} = 0$ となることから、高次のねじれ導分が消えることを利用する。
• 量子包合代数の商 $\mathcal{B}_\varepsilon$ を、$\mathrm{Spec}\, Z^+_0$ のポアソン多様体におけるシンプレクティック葉に対応する極大イデアルを法としてとる。
• トーラス $T$ の $\mathcal{B}_\varepsilon$ 上への作用を用いて、固定されたワイル群元 $w$ の上でのシンプレクティック葉の推移的置換を示す。
• 非可換代数（例：アズマヤ代数、トレース技法）および幾何的表現論の結果を用いて、表現次元の上限を求める。

実験結果

リサーチクエスチョン

• RQ1 ユニポテン型および可解的部分群に対応する量子包合代数の部分代数の構造は何か？
• RQ2 導分を伴うねじれ多項式代数は、根数の単位根における量子群の表現論をどのように記述するか？
• RQ3 このような量子代数の既約表現の最大次元は何か？
• RQ4 表現論は古典的極限のポアソン幾何とどのように関係するか？
• RQ5 古典的極限におけるシンプレクティック葉の次元を用いた、表現次元の一般式は存在するか？

主な発見

• 点 $p \in X_w$ に対応する量子代数 $\mathcal{B}_\varepsilon$ の既約表現の次元は、$\ell^{\frac{1}{2}(\ell(w) + \mathrm{rank}(1 - w))}$ で割り切れる。
• 仮定として $\ell$ が良い整数であるとき、$\mathcal{B}_\varepsilon$ の既約表現の最大次元は正確に $\ell^{\frac{1}{2}(\ell(w) + \mathrm{rank}(1 - w))}$ に等しい。
• 部分代数 $\mathcal{B}^w_\varepsilon$ は $B^w$ の座標環上の有限自由加群であり、その次数は $\ell^{\frac{1}{2}(\ell(w) + \mathrm{rank}(1 - w))}$ に等しい。
• $K_\lambda^\ell$ および $E_\alpha^\ell$ によって生成される $Z_0$ の部分代数 $Z_{0,w} \subset Z_0$ は $B^w$ の座標環に同型である。
• 一般点における $X_w$ の中で、既約表現を $\mathcal{B}^w_\varepsilon$ に制限すると、その合成因子の次元は $\deg \mathcal{B}^w_\varepsilon$ に等しくなる。
• 予想は $P_{ij} = 0$ の場合に成立し、すべての主要定理と整合的である。これは一般原理を示唆している：$\dim \pi = \ell^{\frac{1}{2} \dim \mathcal{O}_\pi}$ が、$\mathrm{Spec}\, Z_0$ のシンプレクティック葉 $\mathcal{O}_\pi \subset \mathrm{Spec}\, Z_0$ 上の中心的特徴を持つ既約表現に対して成り立つ。