Subseries of \(\mathcal I\)-convergent series (Q1754540)

Let \(\mathcal I\) be an ideal of subsets of \(\mathbb N\), \(\mathcal I^*\) the filter of complements to elements of \(\mathcal I\). \(\mathcal I\)-convergence is a reformulation of convergence with respect to the filter \(\mathcal I^*\), namely, a sequence \((s_n)\) of reals is said to be \(\mathcal I\)-convergent to a limit \(s \in \mathbb R\) if, for every \(\varepsilon > 0\), the set \(\{n \in \mathbb N : |s_n - s| > \varepsilon\}\) is an element of \(\mathcal I\). A~series \(\sum_{n=1}^{\infty} x_n\) is said to be \(\mathcal I\)-convergent if the corresponding sequence \((s_n)\) of partial sums \(\mathcal I\)-converges. In [Math. Bohem. 130, No. 2, 177--184 (2005; Zbl 1110.40001)], \textit{J. Červeňanský} et al.\ introduced the following property: an ideal \(\mathcal I\) has property (T) if, for every \(\mathcal I\)-convergent series \( \sum_{n=1}^{\infty}{x}_n\), there exists a set \(A\in \mathcal I^*\) such that \(\sum_{n\in A}x_n\) converges in the usual sense. In the same paper, it was asked whether the only ideal enjoying (T) is the ideal of finite subsets. In the paper under review, it is written that ``the conjecture has been proved false under the continuum hypothesis by Mišík, who constructed an ideal with property (T) in his unpublished work shared in e-mail correspondence.'' After listing some results from an unpublished manuscript by G.\,Grekos, L.\,Mišík and M.\,Ziman (2004), the author demonstrates that, under some additional restrictions, \(F_\sigma\) ideals and matrix summability ideals do not have the property (T). The general questions whether \(F_\sigma\) ideals or matrix summability ideals may possess (T) remain open.