English
Related papers

Related papers: The Steinhaus property and Haar-null sets

200 papers

We show that Property $\mathrm{(TTT)}$ is an obstruction to weak amenability with Cowling--Haagerup constant $1$. More precisely, if $G$ is a countable group and $H$ is an infinite subgroup of $G$ such that the pair $(G,H)$ has relative…

Group Theory · Mathematics 2024-10-10 Ignacio Vergara

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…

Dynamical Systems · Mathematics 2009-02-24 Eli Glasner

Let $E$ be a Banach space that does not contain any copy of $\ell^1$ and $\A$ be a non commutative $C^*$-algebra. We prove that every absolutely summing operator from $\A$ into $E^*$ is compact, thus answering a question of Pe\l czynski. As…

Functional Analysis · Mathematics 2016-09-06 Narcisse Randrianantoanina

We give a unified treatment of the countable dense homogeneity of products of Polish spaces, with a focus on uncountable products. Our main result states that a product of fewer than $\mathfrak{p}$ Polish spaces is countable dense…

General Topology · Mathematics 2025-10-30 Andrea Medini , Juris Steprāns

Let $d_1$, $d_2$, ... be a sequence of positive numbers that converges to zero. A generalization of Steinhaus' theorem due to Weil implies that, if a subset of a homogeneous Riemannian manifold has no pair of points at distances $d_1$,…

Combinatorics · Mathematics 2013-11-19 Fernando Mário de Oliveira Filho , Frank Vallentin

In 1985 S.~Saeki and K.~Stromberg published the following question: {\it Does every infinite compact group have a subgroup which is not Haar measurable?} An affirmative answer is given for all compact groups with the exception of some…

Group Theory · Mathematics 2014-06-27 Salvador Hernández , Karl H. Hofmann , Sidney A. Morris

This note answers a question of Kechris: if $H<G$ is a normal subgroup of a countable group $G$, $H$ has property MD and $G/H$ is amenable and residually finite then $G$ also has property MD. Under the same hypothesis we prove that for any…

Group Theory · Mathematics 2011-08-03 Lewis Bowen , Robin Tucker-Drob

We show that an ideal $\mathcal{I}$ on $\omega$ is meager if and only if the set of sequences $(x_n)$ taking values in a Polish space $X$ for which all elements of $X$ are $\mathcal{I}$-cluster points of $(x_n)$ is comeager. The latter…

General Topology · Mathematics 2025-05-28 Paolo Leonetti

We define the scattered subsets of a group as asymptotic counterparts of scattered subspaces of a topological space, and prove that a subset $A$ of a group $G$ is scattered if and only if $A$ contains no piecewise shifted $IP$-subsets. For…

Group Theory · Mathematics 2013-12-30 T. O. Banakh , I. V. Protasov , S. V. Slobodianiuk

We prove that in a countable theory T fully stable over a predicate P, any complete set A has the existence property. This means that A can be extended to a model of T without changing the P-part. In particular, T has the Gaifman property:…

Logic · Mathematics 2025-02-28 Alexander Usvyatsov

According to Haar's Theorem, every compact group $G$ admits a unique (regular, right and) left-invariant Borel probability measure $\mu_G$. Let the Haar integral (of $G$) denote the functional $\int_G:\mathcal{C}(G)\ni f\mapsto \int…

Logic in Computer Science · Computer Science 2019-10-30 Arno Pauly , Dongseong Seon , Martin Ziegler

If T is an ergodic automorphism of a Lebesgue probability space (X,A,m), the set of coboundries B = db =T(b)+b with symmetric difference + form a subgroup of the set of cocycles A. Using tools from descriptive set theory, Greg Hjorth showed…

Dynamical Systems · Mathematics 2023-07-25 Oliver Knill

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…

Functional Analysis · Mathematics 2016-09-15 Viktor Losert , Matthias Neufang , Jan Pachl , Juris Steprāns

In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees.…

General Topology · Mathematics 2015-07-10 Robert Ralowski , Szymon Zeberski

We give a sufficient condition for a countable group $G$ to possess a probability measure $\mu$ that admits a non-trivial $\mu$-boundary modeled in the space $\mathrm{Sub}_{\mathrm{am}}(G)$ of amenable subgroups of $G$. In particular, for…

Group Theory · Mathematics 2026-03-31 Anna Cascioli , Martín Gilabert Vio , Eduardo Silva

The $H$-space, denoted as $(\mathbb{R}, \tau_{A})$, has $\mathbb{R}$ as its point set and a basis consisting of usual open interval neighborhood at points of $A$ while taking Sorgenfrey neighborhoods at points of $\mathbb{R}$-$A$. In this…

General Topology · Mathematics 2022-12-22 Fucai Lin , Jiada Li

Given a class C of subgroups of a topological group G, we say that a subgroup H in C is a universal C subgroup of G if every subgroup K in C is a continuous homomorphic preimage of H. Such subgroups may be regarded as complete members of C…

Logic · Mathematics 2013-08-08 Konstantinos A. Beros

We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…

Functional Analysis · Mathematics 2014-05-13 Grzegorz Plebanek , Damian Sobota

We discuss Euler characteristics for finitely generated modules over Iwasawa algebras. We show that the Euler characteristic of a module is well-defined whenever the 0th homology group is finite if and only if the relevant compact p-adic…

Representation Theory · Mathematics 2009-10-08 Simon Wadsley

We study the range of a classifiable class ${\cal A}$ of unital separable simple amenable $C^*$-algebras which satisfy the Universal Coefficient Theorem. The class ${\cal A}$ contains all unital simple AH-algebras. We show that all unital…

Operator Algebras · Mathematics 2008-08-27 Huaxin Lin , Zhuang Niu