REPRESENTATIONS OF IDEALS IN POLISH GROUPS AND IN BANACH SPACES

Abstract

AbstractWe investigate ideals of the form {A⊆ω: Σn∈Axnis unconditionally convergent} where (xn)n∈ωis a sequence in a Polish group or in a Banach space. If an ideal onωcan be seen in this form for some sequence inX, then we say that it is representable inX.After numerous examples we show the following theorems: (1) An ideal is representable in a Polish Abelian group iff it is an analytic P-ideal. (2) An ideal is representable in a Banach space iff it is a nonpathological analytic P-ideal.We focus on the family of ideals representable inc0. We characterize this property via the defining sequence of measures. We prove that the trace of the null ideal, Farah’s ideal, and Tsirelson ideals are not representable inc0, and that a tallFσP-ideal is representable inc0iff it is a summable ideal. Also, we provide an example of a peculiar ideal which is representable inℓ1but not in ℝ.Finally, we summarize some open problems of this topic.