Kernels of operators on Banach spaces induced by almost disjoint families

Abstract

Let~$\mathcal{A}$ be an almost disjoint family of subsets of an infinite set~$Γ$, and denote by~$X_{\mathcal{A}}$ the closed subspace of~$\ell_\infty(Γ)$ spanned by the indicator functions of intersections of finitely many sets in~$\mathcal{A}$. We show that if~$\mathcal{A}$ has cardinality greater than~$Γ$, then the closed subspace of~$X_{\mathcal{A}}$ spanned by the indicator functions of sets of the form $\bigcap_{j=1}^{n+1}A_j$, where $n\in\N$ and $A_1,\ldots,A_{n+1}\in\mathcal{A}$ are distinct, cannot be the kernel of any bounded operator \mbox{$X_{\mathcal{A}}\rightarrow \ell_{\infty}(Γ)$}. As a consequence, we deduce that the subspace \[ \bigl\{ x\in \ell_{\infty}(Γ) : \text{the set}\ \{γ\in Γ: \lvert x(γ)\rvert > \varepsilon \}\ \text{has cardinality smaller than}\ Γ \text{for every}\ \varepsilon>0\bigr\} \] of~$\ell_\infty(Γ)$ is not the kernel of any bounded operator on~$\ell_\infty(Γ)$; this generalises results of Kalton and of Pełczyński and Sudakov. The situation is more complex for the Banach space~$\ell_\infty^c(Γ)$ of countably supported, bounded functions defined on an uncountable set~$Γ$. We show that it is undecidable in \textsf{ZFC} whether every bounded operator on~$\ell_\infty^c(ω_1)$ which vanishes on~$c_0(ω_1)$ must vanish on a subspace of the form~$\ell_\infty^c(A)$ for some uncountable subset~$A$ of~$ω_1$.