[論文レビュー] Local derivations on Rings containing a von Neumann algebra and a question of Kadison

Don Hadwin, Jiankui Li+2 more|arXiv (Cornell University)|Oct 31, 2013

Advanced Topics in Algebra参考文献 12被引用数 4

ひとこと要約

本稿はリチャード・カジソンが提起した問いに答え、可測作用素の代数がアーベル的和成分が離散的であるヴォイナム・代数に付随する場合、その代数上のすべての局所微分は微分であることを証明する。証明は、行列単位と中心的イデムポテンの分離族を用いた環論的技法に依拠し、局所的な性質から微分を大域的に拡張する。

ABSTRACT

We prove that if M is a von Neumann algebra whose abelian summand is discrete, then every local derivation on the algebra of all measurable operators affilated with M is a derivation. This answers a question of Richard Kadison.

研究の動機と目的

• ヴォイナム・代数に付随する可測作用素の代数上の局所微分に関するリチャード・カジソンの問いを解決すること。
• このような代数上の局所微分が必ず微分であるとされる条件を特定すること。
• 行列単位と中心的イデムポテンの分離族を用いた一般的な環論的枠組みを確立し、局所微分を大域的微分に引き上げること。
• 局所微分が全微分を意味するヴォイナム・代数の構造、特に離散的アーベル的和成分を持つものについての特徴付けを行うこと。

提案手法

• 単位元を有する環と行列単位の体系に注目する環論的アプローチを用いる。
• 補題1の適用：環に $ n \times n $ 行列単位（$ n \geq 2 $）の体系が存在するならば、その上でのすべての局所微分は微分である。
• 補題2の適用：環に、各成分代数が局所から大域への微分性質を満たすような中心的イデムポテンの分離族が存在するならば、全体の環に対しても同様の性質が成り立つ。
• ヴォイナム・代数を型 $ I_n $、$ II $、$ III $ の和成分に分解し、中心的射影 $ P_n $ を用いて付随する作用素代数の構造を分析する。
• $ P_n \mathcal{M} $ が $ n \geq 2 $ に対して $ n \times n $ 行列単位を含み、$ P_\infty \mathcal{M} $ が $ 2 \times 2 $ の体系を含むことから、補題1の条件が満たされることを示す。
• アーベル的和成分が離散的（最小射影によって生成される）場合、最小射影と $ n \geq 2 $ に対する $ P_n $ からなる族が中心的イデムポテンの分離族をなすため、補題2の適用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 ヴォイナム・代数 $ \mathcal{M} $ がどのような条件下で、$ \mathcal{M} $ に付随する可測作用素の代数上のすべての局所微分が必ず微分となるか？
• RQ2 ヴォイナム・代数に離散的アーベル的和成分が存在する場合、その付随する作用素代数上の局所微分は大域的微分となるか？
• RQ3 行列単位と中心的イデムポテンの分離族といった環論的性質を用いて、非可換作用素代数において局所微分を大域的微分に引き上げることは可能か？
• RQ4 カジソンの予想（$ S(\mathcal{M}) $ 上のすべての局所微分は微分である）は、離散的アーベル的和成分を持つヴォイナム・代数に対して成り立つか？

主な発見

• ヴォイナム・代数 $ \mathcal{M} $ に離散的アーベル的和成分が存在する場合、$ \mathcal{M} $ に付随する可測作用素の代数上のすべての局所微分は微分である。
• この結果は、可測作用素の代数が最小射影と $ n \geq 2 $ に対する $ P_n $ からなる中心的イデムポテンの分離族を備え、各成分が微分を閉じた部分代数をもつことによる。
• 証明は、$ n \geq 2 $ に対して $ P_n \mathcal{M} $ に $ n \times n $ 行列単位が存在することに依拠しており、これにより各成分での局所微分が微分であることが保証される。
• 可測作用素の代数 $ S(\mathcal{M}) $ は、$ \mathcal{M} $ のアーベル的和成分が離散的である場合に限り、局所微分が微分を意味する性質を満たすことが示された。
• この結果により、カジソンの予想が離散的アーベル的和成分を持つ場合に正当化され、彼の $ S(\mathcal{M}) $ に関する問いに完全な答えが与えられた。
• 本稿で開発された枠組みは、[1, 定理2.5および命題2.7] も含む広範な適用可能性を示しており、$ LS(\mathcal{M}) $ のような関連代数に対しても一般化可能である。