[논문 리뷰] On a certain class of operator algebras and their derivations

Sh. A. Ayupov, R. Z. Abdullaev외 1명|ArXiv.org|2009. 08. 09.

Holomorphic and Operator Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 von Neumann 대수 $M$ 위의 모든 정규 유한 피드백 측도에 대해 비아벨 $L_p$-공간들의 교차로 정의된 유한 측도 대수를 도입한다. 이 대수에서 모든 도함수는 내부 도함수임을 증명하며, 아렌스 대수에서 알려진 결과를 일반화하고 비아贝尔 $L_p$-기반 연산자 대수의 핵심 구조적 성질을 확립한다.

ABSTRACT

Given a von Neumann algebra $M$ with a faithful normal finite trace, we introduce the so called finite tracial algebra $M_f$ as the intersection of $L_p$-spaces $L_p(M, μ)$ over all $p \geq 1$ and over all faithful normal finite traces $μ$ on $M.$ Basic algebraic and topological properties of finite tracial algebras are studied. We prove that all derivations on these algebras are inner.

연구 동기 및 목표

• von Neumann 대수 $M$ 위의 모든 정규 유한 피드백 측도 $\mu$에 대해 $L_p(M,\mu)$ 공간들의 교차로 유한 측도 대수를 정의하고 연구하는 것.
• 이 대수의 위상적 및 대수적 성질, 특히 메트라이잭빌리티와 반사성 등을 조사하는 것.
• 이 대수 위의 도함수의 완전한 특성화를 확립하여 모든 도함수가 내부임을 보이는 것.
• 아렌스 대수에서의 도함수 결과를 더 넓은 범위의 비아벨 $L_p$-기반 대수로 확장하는 것.
• 유한 측도 대수의 쌍대 공간을 기술하고 그 위상적 구조를 명확히 하는 것.

제안 방법

• 모든 정규 유한 피드백 측도 $\mu$의 집합인 $\mathcal{F}$에 대해 $M_f = \bigcap_{\mu \in \mathcal{F}} \bigcap_{p \geq 1} L_p(M,\mu)$로 유한 측도 대수 $M_f$를 정의한다.
• $M_f$에 모든 $p \geq 1$ 및 $\mu \in \mathcal{F}$에 대해 $L_p$-노름 $\|\cdot\|_p^\mu$의 가족이 생성하는 위상 $t$를 부여한다.
• Radon–Nikodym 정리를 활용하여 임의의 f.n.f. 측도 $\mu$를 $\mu(x) = \tau(hx)$로 표현하며, 이때 $h$는 $M$의 중심에 연관된 $L^1(M,\tau)$ 내의 양수 원소이다.
• 아렌스 대수 $L^\omega(M,\tau)$에서의 도함수에 관한 알려진 결과를 적용하며, 특히 $\tau$가 유한할 경우 $L^\omega(M,\tau)$ 위의 도함수가 내부임을 안다.
• $M_f$가 $L^\omega(M,\tau)$의 부분대수로서의 강도를 활용하고, 보조정리 4.2를 통해 도함수의 시행 원소 $a$를 $L^\omega(M,\tau)$에서 $M_f$ 자체로 이전한다.
• Leibniz 법칙과 스펙트럼 이론(예: $x \geq 0$이면 $1+x$가 가역임)을 사용하여 도함수 항등식을 $M$에서 전체 대수 $A \supseteq M$로 확장한다.

실험 결과

연구 질문

• RQ1 유한 측도 대수 $M_f$가 언제 메트라이잭빌리티 또는 반사성을 갖는가?
• RQ2 $M_f$가 집합적으로 von Neumann 대수 $M$과 일치하는가?
• RQ3 $M_f$의 쌍대 공간의 구조는 어떠한가?
• RQ4 모든 도함수가 $M_f$에서 내부인지, 그리고 만약 그렇다면 $M$에 대한 어떤 조건에서 성립하는가?
• RQ5 $M_f$ 위의 위상은 $M$에서의 연산자 위상과 $L_p$-위상과 어떻게 비교되는가?

주요 결과

• 모든 $L_p^\mu$-노름이 생성하는 위상에서 $M_f$는 완비인 국소 볼록 위상 $^*$-대수이다.
• $M_f$가 메트라이잭빌리티 또는 반사성을 갖는다 하는 것과 동치로 $M$의 중심이 유한차원임을 필요로 하며, 이 경우 $M_f$는 어떤 측도 $\mu$에 대해 아렌스 대수 $L^\omega(M,\mu)$와 일치한다.
• $M_f$가 집합적으로 $M$과 일치하는 것은 $M$이 유한차원이거나 측도 공간이 자명할 때에 한하여 성립하며, 이 경우에도 $M_f$의 위상은 연산자 위상보다 엄밀히 더 높은 위상이다.
• $M_f$의 쌍대 공간은 모든 $q \in (1,\infty)$ 및 모든 f.n.f. 측도 $\mu$에 대해 $L_q(M,\mu)$ 공간들의 교차와 등급이 있으며, 쌍대성 쌍 $\langle x, a \rangle = \tau(ax)$에 의해 주어진다.
• 모든 도함수는 $M$을 포함하는 $L^\omega(M,\tau)$의 강도 있는 $^*$-부분대수 $A \subseteq L^\omega(M,\tau)$ 위에서 내부이며, 시행 원소 $a$는 $A$에 속한다.
• 특히, $M_f$ 위의 모든 도함수는 내부이므로, 교환 $L_p$-대수의 고전 결과에 대한 비아벨 해석적 일반화를 확립한다.