Unitary representations of locally compact groups as metric structures

DOI10.1215/00294527-10670015MaRDI QIDQ6165004zbMATH OpenOpenAlexFDO

Authors Itaï Ben Yaacov, Isaac Goldbring

Publication date 28 July 2023

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2111.02835

zbMATH Keywords

continuous logiccontinuous unitary representationlocally compact groupmetric structurenondegenerate \(\ast\)-representationproperty (T)ultrapowerultraproduct

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Unitary representations of locally compact groups (22D10) Representations of group algebras (22D20) Kazhdan's property (T), the Haagerup property, and generalizations (22D55)

Abstract: For a locally compact group $G$, we show that it is possible to present the class of continuous unitary representations of $G$ as an elementary class of metric structures, in the sense of continuous logic. More precisely, we show how non-degenerate $\ast$-representations of a general $\ast$-algebra $A$ (with some mild assumptions) can be viewed as an elementary class, in a many-sorted language, and use the correspondence between continuous unitary representations of $G$ and non-degenerate $\ast$-representations of $L^1(G)$. We relate the notion of ultraproduct of logical structures, under this presentation, with other notions of ultraproduct of representations appearing in the literature, and characterise property (T) for $G$ in terms of the definability of the sets of fixed points of $L^1$ functions on $G$.

Review text

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.

Recommendations

• scientific article; zbMATH DE number 3105502
• scientific article; zbMATH DE number 3937431
• Unitary representations and compact groups
• scientific article; zbMATH DE number 3104373
• Families of stable manifolds of invariant sets of systems of parabolic equations
• Universal actions and representations of locally finite groups on metric spaces
• Unitary structure in representations of infinite-dimensional groups and a convexity theorem
• scientific article; zbMATH DE number 3290665
• Representations and compactifications of locally compact groups
• Unitary representations of unitary groups

Cites work

• Application des ultraproduits à l'étude des espaces et des algèbres de Banach
• Filter products of \(C_{0}\)-semigroups and ultraproduct representations for Lie groups.
• Hilbert spaces with generic groups of automorphisms
• scientific article; zbMATH DE number 918597 (Why is no real title available?)
• Kazhdan's property
• Modular functionals and perturbations of Nakano spaces

Cited in

(4)

• Metric groups, unitary representations and continuous logic
• Unitary representations of the groups of measurable and continuous functions with values in the circle
• scientific article; zbMATH DE number 3104373 (Why is no real title available?)
• Model theory of Hilbert spaces with a discrete group action

This page was built for publication: Unitary representations of locally compact groups as metric structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6165004)