Tkachenko's conjecture on weakly pseudocompact precompact groups

Let GG be a subgroup of a compact group. A space is weakly pseudocompact if it is GδG_\delta-dense in some compact space, meaning that every non-empty GδG_\delta-subset of that compact space intersects it; a space is pseudocompact if and only if it is GδG_\delta-dense in its Stone–Čech compactification βG\beta G. Tkachenko's conjecture. If GG is GδG_\delta-dense in some compact space, then GG is GδG_\delta-dense also in its Stone–Čech compactification βG\beta G. Equivalently, every weakly pseudocompact precompact topological group is pseudocompact. The conjecture asks whether weak pseudocompactness and pseudocompactness coincide for precompact topological groups; the supplied source does not state a resolution.

Sources & referencesView supporting material

Primary source

Alejandro Dorantes-Aldama and Dmitri Shakhmatov, “Completeness and compactness properties in metric spaces, topological groups and function spaces”, arXiv:1603.07459 (2016).

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.