[論文レビュー] Circle actions on $\mathcal{O}_2$-absorbing $C^*$-algebras

Eusebio Gardella|arXiv (Cornell University)|Jun 17, 2014

Advanced Operator Algebra Research参考文献 17被引用数 4

ひとこと要約

この論文は、分離可能で核となる $Θ_2$-吸収的 $C^*$-代数における Rokhlin 性質をもつ円作用を、原始的理想空間への誘導作用を不変量として用いて分類する。主な結果として、このような作用が一般に成り立ち、円作用が Rokhlin 性質をもつことと、すべての有限部分群への制限が Rokhlin 性質をもつこととは同値であることが示され、$Θ_2$-吸収的代数および UHF 穏健代数への応用が得られる。

ABSTRACT

We classify circle actions with the Rokhlin property on separable, nuclear $C^*$-algebras that absorb the Cuntz algebra $\mathcal{O}_2$ tensorially. The invariant we use is the induced action on the primitive ideal space. In particular, any two such actions on $\mathcal{O}_2$ are conjugate. The range of the invariant is discussed and computed for a class of $\mathcal{O}_2$-absorbing $C^*$-algebras. Additionally, we show that circle actions with the Rokhlin property on separable $\mathcal{O}_2$-absorbing $C^*$-algebras are generic, in a suitable sense. A crucial result in our work, which is of independent interest, is as follows: if $\alpha$ is a circle action with the Rokhlin property on a unital, separable $C^*$-algebra $A$ that absorbs the UHF-algebra $M_{n^\infty}$ tensorially, then the restriction of $\alpha$ to $\mathbb{Z}_n$ has the Rokhlin property. If $A$ moreover absorbs $\mathcal{O}_2$, then a circle action has the Rokhlin property if and only if all of its restrictions to finite subgroups have the Rokhlin property. We give several examples to show that our results cannot be extended to all unital Kirchberg algebras in the UCT class.

研究の動機と目的

• 分離可能で核となる $\mathcal{O}_2$-吸収的 $C^*$-代数における Rokhlin 性質をもつ円作用を分類すること。
• このような円作用の完全不変量として、原始的理想空間への誘導作用を特定すること。
• 不変量の範囲を特定し、$\mathcal{O}_2$-吸収的 $C^*$-代数のクラスに対してそれを計算すること。
• このような作用が適切な位相的意味で一般的であることを確立すること。
• 円作用の Rokhlin 性質が、代数が $\mathcal{O}_2$ を吸収するとき、すべての有限部分群への制限にその性質が成り立つことと同値であることを証明すること。

提案手法

• Rokhlin 性質をもつ円作用の分類不変量として、原始的理想空間への誘導作用を用いる。
• Rokhlin 性質を用いて、円作用の有限部分群、特に $\mathbb{Z}_n$ への制限を分析する。
• 単位的で分離可能な $C^*$-代数 $A$ が $M_{n^\frown\infty}$ を吸収するならば、Rokhlin 性質をもつ円作用 $\alpha$ に対して、$\alpha|_{\mathbb{Z}_n}$ も Rokhlin 性質をもつことを利用する。
• $\mathcal{O}_2$-吸収的代数にこの結果を拡張し、完全な円作用の Rokhlin 性質が、すべての有限部分群への制限の Rokhlin 性質と同値であることを示す。
• $\mathcal{O}_2$-吸収的および UHF 穏健代数に関する構造的結果を用いて、不変量の範囲を分析し、例を構成する。
• すべての単位的 Kirchberg 代数が UCT 現象に属する場合に限り、結果が拡張されないことを示す反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 分離可能で核となる $\mathcal{O}_2$-吸収的 $C^*$-代数における Rokhlin 性質をもつ円作用の完全分類不変量は何か？
• RQ2 代数が $\mathcal{O}_2$ を吸収するとき、円作用の Rokhlin 性質は、すべての有限部分群への制限によって特徴づけられるか？
• RQ3 このような作用における原始的理想空間不変量の範囲は何か？
• RQ4 分離可能で核となる $\mathcal{O}_2$-吸収的 $C^*$-代数上の連続作用の空間において、Rokhlin 性質をもつ円作用は一般に成り立つか？
• RQ5 これらの分類結果は、UCT 現象に属する一般の単位的 Kirchberg 代数へどの程度まで拡張可能か？

主な発見

• 原始的理想空間への誘導作用は、$\mathcal{O}_2$-吸収的 $C^*$-代数における Rokhlin 性質をもつ円作用を分類する完全不変量として機能する。
• $\mathcal{O}_2$ 自身では、このような作用はすべて同型的であるため、同型を除いて一意に定まる。
• 単位的で分離可能な $C^*$-代数 $A$ が $M_{n^\infty}$ を吸収するとき、Rokhlin 性質をもつ円作用 $\alpha$ に対して、$\mathbb{Z}_n$ への制限 $\alpha|_{\mathbb{Z}_n}$ も Rokhlin 性質をもつ。
• $\mathcal{O}_2$-吸収的 $C^*$-代数では、円作用が Rokhlin 性質をもつことと、すべての有限部分群への制限が Rokhlin 性質をもつことは同値である。
• Rokhlin 性質をもつ円作用は、$\mathcal{O}_2$-吸収的 $C^*$-代数上の連続作用の空間において、適切な位相的意味で一般的である。
• 反例によって示されるように、結果はすべての単位的 Kirchberg 代数が UCT 現象に属する場合にまで拡張されない。