Beurling-type invariant subspaces of the Poletsky-Stessin-Hardy spaces in the bidisc (Q2033839)

Let \(\Omega\) be a hyperconvex domain of \(\mathbb C^n\), and \(u\) be a negative continuous plurisubharmonic function on \(\Omega\). Let \(S(r)=\{z\in\Omega:u(z)=r\}\) for \(-\infty\le r<0\) and \(u_r(z)=\max(u(z),r)\) and \(B(r)=\{z\in\Omega:u(z)<r\}\). The Monge-Ampère measures in the sense of current are defined as \(\mu_{u,r}=(dd^c\varphi_r)^n-\mathcal{X}_\restriction{_{\Omega\setminus B_\varphi(r)}}(dd^c\varphi)^n\) for \(r<0\). Let \(\tilde{u}(z,\omega)=\max(u(z),u(\omega))\) for \((z,\omega)\in \mathbb D^2\), the unit bidisc. Let \(H^2_{\tilde{u}}(\mathbb D^2)\) be the space of holomorphic functions on \(\mathbb D^2\) such that \(\displaystyle\limsup_{r\to 0^-}\int_{S_{\tilde{u}}(r)}|f|^2d\mu_{\tilde{u},r}<\infty\). The authors state that there is an invariant subspace of \(H^2_{\tilde{u}}(\mathbb D^2)\) which is not of Beurling-type and by employing methods of vector-valued Hardy spaces, they generalize the standard Lax-Halmos theorem to \(H^2_{\tilde{u}}(\mathbb D^2)\).