Haar-$\mathcal I$ sets: looking at small sets in Polish groups through compact glasses

TL;DR

This paper introduces and studies Haar-$\\mathcal I$ sets in Polish groups, generalizing existing notions of small sets, and explores their properties, examples, and Borel hulls.

Contribution

It generalizes the concepts of Haar-null and Haar-meager sets to Haar-$\mathcal I$ sets for various ideals, providing new results and examples.

Findings

Established properties of Haar-$\mathcal I$ sets in Polish groups.

Constructed examples for many ideals $\mathcal I$.

Generalized Borel hull results for Haar-$\mathcal I$ sets.

Abstract

Generalizing Christensen's notion of a Haar-null set and Darji's notion of a Haar-meager set, we introduce and study the notion of a Haar-$\mathcal I$ set in a Polish group. Here $\mathcal I$ is an ideal of subsets of some compact metrizable space $K$. A Borel subset $B\subset X$ of a Polish group $X$ is called Haar-$\mathcal I$ if there exists a continuous map $f:K\to X$ such that $f^{-1}(B+x)\in\mathcal I$ for all $x\in X$. Moreover, $B$ is generically Haar-$\mathcal I$ if the set of witness functions $\{f\in C(K,X):\forall x\in X\;\;f^{-1}(B+x)\in\mathcal I\}$ is comeager in the function space $C(K,X)$. We study (generically) Haar-$\mathcal I$ sets in Polish groups for many concrete and abstract ideals $\mathcal I$, and construct the corresponding distinguishing examples. We prove some results on Borel hull of Haar-$\mathcal I$ sets, generalizing results of Solecki, Elekes, Vidny\'anszky, Dole\v{z}al, Vlas\v{a}k on Borel hulls of Haar-null and Haar-meager sets. Also we establish various Steinhaus properties of the families of (generically) Haar-$\mathcal I$ sets in Polish groups for various ideals $\mathcal I$.