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}