5515c8ee9ee77059.tex
1: \begin{abstract} 
2: In this note we collect several characterizations 
3: of unitary representations $(\pi, \cH)$ of a finite dimensional Lie group $G$ 
4: which are trace class, i.e., for each compactly supported smooth 
5: function $f$ on $G$, the operator $\pi(f)$ is trace class. In particular 
6: we derive the new result that, for some $m \in \N$, 
7: all operators $\pi(f)$, $f \in C^m_c(G)$, are trace class. As a consequence 
8: the corresponding distribution character $\theta_\pi$ is of finite order. 
9: We further show $\pi$ is trace class if and only if 
10: every operator $A$, which is smoothing 
11: in the sense that $A\cH\subeq \cH^\infty$,  
12: is trace class and that this in turn is equivalent to the Fr\'echet space $\cH^\infty$ 
13: being nuclear, which in turn is equivalent to the realizability of the 
14: Gaussian measure of $\cH$ on the space $\cH^{-\infty}$ of distribution vectors. 
15: Finally we show that, even for infinite dimensional Fr\'echet--Lie groups, 
16:  $A$ and $A^*$ are smoothing if and only if $A$ is a Schwartz operator, 
17: i.e., all products of $A$ with operators from the derived representation 
18: are bounded. \\
19: MSC2010: 22E45, 22E66
20: \end{abstract}