[논문 리뷰] A Beurling theorem for noncommutative L^p

David P. Blecher, Louis E. Labuschagne|ArXiv.org|2005. 10. 17.

Advanced Operator Algebra Research참고 문헌 24인용 수 32

한 줄 요약

이 논문은 비가환 $L^p$ 공간으로의 베르링의 고전적 불변부공간 정리의 일반화를 시도한다. $A$가 최대 부분대각선 대수일 때, $L^p(M)$의 $A$-불변부공간을 특성화하고, 이러한 부공간이 $L^p(\mathcal{D})$-모듈러 구조를 통해 순환 모듈러로 분해됨을 보이며, 비가환 $H^p$ 이론으로의 고전적 $H^p$ 이론을 일반화하는 비가환 설정에서 $L^p(M)$의 원소에 대한 내부-외부 인수분해를 제공한다.

ABSTRACT

We extend Beurling's invariant subspace theorem, by characterizing subspaces $K$ of the noncommutative $L^p$ spaces which are invariant with respect to Arveson's maximal subdiagonal algebras, sometimes known as noncommutative $H^\infty$. It is significant that a certain subspace, and a certain quotient, of $K$ are $L^p({\mathcal D})$-modules in the recent sense of Junge and Sherman, and therefore have a nice decomposition into cyclic submodules. We also give general inner-outer factorization formulae for elements in the noncommutative $L^p$. These facts generalize the classical ones, and should be useful in the future development of noncommutative $H^p$ theory. In addition, these results characterize maximal subdiagonal algebras.

연구 동기 및 목표

• 유한 von Neumann 대수와 관련된 비가환 $L^p$ 공간으로 베르링의 불변부공간 정리를 일반화하는 것.
• 최대 부분대각선 대수 $A$에 대해 $L^p(M)$의 $A$-불변부공간을 $L^p(\mathcal{D})$-모듈러 구조를 사용하여 특성화하는 것.
• 고전적 베르링–네바린나 인수분해를 비가환 설정으로 일반화하여 비가환 $L^p(M)$의 원소에 대한 내부-외부 인수분해 공식을 수립하는 것.
• 최대 부분대각선 대수가 그 불변부공간의 분해 성질과 모듈러 구조에 의해 특성화됨을 보이는 것.

제안 방법

• 유한 von Neumann 대수와 충실한 정규 추적 상태 $\tau$와 관련된 비가환 $L^p$ 공간 $L^p(M, \tau)$의 프레임워크를 사용한다.
• 준지와 셔먼가 정의한 $L^p(\mathcal{D})$-모듈러와 $L^p$-열합의 개념을 적용하여 불변부공간을 분석한다.
• $L^p(M)$의 $A$-불변부공간 $K$에 대해 오른쪽 흩어진 부분공간 $W = K \ominus [KA_0]_p$를 정의하며, 이는 유형 1과 유형 2의 부공간을 구분한다.
• $A$-불변성과 약한* 닫힘의 개념을 활용하여 $KA \subset K$를 만족하는 부공간 $K$를 연구하며, 특히 그 흩어진 부분공간으로 생성되는 경우에 초점을 맞춘다.
• 등거리 $\mathcal{D}$-모듈러 동형사상과 $\tau((d^*vd)^{p/2}) = \|ud\|_p^p$를 포함한 추적 항등식을 사용하여 연산자의 단위성과 순환 구조를 증명한다.
• 특히 $p = \infty$일 경우 약한* 위상에서의 수렴을 사용하여 $L^2(M)$의 결과를 $L^p(M)$과 $L^\infty(M)$로 이행한다.

실험 결과

연구 질문

• RQ1 베르링의 불변부공간 정리는 어떻게 비가환 $L^p$ 공간으로 일반화될 수 있는가?
• RQ2 특히 $L^p(\mathcal{D})$-모듈러와의 관계에서 비가환 $L^p(M)$의 $A$-불변부공간의 구조는 어떠한가?
• RQ3 고전적 베르링–네바린나 인수분해와 유사하게 비가환 $L^p(M)$의 원소에 대해 내부-외부 인수분해를 확립할 수 있는가?
• RQ4 최대 부분대각선 대수의 성질은 $L^p(M)$의 불변부공간의 분해와 어떻게 관련되는가?
• RQ5 모듈러 이론적 성질과 인수분해 성질에 기반하여, 추적 부분대수 $A$가 최대 부분대각선이 되기 위한 조건은 무엇인가?

주요 결과

• 모든 유형 1의 $A$-불변부공간 $K \subset L^p(M)$은 $K = \oplus_{i}^{\text{col}} u_i [A]_p$를 만족하며, 여기서 $u_i$는 상호 직교하는 상부를 가지며 $u_i^*u_i \in \mathcal{D}$인 $M \cap K$의 부분등거리사상이다.
• 만약 $K$가 유형 1이면서 그 흩어진 부분공간 $W$가 순환적이고 분리되는 벡터를 가진다면, $K = uH^p$이며, 이때 $u \in M$은 단위원소이며, $f = uh$이고 $h$는 $H^p$에서 외부 원소임을 의미한다.
• $K$가 유형 2이기 위한 필요충분조건은 그 흩어진 몫공간 $K / [KA_0]_p$가 자명하다는 것이며, 즉 $K = [KA_0]_p$임을 의미한다.
• $f \in L^p(M)$이 $[fA]_p$가 유형 1일 경우, $f = \sum_i u_i h_i$로 노름 수렴하며, 이때 $u_i$는 $u_i^*u_i \in \mathcal{D}$를 만족하고 $i \neq j$일 경우 $u_j^*u_i = 0$이며, $h_i \in [A]_p$이면서 $u_i^*u_i h_i = h_i$를 만족한다.
• 결과적으로 최대 부분대각선 대수는 그 불변부공간이 $L^p(\mathcal{D})$-모듈러로 분해되고 내부-외부 인수분해가 존재함으로써 특성화됨을 보여준다.
• 논문은 $A$가 최대 부분대각선이 되기 위한 필요충분조건이 $L^2$-밀도성과 유일한 정규 상태 연장 성질을 만족함을 확인하며, 이는 이전의 특성화를 일반화한다.