Abstract
Let \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) define a continuous \({{\mathbb {R}}}\)action on the topological group G. A unitary representation \((\pi ^\flat ,\mathcal {H})\) of the extended group \(G^\flat := G \rtimes _\alpha {{\mathbb {R}}}\) is called a ground state representation if the unitary oneparameter group \(\pi ^\flat (e,t) = e^{itH}\) has a nonnegative generator \(H \ge 0\) and the subspace \(\mathcal {H}^0 := \ker H\) of ground states generates \(\mathcal {H}\) under G. In this paper, we introduce the class of strict ground state representations, where \((\pi ^\flat ,\mathcal {H})\) and the representation of the subgroup \(G^0 := \mathop {\textrm{Fix}}\nolimits (\alpha )\) on \(\mathcal {H}^0\) have the same commutant. The advantage of this concept is that it permits us to classify strict ground state representations in terms of the corresponding representations of \(G^0\). This is particularly effective if the occurring representations of \(G^0\) can be characterized intrinsically in terms of concrete positivity conditions. To find such conditions, it is natural to restrict to infinite dimensional Lie groups such as (1) Heisenberg groups (which exhibit examples of nonstrict ground state representations); (2) Finite dimensional groups, where highest weight representations provide natural examples; (3) Compact groups, for which our approach provides a new perspective on the classification of unitary representations; (4) Direct limits of compact groups, as a class of examples for which strict ground state representations can be used to classify large classes of unitary representations.
Similar content being viewed by others
1 Introduction
Let G be a (Hausdorff) topological group and \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) be a homomorphism defining a continuous action of \({{\mathbb {R}}}\) on G and let
be the closed subgroup of fixed points. The semidirect product \(G^\flat := G \rtimes _\alpha {{\mathbb {R}}}\) is a topological group with respect to the product topology, and a unitary representation \((\pi ^\flat , \mathcal {H})\) of \(G^\flat \) on a complex Hilbert space \(\mathcal {H}\) always has the form
where \((\pi , \mathcal {H})\) is a unitary representation of G and \((U_t)_{t \in {{\mathbb {R}}}}\) is a unitary oneparameter group on \(\mathcal {H}\) satisfying the covariance condition
Writing \(U_t= e^{itH}\) with a selfadjoint operator H (Stone’s Theorem, [44, Thm. 13.38]), we call \(\pi ^\flat \), resp., the pair \((\pi ,U)\) a positive energy representation of \((G,\alpha )\) if \(H \ge 0\). If, in addition, for the minimal energy space \(\mathcal {H}^0 := \ker H\), the subset \(\pi (G)\mathcal {H}^0\) spans a dense subspace of \(\mathcal {H}\), we call \((\pi , \mathcal {H})\) a ground state representation.^{Footnote 1} One expects ground state representations are determined by the representation \((\pi ^0, \mathcal {H}^0)\) of \(G^0\) on the “minimal energy space” \(\mathcal {H}^0\), but this is in general not the case (Example 4.8). To make up for this defect, we introduce the concept of a strict ground state representation (Definition 2.12), where we require, in addition, that the (injective) restriction map from the commutant \(\pi (G)'\) of \(\pi (G)\) to the commutant \(\pi ^0(G^0)'\) (a morphism of von Neumann algebras) is surjective. This class of representations of G is completely determined by the corresponding representations of \(G^0\) and we want to use it to classify strict ground state representations in terms of the corresponding representations of \(G^0\). This is particularly effective if the occurring representations of \(G^0\) can be characterized intrinsically in terms of concrete positivity conditions.
To find such conditions, it is natural to restrict to the class of, possibly infinite dimensional, Lie groups. For these groups the method of holomorphic induction which has been developed in [33] for Banach–Lie groups and extended in [35, App. C] to certain Fréchet–Lie groups, can be used to construct strict ground state representations.
We discuss four classes of groups:

(1)
Heisenberg groups \(\mathop {\textrm{Heis}}\nolimits (V,\sigma )\), i.e., the canonical central extension of the additive group of a symplectic vector space \((V,\sigma )\) by the circle group \({{\mathbb {T}}}\). These groups provide in particular examples of nonstrict ground state representations. As these groups arise naturally in Quantum Field Theory in the context of the canonical commutation relations, we were able to use old results of M. Weinless [47] to derive a structure theorem for ground state representations under some extra conditions on the \({{\mathbb {R}}}\)action. In this context, our results complement the theory of semibounded representations of these groups, developed in [39] and [48].

(2)
Finite dimensional Lie groups, as a class of groups whose welldeveloped structure theory permits to understand the intricacies of the conditions to be imposed of the \({{\mathbb {R}}}\)action on G. Here highest weight representations, and the more general class of semibounded representations provide natural examples of strict ground state representations [26].

(3)
Connected compact groups, as a class of topological groups which is rather close to Lie groups. They are projective limits of connected Lie groups and we show that this approximation can be aligned with the \({{\mathbb {R}}}\)action on G. This permits us to show that all unitary representations are strict ground state representations, and this provides a novel perspective on the classification of unitary representations of connected compact Lie groups (Sect. 6.2). If \(\alpha \) is defined by \(\alpha _t(g) = \exp (t{\textbf {d}}) g \exp (t{\textbf {d}})\) for a regular element \({\textbf {d}}\in {{\mathfrak {g}}}\) (the Lie algebra of G), then \(G^0 = T\) is a maximal torus and the approach to the classification in terms of ground state representations leads to the Cartan–Weyl Theorem on the classification in terms of their highest (lowest) weights (cf. [46, p. 209]).

(4)
Direct limits of compact groups [10]; as a class of Lie groups for which strict ground state representations can be studied systematically with the methods developed in this paper. We briefly discuss some concrete examples to give an impression of how this can be done in principle.
In the representation theory of Lie groups, ground states have classically been studied in the context of highest or lowest weight representations, which require a much finer structuretheoretic context (cf. [20]). For this specific class of representations (and for the more general class of semibounded representations), methods similar to ours have also been used in the following contexts:

Double extensions of Hilbert–Lie groups [23],

Twisted loop groups with values in Hilbert–Lie groups [24],

Hermitian Banach–Lie groups of compact type, i.e., automorphism groups of Banach hermitian symmetric spaces [32, Sect. 8],

The particular Schatten class groups \(\textrm{U}_1(\mathcal {H})\) and \(\textrm{U}_2(\mathcal {H})\) [32, App. D],

For groups of local gauge transformations, positive energy and ground state representations have been treated from a similar perspective in [19, Sects. 3, 9].
The specific features appearing in these papers suggest that a general theory of ground state representations for general topological groups could be a useful tool to classify important classes of unitary representations of groups which are not locally compact.
We now describe the structure of this paper in some more detail. In Sect. 2 we develop the basic concepts. First we explain how the concept of a minimal implementing group from the theory of operator algebraic dynamical systems translates into our context (Sect. 2.1). It provides the language to define minimal positive energy representations and ground state representations. In this context, the Borchers–Arveson Theorem implies that, for a ground state representation \((\pi , U,\mathcal {H})\) of \((G,\alpha )\), the oneparameter group \((U_t)_{t \in {{\mathbb {R}}}}\) is redundant in the sense that it is completely determined by the representation \(\pi \) of G and the assumption that the generating subspace \(\mathcal {H}^0\) is fixed pointwise by U (see also [34] for a formulation of the Borchers–Arveson Theorem in the context of topological groups). After discussing some elementary properties of ground state representations, we introduce the new concept of a strict ground state representation in Sect. 2.3. The purpose of this concept is to classify ground state representations of G in terms of representations of \(G^0\) arising on some \(\mathcal {H}^0\).
In Sect. 3 we develop for Lie groups methods to identify these representations of \(G^0\) in intrinsic terms. We formulate four conditions: (L1) G is a Lie group (modelled over a locally convex space), (L2) \(\alpha \) defines a smooth \({{\mathbb {R}}}\)action on G, (L3) the subgroup \(G^0\) of fixed points is a Lie group, and (L4) the Lie algebra \({{\mathfrak {g}}}\) of G is the direct sum of the Lie algebra \({{\mathfrak {g}}}^0\) of \(G^0\) and \(\overline{D({{\mathfrak {g}}})}\), where D is the infinitesimal generator of the induced \({{\mathbb {R}}}\)action on \({{\mathfrak {g}}}\). Note that conditions (L13) are automatic if G is a finite dimensional Lie group, but (L4) corresponds to \(\ker (D^2) = \ker (D)\). If these conditions are satisfied and \(p_0 : {{\mathfrak {g}}}\rightarrow {{\mathfrak {g}}}^0\) is the projection with kernel \(\overline{D({{\mathfrak {g}}})}\), then the closed convex cone
generated by elements of the form \(p_0([Dx,x])\), \(x \in {{\mathfrak {g}}}\), turns out to play an important role. The main result in Sect. 3 is Theorem 3.11 which asserts that, for every ground state representation \((\pi ,U,\mathcal {H})\), we have
where \(\partial \pi ^0(x)\) is the infinitesimal generator of the unitary oneparameter group \((\pi ^0(\exp tx))_{t \in {{\mathbb {R}}}}\). This is a necessary condition for a representation \((\pi ^0,\mathcal {H}^0)\) of \(G^0\) to appear in a ground state representation of G. Unfortunately, it is not sufficient in general (Remark 6.17).
As a consequence of the Borchers–Arveson Theorem, for abelian groups G with a faithful ground state representation, the \({{\mathbb {R}}}\)action on G is trivial. Therefore the simplest nontrivial examples arise from 2step nilpotent groups. We thus we discuss Heisenberg groups \(G = \mathop {\textrm{Heis}}\nolimits (V,\sigma )\) in Sect. 4, where \({{\mathbb {R}}}\) acts on G through a symplectic oneparameter group \(\beta : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Sp}}\nolimits (V,\sigma )\). In this context condition (L4) turns into the weak splitting condition, which implies a tensor factorization of ground state representations that can be derived from old results of Weinless [47]. Actually an example where (L4) is violated led us to an example of a nonstrict ground state representation (Example 4.8).
Section 5 introduces the powerful technique of holomorphic induction as a means to construct ground state representations. It deals with unitary representations that can be realized in Hilbert spaces of holomorphic sections of complex vector bundles whose fibers are Hilbert spaces. Unfortunately, holomorphic induction requires rather fine geometric assumptions on the Lie groups. But it provides effective tools to determine if a given representation can be realized in this setup, and then one can typically conclude that it is a strict ground state representation. If G is a Banach–Lie group and \(D : {{\mathfrak {g}}}\rightarrow {{\mathfrak {g}}}\) is a bounded derivation for which 0 is isolated in \(\textrm{Spec}(D)\) and the norm on \({{\mathfrak {g}}}\) is \(\alpha \)invariant (D is elliptic), then Theorem 5.8, our main result in Sect. 5, is one of our key tools to identify strict ground state representations. In the following sections, it is applied to finite dimensional Lie groups, where the necessary requirements are verified more easily.
This is why we consider finite dimensional Lie groups in Sect. 6. Again, an old result, C. Moore’s Eigenvector Theorem [25], turns out to be quite helpful. We use it to see that, if an irreducible Grepresentation \((\pi ,\mathcal {H})\) with discrete kernel has ground states for an \({{\mathbb {R}}}\)action corresponding to an inner derivation \(D = \mathop {\textrm{ad}}\nolimits {\textbf {d}}\), then \({\textbf {d}}\) must be an elliptic element, i.e., \(\overline{e^{{{\mathbb {R}}}\mathop {\textrm{ad}}\nolimits {\textbf {d}}}}\) is a torus group, or, equivalently, \(\mathop {\textrm{ad}}\nolimits {\textbf {d}}\) is semisimple with purely imaginary spectrum. Our setup applies particularly well to compact connected Lie groups. In this context, for any \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\), we show in Theorem 6.15 that every unitary representation \((U,\mathcal {H})\) of G is a strict ground state representation, and that these correspond precisely to the representations \((\pi ^0, \mathcal {H}^0)\) of the connected subgroup \(G^0\) satisfying \(C_\alpha \subseteq C_{\pi ^0}\). If the derivation \(D = \mathop {\textrm{ad}}\nolimits {\textbf {d}}\) is such that \({\textbf {d}}\) is a regular element, then \(G^0\) is a maximal torus, and this result reproduces the Cartan–Weyl classification of irreducible representations, but it also works for any \({\textbf {d}}\). In Sect. 7 this result is extended to general connected compact topological groups (Theorem 7.3), which provides a novel global perspective on the classification for these groups. We conclude this paper with Sect. 8 which is devoted to countable direct limits of finite dimensional Lie groups. These are always locally convex Lie groups by Glöckner’s Theorem [10]. For direct limits of compact Lie groups, Theorem 8.2 generalizes the characterization of representations \((\pi ^0, \mathcal {H}^0)\) of \(G^0\) which extend to ground state representations in terms of the positivity condition \(C_\alpha \subseteq C_{\pi ^0}\). It thus reduces the corresponding classification problem from G to \(G^0\). We discuss some examples where \(G^0\) is abelian (a direct limit of tori), so that concrete classification results can be obtained with the Bochner Theorem for nuclear groups [2].
We include four short appendices: In Appendix A, we recall Arveson’s concept of spectral subspaces which is an important tool to formulate the splitting conditions in Sect. 3. Similarly, Appendix B recalls the vectorvalued version of the Gefland–Naimark–Segal (GNS) correspondence between operatorvalued positive definite functions and unitary representations generated by Hilbert subspaces. Some facts on bosonic Fock spaces are collected in Appendix C because they are needed in our discussion of Heisenberg groups in Sect. 4, Finally, Appendix D contains a key observation that we use in Sect. 7 for the reduction from general compact groups to finite dimensional ones and also at some point in Sect. 8.
1.1 Notation

\(\mathcal {H}\) denotes a complex Hilbert space, the scalar product is linear in the second argument, \(B(\mathcal {H})\) denotes the algebra of bounded operators on \(\mathcal {H}\), and \(\textrm{U}(\mathcal {H})\) the unitary group. We call a subset \(E \subseteq \mathcal {H}\) total if \(\llbracket E \rrbracket := \overline{\textrm{span}E} = \mathcal {H}\).

For a set \(\mathcal {S}\subseteq B(\mathcal {H})\) of bounded operators, its commutant is denoted
$$\begin{aligned} \mathcal {S}' := \{ A \in B(\mathcal {H}) :(\forall B \in \mathcal {S})\, AB = BA\}. \end{aligned}$$A \(*\)subalgebra \(\mathcal {M}\subseteq B(\mathcal {H})\) is called a von Neumann algebra if it equals its own bicommutant: \(\mathcal {M}= \mathcal {M}'' := (\mathcal {M}')'\) (cf. [7, Sect. 2.4]). Then its center is \(\mathcal {Z}(\mathcal {M}) = \mathcal {M}\cap \mathcal {M}'\).

For a selfadjoint operator \(H = H^*\) on \(\mathcal {H}\) we write \(H \ge 0\) if its spectrum \(\textrm{Spec}(H)\) in contained in \([0,\infty )\). We then say that the corresponding unitary oneparameter group \((e^{itH})_{t \in {{\mathbb {R}}}}\) has positive spectrum.

For a (continuous) unitary representation \((\pi , \mathcal {H})\) of a Lie group G with Lie algebra \({{\mathfrak {g}}}\) and exponential function \(\exp : {{\mathfrak {g}}}\rightarrow G\), we write \(\partial \pi (x)\) for the skewadjoint infinitesimal generator of the unitary oneparameter group \(\pi (\exp t x)\), so that we have \(\pi (\exp t x) = e^{t \partial \pi (x)}\) in the sense of measurable functional calculus for unbounded normal operators (cf. Definition 3.4). To \(\pi \) we associate two convex cones in the Lie algebra:
$$\begin{aligned} W_\pi {:=} \{ x \in {{\mathfrak {g}}}: \inf (\textrm{Spec}(i \partial \pi (x))) > \infty \} \supseteq C_\pi {:= }\{ x \in {{\mathfrak {g}}}: i \partial \pi (x) \ge 0\}.\nonumber \\ \end{aligned}$$(3) 
\(G^\flat = G \rtimes _\alpha {{\mathbb {R}}}\) for a homomorphism \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\).
2 Generalities on ground state representations
In this section we discuss three aspects of ground state representations \((\pi , U,\mathcal {H})\) for a pair \((G,\alpha )\). In Sect. 2.1 we explain how the concept of a minimal implementing group from the theory of operator algebraic dynamical systems translates into our context. It provides the language to define minimal positive energy representations and ground state representations. In Sect. 2.2 we take a closer look at elementary properties of ground state representations. The main new concept we introduce is that of a strict ground state representation (Sect. 2.3). Roughly speaking, strictness means that the representation \((\pi ,\mathcal {H})\) of G decomposes in the same way as the representation \((\pi ^0,\mathcal {H}^0)\) of the fixed point group \(G^0\) on the minimal energy space \(\mathcal {H}^0\). In particular, strictness implies that \((\pi ^0, \mathcal {H}^0)\) determines \((\pi ,\mathcal {H})\). The purpose of this concept is to classify ground state representations of G in terms of the representations \((\pi ^0, \mathcal {H}^0)\) of \(G^0\) extending to ground state representations of G. A key problem is to identify these representations of \(G^0\) in intrinsic terms. We shall see in Sect. 3 how this problem can be addressed for Lie groups.
2.1 Minimal representations
The following refinement of the Borchers–Arveson Theorem can be found in [19, Thm. 3.7]. Part (i) is in [7, Thm. 3.2.46]. We also refer to [5, Thm. 4.14, Lemma 4.17] for a detailed discussion of this circle of ideas.
Theorem 2.1
(Borchers–Arveson Theorem) Let \(\mathcal {H}\) be a Hilbert space and \(\mathcal {M}\subseteq B(\mathcal {H})\) be a von Neumann algebra. Further, let \((U_t)_{t \in {{\mathbb {R}}}}\) be a strongly continuous unitary oneparameter group on \(\mathcal {H}\) for which \(\mathcal {M}\) is invariant under conjugation with the operators \(U_t\), so that we obtain a oneparameter group \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (\mathcal {M})\) by \(\alpha _t(M) := \mathop {\textrm{Ad}}\nolimits (U_t)M := U_t M U_t^*\) for \(M \in \mathcal {M}\). If \(U_t = e^{itH}\) with \(H \ge 0\), then the following assertions hold:

