Quantifying (non-)weak compactness of operators on $AL$- and $C(K)$-spaces
Antonio Acuaviva, Amir Bahman Nasseri
TL;DR
The paper develops a unified quantitative framework for non-weakly compact operators on AL- and C(K)-spaces by establishing best weakly compact approximants, relating the weak essential norm to localized obstructions on finite-measure subsets, and proving a general factorization through $oldsymbol{ m ell}_1$ (and dual through $c_0$ or $oldsymbol{ m eta b N}$) that yields a unique algebra norm on the weak Calkin algebra. The method hinges on decomposing operators into integral and singular parts, leveraging Weis's representations, lattice-isomorphism transport, and rich families to extend finite-measure results to strictly localizable spaces. Consequently, the work provides dual results for $C(K)$-spaces (via extremally disconnected $L$) and resolves questions about equivalences among weak-noncompactness measures (weak essential norm, residuum, and De Blasi measure) in key cases, including $T: L_ olinebreak_ olinebreakinfty[0,1] o L_ olinebreak_ olinebreakinfty[0,1]$. It also clarifies when a quantitative factorization is possible and when it fails, clarifying structural properties of AL- and C(K)-spaces and their weak Calkin algebras with significant implications for operator ideals and norm topology.
Abstract
We study the representation of non-weakly compact operators between $AL$-spaces. In this setting, we show that every operator admits a best approximant in the ideal of weakly compact operators. Using duality arguments, we extend this result to operators between $C(L)$-spaces where $L$ is extremally disconnected. We also characterize the weak essential norm for operators between $AL$-spaces in terms of factorizations of the identity on $\ell_1$. As a consequence, we deduce that the weak Calkin algebra $\mathscr{B}(E)/\mathscr{W}(E)$ admits a unique algebra norm for every $AL$-space $E$. By duality, similar results are obtained for $C(K)$-spaces. In particular, we prove that for operators $T: L_{\infty}[0,1] \to L_{\infty}[0,1]$ the weak essential norm, the residuum norm, and the De Blasi measure of weak compactness coincide, answering a question of González, Saksman and Tylli.
