Abstract
We give a new categorical approach to the Halmos–von Neumann theorem for actions of general topological groups. As a first step, we establish that the categories of topological and measure-preserving irreducible systems with discrete spectrum are equivalent. This allows to prove the Halmos–von Neumann theorem in the framework of topological dynamics. We then use the Pontryagin and Tannaka–Krein duality theories to obtain classification results for topological and then measure-preserving systems with discrete spectrum. As a byproduct, we obtain a complete isomorphism invariant for compactifications of a fixed topological group.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The desire to find meaningful isomorphism invariants for objects is present in many mathematical areas and has lead to fruitful new disciplines such as homological algebra, algebraic topology and K-theory. In ergodic theory it inspired the famous isomorphism problem: Given a measure-preserving transformation \(\varphi :\textrm{X} \rightarrow \textrm{X}\) on a probability space \(\textrm{X}\), can we find a simple isomorphism invariant which is complete, i.e., classifies \((\textrm{X},\varphi )\) up to an isomorphism?Footnote 1
For transformations which are “irreducible” (i.e., ergodic) and “structured” (i.e., have discrete spectrum) this question was first answered positively by P. Halmos and J. von Neumann in [16] (see also Section 4 of von Neumann’s article [34]). Their results classify such systems in terms of the point spectrum \(\sigma _{\textrm{p}}(T_\varphi )\) of the induced Koopman operatorFootnote 2\(T_\varphi \in {\mathscr {L}}(\textrm{L}^1(\textrm{X}))\) defined by \(T_\varphi f \, {:}{=}\, f \circ \varphi \) for \(f \in \textrm{L}^1(\textrm{X})\) which is (for such systems) a subgroup of the complex unit circle \(\mathbb {T}\). In modern language their results can be summarized as follows (see [7, Chapter 17]).
Theorem
The following assertions hold for ergodic systems with discrete spectrum.
-
(i)
Two systems \((\textrm{X}_1,\varphi _1)\) and \((\textrm{X}_2,\varphi _2)\) are isomorphic if and only if \(\sigma _{\textrm{p}}(T_{\varphi _1}) = \sigma _{\textrm{p}}(T_{\varphi _2})\).
-
(ii)
Given any subgroup \(\sigma \subseteq \mathbb {T}\) there is a system \((\textrm{X},\varphi )\) with \(\sigma _{\textrm{p}}(T_\varphi ) = \sigma \).
-
(iii)
Any such system is isomorphic to a rotation system on a compact monothetic group.
Thus, their result not only shows that the point spectrum of the Koopman operator is a complete isomorphism invariant, but also characterizes the resulting point spectra precisely as the subgroubs of the complex unit circle, and exhibits a canonical representative for every isomorphism class. These three aspects of the classification result are known as uniqueness, realization and representation.
The theorem has been modified and generalized in several directions. There is a version for minimal homeomorphisms on compact spaces with discrete spectrum (see [36, Section 5.5], [4, Chapter VIII], and [6, Theorem 3.1 and Section 4]) as well as an extension to topological and measure-preserving systems with quasi-discrete spectrum (see [1, 14], and [13]), and to non-ergodic systems (see [24] and [6]). Moreover, there are versions for actions of abelian groups (see [19, Subsection 1.5] and [32, Theorem 2.6]), even on non-commutative von Neumann algebras (see [28, Sections 5 and 7]). G. Mackey (see [26]) and R. Ellis (in [9]) gave a partial generalization of the original result to actions of arbitrary groups. The representation aspect is treated even for group representations on Banach lattices with discrete spectrum in a paper by R. Nagel and M. Wolff (see [27]).
A further remarkable step has been made by R. Zimmer [37]: He proved a “full version” of the Halmos–von Neumann theorem covering all three aspects for so-called normal actions of a second countable, locally compact group on standard probability spaces. Here, normality is a strengthened version of discrete spectrum which arises when studying actions of non-abelian groups. Zimmer’s results even cover the more general case of normal extensions of ergodic measure-preserving systems. His proofs are very measure-theoretic in nature and some of his concepts rely on the rather involved theory of virtual groups.
One goal of this work is to provide a new and accessible proof of Zimmer’s result in the case of systems by using topological models. With this approach we avoid any measure-theoretic intricacies by first proving a purely topological version of the result and then simply “translating” it to ergodic theory. This also allows to drop any separability assumptions imposed on the group and the spaces it acts on. Our work therefore contributes to a recent endeavour by A. Jamneshan and T. Tao to remove such assumptions from classical results of ergodic theory (see, e.g., [17, 20,21,22]).
The second major purpose of this article is to give a more concise and precise formulation of the coherences established by the Halmos–von Neumann theorem by using category theoretical language. Written in this way, the topological version of the Halmos–von Neumann theorem establishes an equivalence between three categories for a fixed topological group G: the category of (pointed) normal G-actions, the category of compactifications of G and the category of grouplike subsets of its dual (see Theorem 6.41 for the precise formulation). Moreover, we show that there is an equivalence between the categories of normal topological and measure-preserving systems, respectively (see Theorem 6.38). Thus, all these mathematical worlds are—in essence—the same.
This article is also a preparation for upcoming work in which we discuss structured extensions in topological dynamics and ergodic theory. Even if one is only interested in \(\mathbb {Z}\)-actions, more general (possibly non-commutative) groups arise naturally when studying extensions between systems having relative discrete spectrum. A thorough understanding of the Halmos–von Neumann theorem for actions of arbitrary groups is therefore the basis for studying the “relative case” of structured extensions.
Let us finally remark that the key results of this article are on compactifications of topological groups. In fact, the proof of the Halmos–von Neumann theorem is closely tied to the duality theory of compact groups. The well-known and elegant Pontryagin duality (see, e.g., [11, Section 4.3]) is already used in the original work of Halmos and von Neumann and can still be employed when dealing with actions of abelian groups (see Sect. 5.2 below). In the non-commutative case, it is replaced by the much more sophisticated Tannaka–Krein duality (see, e.g., [15, Paragraph 30] and [18]). As pointed out in the introduction of [15, Paragraph 30], a general compact group is not determined by its dual, i.e., the set of equivalence classes of irreducible representations. This is the reason why the Tannaka–Krein duality is rather difficult to state. However, we show below that, when dealing with compatifications H of a fixed topological group G, the situation becomes much easier: The dual of H (embedded as a subset of the dual of G) already determines the compactification uniquely up to an isomorphism (see Theorem 6.26). This purely harmonic analytic observation is interesting in its own right and is the essential part of our results.
1.1 Organization of the Article and Main Results
We now briefly outline the structure of this article. In Sect. 2 we recall the concept of discrete spectrum in the general framework of bounded strongly continuous group representations (see Sect. 2.1). We then discuss properties of topological (see Sect. 2.2) and measure-preserving (see Sect. 2.3) dynamical systems having discrete spectrum. In Sect. 3 we provide a short repetition of basic category theoretical language illustrated by means of the Gelfand representation theory for unital commutative C*-algebras. We establish in Sect. 4 that the categories of irreducible topological and measure-preserving dynamical systems with discrete spectrum are equivalent (see Theorem 4.8). The Halmos–von Neumann theorem for actions of commutative groups is then discussed in Sect. 5.1 (in a classical formulation, see Theorem 5.4 and Theorem 5.5) and in Sect. 5.2 (in terms of category theory, see Theorem 5.25).Footnote 3 Our main results are then contained in Sect. 6. After introducing the necessary concepts in Sects. 6.1, 6.2 and 6.3, we prove a Tannaka–Krein-type duality result for compactifications of topological groups (see Theorem 6.26). After introducing normal systems in Sect. 6.5, we use this to prove versions of the Halmos–von Neumann theorem for actions of general groups in Sect. 6.6, first in a category theoretical language (see Theorem 6.41) and then in a more classical formulation (see Theorems 6.43 and 6.43).
1.2 Terminology and Notation
In the following all compact spaces are Hausdorff and all vector spaces are complex. If E is a Banach space, we write \({\mathscr {L}}(E)\) for the space of bounded linear operators on E, and \(E'\) for the dual space.
We now briefly recall some concepts and terminology from topological dynamics and ergodic theory (see, e.g., [2, 10, 35], and [7] for an introduction). Here and in the following, G denotes a fixed topological group and 1 is its neutral element.
A topological dynamical system is a pair \((K,\varphi )\) consisting of a compact space K and a continuous group action \(\varphi :G \times K \rightarrow K, \, (t,x) \mapsto \varphi _t(x) = tx\). We call \((K,\varphi )\) minimal if K and \(\emptyset \) are the only closed invariant subsets of K.
Topological dynamical systems can be studied effectively from an operator theoretic perspective via the induced Koopman representation
where \(T^\varphi _tf \, {:}{=}\, f \circ \varphi _{t^{-1}}\) for \(f \in \textrm{C}(K)\). This is a strongly continuous group representation, i.e., the map \(G \rightarrow \textrm{C}(K), \, t \mapsto T_t^\varphi f\) is continuous for every \(f \in \textrm{C}(K)\) (see [7, Theorem 4.17]).
We recall that a morphism \(q :(K,\varphi ) \rightarrow (L,\psi )\) between topological dynamical systems \((K,\varphi )\) and \((L,\psi )\) is a continuous map \(q:K \rightarrow L\) such that the diagram
![](http://media.springernature.com/lw200/springer-static/image/art%3A10.1007%2Fs10485-023-09743-y/MediaObjects/10485_2023_9743_Equ112_HTML.png)
commutes for every \(t \in G\). If q is surjective (which is automatically the case whenever \((L,\psi )\) is minimal), then q is also called an extension. Every morphism \(q :(K,\varphi ) \rightarrow (L,\psi )\) induces an operator \(J_q \in {\mathscr {L}}(\textrm{C}(L), \textrm{C}(K))\) given by \(J_qf \, {:}{=}\, f \circ q\) for \(f \in \textrm{C}(L)\) intertwining the group representations \(T^\psi \) and \(T^\varphi \). Moreover, q is an extension if and only if \(J_q\) is an isometry.
Classically, if G is a discrete group, a measure-preserving point-transformation is a pair \((\textrm{X},\varphi )\) where \(\textrm{X} = (X, \Sigma _\textrm{X},\mu _\textrm{X})\) is a probability space and \(\varphi = (\varphi _t)_{t \in G}\) is a family of measurable and measure-preserving maps on \(\textrm{X}\) such that \(\varphi _{1} = \textrm{id}_X\) and \(\varphi _{t_1t_2} = \varphi _{t_1}\circ \varphi _{t_2}\) almost everywhere for all \(t_1,t_2 \in G\).
As in the topological case, every measure-preserving system gives rise to a Koopman representation
where again \(T_t^\varphi f \, {:}{=}\, f \circ \varphi _{t^{-1}}\) for \(f \in \textrm{L}^1(\textrm{X})\) and \(t \in G\). For every \(t \in G\) the operator \(T_t \, {:}{=}\, T^\varphi _t \in {\mathscr {L}}(\textrm{L}^1(\textrm{X}))\) is a Markov isomorphism, i.e., \(T_t\) is an invertible isometry with \(|T_t f|= T_t|f|\) for all \(f \in \textrm{L}^1(\textrm{X})\) and \(T_t \mathbb {1} = \mathbb {1}\) (see [7, Section 13.2]). If \(\textrm{X}\) is a standard probability space, then a result of von Neumann tells that any group representation \(T :G \rightarrow {\mathscr {L}}(\textrm{L}^1(\textrm{X}))\) of G as Markov isomorphisms on \(\textrm{L}^1(\textrm{X})\) is induced by a measure-preserving system \((\textrm{X},\varphi )\) in this way. Moreover, \(\varphi _t\) is unique up to a null-set for every \(t \in G\) (see [7, Theorem 7.20]). On general probability spaces such representations are still induced by transformations of the measure algebra (see [7, Theorem 12.10]). However, we avoid these measure-theoretic intricacies and stick with the functional analytic perspective. Thus, here a measure-preserving system (for an arbitrary topological group G) is a pair \((\textrm{X},T)\) consisting of a probability space \(\textrm{X}\) and a strongly continuous group representation \(T :G \rightarrow {\mathscr {L}}(\textrm{L}^1(\textrm{X})), \, t \mapsto T_t\) as Markov lattice isomorphisms on \(\textrm{L}^1(\textrm{X})\). It is ergodic if the fixed space
is one-dimensional.
Finally, a morphism (or extension) \(J :(\textrm{Y},S) \rightarrow (\textrm{X},T)\) between such systems is a Markov embedding \(J \in {\mathscr {L}}(\textrm{L}^1(\textrm{Y}),\textrm{L}^1(\textrm{X}))\) intertwining the representations, i.e., J is an isometry, satisfies \(|Jf| = J|f|\) for all \(f \in \textrm{L}^1(\textrm{X})\) as well as \(J\mathbb {1} = \mathbb {1}\), and the diagram
![](http://media.springernature.com/lw129/springer-static/image/art%3A10.1007%2Fs10485-023-09743-y/MediaObjects/10485_2023_9743_Equ113_HTML.png)
commutes for every \(t \in G\).
Many examples in ergodic theory arise from topological dynamical systems. Given a topological dynamical system \((K,\varphi )\) we write \(\textrm{P}_{\varphi }(K)\) for the space of invariant probability measuresFootnote 4 on K. By the Riesz representation theorem we can identify this with a weak*-compact convex subset of the dual space \(\textrm{C}(K)'\) of \(\textrm{C}(K)\). We also remark that if \(q :(K,\varphi ) \rightarrow (L,\psi )\) is a morphism to another system \((L,\psi )\) and \(\mu \in \textrm{P}_{\varphi }(K)\), then \(q_{*}\mu \, {:}{=}\, \mu \circ J_q \in \textrm{P}_{\psi }(L)\). We call \(q_{*} \mu \) the push-forward of \(\mu \).
Now, if \(\mu \) is an invariant probability measure of a system \((K,\varphi )\), we write \((K,\mu )\) for the arising Borel probability space and note that the Koopman representation \(T^\varphi :G \rightarrow {\mathscr {L}}(\textrm{C}(K))\) uniquely extends to a strongly continuous group representation
as Markov isomorphisms. Thus, every invariant probability measure \(\mu \) of a topological dynamial system \((K,\varphi )\) gives rise to a measure-preserving system and we denote this by \((K,\mu ,T^\varphi )\).
2 Systems with Discrete Spectrum
2.1 Group Representations with Discrete Spectrum
Structured systems in topological dynamics and ergodic theory can be introduced quite elegantly via the respective Koopman representations. We therefore first cover the notion of discrete spectrum in the abstract, operator theoretic framework of representations \(T :G \rightarrow {\mathscr {L}}(E), \, t \mapsto T_t\) of G on a Banach space E which are (norm) bounded (i.e., \(\sup _{t \in G} \Vert T_t\Vert < \infty \)) and strongly continuous (i.e., the map \(G \rightarrow E, \, t \mapsto T_tv\) is continuous for every \(v \in E\)).
Definition 2.1
A bounded strongly continuous group representation \(T :G \rightarrow {\mathscr {L}}(E)\) on a Banach space E has discrete spectrum if
Loosely speaking, this means that the representation is generated by its “small” subrepresentations. Here is a different characterization (extending [7, Theorem 16.36]) in terms of the enveloping operator semigroup
where the closure is taken with respect to the strong operator topology (cf. [7, Appendix C.8]).
Proposition 2.2
For a bounded strongly continuous group representation \(T :G \rightarrow {\mathscr {L}}(E)\) on a Banach space E the following assertions are equivalent.
-
(a)
T has discrete spectrum.
-
(b)
The orbits \(\{T_tv\mid t \in G\}\) are relatively compact for every \(v \in E\).
-
(c)
The semigroup \({\mathcal {J}}(T)\) is a compact topological group.
Proof
Assume that (a) holds. Since bounded subsets of finite-dimensional normed spaces are relatively compact, we have a dense subset \(D \subseteq E\) such that the orbit \(\{T_tv \mid t \in G\}\) is relatively compact for every \(v \in D\). But, again since the representation is bounded, this already implies that all orbits are relatively compact (see [7, Exercise 16.10]), hence (b).
If (b) holds, then \({\mathcal {J}}(T)\) is compact (see again [7, Exercise 16.10]). Since composing operators is jointly continuous on norm bounded subsets (see [7, Proposition C.19]), we obtain that \({\mathcal {J}}(T)\) is a compact topological semigroup. Using compactness it is readily checked that if \(S = \lim _{i} T_{t_i}\) with respect to the strong operator topology for some net \((T_{t_i})_{i \in I}\), then \((T_{t_i^{-1}})_{i \in I}\) converges to an inverse of S. A similar argument shows that inversion is a continuous map on \(\mathcal {J}\) and therefore \({\mathcal {J}}(T)\) is a compact topological group. This shows (c).
Finally, if (c) holds, then (a) follows by a corollary of the Peter-Weyl representation theory for compact groups (see [7, Theorem 15.14]). \(\square \)
In the case of an abelian group G, we obtain the following additional characterization using the dual group
of G (where \(\mathbb {T}\) is the complex unit circle).
Proposition 2.3
Assume that the group G is commutative. A bounded strongly continuous group representation \(T :G \rightarrow {\mathscr {L}}(E)\) on a Banach space E has discrete spectrum if and only if
Proof
If T has discrete spectrum, than the desired equality follows directly from Proposition 2.2 (c) combined with [7, Corollary 15.18]. The other implication is trivial. \(\square \)
Remark 2.4
If \(G= \mathbb {Z}\), we can identify \(G^*\) with \(\mathbb {T}\) and the condition in Proposition 2.3 becomes the usual notion of discrete spectrum for power-bounded operators (cf. [7, Section 16.36]).
2.2 Topological Dynamical Systems with Discrete Spectrum
The definition of systems with discrete spectrum in topological dynamics is now a special case of the more general setting discussed in Sect. 2.1.
Definition 2.5
A topological dynamical system \((K,\varphi )\) has discrete spectrum if the induced Koopman representation \(T^\varphi :G \rightarrow {\mathscr {L}}(\textrm{C}(K))\) has discrete spectrum.
Clearly, a trivial action on any compact space has discrete spectrum. Prototypical examples for minimal systems with discrete spectrum are the following rotations and quasi-rotations.
Example 2.6
Call a pair (H, c) with H a compact group and \(c :G \rightarrow H\) a continuous group homomorphism with dense range a group compactificationFootnote 5 of G (see [5, Remark D.12.3]). Given such a group compactification (H, c) the continuous group action
defines a minimal topological dynamical system \((H,\varphi _c)\) with discrete spectrum which we call a (topological) rotation (use the representation theory of compact groups, see, e.g., [11, Section 5.2]), cf. [5, Remark 3.35.6].
Given a closed subgroup U of H, we also obtain an action on the homogeneuous space H/U via
Then \((H/U,\varphi )\) is still a minimal topological dynamical system with discrete spectrum (as both properties are stable with respect to taking factors). We call this a (topological) quasi-rotation.
There are additional well-known characterizations of topological dynamical systems with discrete spectrum. To recall them, we remind the reader of some standard concepts from topological dynamics (cf. [2, Chapter 2], [5, Section IV.2] and [8, Definition 1.16]).
Definition 2.7
A topological dynamical system \((K,\varphi )\) is
-
(i)
equicontinuous if the set \(\{\varphi _t\mid t \in G\} \subseteq \textrm{C}(K,K)\) is equicontinuous.
-
(ii)
pseudoisometric if there is a family P of pseudometrics on K generating the topology such that \(p(tx,ty) = p(x,y)\) for all \(x,y \in K\), \(t \in G\) and \(p \in P\).
-
(iii)
isometric if P in (ii) can be chosen to consist of a single element (which is then necessarily a metric on K).
We also remind the reader of the construction of enveloping semigroups in topological dynamics (cf. [2, Chapters 3 and 5]). We will use the following version (see also the introduction of [8]).
Definition 2.8
For a topological dynamical system \((K,\varphi )\) the closure
with respect to the topology of uniform convergence equipped with the composition of maps is the uniform enveloping semigroup of \((K,\varphi )\).
The following result shows that we can identify the uniform enveloping semigroup with the enveloping operator semigroup of the induced Koopman representations. However, it is sometimes convenient to work with one or the other.
Proposition 2.9
Let \((K,\varphi )\) be a topological dynamical system. Then the map
with \(S_\vartheta f \, {:}{=}\, f \circ \vartheta \) for \(f \in \textrm{C}(K)\) and \(\vartheta \in \textrm{E}_{\textrm{u}}(K,\varphi )\) is an anti-isomorphism of topological semigroups.
Proposition 2.9 is a direct consequence of the following lemma.
Lemma 2.10
Let K be a compact space. Equip \(\textrm{C}(K,K)\) with the topology of uniform convergence and the space of unital algebra homomorphisms \(\textrm{Hom}(\textrm{C}(K))\) with the strong operator topology. Then the map
with \(S_\vartheta f \, {:}{=}\, f \circ \vartheta \) for \(f \in \textrm{C}(K)\) and \(\vartheta \in \textrm{C}(K,K)\) is an anti-isomorphism of topological semigroups.
Proof
The map is a bijection by [7, Theorem 4.13] and it is clear that it is an antihomomorphism of semigroups. To show that it is a homeomorphism, let \((\vartheta _i)_{i \in I}\) be a net in \(\textrm{C}(K,K)\) and \(\vartheta \in \textrm{C}(K,K)\). Since the uniform structure of K is generated by the continuous functions \(f \in \textrm{C}(K)\), we obtain that \(\lim _{i} \vartheta _i = \vartheta \) uniformly if and only if
in the norm of \(\textrm{C}(K)\) for every \(f \in \textrm{C}(K)\). But this means \(\lim _i S_{\vartheta _i} = S_\vartheta \) with respect to the strong operator topology. \(\square \)
This leads to the following additional characterizations of topological dynamical systems with discrete spectrum.
Theorem 2.11
For a topological dynamical system \((K,\varphi )\) the following assertions are equivalent.
-
(a)
The system \((K,\varphi )\) has discrete spectrum.
-
(b)
The uniform enveloping semigroup \(\textrm{E}_{\textrm{u}}(K,\varphi )\) is a compact topological group.
-
(c)
The system \((K,\varphi )\) is pseudoisometric.
-
(d)
The system \((K,\varphi )\) is equicontinuous.
If the space K is metrizable, then these assertions are also equivalent to
-
(c’)
The system \((K,\varphi )\) is isometric.
Proof
Assume that (a) holds. By Proposition 2.2 we obtain that \({\mathcal {J}}(T^\varphi )\) is a compact topological group and therefore also \(\textrm{E}_{\textrm{u}}(K,\varphi )\) is a compact topological group by Proposition 2.9. This shows (b).
Now assume (b) and take a family Q of pesudometrics generating the topology of K. By setting
for \((x,y) \in K\) and \(q \in Q\), we obtain a set \(P = \{p_q\mid q \in Q\}\) of pseudometrics satisfying the conditions of Definition 2.7 (ii). Therefore \((K,\varphi )\) is pseudoisometric, and, if K is metrizable, then even isometric. This shows the implications “(b) \(\Rightarrow \) (c)” and “(b) \(\Rightarrow \) (c’)”, respectively.
If \((K,\varphi )\) is pseudoisometric, then it is also equicontinuous, showing that (c) (and thus also (c’)) implies (d). Finally, assume that (d) holds, i.e., \((K,\varphi )\) is equicontinuous. Then the orbits
are equicontinuous and hence relatively compact by the Arzelà-Ascoli theorem for every \(f \in \textrm{C}(K)\). Thus, \((K,\varphi )\) has discrete spectrum by Proposition 2.2. \(\square \)
We also obtain the following characterization of minimality for systems with discrete spectrum. Here, in analogy to the measure-preserving case, a topological dynamical system \((K,\varphi )\) is called topologically ergodic if the fixed space of the Koopman representation
is one-dimensional (cf. [8, Section 7]).
Proposition 2.12
For a topological dynamical system \((K,\varphi )\) with discrete spectrum the following assertions are equivalent.
-
(a)
The system \((K,\varphi )\) is topologically ergodic.
-
(b)
The system \((K,\varphi )\) is minimal.
-
(c)
The system \((K,\varphi )\) is strictly ergodic, i.e., it is minimal and admits a unique invariant probability measure.
Proof
By Theorem 2.11 we obtain that \(\textrm{E}_{\textrm{u}}(K,\varphi )\) is a compact group. We denote its Haar measure by m. As the orbits of the action of \(\textrm{E}_{\textrm{u}}(K,\varphi )\) are precisely the minimal subsets, the system \((K,\varphi )\) is a disjoint union of its minimal subsets (this holds even more generally for distal systems, see [2, Corollary 5.4]).
Now assume that \((K,\varphi )\) contains two minimal subsets \(M_1\) and \(M_2\). We then find an \(f \in \textrm{C}(K)\) taking the value 0 on \(M_1\) and the value 1 on \(M_2\). But then the function
has the same property and is contained in \({\text {fix}}(T^\varphi )\). This shows that (a) implies (b).
If (b) holds, then it is easy to check that for \(x \in K\) setting
for \(f \in \textrm{C}(K)\) defines an invariant probability measure on K. By minimality of the system \((K,\varphi )\), the group \(\textrm{E}_{\textrm{u}}(K,\varphi )\) acts transitively on K which yields that \(\mu \) does not depend on the choice of \(x\in K\). If \(\nu \) is any other invariant probability measure on K, then it is also invariant with respect to the action of \(\textrm{E}_{\textrm{u}}(K,\varphi )\) and therefore
by Fubini’s theorem.
The implications “(c) \(\Rightarrow \) (b)” and “(b) \(\Rightarrow \) (a)” are obvious. \(\square \)
2.3 Measure-Preserving Systems with Discrete Spectrum
Similarly to the topological case, we now introduce measure-preserving dynamical systems with discrete spectrum.
Definition 2.13
A measure-preserving system \((\textrm{X},T)\) has discrete spectrum if the underlying strongly continuous group representation \(T :G \rightarrow {\mathscr {L}}(\textrm{L}^1(\textrm{X}))\) has discrete spectrum.
The following are the measure-thereotic versions of the standard examples discussed in Example 2.6.
Example 2.14
Let (H, c) be a group compactification of G and \((H,\varphi _c)\) the induced group rotation of Example 2.6. The Haar measure \(m_H\) on H then induces an ergodic measure-preserving system \((H,m_H,T^{\varphi _{c}})\) with discrete spectrum. We call such systems (measure-preserving) rotations.
More generally, given any closed subgroup U of H we equip the quasi-rotation \((H/U,\varphi )\) with the pushforward \(m_{H/U}\) of the Haar measure \(m_H\) to again arrive at an ergodic measure-preserving system \((H/U,m_{H/U},T^{\varphi _c})\) with discrete spectrum. Such systems are (measure-preserving) quasi-rotations.
We recall the following interesting result from [27] related to ergodic systems with discrete spectrum.
Proposition 2.15
Let \((\textrm{X},T)\) be an ergodic measure-preserving system. If \(M \subseteq \textrm{L}^1(\textrm{X})\) is a finite-dimensional invariant subspace, then \(M \subseteq \textrm{L}^\infty (\textrm{X})\).
3 Some Category Theoretical Language
To compare the topological and the measure-preserving concepts of discrete spectrum, and to make the statement of the Halmos-von Neumann theorem as precise and concise as possible, we will use some category theoretical language. We briefly recall the necessary concepts, but refer to [25] or [12, Appendix 3] for a proper introduction.
Definition 3.1
A (locally small) category \({\mathscr {C}}\) consists of a class \(\textrm{Ob}({\mathscr {C}})\) of objects, a set \(\textrm{Mor}(X,Y) = \textrm{Mor}_{{\mathscr {C}}}(X,Y)\) of morphisms for every pair (X, Y) of objects, a composition map
for every triple (X, Y, Z) of objects and an identity morphism \(\textrm{id}_X \in \textrm{Mor}(X,X)\) for every object X satisfying the following conditions.
-
(i)
For objects W, X, Y, Z we have \(\textrm{Mor}(W,X) \cap \textrm{Mor}(Y,Z) = \emptyset \) if \(W \ne Y\) or \(X \ne Z\).
-
(ii)
For objects W, X, Y, Z the identity
$$\begin{aligned} \gamma \circ (\beta \circ \alpha ) = (\gamma \circ \beta ) \circ \alpha \end{aligned}$$holds for all \(\alpha \in \textrm{Mor}(W,X)\), \(\beta \in \textrm{Mor}(X,Y)\) and \(\gamma \in \textrm{Mor}(Y,Z)\).
-
(iii)
For objects W, X, Y the identities
$$\begin{aligned} \beta \circ \textrm{id}_X = \beta \text { and } \textrm{id}_{X} \circ \alpha = \alpha \end{aligned}$$hold for all \(\alpha \in \textrm{Mor}(W,X)\) and \(\beta \in \textrm{Mor}(X,Y)\).
Simple examples are the categories of sets (with maps as morphisms) or the category of vector spaces (with linear maps as morphisms). Topological dynamical systems (with respect to the fixed topological group G) together with their morphisms define a category \(\textbf{TopDyn}(G)\). Likewise, measure-preserving systems with their morphisms form a category \(\textbf{MeasDyn}(G)\).
By taking the Koopman representation of a topological dynamical system we also obtain an object of the following functional analytic category.
Example 3.2
We call a pair (A, T) a commutative \(\textrm{C}^*\)-dynamical system if A is a unital commutative \(\textrm{C}^*\)-algebra and \(T :G \rightarrow {\mathscr {L}}(A)\) is a strongly continuous group representation of G as \(^*\)-automorphisms. Every topological dynamical system \((K,\varphi )\) induces such a commutative \(\textrm{C}^*\)-dynamical system \((\textrm{C}(K),T^\varphi )\). A morphism \(J :(A,T) \rightarrow (B,S)\) between commutative \(\textrm{C}^*\)-dynamical system is a unital \(^*\)-homorphism \(V :A \rightarrow B\) such that the diagram
![](http://media.springernature.com/lw214/springer-static/image/art%3A10.1007%2Fs10485-023-09743-y/MediaObjects/10485_2023_9743_Equ114_HTML.png)
commutes for every \(t \in G\). For example, if \(q :(K,\varphi ) \rightarrow (L,\psi )\) is a morphism of topological dynamical systems, then the induced operator \(J_q :\textrm{C}(L) \rightarrow \textrm{C}(K), \, f \mapsto f \circ q\) is a morphism between the induced commutative \(\textrm{C}^*\)-dynamical systems \((\textrm{C}(L),T^\psi )\) and \((\textrm{C}(K),T^\varphi )\). We write \(\mathbf {ComC^*Dyn}(G)\) for the category of commutative \(\textrm{C}^*\)-dynamical systems.
Remark 3.3
Given any category \({\mathscr {C}}\) we can perform standard constructions.
-
(i)
A subcategory \({\mathscr {D}}\) of \({\mathscr {C}}\) consists of a subclass of objects of \({\mathscr {C}}\) and a subset \(\textrm{Mor}_{{\mathscr {D}}}(X,Y) \subseteq \textrm{Mor}_{{\mathscr {C}}}(X,Y)\) of morphisms for every pair (X, Y) of objects in \({\mathscr {D}}\) such that
-
\(\textrm{id}_X \in \textrm{Mor}_{{\mathscr {D}}}(X,X)\) for every object X in \({\mathscr {D}}\), and
-
\(\beta \circ \alpha \in \textrm{Mor}_{{\mathscr {D}}}(X,Z)\) for all \(\alpha \in \textrm{Mor}_{{\mathscr {D}}}(X,Y)\) and \(\beta \in \textrm{Mor}_{{\mathscr {D}}}(Y,Z)\) where X, Y, Z are objects in \({\mathscr {D}}\).
In this case, \({\mathscr {D}}\) becomes a category in its own right in the obvious way. If \(\textrm{Mor}_{{\mathscr {D}}}(X,Y) = \textrm{Mor}_{{\mathscr {C}}}(X,Y)\) for all objects X and Y in \({\mathscr {D}}\), then \({\mathscr {D}}\) is called a full subcategory of \({\mathscr {C}}\).
-
-
(ii)
The opposite category \({\mathscr {C}}^{\textrm{op}}\) has the same objects \(\textrm{Ob}({\mathscr {C}}^{\textrm{op}}) \, {:}{=}\, \textrm{Ob}({\mathscr {C}})\) but the reversed morphisms: \(\textrm{Mor}_{{\mathscr {C}}^{\textrm{op}}}(X,Y) \, {:}{=}\, \textrm{Mor}_{{\mathscr {C}}}(Y,X)\) for all objects X and Y. The composition maps are then also reversed.
To compare categories, we also need the concept of functors.
Definition 3.4
Given categories \({\mathscr {C}}\) and \({\mathscr {D}}\), a functor \(F:{\mathscr {C}} \rightarrow {\mathscr {D}}\) consists of
-
(i)
an assignment \(F :\textrm{Ob}({\mathscr {C}}) \rightarrow \textrm{Ob}({\mathscr {D}})\) and,
-
(ii)
a map
$$\begin{aligned} F = F_{X,Y} :\textrm{Mor}(X,Y) \rightarrow \textrm{Mor}(X,Y), \quad \alpha \mapsto F(\alpha ) \end{aligned}$$for every pair (X, Y) of objects in \({\mathscr {C}}\),
such that
-
(1)
\(F(\beta \circ \alpha ) = F(\beta ) \circ F(\alpha )\) for all \(\alpha \in \textrm{Mor}(X,Y)\) and \(\beta \in \textrm{Mor}(Y,Z)\) where X, Y, Z are objects in \({\mathscr {C}}\), and
-
(2)
\(F(\textrm{id}_X) = \textrm{id}_{F(X)}\) for every object X in \({\mathscr {C}}\).
On any category \({\mathscr {C}}\) there is the identity functor \(\textrm{Id}_{{\mathscr {C}}}:{\mathscr {C}} \rightarrow {\mathscr {C}}\) assigning every object and every morphism to itself. Given two functors \(F_1 :{\mathscr {C}} \rightarrow {\mathscr {D}}\) and \(F_2 :{\mathscr {D}} \rightarrow {\mathscr {E}}\) we can also consider the composition \(F_2 \circ F_1\) which is defined in the obvious way.
Example 3.5
For a topological dynamical system \((K,\varphi )\) we set \(\textrm{Koop}(K,\varphi ) \, {:}{=}\, (\textrm{C}(K),T^\varphi )\). If \(q :(K,\varphi ) \rightarrow (L,\psi )\) is a morphism between topological dynamical systems we take \(\textrm{Koop}(q)\) as the induced morphism \(J_q\) from \((\textrm{C}(L),T^\psi )\) to \((\textrm{C}(K),T^\varphi )\) (cf. Example 3.2). Then \(\textrm{Koop}\) is a functor from the category \(\textbf{TopDyn}(G)\) of topological dynamical systems to the opposite category \(\mathbf {ComC^*Dyn}(G)^{\textrm{op}}\) of commutative \(\textrm{C}^*\)-dynamical systems (since the direction of morphisms is reversed). We call this the Koopman functor.
By Gelfand’s representation theory for commutative \(\textrm{C}^*\)-algebras we also obtain a functor in the other direction.
Example 3.6
Let (A, T) be a commutative \(\textrm{C}^*\)-dynamical system. Then the spectrum (or Gelfand space)
equipped with the weak* topology is a compact space. By restricting the adjoints, i.e., setting \(\varphi _t \, {:}{=}\, T_{-t}'|_{\textrm{Spec}(A)}\) for \(t \in G\), we obtain a topological dynamical system \(\textrm{Spec}(A,T) \, {:}{=}\, (\textrm{Spec}(A),\varphi )\). Moreover, every morphism \(J :(A,T) \rightarrow (B,S)\) between commutative \(\textrm{C}^*\)-dynamical systems defines a morphism \(q \, {:}{=}\, J'|_{\textrm{Spec}(B)} :\textrm{Spec}(B,S) \rightarrow \textrm{Spec}(A,T)\) of topological dynamical systems. We therefore obtain a functor \(\textrm{Spec}\) from the category \(\mathbf {ComC^*Dyn}(G)^{\textrm{op}}\) to the category \(\textbf{TopDyn}(G)\) which we call the Gelfand functor.
Finally, we recall the concepts of natural transformations between functors and equivalence of two categories.
Definition 3.7
Given categories \({\mathscr {C}}\) and \({\mathscr {D}}\) and functors \(F_1, F_2 :{\mathscr {C}} \rightarrow {\mathscr {D}}\), a natural transformation \(\eta :F_1 \rightarrow F_2\) assigns to every object X of \({\mathscr {C}}\) a morphism \(\eta _X \in \textrm{Mor}_{{\mathscr {D}}}(F_1(X), F_2(X))\) such that the diagram commutes
![](http://media.springernature.com/lw158/springer-static/image/art%3A10.1007%2Fs10485-023-09743-y/MediaObjects/10485_2023_9743_Equ115_HTML.png)
for all morphisms \(\alpha \in \textrm{Mor}(X,Y)\) and objects X, Y of \({\mathscr {C}}\). If \(\eta _X\) is an isomorphism for every object X, then \(\eta \) is called a natural isomorphism.
Two functors \(F_1:{\mathscr {C}} \rightarrow {\mathscr {D}}\) and \(F_2 :{\mathscr {D}} \rightarrow {\mathscr {C}}\) are essentially inverse to each other if \(F_2 \circ F_1\) is naturally isomorphic to \(\textrm{Id}_{{\mathscr {C}}}\), and \(F_1 \circ F_2\) is naturally isomorphic to \(\textrm{Id}_{{\mathscr {D}}}\). In this case, the categories \({\mathscr {C}}\) and \({\mathscr {D}}\) are equivalent.
Example 3.8
If \((K,\varphi )\) is a topological dynamical system, we obtain an isomorphism
of topological dynamical systems by mapping each point \(x \in K\) to the corresponding point evaluation \(\delta _x :\textrm{C}(K) \rightarrow \mathbb {C}, \, f \mapsto f(x)\) (see [7, Theorem 4.11]). One readily checks that \(\gamma :\textrm{Id}_{\textbf{TopDyn}(G)} \rightarrow \textrm{Spec} \circ \textrm{Koop}\) is a natural isomorphism.
Example 3.9
If (A, T) is a commutative \(\textrm{C}^*\)-dynamical system, the Gelfand map \(A \rightarrow \textrm{C}(\textrm{Spec}(A)), \, x \mapsto [\chi \mapsto \chi (x)]\) defines an isomorphism
see, e.g., [7, Section 4.4 and the Supplement of Chapter 4]. A moment’s thought reveals that \(\gamma :\textrm{Id}_{\mathbf {ComC^*Dyn}(G)^{\textrm{op}}} \rightarrow \textrm{Koop} \circ \textrm{Spec}\) is actually a natural isomorphism.
As a consequence of the previous two examples, we immediately obtain the following well-known but fundamental consequence of the Gelfand-Naimark representation theorem for commutative \(\textrm{C}^*\)-algebras.
Theorem 3.10
The functors
establish an equivalence between the category of topological dynamical systems and the opposite category of commutative \(\textrm{C}^*\)-dynamical systems.
4 Equivalence Between Topological and Measure-Preserving Systems with Discrete Spectrum
We now show that, from a category theoretic point of view, the worlds of minimal topological dynamical systems with discrete spectrum on one hand, and ergodic measure-preserving systems with discrete spetrum on the other, are equivalent. This allows to prove a topological Halmos–von Neumann theorem and then derive the ergodic theory version simply by using this correspondence.
In the following we write \(\textbf{MinDisc}(G)\) for the full subcategory of \(\textbf{TopDyn}(G)\) having as objects the minimal systems with discrete spectrum. Likewise, the full subcategory of \(\textbf{MeasDyn}(G)\) of ergodic systems with discrete spectrum as its objects is denoted by \(\textbf{ErgDisc}(G)\).
Construction 4.1
Define a functor \(\textrm{Meas} :\textbf{MinDisc}(G) \rightarrow \textbf{ErgDisc}(G)^{\textrm{op}}\) by setting
-
(i)
\(\textrm{Meas}(K,\varphi ) \, {:}{=}\, (K,\mu ,T^\varphi )\) for every minimal topological dynamical system \((K,\varphi )\) with discrete spectrum, where \(\mu \) is the unique invariant probability measure (see Proposition 2.12), and
-
(ii)
\(\textrm{Meas}(q) \, {:}{=}\, J_q\) for a morphism \(q :(K,\varphi ) \rightarrow (L,\psi )\) between such systems, where \(J_q\) is the unique continuous extension of the induced operator \(J_q \in {\mathscr {L}}(\textrm{C}(L),\textrm{C}(K))\) to the corresponding \(\textrm{L}^1\)-spaces.
To construct a functor in the other direction we first prove the following easy lemma.
Lemma 4.2
Let \((\textrm{X},T)\) be a measure-preserving system. Then
is an invariant unital \(\textrm{C}^*\)-subalgebra of \(\textrm{L}^\infty (\textrm{X})\) and the map
is a bounded strongly continuous group representation as \(^*\)-automorphisms of \(\textrm{L}^\infty (\textrm{X})_{\textrm{disc}}\).
Proof
For every \(t \in G\) the operator \(T_t \in {\mathscr {L}}(\textrm{L}^1(\textrm{X}))\) restricts to a \(^*\)-automorphism \(T_t|_{\textrm{L}^\infty (\textrm{X})} \in {\mathscr {L}}(\textrm{L}^\infty (\textrm{X}))\) (see [7, Theorem 13.9]). The only remaining non-trivial assertion is strong continuity of the restricted representation. However, since the topologies induced by the \(\textrm{L}^\infty \) and \(\textrm{L}^1\)-norms agree on finite dimensional subspaces, we obtain that there is a dense subset \(D \subseteq \textrm{L}^\infty (\textrm{X})_{\textrm{disc}}\) such that
is continuous for every \(f \in D\). Since the representation is bounded, this already shows strong continuity (use [7, Proposition C.18]). \(\square \)
In other words, the pair \((\textrm{L}^\infty (\textrm{X})_{\textrm{disc}},T_{\textrm{disc}})\) is a commutative \(\textrm{C}^*\)-dynamical system (cf. Example 3.2). Applying Theorem 3.10, we arrive at a topological dynamical system with discrete spectrum. We use this observation to perform the following construction (keeping the notation of Lemma 4.2).
Construction 4.3
We define a functor \(\textrm{Top} :\textbf{ErgDisc}(G)^{\textrm{op}} \rightarrow \textbf{MinDisc}(G)\) by setting
-
(i)
\(\textrm{Top}(\textrm{X},T) \, {:}{=}\, \textrm{Spec}(\textrm{L}^\infty (\textrm{X})_{\textrm{disc}},T_{\textrm{disc}})\) for every ergodic measure-preserving system \((\textrm{X},T)\) with discrete spectrum, and
-
(ii)
\(\textrm{Top}(J)\, {:}{=}\, \textrm{Spec}(J|_{\textrm{L}^\infty (\textrm{Y})_{\textrm{disc}}})\) for every morphism \(J :(\textrm{Y},S) \rightarrow (\textrm{X},T)\) between such systems.
Note here that, for an ergodic measure-preserving system \((\textrm{X},T)\) with discrete spectrum, the constructed topological dynamical system \(\textrm{Spec}(\textrm{L}^\infty (\textrm{X})_{\textrm{disc}},T_{\textrm{disc}})\) with discrete spectrum is in fact minimal by Proposition 2.12.
To show that the functors \(\textrm{Meas}\) of Construction 4.1 and \(\textrm{Top}\) of Construction 4.3 are essentially inverse to each other, we now have to prove that the compositions \(\textrm{Top} \circ \textrm{Meas}\) and \(\textrm{Meas} \circ \textrm{Top}\) are naturally isomorphic to the identity functors on \(\textbf{MinDisc}(G)\) and \(\textbf{ErgDisc}(G)\), respectively. For the first composition we need the following lemma.
Lemma 4.4
Let \((K,\varphi )\) be a minimal system with discrete spectrum and \(\mu \) its unique invariant probability measure. If \(M \subseteq \textrm{L}^\infty (K,\mu )\) is a finite-dimensional, invariant subspace, then \(M \subseteq \textrm{C}(K)\).
Proof
Observe that is a compact group (see Theorem 2.11) acting continuously and transitively on K. This allows us to apply a Fourier analytic result from [8, Section 6]: For every equivalence class \([\pi ] \in \hat{H}\) of irreducible finite-dimensional representations of H we obtain an operator \(P_{[\pi ]} \in {\mathscr {L}}(\textrm{L}^2(K,\mu ))\) via
where \(\textrm{dim}([\pi ])\) and \(\textrm{tr}([\pi ])\) denote the dimension and trace of \([\pi ]\), respectively, \(S_{\vartheta } f \, {:}{=}\, f \circ \vartheta \) for \(\vartheta \in H\), and the integral is understood in the weak sense (see [30, Definition 3.26 and Theorem 3.27]). Moreover, \(P_{[\pi ]}f\) is contained in the closed linear hull of the orbit
for \(f \in \textrm{L}^2(K,\mu )\) (see again [30, Theorem 3.27]), and this implies \(P_{[\pi ]}M \subseteq M\) by invariance of M with respect to \(T^\varphi \) and continuity of the map \(H \rightarrow \textrm{L}^2(K,\mu ), \, \vartheta \mapsto S_{\vartheta }f\). By [8, Theorem 6.1] the operators \(P_{[\pi ]}\) for \([\pi ] \in \hat{H}\) are pairwise orthogonal projections with ranges in \(\textrm{C}(K)\) and
for every \(f \in \textrm{L}^2(K,\mu )\).Footnote 6 Now if \(f \in M\), then this series representation is actually a finite sum since M is finite-dimensional, and we conclude that \(f \in \textrm{C}(K)\). \(\square \)
Thus, if we start from a minimal topological dynamical system \((K,\varphi )\) with discrete spectrum, equip it with its unique invariant probability measure \(\mu \) and then perform the construction of Construction 4.3, we come back to the original system up to a canonical isomorphism. More precisely, we obtain the following.
Proposition 4.5
The functor \(\textrm{Top} \circ \textrm{Meas}:\textbf{MinDisc}(G) \rightarrow \textbf{MinDisc}(G)\) is the restriction of the functor \(\textrm{Spec} \circ \textrm{Koop}:\textbf{TopDyn}(G) \rightarrow \textbf{TopDyn}(G)\) to the full subcategory \(\textbf{MinDisc}(G)\). In particular, the natural isomorphism \(\gamma \) from Example 3.8 restricts to a natural isomorphism
With the help of the following lemma we show that also the composition \(\textrm{Meas} \circ \textrm{Top}:\textbf{ErgDisc}(G) \rightarrow \textbf{ErgDisc}(G)\) is naturally isomorphic to the identity functor.
Lemma 4.6
Let \((\textrm{X},T)\) be an ergodic measure-preserving system with discrete spectrum. Then the Gelfand morphism \((\textrm{L}^\infty (\textrm{X})_{\textrm{disc}},T_{\textrm{disc}}) \rightarrow \textrm{Koop}(\textrm{Spec}(\textrm{L}^\infty (\textrm{X})_{\textrm{disc}},T_{\textrm{disc}}))\) from Example 3.9 extends uniquely to an isomorphism
Proof
We write \((K,\varphi )\) for the minimal system \(\textrm{Spec}(\textrm{L}^\infty (\textrm{X})_{\textrm{disc}},T_{\textrm{disc}}) = \textrm{Top}(\textrm{X},T)\) with discrete spectrum constructed in Construction 4.3 and \(\mu \) for its unique invariant probability measure (see Construction 2.12). Moreover, let \(V :(\textrm{L}^\infty (\textrm{X})_{\textrm{disc}},T_{\textrm{disc}}) \rightarrow (\textrm{C}(K),T^\varphi )\) be the Gelfand isomorphism from Example 3.9. By transporting the integration functional
we obtain a functional \((V^{-1})'\langle \cdot , \mathbb {1} \rangle \) on \(\textrm{C}(K)\). Using the Riesz representation theorem we identify this with an invariant probability measure on K, hence \((V^{-1})'\langle \cdot , \mathbb {1} \rangle = \mu \). Since \(|V^{-1}f| = V^{-1}|f|\) for every \(f \in \textrm{C}(K)\) (see [7, Theorem 7.23]), one now readily checks that \(V^{-1}\) is an isometry with respect to the corresponding \(\textrm{L}^1\)-norms and intertwines the representations (see [7, Section 12.3]). Since \(V^{-1}\) also has dense range by Proposition 2.15, we obtain that \(V^{-1}\) has a unique extension to a Markov lattice isomorphism \(\textrm{L}^1(K,\mu ) \rightarrow \textrm{L}^1(\textrm{X})\) which then defines the desired isomorphism \(\gamma _{(\textrm{X},T)}\). \(\square \)
With the notation of Lemma 4.6 we now obtain the counterpart to Proposition 4.5.
Proposition 4.7
The isomorphisms \(\gamma _{(\textrm{X},T)}\) for ergodic measure-preserving systems \((\textrm{X},T)\) with discrete spectrum from Lemma 4.6 define a natural isomorphism
Proof
Using the definitions of the functors \(\textrm{Top}\) and \(\textrm{Meas}\) as well as the definition of the isomorphisms \(\gamma _{(\textrm{X},T)}\), it is straightforward to check that the diagram in Definition 3.7 actually commutes. We omit the details. \(\square \)
Combining Propositions 4.5 and 4.7 we now finally arrive at the desired equivalence.
Theorem 4.8
The functors
establish an equivalence between the category of minimal topological dynamical systems with discrete spectrum and the opposite category of ergodic measure-preserving systems with discrete spectrum.
As a simple consequence we obtain the following.
Corollary 4.9
For two minimal topological dynamical systems with discrete spectrum \((K_1,\varphi _1)\) and \((K_2,\varphi _2)\) with unique invariant probability measures \(\mu _1\) and \(\mu _2\), respectively, the following assertions are equivalent.
-
(a)
The topological dynamical systems \((K_1,\varphi _1)\) and \((K_2,\varphi _2)\) are isomorphic.
-
(b)
The induced measure-preserving systems \((K_1,\mu _1,T^{\varphi _1})\) and \((K_2,\mu _2,T^{\varphi _2})\) are isomorphic.
5 Halmos–von Neumann for Abelian Groups
5.1 The Classical Halmos–von Neumann Theorem for Abelian Groups
We now state the Halmos–von Neumann for actions of an abelian group G which will be fixed for the whole section. A treatment of the result for measure-preserving systems is given in [19, Subsection 1.5] and [32, Theorem 2.6]. Here, we use a topological approach and start with the following easy generalization of the point spectrum of operators.
Definition 5.1
Let \(T :G \rightarrow {\mathscr {L}}(E), \, t \mapsto T_t\) be a bounded strongly continuous group representation on a Banach space E. We say that \(\chi \in G^*\) is an eigencharacter of T if there is \(x \in E\setminus \{0\}\) with \(T_tx = \chi (t)x\) for every \(t \in G\). We call the set
the point spectrum of T.
For a topological dynamical system \((K,\varphi )\) we write \(\sigma _{\textrm{p}}(K,\varphi ) \, {:}{=}\, \sigma _{\textrm{p}}(T^\varphi )\), and for a measure-preserving system \((\textrm{X},T)\) we set \(\sigma _{\textrm{p}}(\textrm{X},T) \, {:}{=}\, \sigma _{\textrm{p}}(T)\).
Remark 5.2
If \(G = \mathbb {Z}\), the point spectrum of a bounded strongly continuous group representation \(T :G \rightarrow {\mathscr {L}}(E), \, t \mapsto T_t\) can be identified with the point spectrum \(\sigma _{\textrm{p}}(T_1)\) via the canonical isomorphism \(\mathbb {Z}^* \cong \mathbb {T}\).
We make the following important observation.
Proposition 5.3
-
(i)
Let \((K,\varphi )\) be a topologically ergodic dynamical system. Then \(\sigma _{\textrm{p}}(K,\varphi )\) is a subgroup of \(G^*\).
-
(ii)
Let \((\textrm{X},T)\) be an ergodic measure-preserving system. Then \(\sigma _{\textrm{p}}(\textrm{X},T)\) is a subgroup of \(G^*\).
Proof
Consider (i). Clearly, \(T_t^\varphi \mathbb {1} = \mathbb {1}\) for every \(t \in G\) and hence \(\sigma _{\textrm{p}}(K,\varphi )\) contains the neutral element of \(G^*\). Now if \(f \in \textrm{C}(K)\) and \(\chi \in G^*\) with \(T_t^\varphi f = \chi (t) f\) for all \(t \in G\), then \(T_t^\varphi |f| = |T_t^\varphi f| = |f|\) for every \(t \in G\), i.e., \(|f| \in {\text {fix}}(T) = \mathbb {C}\mathbb {1}\). We thus obtain that |f| is constant. This implies that, whenever \(f,g \in \textrm{C}(K){\setminus }\{0\}\) and \(\chi ,\tau \in G^*\) with \(T_t^\varphi f = \chi (t) f\) and \(T_t^\varphi g = \tau (t) g\) for every \(t \in G\), g is invertible and \(f \cdot g^{-1} \ne 0\). Since \(T_t^\varphi (fg^{-1}) = (\chi \cdot \tau ^{-1})(t) fg^{-1}\) for \(t \in G\), this implies \(\chi \cdot \tau ^{-1} \in \sigma _{\textrm{p}}(T^\varphi )\). Therefore \(\sigma _{\textrm{p}}(K,\varphi ) = \sigma _{\textrm{p}}(T^\varphi )\) is a subgroup of \(G^*\).
For (ii) note that for every \(\chi \in G^*\) every element of the space
is in \(\textrm{L}^\infty (\textrm{X})\) by Proposition 2.15. Working in \(\textrm{L}^\infty (\textrm{X})\) instead of \(\textrm{L}^1(\textrm{X})\) we then proceed exactly as in the proof of part (i). \(\square \)
We now state the topological Halmos–von Neumann theorem for commutative groups.
Theorem 5.4
Assume that G is commutative. For minimal topological dynamical systems with discrete spectrum the following assertions hold.
-
(i)
Two minimal systems \((K_1,\varphi _1)\) and \((K_2,\varphi _2)\) with discrete spectrum are isomorphic if and only if \(\sigma _{\textrm{p}}(K_1,\varphi _1) = \sigma _{\textrm{p}}(K_2,\varphi _2)\).
-
(ii)
For every subgroup \(\sigma \subseteq G^*\) there is a minimal system \((K,\varphi )\) with discrete spectrum such that \(\sigma _{\textrm{p}}(K,\varphi ) = \sigma \).
-
(iii)
For every minimal system \((K,\varphi )\) with discrete spectrum there is a group compactification (H, c) such that \((K,\varphi )\) is isomorphic to the rotation \((H,\varphi _c)\).
The ergodic theoretic counterpart is the following.
Theorem 5.5
Assume that G is commutative. For ergodic measure-preserving dynamical systems with discrete spectrum the following assertions hold.
-
(i)
Two ergodic systems \((\textrm{X}_1,T_1)\) and \((\textrm{X}_2,T_2)\) with discrete spectrum are isomorphic if and only if \(\sigma _{\textrm{p}}(\textrm{X}_1,T_1) = \sigma _{\textrm{p}}(\textrm{X}_2,T_2)\).
-
(ii)
For every subgroup \(\sigma \subseteq G^*\) there is an ergodic system \((\textrm{X},T)\) with discrete spectrum such that \(\sigma _{\textrm{p}}(\textrm{X},T) = \sigma \).
-
(iii)
For every ergodic system \((\textrm{X},T)\) with discrete spectrum there is a group compactification (H, c) such that \((\textrm{X},T)\) is isomorphic to the rotation \((H,m_H,T^{\varphi _c})\).
Given an ergodic measure-preserving system \((\textrm{X},T)\) with discrete spectrum, we obtain that \(\sigma _{\textrm{p}}(\textrm{Top}(\textrm{X},T)) = \sigma _{\textrm{p}}(\textrm{X},T)\). Conversely, it follows from Lemma 4.4 that \(\sigma _{\textrm{p}}(\textrm{Meas}(K,\varphi )) = \sigma _{\textrm{p}}(K,\varphi )\) for every minimal topological dynamical system \((K,\varphi )\) with discrete spectrum. Applying Theorem 4.8 we conclude that Theorems 5.4 and 5.5 are actually equivalent statements. It therefore suffices to prove one of them. We opt to prove the topological version in the next section, but in a different formulation.
5.2 A Categorical Topological Halmos–von Neumann Theorem for Abelian Groups
Using category theoretical language, the topological Halmos–von Neumann theorem Theorem 5.4 can be expressed in a more concise and, in some sense, even more precise way. To cover the repesentation aspect (i.e., part (iii)) of the result we consider the following category.
Definition 5.6
The category of group compactifications has as objects group compactifications (H, c) of G, and as morphisms \(\Phi :(H_1,c_1) \rightarrow (H_2,c_2)\) between group compactifications \((H_1,c_1)\) and \((H_2,c_2)\) of G continuous group homomorphisms \(\Phi :H_1 \rightarrow H_2\) such that \(\Phi \circ c_1 = c_2\). We denote this category by \(\textbf{Comp}(G)\).
Remark 5.7
Note that every morphism of group compactifications is necessarily surjective.
In view of Example 2.6, every group compactifications gives rise to a minimal system with discrete spectrum. The following lemma allows us to also go the other direction by using the uniform enveloping semigroup (introduced in Definition 2.8 above).
Lemma 5.8
-
(i)
If \((K,\varphi )\) is a minimal system with discrete spectrum, then \(\textrm{E}_{\textrm{u}}(K,\varphi )\) combined with the map \(i = i_{(K,\varphi )} :G \rightarrow \textrm{E}_{\textrm{u}}(K,\varphi ),\, t \mapsto \varphi _t\) is a group compactification of G.
-
(ii)
For a morphism \(q :(K,\varphi ) \rightarrow (L,\psi )\) between minimal systems with discrete spectrum, the map
$$\begin{aligned} p_q :\textrm{E}_{\textrm{u}}(K,\varphi ) \rightarrow \textrm{E}_{\textrm{u}}(L,\psi ), \quad \vartheta \mapsto p_q(\vartheta ) \end{aligned}$$with \(p_q(\vartheta )(q(x)) \, {:}{=}\, q(\vartheta (x))\) for \(x \in K\) and \(\vartheta \in \textrm{E}_{\textrm{u}}(K,\varphi )\) defines a morphism \(p_q :(\textrm{E}_{\textrm{u}}(K,\varphi ),i_{(K,\varphi )}) \rightarrow (\textrm{E}_{\textrm{u}}(L,\psi ),i_{(L,\psi )})\) of group compactifications.
Proof
Part (i) is obvious. For part (ii), observe that if \(x,y \in K\) satisfy \(q(x) = q(y)\), then also
for all \(t \in G\), and hence \(q(\vartheta (x)) = q(\vartheta (y))\) for every \(\vartheta \in \textrm{E}_{\textrm{u}}(K,\varphi )\). Thus, \(p_q\) is well-defined. It is easily checked that \(p_q\) is actually a morphism of group compactifications of G.Footnote 7\(\square \)
Lemma 5.8 allows us to define a functor \(F :\textbf{MinDisc}(G) \rightarrow \textbf{Comp}(G)\) from the category of minimal systems with discrete spectrum to the category of group compactifications by setting
-
\(F(K,\varphi ) \, {:}{=}\, (\textrm{E}_{\textrm{u}}(K,\varphi ), i_{(K,\varphi )})\) for every minimal system \((K,\varphi )\) with discrete spectrum, and
-
\(F(q) \, {:}{=}\, p_q\) for every morphism \(q :(K,\varphi ) \rightarrow (L,\psi )\) of minimal systems with discrete spectrum.
In general however, this functor does not define a categorical equivalence as the following remark shows.
Remark 5.9
Assume that G is commutative and that \((K,\varphi )\) is a non-trivial minimal system with discrete spectrum. Pick \(\vartheta \in \textrm{E}_{\textrm{u}}(K,\varphi ) {\setminus } \{\textrm{id}_K\}\) and observe that \(q \, {:}{=}\, \vartheta :K \rightarrow K\) defines an automorphism of the system \((K,\varphi )\) (since \(\textrm{E}_{\textrm{u}}(K,\varphi )\) is abelian) which is not the identity. However, with the notation of Lemma 5.8 we obtain that
for every \(x \in K\) and \(\varrho \in \textrm{E}_{\textrm{u}}(K,\varphi )\). We therefore obtain that \(p_q(\varrho ) = \varrho \) for every \(\varrho \in \textrm{E}_{\textrm{u}}(K,\varphi )\), showing that \(p_q\) is the identity. We conclude that the map
is not injective, which implies that the functor F cannot define a categorical equivalence.
The issue discussed in Remark 5.9 arises from the fact that for a group rotation system there is always a distinct point (the neutral element) whereas there is no such point for a general minimal system with discrete spectrum. However, this problem is only minor and can be fixed by choosing a “base point” for every system.
Definition 5.10
A pointed minimal system with discrete spectrum is a triple \((K,\varphi ,y)\) where \((K,\varphi )\) is a minimal system with discrete spectrum and \(y \in K\) is a point of K. A morphism \(q :(K,\varphi ,y) \rightarrow (L,\psi ,z)\) between such systems is a morphism \(q :(K,\varphi ) \rightarrow (L,\psi )\) between the corresponding topological dynamical systems with \(q(y) = z\). We write \(\textbf{MinDisc}_{\textbf{pt}}(G)\) for this category.
Group compactifications induce pointed minimal systems with discrete spectrum in a natural and functorial way.
Construction 5.11
We define a functor \(\textrm{Rot}:\textbf{Comp}(G) \rightarrow \textbf{MinDisc}_{\textbf{pt}}(G)\) by setting
-
(i)
\(\textrm{Rot}(H,c) \, {:}{=}\, (H,\varphi _c,\textrm{1}_H)\) for every (H, c) group compactification of G, where \(\textrm{1}_H\) is the unit element of H, and
-
(ii)
\(\textrm{Rot}(\Phi ) \, {:}{=}\, \Phi \) for a morphism \(\Phi :(H_1,c_1) \rightarrow (H_2,c_2)\) of group compactifications.
We call this the rotation functor.
Conversely, we use the functor F from above to define a functor from the category \(\textbf{MinDisc}_{\textbf{pt}}(G)\) of pointed minimal systems with discrete spectrum to the category \(\textbf{Comp}(G)\) of compactifications. Again we use the notation of Lemma 5.8.
Construction 5.12
We define a functor \(\textrm{Env} :\textbf{MinDisc}_{\textbf{pt}}(G) \rightarrow \textbf{Comp}(G)\) by setting
-
(i)
\(\textrm{Env}(K,\varphi ) \, {:}{=}\, (\textrm{E}_{\textrm{u}}(K,\varphi ), i_{(K,\varphi )})\) for every pointed minimal system \((K,\varphi ,y)\) with discrete spectrum, and
-
(ii)
\(\textrm{Env}(q) \, {:}{=}\, p_q\) for every morphism \(q :(K,\varphi ,y) \rightarrow (L,\psi ,z)\) of such systems.
We call this the enveloping group functor.
We will now show that for a commutative group G the functors \(\textrm{Rot}:\textbf{Comp}(G) \rightarrow \textbf{MinDisc}_{\textbf{pt}}(G)\) and \(\textrm{Env} :\textbf{MinDisc}_{\textbf{pt}}(G) \rightarrow \textbf{Comp}(G)\) are essentially inverse to each other. Hence the categories of pointed minimal systems with discrete spectrum and of group compactifications are equivalent in this case.
Proposition 5.13
Assume that G is abelian. For every pointed minimal system \((K,\varphi ,y)\) with discrete spectrum \(\gamma _{(K,\varphi ,y)} :\textrm{Rot}(\textrm{Env}(K,\varphi ,y)) \rightarrow (K,\varphi ,y), \, \vartheta \mapsto \vartheta (y)\) is an isomorphism. Moreover, these isomorphisms define a natural isomorphism
Proof
Let \((K,\varphi ,z)\) be a pointed minimal system with discrete spectrum. Then \(\textrm{E}_{\textrm{u}}(K,\varphi )\) is a compact abelian group acting effectively and transitively on K. Such an action is necessarily free. Using that the action is free and transitive, we conclude that \(\gamma _{(K,\varphi ,y)}\) is an isomorphism. It is readily checked that \(\gamma \) is actually a natural isomorphism. \(\square \)
As a consequence of Proposition 5.13 we obtain that, if G is commutative, the difference between the categories \(\textbf{MinDisc}(G)\) and \(\textbf{MinDisc}_{\textbf{pt}}(G)\) is quite inessential.
Corollary 5.14
Let G be abelian and let \((K,\varphi ,y)\) and \((L,\psi ,z)\) be pointed minimal system with discrete spectrum. Then \((K,\varphi ,y)\) and \((L,\psi ,z)\) are isomorphic if and only if \((K,\varphi )\) and \((L,\psi )\) are isomorphic.
Proof
If \((K,\varphi )\) and \((L,\psi )\) are isomorphic, then also the respective group compatifications \((\textrm{E}_{\textrm{u}}(K,\varphi ), i_{(K,\varphi )})\) and \((\textrm{E}_{\textrm{u}}(L,\psi ), i_{(L,\psi )})\) are isomorphic. But then \((K,\varphi ,y)\) and \((L,\psi ,z)\) are isomorphic by Proposition 5.13. \(\square \)
We now turn to the natural isomorphism between \(\textrm{Id}_{\textbf{Comp}(G)}\) and the composed functor \(\textrm{Env} \circ \textrm{Rot} :\textbf{Comp}(G) \rightarrow \textbf{Comp}(G)\).
Proposition 5.15
For a group compactification (H, c) we obtain an isomorphism
where \(\vartheta _y(x) = yx\) for \(x,y \in H\). Moreover, these isomorphisms define a natural isomorphism
The proof is straightforward and omitted. Combining Propositions 5.13 and 5.15 we obtain the following concise version of the representation part of the topological Halmos–von Neumann theorem Theorem 5.4 (iii).
Theorem 5.16
For an abelian group G the functors
establish an equivalence between the category of pointed minimal topological dynamical systems with discrete spectrum and the category of group compactifications.
We now turn our attention to the uniqueness and realization aspects of the topological Halmos–von Neumann theorem for commutative groups. For this we introduce the following category.
Definition 5.17
Assume that G is commutative. The category of dual subgroups has as objects the subgroups of \(G^*\). Moreover, the set of morphisms for subgroups \(\sigma ,\rho \subseteq G^*\) is given by \(\textrm{Mor}(\sigma ,\rho ) \, {:}{=}\,\{i_{\sigma ,\rho }\}\) for the inclusion map \(i :\sigma \rightarrow \rho \) if \(\sigma \) is a subgroup of \(\rho \), and \(\textrm{Mor}(\sigma ,\rho ) \, {:}{=}\, \emptyset \) otherwise. We denote this category by \(\textbf{Subgrp}(G^*)\).
Since the point spectrum of a minimal dynamical system is a subgroup of \(G^*\) by Proposition 5.3, we already have a canonical way to assign to every object of \(\textbf{MinDisc}_{\textbf{pt}}(G)\) an object of \(\textbf{Subgrp}(G^*)\). In fact, this defines a functor.
Construction 5.18
For abelian G we define a functor \(\sigma _{\textrm{p}} :\textbf{MinDisc}_{\textbf{pt}}(G) \rightarrow \textbf{Subgrp}(G^*)^{\textrm{op}}\) by setting
-
\(\sigma _{\textrm{p}}(K,\varphi ,y) \, {:}{=}\, \sigma _{\textrm{p}}(K,\varphi )\) for every pointed minimal system \((K,\varphi ,y)\) with discrete spectrum, and
-
\(\sigma _{\textrm{p}}(q) \, {:}{=}\, i_{\sigma _{\textrm{p}}(L,\psi ),\sigma _{\textrm{p}}(K,\varphi )}\) for every morphism \(q :(K,\varphi ,y) \rightarrow (L,\psi ,z)\).
We call this the point spectrum functor.
Observe here that if \(q :(K,\varphi ) \rightarrow (L,\psi )\) is an extension of topological dynamical systems, then then all eigenspaces of \(T^\psi \) embed into eigenspaces of \(T^\varphi \) via \(J_q\) which implies the inclusion \(\sigma _{\textrm{p}}(L,\psi ) \subseteq \sigma _{\textrm{p}}(K,\varphi )\).
To show that the functor \(\sigma _{\textrm{p}}\) establishes an equivalence between the categories \(\textbf{MinDisc}_{\textbf{pt}}(G)\) and \(\textbf{Subgrp}(G^*)^{\textrm{op}}\), we rewrite it as a decomposition of two functors. The first one is the enveloping group functor \(\textrm{Env} :\textbf{MinDisc}_{\textbf{pt}}(G)\rightarrow \textbf{Comp}(G)\) from Construction 5.12. The second functor is the following.
Construction 5.19
For abelian G we define a functor \(\textrm{DDual} :\textbf{Comp}(G) \rightarrow \textbf{SubGrp}(G^*)^{\textrm{op}}\) by setting
-
\(\textrm{DDual}(H,c) \, {:}{=}\, c^*H^* \, {:}{=}\, \{\chi \circ c \mid \chi \in H^*\}\) for every group compactifiction (H, c) of G, and
-
\(\textrm{DDual}(\Phi ) \, {:}{=}\, i_{c_2^*H_2^*,c_1^*H_1^*}\) for every morphism \(\Phi :(H_1,c_1) \rightarrow (H_2,c_2)\) of group compactifications of G.
We call this the discrete duality functor.
Note here that for every morphism \(\Phi :(H_1,c_1) \rightarrow (H_2,c_2)\) of group compactifications the inclusion \(c_2^*H_2^* \subseteq c_1^*H_1^*\) actually holds.
Proposition 5.20
For commutative G the diagram of functors
![](http://media.springernature.com/lw356/springer-static/image/art%3A10.1007%2Fs10485-023-09743-y/MediaObjects/10485_2023_9743_Equ116_HTML.png)
commutes.
Proof
We show that the diagram commutes on the level of objects. It is then clear that it also commutes for morphisms. So let \((K,\varphi ,z)\) be a pointed minimal system with discrete spectrum. We have to show that \(\textrm{DDual}(\textrm{Env}(K,\varphi ,z)) = \sigma _{\textrm{p}}(K,\varphi ,z)\).
To show prove the inclusion “\(\subseteq \)”, let \(q\, {:}{=}\, \eta _{(K,\varphi ,z)} :\textrm{E}_{\textrm{u}}(K,\varphi ) \rightarrow K, \, \vartheta \mapsto \vartheta (z)\) be the isomorphism from Proposition 5.13. If \(\chi \in \textrm{E}_{\textrm{u}}(K,\varphi )^*\), then \(f \, {:}{=}\, \overline{\chi } \circ q^{-1} \in \textrm{C}(K){\setminus } \{0\}\) satisfies
for every \(x \in K\) and \(t \in G\). Thus, \(\chi \circ i_{(K,\varphi )} \in \sigma _{\textrm{p}}(K,\varphi ,z)\).
For the converse inclusion “\(\supseteq \)” take \(\chi \in \sigma _{\textrm{p}}(K,\varphi ,z)\) and pick \(f \in \textrm{C}(K){\setminus }\{0\}\) such that \(T_t^\varphi f = \chi (t) f\) for every \(t \in G\). By compactness of the unit circle \(\mathbb {T}\), we find for every \(\vartheta \in \textrm{E}_{\textrm{u}}(K,\varphi )\) some \(\lambda _{\vartheta } \in \mathbb {T}\) with \(f \circ \vartheta = \lambda _{\vartheta }f\). Since \(f \ne 0\), we obtain that \(\lambda _{\vartheta }\) is uniquely determined by \(\vartheta \). It is easy to see that the map
is a continuous character of \(\textrm{E}_{\textrm{u}}(K,\varphi )\) with \(\tilde{\chi } \circ i_{(K,\varphi )} = \chi \). \(\square \)
In view of Theorem 5.16 we thus know that the point spectrum functor \(\sigma _{\textrm{p}} :\textbf{MinDisc}(G) \rightarrow \textbf{SubGrp}(G^*)^{\textrm{op}}\) defines an equivalence of categories if we find an essential inverse for \(\textrm{DDual} :\textbf{Comp}(G) \rightarrow \textbf{SubGrp}(G^*)^{\textrm{op}}\). For this we prove the following lemma which is basically a consequence of the Pontryagin duality theory.
Lemma 5.21
For commutative G and a subgroup \(\sigma \subseteq G^*\)of \(G^*\) consider
-
(i)
the dual group \(\sigma ^*\) with respect to the topology of pointwise convergence on \(\sigma \), and
-
(ii)
the evaluation map \(c_\sigma :G \rightarrow \sigma ^*\) given by \(c_\sigma (t)(\chi ) \, {:}{=}\, \chi (t)\) for \(t \in G\) and \(\chi \in \sigma \).
Then \((\sigma ^*,c_\sigma )\) is a group compactification of G.
Proof
It is clear that \(\sigma ^*\) is a compact group and that \(c_\sigma \) is a continuous group homomorphism. We show that \(c_\sigma \) has dense range, i.e., that the closure \(H \, {:}{=}\, \overline{c_\sigma (G)}\) equals \(\sigma ^*\). However, as H and \(\sigma ^*\) are compact groups, this is the case if and only if the restriction map
is injective, see [11, Theorem 4.39]. By Pontryagin duality we can identify \(\sigma \) with \((\sigma ^*)^*\) as a discrete group via the canonical evaluation map. Therefore r is injective if and only if
with \(j_\chi (x) = x(\chi )\) for \(x \in H\) and \(\chi \in \sigma \) is injective. Now take \(\chi \in \ker (\tilde{r})\). Then, in particular,
for every \(t \in G\), and therefore \(\chi = 1\). This finishes the proof of the lemma. \(\square \)
With the notation of Lemma 5.21 we now construct the desired essential inverse for the discrete duality functor \(\textrm{DDual} :\textbf{Comp}(G) \rightarrow \textbf{SubGrp}(G^*)^{\textrm{op}}\).
Construction 5.22
For commutative G we define a functor \(\textrm{CDual} :\textbf{SubGrp}(G^*)^{\textrm{op}} \rightarrow \textbf{Comp}(G)\) by setting
-
\(\textrm{CDual}(\sigma ) \, {:}{=}\, (\sigma ^*,c_\sigma )\) for every subgroup \(\sigma \) of \(G^*\), and
-
\(\textrm{CDual}(i_{\sigma _1,\sigma _2}) :\textrm{CDual}(\sigma _2) \rightarrow \textrm{CDual}(\sigma _1), \, \chi \mapsto \chi |_{\sigma _1}\) for two subgroups \(\sigma _1, \sigma _2\subseteq G^*\) with \(\sigma _1 \subseteq \sigma _2\).
We call this the compact duality functor.
To show that the discrete and compact duality functors are essentially inverse to each other, we again have to find two natural isomorphisms.
Proposition 5.23
Assume that G is commutative. For a group compactification (H, c) we obtain an isomorphism
by setting \(\gamma _{(H,c)}(x)(\chi \circ c) \, {:}{=}\, \chi (x)\) for every \(\chi \in H^*\) and \(x \in H\). Moreover, \(\gamma \) defines a natural isomorphism
Proof
Take a group compactification (H, c) and note that \(\gamma _{(H,c)}(x)\) is well-defined for every \(x \in H\), since c has dense range. It is clear that \(\gamma _{(H,c)}\) is a morphism of compactifications and hence surjective (cf. Lemma 5.7). On the other hand, it is injective since \(H^*\) separates the points of H. This shows that \(\gamma _{(H,c)}\) is an isomorphism of group compatifications. It is readily checked that \(\gamma \) defines a natural isomorphism. \(\square \)
Proposition 5.24
If G is commutative and \(\sigma \subseteq G^*\) is a subgroup of \(G^*\), we obtain \(\sigma = \textrm{DDual}(\textrm{CDual}(\sigma ))\). In particular, the identity on every such subgroup defines a natural isomorphism
Proof
Take \(\chi \in \sigma \). Then \(\alpha _\chi \in (\sigma ^*)^*\) with \(\alpha _\chi (x) = x(\chi )\) for all \(x \in \sigma ^*\) satisfies
for all \(t \in G\). Thus, \(\chi = \alpha _\chi \circ c_\sigma \in \textrm{DDual}(\textrm{CDual}(\sigma ))\).
Conversely, take \(\alpha \in (\sigma ^*)^*\). By the Pontryagin duality we find \(\chi \in \sigma \) with \(\alpha = \alpha _\chi \) (with \(\alpha _\chi \) defined as above) and by the computation above we conclude that \(\alpha \circ c_\sigma = \chi \in \sigma \). \(\square \)
We combine the natural isomorphisms of Proposition 5.23 and Theorem 5.24 with Propositions 5.16 and 5.20 to obtain the following categorical version of the topological Halmos–von Neumann theorem which shows that for a commutative group G the categories
-
\(\textbf{MinDisc}_{\textbf{pt}}(G)\) of pointed minimal systems with discrete spectrum,
-
\(\textbf{Comp}(G)\) of group compactifications, and
-
\(\textbf{SubGrp}(G^*)^{\textrm{op}}\) of dual subgroups,
are pairwise equivalent.
Theorem 5.25
Let G be commutative.
-
(i)
The functors
$$\begin{aligned} \textrm{Env}&:\textbf{MinDisc}_{\textbf{pt}}(G)\rightarrow \textbf{Comp}(G),\\ \textrm{Rot}&:\textbf{Comp}(G) \rightarrow \textbf{MinDisc}_{\textbf{pt}}(G) \end{aligned}$$establish an equivalence between the category of pointed minimal systems with discrete spectrum and the category of group compactifications.
-
(ii)
The functors
$$\begin{aligned} \textrm{DDual}&:\textbf{Comp}(G) \rightarrow \textbf{SubGrp}(G^*)^{\textrm{op}},\\ \textrm{CDual}&:\textbf{SubGrp}(G^*)^{\textrm{op}} \rightarrow \textbf{Comp}(G) \end{aligned}$$establish an equivalence between the category of group compactifications and the opposite category of dual subgroups.
-
(iii)
The functor
$$\begin{aligned} \sigma _{\textrm{p}} = \textrm{DDual} \circ \textrm{Env} :\textbf{MinDisc}_{\textbf{pt}}(G) \rightarrow \textbf{SubGrp}(G^*)^{\textrm{op}} \end{aligned}$$defines an equivalence between the category of pointed minimal systems with discrete spectrum and the opposite category of dual subgroups.
Note that in view of Corollary 5.14 the classical topological version Theorem 5.4 (and hence also the ergodic theoretic version Theorem 5.5) is a direct corollary of Theorem 5.25. Observe also that via part (ii) the whole dual \(G^*\), seen as a subgroup of itself, gives rise to a maximal compactification of G, known as the Bohr compactification (cf. [11, Section 4.7]).
6 Halmos–von Neumann for General Groups
We now turn to minimal actions with discrete spectrum of an arbitrary group G. This situation is significantly more intricate for two reasons:
-
(i)
The representation theory for non-abelian compact groups is more complicated than in the abelian case.
-
(ii)
A transitive and effective action of a non-abelian compact group need not be free. As a consequence, not every minimal system with discrete spectrum is isomorphic to a group rotation.Footnote 8
We will circumvent this second difficulty by restricting to so-called normal actions bringing us back to the case of rotation systems induced by group compactifications of G. To find a meaningful isomorphism invariant for such systems, we first recall some standard concepts from representation theory.
6.1 Preliminaries on Finite-Dimensional Representations
The following definitions are standard (see, e.g., [23, Part II]).
Definition 6.1
A bounded continuousFootnote 9 group representation \(\pi :G\rightarrow {\mathscr {L}}(E_\pi ), \, t \mapsto \pi _t\) of G on a finite-dimensional vector space \(E_\pi \) is called a finite-dimensional representation of G. It is irreducible if it is non-zero and \(\{0\}\) and \(E_\pi \) are the only invariant subspaces of \(E_\pi \).
A morphism \(U :\pi \rightarrow \varrho \) between such finite-dimensional representations is a linear map \(U \in {\mathscr {L}}(E_\pi ,E_\varrho )\) between the underlying vector spaces such that the diagram
![](http://media.springernature.com/lw234/springer-static/image/art%3A10.1007%2Fs10485-023-09743-y/MediaObjects/10485_2023_9743_Equ117_HTML.png)
commutes for every \(t \in G\).
To avoid set-theoretical issues, we restrict to a set of representations in the following (cf. [15, footnote 2 on page 2]). More precisely, we fix a set M of finite-dimensional vector spaces with the following properties.
-
(i)
\(\mathbb {C}^n \in M\) for every \(n \in \mathbb {N}_0\).
-
(ii)
For every two spaces \(E,F \in M\) there is a direct sum \(E \oplus F\) in M,
-
(iii)
For every two spaces \(E,F \in M\) there is a tensor product \(E \otimes F\) in M.
-
(iv)
For every \(E \in M\) the complex conjugate space \(\overline{E}\) is in M where \(\overline{E}\) is defined as the set E with the unique vector space structure turning the identity \(\textrm{id}_{E}:E \rightarrow \overline{E}\) into an antilinear isomorphism.
-
(v)
For every \(E \in M\) and every linear subspace \(F \subseteq E\), we also have \(F \in M\).
The existence of such a set M is readily verified. Having fixed such an M once and for all, we write \(\textbf{FinVect}\) for the category of finite-dimensional vector spaces in M, and \(\textbf{FinRep}(G)\) for the category of finite-dimensional representations of G on vector spaces in M.
The following key result about morphisms between irreducible representations is known as Schur’s lemma (see, e.g. [15, Theorem 27.9 and Corollary 27.10]).
Proposition 6.2
For irreducible representations \(\pi \) and \(\varrho \) of G the following assertions hold.
-
(i)
Every morphism \(U :\pi \rightarrow \varrho \) is zero or an isomorphism.
-
(ii)
The vector space of morphisms \(\textrm{Mor}(\pi ,\varrho )\) is at most one-dimensional.
We need some standard constructions for finite-dimensional representations. Subrepresentations of a given finite-dimensional representation as well as the direct sum \(\pi \oplus \varrho \) and tensor product \(\pi \otimes \varrho \) of finite-dimensional representations \(\pi \) and \(\varrho \) are defined in the obvious way. In addition we recall the following.
Definition 6.3
Let \(\pi \) be a finite-dimensional representation of G. The complex conjugate representation of \(\pi \) is given by
We now introduce the dual of G generalizing the Pontryagin dual \(G^*\) from the abelian case.
Definition 6.4
Let \(\textrm{Irred}(G)\) be the set of all irreducible finite-dimensional representations within \(\textbf{FinRep}(G)\) and define an equivalence relation \(\sim \) on \(\textrm{Irred}(G)\) via
The set \(\hat{G}\, {:}{=}\, \textrm{Irred}(G)/\sim \) is the dual of G.
If \(\pi :G \rightarrow {\mathscr {L}}(E_\pi )\) is any irreducible finite-dimensional representation (with \(E_\pi \) not necessarily contained in our fixed set M of finite-dimensional vector spaces from above), then \(E_\pi \) is isomorphic to a vector space \(\mathbb {C}^n\) for some \(n \in \mathbb {N}\). Therefore, \(\pi \) is isomorphic to an irreducible representation \(\tilde{\pi }\) on \(\mathbb {C}^n \in M\) and we write \([\pi ] \, {:}{=}\, [\tilde{\pi }]\).
Remark 6.5
For abelian G, the character space \(G^*\) of G maps bijectively to the dual \(\hat{G}\) of G by mapping every character to the one-dimensional representation \(G\rightarrow {\mathscr {L}}(\mathbb {C}),\, t \mapsto \chi (t)\) as a consequence of Schur’s lemma (cf. [11, Corollary 3.6]Footnote 10).
For locally compact groups it is common to consider unitary representations on Hilbert spaces. The following important result allows to turn any finite-dimensional representation into a unitary representation (see [3, Lemma 7.1.1]Footnote 11).
Lemma 6.6
Let \(\pi \) be a finite-dimensional representation.
-
(i)
There is an inner product \((\,\cdot \mid \cdot \, )\) on \(E_\pi \) with respect to which \(\pi \) becomes a unitary group representation.
-
(ii)
If \(\pi \) is irreducible and unitary with respect to two inner products \((\,\cdot \mid \cdot \, )_1\) and \((\,\cdot \mid \cdot \, )_2\) on \(E_\pi \), then there is \(c > 0\) with \((\,\cdot \mid \cdot \, )_2 = c \cdot (\,\cdot \mid \cdot \, )_1\).
We from now on choose an invariant inner product whenever necessary. Note that in case of irreducible representations there is no ambiguity when refering to orthogonality or the group of unitary operators as these notions do not depend on the particular invariant inner product. We also note the following.
Remark 6.7
In case of a compact group G our definition of the dual is equivalent to the usual definition of the unitary dual as in [15, Definition 27.3] (use Lemma 6.6). Note however, that for a locally compact group G there is a significant difference since we only consider irreducible finite-dimensional representations here.
Even for finite groups G, one cannot reconstruct G from its dual \(\hat{G}\) and instead has to work with a larger category (see the remarks in the prelude of [15, Paragraph 30]). However, for the purpose of classifying group compactifications of G, considering the dual is sufficient.
6.2 Grouplike Subsets
In view of Theorem 5.25 (ii), compactifications of an abelian group G are in correspondence with subgroups of \(G^*\). In the general situation, the dual \(\hat{G}\) is no longer a group, but we still have a (well-defined!) “multivalued multiplication”
cf. [15, Definition 27.35]. For \([\pi ]\), \([\tau ] \in \hat{G}\) the set \([\pi ] \otimes [\tau ]\) actually only has finitely many elements as shown by the following consequence of [15, Theorem 27.30].Footnote 12
Proposition 6.8
Let \(\pi \) be a finite-dimensional unitary representation. Then there are pairwise orthogonal invariant subspaces \(E_1, \ldots , E_n \subseteq E_\pi \) such that
-
(i)
\(E_\pi = E_1 \oplus \dots \oplus E_n\), and
-
(ii)
\(\pi ^j:G \rightarrow {\mathscr {L}}(E_j),\, t \mapsto \pi _t|_{E_j}\) is irreducible for every \(j \in \{1, \dots , n\}\).
Moreover, the set \(\{[\pi ^j]\mid j \in \{1, \dots n\}\}\) is the same for any such decomposition.
Corollary 6.9
For \([\pi ]\), \([\tau ] \in \hat{G}\) the set \([\pi ] \otimes [\tau ] \subseteq \hat{G}\) is finite.
Proof
Choose an invariant inner product on \(E_{\pi \otimes \varrho }\). Since any irreducible invariant subspace of \(E_{\pi \otimes \varrho }\) can be orthogonally complemented (and hence is part of an orthogonal decomposition of \(E_{\pi \otimes \varrho }\) into irreducible subspaces), the claim follows directly from the uniqueness assertion of Proposition 6.8. \(\square \)
Setting \(\overline{[\pi ]} \, {:}{=}\, [\overline{\pi }]\) for \([\pi ] \in \hat{G}\), the complex conjugate representation from Definition 6.3 also gives rise to a replacement of the inverse in a group. Finally, the element \([\mathbb {1}] \in \hat{G}\) where \(\mathbb {1} :G \rightarrow {\mathscr {L}}(\mathbb {C}), \, t \mapsto \textrm{id}_{\mathbb {C}}\) is the constant representation can be seen as a “neutral element” for \(\hat{G}\).Footnote 13
With these concepts we arrive of the following generalized version of dual subgroups (cf. [15, Definition 27.35]).
Definition 6.10
A subset \(\sigma \subseteq \hat{G}\) is grouplike if
-
(i)
\([\pi ] \otimes [\varrho ] \subseteq \sigma \) for all \([\pi ]\), \([\varrho ] \in \sigma \),
-
(ii)
\(\overline{[\pi ]} \in \sigma \) for every \([\pi ] \in \sigma \), and
-
(iii)
\([\mathbb {1}] \in \sigma \).
We write \(\textbf{GrpLike}(\hat{G})\) for the category of grouplike subsets of \(\hat{G}\) where the morphisms are given by inclusion maps \(i_{\sigma _1,\sigma _2}\) for \(\sigma _1 \subseteq \sigma _2\) as in Definition 5.17.
For a compact group the following result, which is part of [15, Theorem 27.39], shows that there is only one grouplike subset “separating the points”.
Proposition 6.11
Let G be compact and \(\sigma \subseteq \hat{G}\) a grouplike subset. Assume that for every \(1 \ne t \in G\) there is an irreducible representation \(\pi \) of G with \(\pi _t \ne \textrm{id}_{E_\pi }\) and \([\pi ] \in \sigma \). Then \(\sigma = \hat{G}\).
In complete analogy to the abelian case, every group compactification of G gives rise to a grouplike subset of \(\hat{G}\) in a functorial way (cf. Construction 5.19 above).
Construction 6.12
Define a functor \(\textrm{Rep}:\textbf{Comp}(G) \rightarrow \textbf{GrpLike}(\hat{G})^{\textrm{op}}\) by setting
-
(i)
\(\textrm{Rep}(H,c) \, {:}{=}\, c^*\hat{H} \, {:}{=}\, \{[\pi \circ c]\mid [\pi ] \in \hat{H}\}\) for every group compactification (H, c), and
-
(ii)
\(\textrm{Rep}(\Phi ) \, {:}{=}\, i_{c_2^*\hat{H_2}, c_1^*\hat{H_1}}\) for every morphism \(\Phi :(H_1, c_1) \rightarrow (H_2,c_2)\) of group compactifications of G.
We call this the representations functor.
6.3 Tannaka Categories and Tannaka Groups
Our task is now the construction of an essential inverse for the functor \(\textrm{Rep}\). This is done via the Tannaka–Krein duality (see, e.g., [15, Paragraph 30], [23, Section 12.2], [29, Chapter 9] and [18]). Our approach is mostly based on the elegant category theoretic exposition of the duality given in [18]. Before we assign a group compactification to a given grouplike subset \(\sigma \subseteq \hat{G}\), we first build a category of representations out of \(\sigma \).
Construction 6.13
Let \(\sigma \subseteq \hat{G}\) be a grouplike subset. We consider the preimage \(p^{-1}(\sigma )\) under the canonical map
and the smallest set \({\mathscr {T}}(\sigma )\) of representations in \(\textbf{FinRep}(G)\) containing \(p^{-1}(\sigma )\) with the following properties.
-
(i)
If \(\pi , \varrho \in {\mathscr {T}}(\sigma )\), then \(\pi \oplus \varrho \in {\mathscr {T}}(\sigma )\).
-
(ii)
If \(\pi , \varrho \in {\mathscr {T}}(\sigma )\), then \(\pi \otimes \varrho \in {\mathscr {T}}(\sigma )\).
-
(iii)
If \(\pi \in {\mathscr {T}}(\sigma )\), then \(\overline{\pi } \in {\mathscr {T}}(\sigma )\).
-
(iv)
If \(\pi \in {\mathscr {T}}(\sigma )\) and \(\varrho \) is a subrepresentation of \(\pi \), then also \(\varrho \in {\mathscr {T}}(\sigma )\).
We consider \({\mathscr {T}}(\sigma )\) as a full subcategory of the category \(\textbf{FinRep}(G)\) of finite-dimensional representations of G and call this the Tannaka category associated to \(\sigma \).
The following simple observation is important.
Lemma 6.14
Let \(\sigma \subseteq \hat{G}\) be a grouplike subset. If \(\pi \in {\mathscr {T}}(\sigma )\) is irreducible, then \([\pi ] \in \sigma \).
Proof
We consider the set \({\mathscr {T}}\) of all representations \(\tau \in {\mathscr {T}}(\sigma )\) having the property, that every irreducible subrepresentation \(\pi \) of \(\tau \) satisfies \([\pi ] \in \sigma \). We check that \({\mathscr {T}}\) has properties (i) – (iv) of Construction 6.13 and hence \({\mathscr {T}} = {\mathscr {T}}(\sigma )\). Note first that property (iv) holds trivially. Moreover, (i) is a consequence of Proposition 6.8 showing that every irreducible subrepresentation of \(\pi \oplus \varrho \) is isomorphic to an irreducible subrepresentation of \(\pi \) or \(\varrho \). Using Proposition 6.8 once again to decompose representations into irreducible ones, it is enough to show (ii) and (iii) for irreducible representations. But for these it is evident since \(\sigma \) is grouplike. \(\square \)
From the Tannaka category \({\mathscr {T}}(\sigma )\) of a grouplike subset \(\sigma \) we now contruct the desired group compactification. To do so, we consider certain natural transformations of the forgetful functor
which sends a representation to the underlying vector space and a intertwining linear map to itself (cf. [18, Paragraph 1]).
Definition 6.15
Let \(\sigma \subseteq \hat{G}\) be a grouplike subset, \({\mathscr {T}}(\sigma )\) the corresponding Tannaka category and \(\textrm{For} :{\mathscr {T}}(\sigma ) \rightarrow \textbf{FinVect}\) the forgetful functor. A natural transformation \(\eta :\textrm{For} \rightarrow \textrm{For}\) is a Tannaka transformation if it is
-
(i)
tensor-preserving, i.e., \(\eta _{\pi \otimes \varrho } = \eta _{\pi } \otimes \eta _{\varrho }\) for all \(\pi ,\varrho \in {\mathscr {T}}(\sigma )\),
-
(ii)
self-adjoint, i.e., \(\eta _{\overline{\pi }} = \eta _\pi \) for every every \(\pi \in {\mathscr {T}}(\sigma )\), and
-
(iii)
unital, i.e., \(\eta _{\mathbb {1}} = \textrm{id}_{\mathbb {C}}\).
The set \(\check{\sigma }\) of all Tannaka transformations \(\eta :\textrm{For} \rightarrow \textrm{For}\) equipped with the composition of natural transformations and the topology induced by the product topology on \(\prod _{\pi \in {\mathscr {T}}(\sigma )} {\mathscr {L}}(E_\pi )\) is the Tannaka group of \(\sigma \).
Remark 6.16
It is easy to see that any Tannaka transformation also respects direct sums, i.e., \(\sigma \subseteq \hat{G}\) is a grouplike subset, \(\eta \in \check{\sigma }\) and \(\pi , \varrho \in {\mathscr {T}}(\sigma )\), then \(\eta _{\pi \oplus \varrho } = \eta _{\pi } \oplus \eta _{\varrho }\) (cf. [23, Problem 12.4]).
The following result shows that the Tannaka group of a grouplike subset is in fact a compact group. The proof is basically the one of [18, Proposition 9.5].
Proposition 6.17
For every grouplike subset \(\sigma \subseteq \hat{G}\) the Tannaka group \(\check{\sigma }\) is a compact group.
Proof
For every representation \(\pi \in {\mathscr {T}}(\sigma )\) let \((\, \cdot \mid \cdot \,)\) be an invariant inner product as in Lemma 6.6. We show that \(\check{\sigma }\) is contained in the product
of the corresponding unitary groups \(\textrm{U}(E_\pi )\) for \(\pi \in {\mathscr {T}}(\sigma )\).
Pick \(\eta \in \check{\sigma }\). For a fixed representation \(\pi \in {\mathscr {T}}(\sigma )\) consider the morphism of representations \(V :\pi \otimes \overline{\pi } \rightarrow \mathbb {1}\) given by \(V(x \otimes y) \, {:}{=}\, (x|y)\) for \(x, y \in E_\pi \).
Since \(\eta \) is a natural transformation, we obtain \(V \circ \eta _{\pi \otimes \overline{\pi }} = \eta _{\mathbb {1}} \circ V\). Using that \(\eta \) is unital and tensor-preserving, this implies
But then
for all \(x,y \in E_\pi \) since \(\eta \) is self-adjoint. Thus, \(\eta _\pi \in {\mathscr {L}}(E_\pi )\) is an isometry and, since \(E_\pi \) is finite-dimensional, even unitary. Thus, \(\check{\sigma }\) is contained in H.
To see that \(\check{\sigma }\) is even a subgroup of H, observe first that it contains the neutral element of H and is closed with respect to composition. To obtain that it is also closed with respect to inverses, let again \(\eta \in \check{\sigma }\) and consider \(\eta ^* \in H\) given by \((\eta ^*)_{\pi } \, {:}{=}\, (\eta _\pi )^*\) for every \(\pi \in {\mathscr {T}}(\sigma )\). If \(U :\pi \rightarrow \varrho \) is a morphism of finite-dimensional representations, then the adjoint \(U^*\) defines a morphism \(\varrho \rightarrow \pi \). Thus,
showing that \(\eta ^*:\textrm{For} \rightarrow \textrm{For}\) is a natural transformation. It is routine to check that \(\eta ^*\) satisfies properties (i) – (iii). We therefore obtain that \(\eta ^* \in \check{\sigma }\) and hence \(\check{\sigma }\) is a subgroup of the compact group H. Finally, it is easy to see that \(\check{\sigma }\) is closed and therefore itself a compact group. \(\square \)
To obtain a group compatification of G, we consider the following canonical map (which substitutes the evaluation mapping from the abelian case, cf. Lemma 5.21).
Definition 6.18
Let \(\sigma \subseteq \hat{G}\) a grouplike subset and \(\check{\sigma }\) its Tannaka group. We define
by setting \(\eta (t)_{\pi } \, {:}{=}\, \pi _t\) for every \(\pi \in {\mathscr {T}}(\sigma )\) and every \(t \in G\).
We now want to show the following.
Proposition 6.19
For every grouplike subset \(\sigma \) the pair \((\check{\sigma },c_\sigma )\) is a group compactification of G.
While it is clear that \(c_{\sigma }\) is a continuous group homomorphism, showing that its range is dense in \(\check{\sigma }\) requires some work. In the following two lemmas we first elaborate some properties of closed subgroups H of \(\check{\sigma }\) containing the image \(c_\sigma (G)\). We will then see that \(H = \check{\sigma }\) is the only such subgroup thereby finishing the proof of Proposition 6.19.
Lemma 6.20
Let \(\sigma \subseteq \hat{G}\) be a grouplike subset and \(H \subseteq \check{\sigma }\) a closed subgroup of \(\check{\sigma }\) containing \(c_\sigma (G)\). For a representation \(\pi \in {\mathscr {T}}(\sigma )\) of G the induced representation
has the following properties.
-
(i)
A subspace \(E \subseteq E_\pi \) is \(\pi \)-invariant if and only if it is \(\pi _H\)-invariant.
-
(ii)
The representation \(\pi \) is irreducible if and only if \(\pi _H\) is irreducible.
Proof
Part (ii) follows directly from part (i). To prove (i), take a subspace \(E \subseteq E_\pi \). If E is \(\pi \)-invariant, then the inclusion map \(i :E \rightarrow E_\pi \) defines a morphism from the restricted representation \(\pi |_E\) to the representation \(\pi \). Thus, if \(\eta \in H \subseteq \check{\sigma }\), the diagram
![](http://media.springernature.com/lw279/springer-static/image/art%3A10.1007%2Fs10485-023-09743-y/MediaObjects/10485_2023_9743_Equ118_HTML.png)
commutes by the definition of natural transformations. This shows \(\eta _{\pi }(E) \subseteq E\). We conclude that E is \(\pi _H\)-invariant.
Assume conversely that E is \(\pi _H\)-invariant. Then, in particular, \(\pi _tE = \pi _H (c_\sigma (t)) E\subseteq E\) for every \(t \in G\). \(\square \)
With the notation of Definition 6.18 and Lemma 6.20 we also obtain the following.
Lemma 6.21
Let \(\sigma \subseteq \hat{G}\) be a grouplike subset and \(H \subseteq \check{\sigma }\) a closed subgroup containing \(c_\sigma (G)\). Then the maps
are mutually inverse bijections.
Proof
In view of Lemma 6.20 we obtain an injective mapping
By the properties of natural transformations, two irreducible representations \(\pi \) and \(\varrho \) of G with \([\pi ], [\varrho ] \in \sigma \) are isomorphic if and only if the induced representations \(\pi _H\) and \(\varrho _H\) of H are isomorphic. Therefore, \(\tilde{\delta }\) induces an injective map
To show that \(\delta \) is surjective, we apply Proposition 6.11. Take \(\eta \in H\) with \(\eta \ne \textrm{id}\). Thus, there is \(\pi \in {\mathscr {T}}(\sigma )\) with \(\eta _\pi \ne \textrm{id}_{E_\pi }\), i.e., \((\pi _H)_\eta \ne \textrm{id}_{E_\pi }\). Using Proposition 6.8 and Remark 6.16 we may assume that \(\pi \) is irreducible, hence \([\pi ] \in \sigma \) by Lemma 6.14. A moment’s thought reveals that the image \(\delta (\sigma ) \subseteq \hat{H}\) is grouplike, hence Proposition 6.11 shows \(\delta (\sigma ) = \hat{H}\).
Now observe that the map
is well-defined. Moreover, if \([\pi ] \in \hat{H}\) we find \([\tau ] \in \sigma \) with \([\pi ] = \delta ([\tau ]) = [\tau _H]\). But since \(\tau _H \circ c_\sigma = \tau \), we conclude that \(c_\sigma ^*([\pi ]) \in \sigma \). This argument also shows that \(c_\sigma ^*\) and \(\delta \) are inverse to each other. \(\square \)
We now prove Proposition 6.19 similarly to [18, Theorem 20].
Proof of Proposition 6.19
We choose a set R of representatives for the elements of \(\sigma \) and for every \(\pi \in R\) an invariant inner product \((\,\cdot \mid \cdot \,)_\pi \) as well as an orthonormal basis \(e_1, \dots , e_{n_{\pi }}\) wih respect to \((\,\cdot \mid \cdot \,)_\pi \). By Proposition 6.21 applied to \(H = \check{\sigma }\) and the Peter-Weyl theorem (see, e.g., [11, Theorem 5.12]), the weighted matrix coefficients
for \(i,j \in \{1, \dots , n_{\pi }\}\) and \(\pi \in R\) define an orthonormal basis of the Hilbert space \(\textrm{L}^2(\check{\sigma })\) (where \(\check{\sigma }\) is equipped with the Haar measure) and span a dense subset of \(\textrm{C}(\check{\sigma })\). Similarly, applying Lemma 6.21 to \(H= \overline{c_\sigma (G)}\) and using the Peter-Weyl theorem shows that the matrix coefficients
for \(i,j \in \{1, \dots , n_{\pi }\}\) and \(\pi \in R\) define an orthonormal basis of the Hilbert space \(\textrm{L}^2(\overline{c_\sigma (G)})\) and span a dense subset of \(\textrm{C}(\overline{c_\sigma (G)})\). Since the restriction mapping
sends \(\alpha _{ij}^\pi \) to \(\beta _{ij}^\pi \) for \(i,j \in \{1, \dots , n_\pi \}\) and \(\pi \in R\), it defines an isometry with respect to the \(\textrm{L}^2\)-norms. In particular, it is injective. Thus, \(\overline{c_\sigma (G)} = \check{\sigma }\). \(\square \)
The construction of group compactifications from grouplike subsets of \(\hat{G}\) is compatible with morphisms: If \(\sigma _1, \sigma _2 \subseteq \hat{G}\) are grouplike subsets with \(\sigma _1 \subseteq \sigma _2\), then also \({\mathscr {T}}(\sigma _1) \subseteq {\mathscr {T}}(\sigma _2)\) and the restriction map
defines a morphism of group compactifications. We therefore obtain a functor.
Construction 6.22
Define a functor \(\textrm{Tan}:\textbf{GrpLike}(\hat{G})^{\textrm{op}} \rightarrow \textbf{Comp}(G)\) by setting
-
\(\textrm{Tan}(\sigma ) \, {:}{=}\, \check{\sigma }\) for every grouplike subset \(\sigma \subseteq \hat{G}\), and
-
\(\textrm{Tan}(i_{\sigma _1,\sigma _2}) :\check{\sigma _2} \rightarrow \check{\sigma _1}, \, \eta \mapsto \eta |_{{\mathscr {T}}(\sigma _1)}\) for two grouplike subsets \(\sigma _1, \sigma _2 \subseteq \hat{G}\) with \(\sigma _1 \subseteq \sigma _2\).
We call this the Tannaka functor.
6.4 Tannaka–Krein Duality for Group Compactifications
We now show that
-
the representations functor \(\textrm{Rep}:\textbf{Comp}(G) \rightarrow \textbf{GrpLike}(\hat{G})^{\textrm{op}}\) from Construction 6.12, and
-
the Tannaka functor \(\textrm{Tan}:\textbf{GrpLike}(\hat{G})^{\textrm{op}} \rightarrow \textbf{Comp}(G)\) from Construction 6.22
are essentially inverse to each other and thereby extend the categorical equivalence of Theorem 5.25 (ii) to the case of a general (not necessarily abelian) group G.
To contruct the corresponding natural isomorphisms we need the following lemma. Here, \({\mathscr {T}}(\hat{H})\) denotes the Tannaka category of the whole dual \(\hat{H}\) with respect to the compact group H, i.e., the smallest subcategory of \(\textbf{FinRep}(H)\) containing \(\textrm{Irred}(H)\) which is closed with respect to taking direct sums, tensor products, complex conjugate representations and subrepresentations.
Lemma 6.23
Let (H, c) be a group compactification. Then
is a bijection such that
-
(i)
\(c^*(\pi \oplus \varrho ) = c^*(\pi ) \oplus c^*(\varrho )\) for all \(\pi ,\varrho \in {\mathscr {T}}(\hat{H})\),
-
(ii)
\(c^*(\pi \otimes \varrho ) = c^*(\pi ) \otimes c^*(\varrho )\) for all \(\pi ,\varrho \in {\mathscr {T}}(\hat{H})\),
-
(iii)
\(c^*(\overline{\pi }) = \overline{c^*(\pi )}\) for all \(\pi \in {\mathscr {T}}(\hat{H})\),
-
(iv)
given \(\pi \in {\mathscr {T}}(\hat{H})\), a subspace \(E \subseteq E_\pi \) is \(\pi \)-invariant if and only it is \(c^*(\pi )\)-invariant, and in that case \(c^*(\pi |_E) = c^*(\pi )|_E\), and
-
(v)
\(c^*(\mathbb {1}) = \mathbb {1}\).
Proof
For every \(\pi \in {\mathscr {T}}(\hat{H})\) we obtain that \(c^*(\pi ) \, {:}{=}\, \pi \circ c:G \rightarrow E_\pi \) is a finite-dimensional representation of G. Moreover, assertions (i) – (v) are obvious. In particular, the set
satisfies conditions (i) – (iv) of Construction 6.13. Now take an irreducible representation \(\pi :G \rightarrow {\mathscr {L}}(E_{\pi })\) in \(\textrm{Irred}(G)\) with \([\pi ] \in c^*(\hat{H})\) and show that \(\pi \in {\mathscr {T}}\). By assumption, we find an irreducible representation \(\varrho :H \rightarrow {\mathscr {L}}(E_{\varrho })\) in \(\textrm{Irred}(H)\) and an isomorphism \(U :\pi \rightarrow \varrho \circ c\) of finite-dimensional representations of G. We then obtain a new irreducible representation
of H and this satisfies \(\pi = \tau \circ c = c^*(\tau ) \in {\mathscr {T}}\) as desired. By definition of \({\mathscr {T}}(c^*\hat{H})\), we conclude that \({\mathscr {T}}(c^*\hat{H})\subseteq {\mathscr {T}}\).
On the other hand, the set
contains every irreducible representation \(\pi :H \rightarrow {\mathscr {L}}(E_{\pi })\) in \(\textrm{Irred}(H)\) and satisfies conditions (i) – (iv) of Construction 6.13. By definition of \({\mathscr {T}}(\hat{H})\), we obtain \({\mathscr {S}} = {\mathscr {T}}(\hat{H})\). As a consequence,
is a surjective map satisfying (i)–(iv). Since H is dense in G, the mapping \(c^*\) is also injective and therefore a bijection. \(\square \)
We now prove the analogues of Proposition 5.23 and Proposition 5.24 establishing the desired categorical equivalence in our more general framework. With the notation of Lemma 6.23 we obtain the following.
Proposition 6.24
For a group compactification (H, c) we obtain an isomorphism of group compactifications
by setting \((\gamma _{(H,c)}(x))_\pi \, {:}{=}\, ((c^*)^{-1}(\pi ))_x\) for \(\pi \in {\mathscr {T}}(c^*\hat{H})\) and \(x \in H\). Moreover, \(\gamma \) defines a natural isomorphism
Proof
Take a group compactification (H, c). Using Lemma 6.23 we obtain that for \(x \in H\) the map \(\gamma _{(H,c)}(x)\) is well-defined and a Tannaka transformation. It is clear, that \(\gamma _{(H,c)}\) is a morphism of group compactifications and in particular a surjective map (see Remark 5.7). On the other hand, since the finite-dimensional representations of a compact group separate its points (see, e.g., [11, Theorem 3.34]), we obtain that \(\gamma _{(H,c)}\) is injective and hence an isomorphism of group compactifications.
To see that \(\gamma \) defines a natural isomorphism, take a morphism \(\Phi :(H_1, c_1) \rightarrow (H_2,c_2)\) of group compactifications of G. We abbreviate the induced restriction map
by r and then have to show that \(r\gamma _{(H_1,c_1)} = \gamma _{(H_2,c_2)}\Phi \). Let \(x \in H_1\) and \(\pi \in {\mathscr {T}}(c_2^*\hat{H_2})\). Observing that \(\tau \circ \Phi \in {\mathscr {T}}(\hat{H_1})\) for every \(\tau \in {\mathscr {T}}(\hat{H_2})\), we obtain \((c_1^*)^{-1}(\pi ) = (c_2^*)^{-1}(\pi ) \circ \Phi \) and thus
This shows the desired equality. \(\square \)
Proposition 6.25
For a grouplike subset \(\sigma \subseteq \hat{G}\) we obtain \(\sigma = \textrm{Rep}(\textrm{Tan}(\sigma ))\). In particular, the identity on every grouplike subset defines a natural isomorphism
Proof
This is a direct consequence of Lemma 6.21. \(\square \)
Combining Propositions 6.24 and 6.25, we obtain the following Tannaka–Krein duality theorem for group compactifications of a general topological group G.
Theorem 6.26
The functors
establish an equivalence between the category of group compactifications and the opposite category of grouplike subsets.
Remark 6.27
Many properties of a group compactification (H, c) translate directly into properties of its dual \(\hat{H}\) or (equivalently) the associated grouplike subset \(c^*(\hat{H}) \subseteq \hat{G}\).
-
(i)
H is finite if and only if \(\hat{H}\) is finite (see [15, Lemma 28.1]).
-
(ii)
H is second countable if and only if \(\hat{H}\) is countable (see [15, Theorem 28.2]).
-
(iii)
H is connected if and only if \(\hat{H}\) is torsion-free, i.e., the grouplike subset generated by each \([\pi ]\in \hat{H}{\setminus }\{[\mathbb {1}]\}\) is infinite (see [15, Theorem 28.21]).
-
(iv)
H is totally disconnected if and only if \(\hat{H}\) consists only of torsion elements, i.e., the grouplike subset generated by each \([\pi ]\in \hat{H}\) is finite (see [15, Theorem 28.19]).
-
(v)
H is a Lie group if and only if \(\hat{H}\) is finitely generated, i.e, there are \([\pi _1], \dots , [\pi _n] \in \hat{H}\) such that the generated grouplike subset by these elements is the whole dual \(\hat{H}\).Footnote 14
-
(vi)
H is abelian if and only if \(\dim ([\pi ]) = 1\) for every \([\pi ] \in \hat{H}\) (see [15, Remark 27.51]).
6.5 Normal Dynamical Systems
We now return to irreducible topological and measure-preserving systems with discrete spectrum. Which of these systems are isomorphic to a group rotation system? And what is the desired complete isomorphism invariant for such systems? To answer these questions, we define a generalized version of the point spectrum of a bounded strongly continuous representation of G from Definition 5.1 by considering all irreducible finite-dimensional subrepresentations.
Definition 6.28
Let \(T:G \rightarrow {\mathscr {L}}(E)\) be a bounded strongly continuous group representation of G on a Banach space E.
-
(i)
For \([\pi ] \in \hat{G}\) we call
$$\begin{aligned} \, \, \, \, \quad \quad \textrm{mult}(T;[\pi ])&\, {:}{=}\, \sup \left\{ n \in \mathbb {N}_0 \,\bigg |\,\bigoplus _{k=1}^n \pi \text { is isomorphic to a subrepresentation of } T\right\} \end{aligned}$$the multiplicity of \([\pi ]\) in T.
-
(ii)
The set
$$\begin{aligned} \sigma _{\textrm{p}}(T)\,{:}{=}\, \{[\pi ] \in \hat{G}\mid \textrm{mult}(T;[\pi ]) > 0\} \end{aligned}$$is the point spectrum of T.
For a topological dynamical system \((K,\varphi )\) we set \(\textrm{mult}(K,\varphi ;[\pi ])\, {:}{=}\, \textrm{mult}(T^\varphi ;[\pi ])\) for \([\pi ] \in \hat{G}\), and \(\sigma _{\textrm{p}}(K,\varphi )\, {:}{=}\, \sigma _{\textrm{p}}(T^\varphi )\). Likewise, if \((\textrm{X},T)\) is a measure-preserving system, we write \(\textrm{mult}(\textrm{X},T;[\pi ]) \, {:}{=}\, \textrm{mult}(T;[\pi ])\) for \([\pi ] \in \hat{G}\), and \(\sigma _{\textrm{p}}(\textrm{X},T) \, {:}{=}\, \sigma _{\textrm{p}}(T)\).
Remark 6.29
Note that for abelian G the notions of the point spectrum from Definitions 5.1 and 6.28 (ii) agree up to the canonical identification of \(G^*\) with \(\hat{G}\) from Remark 6.5.
Based on [37, Corollary 5.8] we now introduce normal representations of T via the following “spectral conditions”.
Definition 6.30
A bounded strongly continuous representation \(T:G \rightarrow {\mathscr {L}}(E)\) of G with discrete spectrum on a Banach space E is normal if
-
(i)
\(\sigma _{\textrm{p}}(T)\) is grouplike, and
-
(ii)
\(\textrm{mult}(T;[\pi ]) \in \{0, \dim ([\pi ])\}\) for every \([\pi ] \in \hat{G}\).
A topological dynamical system \((K,\varphi )\) is normal if the induced Koopman representation \(T^\varphi \) is normal. Likewise, a measure-preserving system \((\textrm{X},T)\) is normal if the representation T is normal.
Remark 6.31
-
(i)
Notice that a normal representation T of G automatically satisfies that its fixed space
$$\begin{aligned} {\text {fix}}(T) \, {:}{=}\, \{v \in E \mid T_tv = v \text { for every } t \in G\} \end{aligned}$$has dimension zero or one. In particular, every normal topological dynamical system is minimal (see Proposition 2.12), and every normal measure-preserving system is ergodic.
-
(ii)
The point spectrum \(\sigma _{\textrm{p}}(K,\varphi )\) of a topological dynamical system automatically contains \([\mathbb {1}]\) and is closed with respect to taking complex conjugation. Thus, \(\sigma _{\textrm{p}}(K,\varphi )\) is grouplike if and only if \([\pi ] \otimes [\varrho ] \subseteq \sigma _{\textrm{p}}(K,\varphi )\) for all \([\pi ], [\varrho ] \in \sigma _{\textrm{p}}(K,\varphi )\). An analoguous statement holds for measure-preserving systems.
-
(iii)
In his situation, Zimmer gives another definition of normal measure-preserving systems based on virtual subgroups and measurable Hilbert bundles (see [37, Section 5]).
Example 6.32
Let (H, c) be a group compatification of G. Then the induced topological and measure-preserving dynamical systems \((H,\varphi _c)\) and \((H,m_H,T^{\varphi _c})\) (see Examples 2.6 and 2.14) are normal by the Peter–Weyl theorem (see [11, Theorem 5.12]).
For an abelian group G, it is easily seen that every irreducible topological and measure-preserving system with discrete spectrum is normal (cf. Proposition 5.3 and [7, Theorem 4.21]). In the general case, we obtain the following result on normality of topological dynamical systems (using the notation of Sect. 5.2).
Proposition 6.33
For a minimal topological dynamical system \((K,\varphi )\) with discrete spectrum the inequality \(\textrm{mult}(K,\varphi ;[\pi ]) \le \dim ([\pi ])\) holds for every \([\pi ] \in \hat{G}\). Moreover, the following assertions are equivalent.
-
(a)
The system \((K,\varphi )\) is normal.
-
(b)
If \((t_i)_{i \in I}\) is a net in G with \(\lim _{i} \varphi _{t_i}(x) =x\) for one \(x \in K\), then \(\lim _i \varphi _{t_i}(x) = x\) for every \(x \in K\).
-
(c)
For every \(y \in K\) the natural extension
$$\begin{aligned} (\textrm{E}_{\textrm{u}}(K,\varphi ),\varphi _{i_{(K,\varphi )}}) \rightarrow (K,\varphi ), \quad \vartheta \mapsto \vartheta (y) \end{aligned}$$is an isomorphism.
For the proof of Proposition 6.33 we use the following lemma.
Lemma 6.34
Let \((K,\varphi )\) be a minimal topological dynamical system with discrete spectrum. Let \(\langle \sigma _{\textrm{p}}(K,\varphi )\rangle \) be the smallest grouplike subset of \(\hat{G}\) containing \(\sigma _{\textrm{p}}(K,\varphi )\). Then
is a bijection.
Proof
It is clear that
is a well-defined and injective map. Moreover, its image is grouplike. Now consider the grouplike subset
of \(\widehat{\textrm{E}_{\textrm{u}}(K,\varphi )}\). We show that \(\sigma \) separates the points of \(\textrm{E}_{\textrm{u}}(K,\varphi )\). Take \(\vartheta \in \textrm{E}_{\textrm{u}}(K,\varphi ){\setminus } \{\textrm{id}_K\}\). Since \((K,\varphi )\) has discrete spectrum, we find a finite-dimensional invariant subspace \(M \subseteq \textrm{C}(K)\) of the Koopman representation \(T^\varphi \) and \(f \in M\) with \(f \circ \vartheta ^{-1} \ne f\). We may assume that the subrepresentation \(\pi _M \, {:}{=}\, (T^\varphi )|_M\) of G is irreducible. Then the induced representation
is also irreducible and satisfies \(\pi (\vartheta ) \ne \textrm{id}_M\). Moreover, \(\pi \circ i_{(K,\varphi )} = \pi _M\), in particular, \([\pi ] \in \sigma \). By Proposition 6.11 we obtain \(\sigma = {\widehat{\textrm{E}_{\textrm{u}}(K,\varphi )}}\) and thus \(i_{(K,\varphi )}^*\) is surjective. \(\square \)
Proof of Proposition 6.33
Pick a point \(y \in K\). The corresponding extension
induces an embedding of representations \(J_q :\textrm{C}(K) \rightarrow \textrm{C}(\textrm{E}_{\textrm{u}}(K,\varphi ))\), see Example 3.5. In view of Example 6.32, we therefore obtain
for every \([\pi ] \in \hat{G}\), as desired.
We show that statements (a) – (c) are equivalent. The implication “(c) \(\Rightarrow \) (a)” is clear (see Example 6.32). Likewise, the implication “(c) \(\Rightarrow \) (b)” is obvious.
Now assume that (a) holds. Given \([\pi ] \in {\widehat{\textrm{E}_{\textrm{u}}(K,\varphi )}}\), let \(M_{[\pi ]}\) be the sum of all subspaces of \(\textrm{C}(\textrm{E}_{\textrm{u}}(K,\varphi ))\) on which the left-regular representation of \(\textrm{E}_{\textrm{u}}(K,\varphi )\) is isomorphic to \(\pi \). By Lemma 6.34 and Definition 6.30, we obtain
-
(i)
\(i_{(K,\varphi )}^*([\pi ]) \in \sigma _{\textrm{p}}(K,\varphi )\), and
-
(ii)
\(\textrm{mult}(K,\varphi ;i_{(K,\varphi )}^*([\pi ])) = \dim ([\pi ])\).
By (i) we obtain that \(\pi \) is isomorphic to a finite-dimensional irreducible subrepresentation of
and (ii) then implies \(\textrm{mult}([\pi ];S) = \dim ([\pi ])\). This shows
On the other hand, \(\dim (M_{[\pi ]}) = \dim ([\pi ])^2\) by the Peter-Weyl theorem (see [11, Theorem 5.12]) and hence \({\text {rg}}(J_q)\) contains \(M_{[\pi ]}\). Since the subspaces \(M_{[\pi ]}\) for \([\pi ] \in {\widehat{\textrm{E}_{\textrm{u}}(K,\varphi )}}\) span a dense subspace of \(\textrm{C}(\textrm{E}_{\textrm{u}}(K,\varphi ))\) (see again [11, Theorem 5.12]), we conclude that \(J_q\) is surjective. Thus, q is an isomorphism, and this yields (c).
Finally, assume (b). For \(\vartheta _1,\vartheta _2 \in \textrm{E}_{\textrm{u}}(K,\varphi )\) with \(\vartheta _1(y) = \vartheta _2(y)\) set \(\vartheta \, {:}{=}\, \vartheta _2^{-1} \circ \vartheta _1 \in \textrm{E}_{\textrm{u}}(K,\varphi )\) and choose a net \((\vartheta _{t_i})_{i \in I}\) with \(\vartheta = \lim _{i} \vartheta _{t_i}\). Then \(\lim _{i}\vartheta _i(y) = \vartheta (y) =y\) and hence \(\vartheta (x) = \lim _i \vartheta _i(x) = x\) for every \(x \in K\) by (b). This shows \(\vartheta _1 = \vartheta _2\) and therefore q is injective. Thus, (b) implies (c). \(\square \)
Denoting the category of pointed normal topological dynamical systems by \(\textbf{TopNorm}_{\textbf{pt}}(G)\), Proposition 6.33 yields the following analogue of Proposition 5.13.
Proposition 6.35
For every pointed normal topological dynamical system \((K,\varphi ,y)\) we obtain an isomorphism \(\gamma _{(K,\varphi ,y)} :\textrm{Rot}(\textrm{Env}(K,\varphi ,y)) \rightarrow (K,\varphi ,y), \, \vartheta \mapsto \vartheta (y)\). Moreover, these isomorphisms define a natural isomorphism
As a consequence of Proposition 6.35, we obtain the following generalization of Corollary 5.14 by the same proof.
Corollary 6.36
Let \((K,\varphi ,y)\) and \((L,\psi ,z)\) be pointed normal topological dynamical systems. Then \((K,\varphi ,y)\) and \((L,\psi ,z)\) are isomorphic if and only if \((K,\varphi )\) and \((L,\psi )\) are isomorphic.
We also obtain that the restriction of the enveloping group functor from Construction 5.12
defines an essential inverse of the rotation functor
from Construction 5.11. In combination with Proposition 5.15 we obtain a categorical equivalence (cf. Theorem 5.16).
Theorem 6.37
The functors
establish an equivalence between the category of pointed normal topological dynamical systems and the category of group compactifications.
We also note that Theorem 4.8 implies that the categories \(\textbf{TopNorm}(G)\) of normal topological dynamical systems and the opposite category \(\textbf{MeasNorm}(G)^{\textrm{op}}\) of normal measure-preserving systems are equivalent.
Theorem 6.38
The restricted functors
establish an equivalence between the category of normal topological dynamical systems and the opposite category of normal measure-preserving systems.
6.6 A Halmos–von Neumann Theorem for Normal Actions
We now state versions of the Halmos–von Neumann theorem for normal dynamical systems, first in a categorical language, and then in a more classical formulation.
Construction 6.39
We define a functor \(\sigma _{\textrm{p}} :\textbf{TopNorm}_{\textbf{pt}}(G) \rightarrow \textbf{GrpLike}(\hat{G})^{\textrm{op}}\) by setting
-
\(\sigma _{\textrm{p}}(K,\varphi ,y) \, {:}{=}\, \sigma _{\textrm{p}}(K,\varphi )\) for every pointed normal topological dynamical system \((K,\varphi ,y)\), and
-
\(\sigma _{\textrm{p}}(q) \, {:}{=}\, i_{\sigma _{\textrm{p}}(L,\psi ),\sigma _{\textrm{p}}(K,\varphi )}\) for every morphism \(q :(K,\varphi ,y) \rightarrow (L,\psi ,z)\).
It is called the point spectrum functor.
With the enveloping group functor \(\textrm{Env}\) from Construction 5.12 and the representations functor \(\textrm{Rep}\) from Construction 6.12, Lemma 6.34 implies the following.
Proposition 6.40
The diagram of functors
![](http://media.springernature.com/lw361/springer-static/image/art%3A10.1007%2Fs10485-023-09743-y/MediaObjects/10485_2023_9743_Equ119_HTML.png)
commutes.
Combining Proposition 6.40 with Theorems 6.26 and 6.37, we obtain the following extension of Theorem 5.25 to the setting of a general topological group G.
Theorem 6.41
-
(i)
The functors
$$\begin{aligned} \textrm{Env}&:\textbf{TopNorm}_{\textbf{pt}}(G)\rightarrow \textbf{Comp}(G),\\ \textrm{Rot}&:\textbf{Comp}(G) \rightarrow \textbf{TopNorm}_{\textbf{pt}}(G) \end{aligned}$$establish an equivalence between the category of pointed normal topological dynamical systems and the category of group compactifications.
-
(ii)
The functors
$$\begin{aligned} \textrm{Rep}&:\textbf{Comp}(G) \rightarrow \textbf{GrpLike}(\hat{G})^{\textrm{op}},\\ \textrm{Tan}&:\textbf{GrpLike}(\hat{G})^{\textrm{op}} \rightarrow \textbf{Comp}(G) \end{aligned}$$establish an equivalence between the category of group compactifications and the opposite category of grouplike subsets of \(\hat{G}\).
-
(iii)
The functor
$$\begin{aligned} \sigma _{\textrm{p}} = \textrm{Rep} \circ \textrm{Env} :\textbf{TopNorm}_{\textbf{pt}}(G) \rightarrow \textbf{GrpLike}(\hat{G})^{\textrm{op}} \end{aligned}$$defines an equivalence between the category of pointed normal topological dynamical systems and the opposite category of grouplike subsets of \(\hat{G}\).
We formulate a slightly weaker “category-free” version which is the analogue of Theorem 5.4. In view of Corollary 6.36, it is a direct consequence of Theorem 6.41.
Theorem 6.42
For normal topological dynamical systems the following assertions hold.
-
(i)
Two normal systems \((K_1,\varphi _1)\) and \((K_2,\varphi _2)\) are isomorphic if and only if \(\sigma _{\textrm{p}}(K_1,\varphi _1) = \sigma _{\textrm{p}}(K_2,\varphi _2)\).
-
(ii)
For every grouplike subset \(\sigma \subseteq \hat{G}\) there is a normal system \((K,\varphi )\) such that \(\sigma _{\textrm{p}}(K,\varphi ) = \sigma \).
-
(iii)
For every normal system \((K,\varphi )\) there is a group compactification (H, c) such that \((K,\varphi )\) is isomorphic to the rotation \((H,\varphi _c)\).
Using the categorical equivalence between normal topological and measure-preserving dynamical systems from Theorem 6.38, we obtain the ergodic theoretical variant of Theorem 6.42. It is a version of Zimmer’s results in the case of systems (see [37, Theorems 4.3 and 5.7, Theorem 6.2, and Theorem 6.4]) for general normal measure-preserving systems dropping any separability conditions on the involved probability spaces and on the group G (as well as local compactness of G).
Theorem 6.43
For normal measure-preserving systems the following assertions hold.
-
(i)
Two normal systems \((\textrm{X}_1,T_1)\) and \((\textrm{X}_2,T_2)\) are isomorphic if and only if \(\sigma _{\textrm{p}}(\textrm{X}_1,T_1) = \sigma _{\textrm{p}}(\textrm{X}_2,T_2)\).
-
(ii)
For every grouplike subset \(\sigma \subseteq \hat{G}\) there is a normal system \((\textrm{X},T)\) such that \(\sigma _{\textrm{p}}(\textrm{X},T) = \sigma \).
-
(iii)
For every normal system \((\textrm{X},T)\) there is a group compactification (H, c) such that \((\textrm{X},T)\) is isomorphic to the rotation \((H,m_H,T^{\varphi _c})\).
Remark 6.44
-
(i)
As a consequence of Theorem 6.41, we obtain for normal topological dynamical systems \((K_1,\varphi _1)\) and \((K_2,\varphi _2)\) that the existence of a morphism \(q :(K_1,\varphi _1) \rightarrow (K_2,\varphi _2)\) is equivalent to the existence of a (not-necessarily continuous) injective linear map \(V :\textrm{C}(K_2) \rightarrow \textrm{C}(K_1)\) intertwining the Koopman representations \(T^{\varphi _2}\) and \(T^{\varphi _1}\). Moreover, \((K_1,\varphi _1)\) and \((K_2,\varphi _2)\) are isomorphic if and only we can find such V which is a vector space isomorphism. An analoguous statement holds in the ergodic theoretical setting. In particular, two normal measure-preserving systems \((\textrm{X}_1,T_1)\) and \((\textrm{X}_2,T_2)\) are isomorphic if and only the representations \(T_1\) and \(T_2\) restricted to the corresponding \(\textrm{L}^2\)-spaces are unitarily equivalent (cf. [7, Corollary 17.14]).
-
(ii)
In view of Remark 6.27, many properties of a normal system (or the corresponding group compactification) translate directly into properties of its point spectrum and vice versa.
-
(iii)
A general (possibly non-normal) minimal topological or ergodic measure-preserving system with discrete spectrum is always isomorphic to a quasi-rotation (in the topological case, consider the map Proposition 6.33 and factor out the stabilizer group; for the measure-preserving case use the categorical equivalence of Theorem 4.8). This representation aspect of the Halmos-von Neumann result is well-known (see, e.g., [26, Theorem 1], [2, Theorem 3.6], and [27, Section 3]). However there is an obstacle to covering the uniqueness and realization aspects of Theorem 6.43 for general irreducible systems with discrete spectrum already pointed out by Mackey (see [26, Remark 2 of Section 3]): Due to an example of Todd (see [33]) there are non-isomorphic ergodic systems \((\textrm{X}_1,T_1)\) and \((\textrm{X}_2,T_2)\) with discrete spectrum such that the representations \(T_1\) and \(T_2\) restricted to the corresponding \(\textrm{L}^2\)-spaces are unitarily equivalent.Footnote 15 Thus, any isomorphism invariant depending only on these unitary representations (such as the point spectrum from Definition 6.28), cannot be complete. Notice however, that in view of Lemma 6.34 and Theorem 6.26 two minimal systems with discrete spectrum \((K_1,\varphi )\) and \((K_2,\varphi _2)\) with the same point spectrum induce isomorphic group compactifications \((\textrm{E}_{\textrm{u}}(K_1,\varphi _1),i_{(K_1,\varphi _1)})\) and \((\textrm{E}_{\textrm{u}}(K_2,\varphi _2),i_{(K_2,\varphi _2)})\). In particular, two irreducible topological or measure-preserving systems with the same point spectrum can be realized as two factors of the same normal system. We also refer to Mackey’s article [26] for an alternative approach to the Halmos–von Neumann theorem for general ergodic measure-preserving systems with discrete spectrum.
Data Availability
Not applicable.
Notes
The original result considers the Koopman operator on \(\textrm{L}^2\)-spaces. However, the Hilbert space structure is inessential for the result and the point spectrum of the Koopman operator coincides on all \(\textrm{L}^p\)-spaces for \(p \in [1, \infty ]\), see [7, Proposition 2.18] We prefer \(\textrm{L}^1(\textrm{X})\).
The generalization of the classical ergodic theoretic result from \(\mathbb {Z}\)-actions to actions of general abelian groups is straightforward and probably quite well-known, see, e.g., [19, Subsection 1.5] We have included it anyway in order to highlight our categorial perspective, to illustrate our topological approach and to motivate our methods in the general, non-commutative case.
Here and in the following, a probability measure on a compact space is assumed to be a regular Borel measure.
Note that we do not require c to be a homeomorphism onto its range. In fact, we do not even demand that c is injective.
In the cited article the operators \(P_{[\pi ]}\) are defined via pointwise integrals, but one can readily check that the two definitions agree, cf. the end of [11, Appendix 3].
Part (ii) is true for extensions of arbitrary systems if one uses the Ellis semigroup instead of the uniform enveloping group and only demands that \(p_q\) is a continuous surjective semigroup homomorphism (see [2, Theorem 3.7]). For systems with discrete spectrum the two enveloping semigroups coincide and are actually compact groups by Theorem 2.11. Moreover, it is evident that \(p_q\) is even a morphism of group compactifications in this case.
However, it is still isomorphic to a quasi-rotation, see Remark 6.44 (iii) below.
Boundedness and continuity refer to the unique Hausdorff topological vector space structure on \({\mathscr {L}}(E_\pi )\). For example, this is induced by the operator norm arising from any norm on \(E_{\pi }\).
The cited result assumes G to be locally compact, but the proof still works in our situation.
The quoted result treats the case of compact groups. However, since the closure of the image of a given finite-dimensional representation (which is bounded by definition) of G is compact, the lemma also holds in general.
See footnote 11 above.
[15, Theorem 27.38] provides some more justification for these replacements of multiplication, inverses and the neutral element.
In fact, the acting group G can even be chosen to be finite and the systems \((\textrm{X}_1,T_1)\) and \((\textrm{X}_2,T_2)\) are then given by quasi-rotations on homogeneous spaces of G.
References
Abramov, L.M.: Metric automorphisms with quasi-discrete spectrum. Izv. Akad. Nauk SSSR Ser. Mat. 26, 513–530 (1962)
Auslander, J.: Minimal Flows and their Extensions. Elsevier, Amsterdam (1988)
Deitmar, A., Echterhoff, S.: Principles of Harmonic Analysis. Springer, Berlin (2009)
Derndinger, R., Nagel, R., Palm, G.: Ergodic Theory in the Perspective of Functional Analysis. Unpublished book manuscript (1987)
de Vries, J.: Elements of Topological Dynamics. Springer, Berlin (1993)
Edeko, N.: On the isomorphism problem for non-minimal transformations with discrete spectrum. Discrete Contin. Dyn. Syst. Ser. A. 39(10), 6001–6021 (2019)
Eisner, T., Farkas, B., Haase, M., Nagel, R.: Operator Theoretic Aspects of Ergodic Theory. Springer, Berlin (2015)
Edeko, N., Kreidler, H.: Uniform enveloping semigroupoids for groupoid actions. J. Anal. Math. 148, 739–796 (2022)
Ellis, R.: Topological dynamics and ergodic theory. Ergodic Theory Dyn. Syst. 7, 25–47 (1987)
Einsiedler, M., Ward, T.: Ergodic Theory with a View Towards Number Theory. Springer, Berlin (2011)
Folland, G.B.: A Course in Abstract Harmonic Analysis, 2nd edn. CRC Press, Boca Raton (2015)
Hofmann, K.H., Morris, S.A.: The Structure of Compact Groups. A Primer for the Student—A Handbook for the Expert, 2nd revised and augmented edition. De Gruyter, Berlin (2006)
Haase, M., Moriakov, N.: On systems with quasi-discrete spectrum. Stud. Math. 241, 173–199 (2018)
Hahn, F., Parry, W.: Minimal dynamical systems with quasi-discrete spectrum. J. Lond. Math. Soc. 40, 309–323 (1965)
Hewitt, E., Ross, K.A.: Abstract Harmonic Analysis, vol. II. Springer, Berlin (1997)
Halmos, P., von Neumann, J.: Operator methods in classical mechanics. II. Ann. Math. 2(43), 332–350 (1942)
Jamneshan, A.: An uncountable Furstenberg–Zimmer structure theory. Ergodic Theory Dyn. Syst 47, 2404–2436 (2023)
Joyal, A., Street, R.: An introduction to Tannaka duality and quantum groups. In Category Theory, pp. 411–492. Springer (1990)
Jamneshan, A., Shalom, O., Tao, T.: The structure of arbitrary Conze–Lesigne systems (2021). arXiv:2112.02056
Jamneshan, A., Tao, T.: An uncountable Mackey–Zimmer theorem. Stud. Math. 266, 241–289 (2022)
Jamneshan, A., Tao, T.: Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration. Fund. Math. 261, 1–98 (2023)
Jamneshan, A., Tao, T.: An uncountable Moore–Schmidt theorem. Ergodic Theory Dyn. Syst. 43, 2376–2403 (2023)
Kirillov, A.A.: Elements of the Theory of Representations. Springer, Berlin (1976)
Kwiatkowski, J.: Classification of non-ergodic dynamical systems with discrete spectra. Comment. Math. 22, 263–274 (1981)
Mac Lane, S.: Category Theory for the Working Mathematician, 2nd edn. Springer, Berlin (1998)
Mackey, G.W.: Ergodic transformation groups with a pure point spectrum. Ill. J. Math. 8, 593–600 (1964)
Nagel, R., Wolff, M.: Abstract dynamical systems with an application to operators with discrete spectrum. Arch. Math. 23, 170–176 (1972)
Oleson, D., Pedersen, G.K., Takesaki, M.: Ergodic actions of compact abelian groups. J. Oper. Theory 3, 237–269 (1980)
Robert, A.: Introduction to the Representation Theory of Compact and Locally Compact Groups. Cambridge University Press, Cambridge (1983)
Rudin, W.: Functional Analysis. McGraw-Hil, New York (1991)
Rédei, M., Werndl, C.: On the history of the isomorphism problem of dynamical systems with special regard to von Neumann’s contribution. Arch. Hist. Exact Sci. 66, 71–93 (2012)
Størmer, E.: Spectra of ergodic transformations. J. Funct. Anal. 15, 202–215 (1974)
Todd, J.A.: On a conjecture in group-theory. J. Lond. Math. Soc. 25, 246 (1950)
von Neumann, J.: Zur Operatorenmethode in der klassischen Mechanik. Ann. Math. 2(33), 587–642 (1932)
Viana, M., Oliveira, K.: Foundations of Ergodic Theory. Cambridge University Press, London (2016)
Walters, P.: An Introduction to Ergodic Theory. Springer, Berlin (1975)
Zimmer, R.J.: Extensions of ergodic group actions. Ill. J. Math. 20, 373–409 (1976)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by M. M. Clementino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors thank Nikolai Edeko, Karl Heinrich Hofmann and Rainer Nagel for advice and inspiring discussions. They are also grateful to the referee for their valuable comments. In addition, the second author acknowledges the financial support from the DFG (Project No. 451698284.).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hermle, P., Kreidler, H. A Halmos–von Neumann Theorem for Actions of General Groups. Appl Categor Struct 31, 38 (2023). https://doi.org/10.1007/s10485-023-09743-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10485-023-09743-y
Keywords
- Ergodic theory
- Topological dynamics
- Group compactifications
- Duality theory
- Category theoretical language