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

We prove definable versions of the Universal Coefficient Theorems of Eilenberg--Mac Lane expressing the (Steenrod) homology groups of a compact metrizable space in terms of its integral cohomology groups, and the (\v{C}ech) cohomology…

Let $\Gamma$ be a compact Polish group of finite topological dimension. For a countably infinite subset $S\subseteq \Gamma$, a domatic $\aleph_0$-partition (for its Schreier graph on $\Gamma$) is a partial function…

We classify the pairs of subsets (A,B) of a locally compact abelian group satisfying m(A+B)=m(A)+m(B), where m is Haar measure. This generalizes a result of M. Kneser classifying such pairs under the additional assumption that G is compact…

The paper is devoted to a study of generic representations (homomorphisms) of discrete countable groups $\Gamma$ in Polish groups $G$, i.e. those elements in the Polish space $\mathrm{Rep}(\Gamma,G)$ of all representations of $\Gamma$ in…

A Polish group is said to be locally Roelcke precompact if there is a neighborhood of the identity element that is totally bounded in the Roelcke (or lower) group uniformity. These form a subclass of the locally bounded groups, while…

We study the explicit construction of the Haar measure on the compact $p$-adic rotation group $\textrm{SO}(3)_p$ by nautical (Cardano) parametrization. Exploiting its topological group isomorphism with…

We study the behavior of Haar coefficients in Besov and Triebel-Lizorkin spaces on $\mathbb{R}$, for a parameter range in which the Haar system is not an unconditional basis. First, we obtain a range of parameters, extending up to…

Let $\xi\geq 1$ be a countable ordinal. We study the Borel subsets of the plane that can be made ${\bf\Pi}^0_\xi$ by refining the Polish topology on the real line. These sets are called potentially ${\bf\Pi}^0_\xi$. We give a Hurewicz-like…

Consider the space $C$ of conjugacy classes of a unitary group $U(n+m)$ with respect to a smaller unitary group $U(m)$. It is known that for any element of the space $C$ we can assign canonically a matrix-valued rational function on the…

Given a locally compact Polish space X, a necessary and sufficient condition for a group G of homeomorphisms of X to be the full isometry group of (X,d) for some proper metric d on X is given. It is shown that every locally compact Polish…

We determine the Haar measure on the compact $p$-adic special orthogonal groups of rotations $\mathrm{SO}(d)_p$ in dimension $d=2,3$, by exploiting the machinery of inverse limits of measure spaces, for every prime $p>2$. We characterise…

Let X be compact abelian group and G its dual (a discrete group). If B is an infinite subset of G, let C_B be the set of all x in X such that <phi(x) : phi \in B> converges to 1. If F is a free filter on G, let D_F be the union of all the…

We provide a complete classification, up to order-isomorphism, of all possible Wadge hierarchies on zero-dimensional Polish spaces using (essentially) countable ordinals as complete invariants. We also observe that although our assignment…

Let $k$ be an algebraically closed field. Let $B$ be the Borel subgroup of $\mGL_n(k)$ consisting of nonsingular upper triangular matrices. Let $\frb = \mLie B$ be the Lie algebra of upper triangular $n \times n$ matrices and $\fru$ the Lie…

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…

A version of group cohomology for locally compact groups and Polish modules has previously been developed using a bar resolution restricted to measurable cochains. That theory was shown to enjoy analogs of most of the standard algebraic…

It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…

A Haar system Hardy space is the completion of the linear span of the Haar system $(h_I)_I$, either under a rearrangement-invariant norm $\|\cdot \|$ or under the associated square function norm \begin{equation*} \Bigl\| \sum_Ia_Ih_I…

Following a similar result of Uspenskij on the unitary group of a separable Hilbert space we show that with respect to the lower (or Roelcke) uniform structure the Polish group $G= \Aut(\mu)$, of automorphisms of an atomless standard Borel…

For an analytic $P$-ideal $I$, $S_I$ is the Polish group of all the permutations of $\mathbb{N}$ whose support is in $I$, with Polish topology given by the corresponding submeasure on $I$. We show that if $\mbox{Fin} \subsetneq I$, then…