A Halmos–von Neumann Theorem for Actions of General Groups

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.


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 ϕ : X → X on a probability space X, can we find a simple isomorphism invariant which is complete, i.e., classifies (X, ϕ) up to an isomorphism? 1or 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 σ p (T ϕ ) of the induced Koopman operator2 T ϕ ∈ L (L 1 (X)) defined by T ϕ f := f • ϕ for f ∈ L 1 (X) which is (for such systems) a subgroup of the complex unit circle 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 (X 1 , ϕ 1 ) and (X 2 , ϕ 2 ) are isomorphic if and only if σ p (T ϕ 1 ) = σ p (T ϕ 2 ).(ii) Given any subgroup σ ⊆ T there is a system (X, ϕ) with σ p (T ϕ ) = σ .(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 nonabelian 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 measuretheoretic 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 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.

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). 3ur 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).

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 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 , ϕ) consisting of a compact space K and a continuous group action ϕ : G × K → K , (t, x) → ϕ t (x) = t x.We call (K , ϕ) minimal if K and ∅ 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 [7,Theorem 4.17]).
We recall that a morphism q : (K , ϕ) → (L, ψ) between topological dynamical systems (K , ϕ) and (L, ψ) is a continuous map q : K → L such that the diagram commutes for every t ∈ G.If q is surjective (which is automatically the case whenever (L, ψ) is minimal), then q is also called an extension.Every morphism q : (K , ϕ) → (L, ψ) induces an operator J q ∈ L (C(L), C(K )) given by J q f := f • q for f ∈ C(L) intertwining the group representations T ψ and T ϕ .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 (X, ϕ) where X = (X , X , μ X ) is a probability space and ϕ = (ϕ t ) t∈G is a family of measurable and measure-preserving maps on X such that ϕ 1 = id X and ϕ As in the topological case, every measure-preserving system gives rise to a Koopman representation where again [7,Section 13.2]).If X is a standard probability space, then a result of von Neumann tells that any group representation T : of G as Markov isomorphisms on L 1 (X) is induced by a measure-preserving system (X, ϕ) in this way.Moreover, ϕ t is unique up to a null-set for every t ∈ 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 (X, T ) consisting of a probability space X and a strongly continuous group representation T : Finally, a morphism (or extension) J : Many examples in ergodic theory arise from topological dynamical systems.Given a topological dynamical system (K , ϕ) we write P ϕ (K ) for the space of invariant probability measures 4 on K .By the Riesz representation theorem we can identify this with a weak*compact convex subset of the dual space C(K ) of C(K ).We also remark that if q : (K , ϕ) → (L, ψ) is a morphism to another system (L, ψ) and μ ∈ P ϕ (K ), then q * μ := μ• J q ∈ P ψ (L).We call q * μ the push-forward of μ.Now, if μ is an invariant probability measure of a system (K , ϕ), we write (K , μ) for the arising Borel probability space and note that the Koopman representation T ϕ : G → L (C(K )) uniquely extends to a strongly continuous group representation as Markov isomorphisms.Thus, every invariant probability measure μ of a topological dynamial system (K , ϕ) gives rise to a measure-preserving system and we denote this by (K , μ, T ϕ ).

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 → L (E), t → T t of G on a Banach space E which are (norm) bounded (i.e., sup t∈G T t < ∞) and strongly continuous (i.e., the map G → E, t → T t v is continuous for every v ∈ E).

Definition 2.1 A bounded strongly continuous group representation
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.[ ) i∈I converges to an inverse of S. A similar argument shows that inversion is a continuous map on J and therefore 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]).
In the case of an abelian group G, we obtain the following additional characterization using the dual group of G (where T is the complex unit circle).

Proposition 2.3 Assume that the group G is commutative. A bounded strongly continuous group representation T : G → 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.

