Analytic continuation of local representations of Lie groups (Q2266134)

Papers by Klein, Landau, and Fröhlich-Osterwalder-Seiler have studied local representations of Lie groups in connection with Euclidean quantum field theory. Let G be a Lie group, K a closed subgroup, and \(\sigma\) an involutive automorphism with with K as fixed point subgroup. If \(g=k+m\) is the corresponding real symmetric Lie algebra we form \(g^*=k+im\) which is also a real Lie algebra. Let \(G^*\) denote the simply connected real Lie group with \(g^*\) as Lie algebra. R. Schrader suggested to the author that the suitable setting for local representations \(\pi\) of the symmetric space (G,K,\(\sigma)\) is as follows: A complex hilbert space \({\mathcal H}\), with dense linear subspace \({\mathcal D}\), is fixed at the outset. A local representation \(\pi\) of a neighborhood U of e in G is given, and it is assumed that \(\pi\) (g) is defined (possibly unbounded) on \({\mathcal D}\) for all \(g\in U\subset G\), and \(\pi (g^{-1})\subset \pi (\sigma (g))^*,\quad g\in U.\) In earlier work it was assumed further that U is invariant under translation to the right by elements k in the subgroup K, i.e., \(U\cdot K=U,\) and \(\pi (k){\mathcal D}={\mathcal D},\) \(k\in K\). In this paper, we show that this global assumption may be replaced by a purely local one which was dictated by particular models and suggested by Schrader, and the integrability conclusion for the analytically continued representation \(\pi^*\) of \(G^*\) may still be preserved. The construction of \(\pi^*\) is carried out in two steps. First an infinitesimal representation, \(d\pi\) of \(g\), is constructed from \(\pi\) by differentiation, generalizing classical ideas going back to Segal and Gårding. Starting with \(d\pi\), we define a second infinitesimal representation, \(d\pi^*\) of \(g^*=k+im\), by \(d\pi^*(x+iy)=d\pi (x)+id\pi (y),\) on \({\mathcal D}\), for \(x\in k\), \(y\in m\). In the second step we prove that the representation \(d\pi^*\) of \(g^*\) exponentiates to a strongly continuous unitary representation \(\pi^*\) of \(G^*\) on \({\mathcal K}\).