Beurling-type representation of invariant subspaces in reproducing kernel Hilbert spaces

Abstract

By Beurling's theorem, the orthogonal projection onto a multiplier invariant subspace M of the Hardy space H^{2}(mathbb{D}) over the complex unit disk can be represented as P_{M}=M_{phi}M_{phi}^{*}, where phi is a suitable inner function. This result essentially remains true for arbitrary Nevanlinna-Pick spaces but fails in more general settings such as the Bergman space. We therefore introduce the notion of Beurling decomposability of subspaces: An invariant subspace M of a reproducing kernel space mathcal{H} is called Beurling decomposable if there exist (operator-valued) multipliers phi_{1}, phi_{2} such that P_{M}=M_{phi_{1}}M_{phi_{1}}^{*}-M_{phi_{2}}M_{phi_{2}}^{*} and M=mbox{ran}M_{phi_{1}}. Our aim is to characterize Beurling-decomposable subspaces by means of the core function and the core operator. More precisely, an invariant subspace M of mathcal{H} is Beurling decomposable precisely if its core function induces a completely bounded Schur multiplication on B(mathcal{H}), defined in an appropriate way. These Schur multiplications turn out to be left(mathcal{M}(mathcal{H}),overline{mathcal{M}(mathcal{H})}^{op}right)-module homomorphisms on B(mathcal{H}) (where mathcal{M}(mathcal{H}) denotes the multiplier algebra of mathcal{H}). This allows us, in formal analogy to the case of classical Schur multipliers and to the study of multipliers of the Fourier algebra A(G), to make use of the representation theory for completely bounded module homomorphisms. As an application, we show that, for the standard reproducing kernel Hilbert spaces over bounded symmetric domains, every finite-codimensional submodule M is Beurling decomposable and, in many concrete situations, can be represented as M=sum_{i=1}^{r}p_{i}mathcal{H} with suitable polynomials p_{i}. We thus extend well-known results of Ahern and Clark, Axler and Bourdon and Guo. Furthermore, we prove that, in vector-valued Hardy spaces over bounded symmetric domains, defect functions of Beurling decomposable subspaces have boundary values almost everywhere on the Shilov boundary of D and, moreover, that these boundary values are projections of constant rank. This is a complete generalization of results of Guo and of Greene, Richter and Sundberg. Finally, we characterize the Beurling decomposable subspaces of the Bergman space L_{a}^{2}(mathbb{D}). As a byproduct of the techiques developed in this paper, we obtain a new proof of the ';Wandering Subspace Theorem'; for the Bergman space.

Eine mögliche Formulierung des Satzes von Beurling für den Hardyraum H^{2}(mathbb{D}) besagt, dass die Orthogonalprojektion P_{M} auf jeden invarianten Teilraum M von H^{2}(mathbb{D}) vermöge eines geeigneten Multiplikationsoperators M_{phi} als P_{M}=M_{phi}M_{phi}^{*} faktorisiert werden kann. Läßt man an dieser Stelle vektorwertige Multiplier phi zu, so charakterisiert diese Faktorisierungseigenschaft genau die Klasse der Nevanlinna-Pick-Räume. In der vorliegenden Arbeit werden allgemeiner invariante Teilräume M funktionaler Hilberträume untersucht, für die mit geeigneten operatorwertigen Multipliern P_{M}=M_{phi_{1}}M_{phi_{1}}^{*}-M_{phi_{2}}M_{phi_{2}}^{*} und zusätzlich M=mbox{ran}M_{phi_{1}} gilt (die sogenannten Beurling-zerlegbaren Teilräume). Es stellt sich heraus, dass im allgemeinen zwar nicht alle invarianten Teilräume Beurling-zerlegbar sind, aber in den meisten praktischen Fällen alle endlich kodimensionalen Teilräume Beurling-zerlegbar sind. Dieses Ergebnis führt in sehr allgemeinen Situationen zu einer Lösung des Gleason-Problems und zu Verallgemeinerungen von bekannten Resultaten von Guo, von Ahern und Clark und von Axler und Bourdon. Ein weiteres Hauptresultat dieser Arbeit besagt, dass über die von Guo betrachtete ';core function'; ein enger Zusammenhang zwischen Beurling-zerlegbaren Teilräumen und einer verallgemeinerten Form von Schur-Multipliern besteht. Das Konzept der Beurling-Zerlegbarkeit ermöglicht es uns außerdem, Resultate von Guo und von Greene, Richter und Sundberg über das Randwertverhalten von ';defect functions'; in Hardyräumen zu verallgemeinern. Abschließend wird das Phänomen der Beurling-Zerlegbarkeit in der Situation des Bergmanraumes L_{a}^{2}(mathbb{D}) diskutiert. Die im Verlauf der Arbeit entwickelten Techniken führen zu einem neuen und elementaren Beweis des von Aleman, Richter und Sundberg bewiesenen ';Wandering Subspace';-Theorems für den Bergmanraum.