The Proalgebraic Completion of Rigid Groups

A finitely generated group is called representation rigid (briefly, rigid) if for every n, has only finitely many classes of simple representations in dimension n. Examples include higher rank S-arithmetic groups. By Margulis super rigidity, the latter have a stronger property: they are representation super rigid; i.e., their proalgebraic completion is finite dimensional. We construct examples of nonlinear rigid groups which are not super rigid, and which exhibit every possible type of infinite dimensionality. Whether linear representation rigid groups are super rigid remains an open question.