Spectral synthesis in de Branges spaces (Q2345931)

A system of vectors \(\{x_n\}_{n\in\mathbb N}\) in a separable Hilbert space \(H\) is said to be exact if it is both complete and minimal. Given an exact system there exists a unique biorthogonal system \(\{\tilde x_n\}_{n\in\mathbb N}\) which satisfies the relation \((x_m, \tilde x_n)=\delta_{mn}\). A system \(\{x_n\}_{n\in\mathbb N}\) is said to be a Markushevich basis (or \(M\)-basis) if the system \(\{x_n\}_{n\in\mathbb N}\) is exact and the biorthogonal system \(\{\tilde x_n\}_{n\in\mathbb N}\) is complete. An \(M\)-basis \(\{x_n\}_{n\in\mathbb N}\) is called a strong \(M\)-basis or one says that system \(\{x_n\}\) admits spectral synthesis if \(x\in \overline{\mathrm{span}}\{(x, \tilde x_n) x_n\}\) for any \(x\in H\). In the paper under review, the authors give a complete description of the de Branges spaces \({\mathcal H}(E)\) such that every \(M\)-basis of reproducing kernels is strong. Surprisingly, this property takes place only for two essentially different classes of de Branges spaces: spaces with finite spectral measure and spaces which are isomorphic to Fock-type spaces of entire functions. The first class goes back to de Branges himself, while special cases of the second class appeared in the literature only recently. The authors give a complete characterisation of this second class in terms of the spectral data for \({\mathcal H}(E)\).