[論文レビュー] Distance to normal elements in $C^*$-algebras of real rank zero

Ilya Kachkovskiy, Yuri Safarov|arXiv (Cornell University)|Mar 9, 2014

Advanced Operator Algebra Research参考文献 12被引用数 4

ひとこと要約

この論文は、実階数がゼロの $C^*$-代数における有界作用素から正規作用素の集合への距離について、自己可換子 $[A,A^*]$ のノルムと可逆元への距離を用いて、順序的に鋭い推定値を確立する。主な結果は、定量的な評価 $ {dist}(A, {N}_f( {A})) \leq C(\|[A,A^*]\|^{1/2} + d_1(A))$ を与え、リンの定理を精緻化し、デイヴィドソンとツァレックの $t^{1/2}$ 減衰率に関する予想を裏付ける。

ABSTRACT

We obtain an order sharp estimate for the distance from a given bounded operator $A$ on a Hilbert space to the set of normal operators in terms of $\|[A,A^*]\|$ and the distance to the set of invertible operators. A slightly modified estimate holds in a general $C^*$-algebra of real rank zero.

研究の動機と目的

• 実階数がゼロの $C^*$-代数における有界作用素から正規作用素の集合への距離について、次元に依存しない定量的推定を与えること。
• 任意の次元に依存せず、$F(0)=0$ を満たす連続関数 $F$ が存在して、$\r{dist}(A, \text{正規}) \leq F(\|[A,A^*]\|)$ が成り立つかどうかという長年の未解決問題を解決すること。
• リンの定理、ブラウン＝ダウグレイス＝フィルモアの定理、バーグ＝デイヴィドソンの定量的バージョンを含む既存の結果を拡張・精緻化すること、特に非コンパクトな自己可換子に対して有効であるようにすること。
• 距離の鋭い下界を確立し、それが $\max\{(5\|A\|)^{-1}\|[A,A^*]\|, d_1(A)\}$ に等しいことを示すこと。

提案手法

• 実階数がゼロの $C^*$-代数におけるスペクトル理論と関数計算を用い、自己随伴作用素が有限スペクトルを持つもので近似可能であることに着目する。
• スペクトル射影と滑らかなカットオフ関数 $\rho$ を用いて、作用素を局所化し非可換性を低減する手法を鍵とする。
• 可逆性の性質を制御するため、$d_1'(A)$ と呼ばれる修正された距離関数を導入し、$\lambda \in \mathbb{C}$ における $\r{dist}(A - \lambda I, \r{GL}_0(\mathcal{A}))$ の上界を取る。
• 作用素 $A$ を実部と虚部に分解し、ブロック対角化を用いて可換近似作用素を構成する。
• 自己可換子 $\|[X,Y]\|$ と $\|X - X'\|$ の推定値を用いて、有限スペクトルを持つ正規作用素による $A$ の近似誤差の上限を導出する。
• 定理3.1と定理5.1の推定値を組み合わせることで、$d_1'(A)$ に依存する関係を制御し、代数や作用素に依存しない一様定数 $C$ を得る。

実験結果

リサーチクエスチョン

• RQ1 実階数がゼロの $C^*$-代数における任意の有界作用素 $A$ に対して、次元に依存せず連続関数 $F$ を $F(0)=0$ を満たすように構成し、$\r{dist}(A, \text{正規}) \leq F(\|[A,A^*]\|)$ が成り立つかどうか。
• RQ2 デイヴィドソンとツァレックの予想——距離が $C \|[A,A^*]\|^{1/2}$ のように減衰する——が、有限次元設定で成り立ち、無限次元の実階数ゼロの $C^*$-代数へも拡張可能かどうか。
• RQ3 非コンパクトな自己可換子を持つ作用素に対し、ブラウン＝ダウグレイス＝フィルモアの定理の定量的バージョンを確立できるか。
• RQ4 このような代数における有限スペクトルを持つ正規作用素の集合への距離の鋭い下界は何か。

主な発見

• 論文は上界 $\r{dist}(A, \r{N}_f(\mathcal{A})) \leq C(\|[A,A^*]\|^{1/2} + d_1(A))$ を確立し、$C$ は代数や作用素に依存しない絶対定数であるとし、鋭い推定であることを裏付ける。
• 下界 $\r{dist}(A, \r{N}_f(\mathcal{A})) \geq \max\{(5\|A\|)^{-1}\|[A,A^*]\|, d_1(A)\}$ が証明され、推定が順序的に鋭いことが示された。
• デイヴィドソンとツァレックの予想——$F(t) = C t^{1/2}$ が有限次元行列に対して十分である——は、主結果の特別な場合として確認された。
• この結果は、自己可換子がコンパクトでない場合でも、$C$ がスペクトル集合 $\Omega$ に依存しない $F_\Omega(\varepsilon) = C\varepsilon$ となる定量的ブラウン＝ダウグレイス＝フィルモアの定理のバージョンを示唆する。
• 実階数がゼロの $C^*$-代数における作用素を、有限スペクトルを持つ正規作用素に近似する構成的枠組みが提供された。
• 推定はスケーリングに対して安定であり、本質的ノルム設定へと拡張可能で、$\|A - A_\varepsilon\|_{\mathrm{ess}} \leq 2F(\|[A,A^*]\|_{\mathrm{ess}})$ が得られ、$F$ への明示的依存関係を持つ完全な作用素ノルムの上限も得られた。