Extreme points in quotients of Hardy spaces

Abstract: In the Hardy spaces $H^1$ and $H^\infty$, there are neat and well-known characterizations of the extreme points of the unit ball. We obtain counterparts of these classical theorems when $H^1$ (resp., $H^\infty$) gets replaced by the quotient space $H^1/E$ (resp., $H^\infty/E$), under certain assumptions on the subspace $E$. In the $H^1$ setting, we also treat the case where the underlying space is taken to be the kernel of a Toeplitz operator.

• The paper establishes that a coset in H¹/E is extreme if and only if its best approximant is unique and an outer function, generalizing classical extreme point results.
• It applies functional-analytic convexity and proximinality arguments to characterize extremal behavior in quotients, including Toeplitz kernels and model subspaces.
• In H∞/E, extremity is linked to the logarithmic integrability condition on the norm-one representative, aligning with duality principles in Hardy spaces.

Extreme Points in Quotients of Hardy Spaces

Introduction

This paper provides a comprehensive analysis of the structure of extreme points of unit balls in a variety of quotient spaces associated with Hardy spaces, primarily $H^1/E$ and $H^\infty/E$ for appropriate closed subspaces $E$. Classical results — such as the characterizations of extreme points in $H^1$ and $H^\infty$ due to de Leeuw and Rudin — are extended to these quotient settings, with attention paid to both the analytic and geometric nuances that arise. The work further generalizes these considerations to Toeplitz kernels and model subspaces, yielding new insights into strong extremity and uniqueness in best approximation problems.

Preliminaries and Classical Context

The classical cases serve as the foundation: the extreme points of the unit ball in $H^1$ correspond to outer functions of unit norm, while those in $H^\infty$ are functions $h$ for which $\log(1-|h|)\notin L^1$. These theorems are well-established, resting on deep connections between analytic structure (notably inner-outer factorizations), boundary behavior, and geometric convexity in function spaces. The paper leverages these connections to develop a framework capable of handling quotient spaces, where the analytic structure becomes entangled with subtleties of best approximation in Banach space theory, in particular the concept of proximinality.

Extreme Points in Quotients of $H^1$

The first principal result establishes that for subspaces $H^\infty/E$0 (annihilators of subsets $H^\infty/E$1 in $H^\infty/E$2, frequently correspond to shift-invariant or inner function-generated subspaces), a coset $H^\infty/E$3 of unit norm in $H^\infty/E$4 is an extreme point of the closed unit ball if and only if $H^\infty/E$5 possesses a unique best approximation in $H^\infty/E$6, and this extremal representative is an outer function. In several concrete cases, notably when $H^\infty/E$7 is a finite-codimensional or shift-invariant subspace, uniqueness of the minimal norm representative is secured automatically.

The methodology couples functional-analytic convexity arguments with the nature of best approximation: for proximinal $H^\infty/E$8, extreme points lift from the quotient to extreme points in the ambient Hardy space via uniqueness and analytic type. Non-uniqueness, or the presence of any inner factor in a “best” representative, precludes extremity. These statements significantly generalize the known results for $H^\infty/E$9 proper, providing a robust geometric and analytic characterization in the quotient context.

Extreme Points in Kernels of Toeplitz Operators

The analysis is further extended to the setting of Toeplitz kernels $E$0 wherein $E$1 for $E$2. Here, the characterization of extreme points relies on the relative primeness of inner factors between $E$3 and $E$4. The main result: a coset $E$5 (where $E$6 is proximinal) is extreme in $E$7 iff the unit-norm best approximant is itself an extreme point in $E$8. The finite dimensionality of $E$9 in the case where $H^1$0 is inner and $H^1$1 is a product with a finite Blaschke ensures applicability via automatic proximinality.

This analysis yields a geometric description of extremal functionals in model subspaces and clarifies the role of inner divisors in the structure of approximation and strong unique extremality.

Extreme Points in Quotients of $H^1$2

The third principal theorem describes extreme points in $H^1$3 when $H^1$4 is weak-$H^1$5 closed and proper. A coset $H^1$6 is extreme in $H^1$7 precisely when it has a unique norm-one representative $H^1$8 such that $H^1$9. The weak-$H^\infty$0 closed condition ensures proximinality by duality, and the proof scheme precisely mirrors the $H^\infty$1 context but leverages the duality structure of $H^\infty$2.

Concrete examples are provided relating to Nevanlinna–Pick-type interpolation, showing that nontrivial interpolants in quotient spaces retain extremity (or not) precisely as dictated by the logarithmic integrability condition on the modulus, aligning with their status in larger $H^\infty$3 settings.

Strong Extremality and Open Questions

The paper concludes by raising the question of strong extreme points in these quotient spaces. Inner functions are known to exhaust the strongly extreme points of $H^\infty$4, and the author conjectures that strong extremity in quotients $H^\infty$5 should correspond to singly-generated, inner, minimal-norm cosets. This direction suggests further connections between interpolation theory, the geometry of Banach spaces of analytic functions, and operator-theoretic invariants.

Implications and Future Directions

The results elucidate how the geometry of Hardy space quotients is governed by deep analytic constraints — uniqueness and type of best approximant, factorization properties, and interpolation-data structure. The explicit characterizations have ramifications for the theory of best approximation, model theory associated with Toeplitz and Hankel operators, and the structure of analytic function spaces as dual spaces.

Future research might further delineate the set of strongly extreme points in quotients, examine the impact of these results on interpolation in weakly closed subspaces, or extend these geometric-analytic characterizations to other spaces of holomorphic functions or to vector-valued analogues. Connections to control theory, prediction, and operator theory remain highly pertinent.

Conclusion

This paper achieves a thorough, precise extension of the classical structure theorems for extreme points in Hardy spaces to a wide class of quotients and subspaces, integrating analytic, algebraic, and geometrical insights. The characterizations unify understanding across different Hardy setting quotients and open multiple directions for further exploration in Banach space geometry, function theory, and operator-theoretic analysis.