[論文レビュー] Lie derivations on the algebras of locally measurable operators

Vladimir Chilin, I. T. Juraev|arXiv (Cornell University)|Aug 13, 2016

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

ひとこと要約

本稿では、von Neumann代数に付随する局所可測作用素の固体*-部分代数上で定義された任意のリー微分作用素が、内微分作用素、中心値微分によって誘導される微分作用素、および中心値トレースの和に一意に分解されることを確立している。この結果は、C*-代数およびvon Neumann代数におけるリー微分作用素の標準形を、より広い局所可測作用素代数のクラスへと拡張し、型Iの場合における完全な構造的特徴付けを提供する。

ABSTRACT

We prove that every Lie derivation on a solid $\star-$subalgebras of locally measurable operators it is equal to a sum of the associative derivation and the center-valued trace.

研究の動機と目的

• von Neumann代数に付随する局所可測作用素の固体*-部分代数上のリー微分作用素の構造を特徴づけること。
• C*-代数およびvon Neumann代数において知られているリー微分作用素の標準形分解を、より一般の局所可測作用素代数の設定へと拡張すること。
• このような代数上での任意のリー微分作用素が、内微分作用素、中心値微分作用素によって誘導される微分作用素、および中心値トレースの和として一意に表現可能であることを確立すること。
• 型I von Neumann代数の場合におけるリー微分作用素の完全な構造的分類を提供すること、これには有限型および適切に無限型の因子が含まれる。

提案手法

• 著者たちは、可測作用素の代数S(M)を一般化する局所可測作用素の代数LS(M)の理論を用いる。
• Mの両側からの乗法について閉じている部分代数として、LS(M)の固体*-部分代数を定義する。
• 主な技術的アプローチは、中心射影を用いた分解と、直和分解を用いた有限型I von Neumann代数への還元である。
• 有限型I代数の場合、中心の可測作用素上の行列代数を用いて微分作用素を構成し、中心の代数S(Z)上の微分作用素を用いる。
• 微分作用素Dδは、公式(4.1)を用いて、各行列成分に中心微分作用素δ_nを適用することにより、積代数∏_{n∈F} LS(z_nM)上で明示的に定義される。
• 最終的な微分作用素Dは、Dδ(x₁ + x₂) = Dδ(x₁)（x₁ ∈ z₀LS(M) かつ x₂ ∈ z₀⊥LS(M)）と定義することで、LS(M)全体に拡張され、適切に無限型部分における内微分作用素の既知の結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 C*-代数およびvon Neumann代数において知られているリー微分作用素の標準形が、局所可測作用素の代数へと拡張可能か？
• RQ2 Mを含むLS(M)の固体*-部分代数上でのリー微分作用素の正確な構造的分解は何か？
• RQ3 LS(M)の中心における微分作用素は、全体の代数上の微分作用素をどのように誘導するのか？また、その分解において果たす役割は何か？
• RQ4 リー微分作用素の分解が、基礎となるvon Neumann代数の型I構造にどの程度依存するか？
• RQ5 LS(M)の文脈において、リー微分作用素が内微分作用素、中心微分作用素、および中心値トレースに分解されるのは一意的か？

主な発見

• Mを含むLS(M)の固体*-部分代数上での任意のリー微分作用素は、内微分作用素、中心値微分作用素によって誘導される微分作用素、および中心値トレースの和に一意に分解可能である。
• 型I von Neumann代数Mの場合、分解はL = D_a + D_δ + Eの形を取り、ここでD_aは内微分作用素、D_δは中心S(Z)上の微分作用素δから生じるもの、Eは中心値トレースである。
• 微分作用素D_δは、公式D_δ(∑λ_ij e_ij) = ∑δ(λ_ij)e_ijにより、中心S(Z)上でδが作用する形で明示的に構成される。
• 有限型I von Neumann代数では、LS(M)はL^0空間上の行列代数の積と同型であり、中心に原子を持たない場合、非可算個の異なる微分作用素を構成可能である。
• 任意の微分作用素D on LS(M)の中心S(Z)への制限が、D_δ成分を完全に決定し、中心射影による制限の下でD_δは適切に無限型部分で自明である。
• この結果は、リー微分作用素の標準形がLS(M)においても成立することを確認し、S(M)およびC*-代数における既知の結果を、非有界な局所可測作用素の設定へと一般化する。