[논문 리뷰] A non-commutative Beurling's theorem with respect to unitarily invariant norms

Yanni Chen, Don Hadwin외 1명|arXiv (Cornell University)|2015. 05. 15.

Advanced Operator Algebra Research참고 문헌 20인용 수 3

한 줄 요약

이 논문은 유한 von Neumann 대수 위의 비가환 $L^\alpha$ 공간으로 Beurling 정리를 확장한다. 이를 위해 $`\mathcal{M}`$ 위에 정규화된, 단위변환에 관여하는, $\|\cdot\|_1$-지배적인 연속 노름 $\alpha$ 의 새로운 클래스를 도입한다. $L^\alpha(\mathcal{M},\tau)$ 에서 $H^\infty$-오른쪽 불변 부분공간에 대한 비가환 Beurling 유형 정리를 확립하며, 이러한 부분공간이 프로젝션 또는 유니타리에 의해 생성됨을 보여주어 이전의 $L^p$-공간 결과를 일반화한다.

ABSTRACT

In 1967, Arveson invented a non-commutative generalization of classical $H^{\infty},$ known as finite maximal subdiagonal subalgebras, for a finite von Neumann algebra $\mathcal M$ with a faithful normal tracial state $τ$. In 2008, Blecher and Labuschagne proved a version of Beurling's theorem on $H^\infty$-right invariant subspaces in a non-commutative $L^{p}(\mathcal M,τ)$ space for $1\le p\le \infty$. In the present paper, we define and study a class of norms ${\mathcal{N}}_{c}(\mathcal M, τ)$ on $\mathcal{M},$ called normalized, unitarily invariant, $\Vert \cdot \Vert_{1}$-dominating, continuous norms, which properly contains the class $\{ \Vert \cdot \Vert_{p}:1\leq p< \infty \}.$ For $α\in \mathcal{N}_{c}(\mathcal M, τ),$ we define a non-commutative $L^{α}({\mathcal{M}},τ)$ space and a non-commutative $H^α$ space. Then we obtain a version of the Blecher-Labuschagne-Beurling invariant subspace theorem on $H^\infty$-right invariant subspaces in a non-commutative $L^{α}({\mathcal{M}},τ)$ space. Key ingredients in the proof of our main result include a characterization theorem of $H^α$ and a density theorem for $L^α(\mathcal M,τ)$.

연구 동기 및 목표

• 고전적 및 비가환 $L^p$-공간에서의 불변 부분공간에 대한 Beurling 정리를 더 넓은 범주로 확장하는 것.
• 모든 $1 \leq p < \infty$ 에 대해 $\|\cdot\|_p$ 를 적절히 확장하는 새로운 노름 클래스 $\mathcal{N}_c(\mathcal{M},\tau)$ 의 정의 및 연구.
• 이러한 노름을 사용하여 비가환 $L^\alpha(\mathcal{M},\tau)$ 와 $H^\alpha$ 공간의 구축.
• $H^\infty$-오른쪽 불변 부분공간에 대한 비가환 Beurling 정리를 $L^\alpha(\mathcal{M},\tau)$ 에서 확립하여 Blecher-Labuschagne 결과를 일반화하는 것.

제안 방법

• $\mathcal{M}$ 이 유한 von Neumann 대수이고, 충실한 정규 추적 상태 $\tau$ 를 가질 때, 정규화되고, 단위변환에 관여하며, $\|\cdot\|_1$-지배적이며 연속적인 노름의 클래스 $\mathcal{N}_c(\mathcal{M},\tau)$ 를 도입한다.
• 이러한 노름을 사용하여 비가환 $L^\alpha(\mathcal{M},\tau)$ 와 $H^\alpha$ 공간을 정의한다.
• $H^\alpha$ 의 특성화 정리를 사용하여 $L^\alpha(\mathcal{M},\tau)$ 에서의 $H^\infty$-오른쪽 불변 부분공간의 구조를 분석한다.
• $L^\alpha(\mathcal{M},\tau)$ 에 대한 밀도 정리를 증명하여 노름 구조와의 호환성과 완비성을 확보한다.
• $L^\alpha(\mathcal{M},\tau)$ 에서의 $H^\infty$-오른쪽 불변 부분공간의 구조 정리를 적용하여, 프로젝션과 유니타리를 포함하는 직합으로 분해한다.
• 이중 불변 및 단순 불변 부분공간에 대한 추론을 도출하여, 그것들이 프로젝션 또는 유니타리에 의해 생성됨을 보인다.

