No label defined (Q4668633)

In this interesting article, the author considers index~1 invariant subspaces \(M\) of the operator of multiplication by \(z\), \(M_z\), on the Bergman space \(L^{2}_{a}({\mathbb D})\) of the unit disc. In order to be able to state the main results of the paper, first we give some notation: let \(M \in\text{Lat}\,M_z\) with \(\text{ind}\,M=1\). If \(G\) is a unit vector in \(M \ominus zM\), then there is a positive definite sesquianalytic kernel \(\ell^{M}_{\lambda}\) defined on \({\mathbb D}\times{\mathbb D}\), such that \[ \frac{P_{M} k_{\lambda}(z)}{\overline{G(\lambda)} G(z)} = (1-\overline{\lambda} z \ell^{M}_{\lambda}(z))k_{\lambda}(z), \] where \(k_{\lambda}(z)=(1-\overline{\lambda}z)^{-2},\lambda,z\in{\mathbb D}\), is the Bergman kernel, and \(P_{M}\) is the orthogonal projection onto \(M\). The spectrum of \(M^{*}_{z}\) restricted to \(M^{\bot}\) is denoted by \(\sigma(M^{*}_{z}| M^{\bot})\). The author considers a conjecture due to H. Hedenmalm, which states that if \(M \neq L^{2}_{a}({\mathbb D})\), then \(\text{rank}\,\ell_{\lambda}\) equals the cardinality of \(\sigma(M^{*}_{z}| M^{\bot})\). In this direction the main results are as follows: (1) If \(M\) is a zero based invariant subspace of the Bergman shift, then \(\text{rank}\,\ell^{M}_{\lambda}=\text{card}\,\sigma(M^{*}_{z}| M^{\bot})\). (2) If \(M \in\text{Lat}\,M_{z}\) and \(\text{ind}\,M=1\), then \(\text{card}\,(\sigma(M^{*}_{z}| M^{\bot}) \cap{\mathbb D}) \leq \text{rank}\,\ell_{\lambda} \leq\text{card}\,\sigma(M^{*}_{z}| M^{\bot})\). (3) If \(M\) is a finite zero based invariant subspace of the Bergman shift with \(n\) distinct zeros, then \[ \overline{\lambda}z \ell_{\lambda}(z) = p(\overline{\lambda}, z) \biggl[\prod^{r}_{j=1} (z-A_j)(\overline{\lambda}-\overline{A}_j)\biggr]^{-1}, \] where \(p\) is a symmetric polynomial, \(\text{deg}\,p=n\), \(p(0,z)=0\) for every \(z \in{\mathbb D}\) and (i) if \(0 \in \Lambda, A_i \in{\mathbb C} \setminus \overline{\mathbb D}\), \(i=1,\dots, r\), \(r=n-1\); (ii) if \(0 \not\in \Lambda\), \(A_i\in{\mathbb C}\setminus \overline{\mathbb D}\), \(i=1, \dots, r\), \(r=n\), where \(\Lambda = \{\lambda_i\}_{i=1, \dots, n}\) is a nonempty sequence of distinct points in \({\mathbb D}\).