Abstract
We prove the following characterization of the weak expectation property for operator systems in terms of an approximate version of Wittstock’s matricial Riesz separation property: an operator system S satisfies the weak expectation property if and only if \(M_{q}\left( S\right) \) satisfies the approximate matricial Riesz separation property for every \(q\in \mathbb {N}\). This can be seen as the noncommutative analog of the characterization of simplex spaces among function systems in terms of the classical Riesz separation property.
Similar content being viewed by others
References
Alfsen, E.M.: Compact Convex Sets and Boundary Integrals. Springer, New York (1971)
Arveson, W.: Subalgebras of C*-algebras. Acta Math. 123(1), 141–224 (1969)
Arveson, W.: Subalgebras of C*-algebras II. Acta Math. 128(1), 271–308 (1972)
Arveson, W.: The noncommutative Choquet boundary. J. Am. Math. Soc. 21(4), 1065–1084 (2008)
Arveson, W.: The noncommutative Choquet boundary III: operator systems in matrix algebras. Math. Scand. 106(2), 196–210 (2010)
Arveson, W.: The noncommutative Choquet boundary II: hyperrigidity. Isr. J. Math. 184(1), 349–385 (2011)
Barlak, S., Szabó, G.: Sequentially split *-homomorphisms between C*-algebras. Int. J. Math. 27(13), 1650105 (2016)
Barlak, S., Szabó, G., Voigt, C.: The spatial Rokhlin property for actions of compact quantum groups. J. Funct. Anal. 272(6), 2308–2360 (2017)
Brown, N.P., Ozawa, N.: C*-Algebras and Finite-Dimensional Approximations, Graduate Studies in Mathematics, vol. 88. American Mathematical Society, Providence, RI (2008)
Choi, M.-D., Effros, E.G.: The completely positive lifting problem for C*-algebras. Ann. Math. 104(3), 585–609 (1976)
Choi, M.-D., Effros, E.G.: Injectivity and operator spaces. J. Funct. Anal. 24(2), 156–209 (1977)
Choi, M.D., Effros, E.G.: Lifting problems and the cohomology of C*-algebras. Can. J. Math. 29(5), 1092–1111 (1977)
Choi, M.-D., Effros, E.G.: Nuclear C*-algebras and the approximation property. Am. J. Math. 100(1), 61–79 (1978)
Davidson, K.R., Kennedy, M.: The Choquet boundary of an operator system. Duke Math. J. 164(15), 2989–3004 (2015)
Effros, E.G.: Aspects of noncommutative order, C*-algebras and applications to physics. In: Proceedings of Second Japan-USA seminar, Los Angeles, California, 1977. Lecture Notes in Mathematics, vol. 650, 1–40. Springer, Berlin (1978)
Effros, E.G., Ozawa, N., Ruan, Z.-J.: On injectivity and nuclearity for operator spaces. Duke Math. J. 110(3), 489–521 (2004)
Effros, E.G., Ruan, Z.-J.: Operator Spaces, London Mathematical Society Monographs, New Series vol. 23. Oxford University Press, Oxford (2000)
Effros, E.G., Webster, C.: Operator analogues of locally convex spaces, operator algebras and applications (Samos, 1996), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 495, Kluwer Academic Publishers, Dordrecht, pp. 163–207 (1997)
Farenick, D., Kavruk, A.S., Paulsen, V.I., Todorov, I.G.: Characterisations of the weak expectation property, arXiv:1307.1055 (2013)
Farenick, D., Kavruk, A.S., Paulsen, V.I., Todorov, I.G.: Operator systems from discrete groups. Commun. Math. Phys. 329(1), 207–238 (2014)
Farenick, D., Morenz, P.: C*-extreme points in the generalized state spaces of a C*-algebra. Trans. Am. Math. Soc. 349(5), 1725–1748 (1997)
Farenick, D., Morenz, P.B.: C*-extreme points of some compact C*-convex sets. Proc. Am. Math. Soc. 118(3), 765–775 (1993)
Farenick, D., Paulsen, V.I.: Operator system quotients of matrix algebras and their tensor products. Math. Scand. 111(2), 210–243 (2012)
Farenick, D.R.: Extremal matrix states on operator systems. J. Lond. Math. Soc. 61(3), 885–892 (2000)
Farenick, D.R.: Pure matrix states on operator systems. Linear Algebra Appl. 393, 149–173 (2004)
Gardella, E., Kalantar, M., Lupini, M.: Rokhlin dimension for compact quantum group actions, arXiv:1703.10999 (2017)
Gardella, E., Lupini, M.: Equivariant logic and applications to C*-dynamics, arXiv:1608.05532 (2016)
Goldbring, I., Sinclair, T.: Omitting types in operator systems. Indiana Univ. Math. J. 66(3), 821–844 (2017)
Goldbring, I., Sinclair, T.: On Kirchberg’s embedding problem. J. Funct. Anal. 269(1), 155–198 (2015)
Han, K.H., Paulsen, V.I.: An approximation theorem for nuclear operator systems. J. Funct. Anal. 261(4), 999–1009 (2011)
Hopenwasser, A., Moore, R.L., Paulsen, V.I.: C*-extreme points. Trans. Am. Math. Soc. 266(1), 291–307 (1981)
Junge, M., Pisier, G.: Bilinear forms on exact operator spaces and \(B(H)\otimes B(H)\). Geom. Funct. Anal. 5(2), 329–363 (1995)
Kavruk, A.S.: The weak expectation property and Riesz interpolation, arXiv:1201.5414 (2012)
Kavruk, A.S.: Nuclearity related properties in operator systems. J. Oper. Theory 71(1), 95–156 (2014)
Kavruk, A.S., Paulsen, V.I., Todorov, I.G., Tomforde, M.: Tensor products of operator systems. J. Funct. Anal. 261(2), 267–299 (2011)
Kavruk, A.S., Paulsen, V.I., Todorov, I.G., Tomforde, M.: Quotients, exactness, and nuclearity in the operator system category. Adv. Math. 235, 321–360 (2013)
Lazar, A.J.: Spaces of affine continuous functions on simplexes. Trans. Am. Math. Soc. 134(3), 503–525 (1968)
Loebl, R.I., Paulsen, V.I.: Some remarks on C*-convexity. Linear Algebra Appl. 35, 63–78 (1981)
Lupini, M.: Fraïssé limits in functional analysis, arXiv:1510.05188 (2015)
Paulsen, V.I.: Completely bounded maps on C*-algebras and invariant operator ranges. Proc. Am. Math. Soc. 86(1), 91–96 (1982)
Paulsen, V.I.: Completely bounded homomorphisms of operator algebras. Proc. Am. Math. Soc. 92(2), 225–228 (1984)
Paulsen, V.I.: Completely Bounded Maps and Operator Algebras. Cambridge Studies in Advanced Mathematics, vol. 78. Cambridge University Press, Cambridge (2002)
Pisier, G.: Introduction to Operator Space Theory, London Mathematical Society Lecture Note Series, vol. 294. Cambridge University Press, Cambridge (2003)
Schmitt, L.M.: Characterization of \(L^2(\cal{M})\) for injective W*-algebras \(\cal{M}\). Math. Scand. 57(2), 267–280 (1985)
Schmitt, L.M., Wittstock, G.: Characterization of matrix-ordered standard forms of W*-algebras. Math. Scand. 51(2), 241–260 (1982)
Webster, C., Winkler, S.: The Krein-Milman theorem in operator convexity. Trans. Am. Math. Soc. 351(1), 307–322 (1999)
Winkler, S.: The non-commutative Legendre–Fenchel transform. Math. Scand. 85(1), 30–48 (1999)
Wittstock, G.: Ein operatorwertiger Hahn–Banach Satz. J. Funct. Anal. 40(2), 127–150 (1981)
Wittstock, G.: Extension of completely bounded C*-module homomorphisms, operator algebras and group representations, Vol. II (Neptun, 1980), Monograph Studies Mathematical, vol. 18. Pitman, Boston, MA, pp. 238–250 (1984)
Wittstock, G.: On matrix order and convexity, Functional analysis: surveys and recent results, III (Paderborn, 1983), North-Holland Mathematics Studies, vol. 90. North-Holland, Amsterdam, pp. 175–188 (1984)
Xhabli, B.: The super operator system structures and their applications in quantum entanglement theory. J. Funct. Anal. 262(4), 1466–1497 (2012)
Acknowledgements
We thank the anonymous referee for their carefully reading of the manuscript, and for pointing out a mistake in the original version
Author information
Authors and Affiliations
Corresponding author
Additional information
The author was partially supported by the NSF Grant DMS-1600186.
Rights and permissions
About this article
Cite this article
Lupini, M. An Intrinsic Order-Theoretic Characterization of the Weak Expectation Property. Integr. Equ. Oper. Theory 90, 55 (2018). https://doi.org/10.1007/s00020-018-2479-x
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s00020-018-2479-x
Keywords
- Operator system
- Function system
- Weak expectation property
- Riesz separation property
- Positively existentially closed
- Matrix sublinear functional