Remark 2.4
If G = Z, we can identify G * with T and the condition in Proposition 2.3 becomes the usual notion of discrete spectrum for power-bounded operators (cf.[7,Section 16.36]).

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 , ϕ) has discrete spectrum if the induced Koopman representation T ϕ : G → L (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.(H , c) with H a compact group and c : G → H a continuous group homomorphism with dense range a group compactification 5 of G (see [5,Remark D.12.3]).Given such a group compactification (H , c) the continuous group action
Given a closed subgroup U of H , we also obtain an action on the homogeneuous space Then (H /U , ϕ) 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) quasirotation.
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]).
(ii) pseudoisometric if there is a family P of pseudometrics on K generating the topology such that p(t x, t y) = p(x, y) for all x, y ∈ K , t ∈ G and p ∈ 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 , ϕ) the closure with respect to the topology of uniform convergence equipped with the composition of maps is the uniform enveloping semigroup of (K , ϕ).
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 , ϕ) be a topological dynamical system.Then the map Proposition 2.9 is a direct consequence of the following lemma.Lemma 2.10 Let K be a compact space.Equip C(K , K ) with the topology of uniform convergence and the space of unital algebra homomorphisms Hom(C(K )) with the strong operator topology.Then the map 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 (ϑ i ) i∈I be a net in C(K , K ) and ϑ ∈ C(K , K ).Since the uniform structure of K is generated by the continuous functions f ∈ C(K ), we obtain that lim i ϑ i = ϑ uniformly if and only if in the norm of C(K ) for every f ∈ C(K ).But this means lim i S ϑ i = S ϑ with respect to the strong operator topology.This leads to the following additional characterizations of topological dynamical systems with discrete spectrum.Theorem 2.11 For a topological dynamical system (K , ϕ) the following assertions are equivalent.
If the space K is metrizable, then these assertions are also equivalent to (c') The system (K , ϕ) is isometric.
Proof Assume that (a) holds.By Proposition 2.2 we obtain that J(T ϕ ) is a compact topological group and therefore also E u (K , ϕ) 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 p q (x, y) := max{q(ϑ(x), ϑ(y)) | ϑ ∈ E u (K , ϕ)} for (x, y) ∈ K and q ∈ Q, we obtain a set P = {p q | q ∈ Q} of pseudometrics satisfying the conditions of Definition 2.7 (ii).Therefore (K , ϕ) is pseudoisometric, and, if K is metrizable, then even isometric.This shows the implications "(b) ⇒ (c)" and "(b) ⇒ (c')", respectively.
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 , ϕ) is called topologically ergodic if the fixed space of the Koopman representation Proposition 2.12 For a topological dynamical system (K , ϕ) with discrete spectrum the following assertions are equivalent.
(a) The system (K , ϕ) is topologically ergodic.(b) The system (K , ϕ) is minimal.(c) The system (K , ϕ) is strictly ergodic, i.e., it is minimal and admits a unique invariant probability measure.
Proof By Theorem 2.11 we obtain that E u (K , ϕ) is a compact group.We denote its Haar measure by m.As the orbits of the action of E u (K , ϕ) are precisely the minimal subsets, the system (K , ϕ) 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 , ϕ) contains two minimal subsets M 1 and M 2 .We then find an f ∈ 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 fix(T ϕ ).This shows that (a) implies (b).
If (b) holds, then it is easy to check that for x ∈ K setting for f ∈ C(K ) defines an invariant probability measure on K .By minimality of the system (K , ϕ), the group E u (K , ϕ) acts transitively on K which yields that μ does not depend on the choice of x ∈ K .If ν is any other invariant probability measure on K , then it is also invariant with respect to the action of E u (K , ϕ) and therefore The implications "(c) ⇒ (b)" and "(b) ⇒ (a)" are obvious.

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 (X, T ) has discrete spectrum if the underlying strongly continuous group representation T : G → L (L 1 (X)) has discrete spectrum.
The We recall the following interesting result from [27] related to ergodic systems with discrete spectrum.

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
for every triple (X , Y , Z ) of objects and an identity morphism id X ∈ Mor(X , X ) for every object X satisfying the following conditions.
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 TopDyn(G).Likewise, measure-preserving systems with their morphisms form a category 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
On any category C there is the identity functor Id C : C → C assigning every object and every morphism to itself.Given two functors F 1 : C → D and F 2 : D → E we can also consider the composition F 2 • F 1 which is defined in the obvious way.

Example 3.5
For a topological dynamical system (K , ϕ) we set Koop(K , ϕ) := (C(K ), T ϕ ).If q : (K , ϕ) → (L, ψ) is a morphism between topological dynamical systems we take Koop(q) as the induced morphism Then Koop is a functor from the category TopDyn(G) of topological dynamical systems to the opposite category ComC * Dyn(G) op of commutative C * -dynamical systems (since the direction of morphisms is reversed).We call this the Koopman functor.By Gelfand's representation theory for commutative C * -algebras we also obtain a functor in the other direction.

Example 3.6
Let (A, T ) be a commutative 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 ϕ t := T −t | Spec(A) for t ∈ G, we obtain a topological dynamical system Spec(A, T ) := (Spec(A), ϕ).Moreover, every morphism J : (A, T ) → (B, S) between commutative C * -dynamical systems defines a morphism q := J | Spec(B) : Spec(B, S) → Spec(A, T ) of topological dynamical systems.We therefore obtain a functor Spec from the category ComC * Dyn(G) op to the category 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 C and D and functors
In this case, the categories C and D are equivalent.

Example 3.8 If (K , ϕ
) is a topological dynamical system, we obtain an isomorphism of topological dynamical systems by mapping each point x ∈ K to the corresponding point evaluation δ [7,Theorem 4.11]).One readily checks that γ : see, e.g., [7,Section 4.4 and the Supplement of Chapter 4].A moment's thought reveals that γ : As a consequence of the previous two examples, we immediately obtain the following wellknown but fundamental consequence of the Gelfand-Naimark representation theorem for commutative C * -algebras.

