[論文レビュー] On the Lie ideals of C*-algebras

Leonel Robert|arXiv (Cornell University)|May 18, 2015

Advanced Operator Algebra Research参考文献 15被引用数 6

ひとこと要約

この論文は C*-代数におけるリー部分空間の構造を調査し、コンmutator によって生成される閉じた両側イデアルが、コンmutator によって生成される C*-代数と一致することを確立している。ユニタリ C*-代数において 1 次元表現が存在しない場合、平方零元の線型包はコンmutator の線型包と一致することを証明し、同型不変性を用いてリー部分空間を特徴づけている：部分空間がリー部分空間であることと、すべての平方零元 x に対して (1+x) による共役作用に関して不変であることとは同値である。

ABSTRACT

Various questions on Lie ideals of C*-algebras are investigated. They fall roughly under the following topics: relation of Lie ideals to closed two-sided ideals; Lie ideals spanned by special classes of elements such as commutators, nilpotents, and the range of polynomials; characterization of Lie ideals as similarity invariant subspaces.

研究の動機と目的

• C*-代数におけるリー部分空間の構造、特にそれらと両側イデアルとの関係を理解すること。
• コンmutator や平方零元、非可換多項式の値といった特別な元の線型包を調査すること。
• リー部分空間を、平方零元 x に対して (1+x) による類似変換に関して不変な部分空間として特徴づけること。
• 関数計算、近似単位、極分解を用いて、代数的結果を C*-代数の文脈へと拡張すること。

提案手法

• 2- torsion が存在しないことを利用して、C*-代数へと適応された半素環に関するヘスチンの定理を基盤とする。
• コンmutator 写像の「線形化性質」を適用する：任意の A の部分集合 X に対して [X^n, A] ⊆ [X, A] が成り立つ。
• Lie 部分空間と両側イデアルおよびその平方との関係を示すために、恒等式 A[L,L]A ⊆ L + L² を用いる。
• 近似単位と超弱位相を用いて、フォン・ノイマン代数における閉じたイデアルの性質を分析する。
• 有界トレースのない C*-代数では [A,A] = A であるポップの定理を適用し、リー部分空間と全代数との関係を明らかにする。
• すべての平方零元 x に対して (1+x)U(1−x) ⊆ U が成り立つことによってリー部分空間を特徴づけ、このような x がコンmutator 空間を生成することを活用する。

実験結果

リサーチクエスチョン

• RQ1 C*-代数におけるリー部分空間は、コンmutator によって生成される閉じた両側イデアルとどのように関係しているか？特に、コンmutator による生成という観点から。
• RQ2 ユニタリ C*-代数において、平方零元の線型包とコンmutator の線型包との関係は何か？
• RQ3 リー部分空間は、すべての平方零元 x に対して (1+x) による共役作用に関して不変であるという性質で特徴づけられるか？その条件は何か？
• RQ4 非可換多項式の値は、代数全体やそのコンmutator 部分空間をどれだけ生成するのか？
• RQ5 類似変換に関して不変な部分空間が、C*-代数においていつリー部分空間になるのか？

主な発見

• コンmutator [A,A] によって生成される閉じた両側イデアルは、[A,A] によって生成される C*-代数と一致し、[A,A] + [A,A]² の閉包とも等しい。
• 1 次元表現が存在しないユニタリ C*-代数では、平方零元の線型包はコンmutator の線型包と一致する。
• 有界トレースのない C*-代数では、任意の元が、非定数の非可換変数多項式の値の高々 N 個の線型結合として表される。N は多項式に依存する。
• 有界トレースのない C*-代数では、f(x,y) = [x,y] のような複素数上で 0 に消える多項式について、最小の such N が任意に大きく取り得る。
• 有界トレースのないユニタリ C*-代数、またはフォン・ノイマン代数において、部分空間 U がリー部分空間であることと、すべての平方零元 x に対して (1+x)U(1−x) ⊆ U が成り立つことは同値である。
• 単純なユニタリ C*-代数では、非自明な射影が存在しなくても、部分空間 U がリー部分空間であることと、すべての平方零元 x に対して (1+x) による共役作用に関して不変であることは同値である。