May 2023 Unitary Representations of Locally Compact Groups as Metric Structures
Itaï Ben Yaacov, Isaac Goldbring
Author Affiliations +
Notre Dame J. Formal Logic 64(2): 159-172 (May 2023). DOI: 10.1215/00294527-10670015

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 nondegenerate ∗-representations of a general ∗-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 nondegenerate ∗-representations of L1(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 we characterize property (T) for G in terms of the definability of the sets of fixed points of L1 functions on G.

Citation

Download Citation

Itaï Ben Yaacov. Isaac Goldbring. "Unitary Representations of Locally Compact Groups as Metric Structures." Notre Dame J. Formal Logic 64 (2) 159 - 172, May 2023. https://doi.org/10.1215/00294527-10670015

Information

Received: 24 May 2022; Accepted: 6 February 2023; Published: May 2023
First available in Project Euclid: 27 June 2023

MathSciNet: MR4609001
zbMATH: 07720259
Digital Object Identifier: 10.1215/00294527-10670015

Subjects:
Primary: 03C20 , 22D10 , 22D20 , 22D55

Keywords: Continuous logic , continuous unitary representation , locally compact group , metric structure , nondegenerate ∗-representation , property (T) , ultrapower , ultraproduct

Rights: Copyright © 2023 University of Notre Dame

JOURNAL ARTICLE
14 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.64 • No. 2 • May 2023
Back to Top