[論文レビュー] The Category of Von Neumann Algebras

Abraham Westerbaan|arXiv (Cornell University)|Apr 6, 2018

Advanced Operator Algebra Research参考文献 59被引用数 12

ひとこと要約

この論文は、ヒルバート空間上の有界作用素の空間 𝔹(ℋ) が、作用素ノルムのもとで、合成を積、随伴を対合、単位作用素を単位元とする C*-代数をなすことを確立している。また、任意の C*-代数が有界作用素の C*-代数に同型であることを証明しており、作用素代数理論における基礎的結果である。

ABSTRACT

In this dissertation we study the category of completely positive normal contractive maps between von Neumann algebras. It includes an extensive introduction to the basic theory of $C^*$-algebras and von Neumann algebras.

研究の動機と目的

• ヒルバート空間上の有界線形作用素の代数 𝔹(ℋ) が、作用素ノルムのもとで自然に C*-代数をなすことの証明。
• ノルム線形空間の文脈において有界作用素を定義・特徴づけ、作用素ノルムを最小上界として確立すること。
• ゲルファンド＝ナイマーク定理の基盤を築くために、任意の C*-代数が 𝔹(ℋ) の C*-部分代数として表現可能であることを示すこと。
• 具体的な C*-代数を、𝔹(ℋ) の C*-部分代数として導入し、抽象的 C*-代数の具体的実現を与えること。

提案手法

• ノルム線形空間 𝒳 から 𝒴 への有界線形作用素 T: 𝒳 → 𝒴 を、任意の x ∈ 𝒳 に対して ‖Tx‖ ≤ r‖x‖ を満たす r ∈ [0, ∞) が存在するようなものとして定義する。
• 作用素ノルムを、このようなすべての上界 r の下界として定義し、‖T‖ と表記する。
• ヒルバート空間 ℋ 上の有界作用素の空間 𝔹(ℋ) に、合成を積、随伴を対合、単位作用素を単位元として導入する。
• 𝔹(ℋ) が C*-代数の公理を満たしていることを検証し、特に C*-恒等式 ‖T*T‖ = ‖T‖² を確認する。
• 後にゲルファンド＝ナイマーク定理として形式化されるように、任意の C*-代数が 𝔹(ℋ) の C*-部分代数に同型であることを確立する。
• ヒルバート空間および有界作用素の構造を用いて、抽象的 C*-代数の具体的実現を提供する。

実験結果

リサーチクエスチョン

• RQ1 ヒルバート空間上の有界作用素の空間は、どのようにして C*-代数構造を備えることができるか？
• RQ2 ノルム空間間の線形作用素が有界であるための条件は何か？ また、そのノルムはどのように定義されるか？
• RQ3 任意の抽象的 C*-代数は、あるヒルバート空間上の有界作用素の C*-部分代数として具体的に表現可能か？
• RQ4 随伴作用素は、有界作用素の C*-代数における対合を定義する上で果たす役割は何か？
• RQ5 作用素ノルムは、ヒルバート空間上の線形作用素のスペクトル的性質および有界性とどのように関係するか？

主な発見

• ヒルバート空間 ℋ 上の有界作用素の空間 𝔹(ℋ) は、作用素ノルムのもとで、合成を積、随伴を対合とする C*-代数をなす。
• 有界線形作用素 T の作用素ノルムは、すべての x ∈ 𝒳 に対して ‖Tx‖ ≤ r‖x‖ を満たす最小の r である。
• 具体的な C*-代数は、𝔹(ℋ) の C*-部分代数として定義され、抽象的 C*-代数の自然な実現を提供する。
• この論文は、任意の C*-代数が有界作用素の C*-代数に同型であることを示すことで、ゲルファンド＝ナイマーク定理の前提を整えている。
• 単位作用素は、C*-代数 𝔹(ℋ) の単位元として機能し、単位的 C*-代数の公理を満たしている。
• C*-恒等式 ‖T*T‖ = ‖T‖² が 𝔹(ℋ) で成り立つことから、それが C*-代数としての性質を有することが確認される。