[논문 리뷰] The Schur-Horn theorem in von Neumann algebras

Mohan Ravichandran|arXiv (Cornell University)|2012. 09. 05.

Advanced Operator Algebra Research참고 문헌 6인용 수 11

한 줄 요약

이 논문은 아르베손과 카디슨의 슈어-홀른 추측을 유형 $II_1$ 인피니티에 대해 증명하며, 볼륨-망델라의 유형 $II_1$ 인피니티에서 임의의 양의 연산자 $S$와 마사 $\mathcal{A}$ 내의 양의 원소 $A$에 대해, $A$가 $S$의 유니터리 코너제이트의 대각선이 되기 위한 필요충분조건은 $A$가 $S$에 의해 주도된다는 것을 규명한다. 이 결과는 유형 $II_\infty$ 및 유형 $III$ 인피니티로 확장되며, 무한 트레이스의 경우 추가적인 스펙트럼 조건이 필요하다.

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$ 인피니티로 슈어-홀른 정리를 확장하는 것.
• 다양한 von Neumann 대수 유형에서 주어진 양의 연산자 $S$의 유니터리 코너제이트의 대각선이 되는 양의 원소 $A$에 대해 필요충분 조건을 규명하는 것.
• 무한 트레이스 설정에서 스펙트럼 및 트레이스 조건—특히 본질적 스펙트럼—의 역할을 명확히 하는 것. 여기서 주도 조건만으로는 부족하다.

제안 방법

• 마사에 대한 정규 조건 기대 $E$를 사용하여, $A \prec S$이면 $\mathcal{O}(S)$ 내의 $T$가 존재하여 $E(T) = A$임을 증명함으로써, 유형 $II_1$ 인피니티에서 슈어-홀른 정리를 증명한다.
• 유한 스펙트럼 케이스에서의 추측 해결을 바탕으로 컷-앤드-페이스트 기법을 적용하여, $II_\infty$ 인피니티 내의 일반 양의 연산자로 결과를 확장한다.
• 유형 $II_\infty$ 인피니티에서 컴팩트 아이디얼 모듈로 연산자의 행동을 분석하기 위해 일반화된 캘킨 대수와 본질적 스펙트럼을 도입한다.
• 유형 $III$ 인피니티로 증명 전략을 확장하기 위해, 유니터리 오비트의 노름 폐쇄 하에서의 스펙트럼 조건을 분석한다.
• 중심값 트레이스와 직접 적분 분해를 활용하여, 유형 $II_1$의 유한 von Neumann 대수로 결과를 일반화한다.
• 대각선 실현 가능성과 스펙트럼 포함 조건 간의 동치성을 확립: $\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$의 유한 von Neumann 대수에서 슈어-홀른 정리는 유효한가? 중심값 트레이스는 특성화에 어떻게 영향을 미치는가?
• 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))$ 이고, $||S||$ 및 $\alpha(S)$에서의 스펙트럼 점이 $A$에 존재할 경우 $S$에도 유지되어야 함이 필요충분이다.
• 직접 적분 분해와 중심값 트레이스를 통해, 유형 $II_1$의 유한 von Neumann 대수로 결과가 확장되며, $E(\mathcal{O}(S)) = \{A \in \mathcal{A} \mid A \prec S\}$이다.
• 유형 $III$ 인피니티에서 노름 폐쇄는 SOT 폐쇄보다 엄격히 작으며, 슈어-홀른 조건은 스펙트럼 포함 및 점 스펙트럼 유지에 따라 달라진다.