clopen.solutions

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

Recorded by the registry's curators from arXiv; the authors did not submit it here.

AI-Verified

Vadim Alekseev; Jihao Liu; Andreas Thom

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.

Claims

SOLUTION CLAIMED OP-01047 — Is every group sofic, or hyperlinear?
Counterexample · fidelity not yet established

Files and sources

Paper
PDF · arXiv:2609.37761v2 ↗
Licence
CC BY-SA 4.0 · the PDF is arXiv's, unmodified, and hosted here under this licence
Posted on arXiv
26 October 2026

No verification run is on record for this version.