[論文レビュー] Semicrossed products of C*-algebras and their C*-envelopes

Evgenios T. A. Kakariadis|arXiv (Cornell University)|Feb 10, 2011

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

ひとこと要約

本稿では、C*-代数における単位的*-自己同型写像による半交叉積のC*-包絡は（あるフルコーナーを含む）交叉積であることが確立される。自己同型写像が*-単射である場合、すべてのこのような半交叉積は同一のC*-包絡を持つことが示され、それは直接極限系の交叉積として特定される。これはPetersらの先行研究を一般化し、非可換かつ非自己同型の設定へ理論を拡張する。

ABSTRACT

Let $\mathcal{C}$ be a C*-algebra and $α:\mathcal{C} ightarrow \mathcal{C}$ a unital *-endomorphism. There is a natural way to construct operator algebras which are called semicrossed products, using a convolution induced by the action of $α$ on $\mathcal{C}$. We show that the C*-envelope of a semicrossed product is (a full corner of) a crossed product. As a consequence, we get that, when $α$ is *-injective, the semicrossed products are completely isometrically isomorphic and share the same C*-envelope, the crossed product $\mathcal{C}_\infty times_{α_\infty} \mathbb{Z}$. We show that minimality of the dynamical system $(\mathcal{C},α)$ is equivalent to non-existence of non-trivial Fourier invariant ideals in the C*-envelope. We get sharper results for commutative dynamical systems.

研究の動機と目的

• C*-代数と単位的*-自己同型写像から生じる半交叉積のC*-包絡を特定すること。
• 異なる半交叉積が完全等長的同型である条件と、同一のC*-包絡を持つ条件を同定すること。
• C*-包絡における非自明なフーリエ不変イデアルの不在に基づいて、動的系の最小性を特徴づけること。
• 可換C*-代数に対する既知のC*-包絡の結果を、特に*-単射性の下で非可換C*-代数へ拡張すること。

提案手法

• 等長的乗数が自己同型作用をねじ込む関係を満たす共分散関係を用いて半交叉積を構成する。
• C*-包絡を最小のC*-被覆として扱い、包絡を特定するためShilov境界イデアルを用いる理論を適用する。
• 直接極限構成を用いてシステム$({\mathcal{C}}_\infty, \alpha_\infty)$を定義し、$\alpha$が*-単射である場合にその交叉積がC*-包絡であることを示す。
• 問題をスペクトル$\widehat{{\mathcal{C}}}$とトポロジカル自由性の分析に還元し、特に可換の場合を対象とする。
• 動的系の最小性とC*-包絡における非自明なフーリエ不変イデアルの不在との同値性を確立する。
• 非固定点集合の稠密性を含む位相的力学の結果を応用し、単純性と最小性を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 C*-代数上の単位的*-自己同型写像に関連する半交叉積のC*-包絡は何か？
• RQ2 異なる半交叉積が完全等長的同型であり、同一のC*-包絡を持つのはいつか？
• RQ3 動的系$({\mathcal{C}}, \alpha)$の最小性は、そのC*-包絡におけるイデアル構造とどのように関係するか？
• RQ4 可換C*-代数の文脈で特徴づけられた最小性と単純性の性質を、スペクトルがハウスドルフ空間である非可換C*-代数へ拡張できるか？

主な発見

• 任意の半交叉積のC*-包絡は（フルコーナーを含む）交叉積である。これは普遍的な記述を提供する。
• $\alpha$が*-単射である場合、すべての半交叉積は完全等長的同型であり、同一のC*-包絡を持つ。その包絡は交叉積${\mathcal{C}}_\infty \rtimes_{\alpha_\infty} \mathbb{Z}$として特定される。
• 動的系$({\mathcal{C}}, \alpha)$の最小性は、C*-包絡における非自明なフーリエ不変イデアルの非存在と同値である。
• 可換系では、C*-包絡の単純性は、スペクトル上の関連する系が最小かつトポロジカルに自由であること、およびスペクトルが無限大であることと同値である。
• 可換の場合、4種類の標準的半交叉積はすべて完全等長的同型であり、同一のC*-包絡$\mathrm{C}(\widetilde{X}) \rtimes_{\tilde{\phi}} \mathbb{Z}$を持つ。
• C*-包絡が単純であることは、関連するスペクトル上の系が最小かつトポロジカルに自由であることと同値であり、その結果スペクトルは無限大である。