Nonlinear completely positive maps and dilation theory for real involutive algebras
A real seminormed involutive algebra is a real associative algebra A endowed with an involutive antiautomorphism ∗ and a submultiplicative seminorm p with p(a∗)=p(a) for a∈A. Then ball(A,p):={a∈A:p(a)<1} is an involutive subsemigroup. For the case where A is unital, our main result asserts that a function ϕ:ball(A,p)→B(V), V a Hilbert space, is completely positive (defined suitably) if and only if it is positive definite and analytic for any locally convex topology for which ball(A,p) is open. If ηA:A→C∗(A,p) is the enveloping C∗-algebra of (A,p) and eC∗(A,p) is the c0-direct sum of the symmetric tensor powers Sn(C∗(A,p)), then the above two properties are equivalent to the existence of a factorization ϕ=Φ∘Γ, where Φ:eC∗(A,p)→B(V) is linear completely positive and Γ(a)=∑n=0∞ηA(a)⊗n. We also obtain a suitable generalization to non-unital algebras. An important consequence of this result is a description of the unitary representations of U(A) with bounded analytic extensions to ball(A,p) in terms of representations of the C∗-algebra eC∗(A,p).