(i)
There exists a strongly continuous unitary oneparameter group \(U^0_t = e^{it H_0}\) in \(\mathcal {M}\) with \(\mathop {\textrm{Ad}}\nolimits (U^0_t) = \alpha _t\) and positive spectrum. It is uniquely determined by the requirement that it is minimal in the sense that, for any other unitary oneparameter group \((V_t)_{t\in {{\mathbb {R}}}}\) in \(\textrm{U}(\mathcal {H})\), such that \(\mathop {\textrm{Ad}}\nolimits (V_t) = \alpha _t\) for \(t \in {{\mathbb {R}}}\), the unitary oneparameter group \((V_t U^0_{t})_{t \in {{\mathbb {R}}}}\) in the commutant \(\mathcal {M}'\) has positive spectrum.

(ii)
If \(U^0_T = {\textbf {1}}\) for some \(T > 0\) and \(\mathcal {F}\subseteq \mathcal {H}\) is an \(\mathcal {M}\)invariant subspace, then the subspace \(\mathcal {F}^0 := \mathcal {F}\cap \ker H_0\) satisfies \(\llbracket \mathcal {M}\mathcal {F}_0\rrbracket = \mathcal {F}\).

(iii)
If \(T \in {{\mathbb {R}}}\) satisfies \(\alpha _T = \mathop {\textrm{id}}\nolimits _\mathcal {M}\), then \(U^0_T ={\textbf {1}}\).
The Borchers–Arveson Theorem applies naturally to positive energy representations ([19, Cor. 3.9]), where it takes the following form:
Corollary 2.2
Let \((\pi , U,\mathcal {H})\) be a positive energy representation of \((G,\alpha )\) and \((U^0_t)_{t \in {{\mathbb {R}}}}\) be the minimal positive implementing unitary oneparameter group in \(\pi (G)''\) from Theorem 2.1. Then U factorizes as
where \((W_t)_{t \in {{\mathbb {R}}}}\) is a unitary oneparameter group with positive spectrum in the center \(\mathcal {Z}(\pi ^\flat (G)'')\) of the von Neumann algebra \(\pi ^\flat (G^\flat )''\) generated by \(\pi ^\flat (G^\flat )\), where \(\pi ^\flat (g,t) = \pi (g) U_t\).
Proof
We apply Theorem 2.1 to the von Neumann algebra \(\mathcal {M}:= \pi (G)''\). As \(W_t := U_{t}^0 U_t\) commutes with \(\pi (G)\), it is contained in \(\pi (G)'\). Further, \(U_{t}^0 \in \pi (G)''\) implies \(W_t \in \pi ^\flat (G^\flat )''\). Since \(W_t\) commutes with \(\pi (G)\) and \(U_{{\mathbb {R}}}\), it is central in \(\pi ^\flat (G^\flat )''\). \(\square \)
Corollary 2.3
([34, Thm. 2.5]) If \((\pi , U,\mathcal {H})\) is an irreducible positive energy representation of \(G^\flat = G \rtimes _\alpha {{\mathbb {R}}}\), then its restriction to G is also irreducible.
Proof
By Schur’s Lemma, the irreducibility of \(\pi ^\flat \) implies that \(\pi ^\flat (G^\flat )' = {{\mathbb {C}}}{\textbf {1}}\). Hence \(W_t \in {{\mathbb {T}}}{\textbf {1}}\) implies \(U_t \in \pi (G)''\). Therefore \({{\mathbb {C}}}{\textbf {1}} = \pi ^\flat (G)' = \pi (G)'\), so that the irreducibility of \(\pi \) follows from Schur’s Lemma. \(\square \)
The concept of a minimal representation that we now define is inspired by the situation in Corollary 2.2. We shall see in Proposition 2.7 that the concept of a ground state representation is more restrictive, but it is this extra assumption of the existence of “sufficiently many” ground states that permits us to obtain more information to classify representations.
Definition 2.4
(Minimal and ground state representations) A positive energy representation \((\pi ,U,\mathcal {H})\) of \(G^\flat \) with \(U_t = e^{itH}\) is called

minimal if the oneparameter group U is minimal with respect to the von Neumann algebra \(\pi (G)''\), i.e., \(U = U^0\) (see [5, Sect. 5] for a discussion of this concept in the context of von Neumann algebras).

a ground state representation if \(\llbracket \pi (G) \mathcal {H}^0 \rrbracket = \mathcal {H}\) holds for the minimal energy subspace
$$\begin{aligned} \mathcal {H}^0 := \ker H. \end{aligned}$$
In view of the factorization in Corollary 2.2, we adopt the point of view that we understand positive energy representations if we know the minimal ones. For those, the extension of the representation \(\pi \) of G to \(G^\flat \) is uniquely determined by the Borchers–Arveson Theorem. As the extendability of a unitary representation \((\pi ,\mathcal {H})\) of G to a positive energy representation of \(G^\flat \) is an intrinsic property, we also call \((\pi , \mathcal {H})\) a positive energy representation of \((G,\alpha )\) if it extends to a positive energy representation of \(G^\flat \). Here we keep in mind that the minimal extension with \(U = U^0\) provides a natural extension \(\pi ^\flat \) to \(G^\flat \) with the same commutant, hence with the same closed invariant subspaces.
With this terminology, Theorem 2.1 has the following consequence:
Corollary 2.5
Let \((\pi , \mathcal {H})\) be a positive energy representation of \((G,\alpha )\). If \(\alpha _T = \mathop {\textrm{id}}\nolimits _G\) for some \(T > 0\), then \(U^0_T = {\textbf {1}}\) and \((\pi ,\mathcal {H})\) is a ground state representation.
We write \({\widehat{G}}\) for the set of equivalence classes of irreducible unitary representations of the topological group G. Since the problem of parametrizing \({\widehat{G}}\) for an infinite dimensional Lie group G is rather intractable [36], the positive energy condition with respect to some \(\alpha \) provides a regularity condition that selects a class of representations for which one expects concrete classification results [18, 32, 34, 35].
Remark 2.6
Every \({{\mathbb {R}}}\)action \(\alpha \) on G specifies a subset \({\widehat{G}}(\alpha )\subseteq {\widehat{G}}\) of irreducible positive energy representations with respect to \(\alpha \) (cf. Corollary 2.3), and these subsets of \({\widehat{G}}\) are expected to be more tractable for specific \(\alpha \)’s than general irreducible representations whose classification is elusive.
2.2 Ground state representations
It is a natural problem to describe the positive energy representations \((\pi , \mathcal {H})\) of \((G,\alpha )\) in terms of simpler data. For ground state representations, the necessary information should be provided by the representation of \(G^0\) on \(\mathcal {H}^0\). Here the following observation is an important tool.
Proposition 2.7
(Ground state representations are minimal) For a ground state representation \((\pi , U,\mathcal {H})\), the following assertions hold:

(i)
\((\pi , U,\mathcal {H})\) is minimal, hence in particular \(U_{{\mathbb {R}}}\subseteq \pi (G)''\).

(ii)
Let \(P_0\) denote the orthogonal projection onto \(\mathcal {H}^0\). Then the restriction map
$$\begin{aligned} R : \pi (G)' \rightarrow (P_0 \pi (G)'' P_0)' \subseteq B(\mathcal {H}^0), \quad A \mapsto P_0 A P_0 \end{aligned}$$is an isomorphism of von Neumann algebras whose range is contained in \(\pi ^0(G^0)'\).
Proof
(i) follows by applying [5, Prop. 5.4] to the \(C^*\)algebra \(\pi (G)''\).
(ii) By (i), \(U_ t= U^0_t \in \mathcal {M}:= \pi (G)''\), so that the orthogonal projection \(P_0\) of \(\mathcal {H}\) onto \(\mathcal {H}^0\) is contained in \(\mathcal {M}\). That \(\mathcal {H}^0\) is generating under \(\pi (G)\) shows that the central support of \(P_0\) in \(\mathcal {M}\), i.e., the minimal central projection Z with \(Z P_0 = P_0\), is \({\textbf {1}}\). Therefore [5, Lemma 3.14(iv)] implies that the restriction map R is an isomorphism onto the commutant of the von Neumann algebra \(\mathcal {M}^0 := P_0 \mathcal {M}P_0 \supseteq \pi ^0(G^0)\), hence contained in \(\pi ^0(G^0)'\). \(\square \)
We recall that a unitary representation \((U,\mathcal {H})\) of a group G is called factorial if the von Neumann algebra \(U(G)''\) is a factor, i.e., its center is trivial: \(\mathcal {Z}(U(G)'') = {{\mathbb {C}}}{\textbf {1}}\).
Lemma 2.8
Let \((\pi , U, \mathcal {H})\) be a factorial minimal positive energy representation and \(U_t = e^{itH}\). If \(\mathcal {H}^0 := \ker H\) is nonzero, then \(\llbracket \pi (G)\mathcal {H}^0\rrbracket = \mathcal {H}\), so that \((\pi ,\mathcal {H})\) is a ground state representation.
Proof
The subspace \(\mathcal {F}:= \llbracket \pi (G)\mathcal {H}^0\rrbracket \) is invariant under the von Neumann algebra \(\mathcal {M}:= \pi (G)''\) generated by \(\pi (G)\) because it is \(\pi (G)\)invariant. Since \(\mathcal {H}^0\) is also invariant under \(\mathcal {M}'\), the same holds for \(\mathcal {F}\). Therefore \(\mathcal {F}\) is invariant under \((\mathcal {M}\cup \mathcal {M}')'' = B(\mathcal {H})\). Here we use that factoriality implies that \((\mathcal {M}\cup \mathcal {M}')' = \mathcal {M}' \cap \mathcal {M}'' = {{\mathbb {C}}}{\textbf {1}}\). Invariance under \(B(\mathcal {H})\) clearly entails \(\mathcal {F}= \mathcal {H}\). \(\square \)
The following lemma is a useful elementary tool to verify the positive energy and the ground state condition for direct sums.
Lemma 2.9
Let \((\pi , \mathcal {H})\) be a unitary representation of G which is a direct sum of unitary subrepresentations \((\pi _j,\mathcal {H}_j)_{j \in J}\). Then \((\pi ,\mathcal {H})\) is a positive energy (ground state) representation for \((G,\alpha )\) if and only if all the representations \((\pi _j, \mathcal {H}_j)_{j \in J}\) have this property.
In particular, every subrepresentation of a positive energy (ground state) representation inherits this property.
Proof
“\(\Rightarrow \)”: If \((\pi ,\mathcal {H})\) is of positive energy, then \(U^0_t \in \pi (G)''\) for every \(t \in {{\mathbb {R}}}\) (Theorem 2.1), so that the \(U^0_t\) preserve all the subspaces \(\mathcal {H}_j\). Therefore its restriction to \(\mathcal {H}_j\) shows that all representations \((\pi _j,\mathcal {H}_j)\) are of positive energy since the oneparameter groups \((U^0_t\vert _{\mathcal {H}_j})_{t \in {{\mathbb {R}}}}\) have positive spectrum.
If, in addition, \((\pi ,U, \mathcal {H})\) is a ground state representation, then Proposition 2.7(i) implies that \(U =U^0\) is minimal, so that \(U_{{\mathbb {R}}}\subseteq \pi (G)''\). Therefore \(\mathcal {H}^0 = \ker H\) is invariant under the commutant \(\pi (G)'\), and this implies that
As \(\pi (G)\mathcal {H}^0\) is total in \(\mathcal {H}\), projection to \(\mathcal {H}_j\) shows that \(\pi _j(G)\mathcal {H}_j^0\) is total in \(\mathcal {H}_j\), i.e., \((\pi _j,U_j,\mathcal {H}_j)\) is a ground state representation.
“\(\Leftarrow \)”: If all representations \((\pi _j,\mathcal {H}_j)\) are of positive energy, then \(U_t\vert _{\mathcal {H}_j} := U_{j,t}^0\) defines a positive unitary oneparameter group with the correct commutation relations, so that \((\pi , \mathcal {H})\) is of positive energy.
If all representations \((\pi _j,\mathcal {H}_j)\) are ground state representations, then \(\mathcal {H}^0 = \ker H_0 = {\widehat{\oplus }}_{j \in J} \mathcal {H}_j^0\) satisfies \(\llbracket \pi (G) \mathcal {H}^0 \rrbracket = \mathcal {H}\), and therefore \((\pi ,\mathcal {H})\) is a ground state representation. \(\square \)
In the following proposition we take a closer look at the special case where \(\alpha \) is given by conjugation with a oneparameter subgroup \(\gamma : {{\mathbb {R}}}\rightarrow G\), i.e., by inner automorphism. Then the spectrum of \(\pi \circ \gamma \) determines the positive energy properties of \((\pi ,\mathcal {H})\).
Proposition 2.10
(The inner case) Let \(\gamma : {{\mathbb {R}}}\rightarrow G\) be a continuous oneparameter group and suppose that \(\alpha \) is defined by
We consider a unitary representation \((\pi , \mathcal {H})\) of G and write \(\pi (\gamma (t)) = e^{itH}\) for \(t \in {{\mathbb {R}}}, H^* = H\). Then the following assertions hold:

(i)
If H is bounded from below, then there exists \(c \in {{\mathbb {R}}}\) such that \(U_t := e^{it(H + c {\textbf {1}})}\) defines a positive energy representation \((\pi , U,\mathcal {H})\).

(ii)
If \((\pi , \mathcal {H})\) is factorial, then it is of positive energy for \((G,\alpha )\) if and only if H is bounded from below.

(iii)
\((\pi ,\mathcal {H})\) is a positive energy representation for \((G,\alpha )\) if and only if it is a direct sum of representations \((\pi _j, \mathcal {H}_j)_{j \in J}\) for which the corresponding generators \(H_j\) of \(\pi _j \circ \gamma \) are bounded from below.
Proof

(i)
is clear.

(ii)
If \((\pi ,U,\mathcal {H})\) is a positive energy representation, we have
$$\begin{aligned} U_t^0 = \pi (\gamma (t)) V_t \quad \text{ with } \quad V_t \in \mathcal {Z}(\pi (G)'') = \pi (G)'' \cap \pi (G)'. \end{aligned}$$(4)If \(\pi \) is factorial, i.e., \(\mathcal {Z}(\pi (G)'') = {{\mathbb {C}}}{\textbf {1}}\), then \(V_t = e^{ict}{\textbf {1}}\) for some \(c \in {{\mathbb {R}}}\). For \(U^0_t = e^{itH^0}\), this implies that \(\pi (\gamma (t)) = e^{it(H_0  c {\textbf {1}})}\) has the generator \(H_0  c {\textbf {1}}\) which is bounded from below by \( c {\textbf {1}}\). The converse follows from (i).

(iii)
Let \((\pi , \mathcal {H})\) be a positive energy representation and \(U_t^0 = e^{itH} V_t\) be as in (4) with \(V_t \in \mathcal {Z}(\pi (G)'')\). If \(V_t = e^{it Z}\), then all spectral subspaces \(\mathcal {H}_n := P^Z([n,n+1))\), \(n \in {{\mathbb {Z}}}\), of Z are \(\pi (G)\)invariant, hence lead to subrepresentations \((\pi _n, \mathcal {H}_n)_{n \in {{\mathbb {N}}}}\). On \(\mathcal {H}_n\) the restriction \(Z_n\) of Z has spectrum in \([n,n+1]\), hence is bounded. Therefore \(H_n = H_n^0  Z_n\) is bounded from below.
If, conversely, the representations \((\pi _n, \mathcal {H}_n)_{n \in {{\mathbb {N}}}}\) are such that the generators \(H_n\) are bounded from below, say \(H_n \ge c_n {\textbf {1}}\), then \(U^n_t := e^{it (H_n  c_n{\textbf {1}})}\) defines a covariant positive energy representation \((\pi _n, U^n, \mathcal {H}_n)\). Now Lemma 2.9 implies that the direct sum also is a positive energy representation. \(\square \)
Example 2.11

(a)
If the \({{\mathbb {R}}}\)action on G is trivial, then every unitary representation \((\pi , \mathcal {H})\) of G is a ground state representation with \(\mathcal {H}= \mathcal {H}^0\) and \(U^0_t = {\textbf {1}}\) for \(t \in {{\mathbb {R}}}\).

(b)
If \((\pi , \mathcal {H})\) is a positive energy representation, then \(\pi (Z(G))\) is pointwise fixed by \(\mathop {\textrm{Ad}}\nolimits (U_t)\). In particular, for an abelian group G and a faithful positive energy representation \(\pi \), we have \(\alpha _t = \mathop {\textrm{id}}\nolimits _G\) for \(t \in {{\mathbb {R}}}\) (cf. [34]).
Therefore the simplest class of groups with nontrivial positive energy representations are twostep nilpotent groups G, for which Heisenberg groups are the simplest examples. Then \(\pi ((G,G)) \subseteq {{\mathbb {T}}}{\textbf {1}}\) for every irreducible representation, which leads to oscillator groups \(G^\flat \). We discuss this special case in Sect. 4. For these groups the existence of semibounded representations (cf. Definition 3.5) and the existence of nontrivial ground state representations has been studied in [39] and [48].
2.3 Strict ground state representations
We now identify a class of ground state representations for which the subgroup \(G^0\) is “large” in a suitable sense. This is the class of strict ground state representations, which are determined by the representation \((\pi ^0, \mathcal {H}^0)\) of \(G^0\). In Example 4.8 we shall see a ground state representation which is not strict.
Definition 2.12
We call a ground state representation \((\pi ,\mathcal {H})\) for \((G,\alpha )\) strict if every operator on \(\mathcal {H}^0\) commuting with \(\pi ^0(G^0)\) extends to an operator on \(\mathcal {H}\) commuting with \(\pi (G)\). In view of Proposition 2.7, this is equivalent to the following identity of the von Neumann algebras in \(B(\mathcal {H}^0)\):
As \(\pi (G)\) spans a weakly dense subspace of \(\pi (G)''\), the von Neumann algebra \(P_0 \pi (G)'' P_0 \subseteq B(\mathcal {H}^0)\) is generated by \(P_0 \pi (G) P_0\) which always contains \(\pi ^0(G^0)\), hence also \(\pi ^0(G^0)''\).
Problem 2.13
Suppose that \(\alpha \) is periodic. Is every ground state representation of \((G,\alpha )\) strict?
Remark 2.14
If the ground state representation \((\pi , \mathcal {H})\) of \((G,\alpha )\) is irreducible, then Schur’s Lemma implies \(\pi (G)'' = B(\mathcal {H})\) which leads to \(P_0 \pi (G)'' P_0 = P_0 B(\mathcal {H}) P_0 = B(\mathcal {H}^0)\). Therefore \((\pi , \mathcal {H})\) is strict if and only if \((\pi ^0, \mathcal {H}^0)\) is also irreducible, i.e., \(\pi ^0(G^0)'' = B(\mathcal {H}^0)\).
Remark 2.15
Since von Neumann algebras are generated by their projections, a ground state representation is strict if and only if the map \(\mathcal {F}\mapsto \mathcal {F}\cap \mathcal {H}^0\) defines a bijection between the closed \(\pi (G)\)invariant subspaces of \(\mathcal {H}\) and the closed \(\pi ^0(G^0)\)invariant subspaces of \(\mathcal {H}^0\). As this map is injective (cf. Proposition 2.7(i)), the main point is its surjectivity.
Example 2.16
(An operator algebraic example of a strict ground state representation) Let \(\mathcal {M}\subseteq B(\mathcal {H})\) be a von Neumann algebra and \(G := \textrm{U}(\mathcal {M})\) be its unitary group. For a unitary oneparameter group \(U_t = e^{itH}\) in \(\mathcal {M}\) we obtain a continuous action on G by \(\alpha _t(g) = U_t g U_{t}\) for \(t \in {{\mathbb {R}}}, g \in \textrm{U}(\mathcal {M})\). We assume that \(H \ge 0\) and \(U = U^0\) in the sense of the Borchers–Arveson Theorem (Theorem 2.1). Then the identical representation of G on \(\mathcal {H}\) is a positive energy representation.
It is a ground state representation if and only if \(\mathcal {H}^0 = \ker H\) satisfies \(\llbracket \textrm{U}(\mathcal {M}) \mathcal {H}^0 \rrbracket = \mathcal {H}\), which is equivalent to \(\llbracket \mathcal {M}\mathcal {H}^0 \rrbracket = \mathcal {H}\). For the projection \(P_0\) onto \(\mathcal {H}^0\), which is contained in \(\mathcal {M}\), this is equivalent to its central support being equal to \({\textbf {1}}\) ([5, Lemma 3.14]).
The group \(G^0\) is the centralizer of \(U_{{{\mathbb {R}}}}\) in \(G = \textrm{U}(\mathcal {M})\), hence contained in the subalgebra
and it contains the unitary group \(\textrm{U}(P_0 \mathcal {M}P_0)\). We conclude that \(\pi ^0(G^0) = \textrm{U}(P_0 \mathcal {M}P_0)\), and the von Neumann algebra generated by this group is \(P_0 \mathcal {M}P_0 = P_0 G'' P_0\). Therefore the ground state representation of \((G,\alpha )\) on \(\mathcal {H}\) is strict.
Proposition 2.17
If \((\pi , \mathcal {H})\) is a strict ground state representation, then every subrepresentation is also a strict ground state representation.
Proof
Let \((\rho ,\mathcal {F})\) be a subrepresentation of \((\pi ,\mathcal {H})\) and \(P_\mathcal {F}\) denote the orthogonal projection onto \(\mathcal {F}\). Then \(Q_0 := P_\mathcal {F}P_0\) is the projection onto \(\mathcal {F}^0\), and Lemma 2.9 implies that \((\rho ,\mathcal {F})\) is a ground state representation. Let \(A \in B(\mathcal {F}^0)\) commute with \(\rho ^0(G^0)\). Extending A by 0 on the orthogonal complement of \(\mathcal {F}^0\) in \(\mathcal {H}^0\), we obtain an operator \(A' \in \pi ^0(G^0)'\). This operator commutes with \(P_0 \pi (G) P_0\) by strictness of \((\pi ,\mathcal {H})\), and therefore A commutes with \(Q_0 \rho (G) Q_0 = P_\mathcal {F}P_0 \pi (G) P_0 P_\mathcal {F}\). Hence \((\rho , \mathcal {F})\) is also strict. \(\square \)
Definition 2.18
We say that the pair \((G,\alpha )\) has the unique extension property if two ground state representations \((\pi _j, \mathcal {H}_j)_{j = 1,2}\) for which the \(G^0\)representations \((\pi _1^0, \mathcal {H}_1^0)\) and \((\pi _2^0, \mathcal {H}_2^0)\) are equivalent, the representations \(\pi _1\) and \(\pi _2\) are unitarily equivalent, that is, the following diagram commutes:
The following lemma is a key to some of our main results below, in particular to Theorem 8.2.
Proposition 2.19
(Strictness and unique extension) A pair \((G,\alpha )\) has the unique extension property if and only if every ground state representation of \((G,\alpha )\) is strict. If this is the case, then, for ground state representations \((\pi _j, \mathcal {H}_j)_{j =1,2}\) and any unitary \(G^0\)equivalence \(\Phi ^0 : \mathcal {H}_1^0 \rightarrow \mathcal {H}_2^0\), there exists a unique Gequivalence \(\Phi : \mathcal {H}_1 \rightarrow \mathcal {H}_2\) extending \(\Phi ^0\).
Proof
We first observe that the second statement on the uniqueness of \(\Phi \) follows from the fact that we must have \(\Phi (\pi _1(g)\xi ) = \pi _2(g) \Phi ^0(\xi )\) for \(g \in G\), \(\xi \in \mathcal {H}_1^0\), and \(\pi _1(G)\mathcal {H}_1^0\) is total in \(\mathcal {H}_1\).
We now show the first statement. Suppose first that \((G,\alpha )\) has the unique extension property and that \((\pi , \mathcal {H})\) is a ground state representation. In view of Proposition 2.7(ii), it suffice to show that R is surjective. Since the von Neumann algebra \(\pi ^0(G^0)'\) is generated by its unitary elements V, it suffices to observe that the unique extension property implies that any such V extends uniquely to an element \({\widetilde{V}} \in \pi (G)'\). Therefore every ground state representation is strict.
Now we assume that every ground state representation is strict. Let \((\pi _j, \mathcal {H}_j)_{j = 1,2}\) be two ground state representations and \(V : \mathcal {H}_1^0 \rightarrow \mathcal {H}_2^0\) be a unitary \(G^0\)equivalence. Then
is a unitary element in the commutant of \((\pi _1^0 \oplus \pi _2^0)(G^0)\). As \(\rho := \pi _1 \oplus \pi _2\) is a ground state representation by Lemma 2.9, it is strict. Hence there exists an element \({\widetilde{W}} \in \rho (G)'\) extending W. As the restriction map R is an injective homomorphism of \(*\)algebras, \({\widetilde{W}}\) is unitary. Further, \(W \mathcal {H}_1^0 = \mathcal {H}_2^0\) implies that \({\widetilde{W}}\mathcal {H}_1= \mathcal {H}_2\), so that \({\widetilde{V}} := {\widetilde{W}}\vert _{\mathcal {H}_1}: \mathcal {H}_1 \rightarrow \mathcal {H}_2\) is a unitary Gequivalence extending V. \(\square \)
Remark 2.20
If \((\pi , \mathcal {H})\) is a ground state representation and \(P_0\) the orthogonal projection onto \(\mathcal {H}^0\), then
defines a positive definite \(B(\mathcal {H}^0)\)valued function on G with
and in particular \(\varphi \vert _{G^0} = \pi ^0\). The requirement \(\llbracket \pi (G)\mathcal {H}^0 \rrbracket = \mathcal {H}\) implies that the representation \((\pi , \mathcal {H})\) is equivalent to the GNS representation \((\pi _\varphi , \mathcal {H}_\varphi )\) in the reproducing kernel Hilbert space \(\mathcal {H}_\varphi \subseteq C(G,\mathcal {H}^0)\). We refer to Proposition B.1 in Appendix B for a precise formulation of the vectorvalued Gelfand–Naimark–Segal (GNS) construction. From this perspective, the unique extension property asserts that the representation \((\pi ^0, \mathcal {H}^0)\) of \(G^0\) determines the function \(\varphi \) if \(\pi _\varphi \) is a ground state representation with \(\mathcal {H}_\varphi ^0 = \mathcal {H}^0\).
3 Lie theoretic aspects
To formulate necessary conditions for a representation \((\pi ^0, \mathcal {H}^0)\) to extend to a ground state representation for \((G,\alpha )\), it is instructive to take a closer look at the context of, possibly infinite dimensional, Lie groups.
3.1 Regularity conditions for actions on Lie groups
We assume that

(L1)
G is a Lie group with Lie algebra \({{\mathfrak {g}}}\), modeled on a locally convex space (cf. [29]).

(L2)
\(\alpha \) is smooth, so that \(G^\flat \) is a Lie group. The \({{\mathbb {R}}}\)action on its Lie algebra \({{\mathfrak {g}}}= {\textbf {L}}(G)\) is denoted by \(\alpha ^{{\mathfrak {g}}}_t := {\textbf {L}}(\alpha _t) \in \mathop {\textrm{Aut}}\nolimits ({{\mathfrak {g}}})\) and we write \(D := \frac{d}{dt}\big \vert _{t = 0} \alpha ^{{\mathfrak {g}}}_t \in \mathop {\textrm{der}}\nolimits ({{\mathfrak {g}}})\) for the infinitesimal generator of this oneparameter group.

(L3)
\(G^0\) is a Lie group with Lie algebra \({{\mathfrak {g}}}^0 = \mathop {\textrm{Fix}}\nolimits (\alpha ^{{\mathfrak {g}}})\).

(L4)
The subspace \({{\mathfrak {g}}}_+ := \overline{D({{\mathfrak {g}}})}\) complements \({{\mathfrak {g}}}^0\) in the sense that \({{\mathfrak {g}}}= {{\mathfrak {g}}}^0 \oplus {{\mathfrak {g}}}_+\) as topological vector spaces. Then \(p_0 : {{\mathfrak {g}}}\rightarrow {{\mathfrak {g}}}^0\) is an \(\alpha ^{{\mathfrak {g}}}\)invariant continuous projection onto the subspace of fixed points.
We define the \(\alpha \)cone in \({{\mathfrak {g}}}^0\) by
this is the closed convex cone generated by all elements \(p_0([Dx,x])\).
Remark 3.1

(a)
If \(\alpha ^{{\mathfrak {g}}}\) is continuous and periodic, i.e., \(\alpha ^{{\mathfrak {g}}}_T = \mathop {\textrm{id}}\nolimits _{{\mathfrak {g}}}\) for some \(T > 0\), and \({{\mathfrak {g}}}\) is complete, then
$$\begin{aligned} p_0(x) := \frac{1}{T} \int \limits _0^T \alpha ^{{\mathfrak {g}}}_t(x)\, dt \end{aligned}$$is a projection onto the subspace \({{\mathfrak {g}}}^0\) of fixed points and (L4) is satisfied.

(b)
If \({{\mathfrak {g}}}\) is finite dimensional, (L4) means that the generalized 0eigenspace of D coincides with the eigenspace. Clearly, this is the case if D is semisimple.
Remark 3.2
(The diagonalizable case) Suppose that the oneparameter group \(\alpha ^{{\mathfrak {g}}}\) of Lie algebra automorphisms can be written as \(\alpha ^{{\mathfrak {g}}}_t = e^{t\mathop {\textrm{ad}}\nolimits {\textbf {d}}}\) for some \({\textbf {d}}\in {{\mathfrak {g}}}\) for which \(\mathop {\textrm{ad}}\nolimits {\textbf {d}}\) is diagonalizable on \({{\mathfrak {g}}}_{{\mathbb {C}}}\) with purely imaginary eigenvalues:
Defining \((x + iy)^* := x + iy\) for \(x,y \in {{\mathfrak {g}}}\), we have \({{\mathfrak {g}}}= \{ z \in {{\mathfrak {g}}}_{{\mathbb {C}}}: z^* = z\}\) and
For \(x = \sum _\lambda x_\lambda \in {{\mathfrak {g}}}\) we then have \(x = x^* = \sum _\lambda x_\lambda ^*\) with \(x_\lambda ^* =  x_{\lambda }\). Write \(p_0 : {{\mathfrak {g}}}_{{\mathbb {C}}}\rightarrow {{\mathfrak {g}}}_{{\mathbb {C}}}^0\) for the fixed point projection introduced by (L4). It is given by the 0component \(x_0 := p_0(x)\).
where we have used that
We conclude that
(see (6)).
If \(\alpha ^{{\mathfrak {g}}}\) is continuous and periodic and \({{\mathfrak {g}}}\) is complete, then the sum of the eigenspaces is a dense subalgebra (Remark 3.1).
Example 3.3
(Twisted loop groups) Important examples where \(\alpha \) is periodic arise as follows. Let K be a Lie group with a complete Lie algebra \({{\mathfrak {k}}}\), and \(\Phi \in \mathop {\textrm{Aut}}\nolimits (K)\) be of finite order \(\Phi ^N = \mathop {\textrm{id}}\nolimits _K\). We consider the twisted loop group
This is a Lie group with Lie algebra
where \(\varphi = {\textbf {L}}(\Phi ) \in \mathop {\textrm{Aut}}\nolimits ({{\mathfrak {k}}})\)
is the induced automorphism of the Lie algebra \({{\mathfrak {k}}}\) of K. Then
defines a smooth action of \({{\mathbb {R}}}\) on \(G := \mathcal {L}_\Phi (K)\) with \(\alpha _N = \mathop {\textrm{id}}\nolimits _G\). Therefore (L4) follows from Remark 3.1(a). The infinitesimal generator of the automorphism group \(\alpha _t^{{\mathfrak {g}}}= {\textbf {L}}(\alpha _t)\) (acting also by (9)) is given by \(D\xi = \xi '\). The subgroup of \(\alpha \)fixed points is the subgroup
of constant elements with values in the subgroup \(K^\Phi \) of \(\Phi \)fixed points in K. If
denotes the \(\varphi \)eigenspaces in \({{\mathfrak {k}}}_{{\mathbb {C}}}\), then \({{\mathfrak {k}}}_{{\mathbb {C}}}^n = {{\mathfrak {k}}}_{{\mathbb {C}}}^{n+N}\). Now
are the Deigenspaces in \(\mathcal {L}({{\mathfrak {k}}}_{{\mathbb {C}}}) \cong \mathcal {L}({{\mathfrak {k}}})_{{\mathbb {C}}}\) corresponding to the eigenvalue \(\frac{2\pi i n}{N}\). The expansion as Fourier series \(x = \sum _{n \in {{\mathbb {Z}}}} x_n\) with \(x_n \in \mathcal {L}_\varphi ({{\mathfrak {k}}}_{{\mathbb {C}}})^n\) converges in \(\mathcal {L}_\varphi ({{\mathfrak {k}}}_{{\mathbb {C}}})\) by Harish–Chandra’s Theorem ([46, Thm. 4.4.21]) and
From Remark 3.2 we know that the cone \(C_\alpha \subseteq {{\mathfrak {k}}}^\varphi \) is generated by the brackets
Therefore
From \({{\mathfrak {k}}}_{{\mathbb {C}}}^{n+N} = {{\mathfrak {k}}}_{{\mathbb {C}}}^n\) it follows that, for \(0 < n \le N\), \(z_{2Nn} := y_n^* \in {{\mathfrak {k}}}_{{\mathbb {C}}}^{2Nn}\) with \(2N  n > 0\), and
Hence the cone \(C_\alpha \) is a linear space which coincides with \({{\mathfrak {g}}}^0\cap [{{\mathfrak {g}}},{{\mathfrak {g}}}]\), which is an ideal in \({{\mathfrak {g}}}^0\).
To create a situation with a nontrivial cone \(C_\alpha \), which by Theorem 3.11 below is necessary for the existence of ground state representations with trivial kernel, one has to pass to a central extension of the loop algebras:
and the bracket is given by
Here \(\kappa \) is a positive definite invariant bilinear form on \({{\mathfrak {k}}}\) which is also \(\varphi \)invariant. Then the elements \(i[y_n^*,y_n]\) generating \(C_\alpha \) have a nontrivial central component:
For \(a,b \in {{\mathfrak {k}}}\), the complex bilinear extension of \(\kappa \) satisfies
Therefore all elements in \(C_\alpha \) have a nonnegative central component and \(C_\alpha \) is nontrivial.
If \({{\mathfrak {k}}}\) is abelian, this construction simply leads to a Heisenberg algebra, a class of examples discussed in Sect. 4; see in particular [45] for the case where \(\alpha \) is periodic. For more details on (twisted) loop groups with values in compact Lie groups, we refer to [19, 23, 24, 35, 42].
3.2 Momentum sets and positive cones
Definition 3.4
Let G be a Lie group and \((\pi , \mathcal {H})\) be a unitary representation of G. An element \(\xi \in \mathcal {H}\) is called a smooth vector if its orbit map
is smooth. The smooth vectors form a \(\pi (G)\)invariant subspace \(\mathcal {H}^\infty \subseteq \mathcal {H}\), and the representation \((\pi ,\mathcal {H})\) is said to be smooth if \(\mathcal {H}^\infty \) is dense in \(\mathcal {H}\). This is always the case if G is finite dimensional, but not in general [3].
On \(\mathcal {H}^\infty \) the derived representation \(\texttt {d}\pi \) of the Lie algebra \({{\mathfrak {g}}}= {\textbf {L}}(G)\) is defined by
For a smooth representation the invariance of \(\mathcal {H}^\infty \) under \(\pi (G)\) implies that, for \(x \in {{\mathfrak {g}}}\), the operator \(i \cdot \texttt {d}\pi (x)\) on \(\mathcal {H}^\infty \) is essentially selfadjoint (cf. [43, Thm. VIII.10]) and that its closure coincides with the selfadjoint generator \(i \partial \pi (x)\) of the unitary oneparameter group \(\pi _x(t) := \pi (\exp tx)\), i.e., \(\pi _x(t) = e^{t \partial \pi (x)}\) for \(t \in {{\mathbb {R}}}\).
Definition 3.5

(a)
Let \({{\mathbb {P}}}({{\mathcal {H}}}^\infty ) = \{ [v] := {{\mathbb {C}}}v : 0 \not = v \in {{\mathcal {H}}}^\infty \}\) denote the projective space of the subspace \({{\mathcal {H}}}^\infty \) of smooth vectors. The map
$$\begin{aligned} \Phi _\pi : {{\mathbb {P}}}({{\mathcal {H}}}^\infty )\rightarrow {{\mathfrak {g}}}' \quad \hbox { with } \quad \Phi _\pi ([v])(x) = \frac{\langle v, i \cdot \texttt {d}\pi (x)v \rangle }{\langle v, v \rangle } \end{aligned}$$is called the momentum map of the unitary representation \(\pi \). The operator \(i\cdot \texttt {d}\pi (x)\) is symmetric so that the right hand side is real, and since v is a smooth vector, it defines a continuous linear functional on \({{\mathfrak {g}}}\). We also observe that we have a natural action of G on \({{\mathbb {P}}}(\mathcal {H}^\infty )\) by \(g.[v] := [\pi (g)v]\), and the relation
$$\begin{aligned} \pi (g) \texttt {d}\pi (x) \pi (g)^{1} = \texttt {d}\pi (\mathop {\textrm{Ad}}\nolimits (g)x) \end{aligned}$$immediately implies that \(\Phi _\pi \) is equivariant with respect to the coadjoint action of G on the topological dual space \({{\mathfrak {g}}}'\).

(b)
The weak\(*\)closed convex hull \(I_\pi \subseteq {{\mathfrak {g}}}'\) of the image of \(\Phi _\pi \) is called the (convex) momentum set of \(\pi \). In view of the equivariance of \(\Phi _\pi \), it is an \(\mathop {\textrm{Ad}}\nolimits ^*(G)\)invariant weak\(*\)closed convex subset of \({{\mathfrak {g}}}'\).

(c)
The momentum set \(I_\pi \) provides complete information on the extreme spectral values of the selfadjoint operators \(i\cdot \partial \pi (x)\):
$$\begin{aligned} \sup (\textrm{Spec}(i\partial \pi (x))) = s_{\pi }(x):= \sup \langle I_\pi , x \rangle \quad \text{ for } \quad x \in {{\mathfrak {g}}}\end{aligned}$$(10)(cf. [30, Lemma 5.6]). This relation shows that \(s_\pi \) is the support functional of the convex subset \(I_\pi \subseteq {{\mathfrak {g}}}'\), which implies that it is lower semicontinuous and convex. It is obviously positively homogeneous. The semibounded unitary representations are those for which the set \(I_\pi \) is semiequicontinuous in the sense that its support function \(s_\pi \) is bounded in a neighborhood of some \(x_0 \in {{\mathfrak {g}}}\).
The closed convex cone
is called the positive cone of \(\pi \).
Definition 3.6
We call a ground state representation \((\pi ,\mathcal {H})\) of the Lie group G smooth if the subspace
is dense in \(\mathcal {H}^0\). This implies in particular that the representation \((\pi ^0,\mathcal {H}^0)\) of \(G^0\) is also smooth.
Lemma 3.7
If (L1/2) hold and \((\pi , \mathcal {H})\) is a smooth ground state representation of G, then the extended representation \((\pi ^\flat ,\mathcal {H})\) of \(G^\flat \) is smooth.
Proof
The assumptions imply that \(\mathcal {H}^{0,\infty }\) is contained in the space \(\mathcal {H}^\infty (G^\flat )\) of smooth vectors for \(G^\flat \). As \(\pi (G)\mathcal {H}^{0,\infty }\) is total in \(\mathcal {H}\) by the ground state condition and \(\mathcal {H}^\infty (G^\flat )\) is \(\pi (G)\)invariant, this subspace is dense. \(\square \)
Definition 3.8
Let E be a locally convex space and let \(\alpha :{{\mathbb {R}}}\rightarrow \mathop {\textrm{GL}}\nolimits (E)\), \(t\mapsto \alpha _t\) be a group homomorphism. Then \(\alpha \) is called

(a)
equicontinuous, if the subset \(\{\alpha _t: t\in {{\mathbb {R}}}\}\subset \mathop {\textrm{End}}\nolimits (E)\) is equicontinuous (cf. Definition A.1).

(b)
polynomially bounded, if for every continuous seminorm p on E, there exists a 0neighborhood \(U\subseteq E\) and \(N \in {{\mathbb {N}}}\) such that
$$\begin{aligned} \sup _{x \in U} \sup _{t \in {{\mathbb {R}}}} \frac{p(\alpha _t(x))}{1 + t^N} < \infty . \end{aligned}$$
Remark 3.9
If E is finite dimensional, then \(\alpha \) is polynomially bounded if and only if the spectrum of its infinitesimal generator A is purely imaginary. However, for an infinite dimensional Hilbert space \(\mathcal {H}\), there exists is a oneparameter group \(\alpha :{{\mathbb {R}}}\rightarrow \mathop {\textrm{GL}}\nolimits (\mathcal {H})\) with \(\Vert \alpha _t\Vert =e^{t}\) whose generator has purely imaginary spectrum, cf. [41, Example 1.2.4].
From [40, Prop. 3.2] we quote the following sufficient condition for the density of \(\mathcal {H}^{0,\infty }\) in \(\mathcal {H}^0\).
Proposition 3.10
Suppose that

the oneparameter group \((\alpha ^{{\mathfrak {g}}}_t)_{t \in {{\mathbb {R}}}}\) of Lie algebra automorphisms is polynomially bounded,

\((\pi , \mathcal {H})\) is a smooth positive energy representation of \((G,\alpha )\), and

there exists an \(\varepsilon > 0\) such that \(\textrm{Spec}(i\partial \pi ({\textbf {d}})) \cap [0,\varepsilon ] = \{0\}\) (spectral gap condition),
then \(\mathcal {H}^{0,\infty }\) is dense in \(\mathcal {H}^0\).
Let \({\textbf {d}}:= (0,1)\in {{\mathfrak {g}}}^\flat = {{\mathfrak {g}}}\rtimes _D {{\mathbb {R}}}\) be the element implementing D, so that \(Dx = [{\textbf {d}},x]\) for \(x \in {{\mathfrak {g}}}\). In the setting specified above, we formulate in the following theorem a necessary positivity condition that a representation \((\pi ^0, \mathcal {H}^0)\) arising in a ground state representation of \((G,\alpha )\) has to satisfy.
Theorem 3.11
(\(C_\alpha \)positivity Theorem) Suppose that (L14) are satisfied. If \((\pi , \mathcal {H})\) is a smooth ground state representation of the Lie group G, then the cone \(C_\alpha \) introduced in (6) satisfies
Proof
Let \(\xi \in \mathcal {H}^0 \cap \mathcal {H}^\infty \), \(t \in {{\mathbb {R}}}\) and \(x \in {{\mathfrak {g}}}\). Then \(\pi (\exp tx)\xi \) is a smooth vector for \(G^\flat \), hence contained in the domain of the infinitesimal generator H of U, and we have
because \(H\ge 0\). As \(f(0) = \langle \xi , H \xi \rangle = 0\), we also have
and \(f''(0) \ge 0\), and this is what we shall exploit. To this end, we rewrite f as
This immediately leads to
Next we observe that, for \(y \in {{\mathfrak {g}}}\), we have
because \(U_t \xi = \xi \) for all \(t \in {{\mathbb {R}}}\). Therefore \(\langle \xi , \partial \pi (z) \xi \rangle = 0\) for \(z \in {{\mathfrak {g}}}_+\), and thus (L4) entails
Since \(\mathcal {H}^{0,\infty }\) is dense in \(\mathcal {H}^0\) and invariant under \(\pi ^0(G^0)\), it follows that the operators \(i\cdot \partial \pi ^0(x_0)\vert _{\mathcal {H}^{0,\infty }}\), \(x_0 \in {{\mathfrak {g}}}^0\), are essentially selfadjoint with closure equal to \(i\cdot \partial \pi ^0(x_0)\). We therefore obtain
and thus \(C_\alpha \subseteq C_{\pi ^0}\). \(\square \)
Example 3.12
In the context of Remark 3.2, for the representation of \(G^0\) on \(\mathcal {H}^0\), the condition \(C_\alpha \subseteq C_{\pi _0}\) in Theorem 3.11 is equivalent to
In the following we shall encounter various circumstances, where (12) is also sufficient for a representation \((\pi ^0, \mathcal {H}^0)\) of \(G^0\) to extend to a ground state representation of G. In some cases we can derive a positivity property similar to (12) from the positive energy condition. The idea for the following proposition is taken from [19].
Proposition 3.13
Let \((\pi , U,\mathcal {H})\) be a positive energy representation of \((G,\alpha )\) for which the extension to \(G^\flat \) is smooth. If \(x \in {{\mathfrak {g}}}\) satisfies \((\mathop {\textrm{ad}}\nolimits x)^2 Dx = 0\), then
Proof
Let \(\pi ^\flat (g,t) := \pi (g) e^{itH}\) be the extension of \(\pi \) to \(G^\flat \). We proceed as in the proof of Theorem 3.11 for any \(\xi \in \mathcal {H}^\infty \). Our assumption implies that the smooth function \(f : {{\mathbb {R}}}\rightarrow {{\mathbb {R}}}\) is nonnegative. Now \([[Dx,x],x] = 0\) leads to
for \(t \in {{\mathbb {R}}}\). This implies that \(\frac{i}{2} \langle \xi , \partial \pi ([Dx,x]) \xi \rangle \ge 0\), so that (15) follows. \(\square \)
4 Heisenberg and oscillator groups
In this section we discuss ground state representations of Heisenberg groups. Here an old result by M. Weinless [47] can be used to obtain crucial information on the structure of ground state representations.
We consider a locally convex space V, endowed with a continuous alternating form \(\sigma : V \times V \rightarrow {{\mathbb {R}}}\). We further assume that \(\sigma \) is weakly symplectic, i.e., nondegenerate. The corresponding Heisenberg group is the central extension
It is a Lie group with Lie algebra \({{\mathfrak {g}}}= {{\mathbb {R}}}\oplus V\), on which the bracket is
Any smooth action \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) fixing all elements in the central circle \({{\mathbb {T}}}\times \{0\}\) corresponds to a oneparameter group \(\beta : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Sp}}\nolimits (V,\sigma )\) whose infinitesimal generator is denoted \(D_V \in \mathfrak {sp}(V,\sigma )\). Then the infinitesimal generator D of \(\alpha ^{{\mathfrak {g}}}\) has the form
This implies in particular that
which also is a Heisenberg group. The group
is called the associated oscillator group (cf. [39]).
We define the effective subspace of V as
From the invariance of \(\sigma \) under \(\beta \), we immediately obtain
Then \(G_\textrm{eff} := {{\mathbb {T}}}\times V_\textrm{eff}\) is a closed \(\alpha \)invariant subgroup of G and
is a normal subgroup for which the quotient \(G^\flat /G^\flat _\textrm{eff}\) is abelian, and \(G^0\) commutes with \(G^\flat _\textrm{eff}\).
We consider unitary representations \((\pi ,\mathcal {H})\) of G with \(\pi (z,0) = z {\textbf {1}}\) for \(z \in {{\mathbb {T}}}\). These representations can also be viewed as projective representations of the abelian group \((V,+)\) (see [18] for generalities on projective Lie group representations).
For any element \(x = (z,v) \in {{\mathfrak {g}}}\), we have
Hence Proposition 3.13 shows that the positive energy condition for \(\pi \) implies the following positivity condition on \(D_V \in \mathfrak {sp}(V,\sigma )\):
(cf. [5, Ex. 4.26, Prop. 4.27]).
Definition 4.1
(Weinless conditions) The triple \((V,\sigma , \beta )\) defines a boson single particle space in the sense of [47]. Weinless defines a positive energy Bose–Einstein field over \((V,\sigma ,\beta )\) as a quadruple \((\mathcal {H},W,\Omega ,U)\), consisting of a complex Hilbert space \(\mathcal {H}\), a unit vector \(\Omega \in \mathcal {H}\), a continuous unitary oneparameter group \((U_t)_{t \in {{\mathbb {R}}}}\) on \(\mathcal {H}\), and a map \(W : V \rightarrow \textrm{U}(\mathcal {H})\), with the following properties:

(W1)
\(W(x) W(y) = e^{i\frac{\sigma (x,y)}{2}} W(x+y)\) for \(x,y \in V\) (Weyl relations).

(W2)
\(W(\beta _t(x)) = U_t W(x) U_{t}\) for \(x \in V\), \(t \in {{\mathbb {R}}}\) (\(\beta \)equivariance).

(W3)
\(U_t \Omega = \Omega \) for \(t\in {{\mathbb {R}}}\).

(W4)
\(U_t = e^{itH}\) with \(H \ge 0\) (U has positive spectrum).

(W5)
The unitary oneparameter groups \(W^x_t := W(tx)\), \(x \in V\), are strongly continuous (regularity).

(W6)
\(W(V)\Omega \) is total in \(\mathcal {H}\).
These requirements translate naturally into our context. Relation (W1) means that
defines a unitary representation of \(\mathop {\textrm{Heis}}\nolimits (V,\sigma )\) and (W2,3,4,6) imply that \((\pi , U,\mathcal {H})\) defines a ground state representation with cyclic vector \(\Omega \). Condition (W5) is a rather weak continuity requirement which is in particular satisfied if W is strongly continuous. Therefore every continuous positive energy representation \((\pi , U,\mathcal {H})\) with a cyclic ground state vector \(\Omega \) defines by \(W(x) := \pi (1,x)\) a positive energy Bose–Einstein field over \((V,\sigma ,\beta )\).
The following uniqueness result is a variant of the Stone–von Neumann Uniqueness Theorem, which fails in general for infinite dimensional spaces V, but the existence of \(\beta \) implements additional structure that can be used to obtain a similar uniqueness for ground state representations if \(V_\beta \) is large [7, 21, 22].
Theorem 4.2
(Weinless’ Uniqueness Theorem; [47, Thm. 4.1]) Let \((\mathcal {H},W, \Omega , U)\) be a positive energy Bose–Einstein field over \((V,\sigma ,\beta )\), i.e., (W16) are satisfied, and
Then there exists an, up to unitary equivalence unique, complex Hilbert space \(\textsf{H}\) and a symplectic linear map \(j : (V_\beta ,\sigma ) \rightarrow (\textsf{H}, 2 \mathop {\textrm{Im}}\nolimits \langle \cdot ,\cdot \rangle )\) such that

(j1)
\(j(V_\beta )\) is dense in \(\textsf{H}\), and

(j2)
there exists a unitary oneparameter group \(U_t^\textsf{H}= e^{itB}\) on \(\textsf{H}\) with \(j \circ \beta _t = U_t^\textsf{H}\circ j\) for \(t \in {{\mathbb {R}}}\) and \(B > 0\).
We further have

(j3)
\(\langle \Omega , W(x)\Omega \rangle = e^{\frac{1}{4}\Vert j(x)\Vert ^2}\) for \(x \in V_\beta \).

(j4)
If \(\xi \in \mathcal {H}^U\) is Ufixed and orthogonal to \(\Omega \), then \(W(V_\beta )\Omega \bot \xi \).
The Weinless Theorem has interesting consequences for the structure of strongly continuous ground state representations.
Proposition 4.3
Let \((\pi , U,\mathcal {H})\) be a continuous ground state representation of \((\mathop {\textrm{Heis}}\nolimits (V,\sigma ), \alpha )\) with \(\pi (z,0) = z {\textbf {1}}\) for \(z \in {{\mathbb {T}}}\) and cylic ground state vector. Then the following assertions hold:

(a)
The linear map \(j : V_\beta \rightarrow \textsf{H}\) extends to a continuous linear map \(j : V_\textrm{eff} {=} \overline{V_\beta } \rightarrow \textsf{H}.\)

(b)
On the subspace \(\mathcal {K}_0 := \overline{W(V_\textrm{eff})\Omega }\) we have an irreducible representation \(\rho _0\) of \(G^\flat _\textrm{eff}\) with a smooth ground state vector \(\Omega \) and \((\mathcal {K}_0)^0 = {{\mathbb {C}}}\Omega \).

(c)
The representation \(\rho _1\) of \(G^\flat _\textrm{eff}\) on the \(G^\flat _\textrm{eff}\)invariant subspace \(\mathcal {K}_1 \subseteq \mathcal {H}\) generated by \(\mathcal {H}^0\) is equivalent to the representation
$$\begin{aligned} \mathcal {K}_1 \cong \mathcal {H}^0 {\widehat{\otimes }} \mathcal {K}_0, \quad \rho _1(g) = {\textbf {1}} \otimes \rho _0(g) \quad \text{ for } \quad g \in G^\flat _\textrm{eff}. \end{aligned}$$(20)In particular, the commutant of \(\rho _1(G^\flat _\textrm{eff})\) is \(\rho _1(G^\flat _\textrm{eff})' \cong B(\mathcal {H}^0) \otimes {\textbf {1}}.\)

(d)
The subspace \(\mathcal {K}_1\) is also invariant under \(G^0\), which acts on it by \(\rho _1(g) = \pi ^0(g) \otimes {\textbf {1}}\) for \(g \in G^0\).
Proof

(a)
From (j3) we derive that j is bounded on a 0neighborhood in \(V_\beta \), hence continuous and therefore extends to a continuous linear map on \(V_\textrm{eff}\).

(b)
Clearly, \(\mathcal {K}_0\) is invariant under \(G_\textrm{eff}^\flat \) with cyclic vector \(\Omega \). Since the corresponding positive definite function
$$\begin{aligned} \varphi (z,x,t) = \langle \Omega , z W(x) U_t \Omega \rangle = z e^{\frac{1}{4} \Vert j(x)\Vert ^2}, \qquad z \in {{\mathbb {T}}}, x \in V_\textrm{eff}, t \in {{\mathbb {R}}}, \end{aligned}$$is smooth, \(\Omega \) is a smooth vector ([31, Thm. 7.2]).
Further, (j4) implies that \((\mathcal {K}_0)^0 = \mathcal {K}\cap \mathcal {H}^0 = {{\mathbb {C}}}\Omega \) is onedimensional. As \(\Omega \) is cyclic, the representation of the commutant \(\rho _0(G^\flat _\textrm{eff})'\) on \((\mathcal {K}_0)^0 = {{\mathbb {C}}}\Omega \) is faithful, hence the commutant is onedimensional and thus \((\rho _0,\mathcal {K}_0)\) is irreducible.

(c)
Let \(\xi \in \mathcal {H}^U\) be a unit vector, and consider the representation of \(G^\flat \) on the subspace \(\mathcal {H}_\xi \) generated by \(W(V)\xi \). Then Weinless’ Theorem applies to the representation of \(G^\flat \) on \(\mathcal {H}_\xi \), and it follows that, for \(x \in V_\textrm{eff}\), we also have \(\langle \xi , W(x) \xi \rangle = e^{\frac{1}{4} \Vert j(x)\Vert ^2}.\) If \((\xi _j)_{j \in J}\) in an orthonormal bases of \(\mathcal {H}^0\), it follows that the subspaces \(\mathcal {K}_{\xi _j}\) generated by \(W(V_\textrm{eff})\xi _j\) are mutually orthogonal, and the GNS Theorem implies that the representation on this cyclic subspace is equivalent to \((\rho _0,\mathcal {K}_0)\). This proves (c).

(d)
The subgroup \(G^0\) commutes with \(G^\flat _\textrm{eff}\) by (18) and acts on the subspace \(\mathcal {H}^0\) of ground state vectors by the representation \(\pi ^0\). Hence it also preserves the subspace \(\mathcal {K}_1\). By (c), it acts on the left tensor factor, which is a multiplicity space for the action of \(G^\flat _\textrm{eff}\).\(\square \)
Theorem 4.4
(Factorization Theorem for Ground State Representation) Suppose that \((V,\sigma ,\beta )\) satisfies the weak splitting condition^{Footnote 2}
Then every ground state representation \((\pi , U, \mathcal {H})\) of \(G^\flat \) factorizes as a tensor product \(\mathcal {H}= \mathcal {H}^0 {\widehat{\otimes }} \mathcal {K}_0\) with
where the representation \((\rho _0, \mathcal {K}_0)\) of \(G^\flat _\textrm{eff}\) is irreducible and equivalent to the pullback of the canonical Fock representation of \(\mathop {\textrm{Heis}}\nolimits (V_\textrm{eff},\sigma )\) on \(\mathcal {F}_+(\textsf{H})\), defined by the positive definite function
(see Appendix C and Remark 4.6 below). We further have \(\pi ^\flat (G^\flat )' = \pi (G)' \cong \pi ^0(G^0)'\). In particular, \((\pi , U,\mathcal {H})\) is strict.
Proof
Our assumption implies that \(W(V^\beta + V_\beta ) \Omega \subseteq {{\mathbb {C}}}W(V_\beta ) W(V^\beta )\Omega \subseteq W(V_\beta )\mathcal {H}^0\) is total in \(\mathcal {H}\). Therefore \(\mathcal {H}= \mathcal {K}_1\), and the assertion follows from Proposition 4.3. \(\square \)
Remark 4.5

(a)
If \(\beta \) is periodic of period \(T > 0\) and V is complete, then the fixed point projection
$$\begin{aligned} p_0 : V \rightarrow V^\beta , \quad p_0(v) = \frac{1}{T} \int \limits _0^T \beta _t(v)\, dt \end{aligned}$$satisfies \(p_0(V)= V^\beta \) and \(\ker (p_0) = V_\textrm{eff}\) by the Peter–Weyl Theorem ([17]). We therefore have \(V = V^\beta \oplus V_\textrm{eff}\) in this case.

(b)
Suppose that \(V^\beta + V_\textrm{eff}\) is dense in V, i.e., that the weak splitting condition (WSC) is satisfied. As \(V^\beta \) and \(V_\textrm{eff}\) are \(\sigma \)orthogonal, it follows that \((V^\beta ,\sigma )\) is also symplectic.
For every \(t\not =0\), the range of the map \(V \rightarrow V_\textrm{eff}, v \mapsto \beta _t(v) v\) generates the same closed subspace as its restriction to \(V_\textrm{eff}\). We therefore have \((V_\textrm{eff})_\textrm{eff} = V_\textrm{eff}\).
The direct sum \({\widetilde{V}} := V^\beta \oplus V_\textrm{eff}\) carries a natural symplectic form and the addition map \(i : {\widetilde{V}} \rightarrow V\) is symplectic and \({{\mathbb {R}}}\)equivariant with dense range. Therefore the adjoint
is injective.
Remark 4.6

(a)
If \(V = \textsf{H}^{{\mathbb {R}}}\) (the real subspace underlying a complex Hilbert space \(\textsf{H}\)) and \(\sigma (v,w) = 2 \mathop {\textrm{Im}}\nolimits \langle v,w \rangle \) and \(\beta _t = e^{itD}\) with \(D \ge 0\), then second quantization leads to a positive energy representation \((\pi ,U,\mathcal {H})\) on the symmetric Fock space
$$\begin{aligned} \mathcal {H}:= \mathcal {F}_+(\textsf{H}) = \widehat{\bigoplus }_{n \in {{\mathbb {N}}}_0} S^n(\textsf{H}) \end{aligned}$$with cyclic unit vector \(\Omega \in S^0(\textsf{H})\) for which we have
$$\begin{aligned} \langle \Omega , \pi (x) \Omega \rangle = e^{\frac{1}{4}\Vert x\Vert ^2} \quad \text{ for } \quad x \in V=\textsf{H}\end{aligned}$$(cf. Appendix C). We conclude that the irreducible representation \((\rho _0, \mathcal {K}_0)\) in Theorem 4.4 is equivalent to the canonical representation of \(G_\textrm{eff}\) on the Fock space \(\mathcal {F}_+(\textsf{H})\). Note that
$$\begin{aligned} \mathcal {H}^0 = \mathcal {F}_+(\ker D) \end{aligned}$$is onedimensional if and only if \(D > 0\).

(b)
Suppose that \(V = V_0 \oplus \textsf{H}^{{\mathbb {R}}}\) is a direct sum of two symplectic spaces, where \(\textsf{H}\) is a complex Hilbert space and \(\beta _t(v_0 + v_1) = v_0 + e^{itD} v_1\) for \(t \in {{\mathbb {R}}}\), \(v_0 \in V_0, v_1 \in \textsf{H}\) and \(D = D^* \ge 0\) on \(\textsf{H}\). For any unitary representation \((\rho , \mathcal {K})\) of \(\mathop {\textrm{Heis}}\nolimits (V_0,\sigma _0)\) with \(\rho (z,0) = z{\textbf {1}}\) for \(z \in {{\mathbb {T}}}\), we obtain on
$$\begin{aligned} \mathcal {H}:= \mathcal {K}{\widehat{\otimes }} \mathcal {F}_+(\textsf{H}) \quad \text{ by } \quad \pi (z,v_0 + v_1) := \pi (z,v_0) \otimes \pi _{\mathcal {F}_+}(v_0) \end{aligned}$$a ground state representation of \(\mathop {\textrm{Heis}}\nolimits (V,\sigma )\), where \(\mathcal {H}^0 = \mathcal {K}{\widehat{\otimes }} \mathcal {F}_+(\ker D)\). Therefore one cannot expect to draw any finer conclusion on the representation of \(G^0\) on \(\mathcal {H}^0\).

(c)
As the representation of \(G_\textrm{eff}^\flat \) on \(\mathcal {K}_0\) is smooth, Proposition 3.13 implies that, for \(x \in V_\textrm{eff}\), we have
$$\begin{aligned} \sigma (D_V(x),x) = \langle \Omega , i \partial \pi ([Dx,x]) \Omega \rangle \ge 0. \end{aligned}$$(21)As \(j : V_\textrm{eff} \rightarrow \textsf{H}\) is symplectic, we obtain with \(U_t^\textsf{H}= e^{it D_\textsf{H}}\) for \(t \in {{\mathbb {R}}}\) the relation
$$\begin{aligned} \sigma (D_V(x),x)= & {} 2 \mathop {\textrm{Im}}\nolimits \langle j(D_V(x)), j(x) \rangle = 2 \mathop {\textrm{Im}}\nolimits \langle i D_{\textsf{H}} j(x), j(x) \rangle \nonumber \\ {}= & {} 2 \langle D_{\textsf{H}} j(x), j(x) \rangle . \end{aligned}$$(22)This implies that \(D_\textsf{H}\ge 0\)
Lemma 4.7
If there exists a ground state representation \((\pi , U,\mathcal {H})\) of \((\mathop {\textrm{Heis}}\nolimits (V,\sigma ), \alpha )\) with \(\pi (z,0) = z {\textbf {1}}\) for \(z \in {{\mathbb {T}}}\), then the following assertions hold:

(a)
The subspace \(V_\textrm{eff} \subseteq V\) is symplectic, i.e., the restriction of \(\sigma \) to \(V_\textrm{eff}\) is nondegenerate and
$$\begin{aligned} V_\textrm{eff} \cap V^\beta = \{0\}. \end{aligned}$$(23) 
(b)
The map \(j : V_\textrm{eff} \rightarrow (\textsf{H}, 2 \mathop {\textrm{Im}}\nolimits \langle \cdot ,\cdot \rangle )\) is injective.

(c)
If \(\Omega \) is an eigenvector for some \(x \in V_\textrm{eff}\), then \(x = 0\).

(d)
If \(x \in V\) with \(W(x)\Omega \in \mathcal {H}^0\), then \(x \in V^\beta \).
Proof

(a)
In view of (18), we have to verify (23). Let \(x \in V_\textrm{eff} \cap V^\beta \). Then
$$\begin{aligned} W(x) = \rho _1(x) = {\textbf {1}} \otimes \rho (x) = \pi ^0(x) \otimes {\textbf {1}} \end{aligned}$$in the terminology of Proposition 4.3, and thus \(W(x) \in {{\mathbb {T}}}{\textbf {1}} = \pi ({{\mathbb {T}}}\times \{0\})\). This contradicts the injectivity of \(\pi \) (Remark C.1).

(b)
follows immediately from (a) and the fact that j is symplectic.

(c)
If \(W(x) \Omega = \lambda \Omega \) for some \(\lambda \in {{\mathbb {T}}}\), then (j3) implies \(\lambda = e^{\frac{1}{4}\Vert j(x)\Vert ^2}\), so that \(j(x) = 0\). This entails \(x = 0\) because j is injective by (b).

(d)
For every \(t \in {{\mathbb {R}}}\), we have
$$\begin{aligned} W(\beta _t(x))\Omega = U_t W(x)\Omega = W(x)\Omega \end{aligned}$$because \(W(x)\Omega \in \mathcal {H}^0\). Therefore \(\Omega \) is an eigenvector of \(W(x)^{1} W(\beta _t(x)) \in W(\beta _t(x)x)\). Now (c) shows that \(\beta _t(x) = x\), hence that \(x \in V^\beta \).\(\square \)
Example 4.8
We present an example where \(\sigma \) is nondegenerate on \(V_\textrm{eff}\) but \(V_\textrm{eff} + V^\beta \) is not dense in V. We consider the Banach space
endowed with the symplectic \({{\mathbb {R}}}\)action, defined by
Then \(V^\beta = \{0\}\), and since \(\sigma \) is the imaginary part of a hermitian scalar product, it is nondegenerate. By (18), the vanishing of \(V^\beta \) implies that \(\sigma \) is nondegenerate on
As all functions in \(V_\textrm{eff}\) vanish in 0, this subspace is not dense in V.
The uniqueness of j implies that \(\textsf{H}= L^2([0,1])\), where \(j : V_\textrm{eff} \hookrightarrow \textsf{H}\) is the canonical inclusion. Although this inclusion is injective, there exist positive energy representations of \(\mathop {\textrm{Heis}}\nolimits (V,\sigma )\) that are not multiples of Fock space representations (cf. Remark 4.6(a)).
For any unitary representation \(\kappa \) of the additive group \(({{\mathbb {C}}},+)\), we obtain by \(f \mapsto \kappa (f(0))\) a unitary representation of V. Let \((\rho _0, \mathcal {K}_0)\) be the cyclic Fock representation of \(\mathop {\textrm{Heis}}\nolimits (V,\sigma )\), specified by the positive definite function \(\varphi (z,f) = ze^{\frac{1}{4}\Vert f\Vert _2^2}\) and let \((\kappa , \mathcal {E})\) be a cyclic representation of \({{\mathbb {C}}}\) with cyclic vector \(\Omega ^0\). Recall that this implies that \(\mathcal {E}\cong L^2({{\mathbb {R}}}^2,\mu )\) with a finite positive measure \(\mu \), \(\Omega ^0 = 1\) and
We define on the tensor product \(\mathcal {H}:= \mathcal {E}\otimes \mathcal {K}_0\) a unitary positive energy representation of \(\mathop {\textrm{Heis}}\nolimits (V,\sigma )^\flat \) by
Its minimal energy subspace is \(\mathcal {H}^0 = \mathcal {E}\otimes \Omega \cong \mathcal {E}\), which is clearly cyclic. The commutant \(\pi (\mathop {\textrm{Heis}}\nolimits (V,\sigma ))'\) is isomorphic to the commutant \(\kappa (V)' = \kappa (V)''\); where we use that \(\kappa \) is cyclic and thus \(\kappa (V)''\) maximal abelian. As the cyclic vector \(\Omega ^0 \in \mathcal {E}\) separates \(\kappa (V)' \cong \pi (\mathop {\textrm{Heis}}\nolimits (V,\sigma ))'\), it is also cyclic for \(\mathop {\textrm{Heis}}\nolimits (V,\sigma )\). Therefore \((\pi , \mathcal {H})\) defines a positive energy Bose–Einstein field on \(\mathcal {H}\).
From the isomorphism of the commutants \(\kappa (V)' \cong \pi (\mathop {\textrm{Heis}}\nolimits (V,\sigma ))'\) and Schur’s Lemma, it follows that the representation \(\pi \) is irreducible if and only if \(\mu \) is a point measure, i.e., \(\kappa \) is simply a character of the group \(({{\mathbb {C}}},+)\). Then \(\mathcal {H}= \mathcal {K}_0\) and \(\pi (z,f,t) = \kappa (f(0)) \rho _0(z,f,t)\).
We also note that \(\pi ^0(G^0) = {{\mathbb {T}}}{\textbf {1}}\), so that the inclusion \(\kappa ({{\mathbb {C}}})' \subseteq \pi ^0(G^0)' = B(\mathcal {H}^0)\) is proper if and only if \(\kappa \) is not irreducible. We conclude that \(\pi \) is strict if and only if \(\mathop {\textrm{dim}}\nolimits \mathcal {E}= 1\), i.e., \(\kappa \) is irreducible.
As a consequence of the preceding discussion, we record:
Proposition 4.9
There exist pairs \((G,\alpha )\), where G is a Banach–Lie group and \(\alpha \) is a smooth action, such that not all smooth ground state representations are strict.
Remark 4.10
One cannot replace the density assumption (WSC) in Theorem 4.4 by the assumption that \(V^\beta + V_\beta \) is \(\sigma \)weakly dense, i.e., that \(\sigma \) is nondegenerate on \(V^\beta \). If \(V^\beta = \{0\}\), then \(V_\beta \) is \(\sigma \)weakly dense, and we have this situation in Example 4.8. The construction of the nonstrict ground state representations in this example show that the conclusion of Theorem 4.4 is invalid in this example.
Remark 4.11

(a)
If \(\mathop {\textrm{dim}}\nolimits V < \infty \), then \(V^\beta = V_\textrm{eff}^{\bot _\sigma }\) intersects \(V_\textrm{eff}\) trivial, hence is a linear complement.

(b)
Without the assumption of \(V_\textrm{eff}\) being symplectic, the sum \(V_\textrm{eff} + V^\beta \) need not be dense in V, as the following example shows. On \(V = {{\mathbb {R}}}^2\) with \(\mathfrak {sp}(V,\sigma ) \cong \mathop {{\mathfrak {sl} }}\nolimits _2({{\mathbb {R}}})\), we consider the nilpotent element
$$\begin{aligned} D = \begin{pmatrix} 0 &{}\quad 0 \\ 1 &{}\quad 0 \end{pmatrix} \in \mathop {{\mathfrak {sl} }}\nolimits _2({{\mathbb {R}}}) = \mathfrak {sp}(V,\sigma ) \quad \text{ and } \quad \beta _t = e^{tD} = \begin{pmatrix} 1 &{}\quad 0 \\ t &{}\quad 1 \end{pmatrix}. \end{aligned}$$Then \(V^\beta = {{\mathbb {R}}}e_2 = V_\beta \) are both onedimensional, hence not symplectic. It follows in particular, that any map \(j : V_\beta \rightarrow \textsf{H}\) into a complex Hilbert space \(\textsf{H}\) with dense range is trivial. Therefore Weinless’ Theorem implies that \({{\mathbb {R}}}e_2\) annihilates all ground state vectors (see also Theorem 6.6(ii) below).

(c)
From (18) it follows that
$$\begin{aligned} (V^\beta + V_\textrm{eff})^{\bot _\sigma } = (V^\beta + V_\beta )^{\bot _\sigma } = V^\beta \cap (V^\beta )^{\bot _\sigma } \end{aligned}$$is the radical of the restriction of \(\sigma \) to \(V^\beta \). Therefore the nondegeneracy of \(\sigma \) on \(V^\beta \) is equivalent to \(V^\beta + V_\beta \) being \(\sigma \)weakly dense in V.
Remark 4.12
(Kay’s Uniqueness Theorem)

(a)
A single particle structure for \((V,\sigma ,\beta )\) is a triple \((j,\textsf{H},U^\textsf{H})\), consisting of a complex Hilbert space \(\textsf{H}\), a real linear map \(j : V \rightarrow \textsf{H}\) and a unitary oneparameter group \(U_t^\textsf{H}= e^{itB}\) with \(B > 0\) such that:
$$\begin{aligned}{} & {} \overline{j(V)} = \textsf{H}, \quad \sigma (v,w) = 2 \mathop {\textrm{Im}}\nolimits \langle j(v), j(w) \rangle \quad \text{ for } \quad v,w \in V,\\{} & {} \quad \text{ and } \quad j \circ \beta _t = U_t^\textsf{H}\circ j \quad \text{ for } \quad t \in {{\mathbb {R}}}. \end{aligned}$$Conditions (j1/2) in Theorem 4.2 imply that \((j, \textsf{H}, U^\textsf{H})\) defines a single particle structure for \((V_\beta , \sigma ,\beta )\). According to Kay’s Uniqueness Theorem [21, 22], any two single particle structures for \((V_\beta ,\sigma ,\beta )\) are unitarily equivalent. Note that single particle structures on V can only exist if \(V^\beta = \{0\}\) because j is supposed to be injective and \(U^\textsf{H}\) has no nonzero fixed points on \(\textsf{H}\).

(b)
If we start with a complex Hilbert space \(\mathcal {H}\) and \(V = \mathcal {H}^{{\mathbb {R}}}\) (the underlying real space) with \(\sigma = 2 \mathop {\textrm{Im}}\nolimits \langle \cdot ,\cdot \rangle \), then any unitary oneparameter group \(\beta _t = e^{itA}\) on \(\mathcal {H}\) defines a boson single particle space \((V,\sigma ,\beta )\) and \(V = \ker A \oplus V_\beta \).
Suppose that \(\ker A = 0\) and write \(A = R A\) for the polar decomposition of A. Then R is a unitary involution and \(I := iR\) defines a new complex structure on \(\mathcal {H}\); we write \(\textsf{H}\) for the resulting complex Hilbert space. Then the identity map \(j : \mathcal {H}\rightarrow \textsf{H}\) is symplectic and \(\beta _t = e^{I t A}\), so that \((j,\textsf{H}, \beta )\) is the unique single particle structure for \((V,\sigma ,\beta )\).

(c)
An important special case arises from the translation action \((\beta _t f)(z) = f(e^{it}z)\) of \({{\mathbb {R}}}\) on \(\mathcal {H}= L^2({{\mathbb {T}}})\). Then
$$\begin{aligned} \sigma (\xi ,\eta ) = 2\int \limits _0^1 \mathop {\textrm{Im}}\nolimits (\overline{\xi (t)} \eta (t))\, dt = \frac{1}{i} \int \limits _0^1 \overline{\xi (t)} \eta (t)  \overline{\eta (t)} \xi (t))\, dt \end{aligned}$$In this case \((Af)(z) = z f'(z)\) with \(\ker A = {{\mathbb {C}}}1\) (the constant functions). Therefore R corresponds to the Hilbert transform on \(1^\bot \subseteq L^2({{\mathbb {S}}}^1)\).
5 Holomorphic induction
One can use the technique of holomorphic induction to show that certain ground state representations are strict and to obtain further regularity properties. In [35, App. C], it is shown that this technique, developed in [33] for Banach–Lie groups, also applies to Fréchet–BCH–Lie groups satisfying the conditions (SC) and (A13) below.
In this section we first describe the geometric environment on the Lie group and Lie algebra level needed for holomorphic induction (Sect. 5.1) and define this concept in Sect. 5.2. All this is combined with a homomorphism \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) in Sect. 5.3. If G is a Banach–Lie group and \(D \in \mathop {\textrm{der}}\nolimits ({{\mathfrak {g}}})\) is a bounded operator for which 0 is isolated in \(\textrm{Spec}(D)\) and the norm on \({{\mathfrak {g}}}\) is \(\alpha \)invariant (D is elliptic), then this leads to Theorem 5.8, the main result of this section.
5.1 The geometric setup for holomorphic induction
Let G be a Lie group with the smooth exponential function \(\exp : {{\mathfrak {g}}}\rightarrow G\). If, in addition, G is analytic and the exponential function is an analytic local diffeomorphism in 0, then G is called a BCH–Lie group (for Baker–Campbell–Hausdorff). Then the Lie algebra \({{\mathfrak {g}}}\) is a BCH–Lie algebra, i.e., there exists an open 0neighborhood \(U \subseteq {{\mathfrak {g}}}\) such that for \(x,y \in U\) the Hausdorff series
converges and defines an analytic function \(U \times U \rightarrow {{\mathfrak {g}}}, (x,y) \mapsto x * y\). The class of BCH–Lie groups contains in particular all Banach–Lie groups ([29, Prop. IV.1.2], [11]).
Let G be a connected Fréchet–BCH–Lie group G with Lie algebra \({{\mathfrak {g}}}\). We further assume that there exists a complex BCH–Lie group \(G_{{\mathbb {C}}}\) with Lie algebra \({{\mathfrak {g}}}_{{\mathbb {C}}}\) and a natural map \(\eta : G \rightarrow G_{{\mathbb {C}}}\) for which \({\textbf {L}}(\eta )\) is the inclusion \({{\mathfrak {g}}}\hookrightarrow {{\mathfrak {g}}}_{{\mathbb {C}}}\). Assume that \(G^0 \subseteq G\) is a Lie subgroup for which \(M := G/G^0\) carries the structure of a smooth manifold with a smooth Gaction. We also assume the existence of closed \(\mathop {\textrm{Ad}}\nolimits (G^0)\)invariant complex subalgebras \({{\mathfrak {g}}}_{{\mathbb {C}}}^\pm \subseteq {{\mathfrak {g}}}_{{\mathbb {C}}}\) for which the complex conjugation \(\sigma _{{\mathfrak {g}}}(x+ iy) = x iy\) on \({{\mathfrak {g}}}_{{\mathbb {C}}}\) satisfies \(\sigma _{{\mathfrak {g}}}({{\mathfrak {g}}}_{{\mathbb {C}}}^\pm ) = {{\mathfrak {g}}}_{{\mathbb {C}}}^\mp \) and we have a topological direct sum decomposition
(cf. (L3/4) in Sect. 3). We put
so that \({{\mathfrak {g}}}= {{\mathfrak {g}}}^0 \oplus {{\mathfrak {p}}}\) is a topological direct sum. We assume that there exist open symmetric convex 0neighborhoods
such that the BCHproduct is defined and holomorphic on \(U_{{{\mathfrak {g}}}_{{\mathbb {C}}}} \times U_{{{\mathfrak {g}}}_{{\mathbb {C}}}}\), and the following maps are analytic diffeomorphisms onto an open subset:

(A1)
\(U_{{{\mathfrak {p}}}} \times U_{{{\mathfrak {g}}}^0} \rightarrow {{\mathfrak {g}}}, (x,y) \mapsto x * y\).

(A2)
\(U_{{{\mathfrak {p}}}} \times U_{{\mathfrak {q}}}\rightarrow {{\mathfrak {g}}}_{{\mathbb {C}}}, (x,y) \mapsto x * y\).

(A3)
\(U_{{{\mathfrak {g}}}_{{\mathbb {C}}}^} \times U_{{\mathfrak {q}}}\rightarrow {{\mathfrak {g}}}_{{\mathbb {C}}}, (x,y) \mapsto x * y\).
Examples 5.1

(a)
If \(\mathop {\textrm{dim}}\nolimits G < \infty \) and D is elliptic, then all these assumptions are satisfied for the positive/negative spectral subspaces \({{\mathfrak {g}}}_{{\mathbb {C}}}^\pm \) of the derivation \(i\cdot D\) of \({{\mathfrak {g}}}_{{\mathbb {C}}}\).

(b)
Let G be a simply connected Banach–Lie group for which \({{\mathfrak {g}}}_{{\mathbb {C}}}\) also is the Lie algebra of a Banach–Lie group and \(M = G/G^0\) is a Banach homogeneous space. If the subalgebras \({{\mathfrak {g}}}_{{\mathbb {C}}}^\pm \subseteq {{\mathfrak {g}}}_{{\mathbb {C}}}\) satisfy the splitting condition (SC), then (A13) follow directly from the Inverse Function Theorem. This is the context of [33].
Remark 5.2
(From Banach to Fréchet)
Let \(G_B\) be a Banach–Lie group with Lie algebra \({{\mathfrak {g}}}_B\), \(G_B^0 \subseteq G_B\) and \(M_B = G_B/G^0_B\) be as above (cf. Example 5.1(b)). We assume that the splitting condition (SC) is satisfied. In addition, let \(\beta : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G_B)\) be a oneparameter group of automorphisms defining a continuous \({{\mathbb {R}}}\)action on \(G_B\) and assume that the subalgebras \({{\mathfrak {g}}}_{B,{{\mathbb {C}}}}^\pm \), \({{\mathfrak {q}}}_B\) and \({{\mathfrak {g}}}^0\) are \(\beta \)invariant. Then the subgroup
of \(G_B\) carries the structure of a Fréchet–BCH–Lie group with Lie algebra
the Fréchet space of smooth vectors for the continuous \({{\mathbb {R}}}\)action on the Banach–Lie algebra \({{\mathfrak {g}}}_B\). Likewise \(G^0 := G \cap G_B^0\) is a Lie subgroup of G for which \(M := G/G^0\) is a smooth manifold consisting of the elements of \(M_B = G_B/G^0_B\) with smooth orbit maps with respect to the oneparameter group of diffeomorphisms induced by \(\beta \) via \(\beta ^M_t(gG_B^0) = \beta _t(g)G_B^0\).
Since the automorphisms \({\textbf {L}}(\beta _t)\) of \({{\mathfrak {g}}}\) resp., \({{\mathfrak {g}}}_{{\mathbb {C}}}\) are compatible with the BCH multiplication, it is easy to see with [35, Lemma C.5] that conditions (A13) are inherited by the closed Fréchet subalgebras
5.2 Holomorphically induced representations
Condition (A1) implies the existence of a smooth manifold structure on \(M = G/G^0\) for which G acts analytically. Condition (A2) implies the existence of a complex manifold structure on M which is Ginvariant and for which the complex structure on the tangent space \(T_{e G^0}(M) \cong {{\mathfrak {g}}}/{{\mathfrak {g}}}^0\) of M in the base point \(eG^0\) is determined by the identification with \({{\mathfrak {g}}}_{{\mathbb {C}}}/{{\mathfrak {q}}}\). Finally, (A3) makes the proof of [33, Thm. 2.6] work, so that we can associate to every bounded unitary representation \((\rho ,\mathcal {V})\) of \(G^0\) a holomorphic Hilbert bundle \({{\mathbb {V}}}:= G \times _{G^0} \mathcal {V}\) over the complex Gmanifold M by defining \(\beta : {{\mathfrak {q}}}\rightarrow \mathop {{\mathfrak {gl} }}\nolimits (\mathcal {V})\) by \(\beta ({{\mathfrak {g}}}_{{\mathbb {C}}}^+) = \{0\}\) and \(\beta \vert _{{{\mathfrak {g}}}^0} = \texttt {d}\rho \).
Definition 5.3
We write \(\Gamma ({{\mathbb {V}}})\) for the space of holomorphic sections of the holomorphic Hilbert bundle \({{\mathbb {V}}}\rightarrow M = G/G^0\) on which the group G acts by holomorphic bundle automorphisms. A unitary representation \((\pi , \mathcal {H})\) of G is said to be holomorphically induced from \((\rho ,\mathcal {V})\) if there exists a Gequivariant linear injection \(\Psi : \mathcal {H}\rightarrow \Gamma ({{\mathbb {V}}})\) such that the adjoint of the evaluation map \(\mathop {\textrm{ev}}\nolimits _{e G^0} : \mathcal {H}\rightarrow \mathcal {V}= {{\mathbb {V}}}_{e G^0}\) defines an isometric embedding \(\mathop {\textrm{ev}}\nolimits _{e G^0}^* : \mathcal {V}\hookrightarrow \mathcal {H}\). If a unitary representation \((\pi , \mathcal {H})\) holomorphically induced from \((\rho ,\mathcal {V})\) exists, then it is uniquely determined ([33, Def. 3.10]) and we call \((\rho ,\mathcal {V})\) (holomorphically) inducible.
The concept of holomorphic inducibility involves a choice of sign. Replacing \({{\mathfrak {g}}}_{{\mathbb {C}}}^+\) by \({{\mathfrak {g}}}_{{\mathbb {C}}}^\) changes the complex structure on \(G/G^0\) and thus leads to a different class of holomorphically inducible representations of \(G^0\).
The following two theorems contain key information on holomorphically induced representations. The first one describes properties of holomorphically induced representations and the second one provides a sufficient criterion for a representation to be holomorphically induced.
Theorem 5.4
([35, Thm. C.2]) Assume (A13). If the unitary representation \((\pi , \mathcal {H})\) of G is holomorphically induced from the bounded \(G^0\)representation \((\rho ,\mathcal {V})\), then the following assertions hold:

(i)
\(\mathcal {V}\subseteq \mathcal {H}^\omega \) consists of analytic vectors, i.e., their orbit maps \(G \rightarrow \mathcal {H}\) are realanalytic.

(ii)
\(R : \pi (G)' \rightarrow \rho (G^0)', A \mapsto A\vert _\mathcal {V}\) is an isomorphism of von Neumann algebras.

(iii)
\(\texttt {d}\pi ({{\mathfrak {g}}}_{{\mathbb {C}}}^) \mathcal {V}= \{0\}\).
Proof
(i) follows from [33, Lemma 3.5] and (ii) from [33, Thm. 3.12]. Further (iii) follows from Eq. (1) in the discussion preceding Theorem 3.12 in [33]. \(\square \)
Theorem 5.5
([33, Thm. 3.17]) Suppose that \((U,\mathcal {H})\) is a unitary representation of G and \(\mathcal {V}\subseteq \mathcal {H}\) is a \(G^0\)invariant closed subspace such that

(HI1)
The representation \((\rho ,\mathcal {V})\) of \(G^0\) on \(\mathcal {V}\) is bounded.

(HI2)
\(\mathcal {V}\cap (\mathcal {H}^\infty )^{{{\mathfrak {g}}}_{{\mathbb {C}}}^}\) is dense in \(\mathcal {V}\).

(HI3)
\(\llbracket \pi (G)\mathcal {V}\rrbracket = \mathcal {H}\).
Then \((\pi , \mathcal {H})\) is holomorphically induced from \((\rho ,\mathcal {V})\).
5.3 The setting with \(\alpha \)
Now let \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) define a smooth \({{\mathbb {R}}}\)action on G for which the action on the Lie algebra \({{\mathfrak {g}}}\) is polynomially bounded and write \(D \in \mathop {\textrm{der}}\nolimits ({{\mathfrak {g}}})\) for the infinitesimal generator of \(\alpha \) (see (L1/2) in Sect. 3). We assume, in addition to (A13) in Sect. 5.1, that \(\alpha \) and the subspace \({{\mathfrak {g}}}_+\) are linked by the requirement that
where \({{\mathfrak {g}}}_{{\mathbb {C}}}([\delta ,\infty ))\) is the Arveson spectral subspace for the oneparameter group \((\alpha ^{{\mathfrak {g}}}_t)_{t \in {{\mathbb {R}}}}\) on \({{\mathfrak {g}}}_{{\mathbb {C}}}\) (cf. Appendix A). Applying Proposition A.8 to the Lie bracket \({{\mathfrak {g}}}_{{\mathbb {C}}}\times {{\mathfrak {g}}}_{{\mathbb {C}}}\rightarrow {{\mathfrak {g}}}_{{\mathbb {C}}}\), we see that \({{\mathfrak {g}}}_{{\mathbb {C}}}^+\) is a closed complex subalgebra. For \(f \in \mathcal {S}({{\mathbb {R}}})\), \(\alpha ^{{\mathfrak {g}}}(f) := \int _{{\mathbb {R}}}f(t) \alpha ^{{\mathfrak {g}}}_t\, dt\) and \(z \in {{\mathfrak {g}}}_{{\mathbb {C}}}\), the relations \(\overline{\alpha ^{{\mathfrak {g}}}(f)z} = \alpha ^{{\mathfrak {g}}}(\overline{f})\overline{z}\) and the relation \(\widehat{\overline{f}}(\xi ) = \overline{{\widehat{f}}(\xi )}\) for the Fourier transform \({\widehat{f}}(\xi ) = \int _{{\mathbb {R}}}e^{i\xi x} f(x)\, dx\) imply that
where \(\sigma _{{\mathfrak {g}}}(x+iy) = xiy\) is complex conjugation on \({{\mathfrak {g}}}_{{\mathbb {C}}}\).
Example 5.6

(a)
Suppose that G is a Banach–Lie group and consider an element \({\textbf {d}}\in {{\mathfrak {g}}}\) for which the oneparameter group \(e^{{{\mathbb {R}}}\mathop {\textrm{ad}}\nolimits {\textbf {d}}} \subseteq \mathop {\textrm{Aut}}\nolimits ({{\mathfrak {g}}})\) is bounded, i.e., preserves an equivalent norm. We call such elements, resp., the corresponding derivation \(D = \mathop {\textrm{ad}}\nolimits {\textbf {d}}\) elliptic. Then
$$\begin{aligned} G^0 = Z_G(\exp {{\mathbb {R}}}{\textbf {d}}) = Z_G({\textbf {d}}) = \{ g \in G : \mathop {\textrm{Ad}}\nolimits (g){\textbf {d}}= {\textbf {d}}\} \end{aligned}$$is a closed subgroup of G, not necessarily connected, with Lie algebra \({{\mathfrak {g}}}^0 = {{\mathfrak {z}}}_{{\mathfrak {g}}}({\textbf {d}}) = \ker (\mathop {\textrm{ad}}\nolimits {\textbf {d}})\). Since \({{\mathfrak {g}}}\) contains arbitrarily small \(e^{{{\mathbb {R}}}\mathop {\textrm{ad}}\nolimits {\textbf {d}}}\)invariant 0neighborhoods U, there exists such an open 0neighborhood with \(\exp _G(U) \cap G^0 = \exp _G(U \cap {{\mathfrak {g}}}^0).\) Therefore \(G^0\) is a Lie subgroup of G, i.e., a Banach–Lie group for which the inclusion \(G^0 \hookrightarrow G\) is a topological embedding.
Our assumption implies that \(\alpha ^{{\mathfrak {g}}}_t := e^{t\mathop {\textrm{ad}}\nolimits {\textbf {d}}}\) defines an equicontinuous oneparameter group of automorphisms of the complex Banach–Lie algebra \({{\mathfrak {g}}}_{{\mathbb {C}}}\). For \(\delta > 0\), we consider the Arveson spectral subspace
$$\begin{aligned} {{\mathfrak {g}}}_{{\mathbb {C}}}^\delta := {{\mathfrak {g}}}_{{\mathbb {C}}}([\delta ,\infty [). \end{aligned}$$By Lemma A.4, the splitting condition
$$\begin{aligned} {{\mathfrak {g}}}_{{\mathbb {C}}}= {{\mathfrak {g}}}_{{\mathbb {C}}}^\delta \oplus {{\mathfrak {g}}}^0_{{\mathbb {C}}}\oplus \sigma _{{\mathfrak {g}}}({{\mathfrak {g}}}_{{\mathbb {C}}}^\delta ) \end{aligned}$$(26)is satisfied for some \(\delta > 0\) if and only if 0 is isolated in \(\textrm{Spec}(\mathop {\textrm{ad}}\nolimits {\textbf {d}})\).
Since \(\mathop {\textrm{Ad}}\nolimits (G^0)\) commutes with \(e^{{{\mathbb {R}}}\mathop {\textrm{ad}}\nolimits {\textbf {d}}}\), the closed subalgebras \({{\mathfrak {g}}}_{{\mathbb {C}}}^\pm \subseteq {{\mathfrak {g}}}_{{\mathbb {C}}}\) are invariant under \(\mathop {\textrm{Ad}}\nolimits (G^0)\) and \(e^{{{\mathbb {R}}}\mathop {\textrm{ad}}\nolimits {\textbf {d}}}\). Now \({{\mathfrak {p}}}:= {{\mathfrak {g}}}\cap ({{\mathfrak {g}}}_{{\mathbb {C}}}^+ \oplus {{\mathfrak {g}}}_{{\mathbb {C}}}^)\) is a closed complement for \({{\mathfrak {g}}}^0\) in \({{\mathfrak {g}}}\), so that \(M := G/G^0\) carries the structure of a Banach homogeneous space and \({{\mathfrak {q}}}:= {{\mathfrak {g}}}^0_{{\mathbb {C}}}+ {{\mathfrak {g}}}_{{\mathbb {C}}}^+ \cong {{\mathfrak {g}}}_{{\mathbb {C}}}^+ \rtimes {{\mathfrak {g}}}^0_{{\mathbb {C}}}\) defines a Ginvariant complex manifold structure on M.

(b)
Let \({{\mathfrak {g}}}\) be a real Hilbert–Lie algebra, i.e., \({{\mathfrak {g}}}\) is a Lie algebra and a real Hilbert space, the Lie bracket is continuous and the operators \(\mathop {\textrm{ad}}\nolimits x\), \(x \in {{\mathfrak {g}}}\), are skwsymmetric. Then one can use spectral measures to see that \({{\mathfrak {g}}}_{{\mathbb {C}}}^+\) is the spectral subspace corresponding to the open interval \((0,\infty )\) (cf. Lemma A.10), so that the splitting condition
$$\begin{aligned} {{\mathfrak {g}}}_{{\mathbb {C}}}= {{\mathfrak {g}}}_{{\mathbb {C}}}^+ \oplus {{\mathfrak {g}}}^0_{{\mathbb {C}}}\oplus {{\mathfrak {g}}}_{{\mathbb {C}}}^ \end{aligned}$$(27)is satisfied. In particular, 0 need not be isolated in the spectrum of \(\mathop {\textrm{ad}}\nolimits {\textbf {d}}\) ([4, Prop. 5.4]).
The following results are of key importance for the following. It contains the main consequences of Arveson’s spectral theory for the \({{\mathbb {R}}}\)actions on \({{\mathfrak {g}}}_{{\mathbb {C}}}\) and \(\mathcal {H}^\infty \).
Proposition 5.7
(A strictness criterion) Suppose that (27) holds, and that \((\pi , \mathcal {H})\) is a smooth ground state representation of \((G,\alpha )\), i.e., \(\mathcal {H}^{0,\infty }\) is dense in \(\mathcal {H}^0\), and that the representation \((\pi ^0,\mathcal {H}^0)\) of \(G^0\) is bounded. Then \((\pi , \mathcal {H})\) is holomorphically induced from \((\pi ^0, \mathcal {H}^0)\) and in particular strict.
Proof
First, Theorem A.12 implies that \(\texttt {d}\pi ({{\mathfrak {g}}}_{{\mathbb {C}}}^)\mathcal {H}^{0,\infty } = \{0\}\). Applying Theorem 5.5 to \(\mathcal {V}:= \mathcal {H}^0\), we see that \((\pi , \mathcal {H})\) is holomorphically induced from \((\pi ^0, \mathcal {H}^0)\), and Theorem 5.4(ii) implies strictness. \(\square \)
In the Banach case we can formulate more concrete sufficient conditions for strictness:
Theorem 5.8
Suppose that G is Banach and \({\textbf {d}}\in {{\mathfrak {g}}}\) is elliptic with 0 isolated in \(\textrm{Spec}(\mathop {\textrm{ad}}\nolimits {\textbf {d}})\) and \({{\mathfrak {g}}}_{{\mathbb {C}}}^ = {{\mathfrak {g}}}_{{\mathbb {C}}}(]\infty , \delta ])\) for some \(\delta > 0\). Then the following assertions hold for any smooth representation \((\pi , \mathcal {H})\) for which \(i\partial \pi ({\textbf {d}})\) is bounded from below.

(a)
The \(G^0\)invariant subspace \(\mathcal {V}:= \overline{(\mathcal {H}^\infty )^{{{\mathfrak {g}}}_{{\mathbb {C}}}^}}\) satisfies \(\mathcal {H}= \llbracket \pi (G)\mathcal {V})\rrbracket \).

(b)
If the \(G^0\)representation \(\rho (h) := \pi (h)\vert _\mathcal {V}\) on \(\mathcal {V}\) is bounded, then \((\pi , \mathcal {H})\) is holomorphically induced from the representation \(\rho \) of \(G^0\) on \(\mathcal {V}\), \(\pi \) is semibounded, and \({\textbf {d}}\in W_\pi ^0\) (see (3)). In particular, \(\mathcal {V}\) consists of analytic vectors.

(c)
In addition to (b), suppose that \(i\partial \rho ({\textbf {d}}) \ge m{\textbf {1}}\) for \(m \in {{\mathbb {R}}}\). Then \(i\partial \pi ({\textbf {d}}) \ge m{\textbf {1}}\) and the associated minimal positive energy representation of \((G,\alpha )\) for \(\alpha _t(g) = \exp (t{\textbf {d}}) g \exp (t{\textbf {d}})\) is strict with \(\mathcal {H}^0 = \mathcal {V}\).
Proof
(a) and (b) follow from [33, Thms. 4.7, 4.14]. It remains to prove (c). Let P denote the spectral measure of \(i\partial \pi ({\textbf {d}})\). Our assumption implies that \(\mathcal {V}\subseteq P([m,\infty ))\). As \(\mathcal {V}\) consists of analytic vectors, \(\texttt {d}\pi (U({{\mathfrak {g}}}))\mathcal {V}\) is dense in \(\mathcal {H}\). Since \(\mathcal {V}\) is annihilated by \({{\mathfrak {g}}}_{{\mathbb {C}}}^\), we have \(\texttt {d}\pi (U({{\mathfrak {g}}}))\mathcal {V}= \texttt {d}\pi (U({{\mathfrak {g}}}_{{\mathbb {C}}}^+))\mathcal {V}\) by the Poincaré–Birkhoff–Witt Theorem. Finally, we observe that the Spectral Translation Formula (Theorem A.12) implies that
We conclude that \(\mathcal {H}^\infty ([m,\infty ))\) is dense in \(\mathcal {H}\), i.e., that \(i\partial \pi ({\textbf {d}}) \ge m{\textbf {1}}\).
Since \({\textbf {d}}\) is central in \({{\mathfrak {g}}}^0\) and \(\pi \) is holomorphically induced from \(\pi ^0\), there exists a unitary oneparameter group \((U_t)_{t \in {{\mathbb {R}}}}\) in the commutant \(\pi (G)'\) with \(U_t\vert _{\mathcal {V}} = \pi ^0(\exp t {\textbf {d}})\) (Theorem 5.4). As the restriction to \(\mathcal {V}\) is an isomorphism of von Neumann algebras, \(U_t = e^{itB}\), where \(B \ge 0\) is bounded. Now \(W_t := \pi (\exp t {\textbf {d}}) U_t^{1}\) defines a unitary oneparameter group implementing the same automorphisms as \(\exp (t{\textbf {d}})\) for which \(\mathcal {V}\) consists of fixed points. Now the same argument as in (a), applied to the extended Lie algebra \({{\mathfrak {g}}}\rtimes {{\mathbb {R}}}{\textbf {d}}\) and the representation of \(G \rtimes _\alpha {{\mathbb {R}}}\) by \({\widetilde{\pi }}(g,t) = \pi (g) W_t\) implies that \((W_t)_{t \in {{\mathbb {R}}}}\) has positive spectrum and fixed point space \(\mathcal {H}^W = \mathcal {V}\) (see (28)). As \(\pi (G)\mathcal {V}\) is total in \(\mathcal {H}\), it follows that \((\pi , W,\mathcal {H})\) is a ground state representation, hence in particular minimal by Proposition 2.7. Theorem 5.4 further implies that it is strict. \(\square \)
The preceding theorem does not assert that \((\pi ,\mathcal {H})\) is a ground state representation, but we have the following corollary. It provides a sufficient condition for a bounded representation to be ground state. It applies in particular to finite dimensional unitary representations of compact Lie groups. By the strong boundedness assumptions, it follows immediately from Theorem 5.8.
Corollary 5.9
If G is Banach and \({\textbf {d}}\in {{\mathfrak {g}}}\) is elliptic with 0 isolated in \(\textrm{Spec}(\mathop {\textrm{ad}}\nolimits {\textbf {d}})\), then every bounded representation of G is a strict ground state representation of \((G,\alpha )\) for \(\alpha _t(g) = \exp (t{\textbf {d}}) g \exp (t{\textbf {d}})\), where \(\mathcal {H}^0 = \mathcal {H}^{{{\mathfrak {g}}}_{{\mathbb {C}}}^}\).
The following theorem shows that, assuming that \((\pi , \mathcal {H})\) is semibounded with \({\textbf {d}}\in W_\pi ^0\) permits us to get rid of the quite implicit assumption that the \(G^0\)representation on \(\mathcal {V}\) is bounded. It is an important generalization of Corollary 5.9 to semibounded representations.
Theorem 5.10
([33, Thm. 4.12]) Let \((\pi , \mathcal {H})\) be a semibounded unitary representation of the Banach–Lie group G and let \({\textbf {d}}\in W_\pi ^0\) be an elliptic element for which 0 is isolated in \(\textrm{Spec}(\mathop {\textrm{ad}}\nolimits {\textbf {d}})\) and \({{\mathfrak {g}}}_{{\mathbb {C}}}^ = {{\mathfrak {g}}}_{{\mathbb {C}}}(]\infty , \delta ])\) for some \(\delta > 0\). We write \(P : {{\mathfrak {B}}}({{\mathbb {R}}}) \rightarrow B(\mathcal {H})\) for the spectral measure of the unitary oneparameter group \(\pi _{\textbf {d}}(t) := \pi (\exp (t{\textbf {d}}))\). Then the following assertions hold:

(i)
The representation \(\pi \vert _{G^0}\) of \(G^0\) is semibounded and, for each bounded measurable subset \(B \subseteq {{\mathbb {R}}}\), the \(G^0\)representation on \(P(B)\mathcal {H}\) is bounded.

(ii)
The representation \((\pi , \mathcal {H})\) is a direct sum of representations \((\pi _j, \mathcal {H}_j)_{j \in J}\) for which there exist \(G^0\)invariant subspaces \(\mathcal {D}_j \subseteq (\mathcal {H}_j^\infty )^{{{\mathfrak {g}}}_{{\mathbb {C}}}^}\) for which the \(G^0\)representation \(\rho _j\) on \(\mathcal {V}_j := \overline{\mathcal {D}_j}\) is bounded and \(\llbracket \pi _j(G)\mathcal {V}_j\rrbracket = \mathcal {H}_j\). Then the representations \((\pi _j, \mathcal {H}_j)\) are holomorphically induced from \((\rho _j, \mathcal {V})\).

(iii)
If \((\pi , \mathcal {H})\) is irreducible and \(m := \inf \textrm{Spec}(i\partial \pi ({\textbf {d}}))\), then \(P(\{m\})\mathcal {H}= \overline{(\mathcal {H}^\infty )^{{{\mathfrak {g}}}_{{\mathbb {C}}}^}}\) and \((\pi , \mathcal {H})\) is holomorphically induced from the bounded \(G^0\)representation \(\rho \) on this space.
Corollary 5.11
In the context of Theorem 5.10, \((\pi , \mathcal {H})\) is a ground state representation and the direct summands \((\pi _j,\mathcal {H}_j)_{j \in J}\) are strict ground state representations.
Proof
First we use Theorem 5.8(c) to see that all representations \((\pi _j,\mathcal {H}_j)_{j \in J}\) are strict ground state representations. Now Lemma 2.9 shows that their direct sum \((\pi ,\mathcal {H})\) is also a ground state representation. \(\square \)
Problem 5.12
Are direct sums of strict ground state representations always strict?
6 Finite dimensional groups
In this section we assume that G is finite dimensional, so that \(G^\flat \) is finite dimensional as well. Replacing G by \(G^\flat \), it suffices to consider the inner case, i.e., for some fixed \({\textbf {d}}\in {{\mathfrak {g}}}\), we are interested in unitary representations \((\pi , \mathcal {H})\) for which \(i \partial \pi ({\textbf {d}})\) is bounded from below (cf. Proposition 2.10). Let \(I_\pi \subseteq {{\mathfrak {g}}}^*\) denote the momentum set of \(\pi \) (Definition 3.5).
6.1 Generalities
From (3) we recall the that
is a convex cone in \({{\mathfrak {g}}}\), invariant under \(\mathop {\textrm{Ad}}\nolimits (G)\). It contains the positive cone of \(\pi \):
We assume that \(\pi \) has discrete kernel, i.e., that the positive cone \(C_\pi \) of \(\pi \) is pointed. The linear subspace
is an ideal because \(W_\pi \) is an \(\mathop {\textrm{Ad}}\nolimits (G)\)invariant convex cone, and the restriction of \(\pi \) to the corresponding normal subgroup \(G_\pi \trianglelefteq G\) is semibounded. Semibounded representations of finite dimensional groups have been studied in detail and classified in [26]. As \({\textbf {d}}\in W_\pi \subseteq {{\mathfrak {g}}}_\pi \), we may further assume that \({{\mathfrak {g}}}= {{\mathfrak {g}}}_\pi \) and restrict our discussion to semibounded representations. With [26, Thm. XI.6.14] on the existence of a direct integral decompositions, many assertions can be reduced to the case of irreducible representations. This leaves us with the situation where:

(F1)
\(\ker (\pi )\) is discrete, so that the cone \(C_\pi \) is pointed.

(F2)
\({\textbf {d}}\in W_\pi \) and \(\pi \) is semibounded.

(F3)
\(\pi \) is irreducible.
Remark 6.1
From \({\textbf {d}}\in W_\pi \) it follows that \(\textrm{Spec}(\mathop {\textrm{ad}}\nolimits {\textbf {d}}) \subseteq i {{\mathbb {R}}}\) by [26, Prop. VII.3.4] because discreteness of the kernel is equivalent to \(I_\pi \) spanning \({{\mathfrak {g}}}^*\). As a consequence of the Jordan decomposition, this implies that the oneparameter group \(e^{{{\mathbb {R}}}\mathop {\textrm{ad}}\nolimits {\textbf {d}}} \subseteq \mathop {\textrm{Aut}}\nolimits ({{\mathfrak {g}}})\) is polynomially bounded because its semisimple component is bounded and its unipotent component is polynomially bounded (Remark 3.9).
Definition 6.2
A maximal abelian subspace \({{\mathfrak {t}}}\subseteq {{\mathfrak {g}}}\) is called a compactly embedded Cartan subalgebra if the closure of \(e^{\mathop {\textrm{ad}}\nolimits {{\mathfrak {t}}}} \subseteq \mathop {\textrm{Aut}}\nolimits ({{\mathfrak {g}}})\) is compact. Let \({{\mathfrak {t}}}\subseteq {{\mathfrak {g}}}\) be a compactly embedded Cartan subalgebra and \({{\mathfrak {g}}}_{{\mathbb {C}}}= {{\mathfrak {t}}}_{{\mathbb {C}}}\oplus \bigoplus _{\alpha \in \Delta } {{\mathfrak {g}}}_{{\mathbb {C}}}^\alpha \) the corresponding root decomposition, where
The elements of \(\Delta \) are called roots. We call a root \(\alpha \in \Delta \)

compact if there exists an \(x_\alpha \in {{\mathfrak {g}}}_{{\mathbb {C}}}^\alpha \) with \(\alpha ([x_\alpha , x_\alpha ^*]) > 0\) and write \(\Delta _k\subseteq \Delta \) for the set of compact roots.

noncompact if there exists a nonzero \(x_\alpha \in {{\mathfrak {g}}}_{{\mathbb {C}}}^\alpha \) with \(\alpha ([x_\alpha , x_\alpha ^*]) \le 0\) and write \(\Delta _p\subseteq \Delta \) for the set of noncompact roots.
Then \(\mathop {\textrm{dim}}\nolimits {{\mathfrak {g}}}_{{\mathbb {C}}}^\alpha = 1\) for \(\alpha \in \Delta _k\) and there exists a unique element \(\alpha ^\vee \in [{{\mathfrak {g}}}_{{\mathbb {C}}}^\alpha , {{\mathfrak {g}}}_{{\mathbb {C}}}^{\alpha }]\) with \(\alpha (\alpha ^\vee ) = 2\). The reflections \(r_\alpha : {{\mathfrak {t}}}\rightarrow {{\mathfrak {t}}}, r_\alpha (x) = x  \alpha (x) \alpha ^\vee \) for \(\alpha \in \Delta _k\) generate the Weyl group \(\mathcal {W}\).
Lemma 6.3
Let x be an element of the semisimple real Lie algebra \({{\mathfrak {g}}}\) and \(x = x_s + x_n\) be its Jordan decomposition, where \(x_s\) is semisimple and \(x_n\) is nilpotent. Then the adjoint orbit of x contains all elements of the form \(x_s + t x_n\), \(t > 0\).
Proof
Since the Jordan decomposition and the adjoint orbit of x adapts to the decomposition of \({{\mathfrak {g}}}\) into simple ideals, we may w.l.o.g. assume that \({{\mathfrak {g}}}\) is simple.
Let \({{\mathfrak {q}}}= {{\mathfrak {l}}}\ltimes {{\mathfrak {u}}}\subseteq {{\mathfrak {g}}}\) denote the Jacobson–Morozov parabolic associated to the nilpotent element \(x_n\) ([14]). Then \(x_s \in \ker (\mathop {\textrm{ad}}\nolimits x_n) \subseteq {{\mathfrak {q}}}\) implies that \(x_s \in {{\mathfrak {q}}}\). As \(x_s\) is semisimple, it is conjugate under the group of inner automorphisms of \({{\mathfrak {q}}}\) to an element of \({{\mathfrak {l}}}\).^{Footnote 3} By the Jacobson–Morozov Theorem, \({{\mathfrak {l}}}\) contains a semisimple element h with \([h,x_n] = 2 x_n\) and \(h \in [x_n,{{\mathfrak {g}}}]\). In terms of this element, we have \({{\mathfrak {q}}}= \sum _{n \ge 0} {{\mathfrak {g}}}_n(\mathop {\textrm{ad}}\nolimits h)\) and \({{\mathfrak {l}}}= \ker (\mathop {\textrm{ad}}\nolimits h)\). We conclude that \([h,x_s] =0\), so that \(e^{t\mathop {\textrm{ad}}\nolimits h} x = x_s + e^{2t} x_n\) for \(t \in {{\mathbb {R}}}\). \(\square \)
We now come to the main result of this section. For its proof we shall use the following theorem ([25, Thm. 1.1]), which is a formidable tool to exclude that certain Lie algebra elements have ground states.
Theorem 6.4
(Moore’s Eigenvector Theorem) Let G be a connected finite dimensional Lie group with Lie algebra \({{\mathfrak {g}}}\) and \(x \in {{\mathfrak {g}}}\). Further, let \({{\mathfrak {n}}}_x \trianglelefteq {{\mathfrak {g}}}\) be the smallest ideal of \({{\mathfrak {g}}}\) such that the induced operator \(\mathop {\textrm{ad}}\nolimits _{{{\mathfrak {g}}}/{{\mathfrak {n}}}_x} x\) on the quotient Lie algebra \({{\mathfrak {g}}}/{{\mathfrak {n}}}_x\) is elliptic, i.e., semisimple with purely imaginary spectrum. Suppose that \((\pi , \mathcal {H})\) is a continuous unitary representation of G and \(v\in \mathcal {H}\) an eigenvector for the oneparameter group \(\pi (\exp {{\mathbb {R}}}x)\). Then

(a)
v is fixed by the normal subgroup \(N_x := \langle \exp {{\mathfrak {n}}}_x \rangle \trianglelefteq G\), and

(b)
the restriction of \(i\partial \pi (x)\) to the orthogonal complement of the space \(\mathcal {H}^{N_x}\) of \(N_x\)fixed vectors has absolutely continuous spectrum.
Corollary 6.5
Let G be a connected finite dimensional Lie group. Suppose that \((\pi , \mathcal {H})\) is an irreducible unitary representation of G with discrete kernel and that \({\textbf {d}}\in {{\mathfrak {g}}}\) is such that \(\partial \pi ({\textbf {d}})\) has an eigenvector in \(\mathcal {H}\). Then \(\mathop {\textrm{ad}}\nolimits ({\textbf {d}})\) is elliptic.
Proof
Suppose that v is an eigenvector of \(\partial \pi ({\textbf {d}})\). Then Moore’s Eigenvector Theorem implies that the normal subgroup \(N_{\textbf {d}}\trianglelefteq G\) fixes v. As \(N_{\textbf {d}}\) is normal, the subspace \(\mathcal {H}^{N_{\textbf {d}}}\) of \(N_{\textbf {d}}\)fixed vectors is a Gsubrepresentation, hence coincides with \(\mathcal {H}\) by irreducibility. As \(\ker (\pi )\) is discrete, \({{\mathfrak {n}}}_{\textbf {d}}= \{0\}\), and this means that \(\mathop {\textrm{ad}}\nolimits {\textbf {d}}\) is elliptic. \(\square \)
Theorem 6.6
Let \((\pi , \mathcal {H})\) be an irreducible semibounded representation with discrete kernel of the finite dimensional connected Lie group G and let \({\textbf {d}}\in W_\pi \). Then the following assertions hold:

(i)
There exists a compactly embedded Cartan subalgebra \({{\mathfrak {t}}}\subseteq {{\mathfrak {g}}}\) and a \(\mathcal {W}\)invariant positive system \(\Delta _p^+\) of noncompact roots such that
$$\begin{aligned} \overline{W_\pi } \cap {{\mathfrak {t}}}= C_\textrm{max} := (i\Delta _p^+)^\star := \{ x \in {{\mathfrak {t}}}: (\forall \alpha \in \Delta _p^+)\, i\alpha (x) \ge 0\} \end{aligned}$$and \(W_\textrm{max} := \overline{\mathop {\textrm{Ad}}\nolimits (G)C_\textrm{max}}\) coincides with \(\overline{W_\pi }\).

(ii)
\({\textbf {d}}\) has smooth ground states if and only if \(\mathop {\textrm{ad}}\nolimits ({\textbf {d}})\) is elliptic.

(iii)
If \({{\mathfrak {g}}}\) is simple hermitian, then \(W_\pi = W_\textrm{max}\), and in particular \(W_\pi \) is closed.
Proof

(i)
From [26, Thm X.4.1] and its proof we know that the set of extreme points \(\mathop {\textrm{Ext}}\nolimits (I_\pi )\) is a coadjoint orbit \(\mathcal {O}_{\lambda }\) for some \(\lambda \in {{\mathfrak {t}}}^*\), that \(I_\pi = \mathop {\textrm{conv}}\nolimits (\mathcal {O}_\lambda )\) and that there exists a \(\mathcal {W}\)invariant positive system \(\Delta _p^+\) such that
$$\begin{aligned} W_\pi \cap {{\mathfrak {t}}}= C_\textrm{max}. \end{aligned}$$As \(W_\pi ^0\) is an elliptic cone, i.e., its interior consist of elliptic elements ([26, Prop. VII.3.4(c)]), it follows that
$$\begin{aligned} \overline{W_\pi } = \overline{\mathop {\textrm{Ad}}\nolimits (G)C_\textrm{max}} = W_\textrm{max}. \end{aligned}$$(31) 
(ii)
As in (i), we derive from [26, Prop. VII.3.4(c)] that \(W_\pi ^0 = \mathop {\textrm{Ad}}\nolimits (G) (W_\pi ^0 \cap {{\mathfrak {t}}})\) because \(W_\pi ^0\) is elliptic. A ground state vector for \({\textbf {d}}\) exists if and only if the minimal spectral value
$$\begin{aligned} m := \inf \textrm{Spec}(i\partial \pi ({\textbf {d}})) \end{aligned}$$is an eigenvalue. If this is the case, then Corollary 6.5 implies that \(\mathop {\textrm{ad}}\nolimits {\textbf {d}}\) is elliptic.
Now we assume, conversely, that \({\textbf {d}}\in W_\pi \) is elliptic. Then \(\mathop {\textrm{Ad}}\nolimits (G){\textbf {d}}\) intersects the Cartan subalgebra \({{\mathfrak {t}}}\) ([26, Thm. VII.1.4(vi)]). As \({\textbf {d}}\in W_\pi \) and \(W_\pi \cap {{\mathfrak {t}}}= C_\textrm{max}\), it follows that \({\textbf {d}}\) is \(\mathop {\textrm{Ad}}\nolimits (G)\)conjugate to an element \({\textbf {d}}' \in C_\textrm{max}\). Therefore the \({{\mathfrak {t}}}\)weight decomposition of \(\mathcal {H}_\lambda \) implies that the meigenspace of \(i\partial \pi ({\textbf {d}}')\) contains a lowest weight vector (which is smooth), so that the minimal eigenspace \(\mathcal {H}_\lambda ^0\) contains a nonzero smooth vector.

(iii)
Suppose that \({{\mathfrak {g}}}\) is simple hermitian. To show that \(W_\textrm{max} \subseteq W_\pi \), let \(x \in W_\textrm{max}\) and write \(x = x_s + x_n\) for its Jordan decomposition. Then the adjoint orbit of x contains all elements \(x_s + t x_n\), \(t > 0\) (Lemma 6.3), so that \(x_s, x_n \in W_\textrm{max}\). Since \(x_n\) is nilpotent, we even have \(x_n \in W_\textrm{min}\) by [14, Thm. III.9], and since \(W_\textrm{min} \subseteq C_\pi \) ([26, Thm. X.4.1]), it follows that \(x_n \in C_\pi \). As \(x_s\) is elliptic, its adjoint orbit intersects \({{\mathfrak {t}}}\cap W_\textrm{max} = C_\textrm{max} \subseteq W_\pi \), as we have seen in (i). This implies that every elliptic element in \(W_\textrm{max}\) is contained in \(W_\pi \). We thus obtain that
$$\begin{aligned} x = x_s + x_n \in W_\pi + C_\pi \subseteq W_\pi , \end{aligned}$$and hence that \(W_\textrm{max} \subseteq W_\pi \), which implies equality by (31) above.\(\square \)
Example 6.7
In the context of the preceding theorem, we note that, in general \(W_\pi \not = W_\textrm{max}\) because \(W_\pi \) need not be closed. Let
be the canonical symplectic form on \({{\mathbb {R}}}^{2n}\) and \({\textbf {d}}\in \mathfrak {sp}_{2n}({{\mathbb {R}}})\) an element for which the corresponding Hamiltonian function \(H_{\textbf {d}}(v) = {\textstyle {\frac{1}{2}}}\sigma ({\textbf {d}}v,v)\) is positive definite. For the oscillator representation \((\pi , L^2({{\mathbb {R}}}^n))\) of \({{\mathfrak {g}}}= \mathfrak {heis}({{\mathbb {R}}}^{2n},\sigma ) \rtimes {{\mathbb {R}}}{\textbf {d}}\), we have
a closed half space with boundary \(\mathfrak {heis}({{\mathbb {R}}}^{2n},\sigma )\). An element of \(\mathfrak {heis}({{\mathbb {R}}}^{2n},\sigma )\) corresponds to a semibounded operator if and only if it is central. Therefore \(W_\pi \) is not closed, hence different from \(W_\textrm{max}\).
Example 6.8
(The case of simple Lie algebras)

(a)
Assume that \({{\mathfrak {g}}}\) is simple and that \(\alpha \) is nontrivial. As all derivations of \({{\mathfrak {g}}}\) are inner, we have \(\alpha _t(g) = \exp (t{\textbf {d}}) g \exp (t{\textbf {d}})\) for some nonzero \({\textbf {d}}\in {{\mathfrak {g}}}\). If G has a nontrivial positive energy representation, then \({{\mathfrak {g}}}\) must be compact or hermitian ([26, Sect. VII.2/3]).

In the compact case all irreducible representations \((\pi , \mathcal {H})\) are finite dimensional, so that all operators \(\partial \pi (x)\) for \(x \in {{\mathfrak {g}}}\) are bounded. Hence the positive energy condition is satisfied for every \({\textbf {d}}\in {{\mathfrak {g}}}\) and ground states exist (cf. Corollary 5.9).

In the hermitian case, there is a closed convex cone \(W_\textrm{max} \subseteq {{\mathfrak {g}}}\), such that there exists a positive energy representation if and only if \({\textbf {d}}\in W_\textrm{max} \cup  W_\textrm{max}\) (Theorem 6.6 (iii)). If \({\textbf {d}}\in W_\textrm{max}\), then every irreducible representation \((\pi , \mathcal {H})\) for which \(i\partial \pi ({\textbf {d}})\) is bounded from below is semibounded because the cone \(W_\pi = W_\textrm{max}\) has interior points. By Theorem 6.6 (ii), the existence of ground states is equivalent to \({\textbf {d}}\) being elliptic.


(b)
In a hermitian Lie algebra, there exist two closed convex invariant cones \(W_\textrm{min} \subseteq W_\textrm{max}\) such that, for every nontrivial closed convex invariant cone \(W \subseteq {{\mathfrak {g}}}\) we have
$$\begin{aligned} W_\textrm{min} \subseteq W \subseteq W_\textrm{max} \quad \text{ or } \quad W_\textrm{min} \subseteq W \subseteq W_\textrm{max}. \end{aligned}$$If \(W_\textrm{min} = W_\textrm{max}\), which is the case for \({{\mathfrak {g}}}= \mathfrak {sp}_{2n}({{\mathbb {R}}})\), this means that W is unique up to sign. We therefore have
$$\begin{aligned} W_\textrm{min} \subseteq C_\pi \subseteq W_\pi \subseteq W_\textrm{max} \end{aligned}$$for every positive energy representation, and thus \(C_\pi = W_\pi \).
In general the two cones \(C_\pi \) and \(W_\pi \) are different. Concrete examples are easily found for \({{\mathfrak {g}}}= \mathop {{\mathfrak {su} }}\nolimits _{1,2}({{\mathbb {C}}})\).
Remark 6.9
For finite dimensional Lie groups G the classification of irreducible semibounded unitary representations easily boils down to a situation where one can apply Theorem 5.10. If the semibounded unitary representations of G separate the points, then the set \(\mathop {\textrm{comp}}\nolimits ({{\mathfrak {g}}})\) of elliptic elements in \({{\mathfrak {g}}}\) has interior points ([26, Prop. VII.3.4(c)]) and we may choose \({\textbf {d}}\) as an interior point which, in addition, is a regular element of \({{\mathfrak {g}}}\). Then \({{\mathfrak {t}}}:= {{\mathfrak {g}}}^0 := \ker (\mathop {\textrm{ad}}\nolimits {\textbf {d}})\) is a compactly embedded Cartan subalgebra and the corresponding subgroup \(T := \exp ({{\mathfrak {t}}}) = G^0\) is abelian. For a semibounded representation \((\pi , \mathcal {H})\) of G with discrete kernel we now choose a \(\mathcal {W}\)invariant positive system \(\Delta _p^+\) of noncompact roots such that \(W_\pi \subseteq W_\textrm{max}\) and obtain \({\textbf {d}}\in C_\textrm{max}^0\). As \({\textbf {d}}\) is elliptic, Theorem 6.6 now implies that \(\pi \) is holomorphically induced from \((\pi ^0, \mathcal {H}^0)\). Further, this representation is irreducible, and since \(G^0 = T\) is abelian, Schur’s Lemma leads to \(\mathop {\textrm{dim}}\nolimits \mathcal {H}^0 = 1\). This means that \(\pi ^0(\exp x) = e^{i\lambda (x)}\) for some \(\lambda \in {{\mathfrak {t}}}^*\), the lowest weight of the representation \(\pi \) with respect to the positive system \(\Delta ^+ := \{ \alpha \in \Delta : \alpha (i{\textbf {d}}) > 0\}\). In this case \(C_\alpha \subseteq C_{\pi ^0}\) is equivalent to
As Remark 6.17 below shows, these conditions are in general not sufficient.
From [13, Cor. 14.3.10] we recall the following fact on the connectedness of the group \(G^0\).
Lemma 6.10
If G is connected and \({\textbf {d}}\) is elliptic, then the subgroup \(G^0 = Z_G({\textbf {d}})\) is connected.
6.2 Application to compact Lie groups
Theorem 6.15 below is the main result of the present subsection. It shows that all unitary representations of compact connected Lie groups are ground state representations for any continuous homomorphism \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\). The following lemma prepares the crucial information for its proof.
We first recall the root decomposition of the compact Lie algebra \({{\mathfrak {g}}}\) with with respect to a Cartan subalgebra \({{\mathfrak {t}}}\subseteq {{\mathfrak {g}}}\) (Definition 6.2) containing a fixed element \({\textbf {d}}\) that we may pick in \([{{\mathfrak {g}}},{{\mathfrak {g}}}]\) as \({{\mathfrak {g}}}= {{\mathfrak {z}}}({{\mathfrak {g}}}) \oplus [{{\mathfrak {g}}},{{\mathfrak {g}}}]\). We have
and obtain with
the triangular decomposition
of \({{\mathfrak {g}}}_{{\mathbb {C}}}\) with respect to \(i\mathop {\textrm{ad}}\nolimits {\textbf {d}}\) (cf. [26, Ch. IX.5]). We choose a positive system \(\Delta ^+ \subseteq \Delta \) in such a way that
Then \(\Delta ^{0+} := \Delta ^0 \cap \Delta ^+\) is a positive system in the root system
Proposition 6.11
Let G be a connected Lie group with compact Lie algebra \({{\mathfrak {g}}}\) and derivation \(D = \mathop {\textrm{ad}}\nolimits {\textbf {d}}\) for some \({\textbf {d}}\in [{{\mathfrak {g}}},{{\mathfrak {g}}}]\). For an irreducible unitary representation \((\pi ^0, \mathcal {H}^0)\) of \(G^0 := Z_G({\textbf {d}})\), the following conditions are equivalent:

(i)
\((\pi ^0, \mathcal {H}^0)\) is holomorphically inducible.

(ii)
\(\texttt {d}\pi ^0([z^*,z]_0) \ge 0\) for every \(z \in {{\mathfrak {g}}}_{{\mathbb {C}}}^+\), i.e., \(C_\alpha \subseteq C_{\pi ^0}\).

(iii)
\(\texttt {d}\pi ^0(\alpha ^\vee ) \le 0\) for every \(\alpha \in \Delta ^{++}\).

(iv)
The lowest weight \(\lambda \) of \((\pi ^0,\mathcal {H}^0)\) satisfies \(\lambda (\alpha ^\vee ) \le 0\) for every \(\alpha \in \Delta ^{++}\).

(v)
The lowest weight \(\lambda \) of \((\pi ^0,\mathcal {H}^0)\) is \(\Delta ^+\)antidominant.
Proof
(i) \(\Rightarrow \) (ii): This follows from [32, Lemma 6.11], but we repeat the direct argument. Condition (i) yields a realization of \((\pi ^0, \mathcal {H}^0)\) as a subrepresentation of a unitary representation \((\pi , \mathcal {H})\) of G such that \(\mathcal {H}^0\) consists of smooth vectors and \(\texttt {d}\pi ({{\mathfrak {g}}}_{{\mathbb {C}}}^) \mathcal {H}^0 = \{0\}\) (Theorem 5.8). For \(z \in {{\mathfrak {g}}}_{{\mathbb {C}}}^+\) we now have \(z^* \in {{\mathfrak {g}}}_{{\mathbb {C}}}^\), so that we obtain for \(\xi \in \mathcal {H}^0\) with
the inequality
By (7) in Remark 3.2, the cone \(C_\alpha \subseteq {{\mathfrak {g}}}^0\) is generated by the elements \(i[z^*,z]_0\), \(z \in {{\mathfrak {g}}}_{{\mathbb {C}}}^+\). Therefore (33) implies \(C_\alpha \subseteq C_{\pi ^0}\).
(ii) \(\Rightarrow \) (iii): For \(\alpha \in \Delta ^{++}\), we pick \(x_\alpha \in {{\mathfrak {g}}}_{{\mathbb {C}}}^\alpha \) with \([x_\alpha , x_\alpha ^*] =\alpha ^\vee \) (cf. Definition 6.2). Then (iii) follows from (ii) and \(\alpha ^\vee \in C_\alpha \).
(iii) \(\Rightarrow \) (iv): This follows from the fact that \(\lambda (\alpha ^\vee )\) is an eigenvalue of \(\texttt {d}\pi ^0(\alpha ^\vee )\).
(iv) \(\Rightarrow \) (v): By (iv), we only have to observe that \(\lambda (\alpha ^\vee ) \le 0\) for \(\alpha \in \Delta ^{0,+}\) because \(\lambda \) is the lowest weight of a unitary representation (cf. [26, Prop. IX.1.21] for more details).
(v) \(\Rightarrow \) (i): If \(\lambda \) is antidominant with respect to \(\Delta ^+\), then the corresponding unitary lowest weight representation \((\pi _\lambda , \mathcal {H}_\lambda )\) of G contains \((\pi ^0,\mathcal {H}^0)\) as the subrepresentation on the minimal eigenspace for \(i\partial \pi ({\textbf {d}})\), hence is holomorphically induced from \((\pi ^0,\mathcal {H}^0)\) (Theorem 5.5). That \(\pi _\lambda \) exists follows from the fact that \(\lambda \) actually integrates to a character of \(T \subseteq G^0\).\(\square \)
Remark 6.12
The set \({\widehat{T}}_+ \subseteq {\widehat{T}}\) of chose characters satisfying Condition (iv) is invariant under the Weyl group \(\mathcal {W}^0 := \mathcal {W}({{\mathfrak {g}}}^0, {{\mathfrak {t}}})\). Identifying the unitary dual \({\widehat{G}}\) of G with the orbit space \({\widehat{T}}/\mathcal {W}\) (Cartan–Weyl Theorem, [46, p. 209]), it follows that the ground state representations for \((G,\alpha )\) correspond to the subset \({\widehat{T}}_+/\mathcal {W}^0\).
The above lemma characterizes the holomorphically inducible representations of \(G^0\). The following proposition switches the perspective from \(G^0\) to G:
Proposition 6.13
Let G be a connected Lie group with compact Lie algebra \({{\mathfrak {g}}}\) and derivation \(D = \mathop {\textrm{ad}}\nolimits {\textbf {d}}\) for some \({\textbf {d}}\in {{\mathfrak {g}}}\). Then every irreducible unitary representations \((\pi ,\mathcal {H})\) of G is holomorphically induced from the irreducible representations \((\pi ^0, \mathcal {H}^0)\) of \(G^0\) on the minimal eigenspace of \(i \partial \pi ({\textbf {d}})\) and it is a strict ground state representation.
Proof
Since \(\mathcal {H}\) is finite dimensional, \(i \partial \pi ({\textbf {d}})\) has an eigenspace \(\mathcal {H}^0\) for a minimal eigenvalue. This space carries an irreducible representation of the connected group \(G^0\) (Lemma 6.10). This follows easily from \(U({{\mathfrak {g}}}_{{\mathbb {C}}}) = U({{\mathfrak {g}}}_{{\mathbb {C}}}^+) U({{\mathfrak {g}}}_{{\mathbb {C}}}^0) U({{\mathfrak {g}}}_{{\mathbb {C}}}^)\) which shows that every \(G^0\)invariant subspace of \(\mathcal {H}^0\) generates an invariant subspace of \(\mathcal {H}\) under \(U({{\mathfrak {g}}}_{{\mathbb {C}}}^+)\) (alternatively, we can use Theorem 5.4(ii)).
As \(\pi \) is irreducible, \(\mathcal {H}^0\) generates \(\mathcal {H}\) under the action of G. That \((\pi , \mathcal {H})\) is holomorphically induced from \((\pi ^0,\mathcal {H}^0)\) follows from Theorem 5.5 and that it is a strict ground state representation from Corollary 5.9. \(\square \)
Remark 6.14
The representation \(\pi ^0\) need not be onedimensional if \({{\mathfrak {t}}}\not ={{\mathfrak {g}}}^0\), i.e., if \({{\mathfrak {g}}}^0\) is not abelian. A simple example is obtained for \(G = \textrm{U}_3({{\mathbb {C}}})\), the identical representation \((\pi ,\mathcal {H})\) on \(\mathcal {H}= {{\mathbb {C}}}^3\), and
Then \(\mathcal {H}^0 = {{\mathbb {C}}}e_2 + {{\mathbb {C}}}e_3\) is 2dimensional and
Theorem 6.15
If G is a compact connected Lie group and \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) is a continuous homomorphism, then the following assertions hold:

(i)
Every unitary representation of G is a ground state representation.

(ii)
A unitary representation \((\pi ^0, \mathcal {H}^0)\) of \(G^0 = \mathop {\textrm{Fix}}\nolimits (\alpha )\) extends to a ground state representation of G if and only if it satisfies the positivity condition \(C_\alpha \subseteq C_{\pi ^0}\).

(iii)
\((G,\alpha )\) has the unique extension property, i.e., every ground state representation of \((G,\alpha )\) is strict.
Proof

(i)
As every unitary representation of G is a direct sum of irreducible ones, Lemma 2.9 shows that it suffices to assume that \((\pi , \mathcal {H})\) is irreducible. Then the assertion follows from Proposition 6.13.

(ii)
The necessity of \(C_\alpha \subseteq C_{\pi ^0}\) follows from Theorem 3.11. To see that it is also sufficient, write \((\pi ^0,\mathcal {H}^0)\) as a direct sum of irreducible representations \((\pi _j^0,\mathcal {H}_j^0)_{j \in J}\). By Proposition 6.11, the representations \((\pi _j^0,\mathcal {H}_j^0)\) are holomorphically inducible to unitary representations \((\pi _j, \mathcal {H}_j)\) and we can form their direct sum \((\pi , \mathcal {H})\), which naturally contains \((\pi ^0, \mathcal {H}^0)\) as a subrepresentation. Now the subspace \(\mathcal {F}\subseteq \mathcal {H}\) generated by \(\pi (G) \mathcal {H}^0\) carries a ground state representation extending \(\pi ^0\).

(iii)
We have to show that all ground state representations \((\pi , \mathcal {H})\) of G are strict (cf. Proposition 2.19). As \(\mathcal {H}^0\) is \(\pi (G)'\)invariant, it decomposes according to the decomposition \(\pi \cong \oplus _{[\rho ]\in {\widehat{G}}} \pi _{[\rho ]}\) into isotypic Grepresentations. We have already seen that the passage from \(\pi \) to \(\pi ^0\) defines for irreducible representations an injection \({\widehat{G}} \hookrightarrow \widehat{G^0}\), whose image has been characterized in Proposition 6.11. Hence there are no nonzero \(G^0\)intertwining operators between different representations \(\pi _{[\rho ]}^0\). This reduces the problem to the case where \(\pi \) is isotypic, where it follows from the fact that \(\rho \) is holomorphically induced from \(\rho ^0\) (Proposition 6.13), and now strictness follows from Theorem 5.4(ii).\(\square \)
Remark 6.16
(Classification schemes)

(a)
We think of the preceding theorem as a classification scheme for the irreducible representations of G. To recover the classical approach, let \({\textbf {d}}\in {{\mathfrak {g}}}\) be a regular element, i.e., \({{\mathfrak {t}}}:= {{\mathfrak {g}}}^0 := \ker (\mathop {\textrm{ad}}\nolimits {\textbf {d}})\) is abelian. Then \(T := G^0\) is a maximal torus of G, and the preceding theorem asserts that the irreducible unitary representations of G can be parametrized in terms of those irreducible unitary representations of T arising as ground state representations for \(\alpha _t(g) = \exp (t{\textbf {d}}) g \exp (t{\textbf {d}})\). Since T is abelian, its irreducible representations are characters. So Theorem 6.15 yields an injection
$$\begin{aligned} {\widehat{G}} \hookrightarrow {\widehat{T}} \end{aligned}$$whose range is the subset
$$\begin{aligned} {\widehat{T}}_{\textbf {d}}:= \{ \chi \in {\widehat{T}} : i \cdot \texttt {d}\chi \in C_\alpha ^\star \}. \end{aligned}$$As \({\textbf {d}}\) is regular,
$$\begin{aligned} \Delta ^{+} := \{ \alpha \in \Delta ({{\mathfrak {g}}}_{{\mathbb {C}}}, {{\mathfrak {t}}}_{{\mathbb {C}}}) : i\alpha ({\textbf {d}}) > 0 \} \end{aligned}$$is a positive system of roots. Proposition 6.11 then implies that
$$\begin{aligned} {\widehat{T}}_{\textbf {d}}= \{ \chi \in {\widehat{T}} : (\forall \alpha \in \Delta ^+) \lambda (\alpha ^\vee ) \le 0 \} \end{aligned}$$consists of all antidominant weights. We thus recover the Cartan–Weyl Classification of the irreducible Grepresentations in terms of lowest weights.

(b)
The key point of the preceding theorem is that it does not require \({\textbf {d}}\) to be regular. In any case we obtain an injection
$$\begin{aligned} {\widehat{G}} \hookrightarrow \widehat{G^0} \end{aligned}$$and an irreducible representation \(\pi ^0\) of \(G^0\) is contained in the range of this map if and only if \(C_\alpha \subseteq C_{\pi ^0}\). Note that \(C_\alpha \subseteq {{\mathfrak {g}}}^0\) is a closed convex invariant cone in \({{\mathfrak {g}}}^0\), hence determined by the intersection with any Cartan subalgebra \({{\mathfrak {t}}}\subseteq {{\mathfrak {g}}}^0\) ([26, Thm. VII.3.29]). Let \(\lambda ^0 \in i{{\mathfrak {t}}}^*\) be an extremal weight of an irreducible representation \(\pi ^0\) of \(G^0\). Then all weights of \(\pi ^0\) are contained in \(\mathop {\textrm{conv}}\nolimits (\mathcal {W}^0 \lambda )\). Therefore \(C_\alpha \subseteq C_{\pi ^0}\) is equivalent to
$$\begin{aligned} i\cdot \lambda \in (C_\alpha \cap {{\mathfrak {t}}})^\star . \end{aligned}$$Hence the image of \({\widehat{G}}\) in \(\widehat{G^0} \subseteq {\widehat{T}}\) consists of all characters \(\chi \) which are lowest weights of \(G^0\)representation and, in addition, satisfy
$$\begin{aligned} i\cdot \texttt {d}\chi \in (C_\alpha \cap {{\mathfrak {t}}})^\star . \end{aligned}$$
Remark 6.17
The assumptions of compactness and finite dimension in Theorem 6.15(i),(ii) are fundamental and cannot be removed. This is demonstrated by the following examples. We examine one case, disproving (i), and another one, disproving (ii).

(a)
The group \(G = \mathop {\textrm{SL}}\nolimits _2({{\mathbb {R}}})\) is a finite dimensional Lie group, hence locally compact, but not compact. It has irreducible unitary representations \((\pi , \mathcal {H})\) (the principal series) for which all nonzero elements \({\textbf {d}}\in {{\mathfrak {g}}}\) correspond to unbounded hermitian operators \(i\partial \pi ({\textbf {d}})\) which are neither bounded from below or above. Therefore (i) of Theorem 6.15 fails for \(\alpha _t(g) := \exp (t{\textbf {d}}) g \exp (t{\textbf {d}})\) and every nonzero \({\textbf {d}}\in {{\mathfrak {g}}}\). The group \(G^0 = Z_G({\textbf {d}})\) is compact if and only if \({\textbf {d}}\) is elliptic. Therefore, even if we require only \(G^0\) to be compact, instead of the whole group G, Theorem 6.15(i) fails.

(b)
We illustrate another example, where Theorem 6.15(ii) fails. We consider the group \(G:=\mathop {\textrm{SU}}\nolimits _{1,2}({{\mathbb {C}}})\) and \(\alpha _t(g) = \exp (t{\textbf {d}}) g \exp (t{\textbf {d}})\) for \({\textbf {d}}:= i \mathop {\textrm{diag}}\nolimits (1,1,1)\). Then \(\alpha \) has a compact group of fixed points
$$\begin{aligned}{} & {} G^0 \cong \textrm{S}(\textrm{U}_1({{\mathbb {C}}}) \times \textrm{U}_2({{\mathbb {C}}})) = \{ (\det (g)^{1},g) \in \textrm{U}_1({{\mathbb {C}}}) \times \textrm{U}_2({{\mathbb {C}}}) : g \in \textrm{U}_2({{\mathbb {C}}})\} \cong \textrm{U}_2({{\mathbb {C}}}). \end{aligned}$$The subspace \({{\mathfrak {t}}}\) of diagonal matrices in \({{\mathfrak {g}}}\) is a compactly embedded Cartan subalgebra. For a linear functional on \({{\mathfrak {t}}}\), represented by
$$\begin{aligned} \lambda = (\lambda _1,\lambda _2, \lambda _3) \in {{\mathbb {Z}}}^3 \end{aligned}$$and satisfying \(\lambda _2 >\lambda _3\), the condition for the existence of a corresponding unitary highest weight representation is
$$\begin{aligned} \lambda _3  \lambda _1 \ge 1 \end{aligned}$$(cf. [37, Lemma I.6]).
However, the condition \(C_\alpha \subseteq C_{\pi ^0}\), only implies that \(\lambda _3 \ge \lambda _1\). Therefore \(\lambda = (0,1,0)\) defines an irreducible representation of \(G^0\) on \(\mathcal {H}^0 = {{\mathbb {C}}}^2\) by \(\pi ^0(g_1, g_2) = g_2\), for which \(C_\alpha \subseteq C_{\pi ^0}\), but \(\pi ^0\) does not extend to a ground state representation. Therefore the conclusion of Theorem 6.15(ii) fails. Similar arguments apply to all hermitian Lie algebras of real rank \(r \ge 2\).
7 Compact nonLie groups
In this short section we show that the results on compact Lie groups in Section 6.2 can be extended to general compact groups.
Let G be a compact group. Then the group \(\mathop {\textrm{Aut}}\nolimits (G)\) is a topological group with respect to the initial topology defined by the map \(\mathop {\textrm{Aut}}\nolimits (G) \rightarrow C(G,G)_\textrm{co}^2, \varphi \mapsto (\varphi , \varphi ^{1})\), where \(C(G,G)_{co}\) denotes the set C(G, G), endowed with the compact open topology. The continuity of the evaluation map \(\mathop {\textrm{ev}}\nolimits : C(G,G) \times G \rightarrow G\) implies that the action of \(\mathop {\textrm{Aut}}\nolimits (G)\) on G is continuous.
A homomorphism \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) is continuous if and only if it is continuous as a map into \(C(G,G)_{co}\), which in turn is equivalent to the continuity if the corresponding action map
Here we use the Exponential Law for locally compact spaces, asserting that the map
is a homeomorphism ([11, Prop. A.5.17]).
The Lie algebra \({{\mathfrak {g}}}\) of G can be identified as a topological space with
Lemma 7.1
For a compact connected group G, the following assertions hold:

(i)
The adjoint action \(\mathop {\textrm{Ad}}\nolimits : \mathop {\textrm{Aut}}\nolimits (G) \times {{\mathfrak {L}}}(G) \rightarrow {{\mathfrak {L}}}(G), \mathop {\textrm{Ad}}\nolimits (\varphi ,\gamma ) := \mathop {\textrm{Ad}}\nolimits _\varphi \gamma := \varphi \circ \gamma \) is continuous.

(ii)
Every continuous \({{\mathbb {R}}}\)action \(\alpha \) on G defines a continuous action on \({{\mathfrak {L}}}(G)\) by the automorphisms \(\mathop {\textrm{Ad}}\nolimits ^{\alpha _t}\gamma := \alpha _t \circ \gamma \). Moreover, there exists a filter basis \((Q_j)_{j \in J}\) of \(\alpha \)invariant closed subgroups such that \(G/Q_j\) is a compact Lie group and \(G \cong {\displaystyle \lim _{\longleftarrow }}\ G/Q_j\).
Proof

(i)
By the Exponential Law, the continuity of this map is equivalent to the continuity of the map
$$\begin{aligned} \mathop {\textrm{Ad}}\nolimits ^\wedge : \mathop {\textrm{Aut}}\nolimits (G) \times {{\mathfrak {L}}}(G) \times {{\mathbb {R}}}\rightarrow G, \quad \mathop {\textrm{Ad}}\nolimits ^\wedge (\varphi ,\gamma ,t) := \varphi (\gamma (t)). \end{aligned}$$The continuity of this map follows from the continuity of the action of \(\mathop {\textrm{Aut}}\nolimits (G)\) on G and the continuity of the evaluation map \({{\mathfrak {L}}}(G) \times {{\mathbb {R}}}\rightarrow G\).

(ii)
follows immediately from (i). As a topological Lie algebra, \({{\mathfrak {g}}}\) is a projective limit of finite dimensional Lie algebras \(({{\mathfrak {g}}}_j)_{j \in J}\) ([16, Thm. 2.20, Lemma 3.20]) and, accordingly, its topological dual \({{\mathfrak {g}}}' \cong {\displaystyle \lim _{\longrightarrow }}\ {{\mathfrak {g}}}_j'\) is a directed union of the finite dimensional subspaces \({{\mathfrak {g}}}_j'\).
We have seen above that any continuous oneparameter group \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) defines a continuous action on \({{\mathfrak {g}}}\cong {{\mathfrak {L}}}(G)\). On its topological dual, we thus obtain a oneparameter group \(\beta : {{\mathbb {R}}}\rightarrow \mathop {\textrm{GL}}\nolimits ({{\mathfrak {g}}}')\) with continuous orbit maps with respect to the weak\(*\) topology. As the weak\(*\) topology on \({{\mathfrak {g}}}'\) is the finest locally convex topology ([16, Thm. A2.8]), Proposition D.1 shows that every \({{\mathfrak {g}}}_j' \subseteq {{\mathfrak {g}}}'\) is contained in a finite dimensional \(\beta \)invariant subspace \(W_j = \mathop {\textrm{span}}\nolimits \{ \beta _t({{\mathfrak {g}}}_j') : t \in {{\mathbb {R}}}\}\). Let \(q_j : {{\mathfrak {g}}}\rightarrow {{\mathfrak {g}}}_j\) denote the quotient maps. Then \({{\mathfrak {g}}}_j' \cong \ker (q_j)^\bot \subseteq {{\mathfrak {g}}}'\) and thus
is an ideal of finite codimension. We further have \(\bigcap _j W_j^\bot = \{0\}\). For the closed normal subgroups \(Q_j := \overline{\exp (W_j^\bot )} \trianglelefteq G\), the quotient \(G/Q_{j_{}}\) is a finite dimensional compact Lie group and \(G \cong {\displaystyle \lim _{\longleftarrow }}\ G/Q_j\). \(\square \)
By the preceding lemma, we may write a compact connected Lie group G as \({\displaystyle \lim _{\longleftarrow }}\ G/Q_j\), where the normal subgroups are \(\alpha \)invariant und each \(G_j = G/Q_j\) is a compact connected Lie group that inherits an \({{\mathbb {R}}}\)action \(\alpha _j\) from \(\alpha \).
Alternatively, this can be derived from the structure theory for the topological group \(\mathop {\textrm{Aut}}\nolimits (G)\) developed in [17, p. 264]. For a compact group G, the group \(\mathop {\textrm{Aut}}\nolimits (G)_0 \cong G'/Z(G')\) is a compact group with Lie algebra \({{\mathfrak {g}}}'\). Hence every continuous oneparameter group \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) is obtained by the conjugation action of a oneparameter group \(\gamma : {{\mathbb {R}}}\rightarrow G'\). In particular, all normal subgroups are \(\alpha \)invariant. All this follows from the following structure theorem:
Theorem 7.2
([17, Cor. 9.87]) Let G be a compact connected group with maximal protorus T and write \(\mathop {\textrm{Inn}}\nolimits (G) \subseteq \mathop {\textrm{Aut}}\nolimits (G)\) for the subgroup of inner automorphisms. Then there is a totally disconnected closed subgroup D of \(\mathop {\textrm{Aut}}\nolimits (G)\) contained in the normalizer
of T in \(\mathop {\textrm{Aut}}\nolimits (G)\) such that
In particular, \(\textrm{Out}(G)\) is totally disconnected, \(\mathop {\textrm{Inn}}\nolimits (G)\simeq G/Z(G)\) is compact connected semisimple centerfree and isomorphic to \(G'/Z(G')\).
Theorem 7.3
Let G be a connected compact group and \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) be a continuous oneparameter group. Then every continuous unitary representation of G is a strict ground state representation for \((G,\alpha )\).
Proof
We have \(G \cong {\displaystyle \lim _{\longleftarrow }}\ G_j\) for compact connected Lie groups \(G_j\) and quotient maps \(q_j : G \rightarrow G_j\). By Lemma 7.1, we may assume that the kernels of the quotient maps \(q_j\) are \(\alpha \)invariant, so that we obtain \({{\mathbb {R}}}\)actions \(\alpha ^j\) on the connected compact Lie groups \(G_j\).
By [31, Thm. 12.2], every continuous unitary representation \((\pi , \mathcal {H})\) of G is a direct sum of subrepresentations \((\pi _k, \mathcal {H}_k)\) with \(\ker q_{j_k} \subseteq \ker \pi _k\) for some \(j_k\). Lemma 2.9 now shows that a unitary representation \((\pi ,\mathcal {H})\) of G is a ground state representation if and only if this holds for all representations of Lie quotient groups \(G_j\), and for these the assertion follows from Theorem 6.15.
Since any finite dimensional representation of G factors through a representation of a Lie quotient group, the same argument as in the proof of Theorem 6.15 shows that the injectivity of the map \({\widehat{G}} \rightarrow \widehat{G^0}, [\pi ] \mapsto [\pi ^0]\) for compact connected Lie groups implies the same for G. Now we can argue as in the proof of Theorem 6.15(iii) to see that \((\pi ,\mathcal {H})\) is a strict ground state representation. \(\square \)
8 Ground state representations of direct limits
After some general observation about direct limits, we discuss in this section some examples that show how the results on strict ground state representations on compact connected Lie groups (Theorem 6.15) can be extended to direct limits of such groups.
8.1 Ground state representations
Here we use the unique extension property of compact connected Lie groups G to extend Theorem 6.15 to direct limit groups \(G = {\displaystyle \lim _{\longrightarrow }}\ G_n\). By Glöckner’s Theorem [10], countable direct limits of directed systems of connected finite dimensional Lie groups always exist in the category of locally convex Lie groups, and the so obtained Lie group is also the direct limit in the category of topological groups. Under additional assumptions on the \(G_n\), this provides in particular a classification of ground state representations in term of the corresponding representations \((\pi ^0, \mathcal {H}^0)\) of the subgroup \(G^0\). For abelian \(G^0\) this leads in particular to direct integrals of lowest weight representations, but many other classes of representations appear naturally.
Assumption: In the following we assume that each subgroup \(G_n\subseteq G\) is \(\alpha \)invariant and put
By Proposition D.1, the groups \(G_n\) can always be chosen such that this is the case. We also assume that the infinitesimal generators \(D_n \in \mathop {\textrm{der}}\nolimits ({{\mathfrak {g}}}_n)\) of the corresponding oneparameter subgroups of \(\mathop {\textrm{Aut}}\nolimits ({{\mathfrak {g}}}_n)\) are semisimple, so that \({{\mathfrak {g}}}_n = D_n({{\mathfrak {g}}}_n) \oplus \ker (D_n)\) and (L1)–(L4) in Sect. 3 are satisfied. In particular, the cone \(C_{\alpha _n}\) in (6) is defined.
Lemma 8.1
If all pairs \((G_n, \alpha _n)_{n \in {{\mathbb {N}}}}\) have the unique extension property for ground state representations, then so does \((G,\alpha )\).
Proof
Let \((\pi _j, \mathcal {H}_j)_{j = 1,2}\) be two ground state representations of G and \(\varphi : \mathcal {H}_1^0 \rightarrow \mathcal {H}_2^0\) be a unitary \(G^0\)equivalence. We write \(\mathcal {H}^n_j := \llbracket \pi _j(G_n) \mathcal {H}_j^0\rrbracket ]\) for \(j =1,2\). As each \((G_n, \alpha _n)\) has the unique extension property and the representation of \(G_n\) on \(\mathcal {H}_j^n\) is ground state, there exist uniquely determined unitary \(G_n\)equivalences \(\Phi _n : \mathcal {H}_1^{n} \rightarrow \mathcal {H}_2^{n}\) extending \(\varphi \). For \(n < m\) uniqueness implies that \(\Phi _m\vert _{\mathcal {H}^n_1} = \Phi _n\). Therefore the \(\Phi _n\) combine to a unitary Gequivalence \(\Phi : \mathcal {H}_1 \rightarrow \mathcal {H}_2\). \(\square \)
Theorem 8.2
Assume that each pair \((G_n, \alpha _n)\) has the unique extension property and that the condition \(C_{\alpha _n} \subseteq C_{\pi ^0}\) (see (6)) is sufficient for the extendability of a unitary representation \((\pi ^0, \mathcal {H}^0)\) of \(G_n^0\) to \(G_n\). Then every unitary representation \((\pi ^0, \mathcal {H}^0)\) of \(G^0 = {\displaystyle \lim _{\longrightarrow }}\ G_n^0\) satisfying \(C_\alpha \subseteq C_{\pi ^0}\) extends uniquely to a strict ground state representation of G.
Proof
Each restriction \((\pi _n^0, \mathcal {H}^0)\) is a unitary representation of \(G_n^0\) satisfying \(C_{\alpha _n} \subseteq C_{\pi _n^0}\), hence extends uniquely to a unitary representation \((\pi _n, \mathcal {H}_n)\) of \(G_n\).
If \(n < m\), then \(\pi _n^0 = \pi _m^0\vert _{G_n^0}\), so that the unique extension property implies that the \(G_n\)representation on the subspace \(\llbracket \pi _m(G_n) \mathcal {H}^0\rrbracket \subseteq \mathcal {H}_m\) is \(G_n\)equivalent to \((\pi _n, \mathcal {H}_n)\). We thus obtain a natural isometric \(G_n\)equivariant inclusion
Here we identify \(\mathcal {H}^0\) with a subspace of every space \(\mathcal {H}_n\). These embeddings also intertwine the minimal unitary oneparameter groups \(U_{n,t}^0 := e^{itH_n}\) implementing \(\alpha \) on \(\mathcal {H}_n\) and satisfying \(\mathcal {H}_n^0 = \mathcal {H}^0 = \ker H_n\).
For \(n< m < k\), we then have \(\varphi _{km} \circ \varphi _{mn} = \varphi _{kn}\), so that we obtain a unitary direct limit representation \((\pi , \mathcal {H}) = {\displaystyle \lim _{\longrightarrow }}\ (\pi _n, \mathcal {H}_n)\) of the direct limit group \(G = {\displaystyle \lim _{\longrightarrow }}\ G_n\). Since the restriction of this presentation is continuous on every \(G_n\) and G carries the direct limit topology, \(\pi \) is continuous. By construction, it is a ground state representation of \((G,\alpha )\). Lemma 8.1 implies that \((G,\alpha )\) has the unique extension property, so that the strictness of \((\pi , \mathcal {H})\) follows from Proposition 2.19. \(\square \)
8.2 Some infinite dimensional unitary groups
We consider the Lie group \(G := \textrm{U}_\infty ({{\mathbb {C}}}) = {\displaystyle \lim _{\longrightarrow }}\ \textrm{U}_n({{\mathbb {C}}})\) and \(\alpha _t \in \mathop {\textrm{Aut}}\nolimits (G)\) determined by
Then \(G^0 \subseteq G\) is the subgroup preserving all eigenspaces of the diagonal operator \({\textbf {d}}\) on \({{\mathbb {C}}}^{({{\mathbb {N}}})}\).
We assume that the \((d_n)_{n \in {{\mathbb {N}}}}\) are mutually different, so that
is the subgroup of diagonal matrices in G. So G is a direct limit of the compact subgroups \(G_n \cong \textrm{U}_n({{\mathbb {C}}})\) and the abelian group \(G^0\) is the direct limit of the tori \(T_n := T \cap \textrm{U}_n({{\mathbb {C}}}) \cong {{\mathbb {T}}}^n\). Accordingly, the character group
carries a natural totally disconnected, metrizable group topology. Taking the differential in e, we identify the character group \(\widehat{G^0}\) with a subgroup of the dual space \(({{\mathfrak {g}}}^0)' \cong {{\mathbb {R}}}^{{\mathbb {N}}}\).
The cone \(C_\alpha \subseteq {{\mathfrak {g}}}^0\) is easy to determine. Let \(D := \mathop {\textrm{ad}}\nolimits {\textbf {d}}\). Then \(C_\alpha \) is generated by the elements \(i [x_\lambda ^*, x_\lambda ]\) for \(\lambda > 0\) and \(i Dx_\lambda = i[{\textbf {d}}, x_\lambda ] = \lambda x_\lambda \) (cf. Remark 3.2). All matrices \(E_{nm} \in \mathop {{\mathfrak {gl} }}\nolimits _\infty ({{\mathbb {C}}})\) are eigenvectors of D with
For \(d_n > d_m\) we thus obtain the generator
so that
Hence \(C_\alpha \subseteq C_{\pi ^0}\) is equivalent to
Since \(G^0\) is abelian, all irreducible representations are onedimensional. A character \(\chi _\lambda \in \widehat{G^0}\) with \(\chi _\lambda (\exp x) = e^{2\pi \lambda (x)}\), \(\lambda \in {{\mathbb {R}}}^{{\mathbb {N}}}\), satisfies the positivity condition (36) if and only if
We write \({\widehat{T}}({\textbf {d}}) \subseteq {\widehat{T}}\cong {{\mathbb {Z}}}^{{\mathbb {N}}}\) for the closed subgroup of all characters satisfying this condition.
By Theorems 8.2 and 3.11, a representations \((\pi ^0, \mathcal {H}^0)\) of \(G^0\) is extendable to a ground state representations of G if and only if \(C_\alpha \subseteq C_{\pi ^0}\). In view of [2, Prop. 7.9], the abelian group \(T = G^0\) is nuclear because it is Hausdorff and a countable direct limit of compact abelian groups (which are nuclear). Therefore the Bochner Theorem for nuclear groups ([2, Ch. 4] implies that its unitary representations are given by Borel spectral measures on the character group \({\widehat{T}}\), endowed with the topology of pointwise convergence, which is the product Borel structure on \({\widehat{T}} \cong {{\mathbb {Z}}}^{{\mathbb {N}}}\). Therefore \(\pi ^0\) extends to a ground state representation if and only if its spectral measure is supported by the closed subset \({\widehat{T}}({\textbf {d}})\). In particular, general ground state representations for \((G,\alpha )\) are direct integrals of unitary highest weight representations \((\pi _\lambda , \mathcal {H}_\lambda )\) with \(\lambda \) satisfying (37).
Remark 8.3
The classification results for unitary highest weight representations in [23] also fit into this context. In that paper one finds a description of all pairs \((\lambda ,{\textbf {d}})\), where \(\lambda \in i{{\mathfrak {t}}}^*\cong {{\mathbb {R}}}^{{\mathbb {N}}}\) and \(D = \mathop {\textrm{ad}}\nolimits {\textbf {d}}\), for which the unitary highest weight representation \(L(\lambda )\) of \(\mathop {{\mathfrak {gl} }}\nolimits _\infty ({{\mathbb {C}}})\) with highest weight \(\lambda \) carries a positive energy representations for \((G,\alpha )\). This amounts to the condition that
holds for the corresponding Weyl group \(\mathcal {W}\) (the group of all finite permutations in the present example). This condition is equivalent to the unitary highest weight representation \((\pi _\lambda , \mathcal {H}_\lambda )\) to be a ground state representation for \((G,\alpha )\), where the minimal eigenvalue of \(i{\textbf {d}}\) is \(\lambda (i{\textbf {d}})\).
Remark 8.4
The are also weight representations of \(G = \textrm{U}_\infty ({{\mathbb {C}}})\) which have no extremal weight, but which are ground state representations. We refer to [8] and [9] for classification results for weight modules V of \(\mathop {{\mathfrak {su} }}\nolimits _\infty ({{\mathbb {C}}})_{{\mathbb {C}}}\cong \mathop {{\mathfrak {sl} }}\nolimits _\infty ({{\mathbb {C}}})\). As we have seen in [28, Ex. V.9], some weight representations define bounded representations with no extremal weights. In particular, there are weight modules V whose weight set \(\mathcal {P}_V\) consists of all functionals of the form
As \(\mathcal {P}_V =  \mathcal {P}_V\), the operator defined by \(i{\textbf {d}}\in {{\mathbb {R}}}^{{\mathbb {N}}}\) on V is semibounded if and only if it is bounded, and this happens if and only if (up to an additive constant) \({\textbf {d}}\) has finite support. Write \({\textbf {d}}= {\textbf {d}}_+  {\textbf {d}}_\), where \({\textbf {d}}_\pm \) are nonnegative with finite support. Then
is minimal if \(\mathop {\textrm{supp}}\nolimits ({\textbf {d}}_+) \subseteq M\) and \(\mathop {\textrm{supp}}\nolimits ({\textbf {d}}_) \subseteq N\), which leads to the minimal value
In particular, the representation on V is a ground state representations for \(G^0 = T\).
Remark 8.5
The situation does not change significantly if we replace the group \(\textrm{U}_\infty ({{\mathbb {C}}})\) by some Banach completion, such as \(\textrm{U}_1(\mathcal {H})\) (completion in the trace norm), or the group \(\textrm{U}_2(\mathcal {H})\) (completion in the Hilbert–Schmidt norm). The continuous unitary representations of these groups are simply those continuous unitary representations of G which extend to these completions, so that we are dealing with less representations for the larger groups.
Example 8.6
Similar techniques apply to the direct limit \(G = {\displaystyle \lim _{\longrightarrow }}\ G_n\) of the groups \(G_n := \textrm{U}_{2^n}({{\mathbb {C}}})\) with their natural embedding, given by the connecting maps \(g \mapsto \begin{pmatrix} g &{}\quad 0 \\ 0 &{}\quad g \end{pmatrix}\). Then the abelian group \(T := {\displaystyle \lim _{\longrightarrow }}\ T_n\) can be identified with a subgroup of the mapping group \(C(\{0,1\}^{{\mathbb {N}}},{{\mathbb {T}}})\) of \({{\mathbb {T}}}\)valued functions on the Cantor set \(\{ 0,1\}^{{\mathbb {N}}}\). Here \(T_n\) corresponds to the subgroup \(C(\{0,1\}^n,{{\mathbb {T}}}) \cong {{\mathbb {T}}}^{2^n}\). Let \(f : \{0,1\}^{{\mathbb {N}}}\rightarrow {{\mathbb {R}}}\) be an injective function, such as
This function can be used to define an automorphism group \((\alpha _t)_{t \in {{\mathbb {R}}}}\) of G with \(G^0 = T\).
The embedding of G into the \(C^*\)algebra \(\otimes _{n \in {{\mathbb {N}}}} M_2({{\mathbb {C}}})\) leads to bounded representations of G, and all these are positive energy representations. Many of them have no ground states.
Example 8.7
The restricted direct product groups
which are direct limits of the compact groups \(G_n = \textrm{U}_2({{\mathbb {C}}})^n\) are also natural examples. Up to equivalence, any oneparameter automorphism group \(\alpha \) of G is acting by \(\alpha _t((g_n)) = (\exp (t{\textbf {d}}_n) g_n \exp (t{\textbf {d}}_n))\), where \({\textbf {d}}_n = i \mathop {\textrm{diag}}\nolimits (x_n, x_n)\in \mathop {{\mathfrak {su} }}\nolimits _2({{\mathbb {C}}})\) are diagonal matrices (\(x_n \in {{\mathbb {R}}}\)). If all \({\textbf {d}}_n\) are nonzero, then
is a nuclear abelian group (the subgroup of diagonal matrices). Its irreducible unitary representations are given by its character group
of sequences of pairs of integers \(((k_n,m_n))_{n \in {{\mathbb {N}}}}\). If all \(x_n\) are positive, we find that
Let \((\pi _n, \mathcal {H}_n)\) denote the irreducible representation of \(\textrm{U}_2({{\mathbb {C}}})\) with highest weight \((k_n,m_n)\) and \({v_n\in \mathcal {H}_n}\) be a unit vector of lowest weight, which is a ground state vector for \({\textbf {d}}_n\). Then the infinite tensor product
carries an irreducible unitary representaton of G which a corresponding ground state representation. In the same way as for the group \(U_\infty ({{\mathbb {C}}})\), we see that the ground state representations of G correspond to those representations of T whose spectral measure is supported on the closed subset \({\widehat{T}}(\alpha )\).
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
In [19] the term “ground state representation” is used in a slightly more general context where the minimal eigenvalue of H is not necessarily 0, but this is only a matter of terminology.
Condition (WCS) is a weaker version of the splitting condition (SC) that plays a crucial role in the construction of ground state representations by holomorphic induction in Sect. 5.
Every algebraic subgroup \(G \subseteq \mathop {\textrm{GL}}\nolimits (V)\), V a finite dimensional real vector space, is a semidirect product \(G \cong U \rtimes L\), where U is unipotent and L is reductive. Moreover, for every reductive subgroup \(L_1 \subseteq G\) there exists an element \(g \in G\) with \(gL_1 g^{1} \subseteq L\) ([15, Thm. VIII.4.3]).
An endomorphism \(D \in \mathop {\textrm{End}}\nolimits (V)\) is called locally finite if each \(v \in V\) is contained in a finite dimensional Dinvariant subspace. Then \(e^{D}v = \sum _{k = 0}^\infty \frac{1}{k!} D^k v\) is defined and \((e^{tD})_{t \in {{\mathbb {R}}}}\) defines a oneparameter group of \(\mathop {\textrm{GL}}\nolimits (V)\).
References
Arveson, W.: On groups of automorphisms of operator algebras. J. Funct. Anal. 15, 217–243 (1974)
Banaszczyk, W.: Additive Subgroups of Topological Vector Spaces. Lecture Notes in Mathematics, vol. 1466. Springer, Berlin (1991)
Beltiţă, D., Neeb, K.H.: A nonsmooth continuous unitary representation of a Banach–Lie group. J. Lie Theory 18, 933–936 (2008)
Beltiţă, D., Ratiu, T.S., Tumpach, A.B.: The restricted Grassmannian, Banach Lie–Poisson spaces, and coadjoint orbits. J. Funct. Anal. 247(1), 138–168 (2007)
Beltiţă, D., Grundling, H., Neeb, K.H.: State space geometry and covariant representations for singular actions on \(C^*\)algebras. Diss. Math. 549, 1–94 (2020)
Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics II. Texts and Monographs in Physics, 2nd edn. Springer, Berlin (1996)
Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics I. Texts and Monographs in Physics, 2nd edn. Springer, Berlin (2002)
Dimitrov, I., Penkov, I.: Weight modules of direct limit Lie algebras. Int. Math. Res. Not. 5, 223–249 (1999)
Dimitrov, I., Mathieu, O., Penkov, I.: On the structure of weight modules. Trans. Am. Math. Soc. 352(6), 2857–2869 (2000). (Erratum in Trans. Am. Math. Soc. 356 (8) (2004), 3403–3404)
Glöckner, H.: Fundamentals of direct limit Lie theory. Compos. Math. 141, 1551–1577 (2005)
Glöckner, H., Neeb, K.H.: Infinite Dimensional Lie Groups, Vol. I. Basic Theory and Main Examples book in preparation (2021)
Glöckner, H., Gramlich, R., Hartnick, T.: Final group topologies, Kac–Moody groups and Pontryagin duality. Israel J. Math. 177, 49–101 (2010)
Hilgert, J., Neeb, K.H.: Structure and Geometry of Lie Groups. Springer, Berlin (2012)
Hilgert, J., Neeb, K.H., Ørsted, B.: The geometry of nilpotent orbits of convex type in Hermitian Lie algebras. J. Lie Theory 4(2), 185–235 (1994)
Hochschild, G.P.: Basic Theory of Algebraic Groups and Lie Algebras. Graduate Texts in Mathematics, vol. 75. Springer, Heidelberg (1981)
Hofmann, K.H., Morris, S.A.: The Lie Theory of Connected ProLie Groups,. Tracts in Mathematics, vol. 2. European Mathematical Society, Zürich (2007)
Hofmann, K.H., Morris, S.A.: The Structure of Compact Groups. de Gruyter, Berlin (2013)
Janssens, B., Neeb, K.H.: Projective unitary representations of infinitedimensional Lie groups. Kyoto J. Math. 59(2), 293–341 (2019)
Janssens, B., Neeb, K.H.: Positive energy representations of gauge groups I: localization (in preparation) (2021)
Kac, V.G., Raina, A.K.: Highest Weight Representations of Infinite Dimensional Lie Algebras. Advanced Series in Math. Physics, World Scientific, Singapore (1987)
Kay, B.S.: A uniqueness result in the Segal–Weinless approach to linear Bose fields. J. Math. Phys. 20, 1712–1713 (1979)
Kay, B.S.: A uniqueness result for quasifree KMS states. Helv. Phys. Acta 58, 1017–1029 (1985)
Marquis, T., Neeb, K.H.: Positive energy representations for locally finite split Lie algebras. Int. Math. Res. Not. 21, 6689–6712 (2016)
Marquis, T., Neeb, K.H.: Positive energy representations of double extensions of Hilbert loop algebras. J. Math. Soc. Jpn. 69(4), 1485–1518 (2017)
Moore, C.C.: The Mautner phenomenon for general unitary representations. Pac. J. Math. 86(1), 155–169 (1980)
Neeb, K.H.: Holomorphy and Convexity in Lie Theory. Expositions in Mathematics, vol. 28. de Gruyter, Berlin (2000)
Neeb, K.H.: Locally finite Lie algebras with unitary highest weight representations. Manuscr. Math. 104(3), 343–358 (2001)
Neeb, K.H.: Infinitedimensional Lie groups and their representations. In: Anker, J.P., Ørsted, B. (eds.) Lie Theory: Lie Algebras and Representations. Progress in Mathematics, vol. 228, pp. 213–328. Birkhäuser, Berlin (2004)
Neeb, K.H.: Towards a Lie theory of locally convex groups. Jpn. J. Math. 1(2), 291–468 (2006)
Neeb, K.H.: A complex semigroup approach to group algebras of infinite dimensional Lie groups. Semigroup Forum 77, 5–35 (2008)
Neeb, K.H.: On differentiable vectors for representations of infinite dimensional Lie groups. J. Funct. Anal. 259, 2814–2855 (2010)
Neeb, K.H.: Semibounded representations of Hermitian Lie groups. Travaux Math. 21, 29–109 (2012)
Neeb, K.H.: Holomorphic realization of unitary representations of Banach–Lie groups. In: Huckleberry, A., Penkov, I., Zuckerman, G. (eds.) Lie Groups: Structure, Actions, and Representations–In Honour of Joseph A. Wolf on the Occasion of his 75th Birthday. Progress in Mathematics, vol. 306, pp. 185–223. Birkhäuser, Berlin (2013)
Neeb, K.H.: Positive energy representations and continuity of projective representations for general topological groups. Glasgow Math. J. 56, 295–316 (2014)
Neeb, K.H.: Semibounded unitary representations of double extensions of Hilbert–Loop groups. Ann. Inst. Fourier 64(5), 1823–1892 (2014)
Neeb, K.H.: Unitary representations of unitary groups. In: Mason, G., Penkov, I., Wolf, J. (eds.) Lie Theory Workshops. Developments in Mathematics, vol. 37, pp. 197–243. Springer, Berlin (2014)
Neeb, K.H., Ørsted, B.: Unitary highest weight representations in Hilbert spaces of holomorphic functions on infinite dimensional domains. J. Funct. Anal. 156, 263–300 (1998)
Neeb, K.H., Ólafsson, G.: Reflection Positivity. A Representation Theoretic Perspective. Springer Briefs in Mathematical Physics, vol. 32. Springer, Cham (2018)
Neeb, K.H., Zellner, C.: Oscillator algebras with semiequicontinuous coadjoint orbits. Diff. Geom. Appl. 31(2), 268–283 (2013)
Neeb, K.H., Salmasian, H., Zellner, C.: On an invariance property of the space of smooth vectors. Kyoto J. Math. 55(3), 501–515 (2015)
van Neerven, J.: The Asymptotic Behaviour of Semigroups of Linear Operators. Birkhäuser, Berlin (1996)
Pressley, A., Segal, G.: Loop Groups. The Clarendon Press, Oxford University Press, New York (1986)
Reed, S., Simon, B.: Methods of Modern Mathematical Physics I: Functional Analysis. Academic Press, New York (1973)
Rudin, W.: Functional Analysis. McGraw Hill, New York (1973)
Segal, G.: Unitary representations of some infinitedimensional groups. Commun. Math. Phys. 80, 301–342 (1981)
Warner, G.: Harmonic Analysis on Semisimple Lie Groups I. Springer, Berlin (1972)
Weinless, M.: Existence and uniqueness of the vacuum for linear quantized fields. J. Funct. Anal. 4, 350–379 (1969)
Zellner, C.: Semibounded Unitary Representations of Oscillator Groups. PhD Thesis, Friedrich–Alexander University Erlangen–Nuremberg (2014)
Acknowledgements
The second author (F.G.R.) thanks FAU of ErlangenNürnberg for the hospitality in May 2019, Gruppo Nazionale di Fisica Matematica of INdAM (Italy) and NRF of South Africa for the project “Topology for Tomorrow” in 20222024.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Arveson spectral theory
In this appendix we collect the concepts relating to spectral subspaces for the action of a oneparameter group on a complete locally convex space. We follow [1] with some generalizations. We use these concepts for oneparamter groups of automorphisms of infinite dimensional Lie algebras.
1.1 Arveson spectral subspaces
Definition A.1
Let E and F be a locally convex spaces. We denote by \(\mathop {\textrm{Hom}}\nolimits (E,F)\) the space of continuous linear maps from E to F and write \(\mathop {\textrm{End}}\nolimits (E) := \mathop {\textrm{Hom}}\nolimits (E,E)\). A subset \(Y \subset \mathop {\textrm{Hom}}\nolimits (E,F)\) is called equicontinuous if for every open 0neighborhood U in F there exists a 0neighborhood W in E such that \(T(W) \subset U\) holds for every \(T\in Y\).
Definition A.2
(cf. [33, 40]) Let V be a complete complex locally convex space and let \(\alpha :{{\mathbb {R}}}\rightarrow \mathop {\textrm{GL}}\nolimits (V)\), \(t\mapsto \alpha _t\) be a strongly continuous representation.

(a)
Assume that \(\alpha \) is polynomially bounded (Definition 3.8), i.e., for every continuous seminorm p, there exists a 0neighborhood \(U\subseteq V\) and \(N \in {{\mathbb {N}}}\) such that
$$\begin{aligned} \sup _{x \in U} \sup _{t \in {{\mathbb {R}}}} \frac{p(\alpha _t(x))}{1 + t^N} < \infty . \end{aligned}$$We define
$$\begin{aligned} \alpha _f(v) := \int \limits _{{\mathbb {R}}}f(t) \alpha _t(v)\, dt \quad \text{ for } \quad v \in V, f \in \mathcal {S}({{\mathbb {R}}}). \end{aligned}$$(38)Then \(\alpha _f\in \mathop {\textrm{End}}\nolimits (V)\) and this yields a representation of the convolution algebra \((\mathcal {S}({{\mathbb {R}}}),*)\) on V. We define the spectrum of an element \(v\in V\) by
$$\begin{aligned} \textrm{Spec}_\alpha (v;\mathcal {S}) := \{ y \in {{\mathbb {R}}}: (\forall f \in \mathcal {S}({{\mathbb {R}}}))\, \alpha _f v = 0 \Rightarrow {\widehat{f}}(y) = 0\} \end{aligned}$$which is the hull of the annihilator ideal of v. Here we use the following version of the Fourier transform:
$$\begin{aligned} {\widehat{f}}(y) := \int \limits _{{\mathbb {R}}}e^{ixy} f(x)\, dx. \end{aligned}$$(39)For a closed subset \(E \subseteq {{\mathbb {R}}}\), we now define the corresponding Arveson spectral subspace
$$\begin{aligned} V(E;\mathcal {S}) := \{ v \in V: \textrm{Spec}_\alpha (v;\mathcal {S}) \subseteq E \}. \end{aligned}$$We define the spectrum of \((\alpha , V)\) by
$$\begin{aligned} \textrm{Spec}_\alpha (V) := \{ y \in {{\mathbb {R}}}: (\forall f \in \mathcal {S}({{\mathbb {R}}}))\, \alpha _f = 0 \Rightarrow {\widehat{f}}(y) = 0\}. \end{aligned}$$We also put
$$\begin{aligned} V^+ = \overline{\bigcup _{\delta> 0} V([\delta ,\infty );\mathcal {S})} \quad \text{ and } \quad V^ = \overline{\bigcup _{\delta > 0} V((\infty , \delta ];\mathcal {S})}. \end{aligned}$$(40)We say that the splitting condition is satisfied if these subspace and the subspace \(V^0 := V(\{0\})\) of fixed points (cf. Lemma A.6 below) satisfy

(b)
If \(\alpha \) is equicontinuous, then (38) exists for all \(f \in L^1({{\mathbb {R}}})\) and we can define \(\textrm{Spec}_{\alpha }(v)\) and V(E) as above by \(\mathcal {S}({{\mathbb {R}}})\) replaced by \(L^1({{\mathbb {R}}})\), see [33, Def. A.5(b)]. This was Arveson’s original context.
Example A.3
Suppose that \((\pi ,\mathcal {H})\) is a continuous unitary representation of a finite dimensional Lie group G and \({\textbf {d}}\in {{\mathfrak {g}}}\) is such that \(\textrm{Spec}(\mathop {\textrm{ad}}\nolimits {\textbf {d}}) \subseteq i {{\mathbb {R}}}\). We claim that, on the Fréchet space \(\mathcal {H}^\infty \) of smooth vectors, the representation of \({{\mathbb {R}}}\), defined by the unitary oneparameter group \(\pi _{\textbf {d}}(t) := \pi (\exp t {\textbf {d}})\) is polynomially bounded (cf. [40]). The topology on \(\mathcal {H}^\infty \) is defined by the seminorms
Therefore
and this expression has polynomial estimates because \(D \in \mathcal {U}({{\mathfrak {g}}})\) is contained in a finite dimensional \(\mathop {\textrm{ad}}\nolimits {\textbf {d}}\)–invariant subspace F on which the oneparameter group \(e^{i\mathop {\textrm{ad}}\nolimits {\textbf {d}}}\) is of polynomial growth.
As a consequence, the operators \(\pi _{\textbf {d}}(f) = \int _{{\mathbb {R}}}f(t)\, \pi _{\textbf {d}}(t)\, dt, f \in \mathcal {S}({{\mathbb {R}}}),\) leave the subspace \(\mathcal {H}^\infty \) invariant und the spectral subspaces \(\mathcal {H}^\infty (E;\mathcal {S})\) are defined for every closed subset \(E \subseteq {{\mathbb {R}}}\) in the sense of Definition A.2.
Lemma A.4
([33, Lemma A.16]) If V is a Banach space and \(D := \alpha '(0)\) is a bounded operator, i.e., \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (V)\) is norm continuous, then there exists a \(\delta > 0\) such that the splitting condition (SC) is satisfied with
if and only if 0 is isolated in the spectrum of D.
Example A.5
It is easy to see examples where the splitting condition (SC) fails. A very typical one is the Banach space
Then \(\alpha _f(h)(x) = {\widehat{f}}(x)h(x)\) shows that
This leads to
In particular, all functions in \(V^+ + V^0 + V^\) vanish in 0, so that this is a proper subspace of V.
Lemma A.6
([1, p. 226]) For \(\lambda \in {{\mathbb {R}}}\), we have
Remark A.7

(a)
In [1, p. 225] it is shown that (in the equicontinuous case)
$$\begin{aligned} V(E) = \{ v \in V : (\forall f \in L^1(G))\ \mathop {\textrm{supp}}\nolimits ({\widehat{f}}) \cap E = \emptyset \Rightarrow \alpha _f(v) = 0\}, \end{aligned}$$which implies in particular that V(E) is a closed subspace, which is clearly \(\alpha \)invariant. Note that the condition \(\mathop {\textrm{supp}}\nolimits ({\widehat{f}}) \cap \overline{E} = \emptyset \) means that \({\widehat{f}}\) vanishes on a neighborhood of \(\overline{E}\).

(b)
If \((E_j)_{j \in J}\) is a family of closed subsets of \({{\mathbb {R}}}\), then \(V\big (\bigcap _{j\in J} E_j\big ) = \bigcap _{j \in J} V(E_j)\) follows immediately from the definition.

(c)
Lemma A.6 implies in particular that
$$\begin{aligned} V(\emptyset ) = \{0\} \end{aligned}$$because this subspace is contained in every eigenspace \(V(\{\lambda \})\), \(\lambda \in {{\mathbb {R}}}\).
The following proposition is an important technical tool.
Proposition A.8
([33, Prop. A.14]) Assume that \((\alpha _j, V_j)\), \(j =1,2,3\) are continuous equicontinuous representations of \({{\mathbb {R}}}\) on the complete locally convex complex spaces \(V_j\) and that \(\beta : V_1 \times V_2 \rightarrow V_3\) is a continuous equivariant bilinear map. Then we have for closed subsets \(E_1, E_2 \subseteq {{\mathbb {R}}}\) the relation
Example A.9
Let \({{\mathfrak {g}}}\) be a complete locally convex Lie algebra and let \(x \in {{\mathfrak {g}}}\) be such that \(\mathop {\textrm{ad}}\nolimits x\) generates a continuous equicontinuous oneparameter group \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits ({{\mathfrak {g}}})\) of automorphisms, i.e., \(\alpha \) is strongly differentiable with \(\alpha '(0) = \mathop {\textrm{ad}}\nolimits x\). Applying Definition A.2 to the \({{\mathbb {R}}}\)representation on \({{\mathfrak {g}}}\) defined by \(\alpha \), we obtain for each closed subset \(E \subseteq {{\mathbb {R}}}\) a spectral subspace \({{\mathfrak {g}}}_{{\mathbb {C}}}(E)\).
Lemma A.10
([33, Lemma 4.3]) Let \(U_t := e^{itA}\) be a strongly continuous unitary oneparameter group with infinitesimal generator \(A = A^*\). Then the following assertions hold:

(i)
For each \(f \in L^1({{\mathbb {R}}})\), we have \(U(f) = {\widehat{f}}(A)\).

(ii)
Let \(P : {{\mathfrak {B}}}({{\mathbb {R}}}) \rightarrow B(\mathcal {H})\) be the unique spectral measure with \(A = P(\mathop {\textrm{id}}\nolimits _{{\mathbb {R}}})\). Then, for every closed subset \(E \subseteq {{\mathbb {R}}}\), the range space \(P(E)\mathcal {H}\) coincides with the Arveson spectral subspace \(\mathcal {H}(E)\).
1.2 Applications to unitary representations
Proposition A.11
([33, Prop. 4.4]) Let \((\pi , \mathcal {H})\) be a smooth unitary representation of the Banach–Lie group G, \({\textbf {d}}\in {{\mathfrak {g}}}\) be elliptic, and \(P : {{\mathfrak {B}}}({{\mathbb {R}}}) \rightarrow \mathcal {L}(\mathcal {H})\) be the spectral measure of the unitary oneparameter group \(\pi _{\textbf {d}}(t) := \pi (\exp _G t{\textbf {d}})\). Then the following assertions hold:

(i)
\(\mathcal {H}^\infty \) carries a Fréchet structure for which \(\pi _{\textbf {d}}\) defines a continuous equicontinuous action of \({{\mathbb {R}}}\) on \(\mathcal {H}^\infty \). In particular, \(\mathcal {H}^\infty \) is invariant under \(\pi _{\textbf {d}}(f)\) for every \(f \in L^1({{\mathbb {R}}})\).

(ii)
For every closed subset \(E \subseteq {{\mathbb {R}}}\), we have \(\mathcal {H}^\infty (E) = (P(E)\mathcal {H}) \cap \mathcal {H}^\infty \) for the corresponding spectral subspace.

(iii)
For every open subset \(E \subseteq {{\mathbb {R}}}\), \((P(E) \mathcal {H}) \cap \mathcal {H}^\infty \) is dense in \(P(E)\mathcal {H}^\infty \). More precisely, there exists a sequence \((f_n)_{n \in {{\mathbb {N}}}}\) in \(L^1({{\mathbb {R}}})\) for which \(\pi _{\textbf {d}}(f_n) \rightarrow P(E)\) in the strong operator topology and \(\mathop {\textrm{supp}}\nolimits ({\widehat{f}}_n) {\subseteq } E\), so that \(\pi _{\textbf {d}}(f_n)v {\in } \mathcal {H}^\infty {\cap } P(E)\mathcal {H}^\infty \) for every \(v \in \mathcal {H}^\infty \).
Theorem A.12
(Spectral translation formula; [40, Thm. 3.1]) Assume that \({{\mathfrak {g}}}\) is a complete locally convex Lie algebra, \(\alpha :{{\mathbb {R}}}\rightarrow \mathop {\textrm{Aut}}\nolimits (G)\) defines a continuous action of \({{\mathbb {R}}}\) on G, and that the induced action on \({{\mathfrak {g}}}_{{\mathbb {C}}}\) is also continuous. Let \(\pi ^\flat (g,t) = \pi (g) U_t\) be a continuous unitary representation of \(G\rtimes _\alpha {{\mathbb {R}}}\) on \(\mathcal {H}\) and let \(\mathcal {H}^\infty \) be the space of smooth vectors with respect to \(\pi \).

(i)
If \(\alpha \) is equicontinuous, then
$$\begin{aligned} \texttt {d}\pi ({{\mathfrak {g}}}_{{\mathbb {C}}}(E)) \mathcal {H}^\infty (F) \subseteq \mathcal {H}^\infty (\overline{E + F}) \quad \text{ for } \quad E, F \subseteq {{\mathbb {R}}}\ \text{ closed }. \end{aligned}$$ 
(ii)
If \(\alpha \) is polynomially bounded, then
$$\begin{aligned} \texttt {d}\pi ({{\mathfrak {g}}}_{{\mathbb {C}}}(E;\mathcal {S})) \mathcal {H}^\infty (F) \subseteq \mathcal {H}^\infty (\overline{E + F}) \quad \text{ for } \quad E, F \subseteq {{\mathbb {R}}}\ \text{ closed }. \end{aligned}$$
Positive definite kernels
Let X be a set and \(\mathcal {E}\) a Hilbert space. A Hilbert subspace \(\mathcal {H}\subseteq \mathcal {E}^X\) of the linear space of \(\mathcal {E}\)valued functions on X is said to have continuous point evaluations if the linear maps
are continuous. Then the function
is called its reproducing kernel. As the kernel K determines the subspace \(\mathcal {H}\subseteq \mathcal {E}^X\) and its scalar product uniquely, we write \(\mathcal {H}_K\subseteq \mathcal {E}^X\) for the Hilbert space determined by K and \(\mathcal {H}_K^0 \subseteq \mathcal {H}_K\) for the subspace spanned by the functions \(K_y^* v\), \(y \in X\), \(v \in \mathcal {E}\). A kernel function \(K : X \times X \rightarrow B(\mathcal {E})\) is the reproducing kernel of some Hilbert space if and only if it is positive definite in the sense that, for any finite collection \((x_1, v_1), \ldots , (x_n,v_n) \in X \times \mathcal {E}\), the matrix \((\langle v_j, K(x_j,x_k) v_k)_{1 \le j,k\le n}\) is positive semidefinite (cf. [26, Ch. 1]).
If \(X = G\) is a group and the kernel \(K : G \times G \rightarrow \mathcal {E}\) is invariant under right translations, then it is of the form \(K(g,h) = \varphi (gh^{1})\) for a function \(\varphi : G \rightarrow B(\mathcal {E})\). Such functions are called positive definite if the kernel K is positive definite.
The following proposition generalizes the wellknown GNS construction to operatorvalued functions on groups (cf. [38]).
Proposition B.1
(GNSconstruction for groups) Let \(\mathcal {E}\) be a Hilbert space.

(a)
Let \(\varphi : G \rightarrow B(\mathcal {E})\) be a positive definite function with \(\varphi (e) = {\textbf {1}}_\mathcal {E}\). Then \((U^\varphi _g f)(h) := f(hg)\) defines a unitary representation of G on the reproducing kernel Hilbert space \(\mathcal {H}_\varphi := \mathcal {H}_K \subseteq \mathcal {E}^G\) with kernel \(K(g,h) = \varphi (gh^{1})\) and the range of the isometric inclusion \(K_e^* : \mathcal {E}\rightarrow \mathcal {H}\) is a Gcyclic subspace, i.e., \(U_G^\varphi K_e^*\mathcal {E}\) spans a dense subspace of \(\mathcal {H}\). We then have
$$\begin{aligned} \varphi (g) = K_e U^\varphi _g K_e^* \quad \text{ for } \quad g \in G. \end{aligned}$$(41) 
(b)
If, conversely, \((U, \mathcal {H})\) is a unitary representation of G and \(j : \mathcal {E}\rightarrow \mathcal {H}\) is an isometric inclusion, then
$$\begin{aligned} \varphi : G \rightarrow B(\mathcal {E}), \quad \varphi (g) := j^* U_g j \end{aligned}$$is a \(B(\mathcal {E})\)valued positive definite function. If, in addition, \(j(\mathcal {E})\) is cyclic, then \((U, \mathcal {H})\) is unitarily equivalent to \((U^\varphi , \mathcal {H}_\varphi )\).
Bosonic Fock space
We start with the construction of the von Neumann algebras on the bosonic Fock space. For \(v_1, \ldots , v_n \in \mathcal {H}\), we define
and \(v^n := v^{\vee n}\), so that
For every \(v \in \mathcal {H}\), the series \(\mathop {\textrm{Exp}}\nolimits (v) := \sum _{n = 0}^\infty \frac{1}{n!} v^n\) defines an element in \(\mathcal {F}_+(\mathcal {H})\) and the scalar product of two such elements is given by
These elements span a dense subspace of \(\mathcal {F}_+(\mathcal {H})\), and therefore we have for each \(x \in \mathcal {H}\) a unitary operator on \(\mathcal {F}_+(\mathcal {H})\) determined by the relation
A direct calculation then shows that
To obtain a unitary representation, we have to replace the additive group of \(\mathcal {H}\) by the Heisenberg group
For this group, we obtain with (44) a unitary representation
In this physics literature, all this is expressed in terms of the socalled Weyl operators
satisfying the Weyl relations
We also note that the vacuum vector \(\Omega := \mathop {\textrm{Exp}}\nolimits (0) \in \mathcal {F}_+(\mathcal {H})\) satisfies
Remark C.1
If \((V,\sigma )\) is a symplectic vector space, then the corresponding Weyl algebra \(C^*(V,\sigma )\) is the universal \(C^*\)algebra with unitary generators \((W(v))_{v \in V}\), and the relations
([6, Thm. 5.2.8]).
The representations of this \(C^*\)algebra are in onetoone correspondence with the unitary representations \((\pi , \mathcal {H})\) of \(\mathop {\textrm{Heis}}\nolimits (V,\sigma )\) satisfying \(\pi (z,0) = z{\textbf {1}}\) for \(z \in {{\mathbb {T}}}\). An injective representation of \(\mathop {\textrm{Heis}}\nolimits (V,\sigma )\) is obtained on \(\ell ^2(V)\) by
is the canonical orthonormal basis in \(\ell ^2(V)\). As the \(C^*\)algebra \(C^*(V,\sigma )\) is simple by [6, Thm. 5.2.8], all its representations are injective, and therefore the corresponding representations \(\pi \) of \(\mathop {\textrm{Heis}}\nolimits (V,\sigma )\) are injective as well.
Spaces with the finest locally convex topology
Let V be a countably dimensional real vector space, carrying the finest locally convex topology. This is the locally convex topology for which all seminorms \(p : V \rightarrow {{\mathbb {R}}}_+\) are continuous. So a net \((x_j)_{j \in J}\) converges in V to x if and only if, for every seminorm p on V, we have \(p(x_j x) \rightarrow 0\). From any basis of V, we obtain an increasing sequence \((V_n)_{n \in {{\mathbb {N}}}}\) of finite dimensional linear subspaces for which \(V = \bigcup _n V_n\), and the topology on V is the direct limit topology with respect to the subspaces \(V_n\) ([11, Ex. B.13.3]), i.e., a subset \(O \subseteq V\) is open if and only if \(O \cap V_n\) is an open subset of \(V_n\) for every \(n \in {{\mathbb {N}}}\). We refer to the survey paper [12] for a discussion of more general final topologies on topological groups.
Proposition D.1
Let V be a real vector space, endowed with the finest locally convex topology, i.e., all seminorms on V are continuous. If \(\alpha : {{\mathbb {R}}}\rightarrow \mathop {\textrm{GL}}\nolimits (V)\) is a homomorphism defining an action of \({{\mathbb {R}}}\) on V with continuous orbit maps, then

(i)
all \(\alpha \)orbits lie in finite dimensional subspaces, and

(ii)
there exists a locally finite endomorphism D such that \(\alpha _t = e^{tD}\) for all \(t\in {{\mathbb {R}}}\).^{Footnote 4}
Proof
Let \( v\in V\). Then \(\alpha _{[1,1]} v \subseteq V\) is a compact subset, hence contained in a finite dimensional subspace W ([17, Prop. 7.25(iv)]). For \(f \in C^\infty _c({{\mathbb {R}}})\) with \(\mathop {\textrm{supp}}\nolimits (f) \subseteq [1,1]\) this implies that
For \(0 < \varepsilon \le 1\), let \(W_\varepsilon \subseteq W\) denote the subspace generated by \(\alpha (f) v\) for \(\mathop {\textrm{supp}}\nolimits (f) \subseteq [\varepsilon ,\varepsilon ]\). Then \(W_\varepsilon \subseteq W_{\varepsilon '}\) for \(\varepsilon < \varepsilon '\), and by the finiteness of \(\mathop {\textrm{dim}}\nolimits W\), there exists an \(\varepsilon _0 \in (0,1]\) for which \(W_{\varepsilon _0}\) is minimal. Then \(W_\varepsilon = W_{\varepsilon _0}\) for \(0 < \varepsilon \le \varepsilon _0\). As \(\alpha (\delta _n) v \rightarrow v\) for any sequence \((\delta _n)_{n \in {{\mathbb {N}}}}\) in \(C^\infty _c({{\mathbb {R}}},[0,\infty ))\) with \(\mathop {\textrm{supp}}\nolimits (\delta _n) \subseteq [\frac{1}{n}, \frac{1}{n}]\) and \(\int _{{\mathbb {R}}}\delta _n = 1\), it follows that \(v \in W_{\varepsilon _0}\). Since \(W_{\varepsilon _0}\) consists of smooth vectors for \(\alpha \), this implies in particular that \(v\in V^\infty \).
We conclude that all orbit maps in V are smooth. Therefore \(Dw := \frac{d}{dt}\big _{t = 0} \alpha _t w\) defines an element of \(\mathop {\textrm{End}}\nolimits (V)\). From \(\alpha _t(v) \subseteq W\) for \(t \le 1\), it follows that \(D^k v \in W\) for \(k \in {{\mathbb {N}}}.\) Therefore \(U := \mathop {\textrm{span}}\nolimits \{ D^k v : k \in {{\mathbb {N}}}_0\}\) is a finite dimensional Dinvariant subspace of W. Let \(D_U := D\vert _U\). Then
so that \(\alpha _t v = e^{t D_U} v\). This shows that U is \(\alpha \)invariant and that \(\alpha _t = e^{tD}\) holds in the sense of exponentials of locally finite operators. \(\square \)
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
Neeb, KH., Russo, F.G. Ground state representations of topological groups. Math. Ann. 388, 615–674 (2024). https://doi.org/10.1007/s00208022025314
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208022025314