English

$F_\sigma$-ideals, colorings, and representation in Banach spaces

Logic 2025-01-28 v1 Combinatorics Functional Analysis

Abstract

In recent works by L. Drewnowski and I. Labuda and J. Mart\'inez et al., non-pathological analytic P P -ideals and non-pathological Fσ F_\sigma -ideals have been characterized and studied in terms of their representations by a sequence (xn)n (x_n)_n in a Banach space, as C((xn)n) \mathcal{C}((x_n)_n) and B((xn)n) \mathcal{B}((x_n)_n) . The ideal C((xn)n) \mathcal{C}((x_n)_n) consists of sets where the series nAxn \sum_{n \in A} x_n is unconditionally convergent, while B((xn)n) \mathcal{B}((x_n)_n) involves weak unconditional convergence. In this paper, we further study these representations and provide effective descriptions of B \mathcal{B} - and C \mathcal{C} -ideals in the universal spaces C([0,1]) C([0,1]) and C(2N) C(2^{\mathbb{N}}) , addressing a question posed by Borodulin-Nadzieja et al. A key aspect of our study is the role of the space c0 c_0 in these representations. We focus particularly on B \mathcal{B} -representations in spaces containing many copies of c0 c_0 , such as c0 c_0 -saturated spaces of continuous functions. A central tool in our analysis is the concept of c c -coloring ideals, which arise from homogeneous sets of continuous colorings. These ideals, generated by homogeneous sets of 2-colorings, exhibit a rich combinatorial structure. Among our results, we prove that for d3 d \geq 3 , the random d d -homogeneous ideal is pathological, we construct hereditarily non-pathological universal c c -coloring ideals, and we show that every B \mathcal{B} -ideal represented in C(K) C(K) , for K K countable, contains a c c -coloring ideal. Furthermore, by leveraging c c -coloring ideals, we provide examples of B \mathcal{B} -ideals that are not B \mathcal{B} -representable in c0 c_0 . These findings highlight the interplay between combinatorial properties of ideals and their representations in Banach spaces.

Keywords

Cite

@article{arxiv.2501.15643,
  title  = {$F_\sigma$-ideals, colorings, and representation in Banach spaces},
  author = {Jordi Lopez-Abad and Víctor Olmos-Prieto and Carlos Uzcátegui-Aylwin},
  journal= {arXiv preprint arXiv:2501.15643},
  year   = {2025}
}