[論文レビュー] Pure infiniteness and ideal structure of crossed products by endomorphisms of $C_0(X)$-algebras

B. K. Kwaśniewski|arXiv (Cornell University)|Dec 29, 2014

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

ひとこと要約

この論文は、拡張可能な自己同型の下での $C_0(X)$-代数の交叉積を統一的な枠組みで扱い、位相的力学系とファイバーごとの準同型を組み合わせる。純粋無限性の十分条件、イデアル構造の記述、一意性の確立を可能にし、広範なクラスのこのような交叉積に対して、等変KK理論を用いたKirchberg分類を実現する。

ABSTRACT

Let $A$ be a $C_0(X)$-algebra. We consider an extendible endomorphism $\alpha:A o A$ such that $\alpha(f a)=\Phi(f)\alpha(a)$, $a\in A$, $f\in C_0(X)$ where $\Phi$ is an endomorphism of $C_0(X)$. Pictorially speaking, $\alpha$ is a mixture of a topological dynamical system $(X,\varphi)$ dual to $(C_0(X),\Phi)$ and a continuous field of homomorphisms between the fibers $A(x)$, $x\in X$, of the corresponding $C^*$-bundle. We study relative crossed products $C^*(A,\alpha,J)$ where $J$ is an ideal in $A$. These generalize most popular constructions of this sort. We give sufficient conditions for the uniqueness property, gauge-invariance of all ideals, the ideal property and pure infiniteness of $C^*(A,\alpha,J)$. In particular, we propose a notion of paradoxicality for reversible $C^*$-dynamical systems. The results allow to constitute a large class of crossed products $C^*(A,\alpha,J)$ which undergo Kirchberg's classification via ideal system equivariant KK-theory and whose ideal lattice is completely described in terms of $(A,\alpha)$ and $J$.

研究の動機と目的

• 位相的力学系とファイバーごとの準同型を統合することで、$C_0(X)$-代数の既存の交叉積構成を一般化すること。
• 純粋無限性を特徴付けるために、可逆な $C^*$-力学系に対するパラドックス性の概念を定義すること。
• 相対的交叉積 $C^*(A,\alpha,J)$ における一意性の性質、イデアルのギャージ不変性、およびイデアル性を保証する十分条件を提供すること。
• 相対的交叉積 $C^*(A,\alpha,J)$ のイデアルラティスを、$(A,\alpha)$ とイデアル $J$ を用いて明示的に記述すること。
• 等変KK理論を用いて、広範なクラスの交叉積に対してKirchberg分類プログラムを実現すること。

提案手法

• 自己同型 $\alpha: A \to A$ を、位相的力学系 $(X,\varphi)$ と各ファイバー $A(x)$ 上の連続なファイバーごとの準同型の混合としてモデル化する。
• 代数的構造 $A$ と $X$ 上の位相的力学系を関連付けるために、$C_0(X)$ 上の双対自己同型 $\Phi$ を用いる。
• イデアル $J \subset A$ に対して、相対的交叉積 $C^*(A,\alpha,J)$ を定義し、標準的な交叉積構成を一般化する。
• 可逆な $C^*$-力学系に対するパラドックス性の概念を導入し、純粋無限性を特徴付ける。
• 等変KK理論を適用し、イデアルラティスが $(A,\alpha)$ と $J$ によって完全に記述可能な場合に $C^*(A,\alpha,J)$ を分類する。
• すべてのイデアルがギャージ不変であり、一意性の性質が成り立つような条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 相対的交叉積 $C^*(A,\alpha,J)$ がいつ純粋無限性をもつのか。
• RQ2 相対的交叉積 $C^*(A,\alpha,J)$ のイデアルラティスが、$J$ を含む $\alpha$-不変イデアルのラティスと一致するのはいつか。
• RQ3 すべてのイデアルがギャージ不変であり、一意性の性質が成り立つための条件は何か。
• RQ4 可逆な $C^*$-力学系におけるパラドックス性をどのように形式化すれば、純粋無限性を示すことができるか。
• RQ5 イデアル系を用いて、$C^*(A,\alpha,J)$ がいつ等変KK理論によって分類可能か。

主な発見

• 関連する $C^*$-力学系が適切なパラドックス性の概念を満たす場合、交叉積 $C^*(A,\alpha,J)$ は純粋無限性をもつ。
• システムが必要な条件を満たすとき、自然なコアクティオンに関して、$C^*(A,\alpha,J)$ のすべてのイデアルはギャージ不変である。
• 自己同型 $\alpha$ が拡張可能で $C_0(X)$-構造と整合的である場合、$C^*(A,\alpha,J)$ に対して一意性の性質が成り立つ。
• 相対的交叉積 $C^*(A,\alpha,J)$ のイデアルラティスは、対 $(A,\alpha)$ とイデアル $J$ によって完全に決定される。
• イデアル構造が $(A,\alpha)$ と $J$ によって完全に記述可能な場合、Kirchberg分類プログラムは等変KK理論を用いて $C^*(A,\alpha,J)$ に適用可能である。
• この枠組みは既存の交叉積構成を一般化し、純粋無限性とイデアル構造を統一的に研究するための設定を提供する。