[論文レビュー] Haagerup approximation property for arbitrary von Neumann algebras

Rui Okayasu, Reiji Tomatsu|arXiv (Cornell University)|Dec 4, 2013

Advanced Operator Algebra Research参考文献 36被引用数 5

ひとこと要約

この論文は、標準形を用いて、任意のフォン・ノイマン代数に対するハーガップ近似性質（HAP）の統一的定義を提示し、有限代数に限らない古典的概念の拡張を図る。HAPがノルム1の射影および可解的作用下の固定点代数に関して保存されることを確立し、ヒルベルト空間表現における作用素論的近似によって、インジェクティビティおよび半離散性の結果を一般化する。

ABSTRACT

We attempt presenting a notion of the Haagerup approximation property for an arbitrary von Neumann algebra by using its standard form. We also prove the expected heredity results for this property.

研究の動機と目的

• 有限フォン・ノイマン代数に限らない、任意のフォン・ノイマン代数へのハーガップ近似性質の拡張。非トレーシングおよび非半有限な場合を含む。
• フォン・ノイマン代数の標準形を用いてHAPを定義し、モジュラー共役作用素および自己双対的正の錐を活用する。
• HAPの遺伝的性質、特にノルム1の射影および可解的量子群作用下の固定点代数に関しての安定性を確立する。
• ヒルベルト空間表現におけるコンパクト近似の観点から、既存の半離散性およびインジェクティビティの特徴づけを統一・一般化する。

提案手法

• フォン・ノイマン代数 (M, H, J, P) の標準形を用い、H 上のノルム1の完全正値コンパクト作用素による強作用位相的恒等作用素近似を介してHAPを定義する。
• 忠実な正規状態 φ に付随するGNS構成を用い、T_n(Δ_φ^{1/4}xξ_φ) = Δ_φ^{1/4}Φ_n(x)ξ_φ で定義される実装作用素 T_n を H_φ 上に導入する。
• 行列順序付きヒルベルト空間構造およびチョイ・エフロス理論を用いて、実装作用素のコンパクト性およびノルム1性を特徴付ける。
• M から部分代数 N へのノルム1射影の存在を用い、強作用位相収束およびノルム推定に依拠して、HAP を M から N へと移す。
• 双対性およびクロス積構成を用いて、可解的量子群およびその双対群の作用下でのHAP保存性を一般化する。
• インジェクティブなフォン・ノイマン代数は半離散的であり、標準形における近似によりHAPが半離散性を意味することを示し、既知の結果を特別な場合として回復する。

実験結果

リサーチクエスチョン

• RQ1 有限代数に限らない任意のフォン・ノイマン代数に対し、ハーガップ近似性質を意味的に定義可能か？
• RQ2 トレーシングでない設定において、「無限大で消える」または「コンパクト性」を完全正値写像に一般化する方法は何か？
• RQ3 可解的量子群作用下の固定点代数においてHAPは保存されるか？
• RQ4 ノルム1の射影による部分代数への移行においてHAPは保存されるか？
• RQ5 一般のフォン・ノイマン代数の文脈において、HAPはインジェクティビティおよび半離散性とどのように関係するか？

主な発見

• 忠実な正規状態 φ を持つ σ-有限フォン・ノイマン代数 M に対して、HAP は、関連する実装作用素 T_n がノルム1かつコンパクトであり、T_n(Δ_φ^{1/4}xξ_φ) = Δ_φ^{1/4}Φ_n(x)ξ_φ を満たすような、正規ノルム1完全正値コンパクト写像のネット {Φ_n} の存在と同値である。
• M がHAPをもち、M から部分代数 N へのノルム1射影が存在するならば、N に対してもHAPが成り立ち、これによりノルム1射影下での遺伝的安定性が確立される。
• 可解的局所コンパクト量子群 G が M に作用するとき、M がHAPをもてば、固定点代数 M^α もHAPをもち、不変平均の下での安定性を一般化する。
• 双対群も可解的であるとき、可解的量子群によるクロス積においてHAPは保存され、M と M⋊_αG がともにHAPをもつことの同値性が得られる。
• HAP は半離散性を意味し、インジェクティブなフォン・ノイマン代数は半離散的であるため、既知の結果が特別な場合として回復される。
• 標準形を用いたHAPの定義は、カスパースおよびスカルスキによる独立的な定式化と一致し、異なる手法間の整合性が確認される。