Related papers: The Steinhaus property and Haar-null sets

In this note, we prove that a semigroup $S$ is left amenable if and only if every two nonzero elements of $\ell^1_+(S)$ have a common nonzero right multiple, where $\ell^1_+(S)$ is the positive part of the Banach algebra $\ell^1(S)$, or…

We study Borel homomorphisms $\theta : G\rightarrow H$ for arbitrary locally compact second countable groups $G$ and $H$ for which the measure $$\theta_*(\mu )(\alpha )=\mu (\theta ^{-1}(\alpha ))\quad \text{for } \quad \alpha \subseteq H…

We provide sufficient conditions for the existence of a trace on the essential $\mathrm{C}^\ast$-algebra of a (not necessarily Hausdorff) \'etale groupoid $G$ which extends an invariant measure $\mu$ on the unit space of $G$. In particular,…

All spaces are assumed to be separable and metrizable. Our main result is that the statement "For every space $X$, every closed subset of $X$ has the perfect set property if and only if every analytic subset of $X$ has the perfect set…

The Kestelman-Borwein-Ditor Theorem asserts that a non-negligible subset of $\mathbb{R}$ which is Baire (=has the Baire property, BP) or measurable is shift-compact: it contains some subsequence of any null sequence to within translation by…

A Polish group is surjectively universal if it can be continuously homomorphically mapped onto every Polish group. Making use of a type of new metrics on free groups \cite{DG}, we prove the existence of surjectively universal Polish groups,…

Generic computability has been studied in group theory and we now study it in the context of classical computability theory. A set A of natural numbers is generically computable if there is a partial computable function f whose domain has…

This paper studies Moore's measurable cohomology theory for locally compact groups and Polish modules. An elementary dimension-shifting argument is used to show that all classes in that theory have representatives with considerable extra…

In this paper we investigate the action of Polish groups (not necessary abelian) on an uncountable Polish spaces. We consider two main situations. First, when the orbits given by group action are small and the second when the family of…

Let $H \subseteq G$ be an inclusion of $p$-adic Lie groups. When $H$ is normal or even subnormal in $G$, the Hochschild-Serre spectral sequence implies that any continuous $G$-module whose $H$-cohomology vanishes in all degrees also has…

Let $G$ be a finite group and $A(G)$ its Burnside ring. For $H \subset G$ let $\mathbb{Z}_H$ denote the $A(G)$-module corresponding to the mark homomorphism associated to $H$. When the order of $G$ is square-free we give a complete…

We prove that there exists uncountably many pairwise disjoint open subsets of the Gelfand space of the measure algebra on any locally compact non-discrete abelian group which shows that this space is not separable (in fact, we prove this…

For a Polish group G let cov_G be the minimal number of translates of a fixed closed nowhere dense subset of G required to cover G. For many locally compact G this cardinal is known to be consistently larger than cov(meager) which is the…

We establish several new characterizations of amenable $W^*$- and $C^*$-dynamical systems over arbitrary locally compact groups. In the $W^*$-setting we show that amenability is equivalent to (1) a Reiter property and (2) the existence of a…

For a unimodular totally disconnected locally compact group $G$ we introduce and study an analogue of the Hattori-Stallings rank $\tilde{\rho}(P)\in\mathbf{h}_G$ for a finitely generated projective rational discrete left $\mathbb…

We answer positively a question of Ryzhikov, namely we show that being a relatively weakly mixing extension is a comeager property in the Polish group of measure preserving transformations. We study some related classes of ergodic…

The Minkowski content of a compact set is a fine measure of its geometric scaling. For Lebesgue null sets it measures the decay of the Lebesgue measure of epsilon neighbourhoods of the set. It is well known that self-similar sets,…

We show that if $G$ is an amenable topological group, then the topological group $L^{0}(G)$ of strongly measurable maps from $([0,1],\lambda)$ into $G$ endowed with the topology of convergence in measure is whirly amenable, hence extremely…

We show that under some conditions on a family $\mathcal{A}\subset\bbi$ there exists a subfamily $\mathcal{A}_0\subset\mathcal{A}$ such that $\bigcup \mathcal{A}_0$ is nonmeasurable with respect to a fixed ideal $\bbi$ with Borel base of a…

A locally compact group $G$ is amenable if and only if it has Reiter's property $(P_p)$ for $p=1$ or, equivalently, all $p \in [1,\infty)$, i.e., there is a net $(m_\alpha)_\alpha$ of non-negative norm one functions in $L^p(G)$ such that…