arXiv++ Combinatorics

We introduce notions of a constraint metric approximation and of a constraint stability of a metric approximation. This is done in the language of group equations with coefficients. We give an example of a group which is not constraintly sofic. In building it, we find a sofic representation of free group with trivial commutant among extreme points of the convex structure on the space of sofic representations. We consider the centralizer equation in permutations as an instance of this new general setting. We characterize permutations $p\in S_k$ whose centralizer is stable in permutations with respect to the normalized Hamming distance, that is, a permutation which almost centralizes $p$ is near a centralizing permutation. This answers a question of Gorenstein-Sandler-Mills (1962).

The notion of sofic equivalence relation was introduced by Gabor Elek and Gabor Lippner. Their technics employ some graph theory. Here we define this notion in a more operator algebraic context, starting from Connes' embedding problem, and prove the equivalence of this two definitions. We introduce a notion of sofic action for an arbitrary group and prove that amalgamated product of sofic actions over amenable groups is again sofic. We also prove that amalgamated product of sofic groups over an amenable subgroup is again sofic.