[論文レビュー] Application of topological radicals to calculation of joint spectral radii

Victor S. Shulman, Yuri V. Turovskii|ArXiv.org|May 2, 2008

Advanced Operator Algebra Research参考文献 8被引用数 10

ひとこと要約

本稿では、バナッハ空間上の有界作用素族に対して、一般化されたベルジャ-・ワングの公式を確立し、それが関連する作用素族のジョイントスペクトル半径と、カルキン代数におけるジョイントスペクトル半径の最大値に等しいことを示している。証明はバナッハ代数における位相的根基に依拠しており、行列やコンパクト作用素に限らない一般の前コンパクト集合へと古典的ベルジャ-・ワングの公式を拡張している。

ABSTRACT

It is shown that the joint spectral radius $ρ(M)$ of a precompact family $M$ of operators on a Banach space $X$ is equal to the maximum of two numbers: the joint spectral radius $ρ_{e}(M)$ of the image of $M$ in the Calkin algebra and the Berger-Wang radius $r(M)$ defined by the formula \[ r(M)=\underset{n o\infty}{\limsup}(\sup\left\{ρ(a):a\in M^{n} ight\} ^{1/n}) . \] Some more general Banach-algebraic results of this kind are also proved. The proofs are based on the study of special radicals on the class of Banach algebras.

研究の動機と目的

• 一般に $\rho(M) = r(M)$ が成り立たないバナッハ空間上の前コンパクト作用素族に対して、古典的ベルジャ-・ワングの公式を拡張すること。
• ベルジャ-・ワングの公式の適用範囲のギャップを埋めるために、カルキン代数におけるジョイントスペクトル半径を主要な要素として導入すること。
• 作用素族のスペクトル半径を分析するための統一的枠組みを、バナッハ代数における位相的根基を用いて構築すること。
• 特に、本質的スペクトル半径がジョイントスペクトル半径より厳密に小さい場合に、前コンパクト集合におけるジョイントスペクトル半径の連続性を証明すること。
• スペクトル半径の分解を用いて、作用素代数における不変部分空間に関する結果の理論的基盤を提供すること。

提案手法

• 古典的公式を一般化するため、一般化されたベルジャ-・ワング半径を $ r(M) = \limsup_{n \to \infty} \left( \sup_{a \in M^n} \rho(a) \right)^{1/n} $ として定義する。
• 本質的ジョイントスペクトル半径 $ \rho_e(M) = \rho(\pi(M)) $ を定義し、ここで $ \pi $ は $ \mathcal{B}(\mathcal{X})/\mathcal{K}(\mathcal{X}) $ への自然な商写像である。
• 特に、ハイポコンパクトおよびバイコンパクトイデアルを扱うために、バナッハ代数のクラスにおける位相的根基を用いて、イデアルおよびその商の構造を分析する。
• 順序数の極限と後続の順序数に関する帰納法を用いて、一般化された公式を帰納的に証明するため、閉イデアルの超限列 $ \{J_\alpha\} $ を構成する。
• ジョイントスペクトル半径の連続性を、サブハーモニック性とノルム収束を用いて、$ \rho_e(M) < \rho(M) $ である前コンパクト集合に対して一般化公式を適用して証明する。
• 一元族に対しては $ \rho_e(T) = \rho_\chi(T) $（本質的スペクトル半径）が成り立つことを利用して、連続性の証明における矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 行列やコンパクト作用素に限らない、バナッハ空間上の前コンパクト作用素族に対し、古典的ベルジャ-・ワングの公式 $ \rho(M) = r(M) $ を拡張できるか？
• RQ2 一般の前コンパクト作用素族のジョイントスペクトル半径の分解において、カルキン代数が果たす正確な役割は何か？
• RQ3 バナッハ代数における位相的根基は、ジョイントスペクトル半径を本質的および非本質的成分に分解するためにどのように機能するか？
• RQ4 どのような条件下で、ジョイントスペクトル半径は前コンパクト作用素集合において連続となるか？
• RQ5 一般化された公式により、作用素代数における不変部分空間定理の新たな結果が得られる範囲はどの程度か？

主な発見

• 任意のバナッハ空間上の前コンパクト作用素族 $ M $ に対して、ジョイントスペクトル半径は $ \rho(M) = \max\{ r(M), \rho_e(M) \} $ を満たす。ここで $ r(M) $ はベルジャ-・ワング半径、$ \rho_e(M) $ はカルキン代数におけるジョイントスペクトル半径である。
• 一般化された公式により、$ \lambda \in \mathbb{C} $ およびコンパクト作用素 $ K $ に対して、$ \rho(M) = r(M) $ がすべての形 $ \lambda I + K $ の前コンパクト族で成り立つことが示される。
• 本質的スペクトル半径 $ \rho_e(M) < \rho(M) $ である場合、ジョイントスペクトル半径は前コンパクト集合 $ M $ において連続である。これは、個々の作用素のスペクトル半径の連続性を用いた背理法により示された。
• 証明は、ハイポコンパクトイデアルの列 $ \{J_\alpha\} $ を用いた超限帰納法に依拠しており、極限順序数および後続順序数における公式の帰納的検証が鍵となる。
• この結果により、ベルジャ-・ワングの公式の適用範囲が非コンパクト作用素へと拡張され、以前の結果で非コンパクト族に対して公式が成立しなかったギャップが解消された。
• 位相的根基の理論は、ジョイントスペクトル半径の構造的分析のための枠組みを提供し、スペクトル挙動の本質的および残余成分への分解を可能にした。