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.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about local permutation stability in group theory. Specifically, the author introduced a new concept - "local permutation stability" and explored the relationship between this property and some known group - theory properties, especially how it is related to sofic groups and locally embeddable into finite (LEF) groups. The following are the key points of the paper:
1. **Definition and Background**:
- **Permutation Stability**: This is a relatively strong property. If a group has permutation stability, then it must be residually finite.
- **Local Permutation Stability**: This is a weakened version of permutation stability. If a sofic group satisfies local permutation stability, then it must be a locally embeddable into finite (LEF) group, but not necessarily residually finite.
2. **Main Results**:
- **Theorem 1.6**: There exist continuously many non - isomorphic finitely generated groups that are locally stable but not weakly locally stable.
- **Theorem 1.7**: For a finitely generated commutative group, a necessary and sufficient condition in terms of local permutation stability is that for every invariant random subgroup (IRS), there exists a sequence of marked finite groups that converges to this group, and the IRS sequence of these marked finite groups converges to the IRS of the original group.
3. **Applications and Examples**:
- By studying the derived subgroups of the topological full groups of Cantor minimal shifts, the author proved that these derived subgroups are locally stable.
- The author also provided a specific example, namely the group \( A(\mathbb{Z}) \), which is a permutation group generated by all finitely supported even permutations and the regular representation images of \( \mathbb{Z} \). This group is locally stable but not weakly locally stable.
4. **Methods and Techniques**:
- The paper used the concept of invariant random subgroup (IRS) to characterize local permutation stability.
- The author also explored the relationship between local permutation stability and local solutions of equations, as well as the relationship with the homomorphism lifting property in ultraproducts.
5. **Significance and Impact**:
- This research provides new ideas for finding non - sofic groups. Although all currently found locally stable groups are commutative (and thus sofic), the introduction of this property opens up new directions for future research.
- In particular, the author's results imply that some important topological full groups (such as Thompson group V) may be stable, which provides a theoretical basis for further studying the properties of these groups.
In conclusion, by introducing the concept of local permutation stability, this paper not only enriches the research content of group theory, but also provides new tools and perspectives for exploring the existence of non - sofic groups.