A non-commutative Beurling's theorem with respect to unitarily invariant norms

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,τ)$.