亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        A3型李代數的張量積分解

        2021-03-31 02:36:20魏玉麗王利萍代佳華
        北京建筑大學學報 2021年1期

        魏玉麗, 王利萍, 代佳華

        (北京建筑大學 理學院,北京 100044)

        Kazhdan-Lusztig多項式的首項系數是Kazhdan-Lusztig理論中的核心研究對象[1],這些系數對研究該理論起到了至關重要的作用。為了計算一些最低雙邊胞腔上的Kazhdan-Lusztig多項式的首項系數,需要知道李代數中不可約模的張量積重數;而張量積中不可約模的重數在李代數理論中也是一個重要的問題。許超[2]給出了A2的不可約模的張量積分解的一個計算方法。于桂海等[3]給出了特征數大于0的代數閉域上C2型單連通半單代數群,限制支配權所對應的不可約模的張量積分解。對于A型李代數的張量積分解,理論上有Young圖法、Klymik公式、Pieris公式。

        1 預備知識

        W0={e,s1,s2,s3,s1s3,s2s1,s1s2,s2s3,s3s2,s1s3s2,

        s1s2s3,s1s2s1,s2s1s3,s2s3s2,s3s2s1,s1s3s2s1,

        s1s3s2s3,s1s2s3s1,s2s1s3s2,s2s3s2s1,s2s1s3s2s1,

        s1s3s2s1s3,s1s2s3s1s2,s2s1s3s2s1s3}

        1)s0ω=ωs1,s1ω=ωs2,s2ω=ωs3,s3ω=ωs0。

        2)s0ω2=ω2s2,s1ω2=ω2s3,s2ω2=ω2s0,s3ω2=ω2s1。

        3)s0ω3=ω3s3,s3ω3=ω3s2,s2ω3=ω3s1,s1ω3=ω3s0。

        并且有Λ=x1+x2+x3,Λ+=x1+x2+x3,Λr=α1+α2+α3。

        1.2 李代數中張量積分解的相關結論

        設L=sl(4,F), 為上A3型李代數。設V(λ)為首權是λ的不可約最高權L-模,V(λ)的權格為∏(λ),且L的基本支配權為x1、x2、x3。如果μ∈Λ,定義μ在V(λ)(λ∈Λ+)內的重數為mλ(μ)=dimV(λ)μ[5]。

        引理2[5]如果λ∈Λ+,則不可約L-模V=V(λ)是有限維的,且權集合∏(λ)被W0所置換,使得對于σ∈W0,有dimVμ=dimVσμ。

        引理3[5](Freudenthal公式)設V=V(λ)是首權為λ(λ∈Λ+)的不可約L-模,如果μ∈Λ,則μ在V內的重數m(μ)可從如下的遞推得到:

        [(λ+δ,λ+δ)-(μ+δ,μ+δ)]m(μ)=

        (1)

        計算m(μ)分三步:第一步確定集合D={λ,比λ低的支配權};第二步計算和D中元素共軛的元素;第三步將前兩步的所有元素按照一定水平進行排列。然后根據引理2~3計算出m(μ)。

        引理4[5]使得V(λ)可能出現在V(λ′)?V(λ″)的加項中的λ∈Λ+,只能形如μ+λ″,μ∈∏(λ′)。當這樣的μ+λ″都是支配權時,V(μ+λ″)出現在張量積內,且重數為mλ′(μ)。

        2 A3型李代數的張量積分解

        2.1 ∏(λ)的計算

        首先定義S(λ)(λ∈Λ+)為W0中的元素作用在λ上所得到的元素的集合,即為和λ共軛的元素的集合,同時定義H={x1,x2,x3,2x1,2x2,2x3,x1+x3,x2+x3,x1+x2}。對于λ∈H有:

        S(x1)={x1,-x3,x3-x2,x2-x1}

        S(x2)={x2,x1-x2+x3,x3-x1,x1-x3,

        x2-x1-x3,-x2}

        S(x3)={x3,-x1,x2-x3,x1-x2}

        再利用編程可得:

        S(2x1)={2x1,-2x3,2(x3-x2),2(x2-x1)}

        S(2x2)={2x2,-2x2,2(x1-x2+x3),

        2(x3-x1),2(x1-x3),2(x2-x1-x3)}

        S(2x3)={2x3,-2x1,2(x2-x3),2(x1-x2)}

        S(x1+x2)={2x2-x1,2x1-x2+x3,x1+x2,

        x2+x3-2x1,x1-2x2+2x3,2x1-x3,

        2x2-2x1-x3,2x3-x1-x2,x1-2x3,

        x2-x1-2x3,x3-2x2,-x2-x3}

        S(x1+x3)={x2-x1+x3,x1+x3,x1+x2-x3,

        2x2-2x1-x3,2x3-x2,2x1-x2,

        x2-2x1,x1+x3-2x2,x2-2x3,x3-x1-x2,

        x1-x2-x3,-x1-x3}

        S(x2+x3)={x2+x3,x1-x2+2x3,2x2-x3,

        2x3-x1,2x1-2x2+x3,x1+x2-2x3,

        2x2-x1-2x3,x3-2x1,2x1-x2-x3,

        x2-2x1-x3,x1-2x2,-x1-x2}

        接下來計算上述λ對應的∏(λ),∏(λ)中含有λ、比λ低的支配權,以及它們在W0下共軛的元素:

        ∏(x1)={x1,-x3,x3-x2,x2-x1}

        ∏(x2)={x2,x1-x2+x3,x3-x1,

        x1-x3,x2-x1-x3,-x2}

        ∏(x3)={x3,-x1,x2-x3,x1-x2}

        ∏(2x1)={2x1,-2x3,2(x3-x2),2(x2-x1),x2,

        x1-x2+x3,x3-x1,x1-x3,x2-x1-x3,-x2}

        ∏(2x2)={2x2,-2x2,2(x1-x2+x3),

        2(x3-x1),2(x1-x3),2(x2-x1-x3),

        x2-x1+x3,x1+x3,x1+x2-x3,

        2x2-2x1-x3,2x3-x2,2x1-x2,

        x2-2x1,x1+x3-2x2,x2-2x3,

        x3-x1-x2,x1-x2-x3,-x1-x3,0}

        ∏(2x3)={2x3,-2x1,2(x2-x3),2(x1-x2),

        x1-x2+x3,x3-x1,x1-x3,x2-x1-x3,-x2}

        ∏(x1+x3)={x2-x1+x3,x1+x3,

        x1+x2-x3,2x2-2x1-x3,2x3-x2,2x1-x2,

        x2-2x1,x1+x3-2x2,x2-2x3,x3-x1-x2,

        x1-x2-x3,-x1-x3,0}

        ∏(x1+x2)={2x2-x1,2x1-x2+x3,

        x1+x2,x2+x3-2x1,x1-2x2+2x3,

        2x1-x3,2x2-2x1-x3,2x3-x1-x2,

        x1-2x3,x2-x1-2x3,x3-2x2,

        -x2-x3,x3,-x1,x2-x3,x1-x2}

        ∏(x2+x3)={x2+x3,x1-x2+2x3,

        2x2-x3,2x3-x1,2x1-2x2+x3,x1+x2-2x3,

        2x2-x1-2x3,x3-2x1,2x1-x2-x3,x2-2x1-x3,

        x1-2x2,-x1-x2,x1,-x3,x3-x2,x2-x1}

        2.2 A3型李代數的權重數計算

        命題1設V=V(λ)是首權為λ的不可約L-模,λ∈{x1,x2,x3,2x1,2x3}。如果μ∈∏(λ), 則μ在V內的重數m(μ)=1。

        命題2設V=V(2x2)是首權為2x2的不可約L-模,如果μ為0權時,則m(μ)=2。如果μ不是0權且μ∈∏(2x2), 則μ在V內的重數m(μ)=1。

        命題3設V=V(x1+x3)是首權為x1+x3的不可約L-模,如果μ為0權時,則m(μ)=3。如果μ不是0權且μ∈∏(x1+x3), 則μ在V內的重數m(μ)=1。

        命題4設V=V(x1+x2)是首權為x1+x2的不可約L-模,如果μ∈{x3,x2-x3,x1-x2,-x1}時,則m(μ)=2。否則,m(μ)=1。

        命題5設V=V(x2+x3)是首權為x2+x3的不可約L-模,如果μ∈{x1,-x2+x3,-x1+x2,-x3}時,則m(μ)=2。否則,m(μ)=1。

        2.3 A3型李代數的張量積分解

        定理1根據引理4,得到以下結論:

        1)當λ′∈{x1,x2,x3,2x1,2x3}時,對V(λ′)?V(λ″)進行分解之后各項的重數皆為1。

        2)當λ′=2x2時,V(λ″)對應的模重數為2,其余為1。

        3)當λ′=x1+x3時,V(λ″)對應的模重數為3,其余為1。

        4)當λ′=x1+x2時,V(λ″+x3),V(λ″-x1),V(λ″+x2-x3),V(λ″+x1-x2)對應的模重數為2,其余為1。

        5)當λ′=x2+x3時,V(λ″+x1),V(λ″-x3),V(λ″+x3-x2),V(λ″+x2-x1)對應的模重數為2,其余為1。

        V(x1)?V(x1)=V(2x1)⊕V(x2);

        V(x1)?V(x2)=V(x1+x2)⊕V(x3);

        V(x1)?V(x3)=V(x1+x3)⊕V(0);

        V(x1)?V(2x1)=V(3x1)⊕V(x1+x2);

        V(x1)?V(2x2)=V(2x2+x1)⊕V(x2+x3);

        V(x1)?V(2x3)=V(2x3+x1)⊕V(x3);

        V(x1)?V(x1+x3)=

        V(2x1+x3)⊕V(x1)⊕V(x2+x3);

        V(x1)?V(x1+x2)=

        V(2x1+x2)⊕V(2x2)⊕V(x1+x3);

        V(x1)?V(x3+x2)=

        V(x2)⊕V(2x3)⊕V(x1+x2+x3);

        V(x1)?V(x1+x2+x3)=V(2x1+x2+x3)⊕

        V(2x3+x1)⊕V(x1+x2)⊕V(2x2+x3);

        V(x2)?V(x1)=V(x1+x2)⊕V(x3);

        V(x2)?V(x2)=V(2x2)⊕V(x1+x3)⊕V(0);

        V(x2)?V(x3)=V(x3+x2)⊕V(x1);

        V(x2)?V(2x1)=V(2x1+x2)⊕V(x1+x3);

        V(x2)?V(2x2)=V(3x2)⊕V(x1+x2+x3)⊕V(x2);

        V(x2)?V(2x3)=V(2x3+x2)⊕V(x1+x3);

        V(x2)?V(x1+x3)=V(x1+x2+x3)⊕V(2x1)⊕

        V(2x3)⊕V(x2);

        V(x2)?V(x1+x2)=V(x1+2x2)⊕V(x2+x3)⊕

        V(2x1+x3)⊕V(x1);

        V(x2)?V(x3+x2)=V(2x2+x3)⊕V(2x3+x1)⊕

        V(x1+x2)⊕V(x3);

        V(2x3)?V(2x2)=V(2x3+2x2)⊕V(2x1)⊕

        V(3x2)⊕V(x1+x2+x3)⊕V(x2);

        V(x3)?V(x1)=V(x1+x3)⊕V(0);

        V(x3)?V(x2)=V(x3+x2)⊕V(x1);

        V(x3)?V(x3)=V(2x3)⊕V(x2);

        V(x3)?V(2x1)=V(2x1+x3)⊕V(x1);

        V(x3)?V(2x2)=V(2x2+x3)⊕V(x1+x2);

        V(x3)?V(2x3)=V(3x3)⊕V(x2+x3);

        V(x3)?V(x1+x3)=V(x1+2x3)⊕

        V(x1+x2)⊕V(x3);

        V(x3)?V(x1+x2)=V(x1+x2+x3)⊕

        V(x2)⊕V(2x1);

        V(x3)?V(x3+x2)=V(x2+2x3)⊕

        V(2x2)⊕V(x1+x3);

        V(x3)?V(x1+x3+x2)=V(x1+x2+2x3)⊕

        V(x2+x3)⊕V(2x1+x3);

        V(2x1)?V(2x1)=V(4x1)⊕V(2x2)⊕

        V(2x1+x2)⊕V(x1+x3);

        V(2x1)?V(2x2)=V(2x1+2x2)⊕V(2x3)⊕

        V(3x2)⊕V(x1+x2+x3)⊕V(x2);

        V(2x1)?V(2x3)=V(2x1+2x3)⊕V(0)⊕

        V(x2+2x3)⊕V(x1+x3);

        V(2x1)?V(4x1)=V(6x1)⊕V(2x1+2x2)⊕

        V(x2+4x1)⊕V(x3+3x1);

        V(2x1)?V(4x2)=V(4x2+2x1)⊕V(2x2+2x3)⊕

        V(5x2)⊕V(x1+3x2+x3)⊕V(3x2);

        V(2x1)?V(4x3)=V(4x3+2x1)⊕V(2x3)⊕

        V(x2+4x3)⊕V(x1+3x3);

        V(2x3)?V(2x1)=V(2x1+2x3)⊕V(0)⊕

        V(2x1+x2)⊕V(x1+x3);

        V(2x3)?V(2x3)=V(4x3)⊕V(2x2)⊕

        V(x2+2x3)⊕V(x1+x3);

        V(2x3)?V(4x1)=V(4x1+2x3)⊕V(2x1)⊕

        V(4x1+x2)⊕V(3x1+x3);

        V(2x1)?V(2x1+2x3)=

        V(4x1+2x3)⊕V(2x1)⊕V(2x2+2x3)⊕

        V(2x1+x2+2x3)⊕V(x1+3x3)⊕V(3x1+x3)⊕

        V(x1+x2+x3);

        V(2x1)?V(2x1+2x2)=V(4x1+2x2)⊕

        V(2x1+2x3)⊕V(4x2)⊕

        V(2x1+3x2)⊕V(3x1+x2+x3)⊕

        V(x1+2x2+x3)⊕V(2x1+x2);

        V(2x3)?V(4x2)=V(4x2+2x3)⊕V(2x1+2x2)⊕

        V(5x2)⊕V(x1+3x2+x3)⊕V(3x2);

        V(2x1)?V(2x3+2x2)=V(2x1+2x2+2x3)⊕

        V(2x2)⊕V(4x3)⊕V(2x3+3x2)⊕V(x1+x2+3x3)⊕

        V(x1+2x2+x3)⊕V(2x3+x2);

        V(2x1)?V(2x1+2x2+2x3)=V(4x1+2x2+2x3)⊕

        V(2x1+2x2)⊕V(2x1+4x3)⊕V(2x3+4x2)⊕

        V(2x1+3x2+2x3)⊕V(3x1+x2+3x3)⊕

        V(x1+2x2+3x3)⊕V(3x1+2x2+x3)⊕

        V(x1+3x2+x3)⊕V(2x1+x2+2x3);

        V(2x3)?V(4x3)=V(6x3)⊕V(2x2+2x3)⊕

        V(x2+4x3)⊕V(x1+3x3);

        V(2x3)?V(2x1+2x3)=V(2x1+4x3)⊕V(2x1+2x2)⊕

        V(2x3)⊕V(2x1+x2+2x3)⊕V(x1+3x3)⊕

        V(3x1+x3)⊕V(x1+x2+x3);

        V(2x3)?V(2x1+2x2)=V(2x1+2x2+2x3)⊕

        V(4x1)⊕V(2x2)⊕V(2x1+3x2)⊕V(3x1+x2+x3)⊕

        V(x1+2x2+x3)⊕V(2x1+x2);

        V(2x3)?V(2x3+2x2)=V(2x2+4x3)⊕V(4x2)⊕

        V(2x1+2x3)⊕V(3x2+2x3)⊕V(x1+x2+3x3)⊕

        V(x1+2x2+x3)⊕V(x2+2x3);

        V(2x2)?V(2x1)=V(2x1+2x2)⊕V(2x3)⊕

        V(x1+x2+x3)⊕V(3x1+x3)⊕

        V(x2)⊕2V(2x1);

        V(2x3)?V(2x1+2x3+2x2)=V(2x1+2x2+4x3)⊕

        V(2x1+4x2)⊕V(4x1+2x3)⊕

        V(2x2+2x3)⊕V(2x1+3x2+2x3)⊕

        V(3x1+x2+3x3)⊕V(x1+2x2+3x3)⊕

        V(3x1+2x2+x3)⊕V(x1+3x2+x3)⊕

        V(2x1+x2+2x3);

        V(2x2)?V(2x2)=V(4x2)⊕V(2x1+2x3)⊕

        V(0)⊕V(x1+2x2+x3)⊕V(x2+2x3)⊕

        V(x2+2x1)⊕V(x1+x3)⊕2V(2x2);

        V(2x2)?V(2x3)=V(2x3+2x2)⊕V(2x1)⊕

        V(x1+3x3)⊕V(x1+x2+x3)⊕

        V(x2)⊕2V(2x3);

        V(2x2)?V(4x1)=V(4x1+2x2)⊕

        V(2x1+2x3)⊕V(3x1+x2+x3)⊕

        V(5x1+x3)⊕V(2x1+x2)⊕2V(4x1);

        V(x2)?V(x1+x2+x3)=V(x1+2x2+x3)⊕

        V(2x1+2x3)⊕V(x2+2x3)⊕

        V(x2+2x1)⊕V(2x2)⊕V(x1+x3);

        V(2x2)?V(4x3)=V(4x3+2x2)⊕

        V(2x1+2x3)⊕V(x1+5x3)⊕

        V(x1+x2+3x3)⊕V(2x3+x2)⊕2V(4x3);

        V(2x2)?V(4x2)=V(6x2)⊕V(2x1+2x2+2x3)⊕

        V(2x2)⊕V(x1+4x2+x3)⊕V(3x2+2x3)⊕

        V(3x2+2x1)⊕V(x1+2x2+x3)⊕2V(4x2);

        V(2x2)?V(2x1+2x3)=V(2x1+2x2+2x3)⊕

        V(4x3)⊕V(4x1)⊕V(2x2)⊕V(x1+x2+3x3)⊕

        V(3x1+3x3)⊕V(3x1+x2+x3)⊕

        V(x1+2x2+x3)⊕V(x2+2x3)⊕

        V(2x1+x2)⊕V(x1+x3)⊕2V(2x1+2x3);

        V(2x2)?V(2x1+2x2)=V(2x1+4x2)⊕

        V(4x1+2x3)⊕V(2x2+2x3)⊕

        V(2x1)⊕V(x1+3x2+x3)⊕V(3x1+2x2+x3)⊕

        V(2x1+x2+2x3)⊕V(4x1+x2)⊕V(3x2)⊕

        V(3x1+x3)⊕V(x1+x2+x3)⊕2V(2x1+2x2);

        V(2x2)?V(2x3+2x2)=V(4x2+2x3)⊕

        V(4x3+2x1)⊕V(2x1+2x2)⊕

        V(2x3)⊕V(x1+2x2+3x3)⊕V(x1+3x2+x3)⊕

        V(x2+4x3)⊕V(2x1+x2+2x3)⊕V(x1+3x3)⊕

        V(3x2)⊕V(x1+x2+x3)⊕2V(2x3+2x2);

        V(x1+x2)?V(2x1)=V(x1+2x2)⊕

        V(3x1+x2)⊕V(x2+x3)⊕2V(2x1+x3)⊕2V(x1);

        V(x1+x2)?V(2x2)=V(2x1+x2+x3)⊕

        V(x1+3x2)⊕V(x1+2x3)⊕

        V(x3)⊕2V(2x2+x3)⊕2V(x1+x2);

        V(2x2)?V(2x1+2x2+2x3)=

        V(2x1+4x2+2x3)⊕V(4x1+4x3)⊕V(2x2+4x3)⊕

        V(4x1+2x2)⊕V(4x2)⊕V(2x1+2x3)⊕

        V(x1+3x2+3x3)⊕V(3x1+2x2+3x3)⊕

        V(3x1+3x2+x3)⊕V(x1+4x2+x3)⊕

        V(2x1+x2+4x3)⊕V(4x1+x2+2x3)⊕

        V(3x2+2x3)⊕V(3x1+3x3)⊕V(2x1+3x2)⊕

        V(x1+x2+3x3)⊕V(3x1+x2+x3)⊕

        V(x1+2x2+x3)⊕2V(2x1+2x2+2x3);

        V(x1+x2)?V(2x3)=V(x1+x2+2x3)⊕

        V(2x1+x3)⊕V(x1)⊕2V(3x3)⊕2V(x3+x2);

        V(x1+x2)?V(4x1)=V(3x1+2x2)⊕

        V(5x1+x2)⊕V(2x1+x2+x3)⊕

        2V(4x1+x3)⊕2V(3x1);

        V(x1+x2)?V(4x2)=V(2x1+3x2+x3)⊕

        V(x1+5x2)⊕V(x1+2x2+2x3)⊕

        V(2x2+x3)⊕2V(4x2+x3)⊕2V(x1+3x2);

        V(x1+x2)?V(4x3)=V(4x3+x1+x2)⊕

        V(2x1+3x3)⊕V(x1+2x3)⊕

        2V(5x3)⊕2V(x2+3x3);

        V(x1+x2)?V(2x1+2x3)=

        V(x1+2x2+2x3)⊕V(3x1+x2+2x3)⊕

        V(x2+3x3)⊕V(4x1+x3)⊕V(2x2+x3)⊕

        V(3x1)⊕V(x1+x2)⊕2V(2x1+3x3)⊕

        2V(2x1+x2+x3)⊕2V(x1+2x3);

        V(x1+x2)?V(2x1+2x2)=

        V(x1+4x2)⊕V(4x1+x2+x3)⊕V(3x1+3x2)⊕

        V(3x2+x3)⊕V(3x1+2x3)⊕V(x1+x2+2x3)⊕

        V(2x1+x3)⊕2V(2x1+2x2+x3)⊕2V(3x1+x2)⊕

        2V(x1+2x2);

        V(x1+x2)?V(2x3+2x2)=V(2x1+x2+3x3)⊕

        V(x1+3x2+2x3)⊕V(x1+4x3)⊕

        V(2x1+2x2+x3)⊕V(x1+2x2)⊕V(3x3)⊕

        V(x2+x3)⊕2V(2x2+3x3)⊕

        2V(3x2+x3)⊕2V(x1+x2+2x3);

        V(x2+x3)?V(2x1)=

        V(2x1+x2+x3)⊕V(x1+2x3)⊕

        V(x3)⊕2V(3x1)⊕2V(x1+x2);

        V(x1+x3)?V(2x3)=3V(2x3)⊕V(x1+3x3)⊕

        V(x1+x2+x3)⊕V(x2);

        V(x2+x3)?V(2x2)=V(3x2+x3)⊕

        V(x1+x2+2x3)⊕V(2x1+x3)⊕

        V(x1)⊕2V(x1+2x2)⊕2V(x2+x3);

        V(x2+x3)?V(2x3)=V(3x3+x2)⊕V(2x2+x3)⊕

        V(x1+x2)⊕2V(x1+2x3)⊕2V(x3);

        V(x1+x2)?V(2x1+2x2+2x3)=

        V(x1+4x2+2x3)⊕V(4x1+x2+3x3)⊕

        V(3x1+3x2+2x3)⊕V(3x3+3x2)⊕

        V(3x1+4x3)⊕V(4x1+2x2+x3)⊕

        V(4x2+x3)⊕V(x1+x2+4x3)⊕

        V(3x1+2x2)⊕V(x1+3x2)⊕V(2x1+3x3)⊕

        V(2x1+x2+x3)⊕2V(2x1+2x2+3x3)⊕

        2V(2x1+3x2+x3)⊕2V(3x1+x2+2x3)⊕

        2V(x1+2x2+2x3);

        V(x2+x3)?V(4x1)=

        V(4x1+x2+x3)⊕V(3x1+2x3)⊕

        V(2x1+x3)⊕2V(5x1)⊕2V(3x1+x2);

        V(x2+x3)?V(4x2)=V(5x2+x3)⊕

        V(x1+3x2+2x3)⊕V(2x1+2x2+x3)⊕

        V(x1+2x2)⊕2V(x1+4x2)⊕2V(3x2+x3);

        V(x2+x3)?V(4x3)=V(5x3+x2)⊕

        V(2x2+3x3)⊕2V(3x3)⊕

        V(x1+x2+2x3)⊕2V(x1+4x3);

        V(x2+x3)?V(2x1+2x3)=

        V(2x1+x2+3x3)⊕V(2x1+2x2+x3)⊕

        V(x1+4x3)⊕V(3x1+x2)⊕V(x1+2x2)⊕

        V(3x3)⊕V(x2+x3)⊕2V(3x1+2x3)⊕

        2V(2x1+x3)⊕2V(x1+x2+2x3);

        V(x2+x3)?V(2x1+2x2)=

        V(2x1+3x2+x3)⊕V(3x1+x2+2x3)⊕

        V(x1+2x2+2x3)⊕V(4x1+x3)⊕

        V(2x2+x3)⊕V(3x1)⊕V(x1+x2)⊕

        2V(3x1+2x2)⊕2V(2x1+x2+x3)⊕2V(x1+3x2);

        V(x2+x3)?V(2x3+2x2)=

        V(3x2+3x3)⊕V(x1+x2+4x3)⊕

        V(4x2+x3)⊕V(2x1+3x3)⊕

        V(x1+3x2)⊕V(2x1+x2+x3)⊕

        V(x1+2x3)⊕2V(x1+2x2+2x3)⊕

        2V(2x2+x3)⊕2V(x2+3x3);

        V(x2+x3)?V(2x1+2x2+2x3)=

        V(2x1+3x2+3x3)⊕V(3x1+x2+4x3)⊕

        V(2x1+4x2+x3)⊕V(x1+2x2+4x3)⊕

        V(4x1+3x3)⊕V(3x1+3x2)⊕

        V(4x1+x2+x3)⊕V(3x2+x3)⊕

        V(3x1+2x3)⊕V(x1+x2+2x3)⊕

        2V(3x1+2x2+2x3)⊕2V(2x1+2x2+x3)⊕

        2V(2x1+x2+3x3)⊕2V(x1+3x2+2x3);

        V(x1+x3)?V(2x1)=

        3V(2x1)⊕V(x1+x2+x3)⊕V(3x1+x3)⊕V(x2);

        V(x1+x3)?V(2x2)=3V(2x2)⊕V(x1+2x2+x3)⊕

        V(2x3+x2)⊕V(2x1+x2)⊕V(x1+x3);

        V(x1+x3)?V(4x1)=3V(4x1)⊕

        V(3x1+x2+x3)⊕V(5x1+x3)⊕V(2x1+x2);

        V(x1+x3)?V(4x2)=3V(4x2)⊕V(x1+4x2+x3)⊕

        V(3x2+2x3)⊕V(2x1+3x2)⊕V(x1+2x2+x3);

        V(x1+x3)?V(4x3)=3V(4x3)⊕

        V(x1+5x3)⊕V(x1+x2+3x3)⊕V(x2+2x3);

        V(x1+x3)?V(2x1+2x3)=3V(2x1+2x3)⊕

        V(x1+x2+3x3)⊕V(3x1+3x3)⊕V(3x1+x2+x3)⊕

        V(x1+2x2+x3)⊕V(x2+2x3)⊕

        V(x2+2x1)⊕V(x1+x3);

        V(x1+x3)?V(2x1+2x2)=

        3V(2x1+2x2)⊕V(x1+3x2+x3)⊕

        V(3x1+2x2+x3)⊕V(2x1+x2+2x3)⊕

        V(4x1+x2)⊕V(3x2)⊕

        V(3x1+x3)⊕V(x1+x2+x3);

        V(x1+x3)?V(2x3+2x2)=

        3V(2x3+2x2)⊕V(x1+2x2+3x3)⊕

        V(x1+3x2+x3)⊕V(x2+4x3)⊕

        V(2x1+x2+2x3)⊕V(x1+3x3)⊕

        V(3x2)⊕V(x1+x2+x3);

        V(x1+x3)?V(2x1+2x3+2x2)=

        3V(2x1+2x2+2x3)⊕V(x1+3x2+3x3)⊕

        V(3x1+2x2+3x3)⊕V(3x1+3x2+x3)⊕

        V(x1+4x2+x3)⊕V(2x1+x2+4x3)⊕

        V(4x1+x2+2x3)⊕V(3x2+2x3)⊕

        V(3x1+3x3)⊕V(2x1+3x2)⊕V(x1+x2+3x3)⊕

        V(3x1+x2+x3)⊕V(x1+2x2+x3).

        3 結論

        本文借助李代數中的張量積分解知識,通過計算機編程,得到了以下結論:

        1)對于基本支配權λ∈H,可以求出V(λ)的權格∏(λ)。

        2)對于μ∈∏(λ),根據Freudenthal公式計算出A3型李代數的權重數m(μ)。

        3)對于基本支配權λ∈H,根據計算出的權格∏(λ)和權重數m(μ),通過李代數的張量積分解計算出A3型李代數的張量積分解。

        可以看到:在計算A3型李代數的張量積分解時,權重數m(μ)的計算起著至關重要的作用。隨著首權λ的系數的增加,重數的計算越發(fā)復雜。

        亚洲国产成人久久综合一区77| 插我一区二区在线观看| 国产精品沙发午睡系列990531 | 亚洲熟妇少妇任你躁在线观看| 亚洲中文字幕精品久久久久久直播| 激情五月开心五月av| 国产99视频精品免视看7| 国产又黄又大又粗的视频| 成年女人在线观看毛片| 中文字幕人妻被公喝醉在线 | 人人妻人人爽人人澡欧美一区| 国产精品开放小视频| 日韩精品中文字幕人妻中出| 亚洲另类丰满熟妇乱xxxx| 成人国产精品一区二区视频| 最新精品亚洲成a人在线观看| 日本熟女人妻一区二区三区| 亚洲综合中文字幕综合| 精品成人av一区二区三区| 久久精品国产亚洲不av麻豆| 国产精品第一区亚洲精品| 国产极品粉嫩福利姬萌白酱| 69久久夜色精品国产69| 无码8090精品久久一区| 一区二区在线观看精品在线观看| 精品伊人久久大香线蕉综合| 六月丁香久久| 亚洲av无码av在线播放| 91亚洲精品久久久蜜桃| 亚洲最大中文字幕在线| 欧美性受xxxx白人性爽| 久久久精品2019中文字幕之3| 日韩av中文字幕波多野九色| 久久精品aⅴ无码中文字字幕| 无限看片在线版免费视频大全| 亚洲免费成年女性毛视频| 激情五月婷婷一区二区| 国产精品成人国产乱| 亚洲精品AⅤ无码精品丝袜无码 | 午夜精品久久久久久久久久久久| 日本高清在线播放一区二区三区|