Related papers: Generic IRS in free groups, after Bowen

Given any amenable group $G$ (with a left Haar measure $|\cdot|$ or $dg$), we can select out a \textit{F{\o}lner subnet} $\{F_\theta,\theta\in\Theta\}$ from any left F{\o}lner net in $G$, which is \textit{$L^\infty$-admissible}, namely, for…

We define and study the notion of \emph{ample metric generics} for a Polish topological group, which is a weakening of the notion of ample generics introduced by Kechris and Rosendal in \cite{Kechris-Rosendal:Turbulence}. Our work is based…

The Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G^{\mathrm{ad}}$ is totally…

Let $G$ be an abelian Polish group, e.g. a separable Banach space. A subset $X \subset G$ is called Haar null (in the sense of Christensen) if there exists a Borel set $B \supset X$ and a Borel probability measure $\mu$ on $G$ such that…

Let $G$ be a closed permutation group on a countably infinite set $\Omega$, which acts transitively but not highly transitively. If $G$ is oligomorphic, has no algebraicity and weakly eliminates imaginaries, we prove that any probability…

In [FGRS1,FGRS2] the relationship between the universal and elementary theory of a group ring $R[G]$ and the corresponding universal and elementary theory of the associated group $G$ and ring $R$ was examined. Here we assume that $R$ is a…

Let $\Gamma$ be a countably infinite group. A common theme in ergodic theory is to start with a probability measure-preserving (p.m.p.) action $\Gamma \curvearrowright (X, \mu)$ and a map $f \in L^1(X, \mu)$, and to compare the global…

We consider general Exponential Random Graph Models (ERGMs) where the sufficient statistics are functions of homomorphism counts for a fixed collection of simple graphs $F_k$. Whereas previous work has shown a degeneracy phenomenon in dense…

The $f$-invariant is an isomorphism invariant of free-group measure-preserving actions introduced by Lewis Bowen in [arXiv:0802.4294], where it was used to show that two finite-entropy Bernoulli shifts over a finitely generated free group…

We study forms $I=(f_1,\ldots,f_r)$, $\deg f_i=d_i$, in $F$ which is the free associative algebra $k\langle x_1,\ldots,x_n\rangle$ or the polynomial ring $k[x_1,\ldots,x_n]$, where $k$ is a field and $\deg x_i=1$ for all $i$. We say that…

Let $a_n$ be the random increasing sequence of natural numbers which takes each value independently with decreasing probability of order $n^{-\alpha}$, $0 < \alpha < 1/2$. We prove that, almost surely, for every measure-preserving system…

We study a uniform, quantitative form of the amenability-hyperfiniteness paradigm for bounded-degree Borel graphs generating countable Borel equivalence relations. We introduce \emph{uniform Borel amenability} and prove that it is…

A group is surjunctive if every injective cellular automaton on it is also surjective. Gottschalk famously conjectured that all groups are surjunctive. This remains a central open problem in symbolic dynamics and descriptive set theory.…

We continue the systematic study of left-invariant generalised Einstein metrics on Lie groups initiated in arXiv:2206.01157. Our approach is based on a new reformulation of the corresponding algebraic system. For a fixed Lie algebra…

In this paper, we show that every measure-preserving ergodic equivalence relation of cost less than m comes from a "rich" faithful invariant random subgroup of the free group on m generators, strengthening a result of Bowen which had been…

Let $G$ be a countable discrete amenable group which acts continuously on a compact metric space $X$ and let $\mu$ be an ergodic $G-$invariant Borel probability measure on $X$. For a fixed tempered F{\o}lner sequence $\{F_n\}$ in $G$ with…

A group element is called generalized torsion if a finite product of its conjugates is equal to the identity. We show that in a finitely generated abelian-by-finite group, an element is generalized torsion if and only if its image in the…

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…

We introduce a general framework to design and analyze algorithms for the problem of testing homomorphisms between finite groups in the low-soundness regime. In this regime, we give the first constant-query tests for various families of…

Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…