Real operator systems

TL;DR

This paper develops the theory of real operator systems, highlighting differences from the complex case, and explores their tensor products, structural properties, and real analogues of Kirchberg conjectures.

Contribution

It extends the theory of operator systems to the real case, uncovering key differences and establishing foundational results and real analogues of important conjectures.

Findings

Identified notable differences between real and complex operator systems.

Developed foundational structural results for real operator systems.

Explored real analogues of Kirchberg conjectures and their relationships.

Abstract

Operator systems are the unital self-adjoint subspaces of the bounded operators on a Hilbert space. Complex operator systems are an important category containing the C*-algebras and von Neumann algebras, which is increasingly of interest in modern analysis and also in modern quantum physics (such as quantum information theory). They have an extensive theory, and have very important applications in all of these subjects. We present here the real case of the theory of (complex) operator systems, and also the real case of their remarkable tensor product theory, due in the complex case to Paulsen and his coauthors and students (such as Kavruk), building on pioneering earlier work of Kirchberg and others. We uncover several notable differences between the real and complex theory, including the absence of minimal and maximal functors in the category of real operator systems. We also develop very many foundational structural results for real operator systems, and elucidate how the complexification interacts with the basic constructions in the subject. In the final two sections of our paper we study real analogues of the Kirchberg conjectures (and of several important related problems that have attracted much interest recently), and study the deep relationships between them.