English

Complemented ideals of $\ell_\infty$

Functional Analysis 2025-12-02 v1 General Topology Logic

Abstract

Answering questions raised in \cite{Leonetti, Uzcategui} we characterize ideals IP(ω)\mathcal I\subseteq \mathcal P(\omega) such that c0,Ic_{0,\mathcal I} is complemented in \ell_\infty as exactly those ideals for which the space KI=Stone(P(ω)/I)K_{\mathcal I}= \mathsf{Stone}(\mathcal P(\omega)/\mathcal I) is approximable, i.e., the unit ball of the space M(KI)M(K_{\mathcal I}) of signed Radon measures on KIK_\mathcal I is separable in the weak* topology.

Keywords

Cite

@article{arxiv.2512.00230,
  title  = {Complemented ideals of $\ell_\infty$},
  author = {Michael Hrušák and Luis Sáenz},
  journal= {arXiv preprint arXiv:2512.00230},
  year   = {2025}
}
R2 v1 2026-07-01T08:00:23.280Z