[論文レビュー] Purely infinite C*-algebras arising from crossed products

Mikael Rørdam, Adam Sierakowski|arXiv (Cornell University)|Jun 7, 2010

Advanced Operator Algebra ResearchMathematics被引用数 19

ひとこと要約

本稿は、離散的かつ正確な群が可換 C*-代数に作用する場合に、交叉積 C*-代数が純粋無限であるための十分条件を確立する。特に、任意の可算非アーベルな正確群が、カントール集合への自由で、アーベル的かつ最小の作用をもつことを証明しており、その結果得られる交叉積は UCT 現象に属するキルヒバーグ代数である。

ABSTRACT

We study conditions that will ensure that a crossed product of a C*-algebra by a discrete exact group is purely infinite (simple or non-simple). We are particularly interested in the case of a discrete non-amenable exact group acting on a commutative C*-algebra, where our sufficient conditions can be phrased in terms of paradoxicality of subsets of the spectrum of the abelian C*-algebra. As an application of our results we show that every discrete countable non-amenable exact group admits a free amenable minimal action on the Cantor set such that the corresponding crossed product C*-algebra is a Kirchberg algebra in the UCT class.

研究の動機と目的

• 離散的かつ正確な群による C*-代数の縮小交叉積が純粋無限であるような条件を同定すること。
• アーベル C*-代数のスペクトルにおけるパラドックス的性質が、交叉積の純粋無限性を決定づける役割を調査すること。
• 任意の可算非アーベルな正確群に対して、カントール集合への自由で、アーベル的かつ最小の作用を構成し、その関連する交叉積が UCT 現象に属するキルヒバーグ代数となること。
• 非単純な場合および代数内の射影に焦点を当てることで、既知の純粋無限 C*-代数に関する動的系からの結果を拡張すること。

提案手法

• C*-代数における射影が理想を分離することを保証する理想性質 (IP) を用い、交叉積における理想構造の解析を可能にする。
• アーベル C*-代数のスペクトルにおける群作用の本質的自由性の概念を適用し、交叉積の構造を制御する。
• 正確性と分離可能性の仮定の下で、C*-代数のすべての非ゼロ正の元が交叉積内で適切に無限大であるという性質により、純粋無限性を特徴づける。
• スペクトルにおける G-パラドックス的部分集合の概念を用い、そのような集合の特性関数が交叉積内で適切に無限大の射影となることを示す。
• 特定の集合 M と M′ を含む、ℓ∞(G) の分離的かつ G-不変な C*-部分代数を射影によって生成し、動的系をモデル化する。
• 交叉積における理想と C*-代数における G-不変理想との間の全単射対応を用い、問題を、孤立点を持たないコンパクトハウスドルフ空間（すなわちカントール集合）への最小的で自由かつアーベル的な作用に還元する。

実験結果

リサーチクエスチョン

• RQ1 離散的かつ正確な群による C*-代数の縮小交叉積が、どのような条件下で純粋無限であるか？
• RQ2 可換 C*-代数のスペクトルの閉開部分集合が G-パラドックス的である場合、その特性関数が交叉積内で適切に無限大の射影となる関係は何か？
• RQ3 任意の可算非アーベルな正確群が、カントール集合への自由で、アーベル的かつ最小の作用をもち、その交叉積が UCT 現象に属するキルヒバーグ代数となるようにできるか？
• RQ4 C*-代数および群作用のどのような構造的性質が、すべての非ゼロ射影が交叉積内で適切に無限大となることを保証するか？
• RQ5 このような交叉積の K-理論は、どの程度構成において制御可能か？

主な発見

• G が離散的かつ正確で、A が分離的かつ理想性質を持つとき、A のすべての非ゼロ正の元が交叉積内で適切に無限大であるならば、縮小交叉積 $ A \rtimes_r G $ は純粋無限である。また、$ \widehat{A} $ における作用が本質的に自由であると仮定する。
• X がカントール集合のとき、$ A = C(X) $ ならば、$ A \rtimes_r G $ が純粋無限であるための必要十分条件は、A のすべての非ゼロ射影が交叉積内で適切に無限大であることである。上記の仮定のもとで成り立つ。
• 閉開部分集合 $ E \subset X $ が、閉開を尊重する形で G-パラドックス的であるならば、$ 1_E $ は $ C(X) \rtimes_r G $ 内で適切に無限大の射影である。逆も一部成り立つ。
• 任意の可算離散非アーベルな正確群は、カントール集合への自由で、アーベル的かつ最小の作用をもつ。その結果得られる交叉積は、UCT 現象に属するキルヒバーグ代数である。
• 交叉積 $ C(X) \rtimes_r G $ は核的であり、UCT 現象に属する。これは、アーベル的群の作用から生じるためであり、作用の最小性から単純性が導かれる。
• 得られる交叉積の K-理論は計算されていないが、自明であるように設計できる可能性があり、キルヒバーグ–フィリップス分類定理により $ \mathcal{O}_2 $ に同型であると想定される。