[논문 리뷰] Additive derivations on algebras of measurable operators

Shavkat Ayupov, Karimbergen Kudaybergenov|ArXiv.org|2009. 08. 09.

Advanced Operator Algebra Research참고 문헌 10인용 수 19

한 줄 요약

이 논문은 von Neumann 대수 $M$의 중심 확장 $\mathrm{mix}(M)$을 도입하고, $M$가 적절히 무한한 경우 $\mathrm{mix}(M)$ 위의 모든 덧셈 도함수는 내부 도함수임을 증명한다. 이 결과는 비가환 측도 이론에서 이전에 알려진 내부 도함수 결과를 일반화하며, 유형 I$_\infty$ 또는 유형 III von Neumann 대수에 대해 $\mathrm{LS}(M)$ 위의 모든 덧셈 도함수가 내부임을 시사한다.

ABSTRACT

Given a von Neumann algebra $M$ we introduce so called central extension $mix(M)$ of $M$. We show that $mix(M)$ is a *-subalgebra in the algebra $LS(M)$ of all locally measurable operators with respect to $M,$ and this algebra coincides with $LS(M)$ if and only if $M $ does not admit type II direct summands. We prove that if $M$ is a properly infinite von Neumann algebra then every additive derivation on the algebra $mix(M)$ is inner. This implies that on the algebra $LS(M)$, where $M$ is a type I$_\infty$ or a type III von Neumann algebra, all additive derivations are inner derivations.

연구 동기 및 목표

• von Neumann 대수에 연관된 가측 연산자 대수 위의 덧셈 도함수의 구조를 조사한다.
• 비가환 케이스를 연구함으로써, 비내부 도함수가 주로 교환적 환경에서 발생한다는 추측을 다룬다.
• 특히 유형 II 합성부가 없는 경우에 대해 중심 확장 $\mathrm{mix}(M)$을 $\mathrm{LS}(M)$의 $*$-부분대수로 도입하고 분석한다.
• 적절히 무한한 von Neumann 대수 $M$에 대해 $\mathrm{mix}(M)$ 위의 모든 덧셈 도함수가 내부임을 증명함으로써, 기존의 내부 도함수 결과를 확장한다.

제안 방법

• $M$의 중심 확장으로서 $\mathrm{mix}(M)$을 도입하고, $S(Z(M)) \cong L^0(\Omega, \Sigma, \mu)$ 위의 $C^*$-대수임을 보인다.
• $\mathrm{mix}(M) = \mathrm{LS}(M)$이면 $M$이 유형 II 직접 합성부를 가지지 않을 때이고, 그 반대도 성립함을 증명한다.
• $\mathrm{LS}(M)$ 위의 국소 측도 수렴 위상의 성질을 이용해 도함수의 행동을 분석한다.
• 측도 위상과 스펙트럼 프로젝션의 성질을 활용하여 $\mathrm{mix}(M)$ 위의 도함수가 $S(Z(M))$-선형임을 증명한다.
• Sakai의 정리를 적용하여 모든 $x \in \mathrm{mix}(M)$에 대해 $D(x) = ax - xa$를 만족하는 $a \in \mathrm{mix}(M)$를 구성함으로써 내부성을 증명한다.
• 직교 중심 프로젝션의 수열 $\{z_n\}$에 의한 분해를 통해 도함수를 국소화하고, 각 $z_nM$에서 내부 도함수의 구조를 적용한다.

실험 결과

연구 질문

• RQ1 유형 I$_\infty$ 또는 유형 III von Neumann 대수에 대해, 국소적으로 가측 연산자 대수 $\mathrm{LS}(M)$ 위의 모든 덧셈 도함수가 내부가 되는 조건은 무엇인가?
• RQ2 중심 확장 $\mathrm{mix}(M)$과 $\mathrm{LS}(M)$ 사이의 관계는 무엇이며, 언제 이 둘이 동일한가?
• RQ3 적절히 무한한 von Neumann 대수에 대해 $\mathrm{mix}(M)$ 위의 덧셈 도함수가 내부임을 입증할 수 있는가?
• RQ4 비가환 설정에서의 도함수 결과는 $L^0(0,1)$과 같은 교환적 대수에 대한 이전 결과를 어느 정도 일반화하는가?
• RQ5 $\mathrm{mix}(M)$ 위의 도함수가 $S(Z(M))$-선형임은 적절히 무한한 경우 내부성을 보장하는 데 충분한가?

주요 결과

• 중심 확장 $\mathrm{mix}(M)$은 $\mathrm{LS}(M)$의 $*$-부분대수이며, $M$이 유형 II 직접 합성부를 가지지 않을 때이고 그 반대도 성립한다.
• $\mathrm{mix}(M)$ 위의 모든 덧셈 도함수는 $S(Z(M))$-선형이며, 이는 내부성을 증명하기 위한 핵심 단계이다.
• 적절히 무한한 von Neumann 대수에 대해 $\mathrm{mix}(M)$ 위의 모든 덧셈 도함수는 내부이므로, $\mathrm{mix}(M)$의 원소에 의해 실현된다.
• 이 결과는 $M$이 유형 I$_\infty$ 또는 유형 III일 경우 $\mathrm{LS}(M)$ 위의 모든 덧셈 도함수가 내부임을 시사한다.
• 도함수의 국소화를 위해 $M$을 직교 중심 프로젝션의 수열 $\{z_n\}$으로 분해하고 $\bigvee z_n = \mathbf{1}$을 만족시키는 방식으로 증명이 이루어진다.
• 각 $z_nM$에서 Sakai의 정리를 적용하여 모든 $x \in \mathrm{mix}(M)$에 대해 $D(x) = ax - xa$를 만족하는 $a \in \mathrm{mix}(M)$를 구성함으로써 내부성을 확인한다.