실험 결과

연구 질문

• RQ1 Beurling 정리에서 $H^\infty$-불변 부분공간에 대한 결과를 $L^p$-공간을 초월하여, 새로운 노름으로 정의된 더 넓은 범주인 비가환 $L^\alpha$-공간으로 확장할 수 있는가?
• RQ2 유한 von Neumann 대수 위의 노름이 $H^\infty$-오른쪽 불변 부분공간에 대한 비가환 Beurling 정리를 지지하기 위해 만족해야 할 조건은 무엇인가?
• RQ3 $L^\alpha(\mathcal{M},\tau)$ 에서의 $H^\infty$-오른쪽 불변 부분공간의 구조와 분류는 노름 $\alpha$ 의 선택에 따라 어떻게 달라지는가?
• RQ4 $L^\alpha(\mathcal{M},\tau)$ 에서 닫힌 $H^\infty$-오른쪽 불변 부분공간이 부분공간들의 직합으로 분해되려면 어떤 조건이 필요한가? 이 부분공간들은 부분 등각변환과 프로젝션에 의해 생성된다.
• RQ5 일반화된 Beurling 정리는 이중 불변 또는 단순 불변 부분공간과 같은 특수한 경우에 적용 가능할 수 있으며, 이 경우 생성자는 어떻게 생겼는가?

주요 결과

• 논문은 $1 \leq p < \infty$ 에 대해 $\|\cdot\|_p$ 를 적절히 포함하는 새로운 노름 클래스 $\mathcal{N}_c(\mathcal{M},\tau)$ 를 정의하여, 비가환 $L^\alpha(\mathcal{M},\tau)$ 와 $H^\alpha$ 공간의 구축을 가능하게 한다.
• $H^\alpha$ 의 특성화 정리가 확립되어, $L^\alpha(\mathcal{M},\tau)$ 에서의 $H^\infty$-오른쪽 불변 부분공간을 분석하는 데 필수적이다.
• $L^\alpha(\mathcal{M},\tau)$ 에 대한 밀도 정리가 증명되어, 주어진 노름 하에서 공간이 잘 행동함을 보장한다.
• 주요 결과인 정리 5.7은 $L^\alpha(\mathcal{M},\tau)$ 의 닫힌 $H^\infty$-오른쪽 불변 부분공간 $\mathcal{W}$ 가 $\mathcal{Z} \oplus^{\text{col}} \bigoplus^{\text{col}}_{i\in\mathcal{I}} u_i H^\alpha$ 로 분해됨을 보여주며, 여기서 $u_i$ 는 $\mathcal{M} \cap \mathcal{W}$ 에 속한 정규화된 부분등각변환이고, 초기 프로젝션들이 서로 수직이다.
• 보조정리 5.8 은 $\mathcal{W}$ 가 이중 불변일 경우 ($\mathcal{W}\mathcal{M} \subseteq \mathcal{W}$), $\mathcal{W} = eL^\alpha(\mathcal{M},\tau)$ 를 만족하며, 이때 $e \in \mathcal{M}$ 는 프로젝션이다.
• 보조정리 5.9 는 $\mathcal{W}$ 가 단순히 $H^\infty$-오른쪽 불변이고 $H^\infty \cap (H^\infty)^* = \mathbb{C}I$ 라면, $\mathcal{W} = uH^\alpha$ 를 만족하며, 이때 $u \in \mathcal{W} \cap \mathcal{M}$ 는 유니타리이다.