[論文レビュー] A decomposition theorem in II_1-factors

Kenneth J. Dykema, Fedor Sukochev+1 more|arXiv (Cornell University)|Feb 5, 2013

Advanced Operator Algebra Research参考文献 10被引用数 3

ひとこと要約

この論文は、特にII₁因子を含む拡散的で有限なフォン・ノイマン代数における作用素に対して、分解定理を確立する。任意の作用素Tは、正規作用素Nとs.o.t.-準零作用素Qの和として一意に書けることを証明する。主な貢献は、ハーグループ＝シュルツ射影とブラウン測度を用いて、非可換なシュールの三角化とリングローズのコンパクト作用素分解の類似を構築することであり、NとTが同一のスペクトル分布を持つように保証する。一方、Qはlimₙ‖((Q*)ⁿQⁿ)¹/²ⁿ‖_∞ = 0を満たす。

ABSTRACT

Building on results of Haagerup and Schultz, we decompose an arbitrary operator in a diffuse, finite von Neumann algebra into the sum of a normal operator and an s.o.t.-quasinilpotent operator. We also prove an analogue of Weyl's inequality relating eigenvalues and singular values for operators in a diffuse, finite von Neumann algebra.

研究の動機と目的

• シュールの定理とリングローズの分解定理を、拡散的で有限なフォン・ノイマン代数およびII₁因子の設定に拡張すること。
• 行列とコンパクト作用素のスペクトル分解の非可換版を、正規部と準零部の観点から確立すること。
• 拡散的で有限なフォン・ノイマン代数において、任意の作用素TがT = N + Qと一意に分解され、Nが正規でQがs.o.t.-準零であることを証明すること。
• 対数的劣微分比較（logarithmic submajorization）を用いて、II₁因子の設定における固有値と特異値のWeyl型不等式を確立すること。

提案手法

• II₁因子における作用素Tのブラウン測度に関連するハーグループ＝シュルツ射影を用い、複素数平面におけるボレル集合に対するスペクトル射影を構成する。
• スペクトル射影の段階的変化におけるジャンプ点λごとに、T(p_λ - p_{λ-0})のランク1作用素の和として正規作用素Nを定義し、Nが正規であり、Tと同一のブラウン測度を持つことを保証する。
• 剰余作用素Q = T - Nを構成し、limₙ‖((Q*)ⁿQⁿ)¹/²ⁿ‖_∞ = 0を示すことにより、Qがs.o.t.-準零であることを証明する。これはQのブラウン測度が{0}にのみ支持されることと同値である。
• 対数的劣微分比較（≺≺_log）を用いて、TとNの特異値を比較する。B ≺≺_log Aならばτ(log₊(|B|/t)) ≤ τ(log₊(|A|/t))が成り立つ。
• 凸性と関数解析的計算を用いて、すべての増大関数Φ（Φ∘expが凸である）に対してτ(Φ(|N|)) ≤ τ(Φ(|T|))を導出し、Weylの不等式をII₁因子の設定に一般化する。
• 単調収束原理と|N| + 1/nによる近似を用いて、正則化された不等式から最終的なトレース不等式へと移行する。

実験結果

リサーチクエスチョン

• RQ1 行列やコンパクト作用素の正規部と準零部への分解が、拡散的で有限なフォン・ノイマン代数における作用素へと拡張可能か？
• RQ2 任意のII₁因子における作用素は、正規作用素とs.o.t.-準零作用素への分解を、同一のブラウン測度を持つように持つか？
• RQ3 非トレース的で非可換なII₁因子の設定において、固有値と特異値の不等式（Weyl型）はどの程度成立するか？
• RQ4 ハーグループ＝シュルツ射影をどのように用いて、このような分解を標準的かつ超不変的（hyperinvariant）に構成できるか？
• RQ5 分解T = N + Qにおける、Tのブラウン測度と正規部Nのスペクトル分布との正確な関係は何か？

主な発見

• 正規的で忠実なトレース状態τを持つ拡散的で有限なフォン・ノイマン代数に属する任意の作用素Tは、一意にT = N + Qと分解され、Nは正規でQはs.o.t.-準零である。
• Nのブラウン測度はTのブラウン測度と等しく、分解によるスペクトル不変性が保証される。
• 剰余作用素Qはlimₙ‖((Q*)ⁿQⁿ)¹/²ⁿ‖_∞ = 0を満たし、これは有限フォン・ノイマン代数におけるs.o.t.-準零性の特徴付けである。
• 正規部NはN ≺≺_log Tを満たし、任意のt > 0に対してτ(log₊(|N|/t)) ≤ τ(log₊(|T|/t))が成り立つ。
• 任意の[0, ∞)上の増大関数Φで、Φ∘expが凸であるようなものに対して、不等式τ(Φ(|N|)) ≤ τ(Φ(|T|))が成り立つ。これはWeylの不等式をII₁因子の設定に一般化する。
• この分解は、ブラウン測度に関連するハーグループ＝シュルツ射影を用いて構成され、超不変性と一意性を保証する。