[논문 리뷰] Logmodularity and isometries of operator algebras

David P. Blecher, Louis E. Labuschagne|ArXiv.org|2002. 05. 14.

Holomorphic and Operator Theory참고 문헌 31인용 수 16

한 줄 요약

이 논문은 비가환 연산자 대수로의 함수 대수에서의 등장사상과 로그모듈라리티에 대한 고전적 결과를 일반화하며, $C^*$-환경(비가환 실로프 경계)을 사용한다. 이는 연산자 대수 간의 완전 등장사상에 대한 동치 특성화를 수립하고, 로그모듈라리티의 비가환 대응을 도입하여, 로그모듈라리 또는 로그레깅된 추적 부분대수에서 조건부 기대의 유일한 양의 확장을 증명한다. 이는 비가환 $L^p$-공간에서의 인수분해와 밀도에 응용된다.

ABSTRACT

We generalize some facts about function algebras to operator algebras, using the `noncommutative Shilov boundary' or $C^*$-envelope first considered by Arveson. In the first part we study and characterize complete isometries between operator algebras. In the second part we introduce and study a notion of logmodularity for operator algebras. We also give a result on conditional expectations. Many miscellaneous applications are given.

연구 동기 및 목표

• 함수 대수 간의 등장사상에 대한 고전적 결과를 $C^*$-환경을 사용하여 비가환 연산자 대수로 확장한다.
• 연산자 대수에 대한 로그모듈라리티의 비가환 대응을 도입하고 연구한다.
• 연산자 대수 간의 완전 등장사상을 $C^*$-환경을 포함하는 블록 대각형태를 통해 특성화한다.
• 로그모듈라리 또는 로그레깅된 연산자 대수에서 조건부 기대의 양의 확장이 유일한지 조사한다.
• 비가환 수체의 셰고 정리와 젠센 부등식의 비가환 대응을 고려하여, 복소수 대수에서 $A^* + A$의 약한* 밀도를 탐구한다.

제안 방법

• 완전 등장사상을 특성화하기 위해 $C^*$-환경 $C^*_e(A)$를 실로프 경계의 비가환 대응으로 사용한다.
• C*-대수의 보편 표현을 적용하여, $T: A \to B$의 맵을 완전 등장사상 호모모르피즘 $\pi$와 완전 수축 $S$를 포함하는 블록 대각형태로 분해한다.
• 카디슨-쇼와이너 부등식과 양의 성질을 활용하여, 대수 $A$에서 von Neumann 대수 $M$으로의 조건부 기대의 확장을 분석한다.
• 비가환 $L^p$-공간에서의 쌍대성과 하른-반하우스 정리를 사용하여 $L^1$-밀도 결과를 증명한다.
• 트레이스 성질과 조건부 기대의 구조를 적용하여, $\Phi((1+x)a) = \Phi(a)$가 양의 $1+x$에 대해 성립함을 보이고, $x \neq 0$이면 모순이 발생함을 도출한다.
• 완전 양의 맵이 교환 가능 범위를 가지면 자동으로 완전 양의가 되므로, 기존의 비가환 연산자 공간 결과를 적용할 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 연산자 대수 간의 선형 맵이 완전 등장사상이 되는 조건은 무엇이며, 이를 $C^*$-환경을 통해 어떻게 특성화할 수 있는가?
• RQ2 연산자 대수에서 로그모듈라리티의 비가환 대응은 무엇이며, 인수분해와 조건부 기대와의 관계는 어떻게 되는가?
• RQ3 von Neumann 대수 $M$에서 $\Delta(A)$로의 정규 조건부 기대가 $A$에서 $\Delta(A)$로의 조건부 기대의 유일한 양의 확장인가?
• RQ4 $A^* + A$가 von Neumann 대수 $M$에서 약한* 밀도를 가지는가? 이는 로그레깅되거나 로그모듈라리 추적 부분대수에서 성립하는가? 어떤 조건이 이를 보장하는가?
• RQ5 비가환 $L^p$-공간에서의 밀도 결과를 뒷받침하기 위해, 셰고 정리와 젠센 부등식의 비가환 대응을 확립할 수 있는가?

주요 결과

• 유니탈 연산자 대수 $A$와 $B$ 사이의 선형 맵 $T: A \to B$는 오직 $C^*$-환경에 대한 완전 등장사상 호모모르피즘과 그 수직 컴플리먼트 위의 완전 수축을 포함하는 블록 대각형태로 분해될 때에만 완전 등장사상이다.
• 로그모듈라리 연산자 대수는 고전적 인수분해 성질의 비가환 형태를 만족하며, 이는 $A$가 생성하는 von Neumann 대수에서 최대 하향 대수임을 의미한다.
• 만일 $\Delta(A)$가 $M$의 중심에 있다면, 로그레깅되거나 로그모듈라리 추적 부분대수 $A$에 대해 $A^* + A$는 $L^1(M, \tau)$에서 밀도를 가진다.
• 만일 $A$가 로그레깅되거나 로그모듈라리라면, $M$에서 $\Delta(A)$로의 정규 조건부 기대는 $A$에서 $\Delta(A)$로의 조건부 기대의 유일한 양의 확장이다.
• 만일 $A$가 로그레깅되고 $\Delta(A)$가 $M$의 중심에 있다면, $A^* + A$는 $L^1(M, \tau)$에서 밀도를 가지며, 양의 성질과 트레이스 성질을 사용한 모순에 의해 증명된다.
• $L^1$-밀도의 증명은 $A^* + A$에 대해 모든 $a$에 대해 $\tau(xa) = 0$인 비영인 $x \in M$이 존재하면 $x = 0$임을 보여줌으로써 이루어지며, 이는 $\Phi((1+x)a)$의 양의 성질과 $\Phi$의 충실성에 기반한다.