Lebesgue Decomposition of Non-Commutative Measures

We extend the Lebesgue decomposition of positive measures with respect to Lebesgue measure on the complex unit circle to the non-commutative (NC) multi-variable setting of (positive) NC measures. These are positive linear functionals on a certain self-adjoint subspace of the Cuntz–Toeplitz $C^{\ast }-$algebra, the $C^{\ast }-$algebra of the left creation operators on the full Fock space. This theory is fundamentally connected to the representation theory of the Cuntz and Cuntz–Toeplitz $C^{\ast }-$algebras; any *−representation of the Cuntz–Toeplitz $C^{\ast }-$algebra is obtained (up to unitary equivalence), by applying a Gelfand–Naimark–Segal construction to a positive NC measure. Our approach combines the theory of Lebesgue decomposition of sesquilinear forms in Hilbert space, Lebesgue decomposition of row isometries, free semigroup algebra theory, NC reproducing kernel Hilbert space theory, and NC Hardy space theory.

ON THE ORDER STRUCTURE OF REPRESENTABLE FUNCTIONALS

The main purpose of this paper is to investigate some natural problems regarding the order structure of representable functionals on *-algebras. We describe the extreme points of order intervals, and give a non-trivial sufficient condition to decide whether or not the infimum of two representable functionals exists. To this aim, we offer a suitable approach to the Lebesgue decomposition theory, which is in complete analogy with the one developed by Ando in the context of positive operators. This tight analogy allows to invoke Ando's results to characterize uniqueness of the decomposition, and solve the infimum problem over certain operator algebras.

LEBESGUE DECOMPOSITION FOR REPRESENTABLE FUNCTIONALS ON *-ALGEBRAS

We offer a Lebesgue-type decomposition of a representable functional on a *-algebra into absolutely continuous and singular parts with respect to another. Such a result was proved by Zs. Szűcs due to a general Lebesgue decomposition theorem of S. Hassi, H.S.V. de Snoo, and Z. Sebestyén concerning non-negative Hermitian forms. In this paper, we provide a self-contained proof of Szűcs' result and in addition we prove that the corresponding absolutely continuous parts are absolutely continuous with respect to each other.