[논문 리뷰] Algebras of unbounded operators over the ring of measurable functions and their derivations and automorphisms

Sergio Albeverio, A. Ayupov외 2명|ArXiv.org|2007. 10. 31.

Advanced Topics in Algebra참고 문헌 17인용 수 15

한 줄 요약

이 논문은 측정 가능 함수의 링 위에서의 유계가 아닌 $L^0$-선형 연산자 대수에서의 유도와 $*$-자기동형사상에 대해 연구하며, $ \mathcal{L}^+(\mathcal{D})$의 모든 $L^0$-선형 유도와 $L^0$-선형 $*$-자기동형사상이 내부적임을 증명하고, $bo$-稠성 부분모듈러에서 $\mathcal{L}(\mathcal{D})$의 모든 $L^0$-선형 자기동형사상이 공간적임을 보인다. 이 결과들은 캅란스키-힐버트 모듈러를 사용하여 고전적인 내부 자기동형사상 정리들을 유계가 아닌, $L^0$-값을 가진 설정으로 확장한다.

ABSTRACT

In the present paper derivations and *-automorphisms of algebras of unbounded operators over the ring of measurable functions are investigated and it is shown that all L^0-linear derivations and L^{0}-linear *-automorphisms are inner. Moreover, it is proved that each L^0-linear automorphism of the algebra of all linear operators on a bo-dense submodule of a Kaplansky-Hilbert module over the ring of measurable functions is spatial.

연구 동기 및 목표

• 측정 가능 함수의 링 위에서의 연산자 대수에서의 유도와 자기동형사상 이론을 유계에서 유계가 아닌 설정으로 확장하는 것.
• 유계가 아닌 연산자 설정에서 고전적인 내부 유도와 공간적 자기동형사상에 대한 $L^0$-값 대응체를 수립하는 것.
• 카플란스키-힐버트 모듈러 위에서의 유계가 아닌 $L^0$-선형 연산자에 대한 $O^*$-대수와 $O$-대수의 구조를 조사하는 것.
• $\mathcal{L}^+(\mathcal{D})$의 모든 $L^0$-선형 $*$-자기동형사상이 내부적임과, 카플란스키-힐버트 모듈러의 $bo$-稠성 부분모듈러에서 $\mathcal{L}(\mathcal{D})$의 모든 $L^0$-선형 자기동형사상이 공간적임을 증명하는 것.

제안 방법

• Kaplansky-Hilbert 모듈러 위에서의 유계가 아닌 $L^0$-선형 연산자 이론을 개발하며, $L^0$-값 설정에서의 $O$-모듈러, $O^*$-모듈러, $O$-대수, $O^*$-대수를 도입한다.
• $bo$-위상과 $L^0$ 내의 $o$-수렴을 사용하여 $L^0$-노름 공간에서의 수렴성과 완비성을 정의한다.
• $\sigma$-유한 생성 모듈러와 $d$-분해 가능 (칸토로비치) 노름의 구조를 활용하여 $L^0$ 위에서의 연산자 대수를 분석한다.
• 스펙트럼 분해와 분할 $\{\pi_\alpha\}$를 사용하여 전반적인 문제를 $L^0$-성분에서 국소적인 문제로 환원한다.
• 지역화된 부분모듈러 $\pi_\alpha \mathcal{D}_i$ 위에서의 $L^0$-선형等거리사상 $U_\alpha$를 통해 공간적 실현 연산자 $U$를 구성한다.
• $*$-동형사상 $\pi$와 그에 대한 $U$에 의한 실현을 사용하여 $\pi(a) = UaU^{-1}$를 보이고, 공간성과 내부 자기동형사상임을 증명한다.

실험 결과

연구 질문

• RQ1 $\mathcal{L}^+(\mathcal{D})$의 모든 $L^0$-선형 유도가 내부적일까?
• RQ2 $\mathcal{L}^+(\mathcal{D})$의 모든 $L^0$-선형 $*$-자기동형사상이 내부적일까?
• RQ3 $bo$-稠성 부분모듈러에서 $\mathcal{L}(\mathcal{D})$의 모든 $L^0$-선형 자기동형사상이 공간적일까?
• RQ4 $O^*$-대수 간의 $L^0$-선형 $*$-동형사상은 공간적 사상으로 실현될 수 있는가?
• RQ5 $L^0$-선형 자기동형사상이 공간적이거나 내부적임을 보장하는 조건은 무엇인가?

주요 결과

• $\mathcal{L}^+(\mathcal{D})$의 모든 $L^0$-선형 유도는 내부적이다.
• $\mathcal{L}^+(\mathcal{D})$의 모든 $L^0$-선형 $*$-자기동형사상은 내부적이다.
• 카플란스키-힐버트 모듈러 위의 $bo$-稠성 부분모듈러에서 $\mathcal{L}(\mathcal{D})$의 모든 $L^0$-선형 자기동형사상은 공간적이다.
• $L^0$ 위의 $O^*$-대수 간의 모든 $L^0$-선형 $*$-동형사상은 공간적이다.
• $\mathcal{L}^+(\mathcal{D})$의 각 $L^0$-선형 $*$-자기동형사상은 $\pi(a) = UaU^{-1}$를 만족하는 유니터리 연산자 $U$에 의해 실현된다.
• 자기동형사상의 공간성은 $\|e\| = \mathbf{1}$인 벡터 $e \in \mathcal{D}$가 존재하는 조건 하에 성립한다.