Relative Amenability and Relative Soficity

TL;DR

This paper introduces a notion of relative soficity for groups, showing how it generalizes existing concepts and leads to new results on the soficity of group extensions, including Deligne's central extensions.

Contribution

It defines relative soficity for groups, proves that relative soficity with respect to sofic groups implies soficity, and extends results on group extensions, including examples and applications.

Findings

Groups relatively sofic with respect to sofic groups are sofic.

Extensions of sofic groups by residually amenable groups are sofic.

Deligne's central extension groups are sofic.

Abstract

We define a notion of relative soficity for countable groups with respect to a family of groups. A group is sofic if and only if it is relative sofic with respect to the family consisting only of the trivial group. If a group is relatively sofic with respect to a family of sofic groups, then the group is sofic. Using this notion we generalize a theorem of Elek and Szabo on the soficity of an extension of sofic groups by amenable groups. In particular we prove that groups that are relatively sofic with respect to a family of sofic groups are sofic and more importantly extensions of sofic groups by residually amenable groups are sofic. We also construct examples of relatively amenable groups with respect to an infinite family of subgroups but not with respect to any finite subfamily of the subgroups. As an application of these constructions we show that Deligne's central extension groups are sofic.