Representation conjecture for dense weakly selective ideals

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.

Sources & referencesView supporting material

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.