Let H be a finite dimensional Hopf C^(*)-algebra,and let K be a Hopf^(*)-subalgebra of H.Considering that the field algebra■K of a non-equilibrium Hopf spin model carries a D(H,K)-invariant subalgebra ■K,this paper ...Let H be a finite dimensional Hopf C^(*)-algebra,and let K be a Hopf^(*)-subalgebra of H.Considering that the field algebra■K of a non-equilibrium Hopf spin model carries a D(H,K)-invariant subalgebra ■K,this paper shows that the C^(*)-basic construction for the inclusion ■K×■K can be expressed as the crossed product C^(*)-algebra■KD(H,K).Here,D(H,K)is a bicrossed product of the opposite dual H^(op) and K.Furthermore,the natural action of D(H,K)on D(H,K)gives rise to the iterated crossed product■KD(H,K)×D(H,K),which coincides with the C^(*)-basic construction for the inclusion■K×■KD(H,K).In the end,the Jones type tower of field algebra■Kis obtained,and the new field algebra emerges exactly as the iterated crossed product.展开更多
文摘Let H be a finite dimensional Hopf C^(*)-algebra,and let K be a Hopf^(*)-subalgebra of H.Considering that the field algebra■K of a non-equilibrium Hopf spin model carries a D(H,K)-invariant subalgebra ■K,this paper shows that the C^(*)-basic construction for the inclusion ■K×■K can be expressed as the crossed product C^(*)-algebra■KD(H,K).Here,D(H,K)is a bicrossed product of the opposite dual H^(op) and K.Furthermore,the natural action of D(H,K)on D(H,K)gives rise to the iterated crossed product■KD(H,K)×D(H,K),which coincides with the C^(*)-basic construction for the inclusion■K×■KD(H,K).In the end,the Jones type tower of field algebra■Kis obtained,and the new field algebra emerges exactly as the iterated crossed product.