Theorem 3.10 The functors
establish an equivalence between the category of topological dynamical systems and the opposite category of commutative C * -dynamical systems.

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 MinDisc(G) for the full subcategory of TopDyn(G) having as objects the minimal systems with discrete spectrum.Likewise, the full subcategory of MeasDyn(G) of ergodic systems with discrete spectrum as its objects is denoted by ErgDisc(G).Construction 4.1 Define a functor Meas : MinDisc(G) → ErgDisc(G) op by setting (i) Meas(K , ϕ) := (K , μ, T ϕ ) for every minimal topological dynamical system (K , ϕ) with discrete spectrum, where μ is the unique invariant probability measure (see Proposition 2.12), and (ii) Meas(q) := J q for a morphism q : (K , ϕ) → (L, ψ) between such systems, where J q is the unique continuous extension of the induced operator J q ∈ L (C(L), C(K )) to the corresponding L 1 -spaces.
To construct a functor in the other direction we first prove the following easy lemma.
Lemma 4.2 Let (X, T ) be a measure-preserving system.Then is an invariant unital C * -subalgebra of L ∞ (X) and the map 123 [7,Theorem 13.9]).The only remaining non-trivial assertion is strong continuity of the restricted representation.However, since the topologies induced by the L ∞ and L 1 -norms agree on finite dimensional subspaces, we obtain that there is a dense is continuous for every f ∈ D. Since the representation is bounded, this already shows strong continuity (use [7,Proposition C.18]).
In other words, the pair (L ∞ (X) disc , T disc ) is a commutative 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 Top
with discrete spectrum, and (ii) Top(J Note here that, for an ergodic measure-preserving system (X, T ) with discrete spectrum, the constructed topological dynamical system Spec(L ∞ (X) disc , T disc ) with discrete spectrum is in fact minimal by Proposition 2.12.
To show that the functors Meas of Construction 4.1 and Top of Construction 4.3 are essentially inverse to each other, we now have to prove that the compositions Top • Meas and Meas•Top are naturally isomorphic to the identity functors on MinDisc(G) and ErgDisc(G), respectively.For the first composition we need the following lemma.Lemma 4.4 Let (K , ϕ) be a minimal system with discrete spectrum and μ its unique invariant probability measure.
Proof Observe that H := E u (K , ϕ) 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 [π] ∈ Ĥ of irreducible finite-dimensional representations of H we obtain an operator for every f ∈ L 2 (K , μ). 6 Now if f ∈ M, then this series representation is actually a finite sum since M is finite-dimensional, and we conclude that f ∈ C(K ).
Thus, if we start from a minimal topological dynamical system (K , ϕ) with discrete spectrum, equip it with its unique invariant probability measure μ 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.In particular, the natural isomorphism γ from Example 3.8 restricts to a natural isomorphism With the help of the following lemma we show that also the composition Meas • Top : ErgDisc(G) → ErgDisc(G) is naturally isomorphic to the identity functor.Lemma 4.6 Let (X, T ) be an ergodic measure-preserving system with discrete spectrum.Then the Gelfand morphism Proof We write (K , ϕ) for the minimal system Spec(L ∞ (X) disc , T disc ) = Top(X, T ) with discrete spectrum constructed in Construction 4.3 and μ for its unique invariant probability measure (see Construction 2.12).Moreover, let V : (L ∞ (X) disc , T disc ) → (C(K ), T ϕ ) be the Gelfand isomorphism from Example 3.9.By transporting the integration functional we obtain a functional (V −1 ) •, 1 on C(K ).Using the Riesz representation theorem we identify this with an invariant probability measure on K , hence [7,Theorem 7.23]), one now readily checks that V −1 is an isometry with respect to the corresponding 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 L 1 (K , μ) → L 1 (X) which then defines the desired isomorphism γ (X,T ) .
With the notation of Lemma 4.6 we now obtain the counterpart to Proposition 4.5.

Proposition 4.7
The isomorphisms γ (X,T ) for ergodic measure-preserving systems (X, T ) with discrete spectrum from Lemma 4.6 define a natural isomorphism Proof Using the definitions of the functors Top and Meas as well as the definition of the isomorphisms γ (X,T ) , it is straightforward to check that the diagram in Definition 3.7 actually commutes.We omit the details.
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.
(a) The topological dynamical systems

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 → L (E), t → T t be a bounded strongly continuous group representation on a Banach space E. We say that χ ∈ G * is an eigencharacter of T if there is x ∈ E \ {0} with T t x = χ(t)x for every t ∈ G.We call the set the point spectrum of T .For a topological dynamical system (K , ϕ) we write σ p (K , ϕ) := σ p (T ϕ ), and for a measure-preserving system (X, T ) we set σ p (X, T ) := σ p (T ).

Remark 5.2
If G = Z, the point spectrum of a bounded strongly continuous group representation T : G → L (E), t → T t can be identified with the point spectrum σ p (T 1 ) via the canonical isomorphism Z * ∼ = T.
We make the following important observation.
(ii) Let (X, T ) be an ergodic measure-preserving system.Then σ p (X, T ) is a subgroup of G * .
Proof Consider (i).Clearly, For (ii) note that for every χ ∈ G * every element of the space is in L ∞ (X) by Proposition 2.15.Working in L ∞ (X) instead of L 1 (X) we then proceed exactly as in the proof of part (i).
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.
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 (X 1 , T 1 ) and (X 2 , T 2 ) with discrete spectrum are isomorphic if and only if σ p (X 1 , T 1 ) = σ p (X 2 , T 2 ).(ii) For every subgroup σ ⊆ G * there is an ergodic system (X, T ) with discrete spectrum such that σ p (X, T ) = σ .(iii) For every ergodic system (X, T ) with discrete spectrum there is a group compactification Given an ergodic measure-preserving system (X, T ) with discrete spectrum, we obtain that σ p (Top(X, T )) = σ p (X, T ).Conversely, it follows from Lemma 4.4 that σ p (Meas(K , ϕ)) = σ p (K , ϕ) for every minimal topological dynamical system (K , ϕ) 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.

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 :

