[論文レビュー] KK-theory of circle actions with the Rokhlin property

Eusebio Gardella|arXiv (Cornell University)|May 10, 2014

Advanced Operator Algebra Research参考文献 34被引用数 6

ひとこと要約

この論文は、C*-代数におけるRokhlin性質をもつ円作用について、等長KK理論による分類を確立する。特に、可分な核となるC*-代数上のこのような作用は、Kirchberg代数上の作用とKK^𝕋同値であることが示され、Kirchberg代数上の2つのRokhlin作用が互いに共役であるための必要十分条件は、それらがKK^𝕋同値であることである。UCTの場合、この同値性は、標準的なK理論的拡張不変量の同型に簡略化される。

ABSTRACT

We investigate the structure of circle actions with the Rokhlin property, particularly in relation to equivariant $KK$-theory. Our main results are $\mathbb{T}$-equivariant versions of celebrated results of Kirchberg: any Rokhlin action on a separable, nuclear C*-algebra is $KK^\mathbb{T}$-equivalent to a Rokhlin action on a Kirchberg algebra; any Rokhlin action on an exact separable C*-algebra embeds equivariantly into $\mathcal{O}_2$ (with its unique Rokhlin action); and two circle actions with the Rokhlin property on a Kirchberg algebra are conjugate if and only if they are $KK^\mathbb{T}$-equivalent. In the presence of the UCT, $KK^\mathbb{T}$-equivalence for Rokhlin actions reduces to isomorphism of a $K$-theoretical invariant, namely of a canonical pure extension naturally associated to any Rokhlin action, and we provide a complete description of the extensions that arise from actions on nuclear C*-algebras. In contrast with the non-equivariant setting, an isomorphism between the $K^\mathbb{T}$-theories of Rokhlin actions on Kirchberg algebras does not necessarily lift to a $KK^\mathbb{T}$-equivalence.

研究の動機と目的

• Rokhlin性質をもつ円作用について、Kirchbergの非等長KK理論の結果を等長設定に拡張すること。
• 等長KK理論を用いて、可分な核となるC*-代数上のRokhlin作用の構造を特徴づけること。
• Kirchberg代数上のRokhlin作用をKK^𝕋同値性によって完全に分類すること。
• UCTの場合にRokhlin作用を分類する標準的な純粋拡張不変量を特定すること。
• 等長設定におけるK^𝕋理論の同型とKK^𝕋同値性の違いを明確にすること。

提案手法

• 単位元をもつC*-代数上のRokhlin作用に対して、双対自己同型の存在を用いてExt*における標準的な純粋拡張を構成する。
• Takai双対性およびJulgの定理を適用し、交叉積のK^𝕋理論と固定部分代数のK理論を関連付ける。
• O_2およびO_∞の吸収性を活用して、等長埋め込みおよびKK^𝕋同値性を構成する。
• 連続的なRokhlin性質およびコycle共役性の結果を用いて、双対作用を関連付け、等長同値性を確立する。
• UCTを用いて、KK^𝕋同値性をRokhlin作用に付随するK理論的拡張不変量の同型に還元する。
• 固定部分代数における射影の上昇を用いて、与えられた作用とKK^𝕋同値となる単位元をもつKirchberg代数とRokhlin作用を構成する。

実験結果

リサーチクエスチョン

• RQ1 可分な核となるC*-代数上のRokhlin作用が、Kirchberg代数上のRokhlin作用とKK^𝕋同値であるための条件は何か？
• RQ2 Kirchberg代数上の2つのRokhlin作用が共役であるための条件は何か？ そして、それらのKK^𝕋同値性とはどのように関係するか？
• RQ3 UCTがK理論的不変量によるRokhlin作用の分類をどのように簡略化するか？
• RQ4 Rokhlin作用に付随する標準的な純粋拡張が分類プロセスにおいて果たす役割は何か？
• RQ5 なぜ等長設定では、K^𝕋理論の同型がKK^𝕋同値性に持ち上がらないのか？ これは非等長設定とは異なり、なぜか？

主な発見

• 任意の可分かつ核となるC*-代数上のRokhlin作用は、Kirchberg代数上のRokhlin作用とKK^𝕋同値である。
• 任意の可分かつ正確なC*-代数上のRokhlin作用は、O_2の固有のRokhlin作用と等長的に埋め込める。
• Kirchberg代数上の2つのRokhlin作用が共役であるための必要十分条件は、それらがKK^𝕋同値であることである。
• UCTが成り立つ場合、KK^𝕋同値性は、作用に付随する標準的な純粋拡張不変量の同型に簡略化される。
• 核となるC*-代数上のRokhlin作用から生じる拡張は、特定のK理論的性質をもつ純粋拡張として完全に特徴づけられる。
• Kirchberg代数上のRokhlin作用のK^𝕋理論の同型が、必ずしもKK^𝕋同値性に持ち上がらないことから、非等長設定とは顕著な違いが生じることが明らかになった。