de la Harpe, PierreSection de mathématiques, Université de Genève
Author
Abstract
Let \(G\) be a group. A subset \(F \subset G\) is called irreducibly faithful if there exists an irreducible unitary representation \(\pi\) of \(G\) such that \(\pi(x) \neq\) id for all \(x \in F \backslash \{e\}\). Otherwise \(F\) is called irreducibly unfaithful. Given a positive integer \(n\), we say that \(G\) has Property \({\cal P}(n)\) if every subset of size \(n\) is irreducibly faithful. Every group has \({\cal P}(1)\), by a classical result of Gelfand and Raikov. Walter proved that every group has \({\cal P}(2)\). It is easy to see that some groups do not have \({\cal P}(3)\). We provide a complete description of the irreducibly unfaithful subsets of size \(n\) in a countable group \(G\) (finite or infinite) with Property \({\cal P}(n-1)\) : it turns out that such a subset is contained in a finite elementary abelian normal subgroup of \(G\) of a particular kind. We deduce a characterization of Property \({\cal P}(n)\) purely in terms of the group structure. It follows that, if a countable group \(G\) has \({\cal P}(n-1)\) and does not have \({\cal P}(n)\), then \(n\) is the cardinality of a projective space over a finite field. A group \(G\) has Property \({\cal Q}(n)\) if, for every subset \(F \subset G\) of size at most \(n\), there exists an irreducible unitary representation \(\pi\) of \(G\) such that \(\pi(x) \neq \pi(y)\) for any distinct \(x, y\) in \(F\). Every group has \({\cal Q} (2)\). For countable groups, it is shown that Property \({\cal Q} (3)\) is equivalent to \({\cal P} (3)\), Property \({\cal Q} (4)\) to \({\cal P} (6)\), and Property \({\cal Q} (5)\) to \({\cal P}(9)\). For \(m, n \geq 4\), the relation between Properties \({\cal P} (m)\) and \({\cal Q} (n)\) is closely related to a well-documented open problem in additive combinatorics.
Caprace, P.-E., & de la Harpe, P. (2020). Groups with irreducibly unfaithful subsets for unitary representations. Confluentes Mathematici, 12(np), 31-68. https://doi.org/10.5802/cml.61 (Original work published 2020)