Haar null and non-dominating sets
We study the σ-ideal of Haar null sets on Polish groups. It is shown that on a non-locally compact Polish group with an invariant metric this σ-ideal is closely related, in a precise sense, to the σ-ideal of non-dominating subsets of . Among other consequences, this result implies that the family of closed Haar null sets on a Polish group with an invariant metric is Borel in the Effros Borel structure if, and only if, the group is locally compact. This answers a question of Kechris. We also obtain...