Related papers: Naively Haar null sets in Polish groups

Let $X = \left\{P \in [0,1]^{\bf N} : \left(\forall \nu \in {\bf N} \right) \left(P \left(\{\nu \} \right) > 0 \right) \wedge \sum\limits_{\nu = 0}^{\infty} P \left(\{\nu \} \right) = 1 \right\} $ be the Polish space of probability measures…

We show that every non-Haar-null analytic subset of $\mathbb{Z}^\omega$ contains a non-Haar-null closed subset. Moreover, we also prove that the codes of Haar-null analytic subsets, and, consequently, closed Haar-null sets in the Effros…

We show that every abelian Polish group is the topological factor-group of a closed subgroup of the full unitary group of a separable Hilbert space with the strong operator topology. It follows that all orbit equivalence relations induced…

We show that for a $\sigma $-ideal $\ci$ with a Borel base of subsets of an uncountable Polish space, if $\ca$ is (in several senses) a "regular" family of subsets from $\ci $ then there is a subfamily of $\ca$ whose union is completely…

Given any amenable group $G$ (with a left Haar measure $|\cdot|$ or $dg$), we can select out a \textit{F{\o}lner subnet} $\{F_\theta,\theta\in\Theta\}$ from any left F{\o}lner net in $G$, which is \textit{$L^\infty$-admissible}, namely, for…

We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be…

The following will be shown: Let $I$ be a $\sigma$-ideal on a Polish space $X$ with the property that the associated forcing of $I^+$ Borel subsets ordered by $\subseteq$ is a proper forcing. Let E be an analytic or coanalytic equivalence…

A set $\mathcal{A}\subset C[0,1]$ is \emph{shy} or \emph{Haar null } (in the sense of Christensen) if there exists a Borel set $\mathcal{B}\subset C[0,1]$ and a Borel probability measure $\mu$ on $C[0,1]$ such that $\mathcal{A}\subset…

Given a space $X$ we investigate the descriptive complexity class $\G_X$ of the set $\FF_0(X)$ of all its closed zero-dimensional subsets, viewed as a subset of the hyperspace $\FF(X)$ of all closed subsets of $X$. We prove that $\max \{…

A topological space is defined to be banalytic (resp. analytic) if it is the image of a Polish space under a Borel (resp. continuous) map. A regular topological space is analytic if and only if it is banalytic and cosmic. Each (regular)…

Let $X$ be a Polish space. We prove that the generic compact set $K\subseteq X$ (in the sense of Baire category) is either finite or there is a continuous gauge function $h$ such that $0<\mathcal{H}^{h}(K)<\infty$, where $\mathcal{H}^h$…

We show that recurrence conditions do not yield invariant Borel probability measures in the descriptive set-theoretic milieu, in the strong sense that if a Borel action of a locally compact Polish group on a standard Borel space satisfies…

We observe that a Polish group $G$ is amenable if and only if every continuous action of $G$ on the Hilbert cube admits an invariant probability measure. This generalizes a result of Bogatyi and Fedorchuk. We also show that actions on the…

We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving…

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…

It is a long-standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question…

L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all…

Several recent articles in operator algebras make a nontrivial use of the theory of measurable fields of von Neumann algebras $(M_x)_{x \in X}$ and related structures. This includes the associated field $(\text{Aut}\ M_x)_{x \in X}$ of…

In an earlier paper, we introduced the following pre-order on the subgroups of a given Polish group: if $G$ is a Polish group and $H,L \subseteq G$ are subgroups, we say $H$ is {\em homomorphism reducible} to $L$ iff there is a continuous…

In a compact abelian group $X$, a characterized subgroup is a subgroup $H$ such that there exists a sequence of characters $\vs=(v_n)$ of $X$ such that $H=\{x\in X:v_n(x)\to 0 \text{ in } \T\}$. Gabriyelyan proved for $X=\T$, that…