■太鼓の形は聞こえない(その7)
クネーザーは12次元の反例:
D12=1/2(θ3^12+θ4^12)
E8+D4=1/2(θ2^8+θ3^8+θ4^8)×1/2(θ3^4+θ4^4)
を見つけ,その後,北岡は8次元の反例を見つけました.
===================================
θ3^4=θ2^4+θ4^4
より,θ3を消去すれば両者は(定数倍を除いて)一致することが確認できる.
θ3^8=θ2^8+θ4^8+2θ2^4θ4^4
θ3^12=θ2^12+θ4^12+3θ2^8θ4^4+3θ2^4θ4^8
D12=1/2(θ2^12+2θ4^12+3θ2^8θ4^4+3θ2^4θ4^8)
E8+D4=1/2(2θ2^8+2θ4^8+2θ2^4θ4^4)×1/2(θ2^4+2θ4^4)
=1/2(θ2^8+θ4^8+θ2^4θ4^4)(θ2^4+2θ4^4)
=1/2(θ2^12+2θ4^12+3θ2^4θ4^8+3θ2^8θ4^4)
===================================