Strongly exposed points in the ball of the Bergman space (Q1780974)

In Banach space theory one often seeks to determine the geometry of the unit ball of a given Banach space. A common way to distinguish ``round'' and ``flat'' parts of the boundary of the unit ball is through extreme and non-extreme points. Among the extreme points, or ``round'' parts of the boundary, further refinements can be made, for example exposed and strongly exposed points. In this paper, the authors study these sets for the (unweighted) Bergman space \(A^1\) of the unit disc \(\mathbb D\subset\mathbb C\). These questions are inspired by and can be stated in the context of Hardy spaces of the unit ball in \(\mathbb C^n\). However, the authors attempt to frame them within the theory of Bergman spaces. The authors investigate which boundary points in the closed unit ball of the Bergman space \(A^1\) are strongly exposed. This requires study of the Bergman projection and its kernel, the annihilator of the Bergman space. The main result identifies a large class of strongly exposed points, which includes all normalized polynomials. The authors show that all polynomials in the boundary of the unit ball are strongly exposed. The authors also exhibit exposed points which are not strongly exposed. In the process, the authors find opportunity to study the subspace \((A^1)^\perp+ C({\overline{\mathbb D}})\) of \(L^\infty(\mathbb D)\), which is the analog of \(H^\infty + C\subset L^\infty(\mathbb T)\) \((\mathbb T =\partial\mathbb D)\). As is \(H^\infty + C\), the space \((A^1)^\perp+ C(\mathbb D)\) is closed, but contrary to \(H^\infty+ C\) it turns out not to be an algebra. However, it is a \(C\)-module.