[論文レビュー] C*-envelopes of tensor algebras for multivariable dynamics

Kenneth R. Davidson, Jean Roydor|ArXiv.org|Nov 29, 2008

Advanced Operator Algebra Research参考文献 11被引用数 3

ひとこと要約

本論文は、多変数力学系 $(X,\sigma)$ に関連するテンソル代数の C*-包絡の明示的実現を提供し、全射の場合には自己準同型による交叉積および群系列 C*-代数と同型であることを示している。非全射の場合には、そのような代数のフルコーナーである。主な結果として、$X$ がコンパクトであるとき、C*-包絡が単純であるための必要十分条件は、系が極小的であることである。

ABSTRACT

We give a new very concrete description of the C*-envelope of the tensor algebra associated to multivariable dynamical system. In the surjective case, this C*-envelope is described as a crossed product by an endomorphism, and as a groupoid C*-algebra. In the non-surjective case, it is a full corner of a such an algebra. We also show that when the space is compact, then the C*-envelope is simple if and only if the system is minimal.

研究の動機と目的

• 多変数力学系に付随するテンソル代数 $\mathcal{A}(X,\sigma)$ の C*-包絡の明示的かつ具体的な記述を提供すること。
• $n=1$ の場合におけるペターズの C*-包絡の交叉積記述を、$n \geq 2$ の多変数設定に拡張すること。この際、自己同型作用を自己準同型作用に置き換える。
• コンパクトな場合における C*-包絡の単純性を、系の力学的条件によって特徴付けること。
• C*-包絡と群系列 C*-代数との関係を確立し、C*-包絡におけるイデアル理論を関連する力学系における不変集合と関連付けること。

提案手法

• C*-包絡を、$\mathfrak{B}$ と $\mathbb{N}$ との自己準同型 $\alpha$ による交叉積 $\mathfrak{B} \times_\alpha \mathbb{N}$ として構成する。ここで $\mathfrak{B}$ は、系の逆極限 $\tilde{X}$ 上の同型 C*-代数の帰納的極限である。
• 半群 $\mathbb{F}_n^+$ 上のシフト作用を用いて $\mathfrak{B}$ 上に自己準同型 $\alpha$ を定義し、全射の場合に $\mathrm{C}^*_{\text{e}}(\mathcal{A}(X,\sigma)) \cong \mathfrak{B} \times_\alpha \mathbb{N}$ が成り立つことを示す。
• 自己準同型作用が $\tilde{X}$ 上に作用する変換群系列を用いて、C*-包絡を群系列 C*-代数として表現する。
• 非全射系の場合には、全射包の構成により得られる全射系の C*-包絡のフルコーナーとして C*-包絡が実現されることを示す。
• 完全な拡張および境界表現の理論を用いて、無限大の制約なしに C*-包絡を明示的に構成する。
• 自己準同型による交叉積の単純性に関するパスケの定理を適用し、$\mathfrak{B}$ に非自明な $\alpha$-不変イデアルが存在しないことによって C*-包絡の単純性を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 多変数力学系のテンソル代数 $\mathcal{A}(X,\sigma)$ の C*-包絡は、作用素代数の観点からどのように明示的に記述できるか？
• RQ2 多変数の場合 $n \geq 2$ において、$\mathcal{A}(X,\sigma)$ の C*-包絡は自己準同型による交叉積と同型であるか？ もしそうならば、その交叉積の構造は何か？
• RQ3 力学系 $(X,\sigma)$ の極小性とその C*-包絡の単純性との関係は何か？
• RQ4 C*-包絡は群系列 C*-代数として実現可能か？ その実現は $\sigma$ の力学的性質をどのように反映するか？
• RQ5 コンパクトな $X$ に対して、$\mathrm{C}^*_{\text{e}}(\mathcal{A}(X,\sigma))$ の単純性と同値な力学的条件は何か？

主な発見

• 系が全射であるとき、$\mathcal{A}(X,\sigma)$ の C*-包絡は自己準同型 $\alpha$ による交叉積 $\mathfrak{B} \times_\alpha \mathbb{N}$ と同型であり、非全射の場合はそのような交叉積のフルコーナーに同型である。
• C*-包絡は、自己準同型作用が $\tilde{X}$ 上に作用する変換群系列に関連する群系列 C*-代数と同型である。
• コンパクトな $X$ の場合、C*-包絡は、力学系 $(X,\sigma)$ が極小的であることと同値に単純である。
• 極小性は、$\mathfrak{B}$ に真の $\alpha$-双不変イデアルが存在しないことと同値であり、この条件によりパスケの定理により交叉積 $\mathfrak{B} \times_\alpha \mathbb{N}$ が単純になる。
• $n=1$ の場合、単位円板代数の C*-包絡は $C(\mathbb{T})$ であり、これは単純ではない。これにより、単純性基準が成り立つためには $n \geq 2$ であることが本質的であることが示された。
• 構成により、C*-包絡は全射包系の C*-包絡とモラータ同値であり、単純性はこの同値関係のもとで保存される。