-
On the characterization of trace class representations and Schwartz operators
Authors:
Gerrit van Dijk,
Karl-Hermann Neeb,
Hadi Salmasian,
Christoph Zellner
Abstract:
In this note we collect several characterizations of unitary representations $(π, \mathcal{H})$ of a finite dimensional Lie group $G$ which are trace class, i.e., for each compactly supported smooth function $f$ on $G$, the operator $π(f)$ is trace class. In particular we derive the new result that, for some $m \in \mathbb{N}$, all operators $π(f)$, $f \in C^m_c(G)$, are trace class. As a conseque…
▽ More
In this note we collect several characterizations of unitary representations $(π, \mathcal{H})$ of a finite dimensional Lie group $G$ which are trace class, i.e., for each compactly supported smooth function $f$ on $G$, the operator $π(f)$ is trace class. In particular we derive the new result that, for some $m \in \mathbb{N}$, all operators $π(f)$, $f \in C^m_c(G)$, are trace class. As a consequence the corresponding distribution character $θ_π$ is of finite order. We further show $π$ is trace class if and only if every operator $A$, which is smoothing in the sense that $A\mathcal{H}\subseteq \mathcal{H}^\infty$, is trace class and that this in turn is equivalent to the Fréchet space $\mathcal{H}^\infty$ being nuclear, which in turn is equivalent to the realizability of the Gaussian measure of $\mathcal{H}$ on the space $\mathcal{H}^{-\infty}$ of distribution vectors. Finally we show that, even for infinite dimensional Fréchet-Lie groups, $A$ and $A^*$ are smoothing if and only if $A$ is a Schwartz operator, i.e., all products of $A$ with operators from the derived representation are bounded.
△ Less
Submitted 8 December, 2015;
originally announced December 2015.
-
On the existence of regular vectors
Authors:
Christoph Zellner
Abstract:
Let $G$ be a locally convex Lie group and $π:G \to \mathrm{U}(\mathcal{H})$ be a continuous unitary representation. $π$ is called smooth if the space of $π$-smooth vectors $\mathcal{H}^\infty\subset \mathcal{H}$ is dense. In this article we show that under certain conditions, concerning in particular the structure of the Lie algebra $\mathfrak{g}$ of $G$, a continuous unitary representation of…
▽ More
Let $G$ be a locally convex Lie group and $π:G \to \mathrm{U}(\mathcal{H})$ be a continuous unitary representation. $π$ is called smooth if the space of $π$-smooth vectors $\mathcal{H}^\infty\subset \mathcal{H}$ is dense. In this article we show that under certain conditions, concerning in particular the structure of the Lie algebra $\mathfrak{g}$ of $G$, a continuous unitary representation of $G$ is automatically smooth. As an application, this yields a dense space of smooth vectors for continuous positive energy representations of oscillator groups, double extensions of loop groups and the Virasoro group. Moreover we show the existence of a dense space of analytic vectors for the class of semibounded representations of Banach-Lie groups. Here $π$ is called semibounded, if $π$ is smooth and there exists a non-empty open subset $U\subset\mathfrak{g}$ such that the operators $i\mathrm{d}π(x)$ from the derived representation are uniformly bounded from above for $x\in U$.
△ Less
Submitted 6 November, 2015; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Complex Semigroups for Oscillator Groups
Authors:
Christoph Zellner
Abstract:
An oscillator group $G$ is a semidirect product of a Heisenberg group with a one-parameter group. In this article we construct Olshanski semigroups for infinite-dimensional oscillator groups. These are complex involutive semigroups which have a polar decomposition. The main application will be for representations $π$ of $G$ which are semibounded, i.e., there exists a non-empty open subset $U$ of t…
▽ More
An oscillator group $G$ is a semidirect product of a Heisenberg group with a one-parameter group. In this article we construct Olshanski semigroups for infinite-dimensional oscillator groups. These are complex involutive semigroups which have a polar decomposition. The main application will be for representations $π$ of $G$ which are semibounded, i.e., there exists a non-empty open subset $U$ of the Lie algebra $\mathfrak{g}$ such that the operators $idπ(x)$ from the derived representation are uniformly bounded from above for $x\in U$. More precisely we show that every semibounded representation of an oscillator group $G$ extends to a non-degenerate holomorphic representation of such a semigroup and conversely each non-degenerate holomorphic representation of such a semigroup gives rise to a semibounded representation of $G$. The main application of this result is a classification of representations of the canonical commutation relations with a positive Hamiltonian, which will be obtained in a subsequent paper. Moreover it yields direct integral decomposition into irreducible ones and implies the existence of a dense subspace of analytic vectors for semibounded representations of $G$.
△ Less
Submitted 20 June, 2015;
originally announced June 2015.
-
Smoothing operators and $C^*$-algebras for infinite dimensional Lie groups
Authors:
Karl-Hermann Neeb,
Hadi Salmasian,
Christoph Zellner
Abstract:
A host algebra of a (possibly infinite dimensional) Lie group $G$ is a $C^*$-algebra whose representations are in one-to-one correspondence with certain continuous unitary representations $π\colon G \to \U(\cH)$. In this paper we present a new approach to host algebras for infinite dimensional Lie groups which is based on smoothing operators, i.e., operators whose range is contained in the space…
▽ More
A host algebra of a (possibly infinite dimensional) Lie group $G$ is a $C^*$-algebra whose representations are in one-to-one correspondence with certain continuous unitary representations $π\colon G \to \U(\cH)$. In this paper we present a new approach to host algebras for infinite dimensional Lie groups which is based on smoothing operators, i.e., operators whose range is contained in the space $\cH^\infty$ of smooth vectors. Our first major result is a characterization of smoothing operators $A$ that in particular implies smoothness of the maps $π^A \colon G \to B(\cH), g \mapsto π(g)A$. The concept of a smoothing operator is particularly powerful for representations $(π,\cH)$ which are semibounded, i.e., there exists an element $x_0 \in\g$ for which all operators $i\ddπ(x)$, $x \in \g$, from the derived representation are uniformly bounded from above in some neighborhood of $x_0$. Our second main result asserts that this implies that $\cH^\infty$ coincides with the space of smooth vectors for the one-parameter group $π_{x_0}(t) = π(\exp tx_0)$. We then show that natural types of smoothing operators can be used to obtain host algebras and that, for every metrizable Lie group, the class of semibounded representations can be covered completely by host algebras. In particular, it permits direct integral decompositions.
△ Less
Submitted 21 April, 2017; v1 submitted 11 May, 2015;
originally announced May 2015.
-
On an invariance property of the space of smooth vectors
Authors:
Karl-Hermann Neeb,
Hadi Salmasian,
Christoph Zellner
Abstract:
Let $(π, \mathcal H)$ be a continuous unitary representation of the (infinite dimensional) Lie group $G$ and $γ\: \mathbb R \to \mathrm{Aut}(G)$ define a continuous action of $\mathbb R$ on $G$. Suppose that $π^\#(g,t) = π(g) U_t$ defines a continuous unitary representation of the semidirect product group $G \rtimes_γ\mathbb R$. The first main theorem of the present note provides criteria for the…
▽ More
Let $(π, \mathcal H)$ be a continuous unitary representation of the (infinite dimensional) Lie group $G$ and $γ\: \mathbb R \to \mathrm{Aut}(G)$ define a continuous action of $\mathbb R$ on $G$. Suppose that $π^\#(g,t) = π(g) U_t$ defines a continuous unitary representation of the semidirect product group $G \rtimes_γ\mathbb R$. The first main theorem of the present note provides criteria for the invariance of the space $\mathcal H^\infty$ of smooth vectors of $π$ under the operators $U_f = \int_\mathbb R f(t)U_t\, dt$ for $f \in L^1(\mathbb R)$, resp., $f \in \mathcal S(\mathbb R)$. Using this theorem we show that, for suitably defined spectral subspaces $\mathfrak g_{\mathbb C}(E)$, $E \subseteq \mathbb R$, in the complexified Lie algebra $\mathfrak g_{\mathbb C}$, and $\mathcal H^\infty(F)$, $F\subseteq \mathbb R$, for $U$ in $\mathcal H^\infty$, we have \[ \mathsf{d}π(\mathfrak g_{\mathbb C}(E)) \mathcal H^\infty(F) \subseteq \mathcal H^\infty(E + F).\]
△ Less
Submitted 2 May, 2014; v1 submitted 14 January, 2014;
originally announced January 2014.
-
Oscillator algebras with semi-equicontinuous coadjoint orbits
Authors:
Karl-Hermann Neeb,
Christoph Zellner
Abstract:
A unitary representation of a, possibly infinite dimensional, Lie group G is called semi-bounded if the corresponding operators idπ(x) from the derived representations are uniformly bounded from above on some non-empty open subset of the Lie algebra g. Not every Lie group has non-trivial semibounded unitary representations, so that it becomes an important issue to decide when this is the case. In…
▽ More
A unitary representation of a, possibly infinite dimensional, Lie group G is called semi-bounded if the corresponding operators idπ(x) from the derived representations are uniformly bounded from above on some non-empty open subset of the Lie algebra g. Not every Lie group has non-trivial semibounded unitary representations, so that it becomes an important issue to decide when this is the case. In the present paper we describe a complete solution of this problem for the class of generalized oscillator groups, which are semidirect products of Heisenberg groups with a one-parameter group γ. For these groups it turns out that the existence of non-trivial semibounded representations is equivalent to the existence of so-called semi-equicontinuous non-trivial coadjoint orbits, a purely geometric condition on the coadjoint action. This in turn can be expressed by a positivity condition on the Hamiltonian function corresponding to the infinitesimal generator D of γ. A central point of our investigations is that we make no assumption on the structure of the spectrum of D. In particular, D can be any skew-adjoint operator on a Hilbert space.
△ Less
Submitted 7 October, 2011;
originally announced October 2011.
