[论文解读] The Schur-Horn theorem in von Neumann algebras

Mohan Ravichandran|arXiv (Cornell University)|Sep 5, 2012

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

一句话总结

本文证明了阿夫森和凯德森关于类型 $II_1$ 因子的舒尔-霍恩猜想，确立了在冯诺依曼代数中，对于任意正算子 $S$ 和某个阿贝尔最大自伴子代数 $\

ABSTRACT

A few years ago, Richard Kadison thoroughly analysed the diagonals of projection operators on Hilbert spaces and asked the following question: Let $\mathcal{A}$ be a masa in a type $II_1$ factor $\mathcal{M}$ and let $A \in \mathcal{A}$ be a positive contraction. Letting $E$ be the canonical normal conditional expectation from $\mathcal{M}$ to $\mathcal{A}$, can one find a projection $P \in \mathcal{M}$ so that [E(P) = A?] In a later paper, Kadison and Arveson, as an extension, conjectured a Schur-Horn theorem in type $II_1$ factors. In this paper, I give a proof of this conjecture of Arveson and Kadison. I also prove versions of the Schur-Horn theorem for type $II_{\infty}$ and type $III$ factors as well as finite von Neumann algebras.

研究动机与目标

• 解决阿夫森和凯德森长期悬而未决的猜想：在类型 $II_1$ 因子中，是否存在具有给定对角线的投影算子，其对角线位于某个阿贝尔最大自伴子代数中。
• 将舒尔-霍恩定理从有限维矩阵和类型 $II_1$ 因子推广至类型 $II_\infty$ 和 $III$ 因子。
• 确定在各种冯诺依曼代数类型中，一个正元素 $A$ 属于阿贝尔最大自伴子代数时，其为给定正算子 $S$ 的酉共轭的对角线的充要条件。
• 阐明在无限迹情形下，谱条件（尤其是本质谱）的作用，因为在该情形下仅靠控制关系不足以保证结论成立。

提出的方法

• 通过证明在类型 $II_1$ 因子中，若 $A \prec S$，则存在 $T \in \mathcal{O}(S)$ 使得 $E(T) = A$，其中 $E$ 是到阿贝尔最大自伴子代数上的典范条件期望，从而证明了该类因子中的舒尔-霍恩定理。
• 结合剪裁与拼接论证，并利用有限谱情形下猜想的解决，将结果推广至 $II_\infty$ 因子中的一般正算子。
• 引入广义卡金代数和本质谱，以分析 $II_\infty$ 因子中模紧算子理想的算子行为。
• 通过在单位酉轨道的范数闭包下分析谱条件，将 $II_1$ 情形的证明策略适配至 $III$ 因子。
• 利用中心值迹和直接积分分解，将结果推广至类型 $II_1$ 的有限冯诺依曼代数。
• 建立对角线实现性与谱包含之间的等价关系：$\sigma(A) \subset \operatorname{conv}(\sigma(S))$，并保持在算子范数和谱下确界处的谱点。

实验结果

研究问题

• RQ1 在类型 $II_1$ 因子 $\mathcal{M}$ 的阿贝尔最大自伴子代数 $\mathcal{A}$ 中，每个正元素 $A$ 是否都能实现为某个给定正算子 $S$ 的单位酉轨道的范数闭包中元素 $T$ 的对角线 $E(T)$？
• RQ2 在类型 $II_\infty$ 因子中，除了控制关系外，还需哪些额外的谱条件才能使舒尔-霍恩性质成立？
• RQ3 本质谱的结构如何影响 $II_\infty$ 和 $III$ 因子中对角线的实现性？
• RQ4 舒尔-霍恩定理在类型 $II_1$ 的有限冯诺依曼代数中是否成立？中心值迹如何影响其刻画？
• RQ5 在类型 $III$ 因子中，单位酉轨道的范数闭包与SOT闭包之间有何关系？这又如何影响舒尔-霍恩性质？

主要发现

• 阿夫森和凯德森的舒尔-霍恩猜想已完全解决：对于任意类型 $II_1$ 因子中的正算子 $S$ 和阿贝尔最大自伴子代数 $\mathcal{A}$ 中的正元素 $A$，有 $A \prec S$ 当且仅当存在 $T \in \mathcal{O}(S)$ 使得 $E(T) = A$。
• 在类型 $II_\infty$ 因子中，$A \prec S$ 是 $A$ 成为某个 $T \in \mathcal{O}(S)$ 的对角线的必要条件，但非充分条件；还需对 $A$ 和 $S$ 的本质点谱施加额外条件。
• 对于 $II_\infty$ 因子，若 $||\sigma_e(A)|| = ||\sigma_e(S)||$ 且该范数属于 $A$ 的本质点谱，则它也必须属于 $S$ 的本质点谱。
• 在类型 $III$ 因子中，舒尔-霍恩定理成立当且仅当 $\sigma(A) \subset \operatorname{conv}(\sigma(S))$，且当 $A$ 中存在谱点 $||S||$ 和 $\alpha(S)$ 时，这些点也必须在 $S$ 中存在。
• 通过直接积分分解和中心值迹，该结果可推广至类型 $II_1$ 的有限冯诺依曼代数，且有 $E(\mathcal{O}(S)) = \{A \in \mathcal{A} \mid A \prec S\}$。
• 在类型 $III$ 因子中，单位酉轨道的范数闭包严格小于其SOT闭包，且舒尔-霍恩条件依赖于谱包含关系和点谱的保持。