Representation conjecture for dense weakly selective ideals

About 16 years old · traced to

Let JJ be a dense \Fσδ\F_{\sigma\delta} weakly selective ideal on ω\omega. A representation of JJ consists of a Polish space XX with a countable base O\mathcal{O} and a σ\sigma-ideal II on XX such that, under an identification of ω\omega with O\mathcal{O}, the ideal JJ becomes JIJ_I.

Representation conjecture. If JJ is a dense Fσδ\mathbf{F}_{\sigma\delta} weakly selective ideal on ω\omega, then there exists a Polish space with a countable base O\mathcal{O} and a σ\sigma-ideal II on XX such that under some identification of ω\omega and O\mathcal{O} the ideal JJ becomes JIJ_I.

The conjecture asks for an internal characterization of ideals representable as JIJ_I for a σ\sigma-ideal on a Polish space. It is motivated by Hrušák's Category Dichotomy, which gives such a representation-related embedding result for Borel weakly selective ideals via the ideal of nowhere dense sets.

References

Primary source

Marcin Sabok and Jindrich Zapletal, “Forcing properties of ideals of closed sets”, arXiv:1001.2819 (2010).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.