A noncommutative Beurling theorem with respect to unitarily invariant norms (Q2835245)

One of the most celebrated theorems in operator theory is Beurling's invariant subspace theorem, namely: If \(W\) is a nonzero closed \(H^\infty\)-invariant subspace of \(H^2(\mathbb T)\) on the unit circle, then \(W=\psi H^2(\mathbb T)\) for some \(\psi\in H^\infty(\mathbb T)\) with \(|\psi|=1\) a.e. \((\mu)\). Later, Beurling's theorem for \(H^2(\mathbb T)\) was generalized and extended to many other directions. In [Am. J. Math. 89, 578--642 (1967; Zbl 0183.42501)], \textit{W. B. Arveson} invented a noncommutative generalization of the classical \(H^\infty\), known as finite maximal subdiagonal subalgebras, for a finite von Neumann algebra \(\mathcal M\) with a faithful normal tracial state \(\tau\). Roughly, a subdiagonal algebra \(A\) is a subalgebra of a von Neumann algebra \(\mathcal M\) which has many of the structural properties of the Hardy space \(H^\infty(\mathbb T)\). In [J. Oper. Theory 59, No. 1, 29--51 (2008; Zbl 1174.46030)], \textit{D. P. Blecher} and \textit{L. E. Labuschagne} proved a version of the Beurling theorem on \(H^\infty\)-right invariant subspaces in a noncommutative \(L^p(\mathcal M,\tau)\) space for \(1\leq p\leq\infty\). Later, \textit{T. N. Bekjan} [Integral Equations Oper. Theory 81, No. 2, 191--212 (2015; Zbl 1332.46062)] obtained a similar Beurling theorem in noncommutative Hardy spaces based on his study of symmetric Banach spaces.NEWLINENEWLINEIn this paper, the authors define a class \(N_C(\mathcal M,\tau)\) of normalized, unitarily invariant \(\|\cdot\|_1\) dominating and continuous norms and study their dual norms on a finite von Neumann algebra \(\mathcal M\) with a faithful normal tracial state \(\tau\). For each \(\alpha\in N_C(\mathcal M,\tau)\), the authors obtain a new version of Hölder's inequality and prove a duality theorem of \(L^\alpha(\mathcal M,\tau)\) whose form is different from the usual \(L^p\)-spaces for each \(1\leq p\leq\infty\). The authors then define the noncommutative \(H^\alpha\) spaces and provide a characterization of \(H^\alpha\). Further, the authors obtain a factorization result in \(L^\alpha(\mathcal M,\tau)\) and a density theorem for \(L^\alpha(\mathcal M,\tau)\) which is an extension of a result of \textit{K.-S. Saito} [Proc. Am. Math. Soc. 77, 348--352 (1979; Zbl 0419.46045)]. Finally, in Section 4, using the above theorems and results, the authors establish the main result of this paper (Theorem 4.7), a version of the Beurling theorem for \(H^\infty\)-right invariant subspaces in \(L^\alpha(\mathcal M,\tau)\) spaces and in \(H^\alpha\) spaces.