[논문 리뷰] Some remarks on derivations in algebras of measurable operators

A. F. Ber, B. de Pagter외 1명|ArXiv.org|2009. 07. 07.

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

한 줄 요약

이 논문은 von Neumann 대수에 관련된 가측 연산자 대수에서의 유도를 조사하며, 모든 유도가 내부 유도인 유형 I von Neumann 대수의 완전한 특성화를 확립한다. 또한, 적절히 무한한 von Neumann 대수에서는 국소적으로 가측, 가측 또는 τ-가측 연산자 대수에서의 모든 유도가 국소적으로 가측 연산자 대수의 중심에서 0이 됨을 증명한다.

ABSTRACT

This paper is concerned with derivations in algebras of (unbounded) operators affiliated with a von Neumann algebra $\mathcal{M}$. Let $\mathcal{% A}$ be one of the algebras of measurable operators, locally measurable operators or, $τ$-measurable operators. We present a complete description of von Neumann algebras $\mathcal{M}$ of type $I$ in terms of their central projections such that every derivation in $\mathcal{A}$ is inner. It is also shown that every derivation in the algebra $LS(\mathcal{M})$ of all locally measurable operators with respect to a properly infinite von Neumann algebra $\mathcal{M}$ vanishes on the center of $LS(\mathcal{M})$.

연구 동기 및 목표

• 모든 유도가 가측 연산자 대수(LS(M), S(M), S(τ))에서 내부 유도가 되는 유형 I von Neumann 대수를 특성화하는 것.
• 적절히 무한한 von Neumann 대수에서 국소적으로 가측 연산자 대수의 중심에서 유도의 행동을 조사하는 것.
• 노름 연산자 대수에서의 유도에 대한 고전적 결과를 비노름 대수인 가측 연산자 대수로 확장하는 것.
• 비노름 설정에서 노름 부등식의 대체로 작용하는 연산자 부등식을 제공하는 것.
• 유도가 반드시 내부적이거나 중심에서 0이 되도록 하는 von Neumann 대수의 구조적 조건을 설정하는 것.

제안 방법

• von Neumann 대수 M에 관련된 가측 연산자 이론을 활용하며, LS(M), S(M), S(τ) 대수에 중점을 둔다.
• 중심 프로젝션과 아이디포텐트의 성질을 적용하여 유도의 구조와 중심에서의 유도 소멸을 분석한다.
• 특히 추적을 사용하여 스펙트럼 프로젝션을 통해 중심 원소 λ₀를 정의하는 II₁ 인피니티에서의 스펙트럼 이론과 추적 성질을 적용한다.
• Murray-von Neumann 등가를 통해 동일한 추적을 가진 프로젝션들이 유니타리 동치임을 적용하여 연산자를 공역시키는 유니타리 연산자를 구성한다.
• II₁ 인피니티에서 핵심적인 연산자 부등식을 유도하기 위해 |a − λ₀1| + u*|a − λ₀1|u = |ua − au| 식을 활용한다.
• Z-선형성과 교환자 구조의 개념을 적용하여, M이 적절히 무한할 경우 LS(M)의 중심에서 유도가 0이 됨을 보인다.

실험 결과

연구 질문

• RQ1 어떤 유형 I von Neumann 대수에서 LS(M), S(M), S(τ) 대수에서의 모든 유도가 내부 유도가 되는가?
• RQ2 국소적으로 가측 연산자 대수에서의 유도가 중심에서 0이 되는 조건은 무엇인가?
• RQ3 노름 기반의 유도 부등식을 비노름 대수인 가측 연산자 대수로 일반화할 수 있는가?
• RQ4 중심 프로젝션과 스펙트럼 프로젝션은 내부 유도를 특성화하는 데 어떤 역할을 하는가?
• RQ5 von Neumann 대수의 구조(예: 적절히 무한하거나 II₁ 인피니티)는 유도의 중심에서의 소멸 또는 내부성과 연결될 수 있는가?

주요 결과

• von Neumann 대수 M는 유형 I일 필요충분조건으로, LS(M), S(M), 또는 S(τ)에서의 모든 유도가 내부 유도이다.
• 모든 적절히 무한한 von Neumann 대수 M에 대해, 임의의 *-부하수 A ⊆ LS(M)에 대해 M를 포함하는 A에 대해 δ: A → LS(M)인 모든 유도 δ는 A의 중심 Z(A)에서 0이 된다.
• II₁ 인피니티에서, 임의의 자기수반 가측 연산자 a ∈ S_h(M)에 대해 실수 λ₀ ∈ ℝ과 유니타리 u ∈ U(M)가 존재하여 |au − ua| = |u*au − a| = |a − λ₀1| + u*|a − λ₀1|u 를 만족한다.
• 연산자 부등식 |a − λ₀1| + u*|a − λ₀1|u = |au − ua| 가 성립하며, 이는 비노름 대수에서의 노름 추정의 대체로 기능한다.
• 가측 연산자 대수에서의 유도는 Z-선형이며, 모든 a ∈ Z(A)에 대해 δ(a) ∈ Z(A) 이므로, δ는 중심 아이디포텐트에서 0이 된다.
• Murray-von Neumann 등가를 통한 유니타리의 구성은 동일한 추적을 가진 프로젝션들이 유니타리 동치임을 보장하며, 이는 II₁ 인피니티에서 핵심 항등식을 도출하는 데 기여한다.