Related papers: All actions of LERF groups on sets are sofic

We consider metric versions of the notions of local embeddability and LEF. We pay special attention to normally finitely generated groups with word metrics.

Given a partial action $\theta$ of a group on a set with an algebraic structure, we construct a reflector of $\theta$ in the corresponding subcategory of global actions and study the question when this reflector is a globalization. In…

We prove that any group acting faithfully on a bifoliated plane while preserving the orientations of both foliations is left-orderable. The proof utilizes a construction of a linear order on the set of ends of the leaf spaces, which takes…

The Farrell-Jones Fibered Isomorphism Conjecture for the stable topological pseudoisotopy theory has been proved for several classes of groups. For example for discrete subgroups of Lie groups, virtually poly-infinite cyclic groups, Artin…

We show that sufficiently irreducible totally non-symplectic Anosov actions of higher rank abelian groups on tori and nilmanifolds are smoothly conjugate to affine actions.

In this work, we complete the classification of generically multiply transitive actions of groups on solvable groups in the finite Morley rank setting. We prove that if $G$ is a connected group of finite Morley rank acting definably,…

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 give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…

We prove that the inverse limit of certain iterated wreath products in product action have complete Hausdorff dimension spectrum with respect to their unique maximal filtration of open normal subgroups. Moreover we can produce explicitly…

Rationality specializes in families of surfaces, even with mild singularities. In this paper, we study the analogous question for the degree of irrationality. We prove a specialization result when the degree of irrationality on the generic…

The main aim of this note is to prove a version of a celebrated theorem of Effros about transitive group actions in a non-metrizable setting, these parts have been formalized and verified with Lean by Lara Toledano. We do not claim any…

Suppose that a group $G$ has socle $L$ a simple large-rank classical group. Suppose furthermore that $G$ acts transitively on the set of lines of a linear space $\mathcal{S}$. We prove that, provided $L$ has dimension at least 25, then $G$…

We prove that epimorphisms are surjective in certain categories of ordered F-algebras. It then turns out that epimorphisms are also surjective in the category of all (unordered) algebras of type F.

We characterize rational actions of the additive group on algebraic varieties defined over a field of characteristic zero in terms of a suitable integrability property of their associated velocity vector fields. This extends the classical…

We consider wreath product decompositions for semigroups of triangular matrices. We exhibit an explicit wreath product decomposition for the semigroup of all n-by-n upper triangular matrices over a given field k, in terms of aperiodic…

Several results on presenting an affine algebraic group variety as a product of algebraic varieties are obtained.

We prove that Connes' Embedding Conjecture holds for the von Neumann algebras of sofic groups, that is sofic groups are hyperlinear. Hence we provide some new examples of hyperlinearity. We also show that the Determinant Conjecture holds…

We prove that the category of faded cosheaves in Set over a sober topological space $(B,\Omega)$ is equivalent to a category Sett$(B,\Omega)$ having the same class of objects as Set$ / B$ has, but generally a wider class of morphisms. We…

We show that every continuous action of a finite group on a smooth three-manifold is a uniform limit of smooth actions.

We prove that all isometric actions of higher rank simple Lie groups and their lattices on arbitrary uniformly convex Banach spaces have a fixed point. This vastly generalises a recent breakthrough of Oppenheim. Combined with earlier work…