D型量子群の微分演算子表現
$D_l$型量子群$U=U_q(\mathrm{so}(2l))$の表現を1階微分演算子を使って構成するメモ書きである。量子群の定義は
Wikipedia
を参照。
$D_l$型の量子群の行列表現に関しては『量子群とヤン・バクスター方程式』を参考にして、今回の微分演算子による表現を頑張って構成した。MATLABで計算をゴリゴリ進めて満たすべき数十個の関係式を検証した。
$$\theta_x=x\frac∂{∂x},\ [N]=\frac{q^N-q^{-N}}{q-q^{-1}},\ D_x=\frac1x[\theta_x],\ [N]_r=[rN]/[r]$$
$$[N]_r!=\prod_{k=0}^N[k]_r,\ \binom{N}{M}_r=\frac{[N]_r!}{[N-M]_r![M]_r!}$$
$$D_k=D_{x_k}, ~~\theta_k=\theta_{x_k}$$
$$単位ベクトルv_i \in R^{2l}, 変数x=(x_1,\ldots,x_{2l})^T, \theta=(\theta_1,\ldots,\theta_{2l})^T$$
$$\alpha,\beta,\gamma \in R^{2l}, \alpha\cdot\beta=\alpha^T\beta$$
$$\uln N=\{1,2,\ldots,N\}$$
$$[x,y]=xy-yx$$
\begin{align}
A\in& \mathbb Z^{l}\\
A_{ij}=& 2~~(i=j\in \uln l)\\
A_{ij}=& -1~~(|i-j|=1\land i,j\in \uln {l-1})\lor ((i,j)=(l-1,l-1)\pm(1,-1) )\\
A_{ij}=&0~~(\rm otherwise)
\end{align}
とする。
\begin{eqnarray} A=\left( \begin{array}{cc} 2 & -1 & 0 & \cdots && 0&0\\ -1 & 2 & -1 & && 0&0 \\ 0& -1 & 2& &&0&0\\ \vdots &&&\ddots\\ &&&&2&-1&-1\\ 0&0&0&&-1&2&0\\ 0&0&0&&-1&0&2 \end{array} \right) \end{eqnarray}
$$M_{ij}=x_iD_jq^{c_{ij}\cdot\theta},~~c_{ij}\in \mathbb{Z}^{2l},k_i=q^{h_i}~~(i,j\in \uln l)$$
\begin{align}
i\in &\uln {l-1}\\
e_i=&M_{i,i+1}-M_{2l-i,2l+1-i}\\
f_i=&M_{i+1,i}-M_{2l+1-i,2l-i}\\
h_i=&\theta_i-\t_{i+1}+\t_{2l-i}-\t_{2l+1-i}\\
e_l=&M_{l-1,l+1}-M_{l,l+2}\\
f_l=&M_{l+1,l-1}-M_{l+2,l}\\
h_l=&\t_{l-1}+\t_{l}-\t_{l+1}-\t_{l+2}\\
\end{align}
\begin{align}
i\in &\uln {l-2}\\
c_{i,i+1}=&0\\
c_{2l-i,2l+1-i}=&v_{i+1}-v_i\\
c_{i+1,i}=&v_{2l-i}-v_{2l+1-i}\\
c_{2l+1-i,2l-i}=&0\\
c_{l-1,l}=&v_{l+1}\\
c_{l+1,l+2}=&-v_{l-1}\\
c_{l,l-1}=&-v_{l+2}\\
c_{l+2,l+1}=&v_{l}\\
c_{l-1,l+1}=&v_{l}\\
c_{l,l+2}=&-v_{l-1}\\
c_{l+1,l-1}=&-v_{l+2}\\
c_{l+2,l}=&v_{l+1}\\
\end{align}
$\alpha_i$を単純ルートとする。$\lambda=\sum_i \lambda_i\alpha_i$のとき$k_\lambda=q^{\sum_i \lambda_i h_i}$と定める。
\begin{align}
k_0&=1\\
k_λk_μ&=k_{λ+μ}\\
k_λe_ik_λ^{-1}&=q^{(λ,α_i)}e_i\\
k_λf_ik_λ^{-1}&=q^{-(λ,α_i)}f_i\\
\end{align}
[直交性]
$$[e_i,f_j]=e_if_j-f_je_i=\delta_{ij}[h_i]_{d_i}$$
[$q$-Serre関係式]
\begin{align}
[e_i,e_j]=[f_i,f_j]&=0~~(A_{ij}=0)\\
e_i^2e_j-[2]e_ie_je_i+e_je_i^2&=0~~(A_{ij}=-1)\\
f_i^2f_j-[2]f_if_jf_i+f_jf_i^2&=0~~(A_{ij}=-1)\\
\end{align}
$$[a+b]=q^{-b}[a]+q^a[b]=q^b[a]+q^{-a}[b]$$
$a+c=±(b+d)$のとき
$$[a][b]-[c][d]=[a+c][\pm a-d]=[b\mp c][a+c]$$
$Ad(x):A\mapsto xAx^{-1}$はVの同型。
特に、$Ad(x)・θ_x=θ_x-1$
$[z+2]-[2][z+1]+[z]=0$より
$$D_zz^{2}-[2]zD_zz+z^2D_z=0$$
$AB=qAB$ならば
$$AB^2-[2]BAB+B^2A=BA^2-[2]ABA+A^2B=0$$
変数$x_i$を$x_{2l+1-i}$に変換する線形写像を$τ$とすると、
$$τ(e_i)=-f_i,\tau(f_i)=-e_i,\tau(h_i)=-h_i$$
という反自己同型写像である。これを用いると$i\geq j$に対し関係式
$$R(e_i,e_j)=0,~~[e_i,f_j]=\delta_{ij}[h_i]$$を示せば、$\tau$を作用させると
$$R(f_i,f_j)=0,~~[e_j,f_i]=\delta_{ij}[h_i]$$
も示されるので、一般性を失わず$i\geq j$とする。
$e_i=M_{ab}-M_{cd},f_i=M_{ba}-M_{dc}$とする。
\begin{align}
[e_i,f_i]=&[M_{ab},M_{ba}]+[M_{cd},M_{dc}]-[M_{ab},M_{dc}]-[M_{ba},M_{cd}]\\
=&([\t_a][\t_b+1]-[\t_a+1][\t_b])q^{\t_c-\t_d}+([\t_c][\t_d+1]-[\t_c+1][\t_d])q^{-\t_a+\t_b}\\
=&[\t_a-\t_b]q^{\t_c-\t_d}+[\t_c-\t_d]q^{-\t_a+\t_b}\\
=&[\t_a-\t_b+\t_c-\t_d]\\
=&[h_i]
\end{align}
\begin{align}
[e_l,f_{l-1}]=&[M_{l-1,l+1},M_{l,l-1}]-[M_{l-1,l+1},M_{l+2,l+1}]-[M_{l,l+2},M_{l,l-1}]+[M_{l,l+2},M_{l+2,l+1}]\\
=&[M_{l-1,l+1},M_{l,l-1}]+[M_{l,l+2},M_{l+2,l+1}]\\
=&x_{l}D_{l+1}(q^{\t_l-\t_{l+2}}(q[\t_{l-1}]-[\t_{l-1}+1])+q^{\t_l-\t_{l-1}}([\t_{l+2}+1]-q[\t_{l+2}]))\\
=&x_{l}D_{l+1}(-q^{\t_l-\t_{l-1}-\t_{l+2}}+q^{\t_l-\t_{l-1}-\t_{l+2}})\\
=&0
\end{align}
\begin{align}
[e_l,e_{l-1}]=&[M_{l-1,l+1},M_{l-1,l}]-[M_{l-1,l+1},M_{l+1,l+2}]-[M_{l,l+2},M_{l-1,l}]+[M_{l,l+2},M_{l+1,l+2}]\\
=&-[M_{l-1,l+1},M_{l+1,l+2}]-[M_{l,l+2},M_{l-1,l}]\\
=&x_{l-1}D_{l+2}(q^{\t_l-\t_{l-1}}(q^{-1}[\t_{l+1}]-[\t_{l+1}+1])+q^{\t_{l+1}-\t_{l-1}}([\t_{l}+1]-q^{-1}[\t_{l}]))\\
=&x_{l}D_{l+1}(-q^{\t_l-\t_{l-1}+\t_{l+1}}+q^{\t_l-\t_{l-1}+\t_{l+1}})\\
=&0
\end{align}
今度は$j\in \uln{l-2},i=j+1,k\in\{0,1,2\}$に対して
$a=M_{i,i+1},~~b=M_{2l-i,2l+1-i}$
$c=M_{j,j+1},~~d=M_{2l-j,2l+1-j}$
とすると
$e_i=a-b,~~e_j=c-d$
$a^{2-k}ca^{k}=a^2x_jq^{c_{j,j+1}\cdot\t}[\t_i+k]$
$b^{2-k}db^k=b^2x_{2l-j}q^{c_{2l-j,2l+1-j}}[\t_{2l+1-i}+k]$
$c^{2-k}ac^{k}=cax_jq^{c_{j,j+1}\cdot\t}[\t_i+k-1]$
$d^{2-k}bd^k=dbx_{2l-j}q^{c_{2l-j,2l+1-j}}[\t_{2l+1-i}+k-1]$
$qcb=bc,~~qad=da$
なので
$e_i^2e_j-[2]e_ie_je_i+e_je_i^2=0$
$e_j^2e_i-[2]e_je_ie_j+e_ie_j^2=0$
割合で見れば$M_{ij}$同士は可換である場合が多いので、その他の関係式に関してはこれらの計算よりも簡単に示すことができる。
よって、これらの微分演算子の表現は$U_q(so(2l))$の表現になっている。こちらの
Rq上の微分演算子によるUq(soN)の実現
という論文でも直交群の実現方法を示しているが、僕の場合は変数$x_i$同士は可換であるという仮定のもとで議論を構築しているので、$R_q$という空間における微分演算子の算術に関しては良く分からない(まだ論文を読めていない)。対象を、非可換変数の微分演算子と考えるか、可換変数の演算子上に落とし込んで考えるか、両者が本質的に相違なるものかはわからない。後で議論する積の構造を考えるにあたっては非可換変数と捉えたほうが好都合かもしれないがよくわからない。非可換変数の微分演算子が見たすべき関係式がわからないので。
たとえば$y_1y_2=qy_2y_1$という関係式がある場合、$y_1=x_1q^{\t_{x_2}},y_2=x_2$とすれば同じ関係式を満たす。そしてそれを微分演算子の空間上に適切に拡張してやることも可能かもしれない。可換変数でどこまで理解できるかを試したい。
余積と整合する結合的かつ単位的な積$\ltimes$(半直積を表す記号ではない)について考える。
余積と整合的であるとは、任意の$f,g\in V,u\in U$に対し$\Delta(u)=\sum u_{1}\otimes u_2$のとき$\Delta(u)\cdot (f\ltimes g)=\sum (u_1\cdot f)\ltimes (u_2\cdot g)$であることをいう。行列$g$で
$$x^\beta\ltimes x^\gamma=q^{\beta\cdot g\gamma}x^{\beta+\gamma}$$
となる積構造だと仮定する。これは結合律と単位律を満たす。
$$x^\alpha\ltimes x^\beta\ltimes x^\gamma=q^{\beta\cdot g\gamma}x^\alpha\ltimes x^{\beta+\gamma}=q^{\alpha\cdot g\beta}x^{\alpha+\beta}\ltimes x^\gamma=q^{\alpha\cdot g\beta+\beta\cdot g\gamma+\alpha\cdot g\gamma}x^{\alpha+\beta+\gamma}$$
$M_{ij}$に関する作用も整合的であると仮定すると自動的に$U$の余積と整合的となる。$i< j,~~h_k=H_k\cdot\t$とする。$E_k=M_{ij}-M_{i'j'}$のとき条件は次のようになる。
$M_{ij}\cdot ($$x^\beta\ltimes x^\gamma)\\$
\begin{align}
&M_{ij}\cdot (x^\beta\ltimes x^\gamma)\\
=&(M_{ij}\cdot x^\beta)\ltimes x^\gamma+ (K_k\cdot x^\beta)\ltimes( M_{ij}\cdot x^\gamma)\\
=&q^{c_{ij}\cdot \beta}[\beta_j]x^{\beta+v_i-v_j}\ltimes x^\gamma+q^{H_k\cdot \beta+c_{ij}\cdot \gamma}[\gamma_j]x^\beta\ltimes x^{\gamma+v_i-v_j}\\
=&(q^{c_{ij}\cdot \beta+(\beta+v_i-v_j)\cdot g\gamma}[\beta_j]+q^{H_k\cdot \beta+c_{ij}\cdot \gamma+\beta\cdot g(\gamma+v_i-v_j)}[\gamma_j])x^{\beta+\gamma+v_i-v_j}\\
=&q^{\beta\cdot g\gamma}M_{ij}\cdot x^{\beta+\gamma}\\
=&q^{\beta\cdot g\gamma+c_{ij}\cdot (\beta+\gamma)}[\beta_j+\gamma_j]x^{\beta+\gamma+v_i-v_j}
\end{align}
よって
$$[\beta_j+\gamma_j]=q^{-c_{ij}\cdot \gamma+(v_i-v_j)\cdot g\gamma}[\beta_j]+q^{H_k\cdot \beta-c_{ij}\cdot \beta+\beta\cdot g(v_i-v_j)}[\gamma_j]$$
$p_{ij}\in \{-1,1\}$として加法定理から
\begin{align}
-c_{ij}\cdot \gamma+(v_i-v_j)\cdot g\gamma=&p_{ij}\gamma_j\\
H_k\cdot \beta-c_{ij}\cdot \beta+\beta\cdot g(v_i-v_j)=&-p_{ij}\beta_j
\end{align}
整合性の条件からこれが任意の$\beta,\gamma$に対して成立するので
\begin{align}
-c_{ij}+g^T(v_i-v_j)=&p_{ij}v_j\\
H_k-c_{ij}+g(v_i-v_j)=&-p_{ij}v_j
\end{align}
となる。また、$F_k=M_{ji}-M_{j'i'}$のときも余積の式から
\begin{align}
M_{ji}\cdot (x^\beta\ltimes x^\gamma)=(M_{ji}\cdot x^\beta)\ltimes (K_k^{-1}\cdot x^\gamma)+x^\beta\ltimes( M_{ji}\cdot x^\gamma)\\
\end{align}
が成立すると仮定できるので同様にして
\begin{align}
-H_k-c_{ji}-g^T(v_i-v_j)=&p_{ji}v_i\\
-c_{ji}-g(v_i-v_j)=&-p_{ji}v_i
\end{align}
となる。ここで4つの条件式をすべて足すと$c_{ij}+c_{ji}=0$という矛盾した条件を導いてしまう。A型の場合はすべての$c$が$0$なので矛盾は現れない。D型において多項式上に積$\ltimes$を定めるwell-definedな方法はあるだろうと思っている。古典極限$q=1$では実際に$x_1^N$への作用で作られる軌道が既約表現になっている。すべての$N$次斉次多項式がこの軌道上に現れるわけではないので、(正確に調べ尽くせていないが)、多項式環をイデアルで割った商が表現空間になっていて、この商の概念をq-deformした際、そのままの商(加群の基底を削減する方法)だと不整合が出てきてしまうものだと今は考えている。
例えば$q=1,l=2,N=2,F=x_1x_4+x_2x_3$は軌道に無い。
なお、広義下三角行列のみの空間$U^-$に代数を制限する場合は束縛される関係式がゆるくなるので、整合する積$\ltimes$の条件はゆるくなる。
