[논문 리뷰] Unitary orbits of normal operators in von Neumann algebras

David K. Sherman|ArXiv.org|2005. 09. 29.

Advanced Operator Algebra Research참고 문헌 52인용 수 3

한 줄 요약

이 논문은 임의의 von Neumann 대수에서 정규 연산자의 단위군 궤도의 노름 및 강한* 수렴 폐쇄에 대한 완전한 스펙트럼 특성화를 제시한다. 이는 유형이나 기수와 무관하다. 핵심 결과는 σ-유한 von Neumann 대수에서 노름 수렴, 강한* 수렴, 강한 수렴 폐쇄된 단위군 궤도가 모두 일치하며, 이러한 폐쇄가 비폐쇄 궤도와 다를지 또는 같을지를 정확히 규명한다.

ABSTRACT

The starting points for this paper are simple descriptions of the norm and strong* closures of the unitary orbit of a normal operator in a von Neumann algebra. The statements are in terms of spectral data and do not depend on the type or cardinality of the algebra. We relate this to several known results and derive some consequences, of which we list a few here. Exactly when the ambient von Neumann algebra is a direct sum of sigma-finite algebras, any two normal operators have the same norm-closed unitary orbit if and only if they have the same strong*-closed unitary orbit if and only if they have the same strong-closed unitary orbit. But these three closures generally differ from each other and from the unclosed unitary orbit, and we characterize when equality holds between any two of these four sets. We also show that in a properly infinite von Neumann algebra, the strong-closed unitary orbit of any operator, not necessarily normal, meets the center in the (non-void) left essential central spectrum of Halpern. One corollary is a "type III Weyl-von Neumann-Berg theorem" involving containment of essential central spectra.

연구 동기 및 목표

• von Neumann 대수에서 정규 연산자의 단위군 궤도의 노름 및 강한* 수렴 폐쇄에 대한 내재적이고 스펙트럼 기반의 기술을 제공하기 위해.
• 정규 연산자의 노름 수렴, 강한* 수렴, 강한 수렴 폐쇄된 단위군 궤도가 언제 일치하는지 규명하기 위해.
• 비폐쇄된 단위군 궤도가 그 노름 또는 강한* 수렴 폐쇄에 밀도를 이룬다는 조건을 기술하기 위해.
• 필수 중심 스펙트럼을 통해 Weyl-von Neumann-Berg 정리를 유형 III von Neumann 대수로 확장하기 위해.
• 粗모수 함수와 Murray-von Neumann 등가의 역할이 폐쇄된 단위군 궤도를 분류하는 데 어떻게 기여하는지 명확히 하기 위해.

제안 방법

• 논문은 개방 집합 $ \theta \subset \mathbb{C} $ 에 대해 $ M_h(\theta) = \text{rank}(\chi_\theta(h)) $ 라 정의된粗모수 함수를 사용하여 단위군 궤도의 노름 수렴 폐쇄에 대한 완전한 불변량으로 삼는다.
• Strong* 수렴 폐쇄에 대해 Hadwin의 결과를 적용하여, $ k \in \overline{\mathcal{U}(h)}^{*} $ 이다 ⇔ 모든 개방 집합 $ \theta \subset \mathbb{C} $ 에 대해 $ \min\{M_k(\theta), \aleph_0\} \leq \min\{M_h(\theta), \aleph_0\} $ 라는 조건을 도출한다.
• 분석은 스펙트럼 프로jections 간의 Murray-von Neumann 등가에 기반한다: $ \chi_\theta(k) $ 는 $ \chi_\theta(h) $ 와 등가인 프로jections의 강한 극한이다.
• 스펙트럼 프로jections과 등비사상의 조합을 이용해 반례를 구성함으로써, 스펙트럼 조건이 실패할 경우 $ \mathcal{U}(h) \subsetneq \overline{\mathcal{U}(h)}^{\|\|} $ 임을 보여준다.
• 비가산적이고 무한한 대수를 분석하기 위해 필수 중심 스펙트럼과 $ \sigma $-유한 분해를 사용한다.
• 비가환 측도 이론의 결과, 특히 유형 II₁ 및 III 대수에서 비원소적 MASA의 존재를 활용하여, 단위군 궤도에 속하지 않지만 노름 수렴 폐쇄에 속하는 연산자를 구성한다.

실험 결과

연구 질문

• RQ1 von Neumann 대수에서 정규 연산자의 노름 수렴, 강한* 수렴, 강한 수렴 폐쇄된 단위군 궤도가 언제 일치하는가?
• RQ2 어떤 스펙트럼 조건이 정규 연산자의 단위군 궤도가 그 노름 또는 강한* 수렴 폐쇄에 밀도를 이룬다는 것을 보장하는가?
• RQ3 粗모수 함수와 스펙트럼 프로jections이 임의의 von Neumann 대수에서 단위군 궤도의 폐쇄를 어떻게 결정하는가?
• RQ4 어느 von Neumann 대수에서 어떤 연산자의 강한 수렴 폐쇄된 단위군 궤도가 중심과 반드시 만난다는 보장이 있는가?
• RQ5 유형 III 대수에서 필수 중심 스펙트럼과 단위군 궤도의 폐쇄 사이의 정확한 관계는 무엇인가?

주요 결과

• 정규 연산자 $ h $ 의 단위군 궤도의 노름 수렴 폐쇄는 개방 집합 $ \theta \subset \mathbb{C} $ 에 대해 $ M_h(\theta) = \text{rank}(\chi_\theta(h)) $ 로 정의된粗모수 함수에 의해 완전히 결정된다.
• $ \sigma $-유한 von Neumann 대수에서 정규 연산자의 노름 수렴, 강한* 수렴, 강한 수렴 폐쇄된 단위군 궤도는 모두 일치한다.
• 비폐쇄된 단위군 궤도 $ \mathcal{U}(h) $ 가 그 노름 수렴 폐쇄에 밀도를 이룬다 ⇔ 모든 열린 집합 $ U \ni \lambda $ 에 대해 $ [\chi_{U \setminus \{\lambda\}}(h)] \geq [\chi_{\{\lambda\}}(h)] $ 를 만족하는 고유값 $ \lambda $ 가 존재하지 않는다.
• 적절히 무한한 von Neumann 대수에서, 어떤 연산자의 강한 수렴 폐쇄된 단위군 궤도는 Halpern의 왼쪽 필수 중심 스펙트럼과 반드시 만난다.
• 논문은 유형 III에 대한 Weyl-von Neumann-Berg 정리를 확립한다: 두 정규 연산자가 강한 수렴 폐쇄된 단위군 궤도를 공유한다 ⇔ 그들의 필수 중심 스펙트럼이 서로의 필수 스펙트럼에 포함된다.
• 노름 수렴 폐쇄에 속하지만 비폐쇄된 단위군 궤도에 속하지 않는 정규 연산자 $ h $ 가 존재한다. 이러한 연산자는 무한하거나 $ \sigma $-유한 프로jections가 존재할 경우 등비사상으로 스펙트럼 프로jections을 수정함으로써 구성할 수 있다.