1

Moyal積とsubproduct

288
0

大森英樹氏の書籍『量子的な微積分』において、Moyal積と呼ばれる謎の積が定義されていた。計算方法もいまいちわかりにくいが、この著書において種々の謎現象を引き起こす中心人物となっている。google検索を書けると出くわすのは、Wittenの開弦の場の理論において、”Wittenの*積”としてMoyal積が導入されたというものである。A型の量子群のmodule algebraの考察において勝手にmoyal積の構造が出現していたことに気づいたので、記事を書くことにした。その辺の物理をよく知らないので、キーワードしか掴めていないが、変形量子化とつながりが深いのは、量子群がそもそもリー代数の普遍包絡環の量子化であることから自明である。
 本題に入る。記号や議論は A型量子群の表現とmodule algebra の続きとなっているので、まずそちらを参照してほしい。そこにあるとおり、多項式環C(q)[x,y]において積xa1yb1xa2yb2=qa1b2xa1+a2yb1+b2とするとこれは代数を定め、Uq(sl2)の表現の作用と整合性を持つ(module algebra)。通常の多項式の積をP~:fgfg、module algebraの積をP:fgfgとする。するとP=P~qθxθyという式が成り立つことが分かる。A型の場合、余積を固定した場合、一意的にこのPが定まることは証明済みである。一方で、余積は次のようにパラメータμRごとに無限に存在する。
  Δ(Ei)=Ki1μEi+EiKiμ Δ(Fi)=KμFi+FiKiμ1 Δ(Ki)=KiKi 
それに応じて、module algebraの積はPμ=P~q(1μ)θxθyμθyθxと変化する。
(誤植があったので以下の項目は24/10/6に編集した)
([1]p26参照)
変数変換x=eu,y=eiv,q=eをするとμ=1,0,1/2それぞれにおいて
正規順序表示:ΨDO-積公式
fg=P~exp(ivu)(fg)=fexp(iv u)g
正規順序表示:Ψ¯DO-積公式
fg=P~exp(iuv)(fg)=fexp(iu v)g
Weyl順序表示:Moyal積公式
fg=P~exp(i2vu)(fg)=fexp(i2vu)g
ただしvu=vuuv
となる。右は大森氏の著書にあるような、物理学者流の記法である(直感的な記法だが、導入としては好きではない)
著書においては、非可換なWeyl代数の元を(反)正規/Weyl順序表示で計算する際の表示の違いとして導入されているが、module algebraとしては対応する余積の違いによってこのような積が変化している。module algebraとしては(つまり多項式環内の演算としては)は結合的であるが、無限級数や乗法逆元を考えたときの結合律は破れていると捉えるのが妥当な現象が現れるようである。折角module algebraとして量子群が作用しているので、その代数構造を用いて見通しよくMoyal積の全体像を考えることはできないか?と考えている。
以下、をMoyal積として考察を行う。

定義語句(任意)

真空元
ϖ00=2exp(2iuv)=2exp(2logxlogy)
共役真空元
ϖ¯00=2exp(2iuv)=2exp(2logxlogy)
[1]p37真空

これはいかにも奇妙な見た目である。
module algebraとして多項式を考えている分には素直な振る舞いをするが、この元を追加することで奇妙な振る舞いを観察できる。

公式名(任意)

vϖ00=ϖ00u=0
uϖ¯00=ϖ¯00=0

ここでnotationをガラッと変えてWeyl代数やτ積との関係性について見る。あまりにも変わりすぎて記号を統一するのが不可能になってしまった。

大森
DO積公式
P(uavbucvd)=qbcua+cvb+d=P~qθvθuuavbucvd
(ただしP~uavbucvd=ua+cvb+d)
にたいして次のようなWeyl代数の表現を考える
u=ex, v=ep, [x,p]=i, q=ei
演算子の等式として次が成立する。
uavbucvd=qbcua+cvb+d
これは交換子の公式で次のように計算できる。
ebxecp=ecp+[bx,cp]ebx=qbcecpebx
DO積公式のu,vを消去すると次のようになる。
uavbucvd=P~qpxuavbucvd
ただし、うえの計算において[x,p]=[p,x]=0(可換)であるとしておく。より一般に、
f(x,p)g(x,p)=P~qpxf(x,p)g(x,p)
(ただしP~f1(x)f2(p)g1(x)g2(p)=f1(x)g1(x)f2(p)g2(p))
となる。これはPBWの定理などでxapbの形にWeyl代数の普遍包絡環の基底をとって書き下す際に用いることができるので有用である。

τ積に関する考察も書いておこう。τ積はパラメータτが入った積で、可逆な演算子T=eτ4ζ2:C[ζ]C[ζ]を用いて
f(ζ)τg(ζ)=T((T1f(ζ))(T1g(ζ)))
と定義される。余積(準同型)Δ(ζ)=、積P~:fgfg
ζP~=P~Δ(ζ)
という関係性を持つので、Pτ:fgfτg
Pτ=TP~(T1T1)=P~Δ(T)(T11)(1T1)=P~eτ4Δ(ζ)2eτ4ζ21eτ41ζ2=P~eτ4(1ζ+ζ1)2τ4ζ21τ41ζ2=P~eτ2ζζ
という計算公式を得る。
ここで、ζ=x+p, τ=2iとしよう。
xf(ζ)=pf(ζ)=ζf(ζ)なので
P~qpx(f(ζ)g(ζ))=P~eτ2ζζ(f(ζ)g(ζ))=Pτ(f(ζ)g(ζ))

なのでP=P~qpx
P(f(ζ)g(ζ))=Pτ(f(ζ)g(ζ))
つまり、ζという1変数を考える場合においては
PPτ
と考えられるのである!
適当にζ=ax+bpなどと線形変換した場合も適当な線形変換が存在してτ積とu,v(Weyl代数)の非可換積を繋ぐ関係式がある。
という発見を今日したので心が平穏である。

投稿日:2023108
更新日:2024119
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

赤げふ
赤げふ
92
15597
東工大情報B4 数学,理論物理,Minecraft計算機/微分演算子の記事を書きます/主に表現論,量子群,物理の数理に興味があります

コメント

他の人のコメント

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