[논문 리뷰] A Beurling-Chen-Hadwin-Shen Theorem for Noncommutative Hardy Spaces Associated with Semifinite von Neumann Algebras with Unitarily Invariant Norms

Lauren Sager, Wenjing Liu|arXiv (Cornell University)|2018. 01. 04.

Advanced Operator Algebra Research참고 문헌 27인용 수 5

한 줄 요약

이 논문은 유니터리 불변, 국소적으로 $\|\cdot\|_1$-지배적이고 상호 연속적인 노름을 갖춘 반유한 von Neumann 대수에서 단위 불변, 국소적으로 $\|\cdot\|_1$-지배적이고 상호 연속적인 노름을 갖춘 반유한 von Neumann 대수에서 비가환 Beurling-Chen-Hadwin-Shen 정리를 수립한다. 비가환 Banach 함수 공간, 즉 $L^\alpha(\mathcal{M},\tau)$, 교차곱 $\mathcal{M}\rtimes_\beta\mathbb{Z}$, 그리고 $B(\mathcal{H})$에서의 $H^\infty$-불변 부분공간을 특성화하며, 이들이 대각 대수에서 부분등위와 프로젝션에 의해 생성된 부분공간들의 행합으로 분해됨을 보여준다.

ABSTRACT

We introduce a class of unitarily invariant, locally $\|\cdot\|_1$-dominating, mutually continuous norms with repect to $τ$ on a von Neumann algebra $\mathcal{M}$ with a faithful, normal, semifinite tracial weight $τ$. We prove a Beurling-Chen-Hadwin-Shen theorem for $H^\infty$-invariant spaces of $L^α(\mathcal{M},τ)$, where $α$ is a unitarily invariant, locally $\|\cdot\|_1$-dominating, mutually continuous norm with respect to $τ$, and $H^\infty$ is an extension of Arveson's noncommutative Hardy space. We use our main result to characterize the $H^\infty$-invariant subspaces of a noncommutative Banach function space $\mathcal I(τ)$ with the norm $\|\cdot\|_{E }$ on $\mathcal{M}$, the crossed product of a semifinite von Neumann algebra by an action $β$, and $B(\mathcal{H})$ for a separable Hilbert space $\mathcal{H}$.

연구 동기 및 목표

• 기존의 Beurling 정리를 반유한 von Neumann 대수에서 단위 불변 노름을 갖춘 비가환 하르디 공간으로 확장한다.
• 비가환 Banach 함수 공간 $\mathcal{I}(\tau)$, $L^\alpha(\mathcal{M}\rtimes_\beta\mathbb{Z},\tau)$, 및 $B(\mathcal{H})$에서의 $H^\infty$-불변 부분공간을 특성화한다.
• 대각 부분대수 $\mathcal{D} = H^\infty \cap (H^\infty)^*$ 내의 프로젝션과 부분등위를 이용하여 이러한 불변 부분공간에 대한 구조 정리를 수립한다.

제안 방법

• 반유한 von Neumann 대수 $\mathcal{M}$와 추적 가중치 $\tau$에 대해, 단위 불변, 국소적으로 $\|\cdot\|_1$-지배적이고 상호 연속적인 노름의 클래스를 도입한다.
• $H^\infty$를 $\mathcal{M}$의 약한* 닫힌 단위 부분대수로 정의하며, $\mathcal{D}$로의 충실한 정규 조건 기대 $\Phi$를 갖추고, 반유한 비가환 하르디 공간의 성질을 만족시킨다.
• 유한 계수 연산자의 노름 $\|x\|_{\mathcal{I}(\tau)} = \|\mu(x)\|_E$에 대해 닫힘으로써 비가환 Banach 함수 공간 $\mathcal{I}(\tau)$를 구성한다. 여기서 $\mu(x)$는 $x$의 특이값 함수이다.
• 스펙트럼 이론과 대칭 게이지 노름 이론을 사용하여 $\mathcal{M}$ 위의 단위 불변 노름을 $\mathbb{C}^n$ 위의 대칭 게이지 노름으로 일반화함으로써 von Neumann의 결과를 확장한다.
• $L^\alpha(\mathcal{M},\tau)$ 및 관련 공간에서의 $H^\infty$-불변 부분공간이 대각 대수 $\mathcal{D}$ 내의 부분등위 $u_\lambda$와 프로젝션 $q$에 의해 생성된 부분공간들의 행합으로 분해됨을 증명한다.
• 주요 정리를 $B(\mathcal{H})$와 교차곱 $\mathcal{M}\rtimes_\beta\mathbb{Z}$에서의 불변 부분공간 특성화에 적용하여, 이들이 서로 수직인 부분등위와 프로젝션의 집합에 의해 생성됨을 보여준다.

실험 결과

연구 질문

• RQ1 반유한 von Neumann 대수에서 단위 불변 노름을 갖춘 비가환 하르디 공간과 관련된 $H^\infty$-불변 부분공간은 어떻게 특성화할 수 있는가?
• RQ2 $L^\alpha(\mathcal{M},\tau)$, $\mathcal{M}\rtimes_\beta\mathbb{Z}$, 및 $B(\mathcal{H})$에서 주어진 노름 조건 하에 $H^\infty$-불변 부분공간이 가지는 구조적 성질은 무엇인가?
• RQ3 클래식한 Beurling 정리와 그 비가환 설정으로의 확장이 비가환 Banach 함수 공간에서 단위 불변 노름을 갖는 경우에 얼마나 일반화되는가?

주요 결과

• 논문은 $\alpha$가 $\tau$에 대해 단위 불변, 국소적으로 $\|\cdot\|_1$-지배적이고 상호 연속적인 노름일 때, $L^\alpha(\mathcal{M},\tau)$에서의 $H^\infty$-불변 부분공간에 대한 비가환 Beurling-Chen-Hadwin-Shen 정리를 증명한다.
• 교차곱 $\mathcal{M}\rtimes_\beta\mathbb{Z}$에 대해서는 불변 부분공간 $\mathcal{K}$가 $\mathcal{K} = (L^\alpha(\mathcal{M}\rtimes_\beta\mathbb{Z},\tau)q) \otimes^{\text{row}} (\otimes^{\text{row}}_{\lambda\in\Lambda} H^\alpha u_\lambda)$로 분해되며, 여기서 $q$는 프로젝션이고 $\{u_\lambda\}$는 수직성과 지지 조건을 만족하는 부분등위이다.
• $B(\mathcal{H})$에서 불변 부분공간 $\mathcal{K}$는 $\oplus^{\text{row}}_{\lambda\in\Lambda} H^\alpha u_\lambda$와 등록형 등장하며, 여기서 $u_\lambda$는 $H^\infty$ 내의 부분등위로 $\lambda \neq \mu$일 때 $u_\lambda u_\mu^* = 0$이고 $u_\lambda u_\lambda^* \in \mathcal{D}$를 만족한다.
• 이 특성화는 네트워크 수렴 조건을 만족하는 임의의 단위 불변 노름 $\alpha$에 대해 성립한다: $\alpha((e_\lambda - I)x) \to 0$ 이며 $e_\lambda \uparrow I$는 약한* 위상에서 수렴한다.
• 결과는 $B(\mathcal{H})$의 하삼각 및 상삼각 부분대수로도 확장되며, 이에 대한 유사한 분해 정리가 성립한다.
• 불변 부분공간의 구조는 대각 대수 $\mathcal{D} = H^\infty \cap (H^\infty)^*$, $\mathcal{D}$ 내의 프로젝션, 그리고 $H^\infty$ 내의 수직 부분등위의 가족에 의해 완전히 결정된다.