[論文レビュー] Cuntz semigroups of ideals and quotients and a generalized Kasparov Stabilization Theorem

Alin Ciuperca, Leonel Robert+1 more|ArXiv.org|Oct 31, 2007

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

ひとこと要約

本稿は、C*-代数とそのイデアルのCuntz半群枠組みを用いて、一般化されたKasparov安定化定理を確立する。ヒルベルトC*-加群とCuntz同値を分析することで、C*-代数上の2つの加群が $ l_2(I) $ で安定化された後、そのイデアル $ I $ による商が同型であるための必要十分条件を示し、Kasparovの元々の結果を非単純な場合に拡張するとともに、イデアルに関してCuntz半群関手の完全性を証明する。

ABSTRACT

Let A be a C*-algebra and I a closed two-sided ideal of A. We use the Hilbert C*-modules picture of the Cuntz semigroup to investigate the relations between the Cuntz semigroups of I, A and A/I. We obtain a relation on two elements of the Cuntz semigroup of A that characterizes when they are equal in the Cuntz semigroup of A/I. As a corollary, we show that the Cuntz semigroup functor is exact. Replacing the Cuntz equivalence relation of Hilbert modules by their isomorphism, we obtain a generalization of Kasparov's Stabilization theorem.

研究の動機と目的

• C*-代数 $ A $、そのイデアル $ I $、および商 $ A/I $ のCuntz半群の関係を理解すること。
• $ Cu_s(A) $ 内の2つの元が $ Cu_s(A/I) $ で等しくなるための条件を、$ [M]I $ と $ [N]I $ を含む関係を用いて特徴づけること。
• Cuntz同値をヒルベルト加群の同型に置き換えることで、Kasparovの安定化定理を一般化すること。
• $ I $ が $ \sigma $-ユニタリであるという仮定の下で、$ \pi: A \to A/I $ に対してCuntz半群関手が完全であることを証明すること。
• コンパクト群作用を伴う等変形設定にまで結果を拡張し、等変安定化定理を証明すること。

提案手法

• 要素が可分生成加群の同型類として表されるヒルベルトC*-加群のCuntz半群の図式を用いる。
• $ [M]I := [MI] $ を定義し、$ Cu_s(A) $ と $ Cu_s(I) $ の関係を結ぶ。
• 重要な不等式を確立する：$ Cu_s(\pi)([M]) \leq Cu_s(\pi)([N]) $ であるための必要十分条件は $ [M] + [N]I \leq [N] + [M]I $ であることで、商における等価性を特徴づける。
• Kasparovの安定化定理を適用し、$ Cu_s(\pi) $ が $ Cu_s(A) + [l_2(I)] $ と $ Cu_s(A/I) $ の間で同型に制限されることを示す。
• Mingo-Phillipsの証明戦略を適応し、コンパクト群による平均化を用いて等変な上への押し上げを構成する。
• 群の平均化と再帰的近似を用いて等変作用素を構成することで、新たな等変安定化定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 C*-代数 $ A $ 上の2つのヒルベルトC*-加群が、$ \sigma $-ユニタリイデアル $ I $ に関して、その商が同型であるのはいつか？
• RQ2 Cuntz半群の観点から、$ Cu_s(A) $ の2つの元が $ Cu_s(A/I) $ で同じ元に写されるための明確な条件は何か？
• RQ3 Kasparovの安定化定理は、安定性のスカラ一の条件に限らず、任意のC*-代数とイデアルへ一般化可能か？
• RQ4 C*-代数の短完全系列に関して、Cuntz半群関手は完全か？
• RQ5 安定化結果は、コンパクト群作用を伴う等変形設定へ拡張可能か？

主な発見

• $ Cu_s(\pi)([M]) = Cu_s(\pi)([N]) $ であるための必要十分条件は $ [M] + [N]I = [N] + [M]I $ であることにより、商における完全な特徴づけが得られる。
• Cuntz半群関手は完全である：順序付き半群の系列 $ 0 \to Cu_s(I) \to Cu_s(A) \to Cu_s(A/I) \to 0 $ は完全である。
• $ Cu_s(\pi) $ が $ Cu_s(A) + [l_2(I)] $ に制限されたとき、$ Cu_s(A/I) $ への同型写像となる。これはKasparovの安定化定理を一般化する。
• $ M/MI \cong N/NI $ が $ A/I $-加群として同型であるとき、商写像を引き起こす同型 $ \Phi: M \oplus l_2(I) \to N \oplus l_2(I) $ が存在する。
• コンパクト群 $ G $ に対して、$ \phi: M/MI \to N/NI $ が等変同型であれば、$ \phi $ を引き起こす等変同型 $ \Phi: M \oplus L_2(G, l_2(I)) \to N \oplus L_2(G, l_2(I)) $ が存在する。
• 構成は、群 $ G $ による平均化を用いて等変作用素を生成し、$ G $-連続なバージョンの安定化定理を $ G $-加群に適用する。