Related papers: Definably amenable NIP groups

The purpose of this paper is to study the notion of relative extreme amenability for pairs of topological groups. We give a characterization by a fixed point property on universal spaces. In addition we introduce the concepts of an…

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

Consider $\operatorname{Sym}(n)$, endowed with the normalized Hamming metric $d_n$. A finitely-generated group $\Gamma$ is \emph{P-stable} if every almost homomorphism $\rho_{n_k}\colon \Gamma\rightarrow\operatorname{Sym}(n_k)$ (i.e., for…

Extensive amenability is a property of group actions which has recently been used as a tool to prove amenability of groups. We study this property and prove that it is preserved under a very general construction of semidirect products. As…

We prove the existence of abelian, solvable and nilpotent definable envelopes for groups definable in models of an NTP2 theory.

We extend some results of Carderi and Le Ma\^itre on full groups in the probability context to the infinite measure one: there exists at most one Polish group topology (refining the weak topology and coarser than the uniform topology) on an…

We give a general exposition of model theoretic connected components of groups. We show that if a group G has NIP, then there exists the smallest invariant (over some small set) subgroup of G with bounded index (Theorem 5.3). This result…

We construct measures on definable sets in $e$-free perfect PAC fields, as well as on perfect PAC fields whose absolute Galois groups are free pro-$p$ of finite rank. We deduce the definable amenability of all groups definable in such…

We determine when a quasi-isometry between discrete spaces is at bounded distance from a bilipschitz map. From this we prove a geometric version of the Von Neumann conjecture on amenability. We also get some examples in geometric groups…

We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the…

Using tools from the theory of optimal transport, we establish several results concerning isometric actions of amenable topological groups with potentially unbounded orbits. Specifically, suppose $d$ is a compatible left-invariant metric on…

We define a notion of relative soficity for countable groups with respect to a family of groups. A group is sofic if and only if it is relative sofic with respect to the family consisting only of the trivial group. If a group is relatively…

We develop in this paper some general techniques to analyze action sets of small doubling for probability measure-preserving actions of amenable groups. As an application of these techniques, we prove a dynamical generalization of Kneser's…

We show that amenability of a group acting by homeomorphisms can be deduced from a certain local property of the action and recurrency of the orbital Schreier graphs. This covers amenability of a wide class groups, the amenability of which…

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…

Different notions of amenability on hypergroups and their relations are studied. Developing Leptin's theorem for discrete hypergroups, we characterize the existence of a bounded approximate identity for hypergroup Fourier algebras. We study…

We study Lie rings definable in a finite-dimensional theory, extending the results for the finite Morley rank case. In particular, we prove a classification of Lie rings of dimension up to four in the NIP or connected case. In…

A topological group $G$ is extremely amenable if every continuous action of $G$ on a compact space has a fixed point. Using the concentration of measure techniques developed by Gromov and Milman, we prove that the group of automorphisms of…

Given a definably amenable approximate subgroup $A$ of a (local) group in some first-order structure, there is a type-definable subgroup $H$ normalised by $A$ and contained in $A^4$ such that every definable superset of $H$ has positive…

In the current paper we attempt to transfer the notion of the projectional entropy, originally defined for multidimensional subshifts, to the case of actions of amenable groups. The main theorem states that if a system is strongly…