Lebesgue decompositions and the Gleason--Whitney property for operator algebras

TL;DR

This paper explores Lebesgue decompositions and the Gleason--Whitney property in operator algebras, revealing their existence, limitations, and connections to extension properties within dual spaces.

Contribution

It introduces the concept of Lebesgue projections in the bidual of operator algebras and links their existence to extension properties akin to classical theorems.

Findings

Lebesgue projections detect the weak-* continuous part of dual spaces.

The Gleason--Whitney property often fails in concrete function algebras.

The classical inclusion $H^ \u2286 L^$ does not exhibit typical behaviour.

Abstract

Broadly speaking, this paper is concerned with dual spaces of operator algebras. More precisely, we investigate the existence of what we call Lebesgue projections: central projections in the bidual of an operator algebra that detect the weak-$*$ continuous part of the dual space. Associated to any such projection is a Lebesgue decomposition of the dual space. We are particularly interested in Lebesgue projections in the context of inclusions of operator algebras. We show how their presence is intimately connected with an extension property for the inclusion reminiscent of a classical theorem of Gleason and Whitney. We illustrate that this Gleason--Whitney property fails in many examples of concrete operator algebras of functions, which partly explains why compatible Lebesgue decompositions are scarce, and highlights that the classical inclusion $H^\infty\subset L^\infty$ on the circle does not display generic behaviour.