0

量子群とヤン・バクスター方程式 定理4.2

377
0
$$\newcommand{dim}[0]{\operatorname{dim}} \newcommand{GL}[0]{\operatorname{GL}} \newcommand{Ind}[0]{\operatorname{Ind}} $$

量子群とヤン・バクスター方程式の定理4.2の証明の最後の部分がいくらなんでもギャップが大きすぎると思うので,それを補完したいと思います.

一応ステートメントは書いておきます.

$q$$1$のべき根でないとき、$U_q(sl_2(\mathbb{C}))$の有限次元表現は完全可約である.

本文のStep3の最後の部分の$W':=$Ker$f$$U_q$加群になってることについてのみ述べる.
$\mathbb{C}f$$U_q$加群であるから,任意の$X\in U_q$について$Xf$$f$のスカラー倍である.
故に,$w\in W'$に対して$(Xf)w=0$である.
よって,
$0=(K^{\pm1}f)w=\pi_W(K^{\pm1})\circ f\circ \pi_V(K^{\mp1})w$
$0=(X^+f)w=(\pi_W(X^+)\circ f)w+\pi_W(K)\circ f\circ\pi_V(-K^{-1}X^+)w =-\pi_W(K)\circ f\circ \pi_V(K^{-1})\circ\pi_V(X^+)w\ (\because w\in W')$
$0=(X^-f)w=\pi_W(X^-)\circ f \circ \pi_V(K)w-f\circ \pi_V(X^-)\circ \pi_V(K)w$
ここで,$K^{\pm1}$の作用が可逆であることに注意すると一つ目の式から
$f(\pi_V(K^{\pm1})w)=0$
よって,$\pi_V(K^{\pm1})W'\subset W'$,特に$\pi_V(K^{\pm1})W'= W'$である.
二つ目の式から
$\pi_V(K^{-1})\pi_V(X^+)W'\subset W'$
両辺に$K$を作用させると$\pi_V(K^{\pm1})W'= W'$より
$\pi_V(X^+)W'\subset W'$
である.
三つ目の式から
$\pi_V(X^-)\pi_V(K)W'\subset W'$
である.$\pi_V(K^{\pm1})W'= W'$より
$\pi_V(X^-)W'\subset W'$
である.したがって$W'$$U_q$の生成元の作用によって不変であるから$U_q$の表現である. $\square$

投稿日:202367
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

浅井
浅井
0
1409

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中