Related papers: Haar-$\mathcal I$ sets: looking at small sets in P…

One point compactification is studied in the light of ideal of subsets of $\mathbb{N}$. $\mathcal{I}$-proper map is introduced and showed that a continuous map can be extended continuously to the one point $\mathcal{I}$-compactification if…

The group of homeomorphisms of the closed interval that are absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $\tau_{ac}$. We show that, under mild conditions on a…

In this paper we study the combinatorics of free Borel actions of the group $\mathbb Z^d$ on Polish spaces. Building upon recent work by Chandgotia and Meyerovitch, we introduce property $F$ on $\mathbb Z^d$-shift spaces $X$ under which…

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…

This paper considers "definable cardinalities" arising from Polish group actions. The first part of the paper answers a question of Becker-Kechris by showing that under suitable determinacy assumptions in ZF+DC, every action by a Polish…

We study the set ${\cal C}$ consisting of pairs of orthogonal projections $P,Q$ acting in a Hilbert space ${\cal H}$ such that $PQ$ is a compact operator. These pairs have a rich geometric structure which we describe here. They are parted…

Given a family $F$ of subsets of a group $G$ we describe the structure of its thin-completion $\tau^*(F)$, which is the smallest thin-complete family that contains $I$. A family $F$ of subsets of $G$ is called thin-complete if each $F$-thin…

Given a locally compact group bundle, we show that the system of the Plancherel weights of their C*-algebras is lower semi-continuous. As a corollary, we obtain that the dual Haar sytem of a continuous Haar system of a locally compact…

We study Borel systems and continuous systems of measures, with a focus on mapping properties: compositions, liftings, fibred products and disintegration. Parts of the theory we develop can be derived from known work in the literature, and…

Let $M=I$ or $M=\mathbb{S}^1$ and let $k\geq 1$. We exhibit a new infinite class of Polish groups by showing that each group $\mathop{\rm Diff}_+^{k+AC}(M)$, consisting of those $C^k$ diffeomorphisms whose $k$-th derivative is absolutely…

We define a motivic analogue of the Haar measure for groups of the form G(k((t))), where k is an algebraically closed field of characteristic zero, and G is a reductive algebraic group defined over k. A classical Haar measure on such groups…

Kunen's proof of the non-existence of Reinhardt cardinals opened up the research on very large cardinals, i.e., hypotheses at the limit of inconsistency. One of these large cardinals, I0, proved to have descriptive-set-theoretical…

In recent years, much work has been done to measure and compare the complexity of orbit equivalence relations, especially for certain classes of Polish groups. We start by introducing some language to organize this previous work, namely the…

With every $\sigma$-ideal $I$ on a Polish space we associate the $\sigma$-ideal $I^*$ generated by the closed sets in $I$. We study the forcing notions of Borel sets modulo the respective $\sigma$-ideals $I$ and $I^*$ and find connections…

We consider the Haar functions $h_I$ on dyadic intervals. We show that if $p>\frac23$ and $E\subset[0,1]$ then the set of all functions $\|h_I1_E\|_2^{-1}h_I1_E$ with $|I\cap E|\geq p|I|$ is a Riesz sequence. For $p\leq\frac23$ we provide a…

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…

Extending some results of a joint work with E. Glasner, we continue to study the Polish group $G:=\mathrm{Aut}(\mathbb{Q}_0)$ of all circular order preserving permutations of the rational circle $\mathbb Q_0=\mathbb Q/\mathbb Z$, endowed…

We show that up to a null set, every infinite measure-preserving action of a locally compact Polish group can be turned into a continuous measure-preserving action on a locally compact Polish space where the underlying measure is Radon. We…

Using the group $G(1)$ of invertible elements and the maximal ideals $\mathfrak{m}_x$ of the commutative algebra $C(X)$ of real-valued functions on a compact regular space $X$, we define a Borel action of the algebra on the measure space…

If $(X,d)$ is a Polish metric space of dimension $0$, then by Wadge's lemma, no more than two Borel subsets of $X$ can be incomparable with respect to continuous reducibility. In contrast, our main result shows that for any metric space…