[論文レビュー] C^*-algebras generated by scaling elements

Takeshi Katsura|ArXiv.org|Apr 27, 2004

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

ひとこと要約

本稿は、等長作用素に限らないC*-代数におけるスケーリング要素へ、Wold分解とCoburnの定理を一般化し、$(X^*X)X = X$ を満たす作用素の分解を確立する。スケーリング要素が生成するC*-代数に無限射影を含む条件を完全に特徴づけ、これは$|X^*|$のスペクトルに非コンパクトまたは非自明な構造を持つ成分があるときに限り成立する。

ABSTRACT

We investigate C^*-algebras generated by scaling elements. We generalize the Wold decomposition and Coburn's theorem on isometries to scaling elements. We also completely determine when the C^*-algebra generated by a scaling element contains an infinite projection.

研究の動機と目的

• 等長作用素に限ったWold分解およびCoburnの定理を、C*-代数におけるスケーリング要素のより広いクラスへ拡張すること。
• スペクトル的および力学的性質を用いて、スケーリング要素が生成するC*-代数の構造を特徴づけること。
• このようなC*-代数が無限射影を含む正確な条件を特定し、重要な構造的問題を解決すること。
• スペクトルデータに基づいて、生成されるC*-代数と普遍的モデル${\mathcal{T}}(\Omega,v)$および${\mathcal{O}}(\Omega,v)$との同型を確立すること。
• これらの代数のK理論的不変量を分析し、スケーリング要素のスペクトル構造と関連付けること。

提案手法

• 任意の有界作用素$A$に対して、$ mathcal{H}^\infty$上に作用する作用素$S_A$を導入し、単一シフト$S_\mathcal{H}$を一般化する。
• スケーリング要素に対してWold型分解を証明する：任意のこのような$X$は、$A$が全スペクトルを持つ正作用素で、$U$がユニタリ作用素であるとき、$S_A \oplus U \oplus 0$にユニタリ同値である。
• $|X^*|$のスペクトルから$\{0,1\}$を除いた部分について、そのスペクトルが非コンパクトまたは空であるかどうかに依存して、スケーリング要素を「適切」または「非適切」と定義する。適切性は、$\operatorname{sp}(|X^*|)\setminus\{0,1\}$が空または非コンパクトであることと同値である。
• コンパクト集合$\Omega \subset [0,\infty)$で$0,1 \in \Omega$を満たすものに対して、パrameter $v \in \Omega$を用いて、普遍的C*-代数${\mathcal{T}}(\Omega,v)$および${\mathcal{O}}(\Omega,v)$を構成する。
• $K$理論および6項完全系列を用いて、無限射影の存在を分析し、特に$K_0$群上の評価写像の振る舞いに注目する。
• $(\Omega, v)$-対の理論を適用し、$X$が適切であるか非適切であるかに応じて、$C^*(X)$が${\mathcal{T}}(\Omega,1)$または${\mathcal{O}}(\Omega,1)$に同型であることを実現する。

実験結果

リサーチクエスチョン

• RQ1 等長作用素に限ったWold分解は、$(X^*X)X = X$ を満たすスケーリング要素へ一般化可能か？
• RQ2 $|X^*|$のスペクトル的条件下で、C*-代数$C^*(X)$が無限射影を含むのはいつか？
• RQ3 スケーリング要素が生成するC*-代数が、普遍的モデル${\mathcal{T}}(\Omega,v)$または${\mathcal{O}}(\Omega,v)$に同型であるのはいつか？
• RQ4 $C^*(X)$の$K$群は、$X$が適切または非適切である場合に、スペクトルデータとどのように関係するか？
• RQ5 スケーリング要素の存在が、生成されるC*-代数に無限射影を保証するのに十分か？

主な発見

• すべてのスケーリング要素$X$は、$A$が全スペクトルを持つ正作用素で、$U$がユニタリ作用素であるとき、一意的なWold分解$S_A \oplus U \oplus 0$を持つ。
• スケーリング要素が適切であることは、$\operatorname{sp}(|X^*|)\setminus\{0,1\}$が空または非コンパクトであることと同値である。
• 任意のコンパクト集合$\Omega \subset [0,\infty)$で$0,1 \in \Omega$を満たすものに対して、$\operatorname{sp}(|X^*|) = \Omega$を満たすスケーリング要素が存在する。
• C*-代数$C^*(X)$は、$X$が適切であるとき${\mathcal{T}}(\Omega,1)$に同型であり、非適切であるとき${\mathcal{O}}(\Omega,1)$に同型である。
• $C^*(X)$が無限射影を含むのは、$\Omega \setminus \{1\}$が非コンパクト、または$1$の非コンパクトな近傍を含むときである。
• スケーリング要素$X$が適切であるとき、包含写像$C_0(\Omega) \to C^*(X)$は$K$-群上で同型を誘導する。非適切であるとき、$K_0(C^*(X)) \cong K_0(C(\Omega\setminus\{1\}))$である。