[論文レビュー] Logmodularity and isometries of operator algebras

David P. Blecher, Louis E. Labuschagne|ArXiv.org|May 14, 2002

Holomorphic and Operator Theory参考文献 31被引用数 16

ひとこと要約

この論文は、$C^*$-包絡（非可換シロフ境界）を用いて、関数代数における等長写像と対数モジュラリティに関する古典的結果を非可換作用素代数へ一般化する。作用素代数間の完全等長写像の同値な特徴付けを確立し、非可換版の対数モジュラリティを導入。さらに、対数モジュラルまたは対数固定型のトレース的部分代数が、条件付き期待値の正の拡張を一意に持つことを証明し、非可換$L^p$-空間における因子化と密度に関する応用を示す。

ABSTRACT

We generalize some facts about function algebras to operator algebras, using the `noncommutative Shilov boundary' or $C^*$-envelope first considered by Arveson. In the first part we study and characterize complete isometries between operator algebras. In the second part we introduce and study a notion of logmodularity for operator algebras. We also give a result on conditional expectations. Many miscellaneous applications are given.

研究の動機と目的

• 関数代数間の等長写像に関する古典的結果を、$C^*$-包絡を用いて非可換作用素代数へ拡張すること。
• 作用素代数における非可換版の対数モジュラリティを導入し、その性質を研究すること。
• 作用素代数間の完全等長写像を、$C^*$-包絡を含むブロック対角形式を用いて特徴付けること。
• 対数モジュラルまたは対数固定型作用素代数における条件付き期待値の正の拡張の一意性を調査すること。
• 非可換Szegőの定理およびJensenの不等式の類似物を動機として、von Neumann代数における$A^* + A$の弱*密度を検討すること。

提案手法

• 完全等長写像を特徴付けるために、非可換シロフ境界の非可換アナログとしての$C^*$-包絡$C^*_e(A)$を用いる。
• $C^*$-代数の普遍表現を用いて、写像$T: A \to B$を、完全等長な準同型$\pi$とその直交補空間上の完全収縮$S$を含むブロック対角形式に分解する。
• カジソン＝シュワーツの不等式と正値性の議論を用いて、$A$からvon Neumann代数$M$への条件付き期待値の拡張を分析する。
• 非可換$L^p$-空間における双対性とハーン＝バナッハの定理を用いて、$L^1$-密度に関する結果を証明する。
• トレース性質と条件付き期待値の構造を用いて、$x \neq 0$のとき$\Phi((1+x)a) = \Phi(a)$が成り立つと仮定すると矛盾が生じることを示す。
• 可換な値域をとる完全正値写像は自動的に完全正値であるという事実を活用し、既知の非可換作用素空間理論の結果を適用可能にする。

実験結果

リサーチクエスチョン

• RQ1 作用素代数間の線形写像が完全等長写像であるための条件は何か。また、$C^*$-包絡を用いてその写像をどのように特徴付けることができるか。
• RQ2 作用素代数における非可換版の対数モジュラリティとは何か。また、因子化や条件付き期待値とどのように関係するか。
• RQ3 von Neumann代数$M$から$\Delta(A)$への標準的条件付き期待値が、$A$から$\Delta(A)$への条件付き期待値の正の拡張として一意に定まるのはどのような場合か。
• RQ4 $A^* + A$がvon Neumann代数$M$において弱*稠密であるのは、対数固定型または対数モジュラルなトレース的部分代数においていつ成り立ち、どのような条件下で成立するか。
• RQ5 非可換$L^p$-空間における密度に関する結果を支持するために、Szegőの定理およびJensenの不等式の非可換アナログを確立できるか。

主な発見

• ユニタリ作用素代数$A$と$B$間の線形写像$T: A \to B$が完全等長写像であるための必要十分条件は、$T$が$C^*$-包絡への完全等長な準同型とその直交補空間上の完全収縮を含むブロック対角形式に分解できることである。
• 対数モジュラル作用素代数は、古典的因子化性質の非可換版を満たし、$A$が生成するvon Neumann代数における最大の下三角代数であることを示唆する。
• トレース的部分代数$A$が対数固定型または対数モジュラルであり、かつ$\Delta(A)$が$M$の中心にあるとき、$A^* + A$は$L^1(M, \tau)$に稠密である。
• 対数固定型または対数モジュラルな部分代数$A$に対して、$M$から$\Delta(A)$への標準的条件付き期待値は、$A$から$\Delta(A)$への任意の条件付き期待値の正の拡張として一意に定まる。
• 対数固定型な$A$で$\Delta(A)$が$M$の中心にあるとき、$A^* + A$は$L^1(M, \tau)$に稠密である。これは、正値性とトレース性質を用いた背理法により証明される。
• $L^1$-稠密性の証明は、すべての$a \in A^* + A$に対して$\tau(xa) = 0$を満たす非ゼロの$x \in M$が存在すると仮定し、$\Phi((1+x)a)$の正値性と$\Phi$の非退化性から矛盾を導くことで成り立つ。