We denote this category by 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).
(ii) For a morphism q : (K , ϕ) → (L, ψ) between minimal systems with discrete spectrum, the map with p q (ϑ)(q(x)) := q(ϑ(x)) for x ∈ K and ϑ ∈ E u (K , ϕ) defines a morphism p q : Proof Part (i) is obvious.For part (ii), observe that if x, y ∈ K satisfy q(x) = q(y), then also for all t ∈ G, and hence q(ϑ(x)) = q(ϑ(y)) for every ϑ ∈ E u (K , ϕ).Thus, p q is welldefined.It is easily checked that p q is actually a morphism of group compactifications of G. 7Lemma 5.8 allows us to define a functor F : MinDisc(G) → Comp(G) from the category of minimal systems with discrete spectrum to the category of group compactifications by setting ) for every minimal system (K , ϕ) with discrete spectrum, and • F(q) := p q for every morphism q : (K , ϕ) → (L, ψ) 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 , ϕ) is a non-trivial minimal system with discrete spectrum.Pick ϑ ∈ E u (K , ϕ)\{id K } and observe that q := ϑ : K → K defines an automorphism of the system (K , ϕ) (since E u (K , ϕ) is abelian) which is not the identity.However, with the notation of Lemma 5.8 we obtain that for every x ∈ K and ∈ E u (K , ϕ).We therefore obtain that p q ( ) = for every ∈ E u (K , ϕ), showing that p q is the identity.We conclude that the map Mor((K , ϕ), (K , ϕ)) → Mor(E u (K , ϕ), E u (K , ϕ)), q → p q 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 , ϕ, y) where (K , ϕ) is a minimal system with discrete spectrum and y ∈ K is a point of K .A morphism q : (K , ϕ, y) → (L, ψ, z) between such systems is a morphism q : (K , ϕ) → (L, ψ) between the corresponding topological dynamical systems with q(y) = z.We write MinDisc pt (G) for this category.
Group compactifications induce pointed minimal systems with discrete spectrum in a natural and functorial way.We call this the rotation functor.
Conversely, we use the functor F from above to define a functor from the category MinDisc pt (G) of pointed minimal systems with discrete spectrum to the category Comp(G) of compactifications.Again we use the notation of Lemma 5.8.
We call this the enveloping group functor.
We will now show that for a commutative group G the functors Rot : Comp(G) → MinDisc pt (G) and Env : MinDisc pt (G) → 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 , ϕ, y) with discrete spectrum γ (K ,ϕ,y) : Rot(Env(K , ϕ, y)) → (K , ϕ, y), ϑ → ϑ(y) is an isomorphism.Moreover, these isomorphisms define a natural isomorphism Proof Let (K , ϕ, z) be a pointed minimal system with discrete spectrum.Then E u (K , ϕ) 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 γ (K ,ϕ,y) is an isomorphism.It is readily checked that γ is actually a natural isomorphism.
As a consequence of Proposition 5.13 we obtain that, if G is commutative, the difference between the categories MinDisc(G) and MinDisc pt (G) is quite inessential.Corollary 5.14 Let G be abelian and let (K , ϕ, y) and (L, ψ, z) be pointed minimal system with discrete spectrum.Then (K , ϕ, y) and (L, ψ, z) are isomorphic if and only if (K , ϕ) and (L, ψ) are isomorphic.
Proof If (K , ϕ) and (L, ψ) are isomorphic, then also the respective group compatifications (E u (K , ϕ), i (K ,ϕ) ) and (E u (L, ψ), i (L,ψ) ) are isomorphic.But then (K , ϕ, y) and (L, ψ, z) are isomorphic by Proposition 5.13.(G) establish an equivalence between the category of pointed minimal topological dynamical systems with discrete spectrum and the category of group compactifications.

We now turn to the natural isomorphism between Id
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 σ, ρ ⊆ G * is given by Mor(σ, ρ) := {i σ,ρ } for the inclusion map i : σ → ρ if σ is a subgroup of ρ, and Mor(σ, ρ) := ∅ otherwise.We denote this category by 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 MinDisc pt (G) an object of Subgrp(G * ).In fact, this defines a functor.
We call this the point spectrum functor.
Observe here that if q : (K , ϕ) → (L, ψ) is an extension of topological dynamical systems, then then all eigenspaces of T ψ embed into eigenspaces of T ϕ via J q which implies the inclusion σ p (L, ψ) ⊆ σ p (K , ϕ).
To show that the functor σ p establishes an equivalence between the categories MinDisc pt (G) and Subgrp(G * ) op , we rewrite it as a decomposition of two functors.The first one is the enveloping group functor Env : MinDisc pt (G) → Comp(G) from Construction 5.12.The second functor is the following.
We call this the discrete duality functor.
Note here that for every morphism : 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 , ϕ, z) be a pointed minimal system with discrete spectrum.We have to show that DDual(Env(K , ϕ, z)) = σ p (K , ϕ, z).

