A sofic group away from amenable groups

Yves Cornulier

DOI: https://doi.org/10.1007/s00208-010-0557-8

2011-05-16

Abstract:We give an example of a sofic group, which is not a limit of amenable groups.

Group Theory

What problem does this paper attempt to address?

On sofic approximations of non amenable groups

Ben Hayes,Srivatsav Kunnawalkam Elayavalli

2024-05-06

Abstract:In this paper we exhibit for every non amenable group that is initially sub-amenable (sometimes also referred to as LEA), two sofic approximations that are not conjugate by any automorphism of the universal sofic group. This addresses a question of Paunescu and generalizes the Elek-Szabo uniqueness theorem for sofic approximations.

Group Theory,Dynamical Systems,Logic,Operator Algebras
Hyperlinear approximations to amenable groups come from sofic approximations

Peter Burton,Maksym Chaudkhari,Kate Juschenko,Kyrylo Muliarchyk

2024-01-11

Abstract:We provide a quantitative formulation of the equivalence between hyperlinearity and soficity for amenable groups, effectively showing how every hyperlinear approximation to such a group is simulated by a suitable sofic approximation. The proof is probabilistic, using the concentration of measure in high-dimensional spheres to control the deviation of an operator's matrix coefficients from its trace. As a corollary, we obtain a result connecting stability of sofic approximations with stability of hyperlinear approximations.

Group Theory
On soficity for certain fundamental groups of graphs of groups

David Gao,Srivatsav Kunnawalkam Elayavalli,Mahan Mj

2024-08-21

Abstract:In this note we study a family of graphs of groups over arbitrary base graphs where all vertex groups are isomorphic to a fixed countable sofic group $G$, and all edge groups $H<G$ are such that the embeddings of $H$ into $G$ are identical everywhere. We prove soficity for this family of groups under a flexible technical hypothesis for $H$ called $\sigma$-co-sofic. This proves soficity for group doubles $*_H G$, where $H<G$ is an arbitrary separable subgroup and $G$ is countable and sofic. This includes arbitrary finite index group doubles of sofic groups among various other examples.

Group Theory,Operator Algebras
Soficity for group actions on sets and applications

David Gao,Srivatsav Kunnawalkam Elayavalli,Gregory Patchell

2024-01-20

Abstract: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 free groups, and actions of sofic groups with locally finite stabilizers. As applications we prove soficity for generalized wreath products (and amalgamated free generalized wreath products) of sofic groups where the underlying group action is sofic. This generalizes the result of Hayes and Sale [HS18], and proves soficity for many new families of groups.

Group Theory,Operator Algebras
On non-isomorphic universal sofic groups

Vadim Alekseev,Andreas Thom

2024-07-04

Abstract:We show that there are $2^{\aleph_0}$ non-isomorphic universal sofic groups. This proves a conjecture of Simon Thomas.

Group Theory,Logic
Soficity of free extensions of effective subshifts

Sebastián Barbieri,Mathieu Sablik,Ville Salo

DOI: https://doi.org/10.3934/dcds.2024125

2024-09-25

Discrete and Continuous Dynamical Systems

Abstract:Let be a group and a subgroup. The free extension of an -subshift to is the -subshift whose configurations are those for which the restriction to every coset of is a configuration from . We study the case of for infinite and finitely generated groups and . On the one hand, we show that if is nonamenable and has decidable word problem, then the free extension to of any -subshift which is effectively closed is a sofic -subshift. On the other hand, we prove that if both and are amenable, there are always -subshifts which are effectively closed by patterns whose free extension to is non-sofic. We also present a few applications in the form of a new simulation theorem and a new class of groups which admit strongly aperiodic SFTs.

mathematics, applied
Sofic actions on graphs

David Gao,Greg Patchell,Srivatsav Kunnawalkam Elayavalli

2024-08-28

Abstract:We develop a theory of soficity for actions on graphs and obtain new applications to the study of sofic groups. We establish various examples, stability and permanence properties of sofic actions on graphs, in particular soficity is preserved by taking several natural graph join operations. We prove that an action of a group on its Cayley graph is sofic if and only if the group is sofic. We show that arbitrary actions of amenable groups on graphs are sofic. Using a graph theoretic result of E. Hrushovski, we also show that arbitrary actions of free groups on graphs are sofic. Notably we show that arbitrary actions of sofic groups on graphs, with amenable stabilizers, are sofic, settling completely an open problem from \cite{gao2024soficity}. We also show that soficity is preserved by taking limits under a natural Gromov-Hausdorff topology, generalizing prior work of the first author \cite{gao2024actionslerfgroupssets}. Our work sheds light on a family of groups called graph wreath products, simultaneously generalizing graph products and generalized wreath products. Extending various prior results in this direction including soficity of generalized wreath products \cite{gao2024soficity}, B. Hayes and A. Sale \cite{HayesSale}, and soficity of graph products \cite{CHR, charlesworth2021matrix}, we show that graph wreath products are sofic if the action and acting groups are sofic. These results provide several new examples of sofic groups in a systematic manner.

