[論文レビュー] Ideals and structure of operator algebras

Melahat Almus, David P. Blecher+1 more|arXiv (Cornell University)|Jul 17, 2009

Advanced Operator Algebra Research参考文献 34被引用数 9

ひとこと要約

この論文は、1-行列代数を構成要素として用いることで、r-理想、ℓ-理想、および遺伝的部分代数（HSAs）を研究することにより、作用素代数の理論を前進させる。主な貢献は、作用素代数のハーガップテンソル積が双対において右M-理想ではあるが左M-理想でないときの特徴付けであり、非反射的作用素代数や作用素空間理論における双対性への応用を含む。

ABSTRACT

We continue the study of r-ideals, l-ideals, and HSA's in operator algebras. Some applications are made to the structure of operator algebras, including Wedderburn type theorems for a class of operator algebras. We also consider the one-sided $M$-ideal structure of certain tensor products of operator algebras.

研究の動機と目的

• r-理想、ℓ-理想、および遺伝的部分代数（HSAs）の観点から、作用素代数の構造をより深く理解すること。
• 1-行列代数を基本的構成要素として用いることで、作用素代数のクラスに対するウェダーバルグ型分解定理を確立すること。
• 作用素代数のハーガップテンソル積の片側M-理想構造とその双対性を調査すること。
• モジュラー annihilator や在り来りの socle といった構造的性質を用いて、コンパクト作用素からなるC*-代数を特徴付けること。

提案手法

• 作用素代数における、収縮的近似単位（cai）を有する片側理想、特にr-理想とℓ-理想の理論を用いる。
• 双対 A** における射影とr-理想の対応関係を、非可換位相の意味で「開」であるとみなす。
• 1-行列代数（caIを有し、双対がC*-代数である作用素代数）の概念を用いて構造的分解を導出する。
• ハーガップテンソル積 A⊗_h B を用いて、A⊗_h B が双対において右M-理想ではあるが左M-理想でない例を構成する。これは、四重双対の中心が自明であることを利用している。
• 作用素空間理論における双対性結果、特にM-理想とL-和成分の関係を応用し、右M-理想の双対が左L-和成分であるが右L-和成分でないことを示す。
• 特に近似的に単位的作用素代数に対して、[37]におけるM-理想およびL-和成分の構造に関する結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 ハーガップテンソル積 A⊗_h B が双対において右M-理想ではあるが左M-理想でない条件は何か？
• RQ2 1-行列代数を用いて、非自己随伴作用素代数に対するウェダーバルグ型構造定理をどのように一般化できるか？
• RQ3 モジュラー annihilator や在り来りの socle といった性質から、コンパクト作用素からなるC*-代数をどのように特徴付けられるか？
• RQ4 作用素代数 A が双対において右M-理想である条件は何か？ そして、この性質が A⊗_h B の理想構造にどのように影響するか？
• RQ5 作用素空間のM-理想およびL-和成分構造とその双対との間にはどのような関係があるか？

主な発見

• A が双対において右理想である非反射的かつ近似的に単位的である作用素代数で、B が非自明な有限次元C*-代数であるとき、A⊗_h B は双対において右M-理想ではあるが左M-理想でない。
• ハーガップテンソル積 A⊗_h B が双対において左M-理想でないのは、その四重双対の中心が自明であるためであり、これが左M-理想であるならばAが反射的でなければならない。
• 双対において右M-理想ではあるが左M-理想でない作用素空間の双対は、二重双対において左L-和成分ではあるが右L-和成分でない。
• 分離可能な作用素代数 A は、かつてはσ-行列代数であるための必要十分条件は、半素的であること、双対において遺伝的部分代数であること、および次元が1より大きい任意のHSA D が、D に対して恒等的でない非ゼロ射影を含むことである。
• 右caiを有する近似的に単位的で、A** において左理想である作用素代数 A に対して、A** の理想構造により、右理想 J が J ∩ A = 0 を満たすならば J = 0 であることが保証され、[37]における結果が強化される。
• 本論文は、リードの最近の深い定理を用いて、[25, 9, 8]におけるいくつかの未解決問題を解決し、特に非自明なr-理想や最大r-理想の存在に関する問題を扱う。