On the Laczkovich-Komjáth property of sigma-ideals (Q1044862)

Let \(X\) be an uncountable Polish space, and let \((A_n : n \in {\mathbb{N}})\) be a sequence of subsets of \(X\). For infinite \(H \subseteq {\mathbb{N}}\) let \(\limsup_{n \in H} A_n = \bigcap_{n \in H} \bigcup_{k \in H, k \geq n} A_k\). Say that an ideal \({\mathcal{I}}\) of subsets of \(X\) has the Laczkovich-Komjáth property (LK) if for every sequence \((A_n : n \in {\mathbb{N}})\) of analytic subsets of \(X\) with \(\limsup_{n \in H} A_n \notin {\mathcal I}\) for every infinite \(H \subseteq {\mathbb{N}}\), there is an infinite \(G \subseteq {\mathbb{N}}\) such that \(\bigcap_{n\in G} A_n\) does not belong to \({\mathcal{I}}\). Extending an earlier result of Laczkovich, \textit{P. Komjáth} proved [Anal. Math. 10, 283--293 (1984; Zbl 0569.03021)] that the ideal of countable subsets of \(X\) has property (LK). On the other hand, the \(\sigma\)-ideals of meager and null sets do not have property (LK). Generalizing Komjáth's result, the authors prove that if \(E\) is an \(F_\sigma\) equivalence relation on \(X\) with uncountably many classes, then the \(\sigma\)-ideal \({\mathcal I}_E\) generated by the classes has property (LK). In fact they show that if \((A_n)\) is a sequence of analytic subsets of \(X\) with \(\limsup_{n \in H} A_n \notin {\mathcal I}_E\) for every infinite \(H \subseteq {\mathbb{N}}\), then there are an infinite \(G \subseteq {\mathbb{N}}\) and a perfect \(P \subset \bigcap_{n\in G} A_n\) which meets each class in at most one point. They also introduce a (stronger) parametrized version of property (LK) and prove that \({\mathcal I}_E\) even has this property. Finally they discuss invariance of property (LK) under operations like products of ideals and intersection of ideals. For example, they show that the intersection of less than \({\mathfrak{h}}\) many \(\sigma\)-ideals with property (LK) has property (LK). Here \({\mathfrak{h}}\) is the distributivity number.