[Paper Review] Lebesgue decomposition of functionals and unique preduals for commutants modulo normed ideals

Dan-Virgil Voiculescu|arXiv (Cornell University)|Aug 25, 2016

Advanced Banach Space Theory12 references3 citations

TL;DR

This paper establishes a Lebesgue decomposition for continuous functionals on the commutant modulo a reflexive normed ideal of an n-tuple of hermitian operators, under the condition of quasicentral approximate units. It further proves that the predual of this commutant algebra is uniquely determined up to isometric isomorphism, extending classical results on predual uniqueness to this non-commutative perturbation setting.

ABSTRACT

We prove an analogue of the Lebesgue decomposition for continuous functionals on the commutant modulo a reflexive normed ideal of an n-tuple of hermitian operators for which there are quasicentral approximate units relative to the normed ideal. Using results of Godefroy-Talagrand and Pfitzner we derive from this strong uniqueness of the predual of such a commutant modulo a normed ideal.

Motivation & Objective

• To establish a Lebesgue-type decomposition of continuous functionals on the commutant of an n-tuple of hermitian operators modulo a reflexive normed ideal.
• To investigate the structure of the predual of such commutant algebras, particularly its uniqueness.
• To extend classical results on predual uniqueness—previously known for von Neumann algebras—to this broader class of operator algebras arising from normed ideal perturbations.
• To leverage duality theory and geometric Banach space properties (e.g., L-embedded spaces) to prove strong uniqueness of the predual.

Proposed method

• Utilizes the Lebesgue decomposition theorem for functionals on Banach algebras, adapted to the commutant modulo a normed ideal.
• Applies the theory of quasicentral approximate units relative to the normed ideal to ensure the existence of suitable approximating finite-rank projections.
• Employs duality between the predual and the commutant algebra via the trace pairing, using the dual norming function $\Phi^*$ for $\mathcal{G}_\Phi^{(0)}$.
• Establishes that the ultraweak and singular parts of a functional are orthogonal in the dual norm, enabling the decomposition.
• Uses the $L$-embedded property of the predual space to invoke results from Godefroy–Talagrand and Pfitzner on strong predual uniqueness.
• Applies the norm $\||\cdot\||_M$ equivalent to $\||\cdot\||$ to ensure separability and compatibility with the duality structure.

Experimental results

Research questions

• RQ1 Can a Lebesgue decomposition be established for continuous functionals on the commutant of an n-tuple of hermitian operators modulo a reflexive normed ideal?
• RQ2 Under what conditions is the predual of such a commutant algebra uniquely determined up to isometric isomorphism?
• RQ3 To what extent do the structural properties of the Calkin algebra and $\mathcal{B}(\mathcal{H})$'s predual extend to commutants modulo normed ideals?
• RQ4 How does the $L$-embedded structure of the predual relate to the uniqueness of preduals in this non-commutative setting?
• RQ5 What role do mononorming norming functions $\Phi$ and $\Phi^*$ play in ensuring the reflexivity and duality properties required for the results?

Key findings

• A Lebesgue decomposition exists for continuous functionals on $\mathcal{E}(\tau;\mathcal{G}_\Phi^{(0)})$, splitting each functional into an ultraweakly continuous part and a singular part.
• The decomposition satisfies $\|\varphi\|_M = \|\varphi_a\|_M + \|\varphi_s\|_M$, with the ultraweak part $\varphi_a$ lying in the predual $\mathcal{E}_*(\tau;\Phi)$.
• The predual $\mathcal{E}_*(\tau;\Phi)$ is $L$-embedded and separable under the assumptions that $k_\Phi(\tau) = 0$ and $\Phi, \Phi^*$ are mononorming.
• The predual $\mathcal{E}_*(\tau;\Phi)$ is isometrically unique for the dual algebra $\mathcal{E}(\tau;\mathcal{G}_\Phi^{(0)})$ under the norms $\||\cdot\||$ and $\||\cdot\||_M$.
• By Pfitzner’s theorem, the $L$-embedded structure implies that any other predual of $\mathcal{E}(\tau;\mathcal{G}_\Phi^{(0)})$ must be isometric to $\mathcal{E}_*(\tau;\Phi)$, establishing strong uniqueness.
• The singular functionals on $\mathcal{E}(\tau;\mathcal{G}_\Phi^{(0)})$ are precisely those that factor through the $C^*$-algebra $\mathcal{E}/{\mathcal{K}}(\tau;\mathcal{G}_\Phi^{(0)})$, and their norms coincide with the quotient algebra norm.