Unitary representations of locally compact groups as metric structures (Q6165004)

For a locally compact group \(G\), the authors show that the class of continuous unitary representations of \(G\) is elementary (that is: axiomatizable) in the sense of continuous logic. They also relate the notion of ultraproduct in the sense of (continuous) logic with other notions of ultraproduct of representations appearing in the literature. The authors also obtain an interesting result (Theorem 4.2) about a model-theoretic characterization of Kazhdan's property (T) in a locally compact group \(G\) in terms of definability of certain sets of fixed points in the associated structure.