[论文解读] Finite sums of projections in von Neumann algebras

Herbert Halpern, Victor Kaftal+2 more|arXiv (Cornell University)|Jul 27, 2010

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

一句话总结

本文建立了冯诺依曼代数中正算子为有限个投影之和的谱条件与理想理论条件。证明了在σ-有限的恰当无限因子中，若正算子的充分范数大于1，则其为有限个投影之和，并在一般恰当无限代数中通过中心本质谱给出刻画。一个关键结果是：在II₁型因子中，若对角化正算子满足τ(a₊) > τ(a₋)，则其为有限个投影之和。

ABSTRACT

We first prove that in a sigma-finite von Neumann factor M, a positive element $a$ with properly infinite range projection R_a is a linear combination of projections with positive coefficients if and only if the essential norm ||a||_e with respect to the closed two-sided ideal J(M) generated by the finite projections of M does not vanish. Then we show that if ||a||_e>1, then a is a finite sum of projections. Both these results are extended to general properly infinite von Neumann algebras in terms of central essential spectra. Secondly, we provide a necessary condition for a positive operator a to be a finite sum of projections in terms of the principal ideals generated by the excess part a_+:=(a-I)χ_a(1,\infty) and the defect part a_-:= (I-a)χ_a(0, 1) of a; this result appears to be new also for B(H). Thirdly, we prove that in a type II_1 factor a sufficient condition for a positive diagonalizable operators to be a finite sum of projections is that τ(a_+)- τ(a_-)>0.

研究动机与目标

• 刻画冯诺依曼代数中正算子为有限个投影之和的条件。
• 将B(H)中关于有限个投影之和的已知结果推广至一般冯诺依曼代数，特别是II₁型与恰当无限因子。
• 以过剩部分与亏损部分表示正算子为有限个投影之和的必要条件。
• 探究主定理中对角化假设是否可被移除，从而为未来研究开辟新方向。

提出的方法

• 利用由有限投影生成的理想J(M)相关的中心本质谱来刻画正性和谱行为。
• 应用引理2.8，表明在大子空间上，正算子与局部可逆算子的直和是投影的正组合。
• 在II₁型因子中通过保持迹的分解方法分解投影，将问题约化为满足引理6.1的分量。
• 利用迹不等式τ(a₊) > τ(a₋)与有限秩投影条件，确保存在有限投影之和等于a。
• 采用酉等价与谱分解技术处理非对角化算子，尽管主定理中假设了对角化。
• 通过投影分解与迹匹配将问题约化为有限维子代数，从而可应用关于投影之和的已知结果。

实验结果

研究问题

• RQ1 在何种谱条件与理想理论条件下，冯诺依曼代数中的正算子为有限个投影之和？
• RQ2 在II₁型因子中，即使不具对角化性，条件τ(a₊) > τ(a₋)是否足以保证正算子为有限个投影之和？
• RQ3 对角化假设是否对基于迹的判别条件τ(a₊) > τ(a₋)蕴含a为有限个投影之和是必要的？
• RQ4 在恰当无限冯诺依曼代数中，算子的充分范数与其表示为有限个投影之和有何关系？
• RQ5 由有限投影生成的理想J(M)在刻画一般冯诺依曼代数中有限个投影之和时起何作用？

主要发现

• 在σ-有限的恰当无限冯诺依曼因子中，若正算子a的恰当无限范围投影成立，则当且仅当其关于J(M)的充分范数∥a∥ₑ大于1时，a为有限个投影之和。
• 若∥a∥ₑ > 1，则a为有限个投影之和，该结果将B(H)中的已知结论推广至一般恰当无限冯诺依曼代数。
• 在II₁型因子中，若对角化正算子a满足τ(a₊) > τ(a₋)，其中a₊与a₋分别为a的过剩部分与亏损部分，则a为有限个投影之和。
• 若范围投影Rₐ为无限，则仅τ(a₊) > τ(a₋)条件不足，反例表明a₊ ∈ J(M)但τ(a₊) = ∞时该条件不充分。
• 证明依赖于在II₁型因子中通过迹匹配分解投影，并应用引理6.1以证明每个分量均为有限个投影之和。
• 对角化假设用于将问题简化为可处理的形式，但作者未排除该假设在一般情形下可被移除的可能性。