[논문 리뷰] On a canonical lattice structure on the effect algebra of a von Neumann algebra

Hans F. de Groote|ArXiv.org|2004. 10. 06.

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

한 줄 요약

이 논문은 von Neumann 대수의 자기수반 원소들 위에 표준적인 순서를 일반화하고 표준 순서보다 더 흐린(조금 더 가벼운) 순서인 스펙트럴 순서 ≤ₛ 를 도입한다. 이는 효과 대수를 유계 완비 랏으로 만드는 데 기여한다. 핵심 결과는 범위 프로젝션 사상 R: ℰ(ℛ) → ℒ(ℛ)이 랏 준동형사상이 되는 것과 동시에 von Neumann 대수 ℛ가 유한할 때이어야 한다는 것이다. 이는 연산자 대수학에서 랏의 구조와 유한성 사이에 깊은 연결고리를 설정한다.

ABSTRACT

Let R be a von Neumann algebra acting on a Hilbert space H and let R_sa be the set of selfadjoint elements of R. It is well known that R_sa is a lattice with respect to the usual partial order ≤ if and only if R is abelian. We define and study a new partial order on R_sa, the spectral order ≤_s, which extends ≤ on projections, is coarser than the usual one, but agrees with it on abelian subalgebras, and turns R_sa into a boundedly complete lattice. The effect algebra E(R) := {A | 0 ≤ A ≤ I} is then a complete lattice and we show that the mapping A --> R(A), where R(A) denotes the range projection of A, is a homomorphism from the lattice E(R) onto the projection lattice P(R) of A if and only if R is a finite von Neumann algebra.

연구 동기 및 목표

• von Neumann 대수의 자기수반 원소들 위에 표준적인 순서를 확장하고, 표준 순서보다 더 흐린 순서인 스펙트럴 순서 ≤ₛ 를 정의한다.
• 스펙트럴 순서 하에서 자기수반 원소들의 집합이 유계 완비 랏이 되고, 효과 대수 ℰ(ℛ)가 완비 랏이 되도록 보장한다.
• 스펙트럴 순서 하에서 범위 프로젝션 사상 R: ℰ(ℛ) → ℒ(ℛ)이 만족하는 만남과 합을 모두 유지하는 조건을 조사한다.
• 범위 프로젝션 사상이 랏 준동형사상이 되는 von Neumann 대수의 범주를 특성화하며, 이는 유한성 조건이 필수적이고 충분함을 규명한다.

제안 방법

• 스펙트럴 프로젝션을 사용하여 ℛ_sa 위에 스펙트럴 순서 ≤ₛ 를 정의한다: 모든 λ ∈ ℝ 에 대해 E^A_λ ≤ E^B_λ 이면 A ≤ₛ B 이다.
• 자기수반 원소 A ∈ ℛ_sa 의 스펙트럴 가닥 (E^A_λ) 을 사용하여 스펙트럴 순서를 정의함으로써, 아벨 부분대수와 프로젝션에서 표준 순서와 일致함을 보장한다.
• 모든 유계 가닥이 ≤ₛ 하에서 상한과 하한을 가지므로 (ℛ_sa, ≤ₛ) 가 유계 완비 랏임을 증명한다.
• 상한과 하한의 보편 성질을 이용하여 ℰ(ℛ) = {A ∈ ℛ_sa | 0 ≤ A ≤ I} 가 ≤ₛ 하에서 완비 랏이 됨을 보인다.
• R: ℰ(ℛ) → ℒ(ℛ) 이라 하며, R(A) 는 A 의 범위의 폐포 위로의 프로젝션임을 정의한다.
• ℳ ⊗ ℛ 에서의 텐서곱 구성과 스펙트럴 가닥을 사용하여 ℛ 가 유한하지 않은 경우의 반례를 구성함으로써, R 이 ≤ₛ 하에서 만남을 유지하지 못함을 증명한다.

실험 결과

연구 질문

• RQ1 von Neumann 대수의 자기수반 원소들 위의 스펙트럴 순서 ≤ₛ 가 효과 대수를 완비 랏으로 만들 수 있는 조건은 무엇인가?
• RQ2 범위 프로젝션 사상 R: ℰ(ℛ) → ℒ(ℛ) 이 스펙트럴 순서에 대해 랏 준동형사상이 되는 조건은 무엇인가?
• RQ3 스펙트럴 순서는 ℛ_sa 위의 표준 순서와 어떻게 관련되어 있으며, 어떤 경우에 두 순서가 일치하는가?
• RQ4 유한성은 스펙트럴 순서 하에서 범위 프로젝션 사상의 랏 이론적 행동에 어떤 역할을 하는가?
• RQ5 스펙트럴 순서는 효과 대수에서 완전 분배법칙이나 쌍대성의 형태를 허용하는가, 특히 Brouwer 보완과의 관련성에서 어떻게 작용하는가?

주요 결과

• 스펙트럴 순서 ≤ₛ 는 von Neumann 대수 ℛ 의 자기수반 원소 ℛ_sa 를 유계 완비 랏으로 만들며, 효과 대수 ℰ(ℛ) 는 완비 랏이 된다.
• 스펙트럴 순서는 아벨 부분대수와 프로젝션에서 표준 순서와 일致하지만, 일반적으로는 엄밀히 더 흐린 순서이다.
• 범위 프로젝션 사상 R: ℰ(ℛ) → ℒ(ℛ) 이 랏 준동형사상(∧ₛ 와 ∨ₛ 를 모두 유지)이 되는 것은 ℛ 가 유한 von Neumann 대수일 때에만 성립한다.
• ℛ 가 유한하지 않은 경우, R(A ∧ₛ P) < R(A) ∧ R(P) 를 만족하는 A, P ∈ ℰ(ℛ) 가 존재함을 보여, R 이 만남을 유지하지 못함을 밝힌다.
• 모든 A, B ∈ ℰ(ℛ) 에 대해 (A ∧ₛ B)∼ = A∼ ∨ B∼ 가 성립하는 것은 ℛ 가 유한할 때에만 성립하며, 이는 R 이 랏 준동형사상임과 동치이다.
• 스펙트럴 순서는 스펙트럴 프로젝션을 통해 정의되며, 상한과 하한의 보편 성질을 만족하여, 유계 가닥에 대해 완비성을 보장한다.