Related papers: Haar meager sets revisited
The simplices and the complexes arsing form the grading of the fundamental (desymmetrized) domain of arithmetical groups and non-arithmetical groups, as well as their extended (symmetrized) ones are described also for oriented manifolds in…
This article provides a concise introduction to the theory of Haar measures on locally compact Hausdorff groups. We cover the necessary preliminaries on topological groups and measure theory, the Haar correspondence, unimodularity and Haar…
We investigate ideals of the form $\{A \subseteq \omega\colon \sum_{n\in A} x_n$ is unconditionally convergent $\}$, where $(x_n)_{n\in\omega}$ is a sequence in a Polish group or in a Banach space. If an ideal on $\omega$ can be seen in…
Let $\Omega \subset \mathbb{R}^n $ be an open set, and let $\mathcal{E}(\Omega)$ be the ring of infinitely differentiable functions on $\Omega$. For an ideal $I \subset \mathcal{E}(\Omega)$, we denote by $Z(I)$ its zero set. A classical…
We study pairs of subsets $A, B$ of a compact abelian group $G$ where the sumset $A+B:=\{a+b: a\in A, b\in B\}$ is small. Let $m$ and $m_{*}$ be Haar measure and inner Haar measure on $G$, respectively. Given $\varepsilon>0$, we classify…
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…
Gao and Jackson showed that any countable Borel equivalence relation (CBER) induced by a countable abelian Polish group is hyperfinite. This prompted Hjorth to ask if this is in fact true for all CBERs classifiable by (uncountable) abelian…
We show that, for suitable enumerations, the multivariate Haar system is a Schauder basis in the classical Sobolev spaces on $\mathbb R^d$ with integrability $1<p<\infty$ and smoothness $1/p-1<s<1/p$. This complements earlier work by the…
This note presents some equalities in law for $Z_N:=\det(\Id-G)$, where $G$ is an element of a subgroup of the set of unitary matrices of size $N$, endowed with its unique probability Haar measure. Indeed, under some general conditions,…
The Ghahramani-Lau conjecture is established; in other words, the measure algebra of every locally compact group is strongly Arens irregular. To this end, we introduce and study certain new classes of measures (called approximately…
We study the descriptive complexity of sets of points defined by placing restrictions on statistical behaviour of their orbits in dynamical systems on Polish spaces. A particular examples of such sets are the set of generic points of a…
A classical theorem due to Mycielski states that an equivalence relation $E$ having the Baire property and meager equivalence classes must have a perfect set of pairwise inequivalent elements. We consider equivalence relations with…
An uncountable $\aleph_1$-free group cannot admit a Polish group topology but an uncountable $\aleph_1$-free abelian group can, as witnessed, for example, by the Baer-Specker group $\mathbb{Z}^\omega$; more strongly, $\mathbb{Z}^\omega$ is…
In this paper we extend the notion of digraphical regular representations in the context of Haar digraphs. Given a group $G$, a {\em Haar digraph} $\Gamma$ over $G$ is a bipartite digraph having a bipartition $\{X,Y\}$ such that $G$ is a…
We study minimal sets on continua $X$ with a dense free interval $J$ and a locally connected remainder. This class of continua includes important spaces such as the topologist's sine curve or the Warsaw circle. In the case when minimal sets…
We provide new techniques to construct sets of reals without perfect subsets and with the Hurewicz or Menger covering properties. In particular, we show that if the Continuum Hypothesis holds, then there are such sets which can be mapped…
If ${\mathcal C}\simeq 2^{\mathbb N}$ denotes the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from ${\mathcal C}$ into $[0,1]$ sends Haar measure to Lebesgue measure on the…
Assume that there is no quasi-measurable cardinal smaller than $2^\omega$. ($\kappa$ is quasi measurable if there exists $\kappa $-additive ideal $\ci $ of subsets of $\kappa $ such that the Boolean algebra $P(\kappa)/\ci$ satisfies c.c.c.)…
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)…
A detailed study of the semigroup $C^\ast$-algebra is presented. This $C^\ast$-algebra appears as a "deformation" of the continuous functions algebra on a compact abelian group. Considering semigroup $C^\ast$-algebras in this framework we…