[論文レビュー] Unitary orbits of self-adjoint operators in simple Z-stable C*-algebras

Bhishan Jacelon, Karen R. Strung+1 more|arXiv (Cornell University)|Feb 18, 2015

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

ひとこと要約

本稿は、単純で、単位的で、正確で、Z-安定なC*-代数において、安定的階数1のものについて、自己随伴元の単位的軌道間の距離が、スペクトルデータによって完全に決定されることを確立している。特に、Lévy–Prokhorov距離を介して、その距離はスペクトルデータによって完全に決定される。主な結果は、$ d_U(a,b) = d_P(a,b) = d_W(a,b) $ の等式であり、ここで $ d_U $ は単位的軌道距離、$ d_P $ はスペクトル測度距離、$ d_W $ はCuntz同等性の擬距離である。

ABSTRACT

We prove that in a simple, unital, exact, Z-stable C*-algebra of stable rank one, the distance between the unitary orbits of self-adjoint elements with connected spectrum is completely determined by spectral data. This fails without the assumption of Z-stability.

研究の動機と目的

• C*-代数における2つの自己随伴元が近似的に単位的同値であるかどうかを、スペクトルデータによって特定すること。
• 正規C*-代数において、単位的軌道距離 $ d_U $ がスペクトル測度から純粋に計算可能かどうかを調査すること。
• Z-安定性および安定的階数1の下で、3つの擬距離 $ d_U $、$ d_P $（Lévy–Prokhorov）、$ d_W $（Cuntz部分同等性）の同等性を確立すること。
• このようなスペクトル的特徴付けに、Z-安定性および連結スペクトルの必要性を明確にすること。
• 有限次元行列や半有限因子における既知の結果を、無限次元的で単純で、Z-安定なC*-代数へと拡張すること。

提案手法

• Cuntz半群の枠組みを用いて、正の元のCuntz部分同等性により擬距離 $ d_W $ を定義する。
• 厳密比較およびトレース条件を用いて、安定的有限で単純でZ-安定なC*-代数において、連結スペクトルを持つ場合に $ d_W(a,b) = d_P(a,b) $ を確立する。
• 行列代数からの等式の持ち上げを分類理論を通じて、単純でZ-安定なC*-代数のクラス（安定的階数1）へと拡張することで、$ d_U(a,b) = d_W(a,b) $ を証明する。
• すべてのトレース $ \tau \in T(A) $ に対して、すべての開集合においてスペクトル測度の不等式が成り立つような $ r > 0 $ の下界として $ d_P(a,b) $ を定義する。
• 分類結果および安定性の性質を適用して、等式 $ d_U = d_P = d_W $ を有限代数を超えて、単純で単位的でZ-安定で正確で安定的有限なC*-代数の全クラスへと拡張する。
• 関数計算およびスペクトル射影を用いて、$ d_P $ を固有値の分布およびスペクトル上の連続関数のトレースに関連付ける。

実験結果

リサーチクエスチョン

• RQ1 単純でZ-安定なC*-代数において、自己随伴元の単位的軌道距離 $ d_U(a,b) $ が、スペクトルデータによって完全に決定可能かどうか。
• RQ2 安定的有限でZ-安定なC*-代数において、連結スペクトルを持つ自己随伴元に対して、$ d_U = d_P $ の等式が成り立つかどうか。
• RQ3 Z-安定性は、$ d_U $ のスペクトル的決定に必要不可欠か、それとも非Z-安定代数では成立しないのか。
• RQ4 等式 $ d_U = d_P = d_W $ が正規作用素やより一般的なコンパクトスペクトルへとどの程度拡張可能か。
• RQ5 結果が、有限次元C*-代数や他の定義域への0次元写像へと一般化可能かどうか。

主な発見

• 単純で単位的で正確でZ-安定なC*-代数（安定的階数1）において、自己随伴元の連結スペクトルを持つものについて、単位的軌道距離 $ d_U(a,b) $ は、スペクトルデータによって完全に決定される。
• このような代数において、正の収縮元 $ a,b $ について $ \sigma(a) = \sigma(b) = [0,1] $ のとき、等式 $ d_U(a,b) = d_P(a,b) = d_W(a,b) $ が成り立つ。
• Z-安定性がなければ結果は成り立たない：非Z-安定なAH代数において、$ d_P(a,b) = 0 $ だが $ d_U(a,b) > 0 $ である近似的に単位的同値でない正の収縮元 $ a,b $ が存在する。
• 等式 $ d_W(a,b) = d_P(a,b) $ は、厳密比較およびCuntz同等な射影の不在に依存しており、これはZ-安定性のもとで成立する。
• 連結スペクトルの仮定は必須である。一トレースのAF代数では、同じトレースを持つ射影が単位的同値ではない反例が存在する。
• 結果はZ-安定性に限らず、Cuntz半群における共有される構造的性質のおかげで、安定的階数1の純粋C*-代数のより広いクラスへと拡張可能である。