[論文レビュー] Some Formulae for Norms of Elementary Operators

Richard M. Timoney|ArXiv.org|Sep 21, 2005

Advanced Operator Algebra Research参考文献 23被引用数 24

ひとこと要約

本稿では、C*-代数上の初等作用素のノルムを表す新しい公式を提示する。この公式は、行列の数値範囲と正の行列に対する新しいトレース幾何平均を用いて構築され、特徴的な性質を有することが示されている。主な貢献は、一般に適用可能な明示的かつ内在的なノルム公式の確立に加え、作用素の係数のコンパクト性に基づく初等作用素のコンパクト性の特徴付けである。

ABSTRACT

We present a formula for the norm of an elementary operator on a C*-algebra that seems to be new. The formula involves (matrix) numerical ranges and a kind of geometrical mean for positive matrices, the tracial geometric mean, which seems not to have been studied previously and has interesting properties. In addition, we characterise compactness of elementary operators.

研究の動機と目的

• C*-代数上の初等作用素の作用素ノルムに対する新しい明示的公式を提供すること。これは作用素理論における長年の問題に応えるものである。
• これまでに検討されていなかった、新しい行列平均としてのトレース幾何平均を導入・研究すること。その性質はノルム公式の根幹をなす。
• 初等作用素がコンパクトである条件を、その係数作用素のコンパクト性に基づいて特徴付けること。
• 導来作用素および一般化導来作用素のノルムに関する既知の結果を統一的に扱う一般枠組みに拡張し、任意の初等作用素に適用可能なものとする。
• 初等作用素のノルムと完全有界ノルムとの関係を確立すること。特に、HaagerupテンソルノルムおよびGlimmイデアル条件との関連を明らかにする。

提案手法

• 行列値数値範囲と正の行列のトレース幾何平均を用いて、初等作用素 $ T(x) = \sum_{j=1}^{\ell} a_j x b_j $ のノルム公式を導出する。
• トレース幾何平均を正の行列の新しい幾何平均として定義し、連続性や正定値性などの基本的性質を確立する。
• 作用素ノルムと数値範囲の双対性を用いて、$ \|T\| $ をヒルベルト空間上の単位ベクトルの上でのトレース幾何平均の上限として表現する。
• 乗算子代数および中心的双加法的ホモオモルフィズムの理論を用いて、$ \mathcal{B}(H) $ を超えて任意のC*-代数へノルム公式を一般化する。
• $ \mathcal{B}(H) $ における弱*位相および弱位相の議論を用いて、関数 $ f_T(\xi, \eta) = \| \text{ad}(T)\| $ の収束性と連続性を分析し、コンパクト性と関連付ける。
• ネット収束とトレース推定を用いて、$ T $ のコンパクト性とすべての係数 $ a_j, b_j $ のコンパクト性が同値であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 C*-代数上の初等作用素のノルムに対する一般的かつ内在的な公式を、完全有界ノルムに依存しない形で導出可能か？
• RQ2 正の行列に対するトレース幾何平均の性質は何か？また、この平均はどのようにして初等作用素のノルム推定に寄与するか？
• RQ3 C*-代数上の初等作用素がコンパクトである条件は何か？この条件をその係数作用素のみに依存して特徴付けられるか？
• RQ4 初等作用素のノルムは、Haagerupテンソルノルムおよび中心的Haagerupテンソルノルムとどのように関係するか？
• RQ5 導来作用素および一般化導来作用素に関する既知の結果を一般化する形で、初等作用素のコンパクト性の特徴付けは可能か？

主な発見

• 初等作用素 $ T $ のノルムに対する新しい公式が確立され、$ \|T\| = \sup_{\xi, \eta} \text{tgm}(Q(\mathbf{a}^*, \xi), Q(\mathbf{b}, \eta)) $ と表される。ここで上限は単位ベクトルの上をとり、トレース幾何平均は行列の数値範囲を用いて定義される。
• トレース幾何平均は正の行列に対する新しい平均として導入され、連続的かつ正定値的であることが示され、ノルム推定に適した性質を有する。
• 本稿では、初等作用素 $ T \in \mathcal{E}\ell(A) $ がコンパクトであるための必要十分条件として、すべての係数作用素 $ a_j $ および $ b_j $ がコンパクトであること、すなわち、鋭い特徴付けが与えられている。
• ノルム公式を用いて、[5]の結果を再証明した。すなわち、反限界C*-代数では $ k $-ノルムに成長がないことが、トレース幾何平均の連続性を用いて示された。
• $ A = \mathcal{B}(H) $ の場合、ノルム公式は初等作用素の表現に依存せず、係数行列とその数値範囲のみに依存することが示された。
• 一般化導来作用素 $ \delta_{a,b}(x) = ax - xb $ のノルムが $ \|\delta_{a,b}\| = \inf_{\lambda \in \mathbb{C}} \|a - \lambda\| + \|b - \lambda\| $ を満たすことが示された。これは既知の結果と整合的であり、今や一般枠組みから導出されたものである。