[논문 리뷰] Finite sums of projections in von Neumann algebras

Herbert Halpern, Victor Kaftal외 2명|arXiv (Cornell University)|2010. 07. 27.

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

한 줄 요약

이 논문은 von Neumann 대수에서 양의 연산자가 유한 개의 사영원소의 합이 되는 데 필요한 스펙트럼적 및 아이디얼 이론적 조건을 설정한다. σ-유한한 적절히 무한한 인피니티 팩터에서는 양의 연산자의 본질적 노름이 1을 초과할 경우에만 그 연산자가 유한 개의 사영원소의 합이 되며, 일반적인 적절히 무한한 대수에서는 중심 본질 스펙트럼을 통해 특성화한다. 주요 결과 중 하나는 타입 II₁ 팩터에서 대각화 가능한 연산자 a에 대해 τ(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.

연구 동기 및 목표

• von Neumann 대수에서 양의 연산자가 유한 개의 사영원소의 합이 되는 조건을 특성화하는 것.
• B(H)에서 유한 개의 사영원소 합에 대한 기존 결과를 일반 von Neumann 대수, 특히 타입 II₁ 및 적절히 무한한 팩터로 확장하는 것.
• 양의 연산자가 유한 개의 사영원소의 합이 되기 위한 필요 조건을 초과 및 결함 부분을 통해 기술하는 것.
• 주요 결과에서 사용된 대각화 가능성을 제거할 수 있는지 조사하여 향후 연구의 새로운 방향을 열어두는 것.

제안 방법

• 유한 사영원소가 생성하는 아이디얼 J(M)에 대한 중심 본질 스펙트럼을 사용하여 양의 연산자와 스펙트럼적 행동을 특성화하는 데 사용한다.
• 레마 2.8의 적용으로, 큰 부분공간에서 국소적으로 가역적인 연산자와 양의 연산자의 직합이 사영원소의 양의 조합이 되는 것을 보여준다.
• 타입 II₁ 팩터에서 추적을 보존하는 분해를 통해 사영원소를 분해하여 문제를 레마 6.1을 만족하는 합성원소들로 축소한다.
• 추적 부등식 τ(a₊) > τ(a₋)와 유한 범위 사영원소 조건을 사용하여 a가 유한 개의 사영원소의 합이 되도록 보장한다.
• 유니터리 동치와 스펙트럼 분해 기법을 사용하여 비대각화 가능한 연산자를 다루지만, 주요 정리에서는 대각화 가능성을 가정한다.
• 사영원소 분해와 추적 일치를 통해 문제를 유한 차원 부분대수로 축소하여, 사영원소 합에 관한 기존 결과를 적용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 von Neumann 대수에서 양의 연산자가 유한 개의 사영원소의 합이 되는 데 필요한 스펙트럼적 및 아이디얼 이론적 조건은 무엇인가?
• RQ2 비대각화 가능성이 있을 경우에도 타입 II₁ 팩터에서 τ(a₊) > τ(a₋) 조건이 양의 연산자가 유한 개의 사영원소의 합이 되는 데 충분한가?
• RQ3 τ(a₊) > τ(a₋) 조건이 a가 유한 개의 사영원소의 합이 되도록 이끌어내는 데 있어 대각화 가능성 가정이 반드시 필요한가?
• RQ4 적절히 무한한 von Neumann 대수에서 연산자의 본질적 노름이 유한 개의 사영원소 합으로의 표현과 어떻게 관련이 있는가?
• RQ5 유한 사영원소가 생성하는 아이디얼 J(M)가 일반 von Neumann 대수에서 유한 개의 사영원소 합을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• σ-유한한 적절히 무한한 von Neumann 팩터에서, 범위 사영원소가 적절히 무한한 양의 연산자 a는 J(M)에 대한 본질적 노름 ∥a∥ₑ가 1보다 클 때에만 유한 개의 사영원소의 합이 된다.
• ∥a∥ₑ > 1이면 a는 유한 개의 사영원소의 합이 되며, 이는 B(H)에서의 기존 결과를 일반적인 적절히 무한한 von Neumann 대수로 확장한 것이다.
• 타입 II₁ 팩터에서 대각화 가능한 양의 연산자 a는 τ(a₊) > τ(a₋)일 때 유한 개의 사영원소의 합이 된다. 여기서 a₊와 a₋는 a의 초과 및 결함 부분이다.
• 범위 사영원소 Rₐ가 무한할 경우, τ(a₊) > τ(a₋) 조건만으로는 충분하지 않으며, a₊ ∈ J(M) 이지만 τ(a₊) = ∞인 반례를 통해 이를 보여준다.
• 증명은 타입 II₁ 팩터에서 추적 일치를 통한 사영원소 분해와 레마 6.1을 적용하여 각 합성원소가 유한 개의 사영원소의 합임을 보이는 데 의존한다.
• 대각화 가능성 가정은 문제를 다룰 수 있는 형태로 축소하는 데 사용되지만, 저자들은 일반적으로 이를 제거할 수 있는지 여부를 열려 있는 문제로 남겨 놓았다.