Analytic extension of functions from analytic Hilbert spaces (Q2385394)

Let \(M\) be an invariant subspace of \(H^{2}_{v}\). The author shows that, for each \(f \in M^{\perp}\), \(f\) can be analytically extended across \(\partial \mathbb{B}_{d}\backslash \sigma (S_{z_{1}}, \dots ,S_{z_{d}})\). From this, we have the following corollaries: (1) Let \(M\) be an invariant subspace of \(H^2_v\). Then \[ \bigcup_{f\in M^\perp} \{\lambda\in\partial\mathbb{B}_d: f\text{ is not analytic at }\lambda\}\subseteq\sigma(S_1,\dots, S_d); \] (2) Let \(p\) be a polynomial. Then, for each function \(f\in H^2_v\) and \(f\perp [p]\), \(f\) can be analytically extended across \(\partial\mathbb{B}_d\setminus Z(p)\).