Abstract
In his celebrated paper in 1976, A. Connes casually remarked that any finite von Neumann algebra ought to be embedded into an ultraproduct of matrix algebras, which is now known as the Connes embedding conjecture or problem. This conjecture became one of the central open problems in the field of operator algebras since E. Kirchberg’s seminal work in 1993 that proves it is equivalent to a variety of other seemingly totally unrelated but important conjectures in the field. Since then, many more equivalents of the conjecture have been found, also in some other branches of mathematics such as noncommutative real algebraic geometry and quantum information theory. In this note, we present a survey of this conjecture with a focus on the algebraic aspects of it.
References
Bakonyi M., Timotin D.: Extensions of positive definite functions on free groups. J. Funct. Anal., 246, 31–49 (2007)
A. Barvinok, A Course in Convexity, Grad. Stud. Math., 54, Amer. Math. Soc., Providence, RI, 2002.
Bekka M.B.: On the full C*-algebras of arithmetic groups and the congruence subgroup problem. Forum Math., 11, 705–715 (1999)
Bekka M.B.: Operator-algebraic superridigity for \({{SL}_n({\mathbb Z})}\), n ≥ 3. Invent. Math., 169, 401–425 (2007)
Boca F.: Completely positive maps on amalgamated product C*-algebras. Math. Scand., 72, 212–222 (1993)
N.P. Brown and N. Ozawa, C*-Algebras and Finite-Dimensional Approximations, Grad. Stud. Math., 88, Amer. Math. Soc., Providence, RI, 2008.
J.R. Carrión, M. Dadarlat and C. Eckhardt, On groups with quasidiagonal C*-algebras, preprint, arXiv:1210.4050.
Choi M.D., Effros E.G.: Injectivity and operator spaces. J. Functional Analysis, 24, 156–209 (1977)
Cimprič J.: A representation theorem for Archimedean quadratic modules on *-rings. Canad. Math. Bull., 52, 39–52 (2009)
Connes A.: Classification of injective factors. Ann. of Math. (2), 104, 73–115 (1976)
Dykema K., Juschenko K.: Matrices of unitary moments. Math. Scand., 109, 225–239 (2011)
Exel R., Loring T.A.: Finite-dimensional representations of free product C*-algebras. Internat. J. Math., 3, 469–476 (1992)
Fack T., de la Harpe P.: Sommes de commutateurs dans les algèbres de von Neumann finies continues. Ann. Inst. Fourier (Grenoble), 30, 49–73 (1980)
D. Farenick, A.S. Kavruk, V.I. Paulsen and I.G. Todorov, Operator systems from discrete groups, preprint, arXiv:1209.1152.
D. Farenick and V.I. Paulsen, Operator system quotients of matrix algebras and their tensor products, arXiv:1101.0790; Math. Scand., to appear.
T. Fritz, Tsirelson’s problem and Kirchberg’s conjecture, Rev. Math. Phys., 24 (2012), 1250012, 67 pp.
Helton J.W., McCullough S.A.: A Positivstellensatz for non-commutative polynomials. Trans. Amer. Math. Soc., 356, 3721–3737 (2004)
M. Junge, M. Navascues, C. Palazuelos, D. Perez-Garcia, V.B. Scholz and R.F. Werner, Connes embedding problem and Tsirelson’s problem, J. Math. Phys., 52 (2011), 012102, 12 pp.
Juschenko K., Popovych S.: Algebraic reformulation of Connes embedding problem and the free group algebra. Israel J. Math., 181, 305–315 (2011)
A.S. Kavruk, The weak expectation property and Riesz interpolation, preprint, arXiv:1201.5414.
Kavruk A.S., Paulsen V.I., Todorov I.G., Tomforde M.: Tensor products of operator systems. J. Funct. Anal., 261, 267–299 (2011)
Kirchberg E.: On nonsemisplit extensions, tensor products and exactness of group C*-algebras. Invent. Math., 112, 449–489 (1993)
Kirchberg E.: Discrete groups with Kazhdan’s property T and factorization property are residually finite. Math. Ann., 299, 551–563 (1994)
Klep I., Schweighofer M.: Connes’ embedding conjecture and sums of Hermitian squares. Adv. Math., 217, 1816–1837 (2008)
A. Lubotzky and Y. Shalom, Finite representations in the unitary dual and Ramanujan groups, In: Discrete Geometric Analysis, Contemp. Math., 347, Amer. Math. Soc., Providence, RI, 2004, pp. 173–189.
McCullough S.: Factorization of operator-valued polynomials in several non-commuting variables. Linear Algebra Appl., 326, 193–203 (2001)
T. Netzer and A. Thom, Real closed separation theorems and applications to group algebras, arXiv:1110.5619; Pacific J. Math., to appear.
Ozawa N.: About the QWEP conjecture. Internat. J. Math., 15, 501–530 (2004)
N. Ozawa, Tsirelson’s problem and asymptotically commuting unitary matrices, arXiv:1211.2712; J. Math. Phys., accepted.
Paulsen V.: Completely Bounded Maps and Operator Algebras, Cambridge Stud. Adv. Math., 78. Cambridge Univ. Press, Cambridge (2002)
Pisier G.: Introduction to Operator Space Theory, London Math. Soc. Lecture Note Ser., 294. Cambridge Univ. Press, Cambridge (2003)
Pisier G.: Grothendieck’s theorem, past and present. Bull. Amer. Math. Soc. (N.S.), 49, 237–323 (2012)
Putinar M.: Positive polynomials on compact semi-algebraic sets. Indiana Univ. Math. J., 42, 969–984 (1993)
Rudin W.: The extension problem for positive-definite functions. Illinois J. Math., 7, 532–539 (1963)
Scheiderer C.: Sums of squares on real algebraic surfaces. Manuscripta Math., 119, 395–410 (2006)
K. Schmüdgen, Noncommutative real algebraic geometry—some basic concepts and first ideas, In: Emerging Applications of Algebraic Geometry, IMA Vol. Math. Appl., 149, Springer-Verlag, 2009, pp. 325–350.
M. Takesaki, Theory of Operator Algebras. II, Encyclopedia Math. Sci., 125, Springer-Verlag, 2002.
B.S. Tsirelson, Some results and problems on quantum Bell-type inequalities, In: Fundamental Questions in Quantum Physics and Relativity, Hadronic Press Collect. Orig. Artic., Hadronic Press, Palm Harbor, FL, 1993, pp. 32–48.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by: Yasuyuki Kawahigashi
Partially supported by JSPS (23540233) and by the Danish National Research Foundation (DNRF) through the Centre for Symmetry and Deformation.
About this article
Cite this article
Ozawa, N. About the Connes embedding conjecture. Jpn. J. Math. 8, 147–183 (2013). https://doi.org/10.1007/s11537-013-1280-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11537-013-1280-5
Keywords and phrases
- Connes embedding conjecture
- Kirchberg’s conjecture
- Tsirelson’s problem
- semi-pre-C*-algebras
- noncommutative real algebraic geometry