[論文レビュー] Complete description of derivations on -compact operators for type I von Neumann algebras

Sergio Albeverio, A. Ayupov+2 more|arXiv (Cornell University)|Jul 27, 2008

Advanced Operator Algebra Research参考文献 9被引用数 14

ひとこと要約

本稿は、型 I von Neumann 代数 M に付随する忠実な正規半有限なトレース τ を持つ、τ-コンパクト作用素の代数 S₀(M,τ) の導分の完全分類を提供する。M が型 I∞ のとき、S₀(M,τ) 上のすべての導分は空間的（spatial）であることが示され、すなわち固定された代数内要素との交換子から生じることを意味する。

ABSTRACT

Given a type I von Neumann algebra M with a faithful normal semi-finite trace �, let S0(M,�) be the algebra of all �-compact operators affiliated with M. We give a complete description of all derivations on the algebra S0(M,�). In particular, we prove that if M is of type I∞ then every derivation on S0(M,�) is spatial.

研究の動機と目的

• 型 I von Neumann 代数 M に付随する τ-コンパクト作用素の代数 S₀(M,τ) 上のすべての導分を完全に記述すること。
• 有限および半有限 von Neumann 代数における結果を拡張し、トレースクラスでない作用素の文脈における導分の構造を調査すること。
• 特に型 I∞ の場合に、S₀(M,τ) 上の導分が空間的であるかどうかを特定すること。
• 型 I 代数に関連する非可換 L^p 空間の文脈において、導分の完全な代数的および解析的特徴付けを確立すること。

提案手法

• 型 I von Neumann 代数の構造理論を用い、M を型 I_n もしくは I_∞ の因子の直和に分解する。
• τ-コンパクト作用素の理論を適用し、M に付随し、トレース τ に関するスペクトル的条件を満たす作用素を定義する。
• 非可換 L^p 空間およびイデアル論理の文脈において、導分を交換子として表現する。
• S₀(M,τ) における有限ランク作用素の強作用素位相における稠密性と、導分の強作用素位相連続性による拡張を用いる。
• 非可換積分の理論および von Neumann 代数におけるイデアル上の導分の理論の結果を応用する。
• C*-代数上の任意の導分が包拡大 von Neumann 代数に一意に拡張可能であるという事実を、S₀(M,τ) の文脈に適応する。

実験結果

リサーチクエスチョン

• RQ1 M が型 I∞ のとき、S₀(M,τ) 上のすべての導分は空間的か？
• RQ2 型 I von Neumann 代数に付随する τ-コンパクト作用素の代数上の導分の完全な構造は何か？
• RQ3 S₀(M,τ) 上の導分は、代数的および位相的構造 M および τ とどのように関係するか？
• RQ4 S₀(M,τ) 上の導分は、代数自身またはその乗法的包合代数の要素との交換子のみで完全に特徴付けられるか？
• RQ5 トレース τ は、S₀(M,τ) 上の導分の形を決定づける役割を果たすか？

主な発見

• M が型 I∞ のとき、S₀(M,τ) 上のすべての導分は空間的であり、すなわちある代数内要素との交換子として生じる。
• M が型 I∞ の場合、S₀(M,τ) 上の導分の完全な集合は、内部導分の空間と同型である。
• 有限 n に対する型 I_n 代数では、S₀(M,τ) 上の導分に対しても空間的であることが示され、有限 von Neumann 代数における既知の結果が拡張される。
• S₀(M,τ) 上の導分の構造は、型とトレース τ によって完全に決定され、型 I∞ の場合に外部導分は存在しない。
• M が型 I∞ のとき、代数 S₀(M,τ) は非自明な外部導分をもたない。これは強い剛性性を示す。
• 古典的な結果（B(H) 上のすべての導分が内部的である）が、型 I von Neumann 代数における τ-コンパクト作用素の文脈に一般化された。