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ánszky, Doležal, Vlasǎ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$.

Haar graphical representations of finite groups and an application to poset representations

Regular and semi-regular representations of groups by posets

Asymptotic enumeration of Haar graphical representations

The existence of $m$-Haar graphical representations

Representations of a pair of posets

Automorphism groups of finite posets II

On the Set-Representable Orthomodular Posets that are Point-Distinguishing

The Reverse Representation Problem

Steinberg representations for groups of parahoric types: the special case

The homotopy types of the posets of p-subgroups of a finite group

Realisations of posets and tameness

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

On the representation theory of the symmetry group of the Cantor set

Spherical posets from commuting elements

The Homomorphism Poset of $K_{3,3}$

Discrete homotopy and homology theories for finite posets

Computations with finite index subgroups of $PSL_2(\mathbb Z)$ using Farey Symbols

The infinitesimal Hopf algebra and the poset of planar forests

On Cohen-Macaulay posets of dimension two and permutation graphs

Topological fundamental groupoid. III. Haar systems on the fundamental groupoid

Trees and spectra of Heyting algebras