MinDisc pt (G)
To show prove the inclusion "⊆", let q := η (K ,ϕ,z) : For the converse inclusion "⊇" take χ ∈ σ p (K , ϕ, z) and pick f ∈ C(K )\{0} such that T ϕ t f = χ(t) f for every t ∈ G.By compactness of the unit circle T, we find for every ϑ ∈ E u (K , ϕ) some λ ϑ ∈ T with f • ϑ = λ ϑ f .Since f = 0, we obtain that λ ϑ is uniquely determined by ϑ.It is easy to see that the map In view of Theorem 5.16 we thus know that the point spectrum functor σ p : MinDisc(G) → SubGrp(G * ) op defines an equivalence of categories if we find an essential inverse for DDual : Comp(G) → SubGrp(G * ) 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 σ ⊆ G * of G * consider (i) the dual group σ * with respect to the topology of pointwise convergence on σ , and (ii) the evaluation map c σ : G → σ * given by c σ (t)(χ) := χ(t) for t ∈ G and χ ∈ σ .
Proof It is clear that σ * is a compact group and that c σ is a continuous group homomorphism.We show that c σ has dense range, i.e., that the closure H := c σ (G) equals σ * .However, as H and σ * are compact groups, this is the case if and only if the restriction map [11,Theorem 4.39].By Pontryagin duality we can identify σ with (σ * ) * as a discrete group via the canonical evaluation map.Therefore r is injective if and only if r : σ → H * , χ → j χ with j χ (x) = x(χ) for x ∈ H and χ ∈ σ is injective.Now take χ ∈ ker(r ).Then, in particular, for every t ∈ G, and therefore χ = 1.This finishes the proof of the lemma.
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.γ (H ,c) : (H , c) → CDual(DDual(H , c)) by setting γ (H ,c) (x)(χ • c) := χ(x) for every χ ∈ H * and x ∈ H .Moreover, γ defines a natural isomorphism

Proposition 5.23 Assume that G is commutative. For a group compactification (H , c) we obtain an isomorphism
Proof Take a group compactification (H , c) and note that γ (H ,c) (x) is well-defined for every x ∈ H , since c has dense range.It is clear that γ (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 γ (H ,c) is an isomorphism of group compatifications.It is readily checked that γ defines a natural isomorphism.Proposition 5. 24 If G is commutative and σ ⊆ G * is a subgroup of G * , we obtain σ = DDual(CDual(σ )).In particular, the identity on every such subgroup defines a natural isomorphism Conversely, take α ∈ (σ * ) * .By the Pontryagin duality we find χ ∈ σ with α = α χ (with α χ defined as above) and by the computation above we conclude that α • c σ = χ ∈ σ .
We combine the natural isomorphisms of Proposition 5.

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]).

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. 8e 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.

Definition 6.1 A bounded continuous 9 group representation
It is irreducible if it is non-zero and {0} and E π are the only invariant subspaces of E π .
A morphism U : π → between such finite-dimensional representations is a linear map U ∈ L (E π , E ) between the underlying vector spaces such that the diagram 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.
(iv) For every E ∈ M the complex conjugate space E is in M where E is defined as the set E with the unique vector space structure turning the identity id E : E → E into an antilinear isomorphism.(v) For every E ∈ M and every linear subspace F ⊆ E, we also have F ∈ M.
The existence of such a set M is readily verified.Having fixed such an M once and for all, we write FinVect for the category of finite-dimensional vector spaces in M, and 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 π and of G the following assertions hold.
(i) Every morphism U : π → is zero or an isomorphism.(ii) The vector space of morphisms Mor(π, ) 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 π ⊕ and tensor product π ⊗ of finite-dimensional representations π and are defined in the obvious way.In addition we recall the following.Definition 6.3 Let π be a finite-dimensional representation of G.The complex conjugate representation of π is given by We now introduce the dual of G generalizing the Pontryagin dual G * from the abelian case.If π : G → L (E π ) is any irreducible finite-dimensional representation (with E π not necessarily contained in our fixed set M of finite-dimensional vector spaces from above), then E π is isomorphic to a vector space C n for some n ∈ N. Therefore, π is isomorphic to an irreducible representation π on C n ∈ M and we write [π] := [ π].Remark 6. 5 For abelian G, the character space G * of G maps bijectively to the dual Ĝ of G by mapping every character to the one-dimensional representation G → L (C), t → χ(t) as a consequence of Schur's lemma (cf.[11, Corollary 3.6]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]11).