Group Theory,Operator Algebras
Sofic approximation sequences and sofic mean dimension

Lei Jin,Yixiao Qiao

2024-06-01

Abstract:The main purpose of this paper is to strengthen our understanding of sofic mean dimension of two typical classes of sofic group actions. First, we study finite group actions. We prove that sofic mean dimension of any amenable group action does not depend on the choice of sofic approximation sequences. Previously, this result was known only if the acting group is an infinite amenable group. Moreover, we investigate the full shifts, for all sofic groups and all alphabets. We show that sofic mean dimension of any full shift depends purely on its alphabet. Our method is a refinement of the classical technique in relation to the estimates from above and below, respectively, for mean dimension of some typical actions. The key point of our results is that they apply to all compact metrizable spaces without any restriction (in particular, the alphabet concerned in a full shift and the space involved in a finite group action are not required to be finite-dimensional). Furthermore, we improve the quantitative knowledge of sofic mean dimension, restricted to finite-dimensional compact metrizable spaces, for those two typical classes of sofic group actions. As a direct consequence of the main ingredient of our proof, we obtain the exact value of sofic mean dimension of all the actions of finite groups on finite-dimensional compact metrizable spaces. Previously, only an upper bound for these actions was given. Besides, we also get the exact value of sofic mean dimension of full shifts when the alphabet is finite-dimensional.

Dynamical Systems
Soficity for monoids, semigroups, and general dynamical systems

Jan Cannizzo

DOI: https://doi.org/10.48550/arXiv.1508.02034

2015-08-09

Dynamical Systems

Abstract:We examine several definitions of soficity for monoids obtained by generalizing various definitions of sofic groups. They are not all equivalent and include the definition recently introduced by Ceccherini-Silberstein and Coornaert. One of these definitions readily generalizes to semigroups (albeit in an arguably unsatisfying way), thus addressing a question asked by Kambites. We conclude by proposing a definition of soficity for a general dynamical system consisting of a semigroup acting by measure-preserving transformations on a probability space.
All actions of LERF groups on sets are sofic

David Gao

2024-07-13

Abstract:In this paper, we shall prove that all actions of LERF groups on sets are sofic. As a corollary, we obtain that a large class of generalized wreath products are sofic.

Group Theory,Operator Algebras
Soficity, Amenability, and LEF-ness for topological full groups

Xin Ma

2024-03-07

Abstract:In this paper, we study several finite approximation properties of topological full groups of group actions on the Cantor set such that free points are dense. Firstly, we establish that for such a distal action $\alpha$ of a countable discrete group $G$ on the Cantor set, the topological full group $[[\alpha]]$ is amenable if and only if $G$ is amenable. This result is obtained through a novel method that detects hyperfiniteness in certain sofic approximation graph sequences of finitely generated subgroups of $[[\alpha]]$. We also provide estimates for related Følner functions. Next, we obtain negative results on the amenability of topological full groups for actions with zero topological entropy by calculating the topological entropy of certain examples provided by Elek and Monod. Furthermore, we demonstrate that the topological full group $[[\alpha]]$ of a minimal topologically free residually finite action $\alpha$ on the Cantor set is locally embeddable in the class of finite groups (LEF). This generalizes a result previously obtained by Grigorchuk and Medynets in the case of minimal $\mathbb{Z}$-actions. As an application, we show that topological full groups of certain Toeplitz subshifts on free groups are LEF and therefore sofic.

Dynamical Systems,Group Theory
Conditional sofic mean dimension

Bingbing Liang

2024-01-17

Abstract:We undertake a study of the conditional mean dimensions for a factor map between continuous actions of a sofic group on two compact metrizable spaces. When the group is infinitely amenable, all these concepts recover as the conditional mean dimensions introduced in \cite{L22}. A range of results established for actions of amenable groups are extended to the sofic framework.

Dynamical Systems,Group Theory
On subgroups with narrow Schreier graphs

Pénélope Azuelos

DOI: https://doi.org/10.1112/blms.13157

IF: 1.036

2024-10-05

Bulletin of the London Mathematical Society

Abstract:We study finitely generated pairs of groups H⩽G such that the Schreier graph of H has at least two ends and is narrow. Examples of narrow Schreier graphs include those that are quasi‐isometric to finitely ended trees or have linear growth. Under this hypothesis, we show that H is a virtual fiber subgroup if and only if G contains infinitely many double cosets of H . Along the way, we prove that if a group acts essentially on a finite‐dimensional CAT(0) cube complex with no facing triples, then it virtually surjects onto the integers with kernel commensurable to a hyperplane stabiliser.

