Spectral gap, internality of relative commutants, and non-hyperlinear groups

Abstract

We prove that the relative commutant of a finite unitary tuple in a tracial matrix ultraproduct is internal whenever its conjugation operator has a spectral gap off the commutant. This implies the existence of a non-hyperlinear group.

arXiv comment24 pages