Two inner sequences based invariant subspaces in \(H^2(\mathbb D^2)\) (Q2441302)

Starting from the fact that by the Beurling-Lax-Halmos theorem, each shift invariant subspace \(M\) in the vector-valued Hardy space \(H^2(\mathbb D)\) can be characterized by operator-valued inner functions, analogous results were searched for \(M\) in the Hardy space of the bidisc \(H^2(\mathbb{D}^2)\). Some results have been obtained by \textit{Y.-S. Qin} and \textit{R.-W. Yang} [``A characterization of submodules via Beurling-Lax-Halmos theorem'', Proc. Am. Math. Soc. (to appear)]. The aim of the present paper is to generalize these results and to obtain the structure of the studied invariant subspace. More specifically, the definitions of inner sequence \(\{\varphi_j(z)\}_{j\geq 0}\) in \(H^2(z)\) and of orthogonal complementary projections \(\{P_j\}_{j\geq 0}\) are recalled, and the inner function \(\Theta(z)=\sum\limits_{j=0}^{\infty}\varphi_j(z)P_j\) is considered. When \(M=\Theta(z)H^2(\mathbb{D}^2)\) is an invariant subspace of \(H^2(\mathbb{D}^2)\), it is called two inner sequences based invariant subspace. Some properties of such a type of invariant subspace are studied, the structure is determined (Theorem 2.2), and the unitary equivalence of two such invariant subspaces is analyzed. Also, the spectrum of the compressions of the shift operators \(T_z\) and \(T_w\) on the subspace \(N=H^2(\mathbb{D}^2)\ominus M\) is determined. The core operator \(C\) for an invariant subspace \(M\) is defined as \(C=I-R_zR_z^*-R_wR_w^*+R_zR_wR_z^*R_w^*\), where \(R_z\) and \(R_w\) are the restrictions of \(T_z\) and \(T_w\) on \(M\). The trace and rank of the core operator are exactly calculated and an example and remark are given.