[論文レビュー] Unitary equivalences for essential extensions of $C^*$-algebras

Huaxin Lin|ArXiv.org|Mar 15, 2004

Advanced Operator Algebra Research参考文献 9被引用数 5

ひとこと要約

この論文は、C*-代数の本質的拡大における強ユニタリ同値とユニタリ同値を区別するためのK理論的障害を確立する。固定された $ KK^1 $-類を表す全射本質的拡大の強ユニタリ同値類と $ K_0(B) $ の商との間の全単射を証明し、この群が自明であるとき、ユニタリ同値が強ユニタリ同値を意味することを示している。この結果は、可換C*-代数に限らない範囲にわたりブラウン＝ダグラス＝フィルモアの定理を一般化し、K理論が強ユニタリ同値に関して分類する役割を明確にする。

ABSTRACT

Let $A$ be a unital separable \CA and $B=C\otimes {\cal K},$ where $C$ is a unital \CA. Let $τ: A o M(B)/B$ be a weakly unital full essential extensions of $A$ by $B.$ We show that there is a bijection between a quotient group of $K_0(B)$ onto the set of strong unitary equivalence classes of weakly unital full essential extensions $σ$ such that $[σ]=[τ]$ in $KK^1(A, B).$ Consequently, when this group is zero, unitarily equivalent full essential extensions are strongly unitarily equivalent. When $B$ is a non-unital but $σ$-unital simple \CA with continuous scale, we also study the problem when two approximately unitarily equivalent essential extensions are strongly approximately unitarily equivalent. A group is used to compute the strongly approximate unitary equivalence classes in the same approximate unitary equivalent class of essential

研究の動機と目的

• 非可換C*-代数における本質的拡大のユニタリ同値が強ユニタリ同値を意味する条件を特定すること。
• 一般に、ユニタリ同値が強ユニタリ同値を意味しない理由を妨げるK理論的障害を同定すること。
• K理論とユニバーサル係数定理を用いて、ブラウン＝ダグラス＝フィルモアの分類結果を可換C*-代数を超えて拡張すること。
• 本質的拡大における近似ユニタリ同値と強近似ユニタリ同値の関係を明確にすること。

提案手法

• ユニバーサル係数定理と全射本質的拡大の分類結果を用い、$ KK^1 $-類とユニタリ同値類との関係を確立する。
• 固定された $ KK^1 $-類を持つ全射本質的拡大の強ユニタリ同値類と $ K_0(B) $ の商との間の全単射を構成する。
• $ M(B)/B $ における $ K $-群と拡大の理論、特に $ B = C times ilde{K} $ の場合を用いて、拡大上のユニタリ作用を分析する。
• 純粋に無限大の単純C*-代数と実ランクゼロの性質を活用し、同値類を安定化するユニタリを構成する。
• $ M(B)/B $ におけるユニタリの列を分析し、強近似ユニタリ同値と近似ユニタリ同値を区別する。
• 近似ユニタリ同値と強近似ユニタリ同値の違いを検出するための主要不変量として、群 $ H_1(K_0(A), K_1(M(B)/B)) $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 本質的拡大のユニタリ同値が強ユニタリ同値を意味する条件は何か？
• RQ2 非可換C*-代数において、ユニタリ同値が強ユニタリ同値を意味しない理由を制御するK理論的不変量は何か？
• RQ3 C*-代数の本質的拡大において、強近似ユニタリ同値と近似ユニタリ同値の関係は何か？
• RQ4 $ KK^1 $-類だけでは強ユニタリ同値を検出できるか、それ以上のK理論的データが必要か？
• RQ5 $ H_1(K_0(A), K_1(M(B)/B)) $ は、強近似ユニタリ同値類の分類において果たす役割は何か？

主な発見

• $ K_0(B)/H_1(K_0(A), K_0(B)) $ の商群と、固定された $ KK^1 $-類 $ [ au] $ を表す全射本質的拡大の強ユニタリ同値類の集合との間に全単射が存在する。
• $ K_0(B)/H_1(K_0(A), K_0(B)) = 0 $ であるとき、ユニタリ同値である全射本質的拡大は、強ユニタリ同値でもある。
• 群 $ H_1(K_0(A), K_1(M(B)/B)) $ は、本質的拡大における近似ユニタリ同値と強近似ユニタリ同値の違いを検出する。
• $ B = C times ilde{K} $ の場合、固定された $ KK^1 $-類を持つ弱くユニタリな全射本質的拡大の強近似ユニタリ同値類は、高々 $ |K_0(B)/H_1(K_0(A), K_0(B))| \cdot |\text{ext}_\mathbb{Z}(K_*(A), K_*(B))| $ 個存在する。
• 弱くユニタリな全射本質的拡大が異なる $ KK^1 $-類に属していても、$ K_0(B) = H_1(K_0(A), K_0(B)) $ ならば、強近似ユニタリ同値である可能性がある。
• 一般に、商 $ K_1(M(B)/B)/H_1(K_0(A), K_1(M(B)/B)) $ は自明でない。その非自明性は、近似ユニタリ同値が強近似ユニタリ同値を意味しないことを示唆する。