[論文レビュー] Notes on automorphisms of ultrapowers of II_1 factors

David K. Sherman|ArXiv.org|Sep 25, 2008

Advanced Operator Algebra Research参考文献 15被引用数 7

ひとこと要約

この論文は、II₁因子のトレース的超冪における自己同型の近似的性と正確性の性質の間の基礎的関係を、作用素代数的技法を用いて確立する。自己同型が近似的に内部的であることは、その超冪が ℵ₀-局所的内部的であることと同値であり、外部的自己同型の超冪は常に外部的であることを示し、トレース同値性とユニタリ同値性への応用を含む。

ABSTRACT

In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II_1 factors. Here are some sample results: (1) an automorphism is approximately inner if and only if its ultrapower is aleph_0-locally inner; (2) the ultrapower of an outer automorphism is always outer; (3) for unital *-homomorphisms from a separable nuclear C*-algebra into an ultrapower of a II_1 factor, equality of the induced traces implies unitary equivalence. All statements are proved using operator algebraic techniques, but in the last section of the paper we indicate how the underlying principle is related to theorems of Henson's positive bounded logic.

研究の動機と目的

• トレース的超冪における自己同型の性質の近似的性と正確性の関係を明確化すること。
• 自己同型が近似的に内部的であることと、その超冪が ℵ₀-局所的内部的であることの必要十分条件を確立すること。
• 外部的自己同型の超冪が常に外部的であることを示し、既知の結果をより強い形で拡張すること。
• 可分な核的 C*-代数から II₁因子の超冪への *-準同型において、トレースが等しければユニタリ同値であることを示すこと。
• 作用素代数的結果を、特にヘンソンの正の有界論理に基づく論理的枠組みに接続すること、特に超冪におけるモデル理論的満たしを介して。

提案手法

• 自然数上の自由超フィルター ω を用いたトレース的超冪構成法を用い、ℳ^ω = ℓ^∞(ℳ)/I_ω と定義する。ここで I_ω は L²-ノルムが ω 沿いにゼロに近づく列からなる。
• 作用素代数的技法を用いて自己同型とその超冪拡張における挙動を分析し、L²-ノルムにおけるノルム収束に注目する。
• ℵ₀-局所的内部性という概念を用い、これは内部自己同型による一様な L²-近似によって定義される。
• ℳ^ω 内の自己準同型、正規自己随伴元、正の元、射影、ユニタリ元は、ℓ^∞(ℳ) 内の同じ性質を持つ列として表現可能であるという事実に依拠する。
• ヘンソンの正の有界論理からのモデル理論的道具を用い、特に論理式の近似的満たしに関して、主要な結果を再解釈および再証明する。
• 特に ℵ₁-飽和性を含む超冪の飽和性の性質を用い、有限な相対中心化子条件を可算なものに拡張する。

実験結果

リサーチクエスチョン

• RQ1 自己同型が近似的に内部的であることと、その超冪が ℵ₀-局所的内部的であることの同値条件は何か？
• RQ2 外部的自己同型の超冪が内部的であることはあり得るか？
• RQ3 可分な核的 C*-代数から II₁因子の超冪へのトレースが等しい *-準同型がユニタリ同値となる条件は何か？
• RQ4 正の有界論理における近似的満たしという論理的概念は、超冪における作用素代数的性質とどのように関係するか？
• RQ5 性質 Γ の正確な論理的特徴づけは、超冪モデルを用いてどのように記述できるか？

主な発見

• II₁因子 ℳ 上の自己同型 θ が近似的に内部的であることと、その超冪 θ^ω が ℵ₀-局所的内部的であること（つまり、内部自己同型の一様 L²-極限であること）は同値である。
• 外部的自己同型の超冪は常に外部的であり、外部的自己同型が超冪構成で保存されることを確認した。
• 可分な核的 C*-代数から II₁因子のトレース的超冪へのユニタリ *-準同型において、誘導されるトレースが等しければ、ユニタリ同値である。
• II₁因子の超冪が性質 Γ を持つことと、元の因子が性質 Γ を持つことは同値であり、超冪版は可算部分集合が非自明な相対中心化子を持つことに対応する。
• モデル理論的条件である正の有界論理における近似的満たし（記号 ≺_a で表す）は、超冪設定における作用素代数的近似的内部自己同型の概念と正確に一致する。
• 正の有界文 φ に対して ℳ^ω ⊨ φ と ℳ^ω ⊨_a φ が同値であることは、論理的近似的満たしが超冪文脈における解析的近似と完全に一致することを確認する。