Conditional expectation and the Bergman projection

Abstract

For any σ-algebra of measurable subsets of the unit disk generated by a finite Blaschke product, we prove that the associated conditional expectation operator commutes with the Bergman projection operator if and only if the σ-algebra is generated by a monomial. In the process, a formula for the conditional expectation operator (under certain assumptions) is obtained. When compared with earlier results of A.B. Aleksandrov concerning conditional expectation associated with σ-algebras of measurable subsets of the circle, our results exhibit a stark contrast between the way conditional expectation operators act in the Bergman and Hardy space settings.