mathematics
Approximate homomorphisms and sofic approximations of orbit equivalence relations

BEN HAYES,SRIVATSAV KUNNAWALKAM ELAYAVALLI

DOI: https://doi.org/10.1017/etds.2024.22

2024-03-16

Ergodic Theory and Dynamical Systems

Abstract:We show that for every countable group, any sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation. Moreover, this orbit equivalence relation is uniquely determined by the invariant random subgroup of the approximate homomorphisms. We record applications of this result to recover various known stability and conjugacy characterizations for almost homomorphisms of amenable groups.

mathematics, applied
Strongly sofic monoids, sofic topological entropy, and surjunctivity

Tullio Ceccherini-Silberstein,Michel Coornaert,Xuan Kien Phung

2024-10-23

Abstract:We introduce the class of strongly sofic monoids. This class of monoids strictly contains the class of sofic groups and is a proper subclass of the class of sofic monoids. We define and investigate sofic topological entropy for actions of strongly sofic monoids on compact spaces. We show that sofic topological entropy is a topological conjugacy invariant for such actions and use this fact to prove that every strongly sofic monoid is surjunctive. This means that if $M$ is a strongly sofic monoid and $A$ is a finite alphabet set, then every injective cellular automaton $\tau \colon A^M \to A^M$ is surjective. As an application, we prove that the monoid algebra of a strongly sofic monoid with coefficients in an arbitrary field is always stably finite. Our results are extensions to strongly sofic monoids of two previously known properties of sofic groups. The first one is the celebrated Gromov-Weiss theorem asserting that every sofic group is surjunctive. The second is the Elek-Szabó theorem which says that group algebras of sofic groups satisfy Kaplansky's stable finiteness conjecture.

Group Theory,Dynamical Systems,Rings and Algebras
Local permutation stability

Henry Bradford

2024-09-05

Abstract:We introduce a notion of "local stability in permutations" for finitely generated groups. If a group is sofic and locally stable in our sense, then it is also locally embeddable into finite groups (LEF). Our notion is weaker than the "permutation stability" introduced by Glebsky-Rivera and Arzhantseva-Paunescu, which allows one to upgrade soficity to residual finiteness. We prove a necessary and sufficient condition for an amenable group to be locally permutation stable, in terms of invariant random subgroups (IRSs), inspired by a similar criterion for permutation stability due to Becker, Lubotzky and Thom. We apply our criterion to prove that derived subgroups of topological full groups of Cantor minimal subshifts are locally stable, using Zheng's classification of IRSs for these groups. This last result provides continuum-many groups which are locally stable, but not stable.

Group Theory
A note on inner amenability for FLC point sets

Gabriel Favre

2023-07-05

Abstract:Inner amenability is a bridge between amenability of an object and amenability of its operator algebras. It is an open problem of Ananantharman-Delaroche to decide whether all étale groupoids are inner amenable. Approximate lattices and their dynamics have recently attracted increased attention and have been studied using groupoid methods. In this note, we prove that groupoids associated with approximate lattices in second countable locally compact groups are inner amenable. In fact we show that this result holds more generally for point sets of finite local complexity in such groups.

Operator Algebras
Groups which are metrically weakly sofic with respect to word norms

A.Ivanov

2024-10-27

Abstract:We consider metric versions of weak soficity, LEF and residual finiteness. The main results of the paper extend Glebsky and Rivera's characterization of weak soficity to the case of normally finitely generated groups with word metrics. Metric LEF and residual finiteness are also characterized in this class. We deduce that the free group $\mathsf{F}_2$ is not metrically weakly sofic with respect to its standard invariant word norm.

Group Theory

A sofic group away from amenable groups

On sofic approximations of non amenable groups

Hyperlinear approximations to amenable groups come from sofic approximations

On soficity for certain fundamental groups of graphs of groups

Soficity for group actions on sets and applications

On non-isomorphic universal sofic groups

Soficity of free extensions of effective subshifts

Sofic actions on graphs

Sofic approximation sequences and sofic mean dimension

Soficity for monoids, semigroups, and general dynamical systems

All actions of LERF groups on sets are sofic

Soficity, Amenability, and LEF-ness for topological full groups

Conditional sofic mean dimension

On subgroups with narrow Schreier graphs

Approximate homomorphisms and sofic approximations of orbit equivalence relations

Strongly sofic monoids, sofic topological entropy, and surjunctivity

Local permutation stability

A note on inner amenability for FLC point sets

Groups which are metrically weakly sofic with respect to word norms