Related papers: Naively Haar null sets in Polish groups

Our first motivation was the question: can a countable structure have an automorphism group, which a free uncountable group? This is answered negatively in [Sh:744]. Lecturing in a conference in Rutgers, February 2001, I was asked whether I…

Fuglede's conjecture in $\mathbb{Q}_p$ is proved. That is to say, a Borel set of positive and finite Haar measure in $\mathbb{Q}_p$ is a spectral set if and only if it tiles $\mathbb{Q}_p$ by translation.

The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual…

The Steinhaus-Weil theorem that concerns us here is the simple, or classical, `interior-points' property -- that in a Polish topological group a non-negligible set B has the identity as an interior point of $BB^{-1}$. There are various…

In this paper we address the question: How many pairwise non-isomorphic extremely amenable groups are there which are separable metrizable or even Polish? We show that there are continuum many such groups. In fact we construct continuum…

If $X$ is an analytic metric space satisfying a very mild doubling condition, then for any finite Borel measure $\mu$ on $X$ there is a set $N\subseteq X$ such that $\mu(N)>0$, an ultrametric space $Z$ and a Lipschitz bijection $\phi:N\to…

Given a "Green function" $G$ on a locally compact space $X$ with countable base, a Borel set $A$ in $X$ is called $G$-semipolar, if there is no measure $\nu\ne 0$ supported by $A$ such that $G\nu:=\int G(\cdot,y)\,d\nu(y)$ is a continuous…

Classical ergodic theory deals with measure (or measure class) preserving actions of locally compact groups on Lebesgue spaces. An important tool in this setting is a theorem of Mackey which provides spatial models for Boolean G-actions. We…

In a general measure space $(X,\mathcal L,\lambda)$, a characterization of weakly null sequences in $L_\infty (X,\mathcal L,\lambda)$ ($u_k \rightharpoonup 0$) in terms of their pointwise behaviour almost everywhere is derived from the…

Let $\Gamma$ be a countable group. A classical theorem of Thorisson states that if $X$ is a standard Borel $\Gamma$-space and $\mu$ and $\nu$ are Borel probability measures on $X$ which agree on every $\Gamma$-invariant subset, then $\mu$…

We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…

A topological space is reversible if each continuous bijection of it onto itself is open. We introduce an analogue of this notion in the category of topological groups: A topological group G is g-reversible if every continuous automorphism…

In a group $G$, a weak Sierpi\'nski subset is a subset $E$ such that for some $g,h\in G$ and $a\neq b\in E$, we have $gE=E\smallsetminus \{a\}$ and $hE=E\smallsetminus \{b\}$. In this setting, we study the subgroup generated by $g$ and $h$,…

Let $G$ be a dp-minimal group; we prove some consequences of several different hypotheses on $G$. First, if $G$ is torsion-free, then it is abelian. Second, if $G$ admits a distal f-generic type, then it is virtually nilpotent; we prove…

We study full groups of minimal actions of countable groups by homeomorphisms on a Cantor space $X$, showing that these groups do not admit a compatible Polish group topology and, in the case of $\Z$-actions, are coanalytic non-Borel inside…

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…

We extend the Becker--Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker--Kechris theorems, as…

We use Fra\" iss\' e theoretic methods to construct a universal and ultrahomogeneous abelian separable metric group. We show that such a group is a universal abelian Polish group, thus we provide another proof of a result already discovered…

Suppose $G$ is a connected noncompact locally compact group, $A,B$ are nonempty and compact subsets of $G$, $\mu$ is a left Haar measure on $G$. Assuming that $G$ is unimodular, and $ \mu(A^2) < K \mu(A) $ with $K>1$ a fixed constant, our…

We prove that if \mu is a generically stable stable measure in a first order theory with NIP and mu(\phi(x,b)) = 0 for all b, then \mu^{(n)}(\exists y(\phi(x_1,y)\wedge ... \wedge \phi(x_n,y))) = 0. We deduce that if G is an fsg grooup then…