Lifts of operator systems

Abstract

We transfer the theory of slack operators and sums-of-squares criteria for lifts from convex cones to operator systems. These allow us to study the following question, among others: Given an abstract operator system, is its enveloping $C^{\ast }$-algebra finite dimensional, or is it the linear image of a system with a finite-dimensional enveloping algebra?