[論文レビュー] A Galois Correspondence for Compact Groups of Automorphisms of von Neumann Algebras with a Generalization to Kac Algebras

Masaki Izumi, Roberto Longo+1 more|ArXiv.org|Apr 5, 1996

Advanced Operator Algebra Research参考文献 22被引用数 4

ひとこと要約

この論文は、コンパクト群 G の閉部分群と、固定点代数 M^G と因子 M の間の中間 von Neumann 代数の間のガロア対応を、G-作用の最小性のもとで確立する。この対応を、正規条件付き期待値を仮定しないコンパクト Kac 代数の因子上への作用へ拡張し、任意の中間代数が閉量子部分群の固定点代数として現れることを証明する。

ABSTRACT

Let $M$ be a factor with separable predual and $G$ a compact group of automorphisms of $M$ whose action is minimal, i.e. $M^{G^\prime}\cap M = C$, where $M^G$ denotes the $G$-fixed point subalgebra. Then every intemediate von Neumann algebra $M^G\subset N\subset M$ has the form $N=M^H$ for some closed subgroup $H$ of $G$. An extension of this result to the case of actions of compact Kac algebras on factors is also presented. No assumptions are made on the existence of a normal conditional expectation onto $N$.

研究の動機と目的

• M が分離可能双対を持つ因子であるとき、固定点代数 M^G と M 間の包含 M^G ⊂ M における閉部分群 H ⊂ G と中間 von Neumann 代数の間のガロア対応を確立すること。
• コンパクト Kac 代数が von Neumann 因子上に作用する場合のガロア対応を一般化すること。
• 中間部分代数上への正規条件付き期待値の存在を仮定しないこと。
• M^G ⊂ N ⊂ M を満たす任意の中間 von Neumann 代数 N が、ある閉部分群 H ⊂ G に対して N = M^H の形に書けることを証明すること。
• 群作用と固定点代数の双対性を、コンパクト Kac 代数の設定に拡張し、ガロア型対応を保つこと。

提案手法

• M^G ∩ M = C である最小性条件を用いることで、スカラー以外の非自明な G-不変部分代数が存在しないことを保証する。
• 特に固定点代数の構造に注目した、作用素代数およびコンパクト量子群の双対理論の技術を適用する。
• 局所コンパクト群の非可換一般化としての Kac 代数の理論を用い、古典的群作用を超えた拡張を可能にする。
• コンパクト Kac 代数とその双対の間の標準的双対性の存在に依拠し、中間代数を固定点として構成する。
• 正規条件付き期待値の不在を鍵となる課題とし、作用の内在的構造的性質によってこれを克服する。
• 分離可能双対を持つ因子の理論および、群または Kac 代数作用下での型 II₁ および III 因子の構造に関する結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 M^G と M の間の中間 von Neumann 代数 N が、閉部分群 H ⊂ G に対して N = M^H の形に現れるための条件は何か？
• RQ2 コンパクト群作用が von Neumann 代数に作用する場合のガロア対応を、コンパクト Kac 代数の作用へ拡張できるか？
• RQ3 中間部分代数上への正規条件付き期待値の存在を仮定しない場合でも、ガロア対応は成立するか？
• RQ4 作用の最小性（M^G ∩ M = C）が、部分群と中間代数の間の全単射対応を保証する仕組みは何か？
• RQ5 Kac 代数のどのような構造的性質が、コンパクト群を超えたガロア対応の一般化を可能にするか？

主な発見

• 最小性条件のもとで、M^G ⊂ N ⊂ M を満たす任意の中間 von Neumann 代数 N は、ある閉部分群 H ⊂ G に対して N = M^H に等しい。
• 中間代数 N 上への正規条件付き期待値の存在を仮定しないガロア対応が成立し、これにより先行研究の重大な一般化が達成された。
• 対応はコンパクト Kac 代数が因子上に作用する場合へ拡張され、中間代数は閉量子部分群の固定点代数として現れる。
• 群の場合のガロア対応が成立するためには、条件 M^G ∩ M = C が必要かつ十分である。
• 固定点代数 M^H の構造は閉部分群 H によって完全に決定され、全単射対応が確立される。
• 結果は分離可能双対を持つ因子に対して有効であり、型 II₁ および III 因子といった標準的例への適用可能性を保証する。