Abstract:A quasi-representation of a group is a map from the group into a matrix algebra (or similar object) that approximately satisfies the relations needed to be a representation. Work of many people starting with Kazhdan and Voiculescu, and recently advanced by Dadarlat, Eilers-Shulman-Sørensen and others, has shown that there are topological obstructions to approximating unitary quasi-representations of groups by honest representations, where `approximation' is understood to be with respect to the operator norm. The purpose of this paper is to explore whether approximation is possible if the known obstructions vanish, partially generalizing work of Gong-Lin and Eilers-Loring-Pedersen for the free abelian group of rank two, and the Klein bottle group. We show that this is possible, at least in a weak sense, for some `low-dimensional' groups including fundamental groups of closed surfaces, certain Baumslag-Solitar groups, free-by-cyclic groups, and many fundamental groups of three manifolds. The techniques used in the paper are $K$-theoretic: they have their origin in Baum-Connes-Kasparov type assembly maps, and in the Elliott program to classify $C^*$-algebras; Kasparov's bivariant KK-theory is a crucial tool. The key new technical ingredients are: a stable uniqueness theorem in the sense of Dadarlat-Eilers and Lin that works for non-exact $C^*$-algebras; and an analysis of maps on $K$-theory with finite coefficients in terms of the relative eta invariants of Atiyah-Patodi-Singer. Despite the proofs going through $K$-theoretic machinery, the main theorems can be stated in elementary terms that do not need any $K$-theory.

Vanishing evaluations of simple functors

Simple biset functors and double Burnside rings

Vanishing of quasi-invariant generalized functions

Ideals of some Green biset functors

Cohomologically Induced Distinguished Representations and a Non-Vanishing Hypothesis for Algebraicity of Critical L-values

A Note on the Non-Existence of Functors

Functors on the category of finite sets revisited

Biset functors for categories

Evaluation birepresentations of affine type A Soergel bimodules

On the Triviality of Gorenstein -Modules

Cotorsion pairs, Gorenstein dimensions and triangle-equivalences

Special cases on the relative rank of G-equivariant functions over an infinite G-set

Generic vanishing, 1-forms, and topology of Albanese maps

Notes on gauging noninvertible symmetries. Part I. Multiplicity-free cases

Koszul Complexes and Relative Homological Algebra of Functors Over Posets

Hypergeometric evaluation identities and supercongruences

Stable functors of derived equivalences and Gorenstein projective modules

Weak notions of normality and vanishing up to rank in L2-cohomology

Evaluation 2-Functors for Kac-Moody 2-Categories of Type A2

Conditional representation stability, classification of $*$-homomorphisms, and relative eta invariants

Geometric Eisenstein series I: finiteness theorems