[論文レビュー] Homotopy of unitaries in simple C*-algebras with tracial rank one

Huaxin Lin|ArXiv.org|May 5, 2008

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

ひとこと要約

本稿は、トレーシングランクが1以下である単位的単純C*-代数に対して、一般化された基本ホモトピー補題を確立する。これは、単位的ホモモーフィズムφ: C → A からのC*-代数Cがトレーシングランク1であり、誘導されたボット写像が消える場合に、恒等写像にホモトープなユニタリ要素が、A内でユニタリの連続的経路として、φとほとんど可換に保ちながら恒等写像に変形可能であることを示す。この結果は、実ランクまたはトレーシングランク0の代数に限らない古典的基礎ホモトピー補題の拡張である。

ABSTRACT

Let $ε>0$ be a positive number. Is there a number $δ>0$ satisfying the following? Given any pair of unitaries $u$ and $v$ in a unital simple $C^*$-algebra $A$ with $[v]=0$ in $K_1(A)$ for which $$ \|uv-vu\|

研究の動機と目的

• トレーシングランク0のC*-代数からトレーシングランク1以下の代数へ、基本ホモトピー補題を拡張すること。
• 射影が希でありK理論がより複雑な状況下で、ユニタリの連続的経路がホモモーフィズムφとほとんど可換になるように構成する課題に対処すること。
• トレーシングランク1の単純C*-代数における単射の漸近的ユニタリ同値性の分類のための重要な技術的道具を提供すること。
• K理論的データがホモモーフィズムと整合するが、C*-代数C([0,1], M_n)への合同的完全有界線形写像がホモモーフィズムでない場合に、その影響を扱うこと。

提案手法

• トレーシングランク1のC*-代数Cを、C([0,1], M_n)代数の直和極限による有限次元近似を用いる。
• K理論的整合性を保証し、ホモモーフィズムを分類するために、ユニバーサル係数定理（UCT）を適用する。
• 摂動技術を用いて、A内の連続的ユニタリ経路{u(t)}を構成し、u(0) = u、u(1) = 1、かつすべてのtと有限集合内のcについて‖[φ(c), u(t)]‖が小さいようにする。
• K₀(C)の有限部分集合上で誘導されたボット写像Bott(φ, u)が消えることで、位相的障害を除去する。
• 2つの経路を連結して経路を構築する：まずuからφとほとんど可換な中間ユニタリu₁への経路、次にu₁から1への経路。
• 区分的滑らかな経路を用い、ノルム不等式による推定で、可換子における誤差の蓄積を制御する。

実験結果

リサーチクエスチョン

• RQ1 C*-代数Aが単位的単純でTR(A) ≤ 1であるとき、K₁(A)において[u] = 0 かつボット不変量が消えるならば、ユニタリu ∈ Aが、φ: C → A に対するユニタリの連続的経路で、φとほとんど可換に保ちながら恒等写像にホモトープにできるか？
• RQ2 トレーシングランク1以下の単位的分離可能アーメンC*-代数Cからのユニタリホモモーフィズムφ: C → A に対して、ユニタリがφとほとんど可換であるとき、どのような条件下で、φとほとんど可換に保ちながら恒等写像にホモトープにできるか？
• RQ3 射影が存在せず、c.p.写像の構造が複雑であるにもかかわらず、実ランクまたはトレーシングランク0の代数からトレーシングランク1の代数への基本ホモトピー補題の拡張はどのように可能か？
• RQ4 トレーシングランク1の代数において、このようなホモトピーのための位相的障害を除去するにあたり、ボット写像の消える役割は何か？
• RQ5 φがホモモーフィズムではなく、合同的完全有界線形写像である場合に、経路に沿った可換子‖[φ(c), u(t)]‖のノルムをどのように制御できるか？

主な発見

• 任意のε > 0と有限集合𝒟 ⊂ Cに対して、δ > 0、有限集合𝒢 ⊂ C、およびK₀(C)の有限部分集合𝒫が存在し、すべてのc ∈ 𝒢に対して‖[φ(c), u]‖ < δ かつBott(φ, u)|𝒫 = 0 ならば、u(0) = u、u(1) = 1 かつすべてのt ∈ [0,1]とc ∈ 𝒟に対して‖[φ(c), u(t)]‖ < ε を満たす連続的ユニタリ経路{u(t)}が存在する。
• 経路は区分的滑らかに選べるため、ホモトピー理論への応用に適した正則性を満たす。
• K₀(C)の有限部分集合上でボット写像が消えることは、ホモトピーのための位相的障害を除去するのに十分である。
• Cが単位的分離可能アーメン単純C*-代数でTR(C) ≤ 1 かつUCTを満たすという仮定のもとで、この結果は成り立つ。
• 証明は2段階で経路を構築する：まずuからφとほとんど可換な中間ユニタリu₁への経路、次にu₁から1への経路。摂動と近似技術を用いる。
• 誤差の境界はノルム推定と補助的ユニタリおよび射影の使用により制御され、最終的な経路が所定の可換子境界を満たすことが保証される。