Related papers: Haar-positive closed subsets of Haar-positive anal…

We show that for every $2\le \xi<\omega_1$ there exists a Haar null set in $\mathbb{Z}^\omega$ that is the difference of two $\mathbf{\Pi}^0_\xi$ sets but not contained in any $\mathbf{\Pi}^0_\xi$ Haar null set. In particular, there exists…

Let $G$ be an abelian Polish group. We show that there is a strongly Haar meager set in $G$ without any $F_{\sigma}$ Haar meager hull (and that this still remains true if we replace $F_{\sigma}$ by any other class of the Borel hierarchy).…

A subset $X$ of a Polish group $G$ is called \emph{Haar null} if there exists a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that $\mu(gBh)=0$ for every $g,h \in G$. We prove that there exists a set $X \subset…

Let $X$ be the countable product of Abelian locally compact Polish groups and $A,B\subset X$ be two Borel sets, which are not Haar-null in $X$. We prove that the sum-set $A+B:=\{a+b:a\in A,\;\;b\in B\}$ is Haar-open in the sense that for…

Following Darji, we say that a Borel subset $B$ of an abelian Polish group $G$ is Haar meager if there is a compact metric space $K$ and a continuous function $f : K \to G$ such that the preimage of the translate, $f^{-1}(B+g)$ is meager in…

Let $G$ be an abelian Polish group, e.g. a separable Banach space. A subset $X \subset G$ is called Haar null (in the sense of Christensen) if there exists a Borel set $B \supset X$ and a Borel probability measure $\mu$ on $G$ such that…

We prove that if an analytic subset $A$ of a linear metric space $X$ is not contained in a $\sigma Z_\omega$-subset of $X$ then for every Polish convex set $K$ with dense affine hull in $X$ the sum $A+K$ is non-meager in $X$ and the sets…

We prove that the countable product of lines contains a Borel linear subspace $L\ne\mathbb R^\omega$ that cannot be covered by countably many closed Haar-meager sets. This example is applied to studying the interplay between various classes…

Let \(G\) be a non-discrete, locally compact group with Haar measure \(m\). We prove that there exists a compact set \(K \subset G\) with \(m(K)=0\) such that \(KK^{-1}\) contains a neighborhood of the identity. Moreover, such a set may be…

Answering a question of Hru\v{s}\'ak, we show that every analytic tall ideal on $\omega$ contains an $F_\sigma$ tall ideal. We also give an example of an $F_\sigma$ tall ideal without a Borel selector.

In $\mathbb{R}^d$, a closed, convex set has zero Lebesgue measure if and only its interior is empty. More generally, in separable, reflexive Banach spaces, closed and convex sets are Haar null if and only if their interior is empty. We…

We give an affirmative answer to the following question: Is any Borel subset of a Cantor set $\textbf{ C}$ a sum of a countable number of pairwise disjoint $h$-homogeneous subspaces that are closed in $X$? It follows that every Borel set $X…

We first show that a continuous function f is nonnegative on a closed set $K\subseteq R^n$ if and only if (countably many) moment matrices of some signed measure $d\nu =fd\mu$ with support equal to K, are all positive semidefinite (if $K$…

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…

We show that the set of codes for Ramsey positive analytic sets is $\mathbf{\Sigma}^1_2$-complete. This is a one projective-step higher analogue of the Hurewicz theorem saying that the set of codes for uncountable analytic sets is…

In the present article we investigate Darji's notion of Haar meager sets from several directions. We consider alternative definitions and show that some of them are equivalent to the original one, while others fail to produce interesting…

This paper answers three questions posed by the first author. In Theorem 2.6 we show that the family of strong measure zero subsets of {}^{omega_1}2 is 2^{aleph_1}-additive under GMA and CH. In Theorem 3.1 we prove that the generalized…

We prove that if $X$ is a Polish space and $F$ is a face of $P(X)$ with the Baire property, then $F$ is either a meager or a co-meager subset of $P(X)$. As a consequence we show that for every abelian Polish group $X$ and every analytic…

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…

Answering a question of Elekes and Vidny\'anszky, we construct a Polish meta-abelian group $H$ and a subgroup $F\subset H$, which is a Haar null $F_\sigma$-set in $H$ that cannot be enlarged to a Haar null $G_\delta$-set.