Lemma 6.6 Let π be a finite-dimensional representation. (i) There is an inner product ( • | • ) on E π with respect to which π becomes a unitary group representation. (ii) If π is irreducible and unitary with respect to two inner products (
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 Ĝ 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.

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 Ĝ is no longer a group, but we still have a (well-defined!) "multivalued multiplication" actually only has finitely many elements as shown by the following consequence of [15,Theorem 27.30].12Proposition 6.8 Let π be a finite-dimensional unitary representation.Then there are pairwise orthogonal invariant subspaces E 1 , . . ., Moreover, the set {[π j ] | j ∈ {1, . . .n}} is the same for any such decomposition.

Corollary 6.9 For
Proof Choose an invariant inner product on E π ⊗ .Since any irreducible invariant subspace of E π ⊗ can be orthogonally complemented (and hence is part of an orthogonal decomposition of E π ⊗ into irreducible subspaces), the claim follows directly from the uniqueness assertion of Proposition 6.8.
Setting [π] := [π] for [π] ∈ Ĝ, the complex conjugate representation from Definition 6.3 also gives rise to a replacement of the inverse in a group.Finally, the element [1] ∈ Ĝ where 1 : G → L (C), t → id C is the constant representation can be seen as a "neutral element" for Ĝ. 13With these concepts we arrive of the following generalized version of dual subgroups (cf.[15,Definition 27.35]).
We write GrpLike( Ĝ) for the category of grouplike subsets of Ĝ where the morphisms are given by inclusion maps i σ 1 ,σ 2 for σ 1 ⊆ σ 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 σ ⊆ Ĝ a grouplike subset.Assume that for every In complete analogy to the abelian case, every group compactification of G gives rise to a grouplike subset of Ĝ in a functorial way (cf.Construction 5.19 above).Construction 6.12 Define a functor Rep : Comp(G) → GrpLike( Ĝ) op by setting We call this the representations functor.

Tannaka Categories and Tannaka Groups
Our task is now the construction of an essential inverse for the functor 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 σ ⊆ Ĝ, we first build a category of representations out of σ .Construction 6. 13 Let σ ⊆ Ĝ be a grouplike subset.We consider the preimage p −1 (σ ) under the canonical map and the smallest set T (σ ) of representations in FinRep(G) containing p −1 (σ ) with the following properties.
and is a subrepresentation of π, then also ∈ T (σ ).

We consider T (σ ) as a full subcategory of the category FinRep(G) of finite-dimensional representations of G and call this the Tannaka category associated to σ .
The following simple observation is important.
Proof We consider the set T all representations τ ∈ T (σ ) having the property, that every irreducible subrepresentation π of τ satisfies [π] ∈ σ .We check that T has properties (i) -(iv) of Construction 6.13 and hence T = T (σ ).Note first that property (iv) holds trivially.Moreover, (i) is a consequence of Proposition 6.8 showing that every irreducible subrepresentation of π ⊕ is isomorphic to an irreducible subrepresentation of π or .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 σ is grouplike.
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.17For every grouplike subset σ ⊆ Ĝ the Tannaka group σ is a compact group.
Proof For every representation π ∈ T (σ ) let ( • | • ) be an invariant inner product as in Lemma 6.6.We show that σ is contained in the product of the corresponding unitary groups U(E π ) for π ∈ T (σ ).
Pick η ∈ σ .For a fixed representation π ∈ T (σ ) consider the morphism of representations Since η is a natural transformation, we obtain V • η π ⊗π = η 1 • V .Using that η is unital and tensor-preserving, this implies for all x, y ∈ E π since η is self-adjoint.Thus, η π ∈ L (E π ) is an isometry and, since E π is finite-dimensional, even unitary.Thus, σ is contained in H .
To see that σ 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 η ∈ σ and consider η * ∈ H given by (η * ) π := (η π ) for every π ∈ T (σ ).If U : π → is a morphism of finite-dimensional representations, then the adjoint U * defines a morphism → π.Thus, showing that η * : For → For is a natural transformation.It is routine to check that η * satisfies properties (i) -(iii).We therefore obtain that η * ∈ σ and hence σ is a subgroup of the compact group H . Finally, it is easy to see that σ is closed and therefore itself a compact group.
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 σ ⊆ Ĝ a grouplike subset and σ its Tannaka group.We define by setting η(t) π := π t for every π ∈ T (σ ) and every t ∈ G.
We now want to show the following.Proposition 6. 19 For every grouplike subset σ the pair ( σ , c σ ) is a group compactification of G.
While it is clear that c σ is a continuous group homomorphism, showing that its range is dense in σ requires some work.In the following two lemmas we first elaborate some properties of closed subgroups H of σ containing the image c σ (G).We will then see that H = σ is the only such subgroup thereby finishing the proof of Proposition 6.19.Lemma 6.20 Let σ ⊆ Ĝ be a grouplike subset and H ⊆ σ a closed subgroup of σ containing c σ (G).For a representation π ∈ T (σ ) of G the induced representation Proof Part (ii) follows directly from part (i).To prove (i), take a subspace E ⊆ E π .If E is π-invariant, then the inclusion map i : E → E π defines a morphism from the restricted representation π| E to the representation π.Thus, if η ∈ H ⊆ σ , the diagram commutes by the definition of natural This shows η π (E) ⊆ E. We conclude that E is π H -invariant.
Assume conversely that E is π H -invariant.Then, in particular, With the notation of Definition 6.18 and Lemma 6.20 we also obtain the following.Lemma 6.21 Let σ ⊆ Ĝ be a grouplike subset and H ⊆ σ a closed subgroup containing c σ (G).Then the maps are mutually inverse bijections.
Proof of Proposition 6. 19 We choose a set R of representatives for the elements of σ and for every π ∈ R an invariant inner product ( • | • ) π as well as an orthonormal basis e 1 , . . ., e n π wih respect to ( • | • ) π .By Proposition 6.21 applied to H = σ and the Peter-Weyl theorem (see, e.g., [11,Theorem 5.12]), the weighted matrix coefficients for i, j ∈ {1, . . ., n π } and π ∈ R define an orthonormal basis of the Hilbert space L 2 ( σ ) (where σ is equipped with the Haar measure) and span a dense subset of C( σ ).Similarly, applying Lemma 6.21 to H = c σ (G) and using the Peter-Weyl theorem shows that the matrix coefficients for i, j ∈ {1, . ., n π } and π ∈ R define an orthonormal basis of the Hilbert space L 2 (c σ (G)) and span a dense subset of C(c σ (G)).Since the restriction mapping sends α π i j to β π i j for i, j ∈ {1, . . ., n π } and π ∈ R, it defines an isometry with respect to the L 2 -norms.In particular, it is injective.Thus, c σ (G) = σ .
The construction of group compactifications from grouplike subsets of Ĝ is compatible with morphisms: If σ 1 , σ 2 ⊆ Ĝ are grouplike subsets with σ 1 ⊆ σ 2 , then also T (σ 1 ) ⊆ T (σ 2 ) and the restriction map defines a morphism of group compactifications.We therefore obtain a functor.
We call this the Tannaka functor.

Tannaka-Krein Duality for Group Compactifications
We now show that • the representations functor Rep : Comp(G) → GrpLike( Ĝ) op from Construction 6.12, and • the Tannaka functor Tan : GrpLike( Ĝ) op → 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, T ( Ĥ ) denotes the Tannaka category of the whole dual Ĥ with respect to the compact group H , i.e., the smallest subcategory of FinRep(H ) containing 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 On the other hand, the set contains every irreducible representation π : H → L (E π ) in Irred(H ) and satisfies conditions (i) -(iv) of Construction 6.13.By definition of T ( Ĥ ), we obtain S = T ( Ĥ ).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.
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.Proof Take a group compactification (H , c).Using Lemma 6.23 we obtain that for x ∈ H the map γ (H ,c) (x) is well-defined and a Tannaka transformation.It is clear, that γ (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 γ (H ,c) is injective and hence an isomorphism of group compactifications.

Proposition 6.24 For a group compactification (H , c) we obtain an isomorphism of group compactifications
To see that γ defines a natural isomorphism, take a morphism : by r and then have to show that r γ This shows the desired equality.Proposition 6.25 For a grouplike subset σ ⊆ Ĝ we obtain σ = Rep(Tan(σ )).In particular, the on every grouplike subset defines a natural isomorphism Proof This is a direct consequence of Lemma 6.21.
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  such that the generated grouplike subset by these elements is the whole dual Ĥ .14(vi) H is abelian if and only if dim([π]) = 1 for every [π] ∈ Ĥ (see [15,Remark 27.51]).

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 → L (E) be a bounded strongly continuous group representation of G on a Banach space E.
is the point spectrum of T .
Based on [37, Corollary 5.8] we now introduce normal representations of T via the following "spectral conditions".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 σ p (K , ϕ) of a topological dynamical system automatically contains [1] and is closed with respect to taking complex conjugation.

Definition 6.30 A bounded strongly continuous representation
For the proof of Proposition 6.33 we use the following lemma.Lemma 6.34 Let (K , ϕ) be a minimal topological dynamical system with discrete spectrum.Let σ p (K , ϕ) be the smallest grouplike subset of Ĝ containing σ p (K , ϕ).Then is a well-defined and injective map.Moreover, its image is grouplike.Now consider the grouplike subset of E u (K , ϕ).We show that σ separates the points of E u (K , ϕ).Take ϑ ∈ E u (K , ϕ)\{id K }.Since (K , ϕ) has discrete spectrum, we find a finite-dimensional invariant subspace M ⊆ C(K ) of the Koopman representation T ϕ and f ∈ M with f •ϑ −1 = f .We may assume that the subrepresentation π M := (T ϕ )| M of G is irreducible.Then the induced representation is also irreducible and satisfies π(ϑ) = id M .Moreover, π • i (K ,ϕ) = π M , in particular, [π] ∈ σ .By Proposition 6.11 we obtain σ = E u (K , ϕ) and thus i * (K ,ϕ) is surjective.
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 , ϕ, y) and (L, ψ, z) be pointed normal topological dynamical systems.Then (K , ϕ, y) and (L, ψ, z) are isomorphic if and only if (K , ϕ) and (L, ψ) are isomorphic.
We also obtain that the restriction of the enveloping group functor from Construction 5.12 We also note that Theorem 4.8 implies that the categories TopNorm(G) of normal topological dynamical systems and the opposite category MeasNorm(G) op of normal measure-preserving systems are equivalent.establish an equivalence between the category of normal topological dynamical systems and the opposite category of normal measure-preserving systems.
It is called the point spectrum functor.
With the enveloping group functor Env from Construction 5.12 and the representations functor Rep from Construction 6.12, Lemma 6.34 implies the following.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.  defines an equivalence between the category of pointed normal topological dynamical systems and the opposite category of grouplike subsets of Ĝ.
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.
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 (X 1 , T 1 ) and (X 2 , T 2 ) are isomorphic if and only if σ p (X 1 , T 1 ) = σ p (X 2 , T 2 ).(ii) For every grouplike subset σ ⊆ Ĝ there is a normal system (X, T ) such that σ p (X, T ) = σ .(iii) For every normal system (X, T ) there is a group compactification (H , c) such that (X, T ) is isomorphic to the rotation (H , m H , T ϕ c ). Remark 6.44 (i) As a consequence of Theorem 6.41, we obtain for normal topological dynamical systems (K 1 , ϕ 1 ) and (K 2 , ϕ 2 ) that the existence of a morphism q : (K 1 , ϕ 1 ) → (K 2 , ϕ 2 ) is equivalent to the existence of a (not-necessarily continuous) injective linear map V : C(K 2 ) → C(K 1 ) intertwining the Koopman representations T ϕ 2 and T ϕ 1 .Moreover, (K 1 , ϕ 1 ) and (K 2 , ϕ 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 (X 1 , T 1 ) and (X 2 , T 2 ) are isomorphic if and only the representations T 1 and T 2 restricted to the corresponding 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

Remark 3 . 3 Definition 3 . 4
We write ComC * Dyn(G) for the category of commutative C * -dynamical systems.Given any category C we can perform standard constructions.(i) A subcategory D of C consists of a subclass of objects of C and a subset Mor D (X , Y ) ⊆ Mor C (X , Y ) of morphisms for every pair (X , Y ) of objects in D such that • id X ∈ Mor D (X , X ) for every object X in D, and • β • α ∈ Mor D (X , Z ) for all α ∈ Mor D (X , Y ) and β ∈ Mor D (Y , Z ) where X , Y , Z are objects in D. In this case, D becomes a category in its own right in the obvious way.If Mor D (X , Y ) = Mor C (X , Y ) for all objects X and Y in D, then D is called a full subcategory of C .(ii) The opposite category C op has the same objects Ob(C op ) := Ob(C ) but the reversed morphisms: Mor C op (X , Y ) := Mor 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.Given categories C and D, a functor F : C → D consists of (i) an assignment F : Ob(C ) → Ob(D) and, (ii) a map where dim([π]) and tr([π]) denote the dimension and trace of [π], respectively, S ϑ f := f •ϑ for ϑ ∈ H , and the integral is understood in the weak sense (see [30, Definition 3.26 and Theorem 3.27]).Moreover, P [π ] f is contained in the closed linear hull of the orbit lin{S ϑ f | ϑ ∈ H } for f ∈ L 2 (K , μ) (see again [30, Theorem 3.27]), and this implies P [π ] M ⊆ M by invariance of M with respect to T ϕ and continuity of the map H → L 2 (K , μ), ϑ → S ϑ f .By [8, Theorem 6.1] the operators P [π ] for [π] ∈ Ĥ are pairwise orthogonal projections with ranges in C(K ) and f = [π ]∈ Ĥ P [π ] f

Definition 6 . 4
Let Irred(G) be the set of all irreducible finite-dimensional representations within FinRep(G) and define an equivalence relation ∼ on Irred(G) via π ∼ ⇔ there is an isomorphism U : π → .The set Ĝ := Irred(G)/ ∼ is the dual of G.

(
iii) The functorσ p = Rep • Env : TopNorm pt (G) → GrpLike( Ĝ) op ) 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∈I , then (T t −1 [7, T has discrete spectrum.(b)Theorbits{Ttv|t∈ G} are relatively compact for every v ∈ E. (c) The semigroup 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 ⊆ E such that the orbit {T t v | t ∈ G} is relatively compact for every v ∈ 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 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 J(T

Example 2.14 Let
(H , c) be a group compactification of G and (H , ϕ c ) the induced group rotation of Example 2.6.The Haar measure m H on H then induces an ergodic measurepreserving system (H , m H , T ϕ c ) with discrete spectrum.We call such systems (measurepreserving) rotations.More generally, given any closed subgroup U of H we equip the quasi-rotation (H /U , ϕ) with the pushforward m H /U of the Haar measure m H to again arrive at an ergodic measurepreserving system (H /U , m H /U , T ϕ c ) with discrete spectrum.Such systems are (measurepreserving) quasi-rotations.
the properties of natural transformations, two irreducible representations π and of G with [π], [ ] ∈ σ are isomorphic if and only if the induced representations π H and H of H are isomorphic.Therefore, δ induces an injective map The functors Many properties of a group compactification (H , c) translate directly into properties of its dual Ĥ or (equivalently) the associated grouplike subset c * ( Ĥ ) ⊆ Ĝ. (i) H is finite if and only if Ĥ is finite (see [15, Lemma 28.1]).(ii) H is second countable if and only if Ĥ is countable (see [15, Theorem 28.2]).(iii) H is connected if and only if Ĥ is torsion-free, i.e., the grouplike subset generated by each [π] ∈ Ĥ \{[1]} is infinite (see [15, Theorem 28.21]).(iv) H is totally disconnected if and only if Ĥ consists only of torsion elements, i.e., the grouplike subset generated by each [π] ∈ Ĥ is finite (see [15, Theorem 28.19]).(v) H is a Lie group if and only if Ĥ is finitely generated, i.e, there are [π 1 ], . . ., [π n ] ∈ Ĥ [11,naloguous statement holds for measure-preserving systems.(iii)Inhis situation, Zimmer gives another definition of normal measure-preserving systems based on virtual subgroups and measurable Hilbert bundles (see [37, Section 5]).Let (H , c) be a group compatification of G. Then the induced topological and measure-preserving dynamical systems (H , ϕ c ) and (H , m H , T ϕ c ) (see Examples 2.6 and 2.14) are normal by the Peter-Weyl theorem (see[11, Theorem 5.12]).b) If (t i ) i∈I is a net in G with lim i ϕ t i (x) x for one x ∈ K , then lim i ϕ t i (x) = x for every x ∈ K .(c) For every y ∈ K the natural extension Thus, σ p (K , ϕ) is grouplike if and only if [π]⊗[ ] ⊆ σ p (K , ϕ) for all [π], [ ] ∈ σ p (K , ϕ).Proposition 6.33 For a minimal topological dynamical system (K , ϕ) with discrete spectrum the inequality mult(K , ϕ; [π]) ≤ dim([π]) holds for every [π] ∈ Ĝ.Moreover, the following assertions are equivalent.(a)The system (K , ϕ) is normal.(