e92be2d9e31458cb.tex
1: \begin{abstract} A real seminormed involutive algebra is a 
2: real associative algebra $\cA$ endowed with an involutive antiautomorphism 
3: $*$ and a submultiplicative seminorm $p$ with $p(a^*) =p(a)$ for $a\in \cA$. 
4: Then $\ball(\cA,p) := \{ a \in \cA \: p(a) < 1\}$ is an involutive subsemigroup. 
5: For the case where $\cA$ is unital, our main result asserts that a function 
6: $\phi \: \ball(\cA,p) \to B(V)$, $V$ a Hilbert space, is completely 
7: positive (defined suitably) if and only if it is positive definite and 
8: analytic for any locally convex topology for which $\ball(\cA,p)$ is open. 
9: If $\eta_\cA \: \cA \to C^*(\cA,p)$ is the enveloping $C^*$-algebra of $(\cA,p)$ 
10: and $e^{C^*(\cA,p)}$ is the $c_0$-direct sum of the symmetric tensor powers 
11: $S^n(C^*(\cA,p))$, then the above two properties are equivalent to the 
12: existence of a factorization $\phi = \Phi \circ \Gamma$, 
13: where $\Phi \: e^{C^*(\cA,p)} \to B(V)$ is linear completely positive and 
14: $\Gamma(a) = \sum_{n = 0}^\infty \eta_\cA(a)^{\otimes n}$. We also obtain a suitable generalization 
15: to non-unital algebras. 
16: 
17: An important consequence of this result is a description of the  
18: unitary representations of $\U(\cA)$ with 
19: bounded analytic extensions to $\ball(\cA,p)$ in 
20: terms of representations of the $C^*$-algebra $e^{C^*(\cA,p)}$. \\
21: \textit{Mathematics Subject Classification 2000:} 22E65, 46L05, 46L07 \\
22: \textit{Keywords and phrases:} 
23: $C^*$-algebra,  $*$-semigroup, involutive algebra, completely positive map, 
24: unitary group 
25: \end{abstract}