研究概要 |
因子環Mに対して,{C, R,θ}をMの「荷重の流れ」とするとき,3次のコホモロジー群: 【numerical formula】 の中にある固有のモジュラー障害因子と呼ばれるコホモロジカルな不変量Ob_m(M)が存在する. ここでαを可算離散群GのM上の外部作用とするとき,モジュールmod(α)∈Hom(G, Aut_θ(e)),Gの正規部分群N=α^<-1>(Cnt_r(M))そして固有のモジュラー障害因子より導けるモジュラー障害因子 【numerical formula】 の3組(mod(α),N, Ob_m(α))は外部作用αの外部同値類の不変量であることを示した.そして,もし,因子環Mが超有限因子環であり,Gが従順な離散群ならば,この3組は外部同値額の完全不変量であることを示した.そして,与えられた3組を持つ超有限因子環上の外部作用がいつでも構成できることも示した(モデル構成). モジュラー障害因子は,次のような変形されたHuebshmann-Jones-Ratcliffe完全系列: 【numerical formula】 を満たすことを示し,この完全系列が本研究の本質的な役割を演じた.
|