[論文レビュー] Nonstable K-theory for Z-stable C*-algebras

Xinhui Jiang|arXiv (Cornell University)|Jul 1, 1997

Advanced Operator Algebra Research参考文献 11被引用数 14

ひとこと要約

この論文は、単位的Z安定C*-代数に対して、ユニタリ群U(A)のホモトピー群が非安定K理論群に同型であることを確立している：i ≥ 0に対してπ_i(U(A)) ≅ K_{i-1}(A)が成り立つ。この結果により、このような代数はフルな射影に関してキャンセレーションと比較可能性を満たし、A上の行列代数における部分等長作用素とZ乗法を用いた新しい構成によって、安定K理論不変量を非安定ホモトピー不変量へと拡張することができる。

ABSTRACT

Let Z denote the simple limit of prime dimension drop algebras that has a unique tracial state. Let A != 0 be a unital C^*-algebra with A = A tensor Z. Then the homotopy groups of the group U(A) of unitaries in A are stable invariants, namely, π_i(U(A)) = K_{i-1}(A) for all integers i >= 0. Furthermore, A has cancellation for full projections, and satisfies the comparability question for full projections. Analogous results hold for non-unital Z-stable C^*-algebras.

研究の動機と目的

• ユニタリ群のホモトピー群とK理論の関係を用いて、Z安定C*-代数に対する非安定K理論的不変量を確立すること。
• Z安定C*-代数がフルな射影に関してキャンセレーションと比較可能性を満たすことを証明すること。
• 新しいホモトピー論的アプローチを用いて、近似的に可除なC*-代数に関する結果をZ安定C*-代数のより広いクラスへと拡張すること。
• 自然な写像µ: U(A)/U₀(A) → K₁(A)が同型であることを示し、ユニタリ群の構造とK₁理論を結びつけること。
• 安定化と拡張技術を用いて、非単位的Z安定C*-代数へと結果を一般化すること。

提案手法

• 素因数分解型の次元落とし代数Z_{m,n}の構造を用いて、A ⊗ Zにおける射影のグラスマン空間への写像を構成する。
• Z ⊗ Z ≅ Zの同型と、Z_{m,n} → Zへの単位的埋め込みの存在を用いて、行列代数からA ⊗ Zへの性質の持ち上げを行う。
• 基本的なK理論的観察（式1.6）を適用し、周期性を介してU(A)のホモトピー群とK₀およびK₁群を関連付ける。
• A上の行列代数における部分等長作用素とユニタリ経路を用いて、K理論的類を実現するホモトピーを構成する。
• ブラックダーやロルダムによる擬似トレースとV(A)の構造に関する結果を活用し、比較可能性とキャンセレーションを証明する。
• 射影を行列代数のコーナーに埋め込み、ブラックダール＝ハンデルマンの拡張定理を用いて、単位的結果を非単位的代数へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 Z安定C*-代数Aのユニタリ群U(A)のホモトピー群は、K理論とどのように関係するか？
• RQ2 Z安定性は、Aにおけるフルな射影に関してキャンセレーションを意味するか？
• RQ3 擬似トレースの不等式を用いて、Z安定C*-代数におけるフルな射影の比較可能性条件を確立できるか？
• RQ4 非単位的Z安定C*-代数に対して、自然な写像µ: U(A)/U₀(A) → K₁(A)が同型であるか？
• RQ5 非単位的Z安定C*-代数に対しても、キャンセレーションと比較可能性に関する類似結果が成り立つか？

主な発見

• 任意の単位的Z安定C*-代数Aに対して、すべてのi ≥ 0に対してπ_i(U(A)) ≅ K_{i-1}(A)が成り立ち、K₀とK₁は偶奇に基づいて交互に現れる。
• 自然な写像µ: U(A)/U₀(A) → K₁(A)は同型であり、ユニタリ群の構造とK₁理論との直接的な関連を確立する。
• Aはフルな射影に関してキャンセレーションを満たす：K₀(A)において[p] = [q]ならば、pとqは Murray–von Neumann同値である。
• Aは比較可能性を満たす：すべての擬似トレースτに対してτ(p) < τ(q)ならば、pはqに部分同値である。
• 結果は非単位的Z安定C*-代数へと拡張可能である：安定化と行列代数のコーナーへの埋め込みを用いてキャンセレーションと比較可能性が成立する。
• 単位的で単純なZ安定Aに対して、グラスマン空間P(A)のホモトピー群は、偶数iに対してπ_i(P(A)) ≅ K₀(A)、奇数i ≥ 1に対してπ_i(P(A)) ≅ K₁(A)を満たす。