Related papers: An elementary approach to sofic groupoids
In this article we develop a notion of soficity for actions of countable groups on sets. We show two equivalent perspectives, several natural properties and examples. Notable examples include arbitrary actions of both amenable groups and…
We prove that several properties of absolute Galois groups are preserved under a profinite completion.
We consider (projectively) linearly sofic groups, i.e. groups which can be approximated using (projective) matrices over arbitrary fields, as a generalization of sofic groups. We generalize known results for sofic groups and groups which…
We prove the decidability of the elementary theory of a free group.
We study semi-stable degenerations of toric varieties determined by certain partitions of their moment polytopes. Analyzing their defining equations we prove a property of uniqueness.
A group is sofic when every finite subset can be well approximated in a finite symmetric group. No example of a non-sofic group is known. Higman's group, which is a circular amalgamation of four copies of the Baumslag--Solitar group, is a…
This paper introduces the concept of slender generalized groups, extending the classical notion of slender abelian groups to the setting of generalized groups (completely simple semigroups). We establish fundamental properties of slender…
Broadly speaking, a finiteness property of groups is any generalisation of the property of having finite order. A large part of infinite group theory is concerned with finiteness properties and the relationships between them. Profinite…
A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…
A locally compact groupoid is said to be exact if its associated reduced crossed product functor is exact. In this paper, we establish some permanence properties of exactness, including generalizations of some known results for exact…
mu-constant families of holomorphic function germs with isolated singularities are considered from a global perspective. First, a monodromy group from all families which contain a fixed singularity is studied. It consists of automorphisms…
We prove that rigid representations of the fundamental group of a surface into the group of oreintation-preserving homeomorphisms of the circle are geometric, thereby establishing a converse statement of a theorem by the first author.
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 define sofic, weakly sofic, linear sofic and hyperlinear metric groups and discuss some issues involving axiomatizability of these classes in continuous logic.
Working in the soft-element (classical) viewpoint, we introduce \emph{soft bitopological groups}: soft groups endowed with two soft topologies such that the induced topologies on the set of soft elements make the soft-element group into a…
Surface groups are determined among limit groups by their profinite completions. As a corollary, the set of surface words in a free group is closed in the profinite topology.
Torsors under affine groups are generalized in the super context by super-torsors under affine super-groups. We investigate those super-torsors by using Hopf-algebra language and techniques. It is explicitly shown, under suitable…
We show that many important varieties and sets of varieties of semigroups may be defined by relatively simple and transparent first-order formulas in the lattice of all semigroup varieties.
We define basic notions in the category of conic representations of a topological group and prove elementary facts about them. We show that a conic representation determines an ordinary dynamical system of the group together with a…
Groups definable in simple theories retain the chain conditions and decomposition properties known from stable groups, up to commensurability. In the small case, if a generic type of G is not foreign to some type q, there is a q-internal…