Related papers: The Steinhaus property and Haar-null sets

By the Galvin-Mycielski-Solovay theorem, a subset $X$ of the line has Borel's strong measure zero if and only if $M+X\neq\mathbb{R}$ for each meager set $M$. A set $X\subseteq\mathbb{R}$ is meager-additive if $M+X$ is meager for each meager…

Suppose $G\curvearrowright X$ is a Polish group action, $H$ is a Polish group and $G\times X\overset{\psi}\longrightarrow H$ is a cocycle that is continuous in the second variable. If $\psi$ is either Baire measurable or is $\lambda\times…

It is introduced a certain approach for equipment of an arbitrary set of the cardinality of the continuum by structures of Polish groups and two-sided (left or right) invariant Haar measures. By using this approach we answer positively…

It is proved that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group $S_\infty$ is continuous. It is…

Let $G$ be a countably infinite group, and let $\mu$ be a generating probability measure on $G$. We study the space of $\mu$-stationary Borel probability measures on a topological $G$ space, and in particular on $Z^G$, where $Z$ is any…

We show that every probability-measure-preserving action of a countable amenable group G can be tiled, modulo a null set, using finitely many finite subsets of G ("shapes") with prescribed approximate invariance so that the collection of…

We prove that there exists a countable metrizable topological group $G$ such that every countable metrizable group is isomorphic to a quotient of $G$. The completion $H$ of $G$ is a Polish group such that every Polish group is isomorphic to…

In this paper we are interested in the following notions of smallness: a subset $A$ of an abelian Polish group $X$ is called Haar-countable/Haar-finite/Haar-$n$ if there are a Borel hull $B\supseteq A$ and a copy $C$ of $2^\omega$ such that…

It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…

Let $G$ be a topological group and let $\mu$ be the Lebesgue measure on the interval $[0,1]$. We let $L_0(G)$ to be the topological group of all $\mu$-equivalence classes of $\mu$-measurable functions defined on [0,1] with values in $G$,…

We study the question of which Polish groups can be realized as subgroups of the unitary group of a separable infinite-dimensional Hilbert space. We also show that for a separable unital C$^*$-algebra $A$, the identity component…

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such…

Motivated by a Steinhaus-like interior-point property involving the Cameron-Martin space of Gaussian measure theory, we study a group-theoretic analogue, the Steinhaus triple $(H,G,\mu)$, and construct a Steinhaus support, a…

We prove that any meager quasi-analytic subgroup of a topological group $G$ belongs to every $\sigma$-ideal $\mathcal I$ on $G$ possessing the closed $\pm n$-Steinhaus property for some $n\in\mathbb N$. An ideal $\mathcal I$ on a…

Our first motivation was the question: can a countable structure have an automorphism group, which a free uncountable group? This is answered negatively in [Sh:744]. Lecturing in a conference in Rutgers, February 2001, I was asked whether I…

In this paper, we mainly prove that if $H$ is a closed strong subgyrogroup of a strongly topological gyrogroup $G$ and $H$ is neutral, then (1) $G/H$ is biradial if and only if $G/H$ is nested; (2) $G/H$ is metrizable if and only if $G/H$…

Let $G$ and $H$ be locally compact, second countable groups. Assume that $G$ acts in a measure class preserving way on a standard probability space $(X,\mu)$ such that $L^\infty(X,\mu)$ has an invariant mean and that there is a Borel…

Haar null sets were introduced by J.P.R. Christensen in 1972 to extend the notion of sets with zero Haar measure to nonlocally compact Polish groups. In 2013, U.B. Darij defined a categorical version of Haar null sets, which he named Haar…

We prove that no uncountable Polish group can admit a system of generators whose associated length function satisfies the following conditions: (i) if $0 < k < \omega$, then $lg(x) \leq lg(x^k)$; (ii) if $lg(y) < k < \omega$ and $x^k = y$,…

Suppose $G$ is a compact semisimple Lie group, $\mu$ is the normalized Haar measure on $G$, and $A, A^2 \subseteq G$ are measurable. We show that $$\mu(A^2)\geq \min\{1, 2\mu(A)+\eta\mu(A)(1-2\mu(A))\}$$ with the absolute constant $\eta>0$…