Property (T) discrete quantum groups and subfactors with triangle presentations (Q1721947)

This article presents results of three different kinds. The first result is a spectral criterion for a rigid C*-tensor category to have property (T), described in Theorem 3.2. It provides a version of Żuk's criterion for discrete groups to have property (T). The use of the result is illustrated first by a new proof that the representation category of \(\mathrm{SU}_\mu(3)\) for \(\mu \in (-1, 1) \setminus \{0\}\) has property \((T)\) with explicit Kazhdan constants. For their second result, the authors construct discrete quantum groups given a triangle presentation, which was originally used in combinatorical group theory to provide interesting examples of property (T) groups by generators and relations. Definition 5.1 is a quantised analogue of these group presentations and defines yields indeed quantum groups with property (T), as the new spectral criterion shows. This new class of quantum groups is not directly constructed from a discrete group, just as free quantum groups are not directly constructed from free groups. In the process of proving property (T) and starting the classification of the new class of quantum groups up to monoidal equivalence, the authors obtain a third kind of result in Proposition 5.11 and Section 6. It concerns the categories \(\mathcal{C}_f(K \leq G)\) recently associated by \textit{Y. Arano} and \textit{S. Vaes} [Abel Symp. 12, 1--43 (2016; Zbl 1375.46055)] with the inclusion a compact open subgroup \(K\) into a locally compact group \(G\). Fibre functors on \(\mathcal{C}_f(K \leq G)\) are constructed from a subgroup pairs \(\Gamma \leq G\) such that \(\Gamma \cap K = \{e\}\) and \(\Gamma K = G\). In their introduction, the authors raise the question whether all fibre functors on \(\mathcal{C}_f(K \leq G)\) can be obtained this way.